| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | UNSAT | 1360.5 | 340.91 |
| Name | crafted/kullmann/VanDerWaerden/ VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf |
| MD5SUM | f20ed0313cfa494f86b5c8ef723973ee |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 36.1265 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 135 |
| Number of clauses | 5251 |
| Sum of the clauses size | 22611 |
| Maximum clause length | 12 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 4489 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 762 |
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-3366912-1305414794.cnf' 0.00/0.00 c -- header says num vars: 135 0.00/0.00 c -- header says num clauses: 5251 0.00/0.00 c -- clauses added: 0 learnts, 5251 normals, 0 xors 0.00/0.00 c -- vars added 135 0.00/0.00 c Parsing time: 0.00 s 0.00/0.00 c N st 0 0 135 5251 0 0 22611 0 no data no data 0.00/0.02 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.01 0.00/0.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 0.00/0.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.00/0.02 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.00/0.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 0.00/0.02 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 0.08/0.03 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 0.08/0.03 c Finding binary XORs T: 0.00 s found: 0 0.08/0.03 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.08/0.03 c calculated reachability. Time: 0.00 0.08/0.03 c Calc default polars - time: 0.00 s pos: 135 undec: 0 neg: 0 0.08/0.03 c ========================================================================================= 0.08/0.03 c types(t): F = full restart, N = normal restart 0.08/0.03 c types(t): S = simplification begin/end, E = solution found 0.08/0.03 c restart types(rt): st = static, dy = dynamic 0.08/0.03 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.08/0.03 c B st 0 0 135 5251 0 0 22611 0 no data no data 0.77/0.20 c N dy 15 6054 135 5251 0 3336 22611 51911 11.57 12.23 1.17/0.34 c N dy 28 10103 135 5251 0 7146 22611 116419 11.40 12.06 1.57/0.50 c N dy 35 14373 135 5251 0 7110 22611 108326 10.92 11.50 2.37/0.65 c N dy 43 18384 135 5251 0 5579 22611 79859 10.71 12.85 3.17/0.81 c N dy 67 22506 135 5251 0 9475 22611 146880 10.91 11.54 3.57/0.92 c F st 79 25001 135 5251 0 11836 22611 187402 11.00 10.32 3.98/1.01 c N st 83 27033 135 5251 0 7386 22611 104156 11.00 no data 4.39/1.12 c S st 85 30001 135 5251 0 10174 22611 148972 11.00 no data 4.39/1.15 c S st 85 30506 135 5251 0 10675 22611 158525 11.00 no data 4.39/1.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 4.39/1.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.00 4.39/1.15 c blocked clauses removed: 0 vars: 0 tried: 135 T: 0.00 s 4.39/1.15 c bin-w-bin subsume rem 0 bins time: 0.00 s 4.39/1.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4.39/1.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 4.39/1.15 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 4.39/1.15 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 4.39/1.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4.76/1.24 c lits-rem: 158 cl-subs: 1486 v-elim: 0 v-fix: 0 time: 0.08 s 5.16/1.30 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.06 5.16/1.30 c calculated reachability. Time: 0.00 5.16/1.30 c N dy 85 30506 135 5251 0 9189 22611 142639 11.00 no data 5.56/1.47 c N dy 101 34539 135 5251 0 12992 22611 204970 10.93 11.53 6.36/1.66 c N dy 119 38540 135 5251 0 9327 22611 132329 10.98 11.58 7.16/1.83 c N dy 133 42561 135 5251 0 13077 22611 193799 10.97 11.60 7.56/1.99 c S st 149 45759 135 5251 0 16095 22611 243565 10.99 no data 7.96/2.02 c S st 149 46263 135 5251 0 16587 22611 252651 10.99 no data 7.96/2.02 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 7.96/2.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 7.96/2.03 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 7.96/2.03 c bin-w-bin subsume rem 0 bins time: 0.00 s 7.96/2.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 7.96/2.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 7.96/2.03 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 7.96/2.03 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 7.96/2.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 8.37/2.19 c lits-rem: 217 cl-subs: 1907 v-elim: 0 v-fix: 0 time: 0.15 s 8.37/2.19 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 8.37/2.19 c vivif2 -- cl tried 14680 cl shrink 0 lits rem 0 time: 0.00 8.78/2.28 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.09 8.78/2.28 c calculated reachability. Time: 0.00 8.78/2.28 c N dy 149 46263 135 5251 0 14680 22611 230126 10.99 no data 9.54/2.49 c N dy 171 50598 135 5251 0 10417 22611 150246 11.02 11.61 10.34/2.69 c N dy 184 54902 135 5251 0 14476 22611 216986 10.99 11.62 11.54/2.94 c N dy 198 59748 135 5251 0 9676 22611 131092 10.93 11.58 12.35/3.12 c N dy 217 63805 135 5251 0 13517 22611 194459 10.97 12.23 13.18/3.33 c N dy 233 67874 135 5251 0 17324 22611 256116 10.96 12.20 13.53/3.42 c S st 241 69396 135 5251 0 18747 22611 279872 10.98 no data 13.53/3.45 c S st 241 69899 135 5251 0 19244 22611 289303 10.98 no data 13.53/3.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 13.53/3.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 13.53/3.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 13.53/3.45 c bin-w-bin subsume rem 0 bins time: 0.00 s 13.53/3.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 13.53/3.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 13.53/3.45 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 13.53/3.46 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 13.53/3.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 14.33/3.64 c lits-rem: 256 cl-subs: 1746 v-elim: 0 v-fix: 0 time: 0.18 s 14.33/3.64 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 14.33/3.64 c vivif2 -- cl tried 17498 cl shrink 0 lits rem 0 time: 0.00 14.73/3.74 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.10 14.73/3.74 c calculated reachability. Time: 0.00 14.73/3.74 c N dy 241 69899 135 5251 0 17498 22611 267409 10.98 no data 15.93/4.05 c N dy 271 75234 135 5251 0 12247 22611 168516 11.03 11.64 16.74/4.29 c N dy 291 80243 135 5251 0 16947 22611 245491 11.03 11.81 17.93/4.58 c N dy 305 85606 135 5251 0 21924 22611 324910 10.99 11.57 18.33/4.70 c F st 308 87500 135 5251 0 12494 22611 164570 10.97 10.49 19.53/4.95 c N dy 314 92691 135 5251 0 17365 22611 244270 10.97 no data 21.12/5.39 c N dy 345 100136 135 5251 0 24358 22611 357803 10.98 11.88 22.31/5.64 c S st 374 104850 135 5251 0 16616 22611 231228 11.01 no data 22.31/5.67 c S st 374 105357 135 5251 0 17114 22611 240392 11.01 no data 22.31/5.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 22.31/5.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.00 22.31/5.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 22.31/5.67 c bin-w-bin subsume rem 0 bins time: 0.00 s 22.31/5.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 22.31/5.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 22.31/5.67 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 22.31/5.68 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 22.31/5.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 22.71/5.77 c lits-rem: 133 cl-subs: 1047 v-elim: 0 v-fix: 0 time: 0.09 s 22.71/5.78 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 22.71/5.78 c vivif2 -- cl tried 16067 cl shrink 0 lits rem 0 time: 0.00 23.11/5.87 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.09 23.11/5.87 c calculated reachability. Time: 0.00 23.11/5.87 c N dy 374 105357 135 5251 0 16067 22611 228623 11.01 no data 25.12/6.31 c N dy 394 112862 135 5251 0 23039 22611 338198 10.97 11.58 26.70/6.75 c N dy 418 120249 135 5251 0 16891 22611 232814 10.95 11.57 29.10/7.31 c N dy 433 130273 135 5251 0 26235 22611 376163 10.86 11.45 31.09/7.82 c N dy 471 138680 135 5251 0 20096 22611 283020 10.86 17.57 33.90/8.57 c N dy 499 150254 135 5251 0 15962 22611 204122 10.82 11.50 35.48/8.98 c S st 532 158036 135 5251 0 23267 22611 321504 10.81 no data 35.88/9.01 c S st 532 158538 135 5251 0 23760 22611 330352 10.81 no data 35.88/9.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 35.88/9.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.00 35.88/9.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 35.88/9.02 c bin-w-bin subsume rem 0 bins time: 0.00 s 35.88/9.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 35.88/9.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 35.88/9.02 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 35.88/9.02 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 35.88/9.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 36.68/9.27 c lits-rem: 434 cl-subs: 2090 v-elim: 0 v-fix: 0 time: 0.23 s 36.68/9.27 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 36.68/9.27 c vivif2 -- cl tried 21670 cl shrink 0 lits rem 0 time: 0.00 37.08/9.39 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.12 37.08/9.39 c calculated reachability. Time: 0.00 37.08/9.39 c N dy 532 158538 135 5251 0 21670 22611 306566 10.81 no data 39.88/10.09 c N dy 572 168699 135 5251 0 31196 22611 457225 10.81 15.13 42.68/10.73 c N dy 597 179491 135 5251 0 25400 22611 346476 10.76 11.35 46.26/11.62 c N dy 654 192278 135 5251 0 20537 22611 264770 10.77 11.36 49.46/12.43 c N dy 713 204737 135 5251 0 32224 22611 453630 10.79 11.38 53.05/13.35 c N dy 773 218152 135 5251 0 27102 22611 365863 10.80 11.49 57.44/14.44 c N dy 828 232562 135 5251 0 21845 22611 275243 10.80 11.37 58.64/14.77 c S st 843 237807 135 5251 0 26769 22611 351759 10.79 8.73 59.04/14.80 c S st 843 238311 135 5251 0 27266 22611 361055 10.79 no data 59.04/14.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 59.04/14.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.01 59.04/14.81 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 59.04/14.81 c bin-w-bin subsume rem 0 bins time: 0.00 s 59.04/14.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 59.04/14.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 59.04/14.81 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 59.04/14.82 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 59.04/14.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 59.83/15.09 c lits-rem: 359 cl-subs: 2142 v-elim: 0 v-fix: 0 time: 0.26 s 59.83/15.09 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 59.83/15.09 c vivif2 -- cl tried 25124 cl shrink 0 lits rem 0 time: 0.00 60.64/15.23 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.14 60.64/15.23 c calculated reachability. Time: 0.00 60.64/15.23 c N dy 843 238311 135 5251 0 25124 22611 336805 10.79 no data 65.45/16.45 c N dy 890 253986 135 5251 0 20125 22611 246395 10.77 11.47 69.84/17.55 c N dy 958 270229 135 5251 0 35316 22611 483064 10.77 14.50 75.00/18.84 c N dy 1007 287628 135 5251 0 30995 22611 404124 10.73 11.31 80.98/20.30 c N dy 1074 306030 135 5251 0 26707 22611 336793 10.73 11.31 80.98/20.32 c F st 1077 306253 135 5251 0 26923 22611 340481 10.73 no data 86.98/21.90 c N dy 1147 325942 135 5251 0 22969 22611 276487 10.73 11.30 92.95/23.39 c N dy 1211 346152 135 5251 0 41904 22611 566993 10.72 11.41 96.95/24.32 c S st 1246 357468 135 5251 0 29078 22611 363737 10.71 no data 96.95/24.36 c S st 1246 357968 135 5251 0 29574 22611 372695 10.71 no data 96.95/24.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 96.95/24.37 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.01 96.95/24.37 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 96.95/24.37 c bin-w-bin subsume rem 0 bins time: 0.00 s 96.95/24.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 96.95/24.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 96.95/24.37 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 96.95/24.37 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.00 s 96.95/24.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 98.15/24.68 c lits-rem: 451 cl-subs: 2431 v-elim: 0 v-fix: 0 time: 0.30 s 98.15/24.68 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 98.15/24.68 c vivif2 -- cl tried 27143 cl shrink 0 lits rem 0 time: 0.00 98.94/24.83 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.15 98.94/24.83 c calculated reachability. Time: 0.00 98.94/24.83 c N dy 1246 357968 135 5251 0 27143 22611 348013 10.71 no data 105.73/26.59 c N dy 1303 380330 135 5251 0 47896 22611 659507 10.68 11.29 112.51/28.23 c N dy 1368 400925 135 5251 0 42951 22611 582199 10.67 11.41 120.10/30.12 c N dy 1435 421557 135 5251 0 37079 22611 487322 10.66 11.28 127.68/32.02 c N dy 1495 442458 135 5251 0 30375 22611 384304 10.64 11.22 134.47/33.73 c N dy 1549 462675 135 5251 0 49216 22611 667516 10.62 11.20 141.65/35.51 c N dy 1625 482821 135 5251 0 40932 22611 540493 10.62 11.31 149.63/37.59 c N dy 1705 503861 135 5251 0 32589 22611 402357 10.61 11.20 156.83/39.35 c N dy 1775 524039 135 5251 0 51422 22611 689322 10.61 11.17 162.03/40.61 c S st 1815 536953 135 5251 0 34542 22611 425407 10.60 10.57 162.03/40.66 c S st 1815 537459 135 5251 0 35036 22611 433991 10.60 no data 162.03/40.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 162.03/40.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.01 162.03/40.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 162.03/40.67 c bin-w-bin subsume rem 0 bins time: 0.00 s 162.03/40.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 162.03/40.67 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 162.03/40.67 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 162.03/40.67 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 162.03/40.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 163.60/41.05 c lits-rem: 459 cl-subs: 2369 v-elim: 0 v-fix: 0 time: 0.37 s 163.60/41.05 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 163.60/41.06 c vivif2 -- cl tried 32667 cl shrink 0 lits rem 0 time: 0.01 164.40/41.27 c asymm cl-useful: 0/5251/5251 lits-rem:0 time: 0.21 164.40/41.27 c calculated reachability. Time: 0.00 164.40/41.27 c N dy 1815 537459 135 5251 0 32667 22611 409365 10.60 no data 171.58/43.07 c N dy 1874 557899 135 5251 0 51564 22611 687734 10.58 11.25 179.59/45.10 c N dy 1957 578842 135 5251 0 41492 22611 528333 10.58 11.22 187.55/47.06 c N dy 2017 598913 135 5251 0 60193 22611 805739 10.57 12.27 194.72/48.85 c N dy 2083 618923 135 5251 0 48128 22611 621752 10.56 11.24 203.91/51.18 c N dy 2142 642070 135 5251 0 37865 22611 455360 10.54 11.20 212.69/53.30 c N dy 2210 664278 135 5251 0 58515 22611 757497 10.52 11.09 220.67/55.36 c N dy 2296 684320 135 5251 0 44727 22611 558680 10.52 11.49 229.45/57.56 c N dy 2368 704442 135 5251 0 63487 22611 840910 10.52 11.08 237.43/59.57 c N dy 2438 724502 135 5251 0 48665 22611 608622 10.51 11.45 246.61/61.88 c N dy 2521 744662 135 5251 0 67463 22611 887745 10.52 11.12 254.63/63.85 c N dy 2587 764718 135 5251 0 51678 22611 650046 10.51 14.93 263.77/66.11 c N dy 2644 785170 135 5251 0 70593 22611 925800 10.50 11.13 271.36/68.07 c N dy 2687 805719 135 5251 0 54406 22611 677503 10.49 11.14 271.77/68.12 c S st 2689 806188 135 5251 0 54835 22611 683799 10.49 9.12 271.77/68.19 c S st 2689 806690 135 5251 0 55335 22611 692886 10.49 no data 271.77/68.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 271.77/68.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.01 271.77/68.21 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 271.77/68.21 c bin-w-bin subsume rem 0 bins time: 0.00 s 272.19/68.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 272.19/68.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 272.19/68.21 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 272.19/68.21 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 272.19/68.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 278.54/69.81 c lits-rem: 1717 cl-subs: 6872 v-elim: 0 v-fix: 0 time: 1.57 s 278.54/69.81 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 278.54/69.82 c vivif2 -- cl tried 48463 cl shrink 0 lits rem 0 time: 0.01 279.34/70.02 c asymm cl-useful: 0/2669/5251 lits-rem:0 time: 0.20 279.34/70.02 c calculated reachability. Time: 0.00 279.34/70.02 c N dy 2689 806690 135 5251 0 48463 22611 618507 10.49 no data 288.52/72.35 c N dy 2762 827696 135 5251 0 67994 22611 908391 10.49 11.05 297.70/74.61 c N dy 2840 849602 135 5251 0 52257 22611 651249 10.48 11.13 307.67/77.16 c N dy 2929 870379 135 5251 0 71606 22611 933873 10.48 11.09 318.04/79.74 c N dy 2977 895838 135 5251 0 58103 22611 722859 10.46 11.03 328.85/82.50 c N dy 3046 918245 135 5251 0 40818 22611 470634 10.45 11.06 336.81/84.49 c N dy 3114 938247 135 5251 0 59333 22611 743693 10.44 11.04 347.18/87.06 c N dy 3159 958607 135 5251 0 39277 22611 443731 10.43 11.05 355.19/89.07 c N dy 3244 978952 135 5251 0 58174 22611 721940 10.43 11.04 365.14/91.57 c N dy 3299 999828 135 5251 0 77469 22611 997014 10.42 10.99 374.32/93.89 c N dy 3383 1020597 135 5251 0 56969 22611 699648 10.42 10.97 384.30/96.33 c N dy 3464 1040680 135 5251 0 75581 22611 970700 10.42 10.97 393.48/98.69 c N dy 3517 1061693 135 5251 0 54256 22611 647791 10.41 11.22 397.87/99.77 c F st 3544 1071876 135 5251 0 63709 22611 782836 10.40 8.94 405.45/101.62 c N dy 3574 1087877 135 5251 0 78595 22611 1003761 10.40 10.99 415.03/104.09 c N dy 3654 1108387 135 5251 0 55862 22611 667789 10.40 10.95 425.01/106.60 c N dy 3720 1130052 135 5251 0 75946 22611 955614 10.39 10.98 436.18/109.38 c N dy 3800 1151574 135 5251 0 53329 22611 625732 10.39 11.07 445.76/111.78 c N dy 3864 1172297 135 5251 0 72460 22611 900270 10.38 10.94 457.34/114.65 c N dy 3915 1193156 135 5251 0 48157 22611 550064 10.37 10.92 464.94/116.59 c S st 3981 1210035 135 5251 0 63865 22611 777951 10.37 10.16 465.35/116.68 c S st 3981 1210539 135 5251 0 64367 22611 787810 10.37 no data 465.35/116.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 465.71/116.71 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.02 465.71/116.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 465.71/116.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 465.71/116.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 465.71/116.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 465.71/116.71 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 465.71/116.72 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 465.71/116.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 477.29/119.60 c lits-rem: 2672 cl-subs: 7624 v-elim: 0 v-fix: 0 time: 2.85 s 477.29/119.60 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 477.29/119.61 c vivif2 -- cl tried 56743 cl shrink 0 lits rem 0 time: 0.02 478.12/119.90 c asymm cl-useful: 0/2582/5251 lits-rem:0 time: 0.28 478.12/119.90 c calculated reachability. Time: 0.00 478.12/119.90 c N dy 3981 1210539 135 5251 0 56743 22611 707058 10.37 no data 490.06/122.84 c N dy 4071 1231314 135 5251 0 76103 22611 989908 10.37 10.94 502.43/125.90 c N dy 4149 1252031 135 5251 0 51090 22611 596913 10.37 10.94 512.01/128.30 c N dy 4226 1272572 135 5251 0 70154 22611 870020 10.37 11.09 522.79/131.04 c N dy 4276 1292665 135 5251 0 88731 22611 1128051 10.36 10.99 532.77/133.54 c N dy 4369 1312753 135 5251 0 62143 22611 753882 10.36 11.01 542.74/136.04 c N dy 4425 1332799 135 5251 0 80582 22611 1014087 10.36 13.29 554.72/139.07 c N dy 4502 1352902 135 5251 0 52979 22611 615766 10.36 10.92 565.10/141.65 c N dy 4573 1372990 135 5251 0 71586 22611 881168 10.36 11.63 577.47/144.70 c N dy 4645 1393508 135 5251 0 90508 22611 1148214 10.35 10.93 587.87/147.34 c N dy 4710 1413925 135 5251 0 62253 22611 740597 10.35 10.95 598.21/149.99 c N dy 4798 1433933 135 5251 0 80775 22611 1006159 10.35 10.93 610.99/153.17 c N dy 4867 1454352 135 5251 0 51548 22611 580990 10.35 10.97 620.56/155.50 c N dy 4932 1475411 135 5251 0 70974 22611 860520 10.34 10.89 632.18/158.43 c N dy 5015 1495491 135 5251 0 89526 22611 1123462 10.34 10.89 644.13/161.41 c N dy 5094 1515921 135 5251 0 59417 22611 691975 10.34 10.91 654.13/163.97 c N dy 5167 1536074 135 5251 0 78092 22611 957839 10.34 11.04 665.66/166.89 c N dy 5215 1556153 135 5251 0 96627 22611 1211555 10.33 11.37 677.24/169.78 c N dy 5288 1577381 135 5251 0 66265 22611 781856 10.33 10.92 688.02/172.48 c N dy 5353 1597437 135 5251 0 84791 22611 1037545 10.33 10.90 702.00/175.95 c N dy 5428 1618162 135 5251 0 53132 22611 594810 10.32 10.88 711.19/178.27 c N dy 5482 1638258 135 5251 0 71562 22611 849647 10.32 12.06 722.75/181.15 c N dy 5535 1658450 135 5251 0 90200 22611 1110430 10.31 10.95 736.32/184.52 c N dy 5594 1679098 135 5251 0 57551 22611 654816 10.31 10.90 746.68/187.11 c N dy 5658 1699900 135 5251 0 76776 22611 926793 10.30 10.91 752.67/188.61 c S st 5695 1710541 135 5251 0 86523 22611 1060299 10.30 7.26 753.07/188.71 c S st 5695 1711046 135 5251 0 87020 22611 1068820 10.30 no data 753.07/188.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 753.07/188.74 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.03 753.07/188.74 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 753.07/188.74 c bin-w-bin subsume rem 0 bins time: 0.00 s 753.07/188.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 753.07/188.74 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 753.07/188.74 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 753.07/188.76 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 753.07/188.79 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 778.21/195.07 c lits-rem: 6161 cl-subs: 12943 v-elim: 0 v-fix: 0 time: 6.28 s 778.21/195.07 c vivif2 -- cl tried 5251 cl shrink 0 lits rem 0 time: 0.00 778.21/195.09 c vivif2 -- cl tried 74077 cl shrink 0 lits rem 0 time: 0.01 779.81/195.42 c asymm cl-useful: 0/1983/5251 lits-rem:0 time: 0.33 779.81/195.42 c calculated reachability. Time: 0.00 779.81/195.42 c N dy 5695 1711046 135 5251 0 74077 22611 929747 10.30 no data 794.97/199.21 c N dy 5788 1731089 135 5251 0 92659 22611 1195935 10.30 12.47 810.54/203.15 c N dy 5847 1753604 135 5251 0 61190 22611 707902 10.30 10.94 820.96/205.78 c N dy 5899 1773671 135 5251 0 79658 22611 960618 10.29 10.85 833.29/208.82 c N dy 5955 1794159 135 5251 0 98427 22611 1216713 10.28 10.90 846.06/212.00 c N dy 6020 1814647 135 5251 0 64234 22611 754395 10.28 10.86 857.24/214.80 c N dy 6094 1834768 135 5251 0 82767 22611 1009603 10.28 10.83 870.81/218.27 c N dy 6174 1855218 135 5251 0 101586 22611 1273775 10.28 10.83 884.38/221.64 c N dy 6234 1875456 135 5251 0 66040 22611 772350 10.27 10.89 895.94/224.54 c N dy 6323 1895927 135 5251 0 84991 22611 1039498 10.27 10.85 909.11/227.85 c N dy 6380 1916055 135 5251 0 103559 22611 1297119 10.27 10.85 921.52/230.98 c N dy 6425 1936097 135 5251 0 66583 22611 763260 10.26 11.36 933.07/233.83 c N dy 6507 1956398 135 5251 0 85357 22611 1024902 10.26 10.98 949.43/237.90 c N dy 6581 1980884 135 5251 0 107950 22611 1331995 10.26 10.80 962.20/241.12 c N dy 6662 2000948 135 5251 0 70307 22611 807898 10.26 13.22 973.38/243.92 c N dy 6718 2021004 135 5251 0 88743 22611 1060023 10.25 10.82 986.15/247.19 c N dy 6764 2041458 135 5251 0 107579 22611 1312759 10.25 10.86 1000.12/250.68 c N dy 6842 2063035 135 5251 0 70244 22611 792270 10.24 10.95 1011.69/253.50 c N dy 6901 2083160 135 5251 0 88723 22611 1040197 10.24 11.01 1025.26/256.93 c N dy 6964 2103577 135 5251 0 107511 22611 1295959 10.23 10.80 1038.43/260.24 c N dy 7024 2123759 135 5251 0 68145 22611 758603 10.23 10.78 1049.60/263.02 c N dy 7102 2143858 135 5251 2 86679 22611 1014252 10.23 11.15 1063.17/266.40 c N dy 7168 2164691 135 5251 2 105849 22611 1273852 10.22 10.80 1077.54/270.04 c N dy 7242 2185166 135 5251 2 65791 22611 718230 10.22 10.77 1088.34/272.73 c N dy 7277 2205695 135 5251 2 84623 22611 964893 10.21 10.83 1091.11/273.47 c S st 7285 2211047 135 5251 2 89538 22611 1029527 10.21 9.54 1091.51/273.57 c S st 7285 2211549 135 5251 2 90034 22611 1038118 10.21 no data 1091.51/273.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 1091.91/273.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.03 1091.91/273.61 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1091.91/273.61 c bin-w-bin subsume rem 0 bins time: 0.00 s 1091.91/273.61 c subs with bin: 5 lits-rem: 0 v-fix: 0 time: 0.00 s 1091.91/273.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 135 time: 0.00 s 1091.91/273.61 c Removed useless bin: 0 fixed: 0 props: 0.01M time: 0.00 s 1091.91/273.62 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.01 s 1092.31/273.79 c subs with bin: 682 lits-rem: 1346 v-fix: 0 time: 0.14 s 1116.66/279.88 c lits-rem: 10859 cl-subs: 14534 v-elim: 0 v-fix: 0 time: 6.09 s 1116.66/279.88 c vivif2 -- cl tried 5246 cl shrink 0 lits rem 0 time: 0.00 1117.06/279.90 c vivif2 -- cl tried 74818 cl shrink 0 lits rem 0 time: 0.02 1118.26/280.25 c asymm cl-useful: 0/1591/5246 lits-rem:0 time: 0.35 1118.26/280.25 c calculated reachability. Time: 0.00 1118.26/280.25 c N dy 7285 2211549 135 5246 2 74818 22600 871476 10.21 no data 1132.24/283.76 c N dy 7346 2231587 135 5246 2 93296 22600 1121881 10.21 10.79 1147.79/287.66 c N dy 7385 2252198 135 5246 2 112104 22600 1366664 10.20 10.74 1163.75/291.63 c N dy 7448 2272322 135 5246 2 71453 22600 790876 10.20 10.79 1175.32/294.54 c N dy 7512 2292420 135 5246 2 89844 22600 1035278 10.19 10.74 1189.31/298.03 c N dy 7567 2312607 135 5246 2 108312 22600 1279612 10.19 10.79 1198.51/300.34 c Finding binary XORs T: 0.00 s found: 0 1204.86/301.91 c N dy 7645 2333866 135 5246 5 67587 22600 730094 10.18 10.87 1214.04/304.26 c Finding binary XORs T: 0.00 s found: 0 1216.83/304.91 c N dy 7685 2355215 135 5246 7 87072 22600 980459 10.17 10.89 1229.60/308.15 c N dy 7716 2375390 135 5246 7 105597 22600 1220092 10.17 10.82 1245.57/312.11 c N dy 7754 2395641 135 5246 7 62905 22600 657028 10.16 10.81 1255.94/314.77 c N dy 7800 2416317 135 5246 9 81840 22600 908439 10.15 10.73 1268.75/317.94 c N dy 7841 2436424 135 5246 9 100348 22600 1146732 10.15 10.69 1275.50/319.63 c Finding binary XORs T: 0.00 s found: 0 1282.27/321.38 c N dy 7861 2456687 135 5246 14 118825 22600 1378045 10.14 10.72 1286.31/322.39 c Finding binary XORs T: 0.00 s found: 0 1297.45/325.18 c N dy 7875 2480984 135 5246 18 78709 22600 834222 10.12 10.71 1298.25/325.38 c Finding binary XORs T: 0.00 s found: 0 1309.42/328.10 c Finding binary XORs T: 0.00 s found: 0 1309.82/328.26 c N dy 7921 2501327 135 5246 24 97377 22600 1073477 10.11 10.67 1318.20/330.37 c Finding binary XORs T: 0.00 s found: 0 1323.79/331.71 c N dy 7957 2521996 134 5126 21 102789 22144 1162388 10.11 10.73 1333.36/334.13 c Finding binary XORs T: 0.00 s found: 0 1336.95/335.02 c N dy 7971 2542759 132 4887 17 55399 21244 567190 10.09 10.65 1342.14/336.39 c Finding binary XORs T: 0.00 s found: 0 1348.13/337.85 c N dy 7994 2564883 132 4887 21 75779 21244 821198 10.08 10.65 1353.32/339.14 c Finding binary XORs T: 0.00 s found: 0 1359.31/340.65 c Finding binary XORs T: 0.00 s found: 0 1360.11/340.89 c E dy 8002 2585478 115 4310 59 52567 19041 546720 10.06 4.39 1360.11/340.89 c Following stats are for *FIRST FINISHED THREAD ONLY* 1360.11/340.89 c num threads : 4 1360.11/340.89 c restarts : 8002 1360.11/340.89 c dynamic restarts : 7972 1360.11/340.89 c static restarts : 30 1360.11/340.89 c full restarts : 4 1360.11/340.89 c total simplify time : 0.40 1360.11/340.89 c learnts DL2 : 0 1360.11/340.89 c learnts size 2 : 115 1360.11/340.89 c learnts size 1 : 91 (67.41 % of vars) 1360.11/340.89 c filedLit time : 0.14 (0.04 % time) 1360.11/340.89 c v-elim SatELite : 0 (0.00 % vars) 1360.11/340.89 c SatELite time : 18.39 (5.40 % time) 1360.11/340.89 c v-elim xor : 0 (0.00 % vars) 1360.11/340.89 c xor elim time : 0.02 (0.01 % time) 1360.11/340.89 c num binary xor trees : 0 1360.11/340.89 c binxor trees' crown : 0 (nan leafs/tree) 1360.11/340.89 c bin xor find time : 0.00 1360.11/340.89 c OTF clause improved : 192328 (0.07 clauses/conflict) 1360.11/340.89 c OTF impr. size diff : 210440 (1.09 lits/clause) 1360.11/340.89 c OTF cl watch-shrink : 1898562 (0.73 clauses/conflict) 1360.11/340.89 c OTF cl watch-sh-lit : 5638616 (2.97 lits/clause) 1360.11/340.89 c tried to recurMin cls : 194172 (7.51 % of conflicts) 1360.11/340.89 c updated cache : 1076 (0.01 lits/tried recurMin) 1360.11/340.89 c unit cls recevied : 3 (3.30 % of units) 1360.11/340.89 c unit cls sent : 2 (2.20 % of units) 1360.11/340.89 c bin cls recevied : 32 1360.11/340.89 c bin cls sent : 37 1360.11/340.89 c clauses over max glue : 0 (0.00 % of all clauses) 1360.11/340.89 c conflicts : 2585478 (7589.77 / sec) 1360.11/340.89 c decisions : 3194701 (0.19 % random) 1360.11/340.89 c bogo-props : 65283006110 (191640659.21 / sec) 1360.11/340.89 c conflict literals : 36556244 (47.80 % deleted) 1360.11/340.89 c Memory used : 309.41 MB 1360.11/340.89 c single-thread CPU time : 340.65 s 1360.11/340.89 c all-threads sum CPU time : 1359.53 s 1360.11/340.89 s UNSATISFIABLE
No possible verification on an UNSAT instance
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-3366912-1305414794/watcher-3366912-1305414794 -o /tmp/evaluation-result-3366912-1305414794/solver-3366912-1305414794 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366912-1305414794.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: 3.42 4.41 5.92 2/274 19902 /proc/meminfo: memFree=25078668/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=273640 CPUtime=0 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 872 0 0 0 0 0 0 0 23 0 4 0 633894711 280207360 800 33554432000 4194304 4580107 140736699167248 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 68410 802 336 95 0 63392 0 [pid=19902/tid=19903] ppid=19900 vsize=281832 CPUtime=0 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 90 0 0 0 0 0 0 0 24 0 4 0 633894712 288595968 902 33554432000 4194304 4580107 140736699167248 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=281832 CPUtime=0 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 157 0 0 0 0 0 0 0 24 0 4 0 633894712 288595968 902 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=281832 CPUtime=0 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 151 0 0 0 0 0 0 0 24 0 4 0 633894712 288595968 902 33554432000 4194304 4580107 140736699167248 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.0278739 s] /proc/loadavg: 3.42 4.41 5.92 2/274 19902 /proc/meminfo: memFree=25078668/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=281828 CPUtime=0.08 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 1874 0 0 0 8 0 0 0 23 0 4 0 633894711 288591872 1802 33554432000 4194304 4580107 140736699167248 18446744073709551615 4416090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 70457 1752 371 95 0 65439 0 [pid=19902/tid=19903] ppid=19900 vsize=281828 CPUtime=0.01 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 419 0 0 0 1 0 0 0 24 0 4 0 633894712 288591872 1738 33554432000 4194304 4580107 140736699167248 18446744073709551615 4451613 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=281828 CPUtime=0.02 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 430 0 0 0 2 0 0 0 24 0 4 0 633894712 288591872 1738 33554432000 4194304 4580107 140736699167248 18446744073709551615 254261660007 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=281828 CPUtime=0.02 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 176 0 0 0 2 0 0 0 24 0 4 0 633894712 288591872 1739 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 281828 [startup+0.100861 s] /proc/loadavg: 3.42 4.41 5.92 2/274 19902 /proc/meminfo: memFree=25078668/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=282092 CPUtime=0.37 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 2138 0 0 0 37 0 0 0 23 0 4 0 633894711 288862208 1880 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 70523 1880 376 95 0 65505 0 [pid=19902/tid=19903] ppid=19900 vsize=282092 CPUtime=0.09 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 476 0 0 0 9 0 0 0 24 0 4 0 633894712 288862208 1880 33554432000 4194304 4580107 140736699167248 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=282092 CPUtime=0.09 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 498 0 0 0 9 0 0 0 24 0 4 0 633894712 288862208 1880 33554432000 4194304 4580107 140736699167248 18446744073709551615 4293138 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=282092 CPUtime=0.09 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 266 0 0 0 9 0 0 0 24 0 4 0 633894712 288862208 1880 33554432000 4194304 4580107 140736699167248 18446744073709551615 4316487 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.37 Current children cumulated vsize (KiB) 282092 [startup+0.300825 s] /proc/loadavg: 3.42 4.41 5.92 2/274 19902 /proc/meminfo: memFree=25078668/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=283948 CPUtime=1.17 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 3180 0 0 0 117 0 0 0 23 0 4 0 633894711 290762752 2391 33554432000 4194304 4580107 140736699167248 18446744073709551615 4295676 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 70987 2391 376 95 0 65969 0 [pid=19902/tid=19903] ppid=19900 vsize=283948 CPUtime=0.29 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 740 0 0 0 29 0 0 0 25 0 4 0 633894712 290762752 2391 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=283948 CPUtime=0.29 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 752 0 0 0 29 0 0 0 24 0 4 0 633894712 290762752 2391 33554432000 4194304 4580107 140736699167248 18446744073709551615 4322364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=283948 CPUtime=0.29 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 536 0 0 0 29 0 0 0 24 0 4 0 633894712 290762752 2391 33554432000 4194304 4580107 140736699167248 18446744073709551615 254261313647 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.17 Current children cumulated vsize (KiB) 283948 [startup+0.700755 s] /proc/loadavg: 3.42 4.41 5.92 2/274 19902 /proc/meminfo: memFree=25078668/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=284996 CPUtime=2.77 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 5185 0 0 0 277 0 0 0 25 0 4 0 633894711 291835904 2719 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 71249 2719 376 95 0 66231 0 [pid=19902/tid=19903] ppid=19900 vsize=284996 CPUtime=0.68 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 1256 0 0 0 68 0 0 0 25 0 4 0 633894712 291835904 2719 33554432000 4194304 4580107 140736699167248 18446744073709551615 4321069 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=284996 CPUtime=0.69 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 1251 0 0 0 69 0 0 0 25 0 4 0 633894712 291835904 2719 33554432000 4194304 4580107 140736699167248 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=284996 CPUtime=0.69 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 1026 0 0 0 69 0 0 0 25 0 4 0 633894712 291835904 2719 33554432000 4194304 4580107 140736699167248 18446744073709551615 4321351 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 284996 [startup+1.50062 s] /proc/loadavg: 3.42 4.41 5.92 10/286 19914 /proc/meminfo: memFree=25025880/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=285964 CPUtime=5.96 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 9838 0 0 0 595 1 0 0 25 0 4 0 633894711 292827136 5125 33554432000 4194304 4580107 140736699167248 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 71491 5125 378 95 0 66473 0 [pid=19902/tid=19903] ppid=19900 vsize=285964 CPUtime=1.47 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 2883 0 0 0 147 0 0 0 25 0 4 0 633894712 292827136 5126 33554432000 4194304 4580107 140736699167248 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=285964 CPUtime=1.49 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 1992 0 0 0 149 0 0 0 25 0 4 0 633894712 292827136 5126 33554432000 4194304 4580107 140736699167248 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=285964 CPUtime=1.49 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 1770 0 0 0 149 0 0 0 25 0 4 0 633894712 292827136 5127 33554432000 4194304 4580107 140736699167248 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.96 Current children cumulated vsize (KiB) 285964 [startup+3.10033 s] /proc/loadavg: 3.42 4.41 5.92 9/286 19914 /proc/meminfo: memFree=24997736/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=293316 CPUtime=12.35 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 18967 0 0 0 1232 3 0 0 25 0 4 0 633894711 300355584 10520 33554432000 4194304 4580107 140736699167248 18446744073709551615 4342256 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 73329 10520 378 95 0 68311 0 [pid=19902/tid=19903] ppid=19900 vsize=293316 CPUtime=3.06 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 5137 0 0 0 305 1 0 0 25 0 4 0 633894712 300355584 10520 33554432000 4194304 4580107 140736699167248 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=293316 CPUtime=3.08 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 4501 0 0 0 308 0 0 0 25 0 4 0 633894712 300355584 10520 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=293316 CPUtime=3.08 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 4218 0 0 0 308 0 0 0 25 0 4 0 633894712 300355584 10520 33554432000 4194304 4580107 140736699167248 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 12.35 Current children cumulated vsize (KiB) 293316 [startup+6.30076 s] /proc/loadavg: 3.78 4.47 5.93 9/286 19914 /proc/meminfo: memFree=24944420/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=298436 CPUtime=25.12 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 28585 0 0 0 2507 5 0 0 25 0 4 0 633894711 305598464 12315 33554432000 4194304 4580107 140736699167248 18446744073709551615 4293698 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 74609 12315 378 95 0 69591 0 [pid=19902/tid=19903] ppid=19900 vsize=298436 CPUtime=6.23 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 6962 0 0 0 622 1 0 0 25 0 4 0 633894712 305598464 12315 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=298436 CPUtime=6.29 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 7116 0 0 0 628 1 0 0 25 0 4 0 633894712 305598464 12315 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=298436 CPUtime=6.29 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 7106 0 0 0 628 1 0 0 25 0 4 0 633894712 305598464 12315 33554432000 4194304 4580107 140736699167248 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 298436 [startup+12.7006 s] /proc/loadavg: 4.12 4.53 5.94 9/286 19915 /proc/meminfo: memFree=24906972/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=299632 CPUtime=50.66 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 43542 0 0 0 5058 8 0 0 25 0 4 0 633894711 306823168 14492 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 74908 14492 378 95 0 69890 0 [pid=19902/tid=19903] ppid=19900 vsize=299632 CPUtime=12.57 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 10683 0 0 0 1256 1 0 0 25 0 4 0 633894712 306823168 14492 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=299632 CPUtime=12.69 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 11512 0 0 0 1267 2 0 0 25 0 4 0 633894712 306823168 14492 33554432000 4194304 4580107 140736699167248 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=299632 CPUtime=12.69 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 10171 0 0 0 1267 2 0 0 25 0 4 0 633894712 306823168 14492 33554432000 4194304 4580107 140736699167248 18446744073709551615 4295841 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 50.66 Current children cumulated vsize (KiB) 299632 [startup+25.5004 s] /proc/loadavg: 4.98 4.70 5.97 9/286 19915 /proc/meminfo: memFree=24873772/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=302284 CPUtime=101.73 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 67068 0 0 0 10162 11 0 0 25 0 4 0 633894711 309538816 16841 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 75571 16841 378 95 0 70553 0 [pid=19902/tid=19903] ppid=19900 vsize=302284 CPUtime=25.25 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 16890 0 0 0 2523 2 0 0 25 0 4 0 633894712 309538816 16841 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=302284 CPUtime=25.48 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 17004 0 0 0 2546 2 0 0 25 0 4 0 633894712 309538816 16841 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=302284 CPUtime=25.49 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 15627 0 0 0 2546 3 0 0 25 0 4 0 633894712 309538816 16841 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 101.73 Current children cumulated vsize (KiB) 302284 [startup+51.1008 s] /proc/loadavg: 6.08 4.98 6.03 9/286 19916 /proc/meminfo: memFree=24817920/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=305748 CPUtime=203.91 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 104521 0 0 0 20370 21 0 0 25 0 4 0 633894711 313085952 21211 33554432000 4194304 4580107 140736699167248 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 76437 21211 378 95 0 71419 0 [pid=19902/tid=19903] ppid=19900 vsize=305748 CPUtime=50.63 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 26692 0 0 0 5058 5 0 0 25 0 4 0 633894712 313085952 21211 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=305748 CPUtime=51.09 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 26554 0 0 0 5104 5 0 0 25 0 4 0 633894712 313085952 21211 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=305748 CPUtime=51.08 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 24150 0 0 0 5103 5 0 0 25 0 4 0 633894712 313085952 21211 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 203.91 Current children cumulated vsize (KiB) 305748 [startup+102.311 s] /proc/loadavg: 7.16 5.44 6.13 9/286 19917 /proc/meminfo: memFree=24719048/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=317852 CPUtime=408.28 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 164556 0 0 0 40792 36 0 0 25 0 4 0 633894711 325480448 28075 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 79463 28075 378 95 0 74445 0 [pid=19902/tid=19903] ppid=19900 vsize=317852 CPUtime=101.37 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 40453 0 0 0 10128 9 0 0 25 0 4 0 633894712 325480448 28075 33554432000 4194304 4580107 140736699167248 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=317852 CPUtime=102.29 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 41872 0 0 0 10221 8 0 0 25 0 4 0 633894712 325480448 28075 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=317852 CPUtime=102.29 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 39906 0 0 0 10221 8 0 0 25 0 4 0 633894712 325480448 28075 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 408.28 Current children cumulated vsize (KiB) 317852 [startup+162.301 s] /proc/loadavg: 7.76 5.92 6.25 9/286 19918 /proc/meminfo: memFree=24641960/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=333476 CPUtime=647.71 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 226006 0 0 0 64718 53 0 0 25 0 4 0 633894711 341479424 38769 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 83369 38769 378 95 0 78351 0 [pid=19902/tid=19903] ppid=19900 vsize=333476 CPUtime=160.83 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 55994 0 0 0 16069 14 0 0 25 0 4 0 633894712 341479424 38769 33554432000 4194304 4580107 140736699167248 18446744073709551615 4295856 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=333476 CPUtime=162.29 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 58252 0 0 0 16215 14 0 0 25 0 4 0 633894712 341479424 38769 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=333476 CPUtime=162.28 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 55067 0 0 0 16216 12 0 0 25 0 4 0 633894712 341479424 38769 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 647.71 Current children cumulated vsize (KiB) 333476 [startup+222.3 s] /proc/loadavg: 7.97 6.31 6.36 9/286 19920 /proc/meminfo: memFree=24612008/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=333236 CPUtime=887.16 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 275088 0 0 0 88645 71 0 0 25 0 4 0 633894711 341233664 45940 33554432000 4194304 4580107 140736699167248 18446744073709551615 4324767 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 83309 45940 380 95 0 78291 0 [pid=19902/tid=19903] ppid=19900 vsize=333236 CPUtime=220.27 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 68887 0 0 0 22009 18 0 0 25 0 4 0 633894712 341233664 45940 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=333236 CPUtime=222.28 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 68978 0 0 0 22211 17 0 0 25 0 4 0 633894712 341233664 45940 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=333236 CPUtime=222.28 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 67397 0 0 0 22211 17 0 0 25 0 4 0 633894712 341233664 45940 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 887.16 Current children cumulated vsize (KiB) 333236 [startup+282.301 s] /proc/loadavg: 8.10 6.65 6.47 9/286 19922 /proc/meminfo: memFree=24550840/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=352784 CPUtime=1126.63 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 312821 0 0 0 112580 83 0 0 25 0 4 0 633894711 361250816 51111 33554432000 4194304 4580107 140736699167248 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 88196 51111 380 95 0 83178 0 [pid=19902/tid=19903] ppid=19900 vsize=352784 CPUtime=279.74 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 79541 0 0 0 27952 22 0 0 25 0 4 0 633894712 361250816 51111 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=352784 CPUtime=282.29 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 79419 0 0 0 28208 21 0 0 25 0 4 0 633894712 361250816 51111 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=352784 CPUtime=282.29 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 75567 0 0 0 28209 20 0 0 25 0 4 0 633894712 361250816 51111 33554432000 4194304 4580107 140736699167248 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1126.63 Current children cumulated vsize (KiB) 352784 Solver just ended. Dumping a history of the last processes samples [startup+307.1 s] /proc/loadavg: 8.07 6.75 6.51 9/286 19922 /proc/meminfo: memFree=24549200/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=355196 CPUtime=1225.6 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 326148 0 0 0 122472 88 0 0 25 0 4 0 633894711 363720704 50863 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 88799 50863 380 95 0 83781 0 [pid=19902/tid=19903] ppid=19900 vsize=355196 CPUtime=304.31 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 83282 0 0 0 30408 23 0 0 25 0 4 0 633894712 363720704 50863 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=355196 CPUtime=307.09 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 83135 0 0 0 30687 22 0 0 25 0 4 0 633894712 363720704 50863 33554432000 4194304 4580107 140736699167248 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=355196 CPUtime=307.09 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 77892 0 0 0 30688 21 0 0 25 0 4 0 633894712 363720704 50863 33554432000 4194304 4580107 140736699167248 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1225.6 Current children cumulated vsize (KiB) 355196 [startup+319.901 s] /proc/loadavg: 8.12 6.83 6.54 9/286 19923 /proc/meminfo: memFree=24550812/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=330792 CPUtime=1276.7 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 332335 0 0 0 127579 91 0 0 25 0 4 0 633894711 338731008 49669 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 82698 49669 380 95 0 77680 0 [pid=19902/tid=19903] ppid=19900 vsize=330792 CPUtime=316.99 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 83480 0 0 0 31676 23 0 0 25 0 4 0 633894712 338731008 49669 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=330792 CPUtime=319.89 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 85196 0 0 0 31966 23 0 0 25 0 4 0 633894712 338731008 49669 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=330792 CPUtime=319.89 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 79876 0 0 0 31968 21 0 0 25 0 4 0 633894712 338731008 49669 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1276.7 Current children cumulated vsize (KiB) 330792 [startup+332.701 s] /proc/loadavg: 8.11 6.87 6.55 9/286 19923 /proc/meminfo: memFree=24534808/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=318512 CPUtime=1327.78 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 338537 0 0 0 132684 94 0 0 25 0 4 0 633894711 326156288 50359 33554432000 4194304 4580107 140736699167248 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 79628 50359 380 95 0 74610 0 [pid=19902/tid=19903] ppid=19900 vsize=318512 CPUtime=329.68 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 85305 0 0 0 32943 25 0 0 25 0 4 0 633894712 326156288 50359 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=318512 CPUtime=332.7 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 87189 0 0 0 33246 24 0 0 25 0 4 0 633894712 326156288 50359 33554432000 4194304 4580107 140736699167248 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=318512 CPUtime=332.69 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 80313 0 0 0 33247 22 0 0 25 0 4 0 633894712 326156288 50359 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1327.78 Current children cumulated vsize (KiB) 318512 [startup+335.901 s] /proc/loadavg: 8.10 6.89 6.56 9/286 19923 /proc/meminfo: memFree=24544604/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=318512 CPUtime=1340.54 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 338959 0 0 0 133960 94 0 0 25 0 4 0 633894711 326156288 48989 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 79628 48989 380 95 0 74610 0 [pid=19902/tid=19903] ppid=19900 vsize=318512 CPUtime=332.85 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 85305 0 0 0 33260 25 0 0 25 0 4 0 633894712 326156288 48989 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=318512 CPUtime=335.89 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 87459 0 0 0 33565 24 0 0 25 0 4 0 633894712 326156288 48989 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=318512 CPUtime=335.89 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 80313 0 0 0 33567 22 0 0 25 0 4 0 633894712 326156288 48989 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1340.54 Current children cumulated vsize (KiB) 318512 [startup+339.101 s] /proc/loadavg: 8.09 6.91 6.57 9/286 19923 /proc/meminfo: memFree=24548944/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=329204 CPUtime=1353.32 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 340013 0 0 0 135237 95 0 0 25 0 4 0 633894711 337104896 49960 33554432000 4194304 4580107 140736699167248 18446744073709551615 4304894 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 82301 49960 380 95 0 77283 0 [pid=19902/tid=19903] ppid=19900 vsize=329204 CPUtime=336.02 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 85305 0 0 0 33577 25 0 0 25 0 4 0 633894712 337104896 49960 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=329204 CPUtime=339.09 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 87732 0 0 0 33885 24 0 0 25 0 4 0 633894712 337104896 49960 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=329204 CPUtime=339.09 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 81080 0 0 0 33887 22 0 0 25 0 4 0 633894712 337104896 49960 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1353.32 Current children cumulated vsize (KiB) 329204 [startup+339.91 s] /proc/loadavg: 8.09 6.91 6.57 9/286 19923 /proc/meminfo: memFree=24553904/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=329204 CPUtime=1356.55 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 340135 0 0 0 135560 95 0 0 25 0 4 0 633894711 337104896 50082 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 82301 50082 380 95 0 77283 0 [pid=19902/tid=19903] ppid=19900 vsize=329204 CPUtime=336.82 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 85305 0 0 0 33657 25 0 0 25 0 4 0 633894712 337104896 50082 33554432000 4194304 4580107 140736699167248 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=329204 CPUtime=339.9 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 87771 0 0 0 33966 24 0 0 25 0 4 0 633894712 337104896 50082 33554432000 4194304 4580107 140736699167248 18446744073709551615 4305296 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=329204 CPUtime=339.9 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 81163 0 0 0 33968 22 0 0 25 0 4 0 633894712 337104896 50082 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1356.55 Current children cumulated vsize (KiB) 329204 [startup+340.7 s] /proc/loadavg: 8.09 6.91 6.57 9/286 19923 /proc/meminfo: memFree=24553904/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=316836 CPUtime=1359.71 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) R 19900 19902 19869 0 -1 4202496 340762 0 0 0 135876 95 0 0 25 0 4 0 633894711 324440064 48874 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 79209 48874 380 95 0 74191 0 [pid=19902/tid=19903] ppid=19900 vsize=316836 CPUtime=337.61 cores=1,3,5,7 /proc/19902/task/19903/stat : 19903 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 85305 0 0 0 33736 25 0 0 25 0 4 0 633894712 324440064 48874 33554432000 4194304 4580107 140736699167248 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=19902/tid=19904] ppid=19900 vsize=316836 CPUtime=340.69 cores=1,3,5,7 /proc/19902/task/19904/stat : 19904 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 88324 0 0 0 34045 24 0 0 25 0 4 0 633894712 324440064 48874 33554432000 4194304 4580107 140736699167248 18446744073709551615 4295735 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=19902/tid=19905] ppid=19900 vsize=316836 CPUtime=340.69 cores=1,3,5,7 /proc/19902/task/19905/stat : 19905 (strangenight2-m) R 19900 19902 19869 0 -1 4202560 81237 0 0 0 34047 22 0 0 25 0 4 0 633894712 324440064 48874 33554432000 4194304 4580107 140736699167248 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1359.71 Current children cumulated vsize (KiB) 316836 [startup+340.9 s] /proc/loadavg: 8.09 6.91 6.57 6/284 19923 /proc/meminfo: memFree=24696380/32951124 swapFree=67057896/67111528 [pid=19902] ppid=19900 vsize=0 CPUtime=1360.49 cores=1,3,5,7 /proc/19902/stat : 19902 (strangenight2-m) Z 19900 19902 19869 0 -1 4202524 340803 0 0 0 135953 96 0 0 25 0 1 0 633894711 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/19902/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1360.49 Current children cumulated vsize (KiB) 0 Child status: 20 Real time (s): 340.91 CPU time (s): 1360.5 CPU user time (s): 1359.53 CPU system time (s): 0.963853 CPU usage (%): 399.077 Max. virtual memory (cumulated for all children) (KiB): 406120 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1359.53 system time used= 0.963853 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 340803 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= 200 involuntary context switches= 9689 runsolver used 0.943856 second user time and 2.16667 second system time The end
Begin job on node140 at 2011-05-15 01:13:14 IDJOB=3366912 IDBENCH=83361 IDSOLVER=1844 FILE ID=node140/3366912-1305414794 RUNJOBID= node140-1305414794-19888 PBS_JOBID= 13324552 Free space on /tmp= 73488 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366912-1305414794/watcher-3366912-1305414794 -o /tmp/evaluation-result-3366912-1305414794/solver-3366912-1305414794 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366912-1305414794.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= f20ed0313cfa494f86b5c8ef723973ee RANDOM SEED=694261818 node140.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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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 : 5226.14 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.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 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.77 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.833 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.75 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.833 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.74 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.833 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.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 25078948 kB Buffers: 301064 kB Cached: 3730608 kB SwapCached: 8056 kB Active: 4881340 kB Inactive: 2679396 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25078948 kB SwapTotal: 67111528 kB SwapFree: 67057896 kB Dirty: 11692 kB Writeback: 0 kB AnonPages: 3526288 kB Mapped: 22496 kB Slab: 224452 kB PageTables: 21448 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 45562436 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= 73476 MiB End job on node140 at 2011-05-15 01:18:55