| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.4 | 1203.23 |
| Name | random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf |
| MD5SUM | c6bf5481c82f3a24100e294aa3a73c9c |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 366.523 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 60 |
| Number of clauses | 5340 |
| Sum of the clauses size | 37380 |
| Maximum clause length | 7 |
| Minimum clause length | 7 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 5340 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 2.9.0 0.00/0.01 c compiled with gcc version 4.4.5 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3368831-1305404062.cnf' 0.00/0.01 c -- header says num vars: 60 0.00/0.01 c -- header says num clauses: 5340 0.42/0.13 c -- clauses added: 0 learnts, 5340 normals, 0 xors 0.42/0.13 c -- vars added 60 0.42/0.13 c Parsing time: 0.01 s 0.42/0.13 c N st 0 0 60 5340 0 0 37380 0 no data no data -- 3.57/0.90 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.46 3.57/0.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 3.57/0.90 c bin-w-bin subsume rem 0 bins time: 0.00 s 3.57/0.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.57/0.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3.57/0.90 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3.57/0.90 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 3.57/0.90 c Finding binary XORs T: 0.00 s found: 0 3.57/0.90 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 3.57/0.90 c calculated reachability. Time: 0.00 3.57/0.90 c Calc default polars - time: 0.00 s pos: 24 undec: 0 neg: 36 3.57/0.90 c ========================================================================================= 3.57/0.90 c types(t): F = full restart, N = normal restart 3.57/0.90 c types(t): S = simplification begin/end, E = solution found 3.57/0.90 c restart types(rt): st = static, dy = dynamic 3.57/0.90 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.57/0.90 c B st 0 0 60 5340 0 0 37380 0 no data no data -- 3.57/0.90 c N dy 7 5218 60 5340 0 2431 37380 47570 17.78 18.75 -- 3.57/0.90 c N dy 21 9264 60 5340 0 6074 37380 125599 18.01 19.78 -- 3.57/0.90 c N dy 40 13319 60 5340 0 5921 37380 114197 18.30 19.31 -- 3.57/0.90 c N dy 47 18471 60 5340 0 5462 37380 95187 18.11 19.13 -- 3.57/1.00 c N dy 71 22556 60 5340 0 9125 37380 174647 18.29 19.29 -- 3.99/1.10 c F st 81 25000 60 5340 0 11317 37380 221166 18.33 17.88 -- 4.76/1.20 c N st 85 27033 60 5340 0 7033 37380 119123 18.33 no data -- 5.16/1.30 c S st 87 30000 60 5340 0 9682 37380 174473 18.33 no data -- 5.56/1.40 c S st 87 30501 60 5340 0 10135 37380 184586 18.33 no data -- 5.56/1.40 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.56/1.40 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.56/1.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 5.56/1.40 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.56/1.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.56/1.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 5.56/1.40 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 8.79/2.29 c lits-rem: 1307 cl-subs: 1072 v-elim: 0 v-fix: 0 time: 3.81 s 9.95/2.56 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.07 9.95/2.56 c calculated reachability. Time: 0.00 9.95/2.56 c N dy 87 30501 60 5340 0 9063 37380 161186 18.33 no data -- 12.35/3.16 c N dy 89 42068 60 5340 0 12293 37380 218833 17.92 18.87 -- 13.19/3.39 c S st 109 45753 60 5340 0 15591 37380 289702 18.00 no data -- 13.54/3.44 c S st 109 46257 60 5340 0 8116 37380 124541 18.00 no data -- 13.54/3.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.54/3.44 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 13.54/3.44 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 13.54/3.45 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.54/3.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.54/3.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 13.54/3.45 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 16.33/4.18 c lits-rem: 171 cl-subs: 38 v-elim: 0 v-fix: 0 time: 2.93 s 16.33/4.18 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 16.33/4.18 c vivif2 -- cl tried 8078 cl shrink 0 lits rem 0 time: 0.00 17.15/4.40 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 0.86 17.15/4.40 c calculated reachability. Time: 0.00 17.15/4.40 c N dy 109 46257 60 5340 0 8078 37380 123558 18.00 no data -- 18.73/4.72 c N dy 112 52794 60 5340 0 13819 37380 242418 17.85 18.85 -- 19.93/5.04 c N dy 139 57528 60 5340 0 9236 37380 137568 17.91 18.90 -- 21.55/5.42 c N dy 172 64669 60 5340 0 15630 37380 273800 17.98 18.93 -- 22.72/5.74 c N dy 198 68974 60 5340 0 19481 37380 357173 18.06 19.02 -- 22.72/5.78 c S st 202 69386 60 5340 0 10052 37380 145428 18.07 no data -- 23.12/5.82 c S st 202 69889 60 5340 0 10516 37380 155728 18.07 no data -- 23.12/5.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 23.12/5.82 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 23.12/5.82 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 23.12/5.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 23.12/5.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 23.12/5.83 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 23.12/5.83 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 26.35/6.67 c lits-rem: 261 cl-subs: 105 v-elim: 0 v-fix: 0 time: 3.36 s 26.35/6.67 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 26.35/6.67 c vivif2 -- cl tried 10411 cl shrink 0 lits rem 0 time: 0.01 27.51/6.95 c asymm cl-useful: 0/5340/5340 lits-rem:0 time: 1.13 27.51/6.96 c calculated reachability. Time: 0.00 27.51/6.96 c N dy 202 69889 60 5340 0 10411 37380 152938 18.07 no data -- 28.71/7.22 c N dy 233 74433 60 5340 0 14478 37380 241176 18.15 21.85 -- 29.91/7.57 c N dy 259 79452 60 5340 0 18985 37380 337591 18.18 19.21 -- 31.49/7.98 c N dy 284 85024 60 5340 0 13242 37380 203335 18.23 19.23 -- 32.29/8.13 c F st 288 87502 60 5340 0 15434 37380 249036 18.22 18.74 -- 33.09/8.34 c N st 293 90804 60 5340 0 18363 37380 311580 18.22 no data -- 35.13/8.87 c N dy 299 97975 60 5340 0 13127 37380 189145 18.19 19.16 -- 37.08/9.32 c N dy 318 104833 60 5340 0 19193 37380 318178 18.19 15.95 -- 37.08/9.32 c S st 318 104833 60 5340 0 19193 37380 318178 18.19 15.95 -- 37.08/9.38 c S st 318 105335 60 5340 0 19649 37380 328330 18.19 no data -- 37.08/9.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 37.08/9.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 37.08/9.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 37.48/9.40 c bin-w-bin subsume rem 0 bins time: 0.00 s 37.48/9.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 37.48/9.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 37.48/9.40 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 43.49/10.92 c lits-rem: 1889 cl-subs: 2144 v-elim: 0 v-fix: 0 time: 6.07 s 43.49/10.92 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 43.49/10.93 c vivif2 -- cl tried 17505 cl shrink 0 lits rem 0 time: 0.01 44.66/11.29 c asymm cl-useful: 0/4443/5340 lits-rem:0 time: 1.46 44.66/11.29 c calculated reachability. Time: 0.00 44.66/11.29 c N dy 318 105335 60 5340 0 17505 37380 282137 18.19 no data -- 47.87/12.06 c N dy 334 115618 60 5340 0 14301 37380 205617 18.13 19.17 -- 50.24/12.69 c N dy 359 125029 60 5340 0 22677 37380 383135 18.12 19.26 -- 54.63/13.70 c N dy 368 139739 60 5340 0 22447 37380 362709 17.95 18.92 -- 57.82/14.52 c N dy 400 149527 60 5340 0 16964 37380 241284 17.95 18.90 -- 59.82/15.09 c S st 403 158002 60 5340 0 24418 37380 392468 17.84 14.96 -- 60.22/15.16 c S st 403 158506 60 5340 0 24876 37380 402457 17.84 no data -- 60.22/15.16 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 60.22/15.16 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 60.22/15.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.02 60.22/15.18 c bin-w-bin subsume rem 0 bins time: 0.00 s 60.22/15.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 60.22/15.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 60.22/15.18 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 67.80/17.03 c lits-rem: 2264 cl-subs: 3258 v-elim: 0 v-fix: 0 time: 7.37 s 67.80/17.03 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 67.80/17.03 c vivif2 -- cl tried 21618 cl shrink 0 lits rem 0 time: 0.02 68.20/17.15 c asymm cl-useful: 0/897/5340 lits-rem:0 time: 0.46 68.20/17.15 c calculated reachability. Time: 0.00 68.20/17.15 c N dy 403 158506 60 5340 0 21618 37380 339812 17.84 no data -- 73.79/18.57 c N dy 443 175622 60 5340 0 21908 37380 332795 17.79 18.80 -- 78.60/19.71 c N dy 482 186926 60 5340 0 16130 37380 207722 17.79 19.79 -- 82.57/20.74 c N dy 563 198912 60 5340 0 26893 37380 440320 17.87 19.20 -- 88.54/22.24 c N dy 640 213367 60 5340 0 22907 37380 343982 17.92 18.92 -- 95.34/23.90 c N dy 688 229631 60 5340 0 19552 37380 255971 17.91 18.89 -- 98.12/24.65 c S st 746 237760 60 5340 0 26842 37380 414038 17.95 17.69 -- 98.52/24.72 c S st 746 238266 60 5340 0 27303 37380 424340 17.95 no data -- 98.52/24.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 98.52/24.73 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 98.52/24.73 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 98.52/24.75 c bin-w-bin subsume rem 0 bins time: 0.00 s 98.52/24.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 98.52/24.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 98.52/24.75 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 107.30/26.91 c lits-rem: 2018 cl-subs: 2252 v-elim: 0 v-fix: 0 time: 8.65 s 107.30/26.92 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 107.30/26.92 c vivif2 -- cl tried 25051 cl shrink 0 lits rem 0 time: 0.02 108.90/27.30 c asymm cl-useful: 0/3362/5340 lits-rem:0 time: 1.52 108.90/27.30 c calculated reachability. Time: 0.00 108.90/27.30 c N dy 746 238266 60 5340 0 25051 37380 374410 17.95 no data -- 116.48/29.23 c N dy 853 254128 60 5340 0 20583 37380 267679 18.03 19.19 -- 123.25/30.90 c N dy 924 270587 60 5340 0 35173 37380 578831 18.05 19.05 -- 132.84/33.36 c N dy 1011 294008 60 5340 0 36467 37380 593020 18.06 19.11 -- 138.42/34.72 c F st 1064 306251 60 5340 0 26990 37380 384391 18.08 17.76 -- 141.21/35.42 c N dy 1076 313358 60 5340 0 33286 37380 519377 18.08 19.07 -- 149.99/37.64 c N dy 1133 333430 60 5340 0 29817 37380 431829 18.08 19.67 -- 160.77/40.38 c N dy 1199 356694 60 5340 0 28215 37380 387552 18.07 19.03 -- 161.17/40.47 c S st 1206 357403 60 5340 0 28844 37380 401292 18.08 19.78 -- 161.57/40.54 c S st 1206 357906 60 5340 0 29294 37380 411480 18.08 no data -- 161.57/40.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 161.57/40.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 161.57/40.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 161.57/40.57 c bin-w-bin subsume rem 0 bins time: 0.00 s 161.57/40.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 161.57/40.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 161.57/40.57 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 170.35/42.76 c lits-rem: 1554 cl-subs: 2091 v-elim: 0 v-fix: 0 time: 8.74 s 170.35/42.76 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 170.35/42.77 c vivif2 -- cl tried 27203 cl shrink 0 lits rem 0 time: 0.02 171.54/43.05 c asymm cl-useful: 0/1978/5340 lits-rem:0 time: 1.12 171.54/43.05 c calculated reachability. Time: 0.00 171.54/43.05 c N dy 1206 357906 60 5340 0 27203 37380 368637 18.08 no data -- 182.31/45.75 c N dy 1238 378029 60 5340 0 44999 37380 739942 18.05 19.00 -- 193.88/48.64 c N dy 1286 400483 60 5340 0 42013 37380 667595 18.01 19.06 -- 212.63/53.38 c N dy 1371 440062 60 5340 0 28353 37380 356667 17.95 19.09 -- 223.43/56.04 c N dy 1448 460907 60 5340 0 46860 37380 749762 17.96 18.92 -- 234.57/58.85 c N dy 1531 482928 60 5340 0 40682 37380 608850 17.96 18.96 -- 246.95/61.95 c N dy 1637 502941 60 5340 0 31906 37380 417471 17.98 18.96 -- 258.96/64.99 c N dy 1754 522971 60 5340 0 49739 37380 800418 18.02 19.06 -- 267.74/67.12 c S st 1815 536860 60 5340 0 34527 37380 461893 18.03 16.41 -- 268.10/67.21 c S st 1815 537367 60 5340 0 34978 37380 472031 18.03 no data -- 268.10/67.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 268.10/67.21 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 268.10/67.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.04 268.10/67.24 c bin-w-bin subsume rem 0 bins time: 0.00 s 268.10/67.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 268.10/67.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 268.10/67.24 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 276.87/69.41 c lits-rem: 1156 cl-subs: 1905 v-elim: 0 v-fix: 0 time: 8.68 s 276.87/69.41 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 276.87/69.42 c vivif2 -- cl tried 33073 cl shrink 0 lits rem 0 time: 0.02 278.07/69.79 c asymm cl-useful: 0/2635/5340 lits-rem:0 time: 1.48 278.07/69.79 c calculated reachability. Time: 0.00 278.07/69.79 c N dy 1815 537367 60 5340 0 33073 37380 430837 18.03 no data -- 297.23/74.53 c N dy 1931 571408 60 5340 0 34876 37380 454881 18.02 19.03 -- 310.39/77.87 c N dy 2058 591429 60 5340 0 52703 37380 840050 18.06 20.61 -- 327.14/82.06 c N dy 2152 619803 60 5340 0 48570 37380 734367 18.05 19.18 -- 341.51/85.60 c N dy 2243 639991 60 5340 0 36380 37380 473431 18.06 19.08 -- 359.07/90.01 c N dy 2271 669374 60 5340 0 31325 37380 355619 18.00 18.98 -- 370.24/92.80 c N dy 2335 689423 60 5340 0 49007 37380 724870 17.99 18.98 -- 385.83/96.80 c N dy 2443 709471 60 5340 0 35050 37380 425170 18.01 20.33 -- 398.17/99.89 c N dy 2489 730332 60 5340 0 53469 37380 811463 18.00 19.00 -- 415.33/104.14 c N dy 2560 752122 60 5340 0 39994 37380 511695 18.00 18.99 -- 429.30/107.68 c N dy 2653 772169 60 5340 0 57803 37380 894158 18.02 18.97 -- 444.05/111.39 c N dy 2744 792223 60 5340 0 41916 37380 550720 18.03 20.53 -- 454.02/113.87 c S st 2822 806052 60 5340 0 54214 37380 814858 18.04 no data -- 454.83/114.02 c S st 2822 806554 60 5340 0 54667 37380 825058 18.04 no data -- 454.83/114.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 454.83/114.02 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 454.83/114.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.09 454.83/114.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 454.83/114.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 454.83/114.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 454.83/114.07 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 483.55/121.21 c lits-rem: 2847 cl-subs: 5214 v-elim: 0 v-fix: 0 time: 28.49 s 483.55/121.22 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 483.55/121.22 c vivif2 -- cl tried 49453 cl shrink 0 lits rem 0 time: 0.04 484.35/121.47 c asymm cl-useful: 0/774/5340 lits-rem:0 time: 0.99 484.35/121.48 c calculated reachability. Time: 0.00 484.35/121.48 c N dy 2822 806554 60 5340 0 49453 37380 708990 18.04 no data -- 508.71/127.52 c N dy 2967 832037 60 5340 0 37789 37380 448976 18.06 19.05 -- 523.85/131.34 c N dy 3026 857086 60 5340 0 59830 37380 908436 18.04 19.00 -- 543.41/136.25 c N dy 3054 885717 60 5340 0 49805 37380 680690 18.00 19.02 -- 570.16/142.94 c N dy 3147 921143 60 5340 0 44857 37380 571727 17.98 18.96 -- 590.08/147.99 c N dy 3241 947839 60 5340 0 68435 37380 1071413 17.98 19.01 -- 606.83/152.17 c N dy 3364 967840 60 5340 0 49191 37380 666409 18.00 19.51 -- 623.99/156.46 c N dy 3480 987848 60 5340 0 66901 37380 1049008 18.02 19.02 -- 640.37/160.58 c N dy 3543 1008124 60 5340 0 46829 37380 599492 18.01 18.99 -- 656.72/164.62 c N dy 3642 1028202 60 5340 0 64656 37380 982359 18.03 19.48 -- 676.66/169.66 c N dy 3719 1050054 60 5340 0 45013 37380 547028 18.02 19.01 -- 693.04/173.71 c N dy 3829 1070316 60 5340 0 62960 37380 934717 18.04 18.99 -- 694.21/174.09 c F st 3835 1071875 60 5340 0 64346 37380 964197 18.04 17.66 -- 716.16/179.52 c N dy 3907 1094912 60 5340 0 44986 37380 537957 18.04 19.11 -- 731.32/183.34 c N dy 3973 1114993 60 5340 0 62689 37380 913967 18.04 20.29 -- 754.06/189.05 c N dy 4098 1135313 60 5340 0 80776 37380 1307815 18.06 19.02 -- 770.02/193.02 c N dy 4177 1155365 60 5340 0 57724 37380 801474 18.06 19.02 -- 801.54/200.99 c N dy 4286 1182106 60 5340 0 81404 37380 1309156 18.07 19.14 -- 824.70/206.75 c N dy 4384 1207037 60 5340 0 61901 37380 884116 18.07 19.12 -- 828.27/207.63 c S st 4411 1209832 60 5340 0 64389 37380 939307 18.08 17.87 -- 829.09/207.82 c S st 4411 1210334 60 5340 0 64842 37380 949420 18.08 no data -- 829.09/207.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 829.09/207.83 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 829.09/207.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.14 829.09/207.89 c bin-w-bin subsume rem 0 bins time: 0.00 s 829.09/207.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 829.09/207.89 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 829.09/207.89 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 897.69/225.04 c lits-rem: 3405 cl-subs: 6064 v-elim: 0 v-fix: 0 time: 68.40 s 897.69/225.04 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 897.69/225.05 c vivif2 -- cl tried 58778 cl shrink 0 lits rem 0 time: 0.04 898.89/225.40 c asymm cl-useful: 0/636/5340 lits-rem:0 time: 1.41 898.89/225.40 c calculated reachability. Time: 0.00 898.89/225.40 c N dy 4411 1210334 60 5340 0 58778 37380 819098 18.08 no data -- 920.83/230.88 c N dy 4490 1230404 60 5340 0 76563 37380 1199650 18.08 19.39 -- 941.18/235.90 c N dy 4584 1252141 60 5340 0 53678 37380 702624 18.09 19.06 -- 961.92/241.16 c N dy 4644 1276029 60 5340 0 74784 37380 1146459 18.08 19.13 -- 991.89/248.67 c N dy 4802 1297985 60 5340 0 51082 37380 636671 18.11 19.09 -- 1059.28/265.59 c N dy 4815 1377349 60 5340 0 76058 37380 1100870 17.97 19.06 -- 1082.82/271.40 c N dy 4947 1397406 60 5340 0 49271 37380 581287 17.99 20.60 -- 1099.18/275.52 c N dy 5043 1417723 60 5340 0 67124 37380 962594 17.99 18.99 -- 1122.72/281.42 c N dy 5164 1437783 60 5340 0 84883 37380 1346681 18.01 18.98 -- 1144.67/286.92 c N dy 5289 1457789 60 5340 0 56947 37380 732885 18.02 20.89 -- 1164.61/291.94 c N dy 5403 1477810 60 5340 0 74662 37380 1116368 18.03 20.13 -- 1191.35/298.64 c N dy 5537 1497842 60 5340 0 92362 37380 1501950 18.05 19.84 -- 1208.51/302.92 c N dy 5630 1517943 60 5340 0 63200 37380 853852 18.05 19.09 -- 1230.45/308.48 c N dy 5734 1538011 60 5340 0 80997 37380 1237994 18.06 19.06 -- 1257.58/315.25 c N dy 5865 1558329 60 5340 0 51372 37380 590792 18.08 19.08 -- 1274.74/319.56 c N dy 5944 1578382 60 5340 0 69062 37380 967156 18.08 20.49 -- 1299.47/325.73 c N dy 6078 1598452 60 5340 0 86815 37380 1354024 18.09 19.81 -- 1324.62/332.07 c N dy 6208 1618458 60 5340 0 55985 37380 680912 18.11 20.98 -- 1343.76/336.83 c N dy 6259 1640550 60 5340 0 75381 37380 1089369 18.10 19.22 -- 1367.71/342.89 c N dy 6324 1660629 60 5340 0 93089 37380 1465501 18.10 19.66 -- 1395.25/349.77 c N dy 6340 1689155 60 5340 0 68615 37380 920714 18.08 19.41 -- 1422.35/356.52 c N dy 6413 1709609 60 5340 0 86555 37380 1301502 18.07 19.23 -- 1423.55/356.85 c S st 6421 1710335 60 5340 0 87202 37380 1315955 18.08 no data -- 1424.75/357.18 c S st 6421 1710838 60 5340 0 87650 37380 1325761 18.08 no data -- 1424.75/357.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1424.75/357.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1425.15/357.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.20 1425.15/357.28 c bin-w-bin subsume rem 0 bins time: 0.00 s 1425.15/357.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1425.15/357.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 1425.15/357.28 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1603.05/401.85 c lits-rem: 4901 cl-subs: 11898 v-elim: 0 v-fix: 0 time: 177.73 s 1603.05/401.86 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 1603.05/401.87 c vivif2 -- cl tried 75752 cl shrink 0 lits rem 0 time: 0.07 1605.05/402.33 c asymm cl-useful: 0/533/5340 lits-rem:0 time: 1.82 1605.05/402.33 c calculated reachability. Time: 0.00 1605.05/402.33 c N dy 6421 1710838 60 5340 0 75752 37380 1090773 18.08 no data -- 1640.98/411.33 c N dy 6549 1730882 60 5340 0 93632 37380 1479612 18.09 19.77 -- 1669.67/418.55 c N dy 6654 1750968 60 5340 0 61869 37380 793946 18.10 19.65 -- 1702.41/426.78 c N dy 6799 1771040 60 5340 0 79699 37380 1184998 18.11 20.88 -- 1740.68/436.32 c N dy 6848 1792211 60 5340 0 98308 37380 1571109 18.10 19.08 -- 1773.03/444.46 c N dy 6957 1812227 60 5340 0 65165 37380 850094 18.11 20.96 -- 1808.89/453.46 c N dy 7096 1832323 60 5340 0 83040 37380 1241707 18.12 19.61 -- 1848.38/463.38 c N dy 7207 1852342 60 5340 0 100775 37380 1627231 18.13 19.96 -- 1877.10/470.56 c N dy 7319 1872407 60 5340 0 66535 37380 869525 18.14 20.22 -- 1909.82/478.78 c N dy 7439 1894255 60 5340 0 85836 37380 1286839 18.15 19.18 -- 1943.34/487.13 c N dy 7528 1914290 60 5340 0 103576 37380 1668192 18.16 20.82 -- 1971.66/494.23 c N dy 7536 1947426 60 5340 0 79431 37380 1100019 18.12 19.17 -- 2031.53/509.27 c N dy 7608 2009059 60 5340 0 79597 37380 1095257 18.08 19.05 -- 2062.26/516.95 c N dy 7751 2030264 60 5340 0 98386 37380 1505848 18.09 19.08 -- 2088.18/523.44 c N dy 7793 2052231 60 5340 0 63348 37380 763218 18.09 19.22 -- 2111.71/529.36 c N dy 7933 2072263 60 5340 0 81149 37380 1155253 18.10 20.13 -- 2142.43/537.03 c N dy 8078 2092375 60 5340 0 99008 37380 1548064 18.11 19.07 -- 2172.40/544.55 c N dy 8189 2112429 60 5340 0 61157 37380 710242 18.12 19.97 -- 2191.10/549.20 c N dy 8242 2132459 60 5340 0 78689 37380 1079534 18.12 19.18 -- 2220.68/556.68 c N dy 8410 2152604 60 5340 0 96620 37380 1476943 18.13 19.09 -- 2276.10/570.51 c N dy 8419 2210839 60 5340 0 90928 37380 1280521 18.07 16.36 -- 2276.10/570.51 c S st 8419 2210839 60 5340 0 90928 37380 1280521 18.07 16.36 -- 2276.90/570.76 c S st 8419 2211340 60 5340 0 91378 37380 1290736 18.07 no data -- 2276.90/570.77 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2276.90/570.77 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2277.32/570.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.15 2277.32/570.85 c bin-w-bin subsume rem 0 bins time: 0.00 s 2277.32/570.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2277.32/570.85 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 2277.32/570.85 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2380.23/596.66 c lits-rem: 4936 cl-subs: 13969 v-elim: 0 v-fix: 0 time: 102.96 s 2380.23/596.66 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 2380.23/596.68 c vivif2 -- cl tried 77409 cl shrink 0 lits rem 0 time: 0.06 2381.83/597.01 c asymm cl-useful: 0/474/5340 lits-rem:0 time: 1.33 2381.83/597.01 c calculated reachability. Time: 0.00 2381.83/597.01 c N dy 8419 2211340 60 5340 0 77409 37380 1042807 18.07 no data -- 2408.16/603.61 c N dy 8503 2231404 60 5340 0 95194 37380 1428229 18.07 19.07 -- 2443.67/612.55 c N dy 8635 2251446 60 5340 0 56678 37380 605034 18.08 20.64 -- 2462.07/617.12 c N dy 8705 2271517 60 5340 0 74358 37380 977674 18.08 19.83 -- 2492.78/624.82 c N dy 8848 2291577 60 5340 0 92173 37380 1368438 18.09 21.41 -- 2536.25/635.75 c N dy 8951 2311585 60 5340 0 109828 37380 1750168 18.10 20.03 -- 2570.13/644.29 c N dy 9093 2331638 60 5340 0 69851 37380 876470 18.11 19.10 -- 2606.45/653.34 c N dy 9233 2351726 60 5340 0 87679 37380 1268472 18.12 20.39 -- 2647.12/663.59 c N dy 9331 2372440 60 5340 0 106056 37380 1665610 18.13 19.18 -- 2687.01/673.59 c N dy 9452 2392511 60 5340 0 64801 37380 751845 18.13 20.15 -- 2714.15/680.31 c N dy 9542 2413556 60 5340 0 83322 37380 1148198 18.14 19.11 -- 2748.46/688.97 c N dy 9665 2433642 60 5340 0 101113 37380 1534947 18.14 19.88 -- 2791.94/699.81 c N dy 9815 2453739 60 5340 0 118914 37380 1926364 18.16 19.69 -- 2818.28/706.45 c N dy 9892 2474585 60 5340 0 77270 37380 1004218 18.16 19.16 -- 2847.42/713.80 c N dy 9948 2495959 60 5340 0 95985 37380 1399871 18.15 19.16 -- 2886.92/723.61 c N dy 10054 2516006 60 5340 0 113706 37380 1783492 18.16 20.67 -- 2925.21/733.21 c N dy 10180 2536912 60 5340 0 71309 37380 870834 18.17 19.16 -- 2954.34/740.57 c N dy 10231 2563549 60 5340 0 94694 37380 1362747 18.16 19.12 -- 2988.69/749.15 c N dy 10355 2583619 60 5340 0 112430 37380 1751005 18.17 20.04 -- 3020.58/757.11 c N dy 10457 2603624 60 5340 0 68445 37380 800983 18.17 20.18 -- 3040.13/762.01 c N dy 10485 2623890 60 5340 0 86194 37380 1173069 18.17 19.16 -- 3080.87/772.26 c N dy 10617 2651626 60 5340 0 110636 37380 1700275 18.17 19.13 -- 3118.72/781.74 c N dy 10697 2675548 60 5340 0 69229 37380 803305 18.17 19.15 -- 3143.46/787.95 c N dy 10815 2695648 60 5340 0 86990 37380 1192632 18.18 19.28 -- 3162.21/792.63 c S st 10840 2711340 60 5340 0 100743 37380 1476520 18.17 no data -- 3163.41/792.94 c S st 10840 2711844 60 5340 0 101190 37380 1486521 18.17 no data -- 3163.41/792.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3163.41/792.95 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3163.41/793.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.20 3163.83/793.04 c bin-w-bin subsume rem 0 bins time: 0.00 s 3163.83/793.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3163.83/793.04 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 3163.83/793.04 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3572.35/895.46 c lits-rem: 5383 cl-subs: 11240 v-elim: 0 v-fix: 0 time: 408.49 s 3572.35/895.46 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 3572.35/895.48 c vivif2 -- cl tried 89950 cl shrink 0 lits rem 0 time: 0.08 3573.90/895.88 c asymm cl-useful: 0/551/5340 lits-rem:0 time: 1.63 3573.90/895.89 c calculated reachability. Time: 0.00 3573.90/895.89 c N dy 10840 2711844 60 5340 0 89950 37380 1252448 18.17 no data -- 3612.60/905.57 c N dy 10944 2733821 60 5340 0 109322 37380 1671209 18.18 19.30 -- 3673.28/920.79 c N dy 11032 2771098 60 5340 0 79269 37380 1003266 18.17 19.31 -- 3721.56/932.87 c N dy 11142 2799718 60 5340 0 104492 37380 1545384 18.17 19.28 -- 3766.60/944.14 c N dy 11189 2820944 60 5340 0 123005 37380 1932466 18.17 19.17 -- 3805.28/953.82 c N dy 11294 2841224 60 5340 0 77104 37380 961481 18.17 19.26 -- 3839.19/962.32 c N dy 11338 2864324 60 5340 0 97196 37380 1380568 18.16 19.25 -- 3887.89/974.55 c N dy 11466 2885323 60 5340 0 115827 37380 1788570 18.17 19.19 -- 3938.52/987.25 c N dy 11597 2905345 60 5340 0 68615 37380 769044 18.18 19.48 -- 3974.43/996.23 c N dy 11761 2925556 60 5340 0 86559 37380 1167112 18.19 19.16 -- 4013.92/1006.19 c N dy 11816 2950210 60 5340 0 108137 37380 1620032 18.19 19.38 -- 4050.25/1015.23 c N dy 11822 2972842 60 5340 0 127805 37380 2023762 18.17 19.15 -- 4103.33/1028.54 c N dy 11884 3011646 60 5340 0 95950 37380 1321663 18.16 19.13 -- 4142.84/1038.46 c N dy 11994 3031708 60 5340 0 113636 37380 1705176 18.17 21.49 -- 4187.07/1049.51 c N dy 12092 3051754 60 5340 0 131332 37380 2088190 18.17 20.67 -- 4224.98/1059.01 c N dy 12189 3076468 60 5340 0 86307 37380 1123836 18.17 19.23 -- 4256.11/1066.85 c N dy 12258 3096550 60 5340 0 103969 37380 1501546 18.17 19.98 -- 4292.41/1075.97 c N dy 12347 3117817 60 5340 0 122759 37380 1906152 18.18 19.15 -- 4324.33/1083.93 c N dy 12391 3137846 60 5340 0 72631 37380 817460 18.17 21.25 -- 4355.85/1091.86 c N dy 12515 3160536 60 5340 0 92648 37380 1252212 18.17 19.16 -- 4391.36/1100.75 c N dy 12539 3184716 60 5340 0 113650 37380 1685198 18.17 19.13 -- 4429.66/1110.32 c N dy 12583 3204992 60 5340 0 131379 37380 2057049 18.16 19.33 -- 4449.22/1115.30 c S st 12638 3211845 60 5340 0 68978 37380 736834 18.16 no data -- 4450.41/1115.54 c S st 12638 3212347 60 5340 0 69430 37380 746966 18.16 no data -- 4450.41/1115.55 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4450.41/1115.55 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4450.41/1115.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.14 4450.81/1115.61 c bin-w-bin subsume rem 0 bins time: 0.00 s 4450.81/1115.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4450.81/1115.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 60 time: 0.00 s 4450.81/1115.61 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4513.04/1131.26 c lits-rem: 111 cl-subs: 213 v-elim: 0 v-fix: 0 time: 62.42 s 4513.04/1131.26 c vivif2 -- cl tried 5340 cl shrink 0 lits rem 0 time: 0.00 4513.04/1131.27 c vivif2 -- cl tried 69217 cl shrink 0 lits rem 0 time: 0.05 4514.64/1131.64 c asymm cl-useful: 0/623/5340 lits-rem:0 time: 1.47 4514.64/1131.64 c calculated reachability. Time: 0.00 4514.64/1131.64 c N dy 12638 3212347 60 5340 0 69217 37380 742053 18.16 no data -- 4541.37/1138.36 c N dy 12711 3232441 60 5340 0 86895 37380 1122748 18.16 19.13 -- 4574.48/1146.64 c N dy 12781 3253362 60 5340 0 105226 37380 1511450 18.16 19.13 -- 4621.96/1158.51 c N dy 12879 3277032 60 5340 0 126030 37380 1960775 18.17 19.16 -- 4664.68/1169.27 c N dy 12968 3297077 60 5340 0 74264 37380 841554 18.17 19.13 -- 4697.38/1177.41 c N dy 13087 3319199 60 5340 0 93773 37380 1265571 18.18 19.16 -- 4728.89/1185.31 c N dy 13176 3339288 60 5340 0 111424 37380 1647179 18.18 19.78 -- 4777.57/1197.54 c N dy 13241 3369464 60 5340 0 137785 37380 2200649 18.17 19.16 --
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-3368831-1305404062/watcher-3368831-1305404062 -o /tmp/evaluation-result-3368831-1305404062/solver-3368831-1305404062 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368831-1305404062.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: 4.65 4.80 6.29 5/319 8229 /proc/meminfo: memFree=27257796/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 416 0 0 0 0 0 0 0 25 0 4 0 384597466 52465664 356 33554432000 4194304 4650419 140734762564384 18446744073709551615 47165897942557 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 12809 356 306 112 0 7774 0 [pid=8229/tid=8230] ppid=8227 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 384597467 52465664 356 33554432000 4194304 4650419 140734762564384 18446744073709551615 47165897942962 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 384597467 52465664 356 33554432000 4194304 4650419 140734762564384 18446744073709551615 47165897942544 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 384597467 52465664 356 33554432000 4194304 4650419 140734762564384 18446744073709551615 47165897942553 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.091415 s] /proc/loadavg: 4.65 4.80 6.29 5/319 8229 /proc/meminfo: memFree=27257796/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=281904 CPUtime=0.34 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 1297 0 0 0 34 0 0 0 18 0 4 0 384597466 288669696 1207 33554432000 4194304 4650419 140734762564384 18446744073709551615 4370567 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 70476 1207 366 112 0 65441 0 [pid=8229/tid=8230] ppid=8227 vsize=281904 CPUtime=0.08 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 191 0 0 0 8 0 0 0 25 0 4 0 384597467 288669696 1207 33554432000 4194304 4650419 140734762564384 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=281904 CPUtime=0.08 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 188 0 0 0 8 0 0 0 18 0 4 0 384597467 288669696 1207 33554432000 4194304 4650419 140734762564384 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=281904 CPUtime=0.08 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) D 8227 8229 7660 0 -1 4202560 300 0 0 0 8 0 0 0 18 0 4 0 384597467 288669696 1207 33554432000 4194304 4650419 140734762564384 18446744073709551615 268660359287 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.34 Current children cumulated vsize (KiB) 281904 [startup+0.111961 s] /proc/loadavg: 4.65 4.80 6.29 5/319 8229 /proc/meminfo: memFree=27257796/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=281904 CPUtime=0.42 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 1336 0 0 0 42 0 0 0 18 0 4 0 384597466 288669696 1246 33554432000 4194304 4650419 140734762564384 18446744073709551615 4370522 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 70476 1246 366 112 0 65441 0 [pid=8229/tid=8230] ppid=8227 vsize=281904 CPUtime=0.1 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 194 0 0 0 10 0 0 0 25 0 4 0 384597467 288669696 1246 33554432000 4194304 4650419 140734762564384 18446744073709551615 4370582 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=281904 CPUtime=0.1 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 191 0 0 0 10 0 0 0 18 0 4 0 384597467 288669696 1247 33554432000 4194304 4650419 140734762564384 18446744073709551615 268660323013 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=281904 CPUtime=0.1 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 331 0 0 0 10 0 0 0 18 0 4 0 384597467 288669696 1247 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 281904 [startup+0.30093 s] /proc/loadavg: 4.65 4.80 6.29 5/319 8229 /proc/meminfo: memFree=27257796/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=285420 CPUtime=1.17 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 3627 0 0 0 117 0 0 0 18 0 4 0 384597466 292270080 2678 33554432000 4194304 4650419 140734762564384 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 71355 2678 390 112 0 66320 0 [pid=8229/tid=8230] ppid=8227 vsize=285420 CPUtime=0.29 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 851 0 0 0 29 0 0 0 25 0 4 0 384597467 292270080 2678 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=285420 CPUtime=0.29 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 863 0 0 0 29 0 0 0 18 0 4 0 384597467 292270080 2678 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=285420 CPUtime=0.29 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 636 0 0 0 29 0 0 0 18 0 4 0 384597467 292270080 2678 33554432000 4194304 4650419 140734762564384 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 285420 [startup+0.700862 s] /proc/loadavg: 4.65 4.80 6.29 5/319 8229 /proc/meminfo: memFree=27257796/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=286316 CPUtime=2.78 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 5627 0 0 0 277 1 0 0 18 0 4 0 384597466 293187584 3481 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 71579 3481 390 112 0 66544 0 [pid=8229/tid=8230] ppid=8227 vsize=286316 CPUtime=0.69 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 1317 0 0 0 69 0 0 0 25 0 4 0 384597467 293187584 3481 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=286316 CPUtime=0.69 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 1290 0 0 0 69 0 0 0 18 0 4 0 384597467 293187584 3481 33554432000 4194304 4650419 140734762564384 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=286316 CPUtime=0.69 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 1263 0 0 0 69 0 0 0 18 0 4 0 384597467 293187584 3481 33554432000 4194304 4650419 140734762564384 18446744073709551615 4333767 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 286316 [startup+1.50072 s] /proc/loadavg: 4.65 4.80 6.29 10/323 8233 /proc/meminfo: memFree=27242264/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=287560 CPUtime=5.96 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 10036 0 0 0 595 1 0 0 20 0 4 0 384597466 294461440 5378 33554432000 4194304 4650419 140734762564384 18446744073709551615 4439082 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 71890 5379 392 112 0 66855 0 [pid=8229/tid=8230] ppid=8227 vsize=287560 CPUtime=1.47 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 2129 0 0 0 147 0 0 0 25 0 4 0 384597467 294461440 5379 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=287560 CPUtime=1.49 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 2105 0 0 0 149 0 0 0 19 0 4 0 384597467 294461440 5379 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=287560 CPUtime=1.49 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 2079 0 0 0 149 0 0 0 19 0 4 0 384597467 294461440 5379 33554432000 4194304 4650419 140734762564384 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 287560 [startup+3.10044 s] /proc/loadavg: 4.65 4.80 6.29 9/323 8233 /proc/meminfo: memFree=27221556/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=295744 CPUtime=12.35 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 16367 0 0 0 1232 3 0 0 25 0 4 0 384597466 302841856 9908 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 73936 9908 392 112 0 68901 0 [pid=8229/tid=8230] ppid=8227 vsize=295744 CPUtime=3.06 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 3529 0 0 0 306 0 0 0 25 0 4 0 384597467 302841856 9908 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=295744 CPUtime=3.08 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 4351 0 0 0 308 0 0 0 25 0 4 0 384597467 302841856 9908 33554432000 4194304 4650419 140734762564384 18446744073709551615 4439082 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=295744 CPUtime=3.09 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 4337 0 0 0 308 1 0 0 25 0 4 0 384597467 302841856 9908 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 295744 [startup+6.30088 s] /proc/loadavg: 4.91 4.85 6.30 9/323 8234 /proc/meminfo: memFree=27204196/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=304888 CPUtime=25.12 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 24434 0 0 0 2507 5 0 0 25 0 4 0 384597466 312205312 12688 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 76222 12688 392 112 0 71187 0 [pid=8229/tid=8230] ppid=8227 vsize=304888 CPUtime=6.22 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 6093 0 0 0 622 0 0 0 25 0 4 0 384597467 312205312 12688 33554432000 4194304 4650419 140734762564384 18446744073709551615 4370582 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=304888 CPUtime=6.28 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 5949 0 0 0 628 0 0 0 25 0 4 0 384597467 312205312 12688 33554432000 4194304 4650419 140734762564384 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=304888 CPUtime=6.29 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 6371 0 0 0 628 1 0 0 25 0 4 0 384597467 312205312 12688 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 304888 [startup+12.7008 s] /proc/loadavg: 5.16 4.90 6.31 9/323 8234 /proc/meminfo: memFree=27165412/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=296356 CPUtime=50.64 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 35703 0 0 0 5057 7 0 0 25 0 4 0 384597466 303468544 17630 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 74089 17631 392 112 0 69054 0 [pid=8229/tid=8230] ppid=8227 vsize=296356 CPUtime=12.56 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 8789 0 0 0 1255 1 0 0 25 0 4 0 384597467 303468544 17631 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=296356 CPUtime=12.69 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 7908 0 0 0 1268 1 0 0 25 0 4 0 384597467 303468544 17631 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=296356 CPUtime=12.69 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 9967 0 0 0 1267 2 0 0 25 0 4 0 384597467 303468544 17631 33554432000 4194304 4650419 140734762564384 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 296356 [startup+25.5005 s] /proc/loadavg: 5.86 5.07 6.34 9/323 8234 /proc/meminfo: memFree=27143068/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=297284 CPUtime=101.71 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 54500 0 0 0 10159 12 0 0 25 0 4 0 384597466 304418816 22431 33554432000 4194304 4650419 140734762564384 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 74321 22431 392 112 0 69286 0 [pid=8229/tid=8230] ppid=8227 vsize=297284 CPUtime=25.23 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 14569 0 0 0 2521 2 0 0 25 0 4 0 384597467 304418816 22431 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=297284 CPUtime=25.48 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 12797 0 0 0 2546 2 0 0 25 0 4 0 384597467 304418816 22431 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=297284 CPUtime=25.49 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 14566 0 0 0 2546 3 0 0 25 0 4 0 384597467 304418816 22431 33554432000 4194304 4650419 140734762564384 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.71 Current children cumulated vsize (KiB) 297284 [startup+51.101 s] /proc/loadavg: 6.59 5.30 6.38 9/323 8235 /proc/meminfo: memFree=27104204/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=290248 CPUtime=203.86 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 80194 0 0 0 20367 19 0 0 25 0 4 0 384597466 297213952 27337 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 72562 27337 392 112 0 67527 0 [pid=8229/tid=8230] ppid=8227 vsize=290248 CPUtime=50.58 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 21910 0 0 0 5054 4 0 0 25 0 4 0 384597467 297213952 27337 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=290248 CPUtime=51.08 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 18230 0 0 0 5105 3 0 0 25 0 4 0 384597467 297213952 27337 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=290248 CPUtime=51.09 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 22030 0 0 0 5104 5 0 0 25 0 4 0 384597467 297213952 27337 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 203.86 Current children cumulated vsize (KiB) 290248 [startup+102.312 s] /proc/loadavg: 7.39 5.72 6.47 9/323 8236 /proc/meminfo: memFree=27073740/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=302980 CPUtime=408.18 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 117762 0 0 0 40789 29 0 0 25 0 4 0 384597466 310251520 30840 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 75745 30840 392 112 0 70710 0 [pid=8229/tid=8230] ppid=8227 vsize=302980 CPUtime=101.27 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 30356 0 0 0 10121 6 0 0 25 0 4 0 384597467 310251520 30840 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476331 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=302980 CPUtime=102.29 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 27304 0 0 0 10223 6 0 0 25 0 4 0 384597467 310251520 30840 33554432000 4194304 4650419 140734762564384 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=302980 CPUtime=102.3 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 35430 0 0 0 10221 9 0 0 25 0 4 0 384597467 310251520 30840 33554432000 4194304 4650419 140734762564384 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.18 Current children cumulated vsize (KiB) 302980 [startup+162.301 s] ################ # More data... # ################ [pid=8229] ppid=8227 vsize=395564 CPUtime=2562.57 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 357583 0 0 0 256125 132 0 0 25 0 4 0 384597466 405057536 71432 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 98891 71432 392 112 0 93856 0 [pid=8229/tid=8230] ppid=8227 vsize=395564 CPUtime=635.74 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 93196 0 0 0 63542 32 0 0 25 0 4 0 384597467 405057536 71432 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=395564 CPUtime=642.3 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 78657 0 0 0 64198 32 0 0 25 0 4 0 384597467 405057536 71432 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=395564 CPUtime=642.31 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 97838 0 0 0 64202 29 0 0 25 0 4 0 384597467 405057536 71432 33554432000 4194304 4650419 140734762564384 18446744073709551615 4438393 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2562.57 Current children cumulated vsize (KiB) 395564 [startup+702.301 s] /proc/loadavg: 8.07 7.79 7.24 9/323 8252 /proc/meminfo: memFree=26749516/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=395708 CPUtime=2801.93 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 371716 0 0 0 280056 137 0 0 25 0 4 0 384597466 405204992 73835 33554432000 4194304 4650419 140734762564384 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 98927 73835 392 112 0 93892 0 [pid=8229/tid=8230] ppid=8227 vsize=395708 CPUtime=695.11 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 101132 0 0 0 69478 33 0 0 25 0 4 0 384597467 405204992 73835 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=395708 CPUtime=702.29 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 78938 0 0 0 70197 32 0 0 25 0 4 0 384597467 405204992 73835 33554432000 4194304 4650419 140734762564384 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=395708 CPUtime=702.3 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 99023 0 0 0 70200 30 0 0 25 0 4 0 384597467 405204992 73835 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2801.93 Current children cumulated vsize (KiB) 395708 [startup+762.312 s] /proc/loadavg: 8.08 7.84 7.29 9/323 8254 /proc/meminfo: memFree=26758884/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=383708 CPUtime=3041.36 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 386854 0 0 0 303995 141 0 0 25 0 4 0 384597466 392916992 72661 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 95927 72661 392 112 0 90892 0 [pid=8229/tid=8230] ppid=8227 vsize=383708 CPUtime=754.52 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 109977 0 0 0 75417 35 0 0 25 0 4 0 384597467 392916992 72661 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=383708 CPUtime=762.3 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 79417 0 0 0 76198 32 0 0 25 0 4 0 384597467 392916992 72661 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=383708 CPUtime=762.32 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 99408 0 0 0 76201 31 0 0 25 0 4 0 384597467 392916992 72661 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3041.36 Current children cumulated vsize (KiB) 383708 [startup+822.301 s] /proc/loadavg: 8.06 7.88 7.33 9/323 8255 /proc/meminfo: memFree=26722392/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=449304 CPUtime=3280.69 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 396456 0 0 0 327923 146 0 0 25 0 4 0 384597466 460087296 76674 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 112326 76674 392 112 0 107291 0 [pid=8229/tid=8230] ppid=8227 vsize=449304 CPUtime=813.9 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 110538 0 0 0 81355 35 0 0 25 0 4 0 384597467 460087296 76674 33554432000 4194304 4650419 140734762564384 18446744073709551615 4364766 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=449304 CPUtime=822.29 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 81958 0 0 0 82195 34 0 0 25 0 4 0 384597467 460087296 76674 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=449304 CPUtime=822.31 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 101710 0 0 0 82199 32 0 0 25 0 4 0 384597467 460087296 76674 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3280.69 Current children cumulated vsize (KiB) 449304 [startup+882.3 s] /proc/loadavg: 8.15 7.93 7.38 9/323 8257 /proc/meminfo: memFree=26701404/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=514840 CPUtime=3520.04 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 401354 0 0 0 351855 149 0 0 25 0 4 0 384597466 527196160 81285 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 128710 81285 392 112 0 123675 0 [pid=8229/tid=8230] ppid=8227 vsize=514840 CPUtime=873.25 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 112668 0 0 0 87289 36 0 0 25 0 4 0 384597467 527196160 81285 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=514840 CPUtime=882.29 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 81958 0 0 0 88195 34 0 0 25 0 4 0 384597467 527196160 81285 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=514840 CPUtime=882.3 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 104478 0 0 0 88197 33 0 0 25 0 4 0 384597467 527196160 81285 33554432000 4194304 4650419 140734762564384 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3520.04 Current children cumulated vsize (KiB) 514840 [startup+942.301 s] /proc/loadavg: 8.18 7.97 7.43 9/323 8258 /proc/meminfo: memFree=26652652/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=567888 CPUtime=3759.42 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 408391 0 0 0 375788 154 0 0 25 0 4 0 384597466 581517312 85554 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 141972 85554 392 112 0 136937 0 [pid=8229/tid=8230] ppid=8227 vsize=567888 CPUtime=932.63 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 115873 0 0 0 93225 38 0 0 25 0 4 0 384597467 581517312 85554 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=567888 CPUtime=942.29 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 82247 0 0 0 94195 34 0 0 25 0 4 0 384597467 581517312 85554 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=567888 CPUtime=942.31 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 104541 0 0 0 94198 33 0 0 25 0 4 0 384597467 581517312 85554 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3759.42 Current children cumulated vsize (KiB) 567888 [startup+1002.3 s] /proc/loadavg: 8.18 8.00 7.47 9/323 8260 /proc/meminfo: memFree=26658444/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=514992 CPUtime=3998.75 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 413318 0 0 0 399719 156 0 0 25 0 4 0 384597466 527351808 85212 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365286 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 128748 85212 392 112 0 123713 0 [pid=8229/tid=8230] ppid=8227 vsize=514992 CPUtime=991.99 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 115873 0 0 0 99160 39 0 0 25 0 4 0 384597467 527351808 85212 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=514992 CPUtime=1002.29 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 82479 0 0 0 100195 34 0 0 25 0 4 0 384597467 527351808 85212 33554432000 4194304 4650419 140734762564384 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=514992 CPUtime=1002.31 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 104607 0 0 0 100198 33 0 0 25 0 4 0 384597467 527351808 85212 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3998.75 Current children cumulated vsize (KiB) 514992 [startup+1062.3 s] /proc/loadavg: 8.21 8.04 7.52 9/323 8262 /proc/meminfo: memFree=26662628/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=515112 CPUtime=4238.15 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 421894 0 0 0 423653 162 0 0 25 0 4 0 384597466 527474688 83939 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 128778 83939 392 112 0 123743 0 [pid=8229/tid=8230] ppid=8227 vsize=515112 CPUtime=1051.39 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 115885 0 0 0 105100 39 0 0 25 0 4 0 384597467 527474688 83939 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=515112 CPUtime=1062.3 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 82514 0 0 0 106195 35 0 0 25 0 4 0 384597467 527474688 83939 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=515112 CPUtime=1062.31 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 107885 0 0 0 106196 35 0 0 25 0 4 0 384597467 527474688 83939 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4238.15 Current children cumulated vsize (KiB) 515112 [startup+1122.3 s] /proc/loadavg: 8.13 8.05 7.55 9/323 8263 /proc/meminfo: memFree=26638536/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=515220 CPUtime=4477.53 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 436170 0 0 0 447582 171 0 0 25 0 4 0 384597466 527585280 88140 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 128805 88140 392 112 0 123770 0 [pid=8229/tid=8230] ppid=8227 vsize=515220 CPUtime=1110.77 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 119275 0 0 0 111036 41 0 0 25 0 4 0 384597467 527585280 88140 33554432000 4194304 4650419 140734762564384 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=515220 CPUtime=1122.3 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 83015 0 0 0 112195 35 0 0 25 0 4 0 384597467 527585280 88140 33554432000 4194304 4650419 140734762564384 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=515220 CPUtime=1122.31 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 112937 0 0 0 112193 38 0 0 25 0 4 0 384597467 527585280 88140 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4477.53 Current children cumulated vsize (KiB) 515220 [startup+1182.3 s] /proc/loadavg: 8.09 8.05 7.58 9/323 8265 /proc/meminfo: memFree=26599316/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=580812 CPUtime=4716.93 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 447413 0 0 0 471515 178 0 0 25 0 4 0 384597466 594751488 91132 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 145203 91132 392 112 0 140168 0 [pid=8229/tid=8230] ppid=8227 vsize=580812 CPUtime=1170.17 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 123966 0 0 0 116973 44 0 0 25 0 4 0 384597467 594751488 91132 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=580812 CPUtime=1182.3 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 83015 0 0 0 118195 35 0 0 25 0 4 0 384597467 594751488 91132 33554432000 4194304 4650419 140734762564384 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=580812 CPUtime=1182.31 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 115365 0 0 0 118191 40 0 0 25 0 4 0 384597467 594751488 91132 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4716.93 Current children cumulated vsize (KiB) 580812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.2 s] /proc/loadavg: 7.17 7.85 7.53 5/314 8283 /proc/meminfo: memFree=26967312/32951124 swapFree=46575252/67111528 [pid=8229] ppid=8227 vsize=580868 CPUtime=4800.33 cores=1,3,5,7 /proc/8229/stat : 8229 (strangenight1-m) R 8227 8229 7660 0 -1 4202496 452490 0 0 0 479853 180 0 0 25 0 4 0 384597466 594808832 93527 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/8229/statm: 145217 93527 392 112 0 140182 0 [pid=8229/tid=8230] ppid=8227 vsize=580868 CPUtime=1190.87 cores=1,3,5,7 /proc/8229/task/8230/stat : 8230 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 125031 0 0 0 119042 45 0 0 25 0 4 0 384597467 594808832 93527 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=8229/tid=8231] ppid=8227 vsize=580868 CPUtime=1203.21 cores=1,3,5,7 /proc/8229/task/8231/stat : 8231 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 83015 0 0 0 120286 35 0 0 25 0 4 0 384597467 594808832 93527 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=8229/tid=8232] ppid=8227 vsize=580868 CPUtime=1203.23 cores=1,3,5,7 /proc/8229/task/8232/stat : 8232 (strangenight1-m) R 8227 8229 7660 0 -1 4202560 117326 0 0 0 120282 41 0 0 25 0 4 0 384597467 594808832 93527 33554432000 4194304 4650419 140734762564384 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.33 Current children cumulated vsize (KiB) 580868 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.23 CPU time (s): 4800.4 CPU user time (s): 4798.57 CPU system time (s): 1.82472 CPU usage (%): 398.958 Max. virtual memory (cumulated for all children) (KiB): 593572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.57 system time used= 1.82472 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 452491 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= 192 involuntary context switches= 34721 runsolver used 3.24451 second user time and 9.14461 second system time The end
Begin job on node107 at 2011-05-14 22:14:22 IDJOB=3368831 IDBENCH=82840 IDSOLVER=1846 FILE ID=node107/3368831-1305404062 RUNJOBID= node107-1305404047-8177 PBS_JOBID= 13324475 Free space on /tmp= 73428 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/medium/unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368831-1305404062/watcher-3368831-1305404062 -o /tmp/evaluation-result-3368831-1305404062/solver-3368831-1305404062 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368831-1305404062.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c6bf5481c82f3a24100e294aa3a73c9c RANDOM SEED=1102892261 node107.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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.67 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.829 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.829 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.829 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 : 5359.47 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.829 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.829 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: 32951124 kB MemFree: 27258076 kB Buffers: 126684 kB Cached: 924536 kB SwapCached: 9832 kB Active: 5343208 kB Inactive: 70492 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27258076 kB SwapTotal: 67111528 kB SwapFree: 46575252 kB Dirty: 12848 kB Writeback: 0 kB AnonPages: 4359332 kB Mapped: 19700 kB Slab: 146748 kB PageTables: 68932 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 65111036 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= 73428 MiB End job on node107 at 2011-05-14 22:34:27