| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.48 | 1202.05 |
| Name | random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf |
| MD5SUM | a2618a2d05b86feb60504578f5d9c7e5 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 47.6977 |
| 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.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3175058-1304080127.cnf' 0.00/0.00 c -- header says num vars: 10000 0.00/0.00 c -- header says num clauses: 42000 0.10/0.03 c -- clauses added: 0 learnts, 42000 normals, 0 xors 0.10/0.03 c -- vars added 10000 0.10/0.03 c Parsing time: 0.08 s 0.10/0.03 c N st 0 0 10000 42000 0 0 126000 0 no data no data -- 0.10/0.06 c asymm cl-useful: 0/42000/42000 lits-rem:0 time: 0.10 0.10/0.08 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.05 0.10/0.12 c bin-w-bin subsume rem 0 bins time: 0.01 s 0.10/0.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 0.10/0.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 10000 time: 0.01 s 0.10/0.12 c Removed useless bin: 0 fixed: 0 props: 0.10M time: 0.01 s 3.16/0.85 c lits-rem: 0 cl-subs: 0 v-elim: 349 v-fix: 0 time: 0.33 s 3.16/0.85 c Finding binary XORs T: 0.01 s found: 0 3.16/0.85 c Finding non-binary XORs: 0.06 s (found: 0, avg size: nan) 3.16/0.85 c calculated reachability. Time: 0.00 3.16/0.85 c Calc default polars - time: 0.01 s pos: 4468 undec: 1199 neg: 4333 3.16/0.85 c ========================================================================================= 3.16/0.85 c types(t): F = full restart, N = normal restart 3.16/0.85 c types(t): S = simplification begin/end, E = solution found 3.16/0.85 c restart types(rt): st = static, dy = dynamic 3.16/0.85 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.16/0.85 c B st 0 0 9651 41578 0 0 126575 0 no data no data -- 3.16/0.85 c N dy 20 4090 9651 41578 0 4090 126575 628761 90.10 95.33 -- 5.55/1.45 c N dy 48 8158 9651 41578 0 4660 126575 320205 90.83 97.30 -- 7.55/1.98 c N dy 77 12186 9651 41578 0 8688 126575 909455 91.56 98.86 -- 10.34/2.61 c N dy 105 16271 9651 41578 0 7024 126575 383434 91.64 97.42 -- 12.76/3.23 c N dy 132 20369 9651 41578 0 11122 126575 983140 91.91 96.76 -- 15.14/3.89 c N dy 158 24541 9651 41578 0 7921 126575 288467 91.58 97.55 -- 15.54/3.96 c F st 162 25001 9651 41578 0 8381 126575 353020 91.52 no data -- 19.13/4.85 c N dy 168 30001 9651 41578 0 13381 126575 1359092 91.52 no data -- 19.13/4.85 c S st 168 30001 9651 41578 0 13381 126575 1359092 91.52 no data -- 19.53/4.93 c S st 168 30506 9651 41578 0 13886 126575 1413612 91.52 no data -- 19.53/4.93 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 19.53/4.93 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 19.53/4.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.13 19.93/5.06 c bin-w-bin subsume rem 0 bins time: 0.01 s 19.93/5.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 19.93/5.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.01 s 19.93/5.07 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 26.72/6.80 c lits-rem: 44 cl-subs: 6 v-elim: 0 v-fix: 0 time: 6.87 s 27.12/6.84 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.19 27.12/6.85 c calculated reachability. Time: 0.00 27.12/6.85 c N dy 168 30506 9651 41578 0 13880 126575 1410825 91.52 no data -- 29.92/7.57 c N dy 198 34558 9651 41578 0 9247 126575 314151 91.84 112.86 -- 32.71/8.24 c N dy 227 38576 9651 41578 0 13265 126575 918693 92.32 98.20 -- 35.51/8.97 c N dy 254 42582 9651 41578 0 17269 126575 1514455 92.52 97.41 -- 37.91/9.58 c S st 278 45761 9651 41578 0 10602 126575 325138 92.90 no data -- 38.31/9.66 c S st 278 46264 9651 41578 0 11105 126575 377091 92.90 no data -- 38.31/9.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 38.31/9.66 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 38.71/9.70 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.14 38.71/9.73 c bin-w-bin subsume rem 0 bins time: 0.01 s 38.71/9.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 38.71/9.73 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.01 s 38.71/9.74 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 44.29/11.19 c lits-rem: 2 cl-subs: 0 v-elim: 0 v-fix: 0 time: 5.78 s 44.29/11.19 c vivif2 -- cl tried 41578 cl shrink 0 lits rem 0 time: 0.01 44.29/11.19 c vivif2 -- cl tried 11105 cl shrink 0 lits rem 0 time: 0.02 44.69/11.24 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.17 44.69/11.24 c calculated reachability. Time: 0.00 44.69/11.24 c N dy 278 46264 9651 41578 0 11105 126575 377089 92.90 no data -- 47.50/11.93 c N dy 304 50492 9651 41578 0 15333 126575 1014897 93.08 98.63 -- 50.29/12.64 c N dy 333 54619 9651 41578 0 19460 126575 1640229 93.22 98.45 -- 53.08/13.35 c N dy 359 58707 9651 41578 0 12627 126575 471559 93.15 104.66 -- 55.88/14.03 c N dy 387 62756 9651 41578 0 16676 126575 1079275 93.26 102.71 -- 58.67/14.76 c N dy 408 67002 9651 41578 0 20922 126575 1703655 93.11 100.27 -- 60.28/15.19 c S st 426 69396 9651 41578 0 23316 126575 2062980 93.25 no data -- 60.68/15.29 c S st 426 69901 9651 41578 0 23821 126575 2117573 93.25 no data -- 60.68/15.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 60.68/15.30 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 61.09/15.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 61.50/15.46 c bin-w-bin subsume rem 0 bins time: 0.01 s 61.50/15.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 61.50/15.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.01 s 61.50/15.47 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 78.25/19.60 c lits-rem: 16 cl-subs: 3 v-elim: 0 v-fix: 0 time: 16.49 s 78.25/19.61 c vivif2 -- cl tried 41578 cl shrink 0 lits rem 0 time: 0.01 78.25/19.63 c vivif2 -- cl tried 23818 cl shrink 0 lits rem 0 time: 0.10 78.25/19.70 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.25 78.25/19.70 c calculated reachability. Time: 0.00 78.25/19.70 c N dy 426 69901 9651 41578 0 23818 126575 2117086 93.25 no data -- 81.45/20.48 c N dy 459 74380 9651 41578 0 16336 126575 885124 93.51 100.89 -- 85.04/21.37 c N dy 494 79185 9651 41578 0 21141 126575 1604148 93.65 99.77 -- 89.03/22.35 c N dy 525 84259 9651 41578 0 13236 126575 266637 93.73 101.14 -- 91.03/22.89 c F st 545 87500 9651 41578 0 16477 126575 745072 93.75 no data -- 93.43/23.49 c N st 550 90798 9651 41578 0 19775 126575 1344488 93.75 no data -- 98.22/24.60 c N dy 574 96663 9651 41578 0 25640 126575 2349289 93.67 103.39 -- 102.61/25.74 c N dy 617 102949 9651 41578 0 17934 126575 832727 93.88 103.05 -- 103.81/26.05 c S st 628 104851 9651 41578 0 19835 126575 1097489 93.80 99.01 -- 104.21/26.15 c S st 628 105355 9651 41578 0 20339 126575 1156518 93.80 no data -- 104.21/26.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 104.21/26.15 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 104.21/26.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.15 104.61/26.25 c bin-w-bin subsume rem 0 bins time: 0.01 s 104.61/26.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 104.61/26.25 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.01 s 104.61/26.26 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 113.40/28.46 c lits-rem: 24 cl-subs: 1 v-elim: 0 v-fix: 0 time: 8.80 s 113.40/28.47 c vivif2 -- cl tried 41578 cl shrink 0 lits rem 0 time: 0.01 113.40/28.48 c vivif2 -- cl tried 20338 cl shrink 0 lits rem 0 time: 0.06 113.82/28.54 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.22 113.82/28.54 c calculated reachability. Time: 0.00 113.82/28.54 c N dy 628 105355 9651 41578 0 20338 126575 1155864 93.80 no data -- 118.99/29.81 c N dy 672 112263 9651 41578 0 27246 126575 2203202 93.90 99.18 -- 124.18/31.17 c N dy 719 119527 9651 41578 0 19512 126575 919111 94.02 99.57 -- 130.18/32.64 c N dy 767 127321 9651 41578 0 27305 126575 2100509 93.95 99.20 -- 136.18/34.19 c N dy 815 135575 9651 41578 0 19566 126575 763650 94.01 99.33 -- 142.55/35.79 c N dy 871 144325 9651 41578 0 28314 126575 2082371 93.99 99.78 -- 149.73/37.57 c N dy 935 153600 9651 41578 0 20593 126575 753025 94.05 100.80 -- 152.94/38.36 c S st 963 158033 9651 41578 0 25026 126575 1430847 94.09 no data -- 153.36/38.46 c S st 963 158540 9651 41578 0 25533 126575 1497569 94.09 no data -- 153.36/38.47 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 153.36/38.47 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 153.76/38.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 153.76/38.58 c bin-w-bin subsume rem 0 bins time: 0.01 s 153.76/38.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 153.76/38.58 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.01 s 153.76/38.59 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 165.32/41.47 c lits-rem: 12 cl-subs: 1 v-elim: 0 v-fix: 0 time: 11.52 s 165.32/41.48 c vivif2 -- cl tried 41578 cl shrink 0 lits rem 0 time: 0.01 165.32/41.50 c vivif2 -- cl tried 25532 cl shrink 0 lits rem 0 time: 0.07 165.72/41.56 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.25 165.72/41.56 c calculated reachability. Time: 0.00 165.72/41.56 c N dy 963 158540 9651 41578 0 25532 126575 1497004 94.09 no data -- 173.71/43.59 c N dy 1030 168677 9651 41578 0 35668 126575 3018200 94.09 99.45 -- 182.09/45.64 c N dy 1098 179527 9651 41578 0 28521 126575 1851431 94.13 103.11 -- 191.28/47.91 c N dy 1167 191034 9651 41578 0 21025 126575 552302 94.01 100.22 -- 200.48/50.22 c N dy 1245 203252 9651 41578 0 33242 126575 2397422 94.02 103.12 -- 210.88/52.83 c N dy 1329 216282 9651 41578 0 26274 126575 1173108 93.91 101.44 -- 222.44/55.78 c N dy 1426 230084 9651 41578 0 40075 126575 3287939 94.10 101.79 -- 228.45/57.28 c S st 1480 237810 9651 41578 0 26798 126575 1136181 94.13 no data -- 228.83/57.38 c S st 1480 238311 9651 41578 0 27299 126575 1192928 94.13 no data -- 228.83/57.39 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 228.83/57.39 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 229.23/57.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 229.23/57.49 c bin-w-bin subsume rem 0 bins time: 0.01 s 229.23/57.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 229.23/57.49 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.01 s 229.23/57.49 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 239.22/59.91 c lits-rem: 15 cl-subs: 1 v-elim: 0 v-fix: 0 time: 9.64 s 239.22/59.92 c vivif2 -- cl tried 41578 cl shrink 0 lits rem 0 time: 0.01 239.22/59.93 c vivif2 -- cl tried 27298 cl shrink 0 lits rem 0 time: 0.06 239.62/60.00 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.26 239.62/60.00 c calculated reachability. Time: 0.00 239.62/60.00 c N dy 1480 238311 9651 41578 0 27298 126575 1192795 94.13 no data -- 252.00/63.14 c N dy 1578 253635 9651 41578 0 42620 126575 3506488 94.19 100.05 -- 265.18/66.48 c N dy 1678 269843 9651 41578 0 36830 126575 2543038 94.26 101.98 -- 279.56/70.03 c N dy 1792 287148 9651 41578 0 31136 126575 1484012 94.34 99.79 -- 295.13/73.96 c N dy 1911 305561 9651 41578 0 25549 126575 513401 94.38 105.52 -- 295.54/74.08 c F st 1914 306252 9651 41578 0 26240 126575 619932 94.38 no data -- 311.53/78.06 c N dy 2012 325146 9651 41578 0 45133 126575 3709371 94.45 102.39 -- 328.30/82.22 c N dy 2146 345171 9651 41578 0 40161 126575 2582083 94.55 117.54 -- 339.48/85.00 c S st 2222 357467 9651 41578 0 26471 126575 355093 94.53 89.39 -- 339.88/85.10 c S st 2222 357970 9651 41578 0 26974 126575 416928 94.53 no data -- 339.88/85.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 339.88/85.10 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 339.88/85.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.5M T: 0.16 339.88/85.17 c bin-w-bin subsume rem 0 bins time: 0.01 s 339.88/85.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 339.88/85.18 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.01 s 339.88/85.18 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 346.68/86.84 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 6.62 s 346.68/86.84 c vivif2 -- cl tried 41578 cl shrink 0 lits rem 0 time: 0.01 346.68/86.85 c vivif2 -- cl tried 26974 cl shrink 0 lits rem 0 time: 0.02 347.08/86.91 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.25 347.08/86.92 c calculated reachability. Time: 0.00 347.08/86.92 c N dy 2222 357970 9651 41578 0 26974 126575 416928 94.53 no data -- 363.84/91.14 c N dy 2356 378007 9651 41578 0 47010 126575 3460265 94.60 148.06 -- 381.41/95.55 c N dy 2486 398119 9651 41578 0 40119 126575 2294069 94.65 101.04 -- 400.58/100.34 c N dy 2618 418172 9651 41578 0 32172 126575 933122 94.69 104.24 -- 418.16/104.78 c N dy 2754 438211 9651 41578 0 52208 126575 3951573 94.71 115.06 -- 435.74/109.13 c N dy 2875 458214 9651 41578 0 43211 126575 2424740 94.67 114.18 -- 454.51/113.83 c N dy 3005 478280 9651 41578 0 33274 126575 822154 94.72 103.20 -- 472.48/118.38 c N dy 3139 498743 9651 41578 0 53736 126575 3902145 94.74 100.23 -- 490.85/122.98 c N dy 3269 518826 9651 41578 0 42824 126575 2124471 94.78 99.94 -- 508.43/127.32 c S st 3389 536956 9651 41578 0 60953 126575 4873117 94.85 no data -- 508.83/127.47 c S st 3389 537460 9651 41578 0 61457 126575 4929821 94.85 no data -- 508.83/127.48 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 508.83/127.48 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 509.24/127.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.25 510.42/127.80 c bin-w-bin subsume rem 0 bins time: 0.01 s 510.42/127.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 510.42/127.81 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.01 s 510.42/127.81 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 780.85/195.50 c lits-rem: 0 cl-subs: 10 v-elim: 0 v-fix: 0 time: 269.86 s 780.85/195.50 c vivif2 -- cl tried 41578 cl shrink 0 lits rem 0 time: 0.01 780.85/195.57 c vivif2 -- cl tried 61447 cl shrink 0 lits rem 0 time: 0.25 781.67/195.70 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.55 781.67/195.71 c calculated reachability. Time: 0.00 781.67/195.71 c N dy 3389 537460 9651 41578 0 61447 126575 4925985 94.85 no data -- 800.42/200.41 c N dy 3518 557555 9651 41578 0 49540 126575 2990543 94.84 103.61 -- 820.80/205.59 c N dy 3648 577611 9651 41578 0 36595 126575 860964 94.90 100.48 -- 840.76/210.51 c N dy 3779 597893 9651 41578 0 56877 126575 3918135 94.93 102.33 -- 861.15/215.68 c N dy 3915 617914 9651 41578 0 42899 126575 1711908 95.01 103.86 -- 881.51/220.72 c N dy 4031 637947 9651 41578 0 62932 126575 4747140 95.02 100.72 -- 901.88/225.81 c N dy 4161 657957 9651 41578 0 47940 126575 2331475 95.04 100.64 -- 923.05/231.19 c N dy 4293 677996 9651 41578 0 67978 126575 5382996 95.06 100.88 -- 943.02/236.18 c N dy 4429 698045 9651 41578 0 52026 126575 2762763 95.09 103.07 -- 964.99/241.68 c N dy 4564 718083 9651 41578 0 72063 126575 5827623 95.14 101.99 -- 984.96/246.63 c N dy 4695 738145 9651 41578 0 55129 126575 3104540 95.16 117.31 -- 1007.73/252.34 c N dy 4830 758292 9651 41578 0 75275 126575 6167475 95.18 104.20 -- 1027.72/257.33 c N dy 4960 778463 9651 41578 0 57451 126575 3325673 95.18 101.45 -- 1050.47/263.00 c N dy 5080 798468 9651 41578 0 77456 126575 6332587 95.17 101.78 -- 1057.66/264.87 c S st 5133 806190 9651 41578 0 46175 126575 1446383 95.19 94.25 -- 1058.48/265.01 c S st 5133 806692 9651 41578 0 46677 126575 1501658 95.19 no data -- 1058.48/265.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1058.48/265.01 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1058.48/265.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.23 1058.88/265.14 c bin-w-bin subsume rem 0 bins time: 0.02 s 1058.88/265.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1058.88/265.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.01 s 1058.88/265.16 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 1072.44/268.54 c lits-rem: 22 cl-subs: 3 v-elim: 0 v-fix: 0 time: 13.49 s 1072.44/268.54 c vivif2 -- cl tried 41578 cl shrink 0 lits rem 0 time: 0.02 1072.44/268.56 c vivif2 -- cl tried 46674 cl shrink 0 lits rem 0 time: 0.08 1072.84/268.67 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.42 1072.84/268.67 c calculated reachability. Time: 0.00 1072.84/268.68 c N dy 5133 806692 9651 41578 0 46674 126575 1500712 95.19 no data -- 1094.03/273.92 c N dy 5267 826866 9651 41578 0 66847 126575 4595345 95.22 101.25 -- 1116.37/279.52 c N dy 5405 846879 9651 41578 0 46863 126575 1407061 95.25 103.07 -- 1137.15/284.75 c N dy 5540 866983 9651 41578 0 66966 126575 4495296 95.28 100.42 -- 1158.71/290.19 c N dy 5672 887014 9651 41578 0 45994 126575 1118468 95.30 106.55 -- 1178.29/295.09 c N dy 5796 907023 9651 41578 0 66000 126575 4128211 95.30 100.68 -- 1201.05/300.78 c N dy 5917 927079 9651 41578 0 44054 126575 692568 95.29 100.83 -- 1220.62/305.65 c N dy 6044 947119 9651 41578 0 64094 126575 3766275 95.31 101.58 -- 1243.41/311.34 c N dy 6174 967141 9651 41578 0 84115 126575 6816188 95.32 103.00 -- 1263.37/316.30 c N dy 6311 987199 9651 41578 0 61174 126575 3138271 95.37 101.36 -- 1285.74/321.95 c N dy 6441 1007301 9651 41578 0 81276 126575 6144907 95.37 101.37 -- 1307.71/327.48 c N dy 6579 1027322 9651 41578 0 57299 126575 2423181 95.40 104.52 -- 1330.48/333.20 c N dy 6711 1047328 9651 41578 0 77304 126575 5490022 95.43 127.32 -- 1354.05/339.05 c N dy 6834 1067461 9651 41578 0 52438 126575 1523079 95.42 100.59 -- 1358.44/340.17 c F st 6863 1071877 9651 41578 0 56854 126575 2203380 95.43 92.01 -- 1375.61/344.46 c N dy 6939 1087463 9651 41578 0 72438 126575 4804731 95.45 126.80 -- 1400.37/350.64 c N dy 7073 1107466 9651 41578 0 46444 126575 471803 95.48 106.45 -- 1420.35/355.63 c N dy 7213 1127473 9651 41578 0 66446 126575 3591144 95.53 102.87 -- 1443.52/361.49 c N dy 7348 1147522 9651 41578 0 86493 126575 6667050 95.58 127.15 -- 1465.89/367.04 c N dy 7485 1167856 9651 41578 0 59831 126575 2389724 95.60 103.13 -- 1487.86/372.59 c N dy 7613 1187934 9651 41578 0 79905 126575 5454141 95.61 106.44 -- 1512.22/378.63 c N dy 7743 1207944 9651 41578 0 51920 126575 1022192 95.62 106.66 -- 1514.22/379.13 c S st 7757 1210038 9651 41578 0 54014 126575 1342421 95.62 98.47 -- 1514.62/379.27 c S st 7757 1210542 9651 41578 0 54518 126575 1403983 95.62 no data -- 1514.62/379.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 1514.62/379.28 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1515.02/379.33 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.24 1515.43/379.40 c bin-w-bin subsume rem 0 bins time: 0.01 s 1515.43/379.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 1515.43/379.41 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.01 s 1515.43/379.41 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.01 s 1528.20/382.62 c lits-rem: 4 cl-subs: 0 v-elim: 0 v-fix: 0 time: 12.78 s 1528.20/382.62 c vivif2 -- cl tried 41578 cl shrink 0 lits rem 0 time: 0.01 1528.20/382.64 c vivif2 -- cl tried 54518 cl shrink 0 lits rem 0 time: 0.08 1528.62/382.75 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.44 1528.62/382.76 c calculated reachability. Time: 0.00 1528.62/382.76 c N dy 7757 1210542 9651 41578 0 54518 126575 1403979 95.62 no data -- 1549.37/387.99 c N dy 7890 1230574 9651 41578 0 74548 126575 4489219 95.64 103.68 -- 1574.13/394.12 c N dy 8018 1250668 9651 41578 0 94641 126575 7558197 95.65 101.75 -- 1595.29/399.49 c N dy 8153 1270812 9651 41578 0 65789 126575 2988194 95.67 104.53 -- 1618.87/405.36 c N dy 8293 1290873 9651 41578 0 85848 126575 6089793 95.71 124.59 -- 1643.63/411.56 c N dy 8436 1311102 9651 41578 0 56083 126575 1348311 95.76 103.12 -- 1665.59/417.01 c N dy 8569 1331201 9651 41578 0 76181 126575 4451503 95.78 101.42 -- 1690.37/423.28 c N dy 8699 1351374 9651 41578 0 96353 126575 7515460 95.78 109.42 -- 1713.15/428.96 c N dy 8830 1371434 9651 41578 0 65409 126575 2636071 95.79 101.10 -- 1737.50/435.07 c N dy 8958 1391517 9651 41578 0 85490 126575 5726549 95.81 102.77 -- 1763.86/441.60 c N dy 9094 1411557 9651 41578 0 53537 126575 679759 95.83 104.97 -- 1784.63/446.88 c N dy 9231 1431651 9651 41578 0 73626 126575 3788074 95.85 101.83 -- 1809.00/452.94 c N dy 9354 1451666 9651 41578 0 93640 126575 6833882 95.84 116.56 -- 1833.76/459.11 c N dy 9481 1471707 9651 41578 0 60688 126575 1630243 95.84 101.41 -- 1855.73/464.69 c N dy 9618 1491798 9651 41578 0 80778 126575 4743371 95.87 124.47 -- 1881.29/471.03 c N dy 9740 1511879 9651 41578 0 100856 126575 7836708 95.86 101.28 -- 1904.85/476.97 c N dy 9877 1532040 9651 41578 0 67014 126575 2418148 95.88 100.93 -- 1928.44/482.85 c N dy 10010 1552100 9651 41578 0 87072 126575 5523671 95.89 101.26 -- 1955.58/489.60 c N dy 10141 1572258 9651 41578 0 107229 126575 8589575 95.90 100.98 -- 1977.55/495.19 c N dy 10270 1592320 9651 41578 0 72296 126575 3079259 95.90 101.42 -- 2003.54/501.62 c N dy 10401 1612469 9651 41578 0 92445 126575 6120618 95.91 102.51 -- 2034.67/509.42 c N dy 10540 1632566 9651 41578 0 56544 126575 549076 95.93 101.78 -- 2058.24/515.39 c N dy 10674 1652816 9651 41578 0 76792 126575 3654223 95.95 101.20 -- 2085.81/522.23 c N dy 10805 1672912 9651 41578 0 96885 126575 6753827 95.95 106.73 -- 2116.16/529.83 c N dy 10936 1693068 9651 41578 0 60047 126575 943242 95.97 102.75 -- 2136.93/535.03 c S st 11045 1710544 9651 41578 0 77521 126575 3609894 95.97 no data -- 2137.73/535.23 c S st 11045 1711047 9651 41578 0 78024 126575 3672621 95.97 no data -- 2137.73/535.24 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.05 2137.73/535.24 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2138.13/535.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.33 2138.93/535.51 c bin-w-bin subsume rem 0 bins time: 0.01 s 2138.93/535.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2138.93/535.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.01 s 2138.93/535.52 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 2289.92/573.35 c lits-rem: 1 cl-subs: 5 v-elim: 0 v-fix: 0 time: 150.82 s 2289.92/573.35 c vivif2 -- cl tried 41578 cl shrink 0 lits rem 0 time: 0.02 2290.32/573.40 c vivif2 -- cl tried 78019 cl shrink 0 lits rem 0 time: 0.20 2290.72/573.57 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.67 2290.72/573.58 c calculated reachability. Time: 0.00 2290.72/573.58 c N dy 11045 1711047 9651 41578 0 78019 126575 3671022 95.97 no data -- 2316.68/580.09 c N dy 11176 1731128 9651 41578 0 98100 126575 6752211 95.98 102.47 -- 2346.26/587.46 c N dy 11310 1751326 9651 41578 0 60299 126575 820277 95.99 101.73 -- 2369.41/593.20 c N dy 11439 1771467 9651 41578 0 80440 126575 3931931 96.00 101.99 -- 2394.97/599.60 c N dy 11570 1791542 9651 41578 0 100515 126575 7044664 96.02 119.29 -- 2422.93/606.61 c N dy 11699 1811604 9651 41578 0 61580 126575 863520 96.03 101.68 -- 2445.54/612.35 c N dy 11824 1831662 9651 41578 0 81637 126575 3951048 96.03 123.90 -- 2472.67/619.21 c N dy 11959 1851683 9651 41578 0 101657 126575 7024127 96.05 121.01 -- 2502.00/626.61 c N dy 12091 1871754 9651 41578 0 61725 126575 743648 96.05 102.30 -- 2524.37/632.22 c N dy 12225 1891762 9651 41578 0 81730 126575 3846032 96.07 104.47 -- 2550.74/638.82 c N dy 12370 1911967 9651 41578 0 101932 126575 6999732 96.10 101.63 -- 2579.90/646.16 c N dy 12497 1932055 9651 41578 0 61033 126575 497923 96.11 106.28 -- 2601.86/651.69 c N dy 12632 1952062 9651 41578 0 81039 126575 3580873 96.12 101.77 -- 2627.83/658.15 c N dy 12757 1972111 9651 41578 0 101087 126575 6678552 96.13 101.76 -- 2657.00/665.43 c N dy 12890 1992124 9651 41578 0 121100 126575 9745638 96.14 104.62 -- 2680.95/671.40 c N dy 13027 2012151 9651 41578 0 79124 126575 3122264 96.15 107.69 -- 2706.51/677.86 c N dy 13167 2032389 9651 41578 0 99362 126575 6251818 96.18 101.57 -- 2735.67/685.18 c N dy 13295 2052583 9651 41578 0 119554 126575 9377165 96.19 105.44 -- 2761.24/691.54 c N dy 13426 2072605 9651 41578 0 76581 126575 2602229 96.20 102.22 -- 2786.40/697.81 c N dy 13555 2092762 9651 41578 0 96736 126575 5724750 96.20 103.36 -- 2815.18/705.07 c N dy 13697 2112856 9651 41578 0 116827 126575 8864119 96.23 101.71 -- 2843.12/712.09 c N dy 13828 2132912 9651 41578 0 72892 126575 1909012 96.24 102.13 -- 2869.08/718.50 c N dy 13956 2153080 9651 41578 0 93059 126575 5024208 96.25 102.63 -- 2898.24/725.83 c N dy 14087 2173368 9651 41578 0 113345 126575 8156331 96.26 105.78 -- 2929.41/733.67 c N dy 14219 2193416 9651 41578 0 68397 126575 1026851 96.27 119.99 -- 2950.98/739.00 c S st 14341 2211049 9651 41578 0 86029 126575 3744020 96.27 100.03 -- 2951.39/739.19 c S st 14341 2211553 9651 41578 0 86533 126575 3803957 96.27 no data -- 2951.79/739.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.06 2951.79/739.21 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2951.79/739.29 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.34 2952.56/739.48 c bin-w-bin subsume rem 0 bins time: 0.01 s 2952.56/739.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 2952.56/739.48 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.02 s 2952.56/739.49 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 3121.54/781.71 c lits-rem: 1 cl-subs: 6 v-elim: 0 v-fix: 0 time: 168.28 s 3121.54/781.72 c vivif2 -- cl tried 41578 cl shrink 0 lits rem 0 time: 0.02 3121.54/781.77 c vivif2 -- cl tried 86527 cl shrink 0 lits rem 0 time: 0.21 3122.34/781.96 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.78 3122.34/781.97 c calculated reachability. Time: 0.00 3122.34/781.97 c N dy 14341 2211553 9651 41578 0 86527 126575 3801974 96.27 no data -- 3151.89/789.32 c N dy 14460 2231609 9651 41578 0 106583 126575 6886067 96.26 101.39 -- 3186.25/797.91 c N dy 14589 2251642 9651 41578 0 126616 126575 10011223 96.27 107.47 -- 3214.60/805.09 c N dy 14720 2271864 9651 41578 0 80834 126575 2804610 96.28 101.42 -- 3243.37/812.27 c N dy 14856 2291901 9651 41578 0 100871 126575 5895103 96.29 101.78 -- 3276.54/820.59 c N dy 14987 2312118 9651 41578 0 121086 126575 8966683 96.29 103.12 -- 3309.27/828.77 c N dy 15117 2332180 9651 41578 0 74151 126575 1633250 96.30 101.42 -- 3336.43/835.57 c N dy 15246 2352216 9651 41578 0 94185 126575 4689495 96.30 105.03 -- 3368.40/843.57 c N dy 15376 2372373 9651 41578 0 114338 126575 7796370 96.31 101.67 -- 3403.55/852.35 c N dy 15488 2392538 9651 41578 0 134502 126575 10889974 96.31 102.14 -- 3430.72/859.12 c N dy 15620 2412593 9651 41578 0 86560 126575 3413166 96.32 114.34 -- 3460.26/866.53 c N dy 15749 2432687 9651 41578 0 106653 126575 6507854 96.33 108.19 -- 3493.82/874.90 c N dy 15880 2453692 9651 41578 0 127654 126575 9772238 96.33 102.46 -- 3523.77/882.47 c N dy 16008 2473808 9651 41578 0 78776 126575 2064573 96.34 103.00 -- 3550.54/889.17 c N dy 16134 2493887 9651 41578 0 98855 126575 5151567 96.34 116.44 -- 3581.29/896.89 c N dy 16267 2513954 9651 41578 0 118922 126575 8230541 96.35 105.19 -- 3615.64/905.48 c N dy 16388 2533964 9651 41578 0 138932 126575 11311805 96.34 101.91 -- 3641.63/911.93 c N dy 16507 2553983 9651 41578 0 88954 126575 3457735 96.34 111.39 -- 3670.37/919.14 c N dy 16637 2574008 9651 41578 0 108977 126575 6545934 96.35 101.62 -- 3703.15/927.35 c N dy 16767 2594014 9651 41578 0 128982 126575 9569576 96.35 103.38 -- 3735.49/935.45 c N dy 16893 2614064 9651 41578 0 78037 126575 1623271 96.36 101.94 -- 3762.25/942.10 c N dy 17028 2634081 9651 41578 0 98051 126575 4733032 96.38 101.90 -- 3792.60/949.75 c N dy 17157 2654093 9651 41578 0 118061 126575 7826995 96.39 102.83 -- 3828.95/958.84 c N dy 17293 2674121 9651 41578 0 138089 126575 10944472 96.41 118.84 -- 3859.32/966.42 c N dy 17423 2694336 9651 41578 0 86310 126575 2760268 96.41 102.38 -- 3884.07/972.61 c S st 17532 2711553 9651 41578 0 103524 126575 5389746 96.41 92.12 -- 3884.88/972.86 c S st 17532 2712059 9651 41578 0 104030 126575 5442845 96.41 no data -- 3884.88/972.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.07 3884.88/972.87 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3885.28/972.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.4M T: 0.41 3886.48/973.26 c bin-w-bin subsume rem 0 bins time: 0.01 s 3886.48/973.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 3886.48/973.26 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 9651 time: 0.01 s 3886.48/973.27 c Removed useless bin: 0 fixed: 0 props: 0.09M time: 0.02 s 4267.95/1068.74 c lits-rem: 0 cl-subs: 2 v-elim: 0 v-fix: 0 time: 380.68 s 4267.95/1068.74 c vivif2 -- cl tried 41578 cl shrink 0 lits rem 0 time: 0.01 4268.34/1068.82 c vivif2 -- cl tried 104028 cl shrink 0 lits rem 0 time: 0.29 4269.15/1069.04 c asymm cl-useful: 0/41578/41578 lits-rem:0 time: 0.88 4269.15/1069.04 c calculated reachability. Time: 0.00 4269.15/1069.04 c N dy 17532 2712059 9651 41578 0 104028 126575 5442073 96.41 no data -- 4300.32/1076.87 c N dy 17661 2732085 9651 41578 0 124053 126575 8506692 96.41 123.89 -- 4336.24/1085.83 c N dy 17787 2752095 9651 41578 0 144058 126575 11610280 96.42 107.02 -- 4363.41/1092.64 c N dy 17918 2772213 9651 41578 0 91186 126575 3388806 96.43 102.81 -- 4392.99/1100.05 c N dy 18052 2792352 9651 41578 0 111322 126575 6477191 96.43 102.29 -- 4426.52/1108.42 c N dy 18176 2812550 9651 41578 0 131517 126575 9613815 96.44 102.92 -- 4461.66/1117.20 c N dy 18296 2832639 9651 41578 0 77602 126575 1122792 96.44 163.02 -- 4488.03/1123.81 c N dy 18428 2852686 9651 41578 0 97647 126575 4184029 96.44 109.68 -- 4518.79/1131.51 c N dy 18557 2872767 9651 41578 0 117726 126575 7248001 96.44 103.41 -- 4553.54/1140.26 c N dy 18684 2892875 9651 41578 0 137832 126575 10368672 96.45 105.01 -- 4586.32/1148.44 c N dy 18809 2912921 9651 41578 0 82878 126575 1787973 96.45 106.28 -- 4613.86/1155.34 c N dy 18938 2932962 9651 41578 0 102918 126575 4845350 96.45 103.31 -- 4645.81/1163.36 c N dy 19077 2953082 9651 41578 0 123038 126575 7958661 96.46 102.06 -- 4681.76/1172.38 c N dy 19217 2973152 9651 41578 0 143108 126575 11128612 96.48 101.58 -- 4713.73/1180.32 c N dy 19358 2993251 9651 41578 0 87216 126575 2336099 96.50 103.26 -- 4742.47/1187.58 c N dy 19497 3013357 9651 41578 0 107319 126575 5444488 96.51 105.00 -- 4777.22/1196.26 c N dy 19634 3033391 9651 41578 0 127350 126575 8533655 96.53 103.12 --
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-3175058-1304080127/watcher-3175058-1304080127 -o /tmp/evaluation-result-3175058-1304080127/solver-3175058-1304080127 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175058-1304080127.cnf running on 4 cores: 0,2,4,6 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: 8.00 8.04 8.06 6/180 31229 /proc/meminfo: memFree=30894528/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 417 0 0 0 0 0 0 0 25 0 4 0 598243331 52465664 357 33554432000 4194304 4650419 140735408884112 18446744073709551615 218880565179 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 12809 357 306 112 0 7774 0 [pid=31229/tid=31230] ppid=31226 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 598243331 52465664 357 33554432000 4194304 4650419 140735408884112 18446744073709551615 47603590719400 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 598243331 52465664 357 33554432000 4194304 4650419 140735408884112 18446744073709551615 218875612246 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 598243331 52465664 357 33554432000 4194304 4650419 140735408884112 18446744073709551615 218875612246 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.034788 s] /proc/loadavg: 8.00 8.04 8.06 6/180 31229 /proc/meminfo: memFree=30894528/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=293152 CPUtime=0.1 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 7701 0 0 0 9 1 0 0 18 0 4 0 598243331 300187648 6698 33554432000 4194304 4650419 140735408884112 18446744073709551615 4534624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 73288 6698 360 112 0 68253 0 [pid=31229/tid=31230] ppid=31226 vsize=293152 CPUtime=0.02 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1902 0 0 0 2 0 0 0 18 0 4 0 598243331 300187648 6700 33554432000 4194304 4650419 140735408884112 18446744073709551615 4520352 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=293152 CPUtime=0.02 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1743 0 0 0 2 0 0 0 18 0 4 0 598243331 300187648 6701 33554432000 4194304 4650419 140735408884112 18446744073709551615 218880670190 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=293152 CPUtime=0.01 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) S 31226 31229 30991 0 -1 4202560 1751 0 0 0 1 0 0 0 18 0 4 0 598243331 300187648 6701 33554432000 4194304 4650419 140735408884112 18446744073709551615 218880670190 0 0 4096 2 18446604453958759552 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 293152 [startup+0.140543 s] /proc/loadavg: 8.00 8.04 8.06 6/180 31229 /proc/meminfo: memFree=30894528/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=301852 CPUtime=0.52 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 14393 0 0 0 50 2 0 0 18 0 4 0 598243331 309096448 12645 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476293 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 75463 12669 385 112 0 70428 0 [pid=31229/tid=31230] ppid=31226 vsize=301852 CPUtime=0.12 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 4069 0 0 0 12 0 0 0 18 0 4 0 598243331 309096448 12682 33554432000 4194304 4650419 140735408884112 18446744073709551615 218880262263 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=301852 CPUtime=0.12 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 3874 0 0 0 12 0 0 0 18 0 4 0 598243331 309096448 12691 33554432000 4194304 4650419 140735408884112 18446744073709551615 218880262593 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=301852 CPUtime=0.12 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 2020 0 0 0 12 0 0 0 18 0 4 0 598243331 309096448 12693 33554432000 4194304 4650419 140735408884112 18446744073709551615 4334017 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.52 Current children cumulated vsize (KiB) 301852 [startup+0.300736 s] /proc/loadavg: 8.00 8.04 8.06 6/180 31229 /proc/meminfo: memFree=30894528/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=303028 CPUtime=1.16 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 15975 0 0 0 114 2 0 0 18 0 4 0 598243331 310300672 12444 33554432000 4194304 4650419 140735408884112 18446744073709551615 4367415 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 75757 12444 391 112 0 70722 0 [pid=31229/tid=31230] ppid=31226 vsize=303028 CPUtime=0.29 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 4619 0 0 0 28 1 0 0 18 0 4 0 598243331 310300672 12444 33554432000 4194304 4650419 140735408884112 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=303028 CPUtime=0.28 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 4366 0 0 0 28 0 0 0 18 0 4 0 598243331 310300672 12444 33554432000 4194304 4650419 140735408884112 18446744073709551615 4328264 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=303028 CPUtime=0.28 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 2181 0 0 0 28 0 0 0 18 0 4 0 598243331 310300672 12444 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 303028 [startup+0.700666 s] /proc/loadavg: 8.00 8.04 8.06 6/180 31229 /proc/meminfo: memFree=30894528/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=303028 CPUtime=2.76 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 17727 0 0 0 274 2 0 0 18 0 4 0 598243331 310300672 14196 33554432000 4194304 4650419 140735408884112 18446744073709551615 4364539 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 75757 14196 391 112 0 70722 0 [pid=31229/tid=31230] ppid=31226 vsize=303028 CPUtime=0.69 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 5072 0 0 0 68 1 0 0 18 0 4 0 598243331 310300672 14196 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=303028 CPUtime=0.68 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 4816 0 0 0 68 0 0 0 18 0 4 0 598243331 310300672 14196 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=303028 CPUtime=0.68 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 2591 0 0 0 68 0 0 0 18 0 4 0 598243331 310300672 14196 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363469 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.76 Current children cumulated vsize (KiB) 303028 [startup+1.50053 s] /proc/loadavg: 8.00 8.04 8.06 9/184 31233 /proc/meminfo: memFree=30772100/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=308084 CPUtime=5.95 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 23414 0 0 0 592 3 0 0 20 0 4 0 598243331 315478016 14425 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363458 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 77021 14425 393 112 0 71986 0 [pid=31229/tid=31230] ppid=31226 vsize=308084 CPUtime=1.49 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 6407 0 0 0 148 1 0 0 19 0 4 0 598243331 315478016 14425 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363613 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=308084 CPUtime=1.47 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 6196 0 0 0 147 0 0 0 20 0 4 0 598243331 315478016 14425 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363460 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=308084 CPUtime=1.48 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 4231 0 0 0 148 0 0 0 20 0 4 0 598243331 315478016 14425 33554432000 4194304 4650419 140735408884112 18446744073709551615 4315137 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 308084 [startup+3.10025 s] /proc/loadavg: 8.00 8.04 8.06 9/184 31233 /proc/meminfo: memFree=30771852/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=309280 CPUtime=12.34 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 31808 0 0 0 1227 7 0 0 25 0 4 0 598243331 316702720 16223 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 77320 16223 393 112 0 72285 0 [pid=31229/tid=31230] ppid=31226 vsize=309280 CPUtime=3.08 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 8482 0 0 0 306 2 0 0 25 0 4 0 598243331 316702720 16223 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365333 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=309280 CPUtime=3.07 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 8379 0 0 0 306 1 0 0 25 0 4 0 598243331 316702720 16223 33554432000 4194304 4650419 140735408884112 18446744073709551615 4367241 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=309280 CPUtime=3.08 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 6288 0 0 0 306 2 0 0 25 0 4 0 598243331 316702720 16223 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363452 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.34 Current children cumulated vsize (KiB) 309280 [startup+6.30069 s] /proc/loadavg: 8.00 8.04 8.06 9/184 31233 /proc/meminfo: memFree=30647048/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=341080 CPUtime=25.12 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 58242 0 0 0 2501 11 0 0 25 0 4 0 598243331 349265920 28500 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 85270 28500 395 112 0 80235 0 [pid=31229/tid=31230] ppid=31226 vsize=341080 CPUtime=6.28 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 16244 0 0 0 624 4 0 0 25 0 4 0 598243331 349265920 28500 33554432000 4194304 4650419 140735408884112 18446744073709551615 4439619 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=341080 CPUtime=6.25 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 12707 0 0 0 624 1 0 0 25 0 4 0 598243331 349265920 28500 33554432000 4194304 4650419 140735408884112 18446744073709551615 4328259 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=341080 CPUtime=6.28 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 10512 0 0 0 626 2 0 0 25 0 4 0 598243331 349265920 28500 33554432000 4194304 4650419 140735408884112 18446744073709551615 4316067 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 341080 [startup+12.7006 s] /proc/loadavg: 8.00 8.04 8.06 9/184 31234 /proc/meminfo: memFree=30533228/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=344132 CPUtime=50.69 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 92197 0 0 0 5050 19 0 0 25 0 4 0 598243331 352391168 44934 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363566 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 86033 44934 395 112 0 80998 0 [pid=31229/tid=31230] ppid=31226 vsize=344132 CPUtime=12.68 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 18973 0 0 0 1264 4 0 0 25 0 4 0 598243331 352391168 44934 33554432000 4194304 4650419 140735408884112 18446744073709551615 4364400 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=344132 CPUtime=12.62 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 26319 0 0 0 1257 5 0 0 25 0 4 0 598243331 352391168 44934 33554432000 4194304 4650419 140735408884112 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=344132 CPUtime=12.68 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 23023 0 0 0 1263 5 0 0 25 0 4 0 598243331 352391168 44934 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.69 Current children cumulated vsize (KiB) 344132 [startup+25.5003 s] /proc/loadavg: 8.00 8.04 8.06 9/184 31234 /proc/meminfo: memFree=30342012/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=380220 CPUtime=101.81 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 150775 0 0 0 10149 32 0 0 25 0 4 0 598243331 389345280 66513 33554432000 4194304 4650419 140735408884112 18446744073709551615 4364400 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 95055 66514 395 112 0 90020 0 [pid=31229/tid=31230] ppid=31226 vsize=380220 CPUtime=25.48 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 36803 0 0 0 2540 8 0 0 25 0 4 0 598243331 389345280 66514 33554432000 4194304 4650419 140735408884112 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=380220 CPUtime=25.34 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 41341 0 0 0 2526 8 0 0 25 0 4 0 598243331 389345280 66514 33554432000 4194304 4650419 140735408884112 18446744073709551615 4333622 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=380220 CPUtime=25.48 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 33856 0 0 0 2541 7 0 0 25 0 4 0 598243331 389345280 66514 33554432000 4194304 4650419 140735408884112 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.81 Current children cumulated vsize (KiB) 380220 [startup+51.1009 s] /proc/loadavg: 8.07 8.05 8.06 9/184 31235 /proc/meminfo: memFree=30228252/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=535880 CPUtime=204.06 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 235149 0 0 0 20353 53 0 0 25 0 4 0 598243331 548741120 74495 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 133970 74495 395 112 0 128935 0 [pid=31229/tid=31230] ppid=31226 vsize=535880 CPUtime=51.07 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 61091 0 0 0 5093 14 0 0 25 0 4 0 598243331 548741120 74495 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363426 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=535880 CPUtime=50.9 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 65843 0 0 0 5076 14 0 0 25 0 4 0 598243331 548741120 74495 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363568 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=535880 CPUtime=50.98 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 57369 0 0 0 5085 13 0 0 25 0 4 0 598243331 548741120 74495 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 204.06 Current children cumulated vsize (KiB) 535880 [startup+102.307 s] /proc/loadavg: 8.11 8.06 8.06 9/184 31236 /proc/meminfo: memFree=30032984/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=670876 CPUtime=408.6 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 398072 0 0 0 40762 98 0 0 25 0 4 0 598243331 686977024 90702 33554432000 4194304 4650419 140735408884112 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 167719 90702 395 112 0 162684 0 [pid=31229/tid=31230] ppid=31226 vsize=670876 CPUtime=102.28 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 103940 0 0 0 10203 25 0 0 25 0 4 0 598243331 686977024 90702 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=670876 CPUtime=102.11 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 107898 0 0 0 10184 27 0 0 25 0 4 0 598243331 686977024 90702 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363514 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=670876 CPUtime=101.91 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 102321 0 0 0 10166 25 0 0 25 0 4 0 598243331 686977024 90702 33554432000 4194304 4650419 140735408884112 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 408.6 Current children cumulated vsize (KiB) 670876 [startup+162.301 s] ################ # More data... # ################ [pid=31229] ppid=31226 vsize=913364 CPUtime=2564.73 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 2143929 0 0 0 255936 537 0 0 25 0 4 0 598243331 935284736 166454 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363553 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 228341 166454 395 112 0 223306 0 [pid=31229/tid=31230] ppid=31226 vsize=913364 CPUtime=642.16 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 624862 0 0 0 64076 140 0 0 25 0 4 0 598243331 935284736 166454 33554432000 4194304 4650419 140735408884112 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=913364 CPUtime=642.1 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 571449 0 0 0 64063 147 0 0 25 0 4 0 598243331 935284736 166454 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=913364 CPUtime=638.95 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 637725 0 0 0 63739 156 0 0 25 0 4 0 598243331 935284736 166454 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2564.73 Current children cumulated vsize (KiB) 913364 [startup+702.301 s] /proc/loadavg: 8.25 8.16 8.10 9/184 31255 /proc/meminfo: memFree=29535864/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=865784 CPUtime=2804.38 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 2259845 0 0 0 279863 575 0 0 25 0 4 0 598243331 886562816 161239 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 216446 161239 395 112 0 211411 0 [pid=31229/tid=31230] ppid=31226 vsize=865784 CPUtime=702.14 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 655877 0 0 0 70064 150 0 0 25 0 4 0 598243331 886562816 161239 33554432000 4194304 4650419 140735408884112 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=865784 CPUtime=702.09 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 601057 0 0 0 70053 156 0 0 25 0 4 0 598243331 886562816 161239 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=865784 CPUtime=698.62 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 668354 0 0 0 69696 166 0 0 25 0 4 0 598243331 886562816 161239 33554432000 4194304 4650419 140735408884112 18446744073709551615 4314848 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2804.38 Current children cumulated vsize (KiB) 865784 [startup+762.306 s] /proc/loadavg: 8.16 8.15 8.10 9/184 31257 /proc/meminfo: memFree=29488456/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=1045304 CPUtime=3044.06 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 2514168 0 0 0 303769 637 0 0 25 0 4 0 598243331 1070391296 172744 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 261326 172744 395 112 0 256291 0 [pid=31229/tid=31230] ppid=31226 vsize=1045304 CPUtime=762.14 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 687362 0 0 0 76051 163 0 0 25 0 4 0 598243331 1070391296 172744 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=1045304 CPUtime=762.09 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 629349 0 0 0 76040 169 0 0 25 0 4 0 598243331 1070391296 172744 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363500 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=1045304 CPUtime=758.3 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 845659 0 0 0 75636 194 0 0 25 0 4 0 598243331 1070391296 172744 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363522 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3044.06 Current children cumulated vsize (KiB) 1045304 [startup+822.301 s] /proc/loadavg: 8.13 8.14 8.09 9/184 31258 /proc/meminfo: memFree=29350872/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=1124272 CPUtime=3283.71 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 2845643 0 0 0 327675 696 0 0 25 0 4 0 598243331 1151254528 204516 33554432000 4194304 4650419 140735408884112 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 281068 204516 395 112 0 276033 0 [pid=31229/tid=31230] ppid=31226 vsize=1124272 CPUtime=822.14 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 861709 0 0 0 82030 184 0 0 25 0 4 0 598243331 1151254528 204516 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=1124272 CPUtime=822.08 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 743236 0 0 0 82021 187 0 0 25 0 4 0 598243331 1151254528 204516 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476466 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=1124272 CPUtime=817.96 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 871935 0 0 0 81590 206 0 0 25 0 4 0 598243331 1151254528 204516 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3283.71 Current children cumulated vsize (KiB) 1124272 [startup+882.3 s] /proc/loadavg: 8.22 8.16 8.10 9/184 31260 /proc/meminfo: memFree=29370036/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=1029184 CPUtime=3523.37 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 3222138 0 0 0 351572 765 0 0 25 0 4 0 598243331 1053884416 196668 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 257296 196668 395 112 0 252261 0 [pid=31229/tid=31230] ppid=31226 vsize=1029184 CPUtime=882.14 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1044183 0 0 0 88004 210 0 0 25 0 4 0 598243331 1053884416 196668 33554432000 4194304 4650419 140735408884112 18446744073709551615 4364495 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=1029184 CPUtime=882.09 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 884037 0 0 0 88001 208 0 0 25 0 4 0 598243331 1053884416 196668 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=1029184 CPUtime=877.64 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 898127 0 0 0 87545 219 0 0 25 0 4 0 598243331 1053884416 196668 33554432000 4194304 4650419 140735408884112 18446744073709551615 4339796 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3523.37 Current children cumulated vsize (KiB) 1029184 [startup+942.301 s] /proc/loadavg: 8.21 8.16 8.10 9/184 31261 /proc/meminfo: memFree=29393772/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=1093884 CPUtime=3763.04 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 3398553 0 0 0 375491 813 0 0 25 0 4 0 598243331 1120137216 198128 33554432000 4194304 4650419 140735408884112 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 273471 198128 395 112 0 268436 0 [pid=31229/tid=31230] ppid=31226 vsize=1093884 CPUtime=942.15 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1071531 0 0 0 93993 222 0 0 25 0 4 0 598243331 1120137216 198128 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=1093884 CPUtime=942.09 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 981402 0 0 0 93988 221 0 0 25 0 4 0 598243331 1120137216 198128 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=1093884 CPUtime=937.31 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 926395 0 0 0 93500 231 0 0 25 0 4 0 598243331 1120137216 198128 33554432000 4194304 4650419 140735408884112 18446744073709551615 4364604 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3763.04 Current children cumulated vsize (KiB) 1093884 [startup+1002.3 s] /proc/loadavg: 8.14 8.14 8.09 9/184 31263 /proc/meminfo: memFree=29326876/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=1095436 CPUtime=4002.71 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 3675734 0 0 0 399406 865 0 0 25 0 4 0 598243331 1121726464 208572 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 273859 208572 398 112 0 268824 0 [pid=31229/tid=31230] ppid=31226 vsize=1095436 CPUtime=1002.14 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1093572 0 0 0 99981 233 0 0 25 0 4 0 598243331 1121726464 208572 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=1095436 CPUtime=1002.09 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1078099 0 0 0 99973 236 0 0 25 0 4 0 598243331 1121726464 208572 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=1095436 CPUtime=996.98 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1075189 0 0 0 99448 250 0 0 25 0 4 0 598243331 1121726464 208572 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4002.71 Current children cumulated vsize (KiB) 1095436 [startup+1062.3 s] /proc/loadavg: 8.11 8.13 8.09 9/184 31265 /proc/meminfo: memFree=29242020/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=1226168 CPUtime=4242.39 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 3821121 0 0 0 423331 908 0 0 25 0 4 0 598243331 1255596032 226085 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476304 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/31229/statm: 306542 226085 395 112 0 301507 0 [pid=31229/tid=31230] ppid=31226 vsize=1226168 CPUtime=1062.14 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1123547 0 0 0 105966 248 0 0 25 0 4 0 598243331 1255596032 226085 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=1226168 CPUtime=1062.09 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1103789 0 0 0 105958 251 0 0 25 0 4 0 598243331 1255596032 226085 33554432000 4194304 4650419 140735408884112 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=1226168 CPUtime=1056.66 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1164911 0 0 0 105403 263 0 0 25 0 4 0 598243331 1255596032 226085 33554432000 4194304 4650419 140735408884112 18446744073709551615 4540576 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4242.39 Current children cumulated vsize (KiB) 1226168 [startup+1122.3 s] /proc/loadavg: 8.04 8.10 8.08 9/184 31266 /proc/meminfo: memFree=29251504/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=1227144 CPUtime=4482.04 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 3898262 0 0 0 447262 942 0 0 25 0 4 0 598243331 1256595456 223239 33554432000 4194304 4650419 140735408884112 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/31229/statm: 306786 223239 395 112 0 301751 0 [pid=31229/tid=31230] ppid=31226 vsize=1227144 CPUtime=1122.14 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1136190 0 0 0 111964 250 0 0 25 0 4 0 598243331 1256595456 223239 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=1227144 CPUtime=1122.08 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1126420 0 0 0 111947 261 0 0 25 0 4 0 598243331 1256595456 223239 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=1227144 CPUtime=1116.55 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1190290 0 0 0 111378 277 0 0 25 0 4 0 598243331 1256595456 223239 33554432000 4194304 4650419 140735408884112 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4482.04 Current children cumulated vsize (KiB) 1227144 [startup+1182.3 s] /proc/loadavg: 8.12 8.11 8.09 9/184 31268 /proc/meminfo: memFree=29257152/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=1228136 CPUtime=4721.7 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 3964972 0 0 0 471199 971 0 0 25 0 4 0 598243331 1257611264 220308 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/31229/statm: 307034 220308 395 112 0 301999 0 [pid=31229/tid=31230] ppid=31226 vsize=1228136 CPUtime=1182.14 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1136704 0 0 0 117964 250 0 0 25 0 4 0 598243331 1257611264 220308 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476204 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=1228136 CPUtime=1182.09 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1148556 0 0 0 117937 272 0 0 25 0 4 0 598243331 1257611264 220308 33554432000 4194304 4650419 140735408884112 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=1228136 CPUtime=1176.55 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1215672 0 0 0 117366 289 0 0 25 0 4 0 598243331 1257611264 220308 33554432000 4194304 4650419 140735408884112 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4721.7 Current children cumulated vsize (KiB) 1228136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1202 s] /proc/loadavg: 8.09 8.10 8.09 5/179 31269 /proc/meminfo: memFree=29971656/32950928 swapFree=67111524/67111528 [pid=31229] ppid=31226 vsize=1175400 CPUtime=4800.41 cores=0,2,4,6 /proc/31229/stat : 31229 (strangenight1-m) R 31226 31229 30991 0 -1 4202496 4013898 0 0 0 479057 984 0 0 25 0 4 0 598243331 1203609600 229512 33554432000 4194304 4650419 140735408884112 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/31229/statm: 293850 229512 395 112 0 288815 0 [pid=31229/tid=31230] ppid=31226 vsize=1175400 CPUtime=1201.85 cores=0,2,4,6 /proc/31229/task/31230/stat : 31230 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1136704 0 0 0 119935 250 0 0 25 0 4 0 598243331 1203609600 229513 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=31229/tid=31231] ppid=31226 vsize=1175400 CPUtime=1201.8 cores=0,2,4,6 /proc/31229/task/31231/stat : 31231 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1182719 0 0 0 119902 278 0 0 25 0 4 0 598243331 1203609600 229513 33554432000 4194304 4650419 140735408884112 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=31229/tid=31232] ppid=31226 vsize=1175400 CPUtime=1196.24 cores=0,2,4,6 /proc/31229/task/31232/stat : 31232 (strangenight1-m) R 31226 31229 30991 0 -1 4202560 1223353 0 0 0 119332 292 0 0 25 0 4 0 598243331 1203609600 229513 33554432000 4194304 4650419 140735408884112 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4800.41 Current children cumulated vsize (KiB) 1175400 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): 1202.05 CPU time (s): 4800.48 CPU user time (s): 4790.6 CPU system time (s): 9.8835 CPU usage (%): 399.357 Max. virtual memory (cumulated for all children) (KiB): 1228136 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4790.6 system time used= 9.8835 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4013900 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= 1951 involuntary context switches= 22678 runsolver used 1.9417 second user time and 4.6283 second system time The end
Begin job on node112 at 2011-04-29 14:28:47 IDJOB=3175058 IDBENCH=82676 IDSOLVER=1588 FILE ID=node112/3175058-1304080127 RUNJOBID= node112-1304077718-31009 PBS_JOBID= 13170513 Free space on /tmp= 72560 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/large/unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175058-1304080127/watcher-3175058-1304080127 -o /tmp/evaluation-result-3175058-1304080127/solver-3175058-1304080127 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175058-1304080127.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= a2618a2d05b86feb60504578f5d9c7e5 RANDOM SEED=795777155 node112.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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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.828 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.828 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 : 5261.27 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.828 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.82 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.828 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.828 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.93 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 30895196 kB Buffers: 423776 kB Cached: 1166820 kB SwapCached: 4 kB Active: 130764 kB Inactive: 1525456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 30895196 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 14388 kB Writeback: 0 kB AnonPages: 65460 kB Mapped: 14712 kB Slab: 334488 kB PageTables: 4304 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 233036 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= 72560 MiB End job on node112 at 2011-04-29 14:48:51