| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.22 | 1201.81 |
| Name | SAT05/crafted/sabharwal05/counting/php/unsat/ harder/php-040-039.shuffled-as.sat05-1194.cnf |
| MD5SUM | 8c84d9b9f2d75de33656119bc03a9afb |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 45.3841 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1560 |
| Number of clauses | 30460 |
| Sum of the clauses size | 62400 |
| Maximum clause length | 39 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 30420 |
| 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 | 40 |
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-3265191-1304128992.cnf' 0.00/0.00 c -- header says num vars: 1560 0.00/0.00 c -- header says num clauses: 30460 0.00/0.01 c -- clauses added: 0 learnts, 30460 normals, 0 xors 0.00/0.01 c -- vars added 1560 0.00/0.01 c Parsing time: 0.01 s 0.00/0.01 c N st 0 0 1560 40 30420 0 62400 0 no data no data 0.00/0.01 c asymm cl-useful: 0/40/40 lits-rem:0 time: 0.00 0.00/0.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 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.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.00/0.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1560 time: 0.00 s 0.00/0.03 c Removed useless bin: 0 fixed: 0 props: 0.16M time: 0.00 s 0.36/0.09 c lits-rem: 0 cl-subs: 0 v-elim: 40 v-fix: 0 time: 0.01 s 0.36/0.09 c Finding binary XORs T: 0.00 s found: 0 0.36/0.09 c Finding non-binary XORs: 0.00 s (found: 0, avg size: nan) 0.36/0.09 c calculated reachability. Time: 0.00 0.36/0.09 c Calc default polars - time: 0.00 s pos: 765 undec: 40 neg: 755 0.36/0.09 c ========================================================================================= 0.36/0.09 c types(t): F = full restart, N = normal restart 0.36/0.09 c types(t): S = simplification begin/end, E = solution found 0.36/0.09 c restart types(rt): st = static, dy = dynamic 0.36/0.09 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.36/0.09 c B st 0 0 1520 1537 28883 0 118560 0 no data no data 1.58/0.46 c N dy 9 5498 1520 1537 28883 2894 118560 491094 46.59 49.05 5.98/1.56 c N dy 12 13410 1520 1537 28883 6421 118560 1275458 43.95 46.45 11.97/3.07 c N dy 16 23604 1520 1537 28883 10680 118560 2219492 42.14 44.42 12.78/3.27 c F st 20 25001 1520 1537 28883 12028 118560 2513991 42.18 43.31 14.36/3.67 c N st 25 28299 1520 1537 28883 8729 118560 1557536 42.18 no data 15.56/3.91 c S st 26 30003 1520 1537 28883 10352 118560 1933784 42.18 no data 15.56/3.94 c S st 26 30503 1520 1537 28883 10846 118560 2013172 42.18 no data 15.56/3.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 15.56/3.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.6M T: 0.04 15.56/3.98 c blocked clauses removed: 0 vars: 0 tried: 1520 T: 0.00 s 15.56/3.98 c bin-w-bin subsume rem 0 bins time: 0.00 s 15.96/4.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 15.96/4.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 15.96/4.09 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 16.36/4.12 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 22.35/5.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.48 s 31.14/7.81 c lits-rem: 28 cl-subs: 175 v-elim: 0 v-fix: 0 time: 2.14 s 31.14/7.83 c asymm cl-useful: 0/1497/1537 lits-rem:0 time: 0.02 31.14/7.84 c calculated reachability. Time: 0.00 31.14/7.84 c N dy 26 30503 1520 1537 28883 10671 118560 1964122 42.18 no data 32.74/8.27 c N dy 31 34516 1520 1537 28883 14540 118560 2915716 42.02 44.70 35.54/8.98 c N dy 34 40603 1520 1537 28883 12764 118560 2475653 41.58 44.13 38.34/9.67 c N dy 36 45755 1520 1537 28883 9158 118560 1513709 41.35 41.20 38.34/9.67 c S st 36 45755 1520 1537 28883 9158 118560 1513709 41.35 41.20 38.74/9.70 c S st 36 46258 1520 1537 28883 9655 118560 1598806 41.35 no data 38.74/9.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 38.74/9.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.04 38.74/9.75 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 38.74/9.75 c bin-w-bin subsume rem 0 bins time: 0.00 s 39.15/9.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.11 s 39.15/9.86 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 39.15/9.86 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 39.15/9.88 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.02 s 45.52/11.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.56 s 48.34/12.16 c lits-rem: 10 cl-subs: 40 v-elim: 0 v-fix: 0 time: 0.67 s 48.34/12.16 c vivif2 -- cl tried 1537 cl shrink 0 lits rem 0 time: 0.00 48.34/12.18 c vivif2 -- cl tried 9615 cl shrink 0 lits rem 0 time: 0.02 48.72/12.21 c asymm cl-useful: 0/1537/1537 lits-rem:0 time: 0.02 48.72/12.21 c calculated reachability. Time: 0.00 48.72/12.21 c N dy 36 46258 1520 1537 28883 9615 118560 1585944 41.35 no data 51.92/13.08 c N dy 44 53043 1520 1537 28883 16209 118560 3347244 41.31 43.73 54.72/13.74 c N dy 50 57544 1520 1537 28883 10938 118560 1855039 41.19 43.36 57.51/14.47 c N dy 54 61617 1520 1537 28883 14853 118560 2981356 41.12 46.02 61.90/15.59 c N dy 67 67852 1520 1537 28883 20854 118560 4674592 41.14 43.40 63.10/15.85 c S st 72 69389 1520 1537 28883 11757 118560 2025205 41.13 37.00 63.10/15.88 c S st 72 69891 1520 1537 28883 12254 118560 2112783 41.13 no data 63.10/15.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 63.50/15.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.3M T: 0.04 63.50/15.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 63.50/15.94 c bin-w-bin subsume rem 0 bins time: 0.00 s 63.90/16.04 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.11 s 63.90/16.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 63.90/16.05 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 63.90/16.08 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.03 s 70.31/17.63 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.50 s 75.48/18.93 c lits-rem: 13 cl-subs: 34 v-elim: 0 v-fix: 0 time: 1.30 s 75.48/18.94 c vivif2 -- cl tried 1537 cl shrink 0 lits rem 0 time: 0.00 75.48/18.96 c vivif2 -- cl tried 12220 cl shrink 0 lits rem 0 time: 0.03 75.48/18.99 c asymm cl-useful: 0/1537/1537 lits-rem:0 time: 0.03 75.48/18.99 c calculated reachability. Time: 0.00 75.48/18.99 c N dy 72 69891 1520 1537 28883 12220 118560 2101644 41.13 no data 77.89/19.58 c N dy 86 74444 1520 1537 28883 16657 118560 3313165 41.14 43.33 88.27/22.17 c F st 89 87500 1520 1537 28883 17638 118560 3983250 40.82 39.15 88.27/22.17 c N st 89 87500 1520 1537 28883 17638 118560 3983250 40.82 39.15 93.87/23.52 c N dy 97 94268 1520 1537 28883 24220 118560 5991116 40.82 43.05 98.26/24.63 c N dy 101 100342 1520 1537 28883 17517 118560 3521589 40.74 42.91 101.85/25.52 c S st 118 104838 1520 1537 28883 21894 118560 4751245 40.81 no data 101.85/25.56 c S st 118 105340 1520 1537 28883 22385 118560 4843202 40.81 no data 101.85/25.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 102.25/25.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.7M T: 0.07 102.25/25.64 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 102.25/25.64 c bin-w-bin subsume rem 0 bins time: 0.00 s 102.65/25.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.11 s 102.65/25.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 102.65/25.76 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 103.05/25.82 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 110.64/27.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.80 s 142.60/35.77 c lits-rem: 39 cl-subs: 173 v-elim: 0 v-fix: 0 time: 7.98 s 142.60/35.77 c vivif2 -- cl tried 1537 cl shrink 0 lits rem 0 time: 0.00 143.00/35.83 c vivif2 -- cl tried 22212 cl shrink 0 lits rem 0 time: 0.07 143.00/35.88 c asymm cl-useful: 0/1537/1537 lits-rem:0 time: 0.05 143.00/35.88 c calculated reachability. Time: 0.00 143.00/35.88 c N dy 118 105340 1520 1537 28883 22212 118560 4777060 40.81 no data 147.80/37.00 c N dy 126 112407 1520 1537 28883 15449 118560 2735338 40.74 42.89 152.19/38.17 c N dy 134 120325 1520 1537 28883 23131 118560 5164268 40.68 42.84 159.78/40.08 c N dy 147 130267 1520 1537 28883 18235 118560 3553355 40.62 42.84 165.37/41.43 c N dy 164 139066 1520 1537 28883 26777 118560 5847774 40.60 43.05 172.97/43.31 c N dy 185 149710 1520 1537 28883 21482 118560 4001402 40.58 42.80 178.96/44.85 c S st 204 158010 1520 1537 28883 29555 118560 6216865 40.61 40.80 178.96/44.89 c S st 204 158514 1520 1537 28883 30049 118560 6307470 40.61 no data 179.36/44.91 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 179.36/44.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.3M T: 0.07 179.36/44.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 179.36/44.98 c bin-w-bin subsume rem 0 bins time: 0.00 s 179.78/45.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 179.78/45.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 179.78/45.09 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 180.18/45.16 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 186.94/46.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.55 s 240.08/60.18 c lits-rem: 34 cl-subs: 282 v-elim: 0 v-fix: 0 time: 13.30 s 240.08/60.19 c vivif2 -- cl tried 1537 cl shrink 0 lits rem 0 time: 0.00 240.48/60.28 c vivif2 -- cl tried 29767 cl shrink 0 lits rem 0 time: 0.09 240.88/60.33 c asymm cl-useful: 0/1537/1537 lits-rem:0 time: 0.06 240.88/60.34 c calculated reachability. Time: 0.00 240.88/60.34 c N dy 204 158514 1520 1537 28883 29767 118560 6210018 40.61 no data 246.86/61.89 c N dy 215 169852 1520 1537 28883 24291 118560 4711819 40.56 42.79 255.66/64.07 c N dy 246 180783 1520 1537 28883 17501 118560 2783720 40.63 42.80 264.05/66.17 c N dy 262 194044 1520 1537 28883 30375 118560 6402560 40.57 42.72 275.64/69.03 c N dy 286 208470 1520 1537 28883 25954 118560 5082093 40.58 42.73 292.81/73.34 c N dy 322 226146 1520 1537 28883 23670 118560 4294228 40.59 42.80 302.40/75.79 c S st 355 237773 1520 1537 28883 35038 118560 7266051 40.64 39.90 302.82/75.83 c S st 355 238277 1520 1537 28883 35533 118560 7354235 40.64 no data 302.82/75.85 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 303.22/75.91 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.4M T: 0.07 303.22/75.92 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 303.22/75.92 c bin-w-bin subsume rem 0 bins time: 0.00 s 303.59/76.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 303.59/76.02 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 303.59/76.02 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 303.99/76.11 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 310.78/77.85 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.54 s 383.48/96.06 c lits-rem: 16 cl-subs: 278 v-elim: 0 v-fix: 0 time: 18.21 s 383.48/96.06 c vivif2 -- cl tried 1537 cl shrink 0 lits rem 0 time: 0.00 383.89/96.16 c vivif2 -- cl tried 35255 cl shrink 0 lits rem 0 time: 0.10 384.29/96.21 c asymm cl-useful: 0/1537/1537 lits-rem:0 time: 0.05 384.29/96.21 c calculated reachability. Time: 0.00 384.29/96.21 c N dy 355 238277 1520 1537 28883 35255 118560 7260772 40.64 no data 393.07/98.45 c N dy 381 253589 1520 1537 28883 29756 118560 6118376 40.63 43.08 408.67/102.39 c N dy 411 274056 1520 1537 28883 28244 118560 5546222 40.60 42.84 422.63/105.88 c N dy 432 292618 1520 1537 28883 23890 118560 4296395 40.55 42.70 434.64/108.80 c F st 456 306250 1520 1537 28883 37114 118560 8276726 40.55 38.38 440.21/110.26 c N dy 462 311442 1520 1537 28883 42169 118560 9720454 40.55 no data 459.39/115.01 c N dy 495 331492 1520 1537 28883 38197 118560 8432518 40.53 42.68 479.76/120.15 c N dy 520 351744 1520 1537 28883 33616 118560 7214429 40.52 42.87 486.16/121.71 c S st 536 357415 1520 1537 28883 39103 118560 8722516 40.55 38.85 486.16/121.76 c S st 536 357917 1520 1537 28883 39597 118560 8810041 40.55 no data 486.16/121.78 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 486.56/121.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.5M T: 0.08 486.56/121.86 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 486.56/121.86 c bin-w-bin subsume rem 0 bins time: 0.00 s 486.95/121.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 486.95/121.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 486.95/121.97 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 487.37/122.07 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 494.95/123.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.66 s 590.81/147.90 c lits-rem: 30 cl-subs: 380 v-elim: 0 v-fix: 0 time: 23.94 s 590.81/147.90 c vivif2 -- cl tried 1537 cl shrink 0 lits rem 0 time: 0.00 591.21/148.02 c vivif2 -- cl tried 39217 cl shrink 0 lits rem 0 time: 0.12 591.21/148.08 c asymm cl-useful: 0/1537/1537 lits-rem:0 time: 0.06 591.21/148.08 c calculated reachability. Time: 0.00 591.21/148.08 c N dy 536 357917 1520 1537 28883 39217 118560 8668897 40.55 no data 603.59/151.10 c N dy 550 378341 1520 1537 28883 33862 118560 7016778 40.48 42.78 621.16/155.56 c N dy 600 398483 1520 1537 28883 27316 118560 4477708 40.52 42.72 638.35/159.80 c N dy 651 418740 1520 1537 28883 47086 118560 9982645 40.55 42.72 658.33/164.80 c N dy 701 439680 1520 1537 28883 40214 118560 7914854 40.56 42.71 681.50/170.67 c N dy 747 461343 1520 1537 28883 33123 118560 5583333 40.57 42.75 705.47/176.61 c N dy 805 481840 1520 1537 28883 53139 118560 11063840 40.61 42.93 728.64/182.43 c N dy 845 501991 1520 1537 28883 43459 118560 8313331 40.61 42.80 754.20/188.85 c N dy 891 522004 1520 1537 28883 32730 118560 5213464 40.63 45.80 769.77/192.78 c S st 934 536875 1520 1537 28883 47200 118560 9184926 40.63 39.55 770.17/192.84 c S st 934 537376 1520 1537 28883 47695 118560 9281124 40.63 no data 770.17/192.86 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 770.57/192.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 2.8M T: 0.08 770.57/192.95 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 770.57/192.95 c bin-w-bin subsume rem 0 bins time: 0.00 s 770.97/193.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 770.97/193.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 770.97/193.06 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 771.38/193.16 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.11 s 779.37/195.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.77 s 886.81/222.06 c lits-rem: 18 cl-subs: 290 v-elim: 0 v-fix: 0 time: 26.88 s 886.81/222.06 c vivif2 -- cl tried 1537 cl shrink 0 lits rem 0 time: 0.00 887.23/222.19 c vivif2 -- cl tried 47405 cl shrink 0 lits rem 0 time: 0.13 887.63/222.26 c asymm cl-useful: 0/1537/1537 lits-rem:0 time: 0.07 887.63/222.26 c calculated reachability. Time: 0.00 887.63/222.26 c N dy 934 537376 1520 1537 28883 47405 118560 9184589 40.63 no data 905.99/226.86 c N dy 977 562923 1520 1537 28883 41053 118560 7554392 40.60 42.96 927.57/232.27 c N dy 1042 583099 1520 1537 28883 60696 118560 13158759 40.65 42.85 948.75/237.55 c N dy 1084 603584 1520 1537 28883 48519 118560 9552020 40.65 42.87 975.52/244.26 c N dy 1114 625441 1520 1537 28883 36773 118560 6005100 40.63 42.83 1001.49/250.75 c N dy 1165 647842 1520 1537 28883 58600 118560 12419561 40.64 42.79 1025.85/256.88 c N dy 1208 667848 1520 1537 28883 43982 118560 7720047 40.65 45.86 1052.21/263.44 c N dy 1254 688569 1520 1537 28883 64158 118560 13303601 40.65 42.83 1077.78/269.80 c N dy 1314 708934 1520 1537 28883 49087 118560 8846755 40.68 42.87 1110.53/278.01 c N dy 1366 729113 1520 1537 28883 68733 118560 14486803 40.69 42.89 1139.68/285.36 c N dy 1411 749899 1520 1537 28883 52951 118560 10283114 40.69 42.90 1174.83/294.10 c N dy 1463 770288 1520 1537 28883 72759 118560 16151697 40.71 42.88 1199.99/300.44 c N dy 1528 790480 1520 1537 28883 55274 118560 10508399 40.74 43.02 1228.36/307.54 c S st 1568 806068 1520 1537 28883 70425 118560 14901556 40.75 39.19 1228.76/307.61 c S st 1568 806571 1520 1537 28883 70925 118560 15005179 40.75 no data 1228.76/307.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1229.16/307.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.8M T: 0.12 1229.16/307.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1229.16/307.77 c bin-w-bin subsume rem 0 bins time: 0.00 s 1229.56/307.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 1229.56/307.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 1229.56/307.87 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 1230.37/308.04 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.17 s 1238.77/310.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.69 s 1373.36/343.87 c lits-rem: 30 cl-subs: 572 v-elim: 0 v-fix: 0 time: 33.69 s 1373.36/343.87 c vivif2 -- cl tried 1537 cl shrink 0 lits rem 0 time: 0.00 1374.16/344.07 c vivif2 -- cl tried 70353 cl shrink 0 lits rem 0 time: 0.21 1374.56/344.17 c asymm cl-useful: 0/1537/1537 lits-rem:0 time: 0.09 1374.56/344.17 c calculated reachability. Time: 0.00 1374.56/344.17 c N dy 1568 806571 1520 1537 28883 70353 118560 14809049 40.75 no data 1394.12/349.04 c N dy 1615 830974 1520 1537 28883 56061 118560 11056135 40.74 42.90 1420.49/355.60 c N dy 1649 852195 1520 1537 28883 76643 118560 17092767 40.74 42.89 1437.67/359.96 c N dy 1680 872262 1520 1537 28883 57312 118560 10689434 40.73 43.17 1463.63/366.49 c N dy 1719 892325 1520 1537 28883 76774 118560 16345864 40.73 43.02 1487.59/372.48 c N dy 1774 912398 1520 1537 28883 56492 118560 10537537 40.75 48.63 1517.55/379.94 c N dy 1804 933560 1520 1537 28883 77100 118560 16673480 40.74 42.94 1539.92/385.56 c N dy 1853 953749 1520 1537 28883 55946 118560 10045000 40.74 43.02 1566.28/392.19 c N dy 1923 973778 1520 1537 28883 75479 118560 15522845 40.77 48.09 1593.05/398.89 c N dy 1965 993855 1520 1537 28883 53155 118560 9156905 40.78 43.32 1622.20/406.16 c N dy 2015 1013928 1520 1537 28883 72664 118560 14750617 40.79 42.97 1662.14/416.14 c N dy 2053 1038798 1520 1537 28883 53968 118560 9405638 40.78 42.96 1697.29/424.95 c N dy 2129 1058816 1520 1537 28883 73438 118560 14864027 40.81 51.49 1721.27/430.93 c F st 2169 1071875 1520 1537 28883 86177 118560 18555785 40.82 no data 1732.44/433.70 c N dy 2182 1079253 1520 1537 28883 49604 118560 7811994 40.83 43.25 1762.03/441.17 c N dy 2238 1101661 1520 1537 28883 71377 118560 14064959 40.84 43.04 1801.94/451.17 c N dy 2310 1121957 1520 1537 28883 46453 118560 6741425 40.87 43.03 1828.71/457.89 c N dy 2375 1142508 1520 1537 28883 66376 118560 12114124 40.90 43.13 1865.46/467.01 c N dy 2416 1162546 1520 1537 28883 85781 118560 17511112 40.90 43.23 1900.20/475.71 c N dy 2498 1182614 1520 1537 28883 59558 118560 10254901 40.92 51.59 1933.76/484.11 c N dy 2532 1204500 1520 1537 28883 80689 118560 16468173 40.92 43.08 1943.35/486.56 c S st 2549 1209856 1520 1537 28883 85885 118560 17896007 40.92 no data 1943.75/486.64 c S st 2549 1210359 1520 1537 28883 86379 118560 17994965 40.92 no data 1943.75/486.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 1944.55/486.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.8M T: 0.16 1944.55/486.84 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1944.55/486.84 c bin-w-bin subsume rem 0 bins time: 0.00 s 1944.95/486.95 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 1944.95/486.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 1944.95/486.95 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 1945.75/487.15 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.20 s 1954.15/489.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.64 s 2129.88/533.22 c lits-rem: 23 cl-subs: 811 v-elim: 0 v-fix: 0 time: 43.93 s 2129.88/533.22 c vivif2 -- cl tried 1537 cl shrink 0 lits rem 0 time: 0.00 2130.70/533.47 c vivif2 -- cl tried 85568 cl shrink 0 lits rem 0 time: 0.25 2131.10/533.57 c asymm cl-useful: 0/1537/1537 lits-rem:0 time: 0.11 2131.10/533.58 c calculated reachability. Time: 0.00 2131.10/533.58 c N dy 2549 1210359 1520 1537 28883 85568 118560 17716309 40.92 no data 2146.65/537.41 c N dy 2583 1231261 1520 1537 28883 59357 118560 10337205 40.91 43.09 2169.83/543.23 c N dy 2625 1251598 1520 1537 28883 79027 118560 16120342 40.91 43.17 2199.78/550.71 c N dy 2686 1271611 1520 1537 28883 50982 118560 7567311 40.93 43.16 2222.14/556.35 c N dy 2715 1293039 1520 1537 28883 71745 118560 13555554 40.92 43.12 2249.33/563.14 c N dy 2735 1313735 1520 1537 28883 91803 118560 19632766 40.90 43.08 2274.07/569.30 c N dy 2765 1334645 1520 1537 28883 63538 118560 11319087 40.90 43.10 2302.46/576.49 c N dy 2820 1354925 1520 1537 28883 83381 118560 16889710 40.91 43.15 2331.59/583.77 c N dy 2859 1375319 1520 1537 28883 53682 118560 8153185 40.91 43.09 2352.36/588.90 c N dy 2891 1395921 1520 1537 28883 73774 118560 13755091 40.90 43.11 2385.93/597.39 c N dy 2965 1415991 1520 1537 28883 93372 118560 19131243 40.93 56.27 2416.28/604.91 c N dy 3011 1437785 1520 1537 28883 63963 118560 10989255 40.93 43.41 2447.04/612.69 c N dy 3057 1458780 1520 1537 28883 84421 118560 16932036 40.94 43.19 2488.96/623.10 c N dy 3125 1479050 1520 1537 28883 52584 118560 7537594 40.95 43.23 2511.32/628.72 c N dy 3164 1499995 1520 1537 28883 72911 118560 13314987 40.95 43.13 2544.49/637.08 c N dy 3222 1520067 1520 1537 28883 92403 118560 18585767 40.96 45.14 2580.42/646.06 c N dy 3305 1540086 1520 1537 28883 59360 118560 9259073 40.98 43.17 2608.80/653.10 c N dy 3367 1560548 1520 1537 28883 79269 118560 14713540 40.99 43.17 2648.75/663.11 c N dy 3434 1581312 1520 1537 28883 99472 118560 20434589 41.01 43.34 2677.10/670.26 c N dy 3504 1601531 1520 1537 28883 65628 118560 10779612 41.04 43.46 2708.26/678.07 c N dy 3539 1621630 1520 1537 28883 85153 118560 16137669 41.04 43.23 2748.61/688.11 c N dy 3588 1641850 1520 1537 28883 104745 118560 21651022 41.04 43.23 2781.38/696.31 c N dy 3637 1662775 1520 1537 28883 70693 118560 12060523 41.04 43.28 2809.72/703.48 c N dy 3701 1682829 1520 1537 28883 90138 118560 17261015 41.06 52.13 2851.69/713.97 c N dy 3778 1703457 1520 1537 28883 110118 118560 22707272 41.09 43.63 2862.04/716.51 c S st 3802 1710360 1520 1537 28883 61504 118560 9427015 41.09 39.90 2862.04/716.57 c S st 3802 1710862 1520 1537 28883 62000 118560 9530679 41.09 no data 2862.44/716.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 2862.44/716.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.0M T: 0.09 2862.44/716.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2862.84/716.70 c bin-w-bin subsume rem 0 bins time: 0.00 s 2863.24/716.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 2863.24/716.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 2863.24/716.80 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 2863.65/716.92 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.12 s 2871.23/718.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.67 s 2973.49/744.41 c lits-rem: 5 cl-subs: 98 v-elim: 0 v-fix: 0 time: 25.57 s 2973.49/744.41 c vivif2 -- cl tried 1537 cl shrink 0 lits rem 0 time: 0.00 2973.89/744.54 c vivif2 -- cl tried 61902 cl shrink 0 lits rem 0 time: 0.14 2974.30/744.62 c asymm cl-useful: 0/1537/1537 lits-rem:0 time: 0.08 2974.30/744.63 c calculated reachability. Time: 0.00 2974.30/744.63 c N dy 3802 1710862 1520 1537 28883 61902 118560 9499059 41.09 no data 2992.65/749.23 c N dy 3839 1731890 1520 1537 28883 82296 118560 15521914 41.09 43.33 3021.82/756.54 c N dy 3885 1753200 1520 1537 28883 103059 118560 21826241 41.10 43.38 3047.38/762.93 c N dy 3919 1773305 1520 1537 28883 66102 118560 10870043 41.09 43.34 3073.34/769.44 c N dy 3957 1795038 1520 1537 28883 87154 118560 17195249 41.09 43.28 3114.49/779.76 c N dy 3996 1816483 1520 1537 28883 108016 118560 23612997 41.09 43.37 3149.63/788.51 c N dy 4043 1842399 1520 1537 28883 75889 118560 13528393 41.09 43.29 3186.77/797.83 c N dy 4097 1863272 1520 1537 28883 96179 118560 19432313 41.10 43.41 3237.91/810.64 c N dy 4166 1883806 1520 1537 28883 116175 118560 25226842 41.12 43.34 3261.06/816.47 c N dy 4212 1904277 1520 1537 28883 77861 118560 13951695 41.12 43.36 3305.00/827.42 c N dy 4270 1932406 1520 1537 28883 105069 118560 22379244 41.12 43.31 3344.95/837.46 c N dy 4342 1953974 1520 1537 28883 66896 118560 10592634 41.13 43.30 3373.71/844.68 c N dy 4382 1974048 1520 1537 28883 86370 118560 16219662 41.13 43.49 3416.46/855.33 c N dy 4454 1994117 1520 1537 28883 105913 118560 21899563 41.15 54.34 3462.01/866.71 c N dy 4508 2014193 1520 1537 28883 65195 118560 9987309 41.16 50.06 3489.15/873.59 c N dy 4537 2035243 1520 1537 28883 85711 118560 16066813 41.16 43.34 3524.30/882.31 c N dy 4568 2055411 1520 1537 28883 105184 118560 21625812 41.15 43.35 3566.64/892.98 c N dy 4624 2075464 1520 1537 28883 63435 118560 9378694 41.15 43.79 3592.19/899.31 c N dy 4662 2095857 1520 1537 28883 83199 118560 14978555 41.16 43.38 3627.34/908.16 c N dy 4702 2115932 1520 1537 28883 102628 118560 20365432 41.16 43.55 3679.27/921.13 c N dy 4783 2136108 1520 1537 28883 122167 118560 25627637 41.19 43.43 3712.44/929.48 c N dy 4848 2157006 1520 1537 28883 80435 118560 13759897 41.20 43.61 3751.98/939.40 c N dy 4916 2177090 1520 1537 28883 99879 118560 19090996 41.21 44.01 3807.89/953.38 c N dy 4991 2198530 1520 1537 28883 120702 118560 24599519 41.22 43.42 3831.46/959.30 c S st 5028 2210863 1520 1537 28883 69614 118560 10879419 41.22 no data 3831.85/959.36 c S st 5028 2211364 1520 1537 28883 70109 118560 10977181 41.22 no data 3831.85/959.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3832.65/959.50 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 3.6M T: 0.12 3832.65/959.51 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3832.65/959.51 c bin-w-bin subsume rem 0 bins time: 0.00 s 3833.05/959.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 3833.05/959.62 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 3833.05/959.62 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 3833.45/959.76 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.14 s 3841.03/961.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.66 s 3915.73/980.37 c lits-rem: 3 cl-subs: 146 v-elim: 0 v-fix: 0 time: 18.68 s 3915.73/980.37 c vivif2 -- cl tried 1537 cl shrink 0 lits rem 0 time: 0.00 3916.53/980.53 c vivif2 -- cl tried 69963 cl shrink 0 lits rem 0 time: 0.15 3916.93/980.61 c asymm cl-useful: 0/1537/1537 lits-rem:0 time: 0.08 3916.93/980.61 c calculated reachability. Time: 0.00 3916.93/980.61 c N dy 5028 2211364 1520 1537 28883 69963 118560 10927751 41.22 no data 3934.51/985.10 c N dy 5058 2233398 1520 1537 28883 91390 118560 17375921 41.22 43.49 3965.27/992.79 c N dy 5092 2257347 1520 1537 28883 114412 118560 24179815 41.21 43.61 3995.63/1000.38 c N dy 5148 2277483 1520 1537 28883 70035 118560 10920705 41.22 43.39 4014.40/1005.06 c N dy 5162 2297599 1520 1537 28883 89496 118560 16756407 41.21 43.59 4044.76/1012.62 c N dy 5201 2321966 1520 1537 28883 113194 118560 23752599 41.20 43.40 4078.71/1021.15 c N dy 5238 2343414 1520 1537 28883 69026 118560 10753769 41.20 43.69 4100.28/1026.55 c N dy 5278 2363448 1520 1537 28883 88483 118560 16251143 41.20 43.42 4133.04/1034.72 c N dy 5333 2384014 1520 1537 28883 108494 118560 21929953 41.20 43.44 4168.18/1043.50 c N dy 5350 2404456 1520 1537 28883 128311 118560 28681053 41.19 43.64 4200.93/1051.70 c N dy 5395 2424627 1520 1537 28883 81954 118560 14106709 41.19 43.37 4236.89/1060.76 c N dy 5432 2444715 1520 1537 28883 101437 118560 19928855 41.20 43.50 4284.05/1072.58 c N dy 5470 2465028 1520 1537 28883 121136 118560 25691172 41.20 43.46 4329.15/1083.83 c N dy 5528 2486754 1520 1537 28883 75277 118560 12096129 41.20 43.40 4353.94/1090.02 c N dy 5568 2506791 1520 1537 28883 94698 118560 17600231 41.20 46.42 4384.69/1097.73 c N dy 5607 2526869 1520 1537 28883 114181 118560 23045319 41.20 43.37 4426.21/1108.15 c N dy 5652 2546894 1520 1537 28883 133539 118560 28687599 41.20 47.38 4453.36/1114.91 c N dy 5690 2566999 1520 1537 28883 85180 118560 14789621 41.20 43.48 4485.32/1122.99 c N dy 5722 2588898 1520 1537 28883 106393 118560 20751573 41.20 43.56 4527.65/1133.50 c N dy 5766 2608921 1520 1537 28883 125816 118560 26371131 41.20 57.71 4568.39/1143.75 c N dy 5808 2629246 1520 1537 28883 76599 118560 12524426 41.20 43.42 4600.73/1151.86 c N dy 5872 2649850 1520 1537 28883 96761 118560 17890910 41.21 43.42 4650.66/1164.31 c N dy 5954 2669871 1520 1537 28883 116229 118560 23031776 41.23 57.63 4703.79/1177.67 c N dy 5992 2690509 1520 1537 28883 136299 118560 28817370 41.23 43.42 4740.16/1186.70 c N dy 6040 2711364 1520 1537 28883 86639 118560 15040256 41.23 40.10 4740.16/1186.70 c S st 6040 2711364 1520 1537 28883 86639 118560 15040256 41.23 40.10 4740.16/1186.78 c S st 6040 2711865 1520 1537 28883 87130 118560 15140495 41.23 no data 4740.57/1186.82 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.04 4740.98/1186.99 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 4.3M T: 0.17 4740.98/1186.99 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4740.98/1186.99 c bin-w-bin subsume rem 0 bins time: 0.00 s 4741.35/1187.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.10 s 4741.75/1187.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 1520 time: 0.00 s 4741.75/1187.10 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 4742.15/1187.29 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.18 s 4751.33/1189.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 1.87 s
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3265191-1304128992/watcher-3265191-1304128992 -o /tmp/evaluation-result-3265191-1304128992/solver-3265191-1304128992 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3265191-1304128992.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: 7.79 7.83 7.92 5/180 9610 /proc/meminfo: memFree=31110696/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=51212 CPUtime=0.01 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 410 0 0 0 1 0 0 0 25 0 4 0 524497706 52441088 349 33554432000 4194304 4627427 140735329735472 18446744073709551615 47445049259954 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 12803 349 299 106 0 7774 0 [pid=9610/tid=9611] ppid=9608 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 524497706 52441088 349 33554432000 4194304 4627427 140735329735472 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524497706 52441088 349 33554432000 4194304 4627427 140735329735472 18446744073709551615 47445049259954 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 524497706 52441088 349 33554432000 4194304 4627427 140735329735472 18446744073709551615 47445049259954 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.0952051 s] /proc/loadavg: 7.79 7.83 7.92 5/180 9610 /proc/meminfo: memFree=31110696/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=283092 CPUtime=0.36 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 4216 0 0 0 35 1 0 0 25 0 4 0 524497706 289886208 4124 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 70773 4124 384 106 0 65744 0 [pid=9610/tid=9611] ppid=9608 vsize=283092 CPUtime=0.08 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1030 0 0 0 8 0 0 0 25 0 4 0 524497706 289886208 4124 33554432000 4194304 4627427 140735329735472 18446744073709551615 210204690615 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=283092 CPUtime=0.08 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1020 0 0 0 8 0 0 0 25 0 4 0 524497706 289886208 4124 33554432000 4194304 4627427 140735329735472 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=283092 CPUtime=0.09 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 726 0 0 0 9 0 0 0 25 0 4 0 524497706 289886208 4124 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.36 Current children cumulated vsize (KiB) 283092 [startup+0.155535 s] /proc/loadavg: 7.79 7.83 7.92 5/180 9610 /proc/meminfo: memFree=31110696/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=283224 CPUtime=0.6 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 5029 0 0 0 59 1 0 0 25 0 4 0 524497706 290021376 4937 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 70806 4938 384 106 0 65777 0 [pid=9610/tid=9611] ppid=9608 vsize=283224 CPUtime=0.14 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1225 0 0 0 14 0 0 0 25 0 4 0 524497706 290021376 4938 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=283224 CPUtime=0.14 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1224 0 0 0 14 0 0 0 25 0 4 0 524497706 290021376 4938 33554432000 4194304 4627427 140735329735472 18446744073709551615 4321405 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=283224 CPUtime=0.15 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 922 0 0 0 15 0 0 0 25 0 4 0 524497706 290021376 4938 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 0.6 Current children cumulated vsize (KiB) 283224 [startup+0.300513 s] /proc/loadavg: 7.79 7.83 7.92 5/180 9610 /proc/meminfo: memFree=31110696/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=283504 CPUtime=1.18 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 6628 0 0 0 117 1 0 0 25 0 4 0 524497706 290308096 6536 33554432000 4194304 4627427 140735329735472 18446744073709551615 4330207 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 70876 6536 384 106 0 65847 0 [pid=9610/tid=9611] ppid=9608 vsize=283504 CPUtime=0.29 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1584 0 0 0 29 0 0 0 25 0 4 0 524497706 290308096 6536 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=283504 CPUtime=0.29 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1582 0 0 0 29 0 0 0 25 0 4 0 524497706 290308096 6536 33554432000 4194304 4627427 140735329735472 18446744073709551615 4333256 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=283504 CPUtime=0.29 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1360 0 0 0 29 0 0 0 25 0 4 0 524497706 290308096 6536 33554432000 4194304 4627427 140735329735472 18446744073709551615 4321648 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 283504 [startup+0.700446 s] /proc/loadavg: 7.79 7.83 7.92 5/180 9610 /proc/meminfo: memFree=31110696/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=292152 CPUtime=2.78 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 11735 0 0 0 276 2 0 0 25 0 4 0 524497706 299163648 7435 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309220 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 73038 7435 385 106 0 68009 0 [pid=9610/tid=9611] ppid=9608 vsize=292152 CPUtime=0.68 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 2857 0 0 0 68 0 0 0 25 0 4 0 524497706 299163648 7435 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=292152 CPUtime=0.69 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 2934 0 0 0 69 0 0 0 25 0 4 0 524497706 299163648 7436 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=292152 CPUtime=0.69 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 2508 0 0 0 69 0 0 0 25 0 4 0 524497706 299163648 7436 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.78 Current children cumulated vsize (KiB) 292152 [startup+1.50031 s] /proc/loadavg: 7.81 7.84 7.92 9/184 9614 /proc/meminfo: memFree=31082328/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=298620 CPUtime=5.98 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 20626 0 0 0 595 3 0 0 25 0 4 0 524497706 305786880 9423 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 74655 9423 385 106 0 69626 0 [pid=9610/tid=9611] ppid=9608 vsize=298620 CPUtime=1.48 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 5142 0 0 0 148 0 0 0 25 0 4 0 524497706 305786880 9423 33554432000 4194304 4627427 140735329735472 18446744073709551615 4327362 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=298620 CPUtime=1.49 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 5082 0 0 0 148 1 0 0 25 0 4 0 524497706 305786880 9423 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=298620 CPUtime=1.49 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 4872 0 0 0 149 0 0 0 25 0 4 0 524497706 305786880 9423 33554432000 4194304 4627427 140735329735472 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 5.98 Current children cumulated vsize (KiB) 298620 [startup+3.10105 s] /proc/loadavg: 7.81 7.84 7.92 9/184 9614 /proc/meminfo: memFree=31069184/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=305140 CPUtime=12.37 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 37484 0 0 0 1231 6 0 0 25 0 4 0 524497706 312463360 12077 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 76285 12077 386 106 0 71256 0 [pid=9610/tid=9611] ppid=9608 vsize=305140 CPUtime=3.08 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 10502 0 0 0 307 1 0 0 25 0 4 0 524497706 312463360 12077 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=305140 CPUtime=3.09 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 7732 0 0 0 308 1 0 0 25 0 4 0 524497706 312463360 12077 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=305140 CPUtime=3.09 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 10180 0 0 0 308 1 0 0 25 0 4 0 524497706 312463360 12078 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 12.37 Current children cumulated vsize (KiB) 305140 [startup+6.30052 s] /proc/loadavg: 7.82 7.84 7.92 9/184 9614 /proc/meminfo: memFree=30969408/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=361564 CPUtime=25.15 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 75516 0 0 0 2502 13 0 0 25 0 4 0 524497706 370241536 38721 33554432000 4194304 4627427 140735329735472 18446744073709551615 4428412 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 90391 38721 389 106 0 85362 0 [pid=9610/tid=9611] ppid=9608 vsize=361564 CPUtime=6.26 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 23079 0 0 0 623 3 0 0 25 0 4 0 524497706 370241536 38721 33554432000 4194304 4627427 140735329735472 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=361564 CPUtime=6.28 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 12550 0 0 0 627 1 0 0 25 0 4 0 524497706 370241536 38721 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=361564 CPUtime=6.29 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 17849 0 0 0 625 4 0 0 25 0 4 0 524497706 370241536 38721 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 361564 [startup+12.7005 s] /proc/loadavg: 7.83 7.84 7.92 9/184 9614 /proc/meminfo: memFree=30844100/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=612700 CPUtime=50.72 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 132774 0 0 0 5049 23 0 0 25 0 4 0 524497706 627404800 79629 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 153175 79629 389 106 0 148146 0 [pid=9610/tid=9611] ppid=9608 vsize=612700 CPUtime=12.63 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 45163 0 0 0 1255 8 0 0 25 0 4 0 524497706 627404800 79629 33554432000 4194304 4627427 140735329735472 18446744073709551615 4415761 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=612700 CPUtime=12.68 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 29219 0 0 0 1265 3 0 0 25 0 4 0 524497706 627404800 79629 33554432000 4194304 4627427 140735329735472 18446744073709551615 4427841 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=612700 CPUtime=12.69 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 27275 0 0 0 1263 6 0 0 25 0 4 0 524497706 627404800 79629 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 50.72 Current children cumulated vsize (KiB) 612700 [startup+25.5003 s] /proc/loadavg: 7.86 7.85 7.92 9/184 9615 /proc/meminfo: memFree=30585324/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=951004 CPUtime=101.85 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 232051 0 0 0 10146 39 0 0 25 0 4 0 524497706 973828096 129649 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 237751 129649 389 106 0 232722 0 [pid=9610/tid=9611] ppid=9608 vsize=951004 CPUtime=25.37 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 56544 0 0 0 2527 10 0 0 25 0 4 0 524497706 973828096 129649 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=951004 CPUtime=25.48 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 59370 0 0 0 2541 7 0 0 25 0 4 0 524497706 973828096 129649 33554432000 4194304 4627427 140735329735472 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=951004 CPUtime=25.48 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 60172 0 0 0 2538 10 0 0 25 0 4 0 524497706 973828096 129649 33554432000 4194304 4627427 140735329735472 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 101.85 Current children cumulated vsize (KiB) 951004 [startup+51.1011 s] /proc/loadavg: 7.97 7.88 7.92 9/184 9616 /proc/meminfo: memFree=30398780/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=1062792 CPUtime=204.12 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 342411 0 0 0 20350 62 0 0 25 0 4 0 524497706 1088299008 175201 33554432000 4194304 4627427 140735329735472 18446744073709551615 4427394 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 265698 175201 389 106 0 260669 0 [pid=9610/tid=9611] ppid=9608 vsize=1062792 CPUtime=50.83 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 79304 0 0 0 5067 16 0 0 25 0 4 0 524497706 1088299008 175201 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=1062792 CPUtime=51.08 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 86568 0 0 0 5095 13 0 0 25 0 4 0 524497706 1088299008 175201 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=1062792 CPUtime=51.09 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 90090 0 0 0 5094 15 0 0 25 0 4 0 524497706 1088299008 175201 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 204.12 Current children cumulated vsize (KiB) 1062792 [startup+102.307 s] /proc/loadavg: 8.19 7.95 7.95 9/184 9620 /proc/meminfo: memFree=30252496/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=1100536 CPUtime=408.67 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 599158 0 0 0 40758 109 0 0 25 0 4 0 524497706 1126948864 204023 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 275134 204023 389 106 0 270105 0 [pid=9610/tid=9611] ppid=9608 vsize=1100536 CPUtime=101.78 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 162785 0 0 0 10144 34 0 0 25 0 4 0 524497706 1126948864 204023 33554432000 4194304 4627427 140735329735472 18446744073709551615 4330994 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=1100536 CPUtime=102.28 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 152180 0 0 0 10205 23 0 0 25 0 4 0 524497706 1126948864 204023 33554432000 4194304 4627427 140735329735472 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=1100536 CPUtime=102.28 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 144666 0 0 0 10202 26 0 0 25 0 4 0 524497706 1126948864 204023 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 408.67 Current children cumulated vsize (KiB) 1100536 [startup+162.301 s] ################ # More data... # ################ [pid=9610] ppid=9608 vsize=2653404 CPUtime=2805.32 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 3056320 0 0 0 279921 611 0 0 25 0 4 0 524497706 2717085696 457577 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 663351 457577 389 106 0 658322 0 [pid=9610/tid=9611] ppid=9608 vsize=2653404 CPUtime=698.69 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 731608 0 0 0 69718 151 0 0 25 0 4 0 524497706 2717085696 457577 33554432000 4194304 4627427 140735329735472 18446744073709551615 4428125 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=2653404 CPUtime=702.2 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 735911 0 0 0 70076 144 0 0 25 0 4 0 524497706 2717085696 457577 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=2653404 CPUtime=702.21 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 847162 0 0 0 70047 174 0 0 25 0 4 0 524497706 2717085696 457577 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2805.32 Current children cumulated vsize (KiB) 2653404 [startup+762.307 s] /proc/loadavg: 8.13 8.04 7.97 9/184 9667 /proc/meminfo: memFree=28374756/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=2702632 CPUtime=3045 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 3285392 0 0 0 303845 655 0 0 25 0 4 0 524497706 2767495168 465882 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 675658 465882 389 106 0 670629 0 [pid=9610/tid=9611] ppid=9608 vsize=2702632 CPUtime=758.37 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 808065 0 0 0 75671 166 0 0 25 0 4 0 524497706 2767495168 465882 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=2702632 CPUtime=762.2 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 785247 0 0 0 76065 155 0 0 25 0 4 0 524497706 2767495168 465882 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=2702632 CPUtime=762.21 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 909517 0 0 0 76035 186 0 0 25 0 4 0 524497706 2767495168 465882 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3045 Current children cumulated vsize (KiB) 2702632 [startup+822.301 s] /proc/loadavg: 8.11 8.05 7.98 9/184 9669 /proc/meminfo: memFree=28047600/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=3239016 CPUtime=3284.63 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 3519020 0 0 0 327749 714 0 0 25 0 4 0 524497706 3316752384 545550 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 809754 545550 389 106 0 804725 0 [pid=9610/tid=9611] ppid=9608 vsize=3239016 CPUtime=818.04 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 863260 0 0 0 81621 183 0 0 25 0 4 0 524497706 3316752384 545550 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=3239016 CPUtime=822.19 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 853486 0 0 0 82056 163 0 0 25 0 4 0 524497706 3316752384 545550 33554432000 4194304 4627427 140735329735472 18446744073709551615 4428111 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=3239016 CPUtime=822.19 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 960744 0 0 0 82017 202 0 0 25 0 4 0 524497706 3316752384 545550 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3284.63 Current children cumulated vsize (KiB) 3239016 [startup+882.301 s] /proc/loadavg: 8.10 8.05 7.98 9/184 9671 /proc/meminfo: memFree=27996072/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=3063032 CPUtime=3524.3 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 3743798 0 0 0 351670 760 0 0 25 0 4 0 524497706 3136544768 533620 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 765758 533620 389 106 0 760729 0 [pid=9610/tid=9611] ppid=9608 vsize=3063032 CPUtime=877.72 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 915974 0 0 0 87576 196 0 0 25 0 4 0 524497706 3136544768 533620 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=3063032 CPUtime=882.2 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 919272 0 0 0 88045 175 0 0 25 0 4 0 524497706 3136544768 533620 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=3063032 CPUtime=882.19 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1012026 0 0 0 88006 213 0 0 25 0 4 0 524497706 3136544768 533620 33554432000 4194304 4627427 140735329735472 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3524.3 Current children cumulated vsize (KiB) 3063032 [startup+942.301 s] /proc/loadavg: 8.03 8.04 7.98 9/184 9673 /proc/meminfo: memFree=27967880/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=3369128 CPUtime=3763.95 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 3959940 0 0 0 375584 811 0 0 25 0 4 0 524497706 3449987072 559737 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 842282 559737 389 106 0 837253 0 [pid=9610/tid=9611] ppid=9608 vsize=3369128 CPUtime=937.4 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 955010 0 0 0 93538 202 0 0 25 0 4 0 524497706 3449987072 559737 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=3369128 CPUtime=942.18 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 979032 0 0 0 94028 190 0 0 25 0 4 0 524497706 3449987072 559737 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=3369128 CPUtime=942.18 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1078073 0 0 0 93987 231 0 0 25 0 4 0 524497706 3449987072 559738 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3763.95 Current children cumulated vsize (KiB) 3369128 [startup+1002.3 s] /proc/loadavg: 8.01 8.03 7.98 9/184 9674 /proc/meminfo: memFree=27895796/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=3401816 CPUtime=4003.61 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 4191100 0 0 0 399502 859 0 0 25 0 4 0 524497706 3483459584 567289 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 850454 567289 389 106 0 845425 0 [pid=9610/tid=9611] ppid=9608 vsize=3401816 CPUtime=997.09 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1020494 0 0 0 99494 215 0 0 25 0 4 0 524497706 3483459584 567289 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=3401816 CPUtime=1002.17 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1036940 0 0 0 100015 202 0 0 25 0 4 0 524497706 3483459584 567289 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=3401816 CPUtime=1002.16 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1138977 0 0 0 99972 244 0 0 25 0 4 0 524497706 3483459584 567289 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4003.61 Current children cumulated vsize (KiB) 3401816 [startup+1062.3 s] /proc/loadavg: 8.00 8.02 7.98 9/184 9675 /proc/meminfo: memFree=27828924/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=3474312 CPUtime=4243.28 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 4405125 0 0 0 423420 908 0 0 25 0 4 0 524497706 3557695488 578756 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 868578 578756 389 106 0 863549 0 [pid=9610/tid=9611] ppid=9608 vsize=3474312 CPUtime=1056.78 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1075377 0 0 0 105449 229 0 0 25 0 4 0 524497706 3557695488 578756 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=3474312 CPUtime=1062.17 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1073160 0 0 0 106008 209 0 0 25 0 4 0 524497706 3557695488 578756 33554432000 4194304 4627427 140735329735472 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=3474312 CPUtime=1062.16 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1197040 0 0 0 105960 256 0 0 25 0 4 0 524497706 3557695488 578756 33554432000 4194304 4627427 140735329735472 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4243.28 Current children cumulated vsize (KiB) 3474312 [startup+1122.3 s] /proc/loadavg: 8.04 8.03 7.99 9/184 9677 /proc/meminfo: memFree=27699908/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=3502608 CPUtime=4482.93 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 4594722 0 0 0 447344 949 0 0 25 0 4 0 524497706 3586670592 590714 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 875652 590714 389 106 0 870623 0 [pid=9610/tid=9611] ppid=9608 vsize=3502608 CPUtime=1116.44 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1128036 0 0 0 111403 241 0 0 25 0 4 0 524497706 3586670592 590714 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=3502608 CPUtime=1122.16 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1111156 0 0 0 112000 216 0 0 25 0 4 0 524497706 3586670592 590714 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=3502608 CPUtime=1122.16 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1238044 0 0 0 111950 266 0 0 25 0 4 0 524497706 3586670592 590714 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4482.93 Current children cumulated vsize (KiB) 3502608 [startup+1182.3 s] /proc/loadavg: 8.01 8.02 7.99 9/184 9679 /proc/meminfo: memFree=27616056/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=3373452 CPUtime=4722.58 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 4820390 0 0 0 471258 1000 0 0 25 0 4 0 524497706 3454414848 600093 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 843363 600093 389 106 0 838334 0 [pid=9610/tid=9611] ppid=9608 vsize=3373452 CPUtime=1176.13 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1179570 0 0 0 117364 249 0 0 25 0 4 0 524497706 3454414848 600093 33554432000 4194304 4627427 140735329735472 18446744073709551615 4427411 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=3373452 CPUtime=1182.15 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1174241 0 0 0 117983 232 0 0 25 0 4 0 524497706 3454414848 600093 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=3373452 CPUtime=1182.14 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1298745 0 0 0 117933 281 0 0 25 0 4 0 524497706 3454414848 600093 33554432000 4194304 4627427 140735329735472 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4722.58 Current children cumulated vsize (KiB) 3373452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.01 8.02 7.99 9/184 9679 /proc/meminfo: memFree=27585404/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=3609840 CPUtime=4800.09 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 4856697 0 0 0 478997 1012 0 0 25 0 4 0 524497706 3696476160 606147 33554432000 4194304 4627427 140735329735472 18446744073709551615 4420154 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 902460 606147 389 106 0 897431 0 [pid=9610/tid=9611] ppid=9608 vsize=3609840 CPUtime=1195.44 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1179570 0 0 0 119295 249 0 0 25 0 4 0 524497706 3696476160 606149 33554432000 4194304 4627427 140735329735472 18446744073709551615 4427906 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=3609840 CPUtime=1201.56 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1197856 0 0 0 119917 239 0 0 25 0 4 0 524497706 3696476160 606149 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=3609840 CPUtime=1201.55 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1307441 0 0 0 119870 285 0 0 25 0 4 0 524497706 3696476160 606149 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.09 Current children cumulated vsize (KiB) 3609840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.7 s] /proc/loadavg: 8.01 8.02 7.99 9/184 9679 /proc/meminfo: memFree=27585404/32951124 swapFree=67107188/67111528 [pid=9610] ppid=9608 vsize=3609840 CPUtime=4800.09 cores=1,3,5,7 /proc/9610/stat : 9610 (strangenight2-m) R 9608 9610 8981 0 -1 4202496 4856697 0 0 0 478997 1012 0 0 25 0 4 0 524497706 3696476160 606147 33554432000 4194304 4627427 140735329735472 18446744073709551615 4420154 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/9610/statm: 902460 606147 389 106 0 897431 0 [pid=9610/tid=9611] ppid=9608 vsize=3609840 CPUtime=1195.44 cores=1,3,5,7 /proc/9610/task/9611/stat : 9611 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1179570 0 0 0 119295 249 0 0 25 0 4 0 524497706 3696476160 606149 33554432000 4194304 4627427 140735329735472 18446744073709551615 4427906 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=9610/tid=9612] ppid=9608 vsize=3609840 CPUtime=1201.56 cores=1,3,5,7 /proc/9610/task/9612/stat : 9612 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1197856 0 0 0 119917 239 0 0 25 0 4 0 524497706 3696476160 606149 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=9610/tid=9613] ppid=9608 vsize=3609840 CPUtime=1201.55 cores=1,3,5,7 /proc/9610/task/9613/stat : 9613 (strangenight2-m) R 9608 9610 8981 0 -1 4202560 1307441 0 0 0 119870 285 0 0 25 0 4 0 524497706 3696476160 606149 33554432000 4194304 4627427 140735329735472 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 4800.09 Current children cumulated vsize (KiB) 3609840 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.81 CPU time (s): 4800.22 CPU user time (s): 4790 CPU system time (s): 10.2144 CPU usage (%): 399.417 Max. virtual memory (cumulated for all children) (KiB): 3657184 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4790 system time used= 10.2144 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4856702 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= 1638 involuntary context switches= 32913 runsolver used 1.79973 second user time and 4.34234 second system time The end
Begin job on node130 at 2011-04-30 04:03:12 IDJOB=3265191 IDBENCH=85456 IDSOLVER=1586 FILE ID=node130/3265191-1304128992 RUNJOBID= node130-1304128907-9000 PBS_JOBID= 13170785 Free space on /tmp= 72696 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt BENCH NAME= SAT05/crafted/sabharwal05/counting/php/unsat/harder/php-040-039.shuffled-as.sat05-1194.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265191-1304128992/watcher-3265191-1304128992 -o /tmp/evaluation-result-3265191-1304128992/solver-3265191-1304128992 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3265191-1304128992.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 8c84d9b9f2d75de33656119bc03a9afb RANDOM SEED=1286798082 node130.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.838 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.67 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.838 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.81 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.838 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.838 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.838 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.838 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.81 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 31110976 kB Buffers: 171328 kB Cached: 1222300 kB SwapCached: 1596 kB Active: 212400 kB Inactive: 1352140 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31110976 kB SwapTotal: 67111528 kB SwapFree: 67107188 kB Dirty: 5476 kB Writeback: 0 kB AnonPages: 169740 kB Mapped: 15228 kB Slab: 212896 kB PageTables: 5056 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 412292 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= 72688 MiB End job on node130 at 2011-04-30 04:23:16