| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt (fixed) | ? (TO) | 4800.12 | 1203.66 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf |
| MD5SUM | a0ab6c55c9b144fcd835244bca95a82b |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 5.52816 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10000 |
| Number of clauses | 42000 |
| Sum of the clauses size | 126000 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 42000 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
0.00/0.00 c Outputting solution to console 0.00/0.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 2.9.0 0.00/0.01 c compiled with gcc version 4.4.5 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3368522-1305395852.cnf' 0.00/0.01 c -- header says num vars: 10000 0.00/0.01 c -- header says num clauses: 42000 0.00/0.06 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.00/0.06 c -- vars added 10000 0.00/0.06 c Parsing time: 0.09 s 0.00/0.06 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.00/0.06 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.00/0.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 0.12/0.90 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.12/0.90 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.12/0.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 0.12/0.90 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.01 s 0.12/0.90 c lits-rem: 0 cl-subs: 0 v-elim: 355 v-fix: 0 time: 0.33 s 0.12/0.90 c Finding binary XORs T: 0.01 s found: 0 0.12/0.90 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 0.12/0.90 c calculated reachability. Time: 0.00 0.12/0.90 c Calc default polars - time: 0.01 s pos: 4404 undec: 1280 neg: 4316 0.12/0.90 c ========================================================================================= 0.12/0.90 c types(t): F = full restart, N = normal restart 0.12/0.90 c types(t): S = simplification begin/end, E = solution found 0.12/0.90 c restart types(rt): st = static, dy = dynamic 0.12/0.90 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.12/0.90 c B st 0 0 9645 41574 0 0 126692 0 no data no data -- 0.12/0.90 c N dy 17 4008 9645 41574 0 4008 126692 620429 89.63 95.88 -- 5.17/1.38 c N dy 47 8104 9645 41574 0 4609 126692 330144 93.17 99.14 -- 7.60/1.98 c N dy 75 12185 9645 41574 0 8690 126692 935683 93.85 98.88 -- 10.35/2.61 c N dy 102 16258 9645 41574 0 7011 126692 385507 93.98 111.50 -- 12.74/3.25 c N dy 128 20402 9645 41574 0 11155 126692 1006417 93.79 100.50 -- 15.54/3.92 c N dy 153 24519 9645 41574 0 7898 126692 289836 93.73 100.96 -- 15.54/3.99 c F st 157 25001 9645 41574 0 8380 126692 361171 93.83 no data -- 19.13/4.81 c N dy 163 30000 9645 41574 0 13379 126692 1231156 93.83 no data -- 19.13/4.81 c S st 163 30000 9645 41574 0 13379 126692 1231156 93.83 no data -- 19.13/4.89 c S st 163 30502 9645 41574 0 13881 126692 1281942 93.83 no data -- 19.13/4.90 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 19.13/4.90 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 19.53/4.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 19.93/5.02 c bin-w-bin subsume rem 0 bins time: 0.01 s 19.93/5.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 19.93/5.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.01 s 19.93/5.03 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 26.31/6.66 c lits-rem: 14 cl-subs: 2 v-elim: 0 v-fix: 0 time: 6.46 s 26.71/6.71 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.19 26.71/6.71 c calculated reachability. Time: 0.00 26.71/6.71 c N dy 163 30502 9645 41574 0 13879 126692 1281139 93.83 no data -- 29.54/7.42 c N dy 187 34575 9645 41574 0 9264 126692 307136 93.76 100.10 -- 31.88/8.09 c N dy 211 38613 9645 41574 0 13302 126692 910995 93.88 116.82 -- 35.08/8.82 c N dy 239 42693 9645 41574 0 17381 126692 1535204 94.27 100.01 -- 37.47/9.42 c S st 258 45753 9645 41574 0 10599 126692 344433 94.41 no data -- 37.47/9.50 c S st 258 46253 9645 41574 0 11099 126692 400554 94.41 no data -- 37.47/9.51 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 37.47/9.51 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 37.89/9.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 37.89/9.57 c bin-w-bin subsume rem 0 bins time: 0.01 s 37.89/9.57 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 37.89/9.58 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.01 s 37.89/9.58 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 44.65/11.23 c lits-rem: 5 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.59 s 44.65/11.24 c vivif2 -- cl tried 41574 cl shrink 0 lits rem 0 time: 0.01 44.65/11.24 c vivif2 -- cl tried 11099 cl shrink 0 lits rem 0 time: 0.02 44.65/11.28 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.16 44.65/11.29 c calculated reachability. Time: 0.00 44.65/11.29 c N dy 258 46253 9645 41574 0 11099 126692 400549 94.41 no data -- 47.43/11.95 c N dy 281 50256 9645 41574 0 15102 126692 999117 94.23 99.23 -- 50.24/12.66 c N dy 305 54493 9645 41574 0 19339 126692 1621680 94.02 99.42 -- 53.02/13.37 c N dy 330 58551 9645 41574 0 12476 126692 461844 94.08 102.27 -- 55.86/14.09 c N dy 354 62906 9645 41574 0 16831 126692 1113277 93.99 101.14 -- 58.61/14.79 c N dy 380 66933 9645 41574 0 20858 126692 1715108 93.94 99.33 -- 60.59/15.25 c S st 397 69382 9645 41574 0 23307 126692 2093463 94.04 no data -- 60.99/15.34 c S st 397 69887 9645 41574 0 23812 126692 2144726 94.04 no data -- 60.99/15.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 60.99/15.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 60.99/15.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.16 61.79/15.51 c bin-w-bin subsume rem 0 bins time: 0.01 s 61.79/15.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 61.79/15.52 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.01 s 61.79/15.52 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 77.80/19.59 c lits-rem: 13 cl-subs: 1 v-elim: 0 v-fix: 0 time: 16.17 s 77.80/19.59 c vivif2 -- cl tried 41574 cl shrink 0 lits rem 0 time: 0.01 78.14/19.62 c vivif2 -- cl tried 23811 cl shrink 0 lits rem 0 time: 0.10 78.14/19.68 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.26 78.14/19.68 c calculated reachability. Time: 0.00 78.14/19.68 c N dy 397 69887 9645 41574 0 23811 126692 2144600 94.04 no data -- 81.35/20.47 c N dy 426 74482 9645 41574 0 16451 126692 893664 94.08 100.91 -- 84.93/21.36 c N dy 462 79281 9645 41574 0 21250 126692 1624589 94.30 121.16 -- 88.92/22.31 c N dy 493 84355 9645 41574 0 13341 126692 281123 94.22 112.30 -- 90.96/22.84 c F st 516 87500 9645 41574 0 16485 126692 751449 94.26 no data -- 93.31/23.47 c N st 521 90801 9645 41574 0 19786 126692 1407751 94.26 no data -- 97.69/24.57 c N dy 548 96652 9645 41574 0 25637 126692 2340479 94.18 99.36 -- 102.47/25.71 c N dy 595 102842 9645 41574 0 17835 126692 820978 94.38 104.46 -- 103.69/26.04 c S st 604 104831 9645 41574 0 19824 126692 1110035 94.32 82.24 -- 104.12/26.13 c S st 604 105336 9645 41574 0 20329 126692 1159830 94.32 no data -- 104.12/26.13 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 104.12/26.13 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 104.12/26.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 104.47/26.23 c bin-w-bin subsume rem 0 bins time: 0.01 s 104.47/26.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 104.47/26.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.01 s 104.47/26.24 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 112.89/28.38 c lits-rem: 8 cl-subs: 1 v-elim: 0 v-fix: 0 time: 8.52 s 112.89/28.38 c vivif2 -- cl tried 41574 cl shrink 0 lits rem 0 time: 0.01 112.89/28.39 c vivif2 -- cl tried 20328 cl shrink 0 lits rem 0 time: 0.06 113.24/28.45 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.22 113.24/28.45 c calculated reachability. Time: 0.00 113.24/28.45 c N dy 604 105336 9645 41574 0 20328 126692 1159591 94.32 no data -- 118.43/29.70 c N dy 647 112065 9645 41574 0 27057 126692 2185653 94.46 103.10 -- 123.61/31.05 c N dy 691 119326 9645 41574 0 19323 126692 903265 94.34 100.73 -- 129.20/32.46 c N dy 735 127004 9645 41574 0 27000 126692 2042108 94.28 124.50 -- 135.57/34.00 c N dy 795 135127 9645 41574 0 19126 126692 727272 94.44 102.23 -- 141.56/35.59 c N dy 853 143777 9645 41574 0 27776 126692 2035541 94.45 137.39 -- 148.73/37.37 c N dy 913 152984 9645 41574 0 19982 126692 712721 94.44 101.86 -- 152.37/38.27 c S st 945 158004 9645 41574 0 25001 126692 1460908 94.39 92.18 -- 152.72/38.36 c S st 945 158509 9645 41574 0 25506 126692 1509116 94.39 no data -- 152.72/38.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 152.72/38.36 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 153.12/38.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 153.12/38.48 c bin-w-bin subsume rem 0 bins time: 0.01 s 153.12/38.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 153.12/38.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.01 s 153.12/38.48 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 164.69/41.39 c lits-rem: 7 cl-subs: 1 v-elim: 0 v-fix: 0 time: 11.58 s 164.69/41.40 c vivif2 -- cl tried 41574 cl shrink 0 lits rem 0 time: 0.01 165.10/41.41 c vivif2 -- cl tried 25505 cl shrink 0 lits rem 0 time: 0.06 165.10/41.48 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.27 165.10/41.48 c calculated reachability. Time: 0.00 165.10/41.48 c N dy 945 158509 9645 41574 0 25505 126692 1509002 94.39 no data -- 173.47/43.57 c N dy 1012 168797 9645 41574 0 35790 126692 3060256 94.45 99.48 -- 181.84/45.63 c N dy 1077 179913 9645 41574 0 28907 126692 1894581 94.43 104.42 -- 191.01/47.94 c N dy 1160 191429 9645 41574 0 21424 126692 606836 94.57 101.64 -- 200.20/50.28 c N dy 1238 203665 9645 41574 0 33659 126692 2469835 94.63 103.23 -- 210.95/52.91 c N dy 1315 216831 9645 41574 0 26832 126692 1269215 94.47 99.50 -- 222.56/55.83 c N dy 1403 230698 9645 41574 0 40699 126692 3362476 94.55 106.29 -- 227.70/57.17 c S st 1439 237763 9645 41574 0 26764 126692 1122316 94.49 no data -- 228.10/57.27 c S st 1439 238264 9645 41574 0 27265 126692 1182605 94.49 no data -- 228.10/57.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 228.10/57.27 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 228.50/57.31 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.17 228.50/57.37 c bin-w-bin subsume rem 0 bins time: 0.01 s 228.50/57.37 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 228.50/57.38 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.01 s 228.50/57.38 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 237.27/59.52 c lits-rem: 34 cl-subs: 2 v-elim: 0 v-fix: 0 time: 8.50 s 237.27/59.52 c vivif2 -- cl tried 41574 cl shrink 0 lits rem 0 time: 0.01 237.27/59.54 c vivif2 -- cl tried 27263 cl shrink 0 lits rem 0 time: 0.06 237.67/59.60 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.26 237.67/59.60 c calculated reachability. Time: 0.00 237.67/59.60 c N dy 1439 238264 9645 41574 0 27263 126692 1181861 94.49 no data -- 250.03/62.71 c N dy 1531 253485 9645 41574 0 42483 126692 3454455 94.44 101.64 -- 263.18/66.07 c N dy 1643 269812 9645 41574 0 36812 126692 2493337 94.53 99.80 -- 277.95/69.70 c N dy 1758 287061 9645 41574 0 31060 126692 1505341 94.56 100.33 -- 293.50/73.66 c N dy 1880 305481 9645 41574 0 25483 126692 500732 94.64 101.39 -- 294.30/73.80 c F st 1883 306252 9645 41574 0 26254 126692 617323 94.62 80.38 -- 309.87/77.74 c N dy 1979 325008 9645 41574 0 45010 126692 3607395 94.69 99.90 -- 326.60/81.96 c N dy 2108 345123 9645 41574 0 40125 126692 2555746 94.70 102.11 -- 337.77/84.79 c S st 2189 357398 9645 41574 0 26399 126692 354393 94.74 no data -- 338.16/84.88 c S st 2189 357906 9645 41574 0 26907 126692 413593 94.74 no data -- 338.16/84.89 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 338.16/84.89 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 338.56/84.93 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 338.56/84.96 c bin-w-bin subsume rem 0 bins time: 0.01 s 338.56/84.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 338.56/84.96 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.01 s 338.56/84.97 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 344.96/86.54 c lits-rem: 1 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.27 s 344.96/86.55 c vivif2 -- cl tried 41574 cl shrink 0 lits rem 0 time: 0.01 344.96/86.55 c vivif2 -- cl tried 26907 cl shrink 0 lits rem 0 time: 0.03 345.39/86.61 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.25 345.39/86.62 c calculated reachability. Time: 0.00 345.39/86.62 c N dy 2189 357906 9645 41574 0 26907 126692 413592 94.74 no data -- 362.09/90.87 c N dy 2313 377918 9645 41574 0 46916 126692 3419725 94.70 99.97 -- 379.64/95.28 c N dy 2452 398002 9645 41574 0 39999 126692 2269197 94.75 100.33 -- 398.77/100.01 c N dy 2577 418047 9645 41574 0 32047 126692 907761 94.75 105.96 -- 416.32/104.45 c N dy 2717 438162 9645 41574 0 52162 126692 3991195 94.85 100.90 -- 433.87/108.88 c N dy 2860 458211 9645 41574 0 43211 126692 2456820 94.96 101.27 -- 452.61/113.56 c N dy 2984 478282 9645 41574 0 33281 126692 819776 94.97 101.54 -- 470.16/117.99 c N dy 3110 498297 9645 41574 0 53295 126692 3854319 94.99 103.62 -- 488.90/122.62 c N dy 3237 518431 9645 41574 0 42428 126692 2043985 95.00 106.41 -- 506.46/127.03 c S st 3363 536859 9645 41574 0 60853 126692 4829515 95.04 no data -- 506.86/127.18 c S st 3363 537361 9645 41574 0 61355 126692 4881420 95.04 no data -- 506.86/127.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 506.86/127.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 507.27/127.26 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.25 508.44/127.50 c bin-w-bin subsume rem 0 bins time: 0.01 s 508.44/127.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 508.44/127.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.01 s 508.44/127.51 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 769.27/192.93 c lits-rem: 0 cl-subs: 4 v-elim: 0 v-fix: 0 time: 260.33 s 769.27/192.93 c vivif2 -- cl tried 41574 cl shrink 0 lits rem 0 time: 0.02 769.27/193.00 c vivif2 -- cl tried 61351 cl shrink 0 lits rem 0 time: 0.24 770.08/193.13 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.55 770.08/193.14 c calculated reachability. Time: 0.00 770.08/193.14 c N dy 3363 537361 9645 41574 0 61351 126692 4879889 95.04 no data -- 788.81/197.89 c N dy 3491 557455 9645 41574 0 49449 126692 2983800 95.06 107.72 -- 809.56/203.08 c N dy 3623 577561 9645 41574 0 36557 126692 880646 95.08 103.75 -- 829.09/207.93 c N dy 3750 597625 9645 41574 0 56618 126692 3934701 95.09 101.06 -- 849.85/213.14 c N dy 3882 617693 9645 41574 0 42691 126692 1647846 95.09 113.82 -- 870.14/218.28 c N dy 4022 637834 9645 41574 0 62831 126692 4699806 95.13 105.05 -- 890.08/223.27 c N dy 4143 657991 9645 41574 0 47983 126692 2318849 95.14 101.22 -- 911.61/228.66 c N dy 4282 678053 9645 41574 0 68043 126692 5416345 95.21 109.73 -- 931.56/233.61 c N dy 4413 698127 9645 41574 0 52121 126692 2798799 95.23 103.73 -- 953.50/239.15 c N dy 4535 718267 9645 41574 0 72258 126692 5872598 95.22 102.40 -- 973.03/244.06 c N dy 4663 738272 9645 41574 0 55264 126692 3144877 95.24 100.65 -- 995.77/249.76 c N dy 4793 758359 9645 41574 0 75349 126692 6236491 95.31 101.54 -- 1015.72/254.74 c N dy 4929 778390 9645 41574 0 57384 126692 3353850 95.36 102.80 -- 1038.07/260.41 c N dy 5053 798423 9645 41574 0 77416 126692 6389805 95.36 100.71 -- 1045.63/262.25 c S st 5104 806042 9645 41574 0 46037 126692 1428221 95.36 89.03 -- 1046.03/262.39 c S st 5104 806549 9645 41574 0 46544 126692 1481375 95.36 no data -- 1046.03/262.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1046.03/262.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1046.42/262.45 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.22 1046.84/262.52 c bin-w-bin subsume rem 0 bins time: 0.01 s 1046.84/262.53 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1046.84/262.53 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.01 s 1046.84/262.53 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1060.00/265.84 c lits-rem: 11 cl-subs: 1 v-elim: 0 v-fix: 0 time: 13.16 s 1060.00/265.85 c vivif2 -- cl tried 41574 cl shrink 0 lits rem 0 time: 0.01 1060.00/265.87 c vivif2 -- cl tried 46543 cl shrink 0 lits rem 0 time: 0.08 1060.42/265.97 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.42 1060.42/265.97 c calculated reachability. Time: 0.00 1060.42/265.97 c N dy 5104 806549 9645 41574 0 46543 126692 1481116 95.36 no data -- 1081.51/271.22 c N dy 5242 826664 9645 41574 0 66656 126692 4525365 95.39 100.94 -- 1103.87/276.85 c N dy 5378 846780 9645 41574 0 46775 126692 1362642 95.43 100.99 -- 1124.19/281.99 c N dy 5501 866853 9645 41574 0 66847 126692 4407408 95.41 100.82 -- 1146.52/287.56 c N dy 5644 886907 9645 41574 0 45897 126692 1132695 95.46 103.56 -- 1166.46/292.55 c N dy 5782 906999 9645 41574 0 65986 126692 4187465 95.48 100.92 -- 1188.79/298.19 c N dy 5913 927061 9645 41574 0 44050 126692 701283 95.51 103.35 -- 1208.34/303.09 c N dy 6043 947173 9645 41574 0 64160 126692 3755943 95.52 103.00 -- 1231.09/308.78 c N dy 6172 967282 9645 41574 0 84268 126692 6801677 95.52 101.99 -- 1251.01/313.72 c N dy 6300 987382 9645 41574 0 61376 126692 3148517 95.52 103.11 -- 1273.74/319.42 c N dy 6432 1007444 9645 41574 0 81436 126692 6247253 95.56 100.72 -- 1295.28/324.89 c N dy 6560 1027695 9645 41574 0 57687 126692 2502187 95.57 104.13 -- 1318.41/330.66 c N dy 6693 1047806 9645 41574 0 77796 126692 5568273 95.61 103.99 -- 1341.93/336.52 c N dy 6823 1067817 9645 41574 0 52808 126692 1608869 95.63 101.61 -- 1345.92/337.53 c F st 6849 1071875 9645 41574 0 56866 126692 2230825 95.63 83.98 -- 1363.47/341.94 c N dy 6925 1087886 9645 41574 0 72877 126692 4882642 95.64 106.67 -- 1388.60/348.20 c N dy 7054 1107938 9645 41574 0 46931 126692 543348 95.64 101.74 -- 1408.54/353.27 c N dy 7191 1128116 9645 41574 0 67108 126692 3651649 95.68 101.31 -- 1432.07/359.15 c N dy 7329 1148139 9645 41574 0 87130 126692 6720965 95.71 108.28 -- 1453.60/364.59 c N dy 7453 1168289 9645 41574 0 60283 126692 2442385 95.70 102.57 -- 1475.94/370.20 c N dy 7587 1188387 9645 41574 0 80381 126692 5510737 95.72 100.83 -- 1500.26/376.23 c N dy 7715 1208464 9645 41574 0 52458 126692 1096290 95.72 101.42 -- 1501.47/376.56 c S st 7726 1209826 9645 41574 0 53820 126692 1302089 95.73 77.31 -- 1501.87/376.69 c S st 7726 1210329 9645 41574 0 54323 126692 1355781 95.73 no data -- 1502.27/376.70 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1502.27/376.70 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1502.27/376.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.24 1502.67/376.83 c bin-w-bin subsume rem 0 bins time: 0.01 s 1502.67/376.83 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1502.67/376.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.01 s 1502.67/376.84 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1514.62/379.82 c lits-rem: 4 cl-subs: 1 v-elim: 0 v-fix: 0 time: 11.87 s 1514.62/379.82 c vivif2 -- cl tried 41574 cl shrink 0 lits rem 0 time: 0.01 1514.62/379.84 c vivif2 -- cl tried 54322 cl shrink 0 lits rem 0 time: 0.08 1515.02/379.95 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.45 1515.02/379.96 c calculated reachability. Time: 0.00 1515.02/379.96 c N dy 7726 1210329 9645 41574 0 54322 126692 1355593 95.73 no data -- 1536.15/385.22 c N dy 7849 1230426 9645 41574 0 74418 126692 4374527 95.71 104.72 -- 1560.53/391.35 c N dy 7977 1250480 9645 41574 0 94470 126692 7413184 95.73 103.55 -- 1581.63/396.70 c N dy 8110 1270525 9645 41574 0 65514 126692 2956752 95.76 119.08 -- 1605.14/402.53 c N dy 8247 1290602 9645 41574 0 85591 126692 6041301 95.77 105.04 -- 1629.48/408.65 c N dy 8377 1310742 9645 41574 0 55732 126692 1333457 95.78 101.18 -- 1651.02/414.01 c N dy 8510 1330743 9645 41574 0 75733 126692 4371978 95.80 104.89 -- 1675.73/420.25 c N dy 8638 1350886 9645 41574 0 95875 126692 7446027 95.81 102.67 -- 1698.47/425.92 c N dy 8763 1371122 9645 41574 0 65114 126692 2562149 95.80 101.71 -- 1722.43/431.96 c N dy 8888 1391313 9645 41574 0 85305 126692 5578993 95.79 101.14 -- 1748.74/438.55 c N dy 9016 1411598 9645 41574 0 53592 126692 683444 95.79 107.53 -- 1769.86/443.81 c N dy 9145 1431644 9645 41574 0 73636 126692 3719082 95.80 100.94 -- 1794.18/449.98 c N dy 9276 1451737 9645 41574 0 93726 126692 6741132 95.80 101.63 -- 1818.93/456.17 c N dy 9412 1471791 9645 41574 0 60780 126692 1658808 95.83 121.23 -- 1841.29/461.72 c N dy 9542 1491805 9645 41574 0 80792 126692 4695200 95.82 102.37 -- 1866.76/468.19 c N dy 9671 1511949 9645 41574 0 100933 126692 7797425 95.84 101.21 -- 1890.29/474.03 c N dy 9795 1531987 9645 41574 0 66983 126692 2419673 95.84 101.26 -- 1913.82/479.92 c N dy 9930 1552141 9645 41574 0 87136 126692 5511689 95.86 102.00 -- 1940.55/486.64 c N dy 10062 1572155 9645 41574 0 107149 126692 8603521 95.88 106.59 -- 1962.88/492.25 c N dy 10195 1592158 9645 41574 0 72161 126692 3069917 95.89 103.48 -- 1987.20/498.36 c N dy 10316 1612238 9645 41574 0 92241 126692 6124297 95.88 101.01 -- 2017.10/505.90 c N dy 10457 1632331 9645 41574 0 56337 126692 513370 95.92 105.53 -- 2041.05/511.81 c N dy 10581 1652413 9645 41574 0 76417 126692 3580010 95.92 120.56 -- 2068.56/518.70 c N dy 10711 1672548 9645 41574 0 96551 126692 6699218 95.95 101.57 -- 2098.47/526.27 c N dy 10842 1692588 9645 41574 0 59592 126692 871880 95.96 147.97 -- 2119.61/531.59 c S st 10961 1710329 9645 41574 0 77331 126692 3609506 95.98 no data -- 2120.40/531.78 c S st 10961 1710829 9645 41574 0 77831 126692 3661652 95.98 no data -- 2120.80/531.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2120.80/531.80 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2120.80/531.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.33 2121.62/532.06 c bin-w-bin subsume rem 0 bins time: 0.01 s 2121.62/532.06 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2121.62/532.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.02 s 2121.62/532.07 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2268.76/568.91 c lits-rem: 0 cl-subs: 5 v-elim: 0 v-fix: 0 time: 146.49 s 2268.76/568.91 c vivif2 -- cl tried 41574 cl shrink 0 lits rem 0 time: 0.01 2268.76/568.96 c vivif2 -- cl tried 77826 cl shrink 0 lits rem 0 time: 0.20 2269.56/569.13 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.67 2269.56/569.13 c calculated reachability. Time: 0.00 2269.56/569.13 c N dy 10961 1710829 9645 41574 0 77826 126692 3659770 95.98 no data -- 2295.48/575.69 c N dy 11089 1730842 9645 41574 0 97838 126692 6722048 95.99 101.69 -- 2324.99/583.05 c N dy 11224 1750942 9645 41574 0 59931 126692 767863 96.00 120.55 -- 2348.13/588.83 c N dy 11362 1771067 9645 41574 0 80052 126692 3868190 96.02 107.19 -- 2374.45/595.43 c N dy 11495 1791172 9645 41574 0 100156 126692 6975341 96.04 101.52 -- 2403.15/602.63 c N dy 11629 1811234 9645 41574 0 61223 126692 820996 96.05 104.36 -- 2425.09/608.15 c N dy 11760 1831267 9645 41574 0 81255 126692 3881610 96.06 106.50 -- 2451.07/614.65 c N dy 11886 1851366 9645 41574 0 101352 126692 6981471 96.07 101.70 -- 2479.73/621.81 c N dy 12008 1871493 9645 41574 0 61480 126692 715378 96.07 107.13 -- 2501.67/627.30 c N dy 12130 1891501 9645 41574 0 81485 126692 3755727 96.06 101.16 -- 2527.19/633.79 c N dy 12253 1911736 9645 41574 0 101717 126692 6800742 96.06 102.23 -- 2557.09/641.23 c N dy 12390 1931783 9645 41574 0 121762 126692 9868422 96.07 105.04 -- 2579.83/646.96 c N dy 12520 1952138 9645 41574 0 81118 126692 3586160 96.08 102.83 -- 2605.75/653.47 c N dy 12656 1972234 9645 41574 0 101214 126692 6683022 96.10 102.00 -- 2635.65/660.90 c N dy 12779 1992568 9645 41574 0 121544 126692 9810057 96.11 103.28 -- 2658.78/666.79 c N dy 12915 2012728 9645 41574 0 79710 126692 3219599 96.13 102.13 -- 2684.71/673.21 c N dy 13048 2032945 9645 41574 0 99924 126692 6329401 96.15 102.42 -- 2713.84/680.51 c N dy 13173 2052981 9645 41574 0 119960 126692 9404712 96.16 102.36 -- 2738.55/686.73 c N dy 13304 2073074 9645 41574 0 77063 126692 2643150 96.17 101.76 -- 2763.67/693.03 c N dy 13438 2093102 9645 41574 0 97091 126692 5705180 96.18 101.31 -- 2792.39/700.20 c N dy 13558 2113238 9645 41574 0 117227 126692 8801242 96.18 101.47 -- 2819.14/706.92 c N dy 13672 2133298 9645 41574 0 73285 126692 1915978 96.17 103.36 -- 2843.85/713.14 c N dy 13806 2153326 9645 41574 0 93313 126692 5032731 96.19 103.40 -- 2873.35/720.59 c N dy 13941 2173382 9645 41574 0 113369 126692 8123633 96.20 116.23 -- 2904.45/728.39 c N dy 14067 2193511 9645 41574 0 68499 126692 1049418 96.20 101.37 -- 2925.19/733.51 c S st 14169 2210830 9645 41574 0 85816 126692 3677180 96.19 97.43 -- 2925.99/733.71 c S st 14169 2211333 9645 41574 0 86319 126692 3728932 96.19 no data -- 2925.99/733.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2925.99/733.72 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2926.39/733.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.34 2926.78/733.98 c bin-w-bin subsume rem 0 bins time: 0.01 s 2926.78/733.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2926.78/733.99 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.01 s 2926.78/733.99 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3084.71/773.59 c lits-rem: 0 cl-subs: 7 v-elim: 0 v-fix: 0 time: 157.60 s 3084.71/773.60 c vivif2 -- cl tried 41574 cl shrink 0 lits rem 0 time: 0.02 3085.11/773.65 c vivif2 -- cl tried 86312 cl shrink 0 lits rem 0 time: 0.21 3085.92/773.84 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.78 3085.92/773.85 c calculated reachability. Time: 0.00 3085.92/773.85 c N dy 14169 2211333 9645 41574 0 86312 126692 3728126 96.19 no data -- 3115.43/781.29 c N dy 14303 2231371 9645 41574 0 106348 126692 6780853 96.19 103.64 -- 3149.32/789.70 c N dy 14430 2251438 9645 41574 0 126413 126692 9860040 96.20 101.48 -- 3177.65/796.81 c N dy 14562 2271477 9645 41574 0 80451 126692 2771492 96.21 103.60 -- 3206.35/804.06 c N dy 14697 2291700 9645 41574 0 100674 126692 5908562 96.23 101.31 -- 3239.06/812.22 c N dy 14826 2311779 9645 41574 0 120752 126692 9022643 96.24 101.92 -- 3270.98/820.30 c N dy 14955 2331800 9645 41574 0 73779 126692 1571811 96.24 102.28 -- 3298.48/827.11 c N dy 15086 2351868 9645 41574 0 93846 126692 4629422 96.25 104.19 -- 3328.79/834.78 c N dy 15209 2371963 9645 41574 0 113941 126692 7688557 96.24 102.36 -- 3365.08/843.83 c N dy 15348 2391988 9645 41574 0 133965 126692 10828492 96.26 102.51 -- 3392.60/850.75 c N dy 15482 2412051 9645 41574 0 86026 126692 3323279 96.27 102.94 -- 3422.51/858.20 c N dy 15619 2432176 9645 41574 0 106149 126692 6438712 96.28 101.71 -- 3456.00/866.60 c N dy 15759 2452244 9645 41574 0 126215 126692 9530382 96.29 114.30 -- 3486.72/874.32 c N dy 15894 2472264 9645 41574 0 77235 126692 1832101 96.31 111.17 -- 3513.03/880.96 c N dy 16010 2492344 9645 41574 0 97313 126692 4899179 96.30 105.18 -- 3543.39/888.54 c N dy 16140 2512399 9645 41574 0 117366 126692 7981135 96.32 102.10 -- 3577.65/897.11 c N dy 16268 2532436 9645 41574 0 137401 126692 11050682 96.33 101.55 -- 3604.38/903.87 c N dy 16404 2552658 9645 41574 0 87628 126692 3239651 96.33 102.36 -- 3632.68/910.95 c N dy 16528 2572659 9645 41574 0 107629 126692 6309975 96.33 108.25 -- 3664.59/918.98 c N dy 16652 2592736 9645 41574 0 127706 126692 9361126 96.33 102.02 -- 3697.28/927.16 c N dy 16775 2612829 9645 41574 0 76805 126692 1452502 96.33 101.64 -- 3724.00/933.81 c N dy 16914 2632885 9645 41574 0 96858 126692 4570236 96.35 102.44 -- 3753.97/941.38 c N dy 17046 2652892 9645 41574 0 116863 126692 7653537 96.36 101.81 -- 3789.06/950.12 c N dy 17185 2673114 9645 41574 0 137084 126692 10771682 96.38 103.59 -- 3819.35/957.77 c N dy 17324 2693121 9645 41574 0 85097 126692 2625021 96.40 123.90 -- 3845.67/964.38 c S st 17450 2711335 9645 41574 0 103309 126692 5449353 96.41 no data -- 3846.83/964.62 c S st 17450 2711843 9645 41574 0 103817 126692 5512967 96.41 no data -- 3846.83/964.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3846.83/964.64 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3847.24/964.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.42 3848.44/965.03 c bin-w-bin subsume rem 0 bins time: 0.01 s 3848.44/965.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3848.44/965.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9645 time: 0.02 s 3848.44/965.04 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4233.69/1061.65 c lits-rem: 1 cl-subs: 4 v-elim: 0 v-fix: 0 time: 384.32 s 4233.69/1061.65 c vivif2 -- cl tried 41574 cl shrink 0 lits rem 0 time: 0.02 4234.09/1061.73 c vivif2 -- cl tried 103813 cl shrink 0 lits rem 0 time: 0.31 4234.89/1061.96 c asymm cl-useful: 0/41574/41574 lits-rem:0 time: 0.91 4234.89/1061.96 c calculated reachability. Time: 0.00 4234.89/1061.96 c N dy 17450 2711843 9645 41574 0 103813 126692 5511587 96.41 no data -- 4266.81/1069.93 c N dy 17578 2731915 9645 41574 0 123885 126692 8550669 96.42 106.82 -- 4302.34/1078.87 c N dy 17712 2752080 9645 41574 0 144048 126692 11644826 96.43 102.28 -- 4329.40/1085.67 c N dy 17851 2772085 9645 41574 0 91063 126692 3383231 96.45 109.82 -- 4358.52/1092.96 c N dy 17989 2792174 9645 41574 0 111147 126692 6481646 96.47 101.80 -- 4391.61/1101.25 c N dy 18120 2812192 9645 41574 0 131165 126692 9548605 96.47 101.89 -- 4426.72/1110.07 c N dy 18243 2832216 9645 41574 0 77190 126692 1068132 96.47 106.33 -- 4453.43/1116.76 c N dy 18375 2852358 9645 41574 0 97330 126692 4158975 96.48 102.61 -- 4484.14/1124.42 c N dy 18519 2872401 9645 41574 0 117370 126692 7323695 96.51 102.34 -- 4519.24/1133.24 c N dy 18665 2892537 9645 41574 0 137503 126692 10432275 96.53 104.93 -- 4552.39/1141.59 c N dy 18794 2912645 9645 41574 0 82618 126692 1747906 96.53 104.68 -- 4579.86/1148.44 c N dy 18929 2932699 9645 41574 0 102671 126692 4884643 96.56 104.36 -- 4610.57/1156.11 c N dy 19044 2952776 9645 41574 0 122748 126692 7978505 96.56 104.66 -- 4646.07/1165.01 c N dy 19176 2972825 9645 41574 0 142794 126692 11074503 96.56 102.40 -- 4677.57/1172.91 c N dy 19302 2992972 9645 41574 0 86945 126692 2286421 96.57 102.47 -- 4705.09/1179.88 c N dy 19425 3013066 9645 41574 0 107038 126692 5359330 96.57 103.19 -- 4739.39/1188.40 c N dy 19558 3033122 9645 41574 0 127094 126692 8481409 96.58 111.41 -- 4778.07/1198.13 c N dy 19692 3053208 9645 41574 0 147177 126692 11595256 96.59 136.45 --
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3368522-1305395852/watcher-3368522-1305395852 -o /tmp/evaluation-result-3368522-1305395852/solver-3368522-1305395852 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368522-1305395852.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.74 4.29 5.59 2/363 4892 /proc/meminfo: memFree=18296200/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 413 0 0 0 0 0 0 0 21 0 4 0 729815904 52465664 354 33554432000 4194304 4650419 140733620322320 18446744073709551615 47981115008946 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 12809 354 303 112 0 7774 0 [pid=4892/tid=4893] ppid=4890 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 729815904 52465664 354 33554432000 4194304 4650419 140733620322320 18446744073709551615 47981115008936 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 729815904 52465664 354 33554432000 4194304 4650419 140733620322320 18446744073709551615 47981115008944 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=51236 CPUtime=0 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 729815904 52465664 354 33554432000 4194304 4650419 140733620322320 18446744073709551615 224284982257 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.037478 s] /proc/loadavg: 3.74 4.29 5.59 2/363 4892 /proc/meminfo: memFree=18296200/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=292892 CPUtime=0.12 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 7729 0 0 0 11 1 0 0 18 0 4 0 729815904 299921408 6722 33554432000 4194304 4650419 140733620322320 18446744073709551615 224284623033 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 76313 14967 391 112 0 71278 0 [pid=4892/tid=4893] ppid=4890 vsize=305252 CPUtime=0.85 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 5102 0 0 0 84 1 0 0 19 0 4 0 729815904 312578048 14967 33554432000 4194304 4650419 140733620322320 18446744073709551615 4316022 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=305252 CPUtime=0.85 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 5114 0 0 0 84 1 0 0 18 0 4 0 729815904 312578048 14967 33554432000 4194304 4650419 140733620322320 18446744073709551615 4315054 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=305252 CPUtime=0.84 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 2836 0 0 0 84 0 0 0 19 0 4 0 729815904 312578048 14967 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.12 Current children cumulated vsize (KiB) 292892 [startup+0.963704 s] /proc/loadavg: 3.74 4.29 5.59 2/363 4892 /proc/meminfo: memFree=18296200/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=305252 CPUtime=3.82 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 18810 0 0 0 378 4 0 0 19 0 4 0 729815904 312578048 15491 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363582 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 76313 15491 391 112 0 71278 0 [pid=4892/tid=4893] ppid=4890 vsize=305252 CPUtime=0.95 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 5204 0 0 0 94 1 0 0 19 0 4 0 729815904 312578048 15492 33554432000 4194304 4650419 140733620322320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=305252 CPUtime=0.95 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 5215 0 0 0 94 1 0 0 19 0 4 0 729815904 312578048 15492 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363323 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=305252 CPUtime=0.94 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 3057 0 0 0 94 0 0 0 19 0 4 0 729815904 312578048 15492 33554432000 4194304 4650419 140733620322320 18446744073709551615 4520360 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3.82 Current children cumulated vsize (KiB) 305252 [startup+1.06368 s] /proc/loadavg: 3.74 4.29 5.59 2/363 4892 /proc/meminfo: memFree=18296200/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=305252 CPUtime=4.22 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 19222 0 0 0 418 4 0 0 19 0 4 0 729815904 312578048 15903 33554432000 4194304 4650419 140733620322320 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 76313 15903 391 112 0 71278 0 [pid=4892/tid=4893] ppid=4890 vsize=305252 CPUtime=1.05 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 5306 0 0 0 104 1 0 0 19 0 4 0 729815904 312578048 15903 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=305252 CPUtime=1.05 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 5313 0 0 0 104 1 0 0 19 0 4 0 729815904 312578048 15903 33554432000 4194304 4650419 140733620322320 18446744073709551615 4364406 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=305252 CPUtime=1.04 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 3168 0 0 0 104 0 0 0 19 0 4 0 729815904 312578048 15903 33554432000 4194304 4650419 140733620322320 18446744073709551615 4328256 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.22 Current children cumulated vsize (KiB) 305252 [startup+1.16367 s] /proc/loadavg: 3.74 4.29 5.59 2/363 4892 /proc/meminfo: memFree=18296200/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=307212 CPUtime=4.62 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 20322 0 0 0 458 4 0 0 19 0 4 0 729815904 314585088 15704 33554432000 4194304 4650419 140733620322320 18446744073709551615 4303973 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 76803 15704 393 112 0 71768 0 [pid=4892/tid=4893] ppid=4890 vsize=307212 CPUtime=1.15 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 5402 0 0 0 114 1 0 0 19 0 4 0 729815904 314585088 15704 33554432000 4194304 4650419 140733620322320 18446744073709551615 4310809 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=307212 CPUtime=1.15 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 5411 0 0 0 114 1 0 0 19 0 4 0 729815904 314585088 15704 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363411 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=307212 CPUtime=1.14 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 3975 0 0 0 114 0 0 0 19 0 4 0 729815904 314585088 15704 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363541 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.62 Current children cumulated vsize (KiB) 307212 [startup+1.50061 s] /proc/loadavg: 3.74 4.29 5.59 2/363 4892 /proc/meminfo: memFree=18296200/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=309576 CPUtime=5.97 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 23311 0 0 0 593 4 0 0 20 0 4 0 729815904 317005824 14532 33554432000 4194304 4650419 140733620322320 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 77394 14532 393 112 0 72359 0 [pid=4892/tid=4893] ppid=4890 vsize=309576 CPUtime=1.49 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 6353 0 0 0 148 1 0 0 19 0 4 0 729815904 317005824 14532 33554432000 4194304 4650419 140733620322320 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=309576 CPUtime=1.49 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 6357 0 0 0 148 1 0 0 20 0 4 0 729815904 317005824 14532 33554432000 4194304 4650419 140733620322320 18446744073709551615 4328328 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=309576 CPUtime=1.47 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 4310 0 0 0 147 0 0 0 20 0 4 0 729815904 317005824 14532 33554432000 4194304 4650419 140733620322320 18446744073709551615 4354961 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 309576 [startup+3.10035 s] /proc/loadavg: 4.24 4.39 5.61 9/373 4905 /proc/meminfo: memFree=18035908/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=310480 CPUtime=12.34 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 31786 0 0 0 1228 6 0 0 25 0 4 0 729815904 317931520 16337 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 77620 16337 393 112 0 72585 0 [pid=4892/tid=4893] ppid=4890 vsize=310480 CPUtime=3.08 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 8536 0 0 0 307 1 0 0 25 0 4 0 729815904 317931520 16337 33554432000 4194304 4650419 140733620322320 18446744073709551615 4316048 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=310480 CPUtime=3.09 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 8547 0 0 0 308 1 0 0 25 0 4 0 729815904 317931520 16337 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=310480 CPUtime=3.05 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 6373 0 0 0 304 1 0 0 25 0 4 0 729815904 317931520 16337 33554432000 4194304 4650419 140733620322320 18446744073709551615 4328298 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 310480 [startup+6.31381 s] /proc/loadavg: 4.62 4.46 5.63 9/373 4905 /proc/meminfo: memFree=17952464/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=340372 CPUtime=25.16 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 57769 0 0 0 2503 13 0 0 25 0 4 0 729815904 348540928 28140 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 85093 28140 395 112 0 80058 0 [pid=4892/tid=4893] ppid=4890 vsize=340372 CPUtime=6.29 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 16318 0 0 0 626 3 0 0 25 0 4 0 729815904 348540928 28140 33554432000 4194304 4650419 140733620322320 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=340372 CPUtime=6.3 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 12910 0 0 0 628 2 0 0 25 0 4 0 729815904 348540928 28140 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363441 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=340372 CPUtime=6.22 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 10606 0 0 0 620 2 0 0 25 0 4 0 729815904 348540928 28140 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.16 Current children cumulated vsize (KiB) 340372 [startup+12.7008 s] /proc/loadavg: 4.89 4.52 5.64 9/373 4905 /proc/meminfo: memFree=17913076/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=341824 CPUtime=50.64 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 91996 0 0 0 5044 20 0 0 25 0 4 0 729815904 350027776 44097 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363576 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 85456 44097 395 112 0 80421 0 [pid=4892/tid=4893] ppid=4890 vsize=341824 CPUtime=12.69 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 19145 0 0 0 1265 4 0 0 25 0 4 0 729815904 350027776 44097 33554432000 4194304 4650419 140733620322320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=341824 CPUtime=12.69 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 26662 0 0 0 1264 5 0 0 25 0 4 0 729815904 350027776 44098 33554432000 4194304 4650419 140733620322320 18446744073709551615 4520021 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=341824 CPUtime=12.54 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 23420 0 0 0 1249 5 0 0 25 0 4 0 729815904 350027776 44098 33554432000 4194304 4650419 140733620322320 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 341824 [startup+25.5006 s] /proc/loadavg: 5.37 4.63 5.67 9/373 4905 /proc/meminfo: memFree=17524340/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=464612 CPUtime=101.67 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 150418 0 0 0 10133 34 0 0 25 0 4 0 729815904 475762688 67630 33554432000 4194304 4650419 140733620322320 18446744073709551615 4364336 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 116153 67630 395 112 0 111118 0 [pid=4892/tid=4893] ppid=4890 vsize=464612 CPUtime=25.49 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 35800 0 0 0 2541 8 0 0 25 0 4 0 729815904 475762688 67630 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=464612 CPUtime=25.49 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 42087 0 0 0 2540 9 0 0 25 0 4 0 729815904 475762688 67630 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=464612 CPUtime=25.19 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 35060 0 0 0 2511 8 0 0 25 0 4 0 729815904 475762688 67630 33554432000 4194304 4650419 140733620322320 18446744073709551615 4439371 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.67 Current children cumulated vsize (KiB) 464612 [startup+51.1004 s] /proc/loadavg: 6.33 4.92 5.73 9/373 4907 /proc/meminfo: memFree=17388460/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=500436 CPUtime=203.77 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 227621 0 0 0 20322 55 0 0 25 0 4 0 729815904 512446464 74707 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363496 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 125109 74708 395 112 0 120074 0 [pid=4892/tid=4893] ppid=4890 vsize=500436 CPUtime=51.08 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 55688 0 0 0 5095 13 0 0 25 0 4 0 729815904 512446464 74708 33554432000 4194304 4650419 140733620322320 18446744073709551615 224284587041 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=500436 CPUtime=51.09 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 67056 0 0 0 5093 16 0 0 25 0 4 0 729815904 512446464 74709 33554432000 4194304 4650419 140733620322320 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=500436 CPUtime=50.49 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 58048 0 0 0 5034 15 0 0 25 0 4 0 729815904 512446464 74715 33554432000 4194304 4650419 140733620322320 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.77 Current children cumulated vsize (KiB) 500436 [startup+102.301 s] /proc/loadavg: 7.41 5.45 5.87 9/373 4907 /proc/meminfo: memFree=17136096/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=668988 CPUtime=407.94 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 379185 0 0 0 40698 96 0 0 25 0 4 0 729815904 685043712 94466 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 167247 94466 395 112 0 162212 0 [pid=4892/tid=4893] ppid=4890 vsize=668988 CPUtime=102.28 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 91076 0 0 0 10205 23 0 0 25 0 4 0 729815904 685043712 94466 33554432000 4194304 4650419 140733620322320 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=668988 CPUtime=102.28 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 107857 0 0 0 10201 27 0 0 25 0 4 0 729815904 685043712 94466 33554432000 4194304 4650419 140733620322320 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=668988 CPUtime=101.08 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 102878 0 0 0 10080 28 0 0 25 0 4 0 729815904 685043712 94466 33554432000 4194304 4650419 140733620322320 18446744073709551615 4310792 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 407.94 Current children cumulated vsize (KiB) 668988 [startup+162.301 s] ################ # More data... # ################ [pid=4892] ppid=4890 vsize=889820 CPUtime=2561.48 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 2288522 0 0 0 255558 590 0 0 25 0 4 0 729815904 911175680 162790 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 222455 162790 395 112 0 217420 0 [pid=4892/tid=4893] ppid=4890 vsize=889820 CPUtime=642.26 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 768283 0 0 0 64054 172 0 0 25 0 4 0 729815904 911175680 162790 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363484 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=889820 CPUtime=642.25 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 626237 0 0 0 64060 165 0 0 25 0 4 0 729815904 911175680 162790 33554432000 4194304 4650419 140733620322320 18446744073709551615 4316048 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=889820 CPUtime=634.67 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 630977 0 0 0 63303 164 0 0 25 0 4 0 729815904 911175680 162790 33554432000 4194304 4650419 140733620322320 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2561.48 Current children cumulated vsize (KiB) 889820 [startup+702.301 s] /proc/loadavg: 8.04 7.74 6.92 9/373 4932 /proc/meminfo: memFree=16290312/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=890628 CPUtime=2800.77 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 2395421 0 0 0 279449 628 0 0 25 0 4 0 729815904 912003072 171393 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 222657 171393 395 112 0 217622 0 [pid=4892/tid=4893] ppid=4890 vsize=890628 CPUtime=702.26 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 793652 0 0 0 70045 181 0 0 25 0 4 0 729815904 912003072 171393 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=890628 CPUtime=702.26 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 656232 0 0 0 70049 177 0 0 25 0 4 0 729815904 912003072 171393 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=890628 CPUtime=693.97 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 660663 0 0 0 69223 174 0 0 25 0 4 0 729815904 912003072 171393 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2800.77 Current children cumulated vsize (KiB) 890628 [startup+762.301 s] /proc/loadavg: 8.13 7.81 6.99 9/373 4934 /proc/meminfo: memFree=16243544/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=1006112 CPUtime=3040.05 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 2626568 0 0 0 303322 683 0 0 25 0 4 0 729815904 1030258688 181504 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 251528 181504 395 112 0 246493 0 [pid=4892/tid=4893] ppid=4890 vsize=1006112 CPUtime=762.26 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 818813 0 0 0 76034 192 0 0 25 0 4 0 729815904 1030258688 181504 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476230 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=1006112 CPUtime=762.25 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 684270 0 0 0 76035 190 0 0 25 0 4 0 729815904 1030258688 181504 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=1006112 CPUtime=753.25 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 825799 0 0 0 75126 199 0 0 25 0 4 0 729815904 1030258688 181504 33554432000 4194304 4650419 140733620322320 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3040.05 Current children cumulated vsize (KiB) 1006112 [startup+822.301 s] /proc/loadavg: 8.30 7.91 7.07 9/373 4936 /proc/meminfo: memFree=16159432/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=1021276 CPUtime=3279.34 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 2795907 0 0 0 327209 725 0 0 25 0 4 0 729815904 1045786624 201158 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 255319 201158 395 112 0 250284 0 [pid=4892/tid=4893] ppid=4890 vsize=1021276 CPUtime=822.26 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 818813 0 0 0 82034 192 0 0 25 0 4 0 729815904 1045786624 201158 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476393 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=1021276 CPUtime=822.25 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 809571 0 0 0 82018 207 0 0 25 0 4 0 729815904 1045786624 201158 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476514 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=1021276 CPUtime=812.55 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 851727 0 0 0 81040 215 0 0 25 0 4 0 729815904 1045786624 201158 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3279.34 Current children cumulated vsize (KiB) 1021276 [startup+882.301 s] /proc/loadavg: 8.33 7.97 7.15 9/373 4938 /proc/meminfo: memFree=16094804/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=1088176 CPUtime=3518.62 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 2992000 0 0 0 351085 777 0 0 25 0 4 0 729815904 1114292224 205978 33554432000 4194304 4650419 140733620322320 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 272044 205978 395 112 0 267009 0 [pid=4892/tid=4893] ppid=4890 vsize=1088176 CPUtime=882.26 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 826564 0 0 0 88030 196 0 0 25 0 4 0 729815904 1114292224 205978 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=1088176 CPUtime=882.24 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 949377 0 0 0 87998 226 0 0 25 0 4 0 729815904 1114292224 205978 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=1088176 CPUtime=871.82 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 877274 0 0 0 86953 229 0 0 25 0 4 0 729815904 1114292224 205978 33554432000 4194304 4650419 140733620322320 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3518.62 Current children cumulated vsize (KiB) 1088176 [startup+942.301 s] /proc/loadavg: 8.19 7.99 7.20 9/373 4940 /proc/meminfo: memFree=16095156/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=1088588 CPUtime=3757.93 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 3230930 0 0 0 374957 836 0 0 25 0 4 0 729815904 1114714112 210027 33554432000 4194304 4650419 140733620322320 18446744073709551615 4364495 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 272147 210027 395 112 0 267112 0 [pid=4892/tid=4893] ppid=4890 vsize=1088588 CPUtime=942.27 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 853818 0 0 0 94018 209 0 0 25 0 4 0 729815904 1114714112 210034 33554432000 4194304 4650419 140733620322320 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=1088588 CPUtime=942.26 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1110374 0 0 0 93976 250 0 0 25 0 4 0 729815904 1114714112 210034 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=1088588 CPUtime=931.12 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 904890 0 0 0 92871 241 0 0 25 0 4 0 729815904 1114714112 210034 33554432000 4194304 4650419 140733620322320 18446744073709551615 4520279 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3757.93 Current children cumulated vsize (KiB) 1088588 [startup+1002.3 s] /proc/loadavg: 8.13 8.00 7.25 9/373 4940 /proc/meminfo: memFree=16084712/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=1186128 CPUtime=3997.19 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 3569273 0 0 0 398818 901 0 0 25 0 4 0 729815904 1214595072 212519 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 296532 212519 395 112 0 291497 0 [pid=4892/tid=4893] ppid=4890 vsize=1186128 CPUtime=1002.26 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 876011 0 0 0 100005 221 0 0 25 0 4 0 729815904 1214595072 212519 33554432000 4194304 4650419 140733620322320 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=1186128 CPUtime=1002.25 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1261625 0 0 0 99950 275 0 0 25 0 4 0 729815904 1214595072 212519 33554432000 4194304 4650419 140733620322320 18446744073709551615 4368121 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=1186128 CPUtime=990.41 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1062130 0 0 0 98774 267 0 0 25 0 4 0 729815904 1214595072 212519 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3997.19 Current children cumulated vsize (KiB) 1186128 [startup+1062.31 s] /proc/loadavg: 8.17 8.03 7.31 9/373 4942 /proc/meminfo: memFree=16099320/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=1186792 CPUtime=4236.53 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 3825274 0 0 0 422694 959 0 0 25 0 4 0 729815904 1215275008 215432 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 296698 215432 402 112 0 291663 0 [pid=4892/tid=4893] ppid=4890 vsize=1186792 CPUtime=1062.27 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 906244 0 0 0 105992 235 0 0 25 0 4 0 729815904 1215275008 215432 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=1186792 CPUtime=1062.26 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1284458 0 0 0 105938 288 0 0 25 0 4 0 729815904 1215275008 215432 33554432000 4194304 4650419 140733620322320 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=1186792 CPUtime=1049.7 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1264940 0 0 0 104673 297 0 0 25 0 4 0 729815904 1215275008 215432 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4236.53 Current children cumulated vsize (KiB) 1186792 [startup+1122.3 s] /proc/loadavg: 8.06 8.02 7.35 9/373 4944 /proc/meminfo: memFree=15997228/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=1200888 CPUtime=4475.77 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 4051564 0 0 0 446560 1017 0 0 25 0 4 0 729815904 1229709312 227150 33554432000 4194304 4650419 140733620322320 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 300222 227150 395 112 0 295187 0 [pid=4892/tid=4893] ppid=4890 vsize=1200888 CPUtime=1122.26 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1050305 0 0 0 111970 256 0 0 25 0 4 0 729815904 1229709312 227150 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=1200888 CPUtime=1122.24 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1310547 0 0 0 111924 300 0 0 25 0 4 0 729815904 1229709312 227150 33554432000 4194304 4650419 140733620322320 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=1200888 CPUtime=1108.98 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1295370 0 0 0 110589 309 0 0 25 0 4 0 729815904 1229709312 227150 33554432000 4194304 4650419 140733620322320 18446744073709551615 4363346 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4475.77 Current children cumulated vsize (KiB) 1200888 [startup+1182.3 s] /proc/loadavg: 8.07 8.03 7.39 9/373 4946 /proc/meminfo: memFree=15978576/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=1201968 CPUtime=4715.05 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 4289959 0 0 0 470428 1077 0 0 25 0 4 0 729815904 1230815232 224760 33554432000 4194304 4650419 140733620322320 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 300492 224760 398 112 0 295457 0 [pid=4892/tid=4893] ppid=4890 vsize=1201968 CPUtime=1182.26 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1214286 0 0 0 117948 278 0 0 25 0 4 0 729815904 1230815232 224760 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476756 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=1201968 CPUtime=1182.25 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1334347 0 0 0 117913 312 0 0 25 0 4 0 729815904 1230815232 224760 33554432000 4194304 4650419 140733620322320 18446744073709551615 4451430 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=1201968 CPUtime=1168.27 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1320441 0 0 0 116503 324 0 0 25 0 4 0 729815904 1230815232 224760 33554432000 4194304 4650419 140733620322320 18446744073709551615 4367302 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4715.05 Current children cumulated vsize (KiB) 1201968 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.6 s] /proc/loadavg: 8.05 8.03 7.40 9/373 4946 /proc/meminfo: memFree=15981536/32951124 swapFree=45193364/67111528 [pid=4892] ppid=4890 vsize=1149224 CPUtime=4800.02 cores=1,3,5,7 /proc/4892/stat : 4892 (strangenight1-m) R 4890 4892 3827 0 -1 4202496 4415645 0 0 0 478902 1100 0 0 25 0 4 0 729815904 1176805376 227539 33554432000 4194304 4650419 140733620322320 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/4892/statm: 287306 227539 395 112 0 282271 0 [pid=4892/tid=4893] ppid=4890 vsize=1149224 CPUtime=1203.57 cores=1,3,5,7 /proc/4892/task/4893/stat : 4893 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1277626 0 0 0 120071 286 0 0 25 0 4 0 729815904 1176805376 227544 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=4892/tid=4894] ppid=4890 vsize=1149224 CPUtime=1203.55 cores=1,3,5,7 /proc/4892/task/4894/stat : 4894 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1381322 0 0 0 120038 317 0 0 25 0 4 0 729815904 1176805376 227544 33554432000 4194304 4650419 140733620322320 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=4892/tid=4895] ppid=4890 vsize=1149224 CPUtime=1189.32 cores=1,3,5,7 /proc/4892/task/4895/stat : 4895 (strangenight1-m) R 4890 4892 3827 0 -1 4202560 1327571 0 0 0 118605 327 0 0 25 0 4 0 729815904 1176805376 227544 33554432000 4194304 4650419 140733620322320 18446744073709551615 4255670 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.02 Current children cumulated vsize (KiB) 1149224 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.66 CPU time (s): 4800.12 CPU user time (s): 4789.07 CPU system time (s): 11.0433 CPU usage (%): 398.793 Max. virtual memory (cumulated for all children) (KiB): 1219192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4789.07 system time used= 11.0433 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4415655 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= 1689 involuntary context switches= 31849 runsolver used 3.80242 second user time and 10.4814 second system time The end
Begin job on node118 at 2011-05-14 19:57:32 IDJOB=3368522 IDBENCH=82531 IDSOLVER=1846 FILE ID=node118/3368522-1305395852 RUNJOBID= node118-1305395852-4879 PBS_JOBID= 13324422 Free space on /tmp= 73048 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3368522-1305395852/watcher-3368522-1305395852 -o /tmp/evaluation-result-3368522-1305395852/solver-3368522-1305395852 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3368522-1305395852.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a0ab6c55c9b144fcd835244bca95a82b RANDOM SEED=1916250058 node118.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.842 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.68 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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.74 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.842 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.75 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.842 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.68 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.842 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.842 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.842 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 : 5374.59 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 18296232 kB Buffers: 270856 kB Cached: 4381584 kB SwapCached: 22084 kB Active: 11762088 kB Inactive: 2588912 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 18296232 kB SwapTotal: 67111528 kB SwapFree: 45193364 kB Dirty: 8624 kB Writeback: 0 kB AnonPages: 9688932 kB Mapped: 14612 kB Slab: 148816 kB PageTables: 90000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 88631700 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= 73036 MiB End job on node118 at 2011-05-14 20:17:38