| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.23 | 1201.77 |
| Name | random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf |
| MD5SUM | c08a1b82ea5b515d260c5edf61d7067c |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 17.5403 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 15000 |
| Number of clauses | 63000 |
| Sum of the clauses size | 189000 |
| 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 | 63000 |
| 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 3.0.0 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3173779-1304031183.cnf' 0.00/0.00 c -- header says num vars: 15000 0.00/0.00 c -- header says num clauses: 63000 0.00/0.07 c -- clauses added: 0 learnts, 63000 normals, 0 xors 0.00/0.07 c -- vars added 15000 0.00/0.07 c Parsing time: 0.04 s 0.00/0.07 c N st 0 0 15000 63000 0 0 189000 0 no data no data 0.00/0.14 c asymm cl-useful: 0/63000/63000 lits-rem:0 time: 0.05 0.00/0.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.02 0.51/0.24 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.51/0.24 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.51/0.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.51/0.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15000 time: 0.00 s 0.51/0.24 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.01 s 0.51/0.97 c lits-rem: 0 cl-subs: 0 v-elim: 393 v-fix: 0 time: 0.09 s 0.51/0.97 c Finding binary XORs T: 0.00 s found: 0 0.51/0.97 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.51/0.97 c calculated reachability. Time: 0.00 0.51/0.97 c Calc default polars - time: 0.00 s pos: 6719 undec: 1652 neg: 6629 0.51/0.97 c ========================================================================================= 0.51/0.97 c types(t): F = full restart, N = normal restart 0.51/0.97 c types(t): S = simplification begin/end, E = solution found 0.51/0.97 c restart types(rt): st = static, dy = dynamic 0.51/0.97 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.51/0.97 c B st 0 0 14607 62536 0 0 189956 0 no data no data 4.78/1.27 c N dy 19 4035 14607 62536 0 4034 189956 771064 104.06 109.99 8.32/2.13 c N dy 50 8037 14607 62536 0 8036 189956 1476566 110.59 118.55 12.33/3.10 c N dy 79 12062 14607 62536 0 12061 189956 2192978 112.09 141.96 15.90/4.09 c N dy 103 16066 14607 62536 0 16065 189956 2911216 111.54 123.63 20.30/5.18 c N dy 131 20149 14607 62536 0 10156 189956 529232 112.41 123.54 24.29/6.17 c N dy 158 24169 14607 62536 0 14175 189956 1248166 112.25 136.92 25.10/6.38 c F st 165 25003 14607 62536 0 15009 189956 1397176 112.35 101.98 28.69/7.27 c N st 170 28300 14607 62536 0 18304 189956 2144044 112.35 no data 30.69/7.74 c S st 171 30000 14607 62536 0 20003 189956 2553373 112.35 no data 31.08/7.87 c S st 171 30501 14607 62536 0 20504 189956 2616543 112.35 no data 31.08/7.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 31.48/7.94 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.06 31.48/7.96 c blocked clauses removed: 255 vars: 40 tried: 14607 T: 0.01 s 31.48/7.96 c bin-w-bin subsume rem 0 bins time: 0.00 s 31.48/7.96 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 31.48/7.97 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14567 time: 0.00 s 31.48/7.97 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 31.88/8.04 c lits-rem: 0 cl-subs: 0 v-elim: 6 v-fix: 0 time: 0.07 s 32.68/8.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 35.48/8.96 c lits-rem: 22 cl-subs: 6 v-elim: 0 v-fix: 0 time: 0.70 s 35.88/9.04 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.08 35.88/9.05 c calculated reachability. Time: 0.00 35.88/9.05 c N dy 171 30501 14561 62275 0 20426 189204 2597780 112.35 no data 40.26/10.19 c N dy 200 34514 14561 62275 0 24439 189204 3320207 112.73 120.41 45.47/11.40 c N dy 221 38674 14561 62275 0 28599 189204 4073348 112.26 118.48 49.86/12.58 c N dy 246 42822 14561 62275 0 17282 189204 915762 111.78 118.55 53.05/13.37 c S st 266 45751 14561 62275 0 20211 189204 1447419 111.88 108.57 53.85/13.51 c S st 266 46251 14561 62275 0 20711 189204 1501076 111.88 no data 53.85/13.52 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 53.85/13.58 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.06 53.85/13.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 54.25/13.60 c bin-w-bin subsume rem 0 bins time: 0.00 s 54.25/13.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 54.25/13.61 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 54.25/13.61 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 54.25/13.67 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 54.65/13.75 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 55.45/13.96 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.20 s 55.45/13.96 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 55.45/13.99 c vivif2 -- cl tried 20710 cl shrink 0 lits rem 0 time: 0.02 55.86/14.06 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.08 55.86/14.07 c calculated reachability. Time: 0.00 55.86/14.07 c N dy 266 46251 14561 62275 0 20710 189204 1500940 111.88 no data 60.26/15.19 c N dy 298 50327 14561 62275 0 24786 189204 2234196 112.50 133.69 65.06/16.31 c N dy 324 54331 14561 62275 0 28790 189204 2950297 112.60 126.87 69.46/17.48 c N dy 350 58367 14561 62275 0 32825 189204 3684668 112.77 118.75 74.22/18.69 c N dy 379 62457 14561 62275 0 36913 189204 4411109 112.68 120.77 79.02/19.83 c N dy 406 66549 14561 62275 0 22275 189204 1226901 112.71 118.85 81.81/20.60 c S st 424 69376 14561 62275 0 25102 189204 1736037 112.86 no data 82.63/20.74 c S st 424 69880 14561 62275 0 25606 189204 1805004 112.86 no data 82.63/20.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 83.01/20.81 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.06 83.01/20.83 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 83.01/20.83 c bin-w-bin subsume rem 0 bins time: 0.00 s 83.01/20.84 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 83.01/20.84 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 83.01/20.85 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 83.41/20.91 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 83.81/21.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 85.01/21.34 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.33 s 85.01/21.35 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 85.01/21.37 c vivif2 -- cl tried 25605 cl shrink 0 lits rem 0 time: 0.03 85.41/21.46 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.08 85.41/21.46 c calculated reachability. Time: 0.00 85.41/21.46 c N dy 424 69880 14561 62275 0 25605 189204 1804978 112.86 no data 90.60/22.74 c N dy 454 74398 14561 62275 0 30121 189204 2628724 113.12 123.64 96.19/24.16 c N dy 490 79166 14561 62275 0 34889 189204 3502988 113.32 137.13 102.58/25.76 c N dy 527 84429 14561 62275 0 40152 189204 4460998 113.38 123.06 106.58/26.72 c F st 550 87501 14561 62275 0 22363 189204 855186 113.66 no data 110.17/27.67 c N st 555 90795 14561 62275 0 25657 189204 1591930 113.66 no data 117.37/29.43 c N dy 582 96701 14561 62275 0 31563 189204 2785018 113.73 120.65 124.55/31.29 c N dy 621 102902 14561 62275 0 37764 189204 3891503 113.67 125.82 126.95/31.88 c S st 633 104820 14561 62275 0 39682 189204 4240185 113.64 111.39 127.75/32.04 c S st 633 105323 14561 62275 0 40185 189204 4309795 113.64 no data 127.75/32.05 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 128.15/32.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.07 128.15/32.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 128.15/32.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 128.15/32.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 128.15/32.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 128.15/32.16 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 128.55/32.25 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 129.35/32.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 137.34/34.41 c lits-rem: 13 cl-subs: 7 v-elim: 0 v-fix: 0 time: 1.92 s 137.34/34.42 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 137.34/34.48 c vivif2 -- cl tried 40178 cl shrink 0 lits rem 0 time: 0.06 137.74/34.59 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.11 137.74/34.59 c calculated reachability. Time: 0.00 137.74/34.59 c N dy 633 105323 14561 62275 0 40178 189204 4307621 113.64 no data 146.92/36.80 c N dy 678 112335 14561 62275 0 24758 189204 954987 113.63 121.52 155.31/38.95 c N dy 731 119600 14561 62275 0 32022 189204 2300898 113.89 132.85 164.50/41.29 c N dy 779 127267 14561 62275 0 39689 189204 3661144 113.65 126.55 175.28/43.93 c N dy 833 135488 14561 62275 0 24195 189204 589326 113.67 120.26 185.27/46.47 c N dy 898 144232 14561 62275 0 32937 189204 2192979 113.94 120.84 196.88/49.34 c N dy 961 153454 14561 62275 0 42159 189204 3877048 114.06 146.44 202.85/50.80 c S st 990 157986 14561 62275 0 46691 189204 4724248 114.11 110.85 203.25/50.98 c S st 990 158494 14561 62275 0 47199 189204 4790013 114.11 no data 203.25/50.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 203.65/51.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08 203.65/51.09 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 203.65/51.09 c bin-w-bin subsume rem 0 bins time: 0.00 s 204.05/51.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 204.05/51.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 204.05/51.11 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 204.45/51.21 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 205.26/51.44 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 217.23/54.48 c lits-rem: 7 cl-subs: 7 v-elim: 0 v-fix: 0 time: 3.03 s 217.23/54.49 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 217.63/54.56 c vivif2 -- cl tried 47192 cl shrink 0 lits rem 0 time: 0.07 218.03/54.68 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.11 218.03/54.68 c calculated reachability. Time: 0.00 218.03/54.68 c N dy 990 158494 14561 62275 0 47192 189204 4787854 114.11 no data 230.41/57.76 c N dy 1059 168646 14561 62275 0 32488 189204 1884344 114.17 134.46 243.99/61.13 c N dy 1132 179532 14561 62275 0 43372 189204 3896493 114.33 124.81 258.39/64.79 c N dy 1205 191002 14561 62275 0 28915 189204 1013629 114.34 122.95 273.16/68.49 c N dy 1288 203291 14561 62275 0 41203 189204 3261728 114.44 123.24 290.73/72.85 c N dy 1378 216407 14561 62275 0 27355 189204 519742 114.50 120.82 307.51/77.05 c N dy 1474 230287 14561 62275 0 41234 189204 3063613 114.53 123.24 317.10/79.49 c S st 1526 237743 14561 62275 0 48690 189204 4428995 114.57 108.66 317.90/79.67 c S st 1526 238246 14561 62275 0 49193 189204 4495967 114.57 no data 317.90/79.68 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 318.30/79.76 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08 318.30/79.77 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 318.30/79.78 c bin-w-bin subsume rem 0 bins time: 0.00 s 318.30/79.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 318.30/79.79 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 318.30/79.79 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 318.70/79.90 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 319.51/80.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 328.70/82.35 c lits-rem: 2 cl-subs: 5 v-elim: 0 v-fix: 0 time: 2.25 s 328.70/82.36 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 329.08/82.43 c vivif2 -- cl tried 49188 cl shrink 0 lits rem 0 time: 0.07 329.48/82.54 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.12 329.48/82.55 c calculated reachability. Time: 0.00 329.48/82.55 c N dy 1526 238246 14561 62275 0 49188 189204 4494407 114.57 no data 349.06/87.40 c N dy 1625 253575 14561 62275 0 36539 189204 1975990 114.59 121.25 370.22/92.76 c N dy 1732 269846 14561 62275 0 52809 189204 4963621 114.61 127.77 392.20/98.29 c N dy 1851 287121 14561 62275 0 41089 189204 2659185 114.69 121.63 416.96/104.43 c N dy 1972 305646 14561 62275 0 59614 189204 6064069 114.74 122.08 417.76/104.67 c F st 1976 306252 14561 62275 0 30229 189204 470213 114.74 no data 441.73/110.67 c N dy 2070 325196 14561 62275 0 49171 189204 4247284 114.74 120.91 468.50/117.34 c N dy 2204 345208 14561 62275 0 38187 189204 1775661 114.82 122.13 484.47/121.30 c S st 2290 357370 14561 62275 0 50348 189204 4021313 114.87 101.31 484.87/121.48 c S st 2290 357873 14561 62275 0 50851 189204 4087589 114.87 no data 484.87/121.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 485.27/121.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08 485.27/121.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 485.27/121.59 c bin-w-bin subsume rem 0 bins time: 0.00 s 485.27/121.60 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 485.67/121.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 485.67/121.61 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 486.07/121.70 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 486.48/121.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 498.05/124.78 c lits-rem: 6 cl-subs: 3 v-elim: 0 v-fix: 0 time: 2.90 s 498.05/124.79 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 498.45/124.85 c vivif2 -- cl tried 50848 cl shrink 0 lits rem 0 time: 0.06 498.85/124.97 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.12 498.85/124.98 c calculated reachability. Time: 0.00 498.85/124.98 c N dy 2290 357873 14561 62275 0 50848 189204 4086731 114.87 no data 526.81/131.91 c N dy 2420 378013 14561 62275 0 38987 189204 1724457 115.04 122.98 553.57/138.62 c N dy 2551 398113 14561 62275 0 59085 189204 5364724 115.05 121.52 579.94/145.25 c N dy 2683 418208 14561 62275 0 46181 189204 2820262 115.09 122.02 607.91/152.23 c N dy 2810 438241 14561 62275 0 66213 189204 6544500 115.07 126.22 633.87/158.79 c N dy 2944 458333 14561 62275 0 52310 189204 3828053 115.15 126.53 662.65/165.97 c N dy 3076 478467 14561 62275 0 37449 189204 863804 115.19 124.95 689.39/172.62 c N dy 3208 498675 14561 62275 0 57656 189204 4618039 115.22 123.57 717.75/179.76 c N dy 3347 518738 14561 62275 0 41715 189204 1484140 115.25 122.18 742.12/185.83 c S st 3462 536809 14561 62275 0 59784 189204 4753199 115.21 108.05 742.92/186.02 c S st 3462 537316 14561 62275 0 60291 189204 4822220 115.21 no data 742.92/186.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 743.32/186.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.09 743.32/186.14 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 743.32/186.14 c bin-w-bin subsume rem 0 bins time: 0.00 s 743.32/186.15 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 743.32/186.15 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.01 s 743.32/186.16 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 743.72/186.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 744.52/186.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 755.30/189.11 c lits-rem: 5 cl-subs: 6 v-elim: 0 v-fix: 0 time: 2.63 s 755.30/189.12 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 755.30/189.19 c vivif2 -- cl tried 60285 cl shrink 0 lits rem 0 time: 0.07 756.10/189.32 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.13 756.10/189.33 c calculated reachability. Time: 0.00 756.10/189.33 c N dy 3462 537316 14561 62275 0 60285 189204 4820905 115.21 no data 784.46/196.48 c N dy 3597 557451 14561 62275 0 43421 189204 1614728 115.26 124.92 812.05/203.31 c N dy 3728 577501 14561 62275 0 63469 189204 5288589 115.25 121.46 840.39/210.47 c N dy 3859 597515 14561 62275 0 45482 189204 1812384 115.27 122.37 868.35/217.50 c N dy 3999 617551 14561 62275 0 65516 189204 5598298 115.40 121.55 897.51/224.72 c N dy 4132 637611 14561 62275 0 46582 189204 1810966 115.38 123.48 925.07/231.68 c N dy 4264 657667 14561 62275 0 66636 189204 5478116 115.40 128.67 955.43/239.25 c N dy 4388 677746 14561 62275 0 46716 189204 1622341 115.39 121.99 983.79/246.34 c N dy 4516 697814 14561 62275 0 66783 189204 5310914 115.40 164.00 1013.77/253.83 c N dy 4635 718002 14561 62275 0 45971 189204 1354549 115.35 121.87 1041.71/260.88 c N dy 4770 738065 14561 62275 0 66031 189204 5068172 115.42 134.36 1072.48/268.58 c N dy 4905 758136 14561 62275 0 44102 189204 820099 115.46 121.81 1100.43/275.50 c N dy 5036 778177 14561 62275 0 64143 189204 4520910 115.46 124.11 1131.60/283.30 c N dy 5160 798404 14561 62275 0 84368 189204 8236707 115.44 121.59 1142.38/286.01 c S st 5212 805974 14561 62275 0 48938 189204 1561506 115.46 113.19 1142.78/286.19 c S st 5212 806476 14561 62275 0 49440 189204 1623536 115.46 no data 1143.18/286.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1143.18/286.28 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08 1143.18/286.29 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1143.58/286.30 c bin-w-bin subsume rem 0 bins time: 0.00 s 1143.58/286.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1143.58/286.31 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 1143.58/286.32 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1143.58/286.39 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 1143.98/286.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1146.37/287.07 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.60 s 1146.37/287.08 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 1146.76/287.11 c vivif2 -- cl tried 49439 cl shrink 0 lits rem 0 time: 0.03 1147.16/287.22 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.11 1147.16/287.23 c calculated reachability. Time: 0.00 1147.16/287.23 c N dy 5212 806476 14561 62275 0 49439 189204 1623169 115.46 no data 1175.93/294.47 c N dy 5345 826543 14561 62275 0 69504 189204 5305347 115.47 122.16 1208.68/302.64 c N dy 5481 846682 14561 62275 0 45649 189204 744896 115.48 127.75 1237.06/309.75 c N dy 5618 866782 14561 62275 0 65747 189204 4502418 115.53 149.02 1268.21/317.58 c N dy 5745 886813 14561 62275 0 85774 189204 8229817 115.54 125.72 1297.37/324.81 c N dy 5881 906824 14561 62275 0 60791 189204 3338989 115.56 124.28 1328.13/332.53 c N dy 6016 927000 14561 62275 0 80966 189204 7129686 115.60 121.71 1358.49/340.14 c N dy 6139 947041 14561 62275 0 55007 189204 2088361 115.57 130.58 1388.45/347.69 c N dy 6278 967361 14561 62275 0 75327 189204 5815397 115.59 124.05 1421.21/355.83 c N dy 6410 987416 14561 62275 0 48381 189204 704440 115.58 123.84 1449.57/362.99 c N dy 6547 1007426 14561 62275 0 68390 189204 4411897 115.60 121.88 1481.52/370.92 c N dy 6684 1027508 14561 62275 0 88471 189204 8093682 115.61 162.87 1511.87/378.55 c N dy 6808 1047580 14561 62275 0 60550 189204 2820077 115.62 124.61 1542.63/386.25 c N dy 6943 1067649 14561 62275 0 80617 189204 6549565 115.65 125.99 1549.42/387.94 c F st 6971 1071877 14561 62275 0 84845 189204 7334135 115.65 no data 1575.39/394.42 c N dy 7044 1087733 14561 62275 0 51704 189204 971722 115.66 124.70 1604.95/401.85 c N dy 7179 1108036 14561 62275 0 72006 189204 4773301 115.68 122.58 1637.31/409.96 c N dy 7300 1128179 14561 62275 0 92148 189204 8448410 115.66 122.87 1668.47/417.74 c N dy 7431 1148381 14561 62275 0 62352 189204 2758749 115.66 123.07 1698.82/425.40 c N dy 7553 1168443 14561 62275 0 82413 189204 6421347 115.65 145.75 1734.38/434.23 c N dy 7700 1188489 14561 62275 0 51459 189204 570197 115.70 123.00 1763.93/441.60 c N dy 7838 1208570 14561 62275 0 71538 189204 4314723 115.74 122.54 1765.55/442.08 c S st 7843 1209714 14561 62275 0 72681 189204 4524159 115.74 no data 1766.73/442.31 c S st 7843 1210218 14561 62275 0 73185 189204 4591229 115.74 no data 1766.73/442.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1767.13/442.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.10 1767.13/442.45 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1767.13/442.45 c bin-w-bin subsume rem 0 bins time: 0.00 s 1767.13/442.46 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1767.13/442.46 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.01 s 1767.13/442.47 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1767.53/442.58 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.11 s 1768.73/442.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1781.51/446.07 c lits-rem: 4 cl-subs: 9 v-elim: 0 v-fix: 0 time: 3.26 s 1781.51/446.08 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 1781.91/446.16 c vivif2 -- cl tried 73176 cl shrink 0 lits rem 0 time: 0.07 1782.72/446.31 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.15 1782.72/446.31 c calculated reachability. Time: 0.00 1782.72/446.31 c N dy 7843 1210218 14561 62275 0 73176 189204 4589059 115.74 no data 1815.46/454.54 c N dy 7976 1230325 14561 62275 0 93280 189204 8323815 115.73 121.91 1847.42/462.54 c N dy 8107 1250398 14561 62275 0 61359 189204 2195375 115.72 125.12 1877.78/470.19 c N dy 8239 1270487 14561 62275 0 81444 189204 5925522 115.73 125.27 1912.50/478.81 c N dy 8377 1290502 14561 62275 0 101457 189204 9692268 115.76 124.60 1942.87/486.43 c N dy 8500 1310545 14561 62275 0 68505 189204 3327904 115.76 130.41 1974.83/494.41 c N dy 8637 1330564 14561 62275 0 88522 189204 7059717 115.78 122.25 2011.18/503.52 c N dy 8773 1350673 14561 62275 0 54632 189204 600781 115.81 122.76 2040.74/510.99 c N dy 8916 1370710 14561 62275 0 74666 189204 4405540 115.89 138.10 2074.28/519.32 c N dy 9046 1390812 14561 62275 0 94767 189204 8113882 115.89 126.29 2108.63/527.90 c N dy 9172 1410860 14561 62275 0 59818 189204 1379944 115.89 122.05 2139.02/535.56 c N dy 9304 1431041 14561 62275 0 79998 189204 5074089 115.88 124.95 2172.95/544.07 c N dy 9437 1451171 14561 62275 0 100126 189204 8747854 115.88 125.13 2206.51/552.47 c N dy 9572 1471193 14561 62275 0 64149 189204 2011493 115.90 126.81 2238.07/560.36 c N dy 9709 1491317 14561 62275 0 84270 189204 5788636 115.93 123.86 2272.81/569.02 c N dy 9837 1511481 14561 62275 0 104432 189204 9494968 115.93 122.38 2306.38/577.40 c N dy 9972 1531485 14561 62275 0 67444 189204 2484878 115.97 154.56 2338.74/585.53 c N dy 10110 1551764 14561 62275 0 87723 189204 6247036 115.99 122.52 2373.88/594.36 c N dy 10240 1571859 14561 62275 0 107817 189204 9924326 115.99 122.39 2407.06/602.62 c N dy 10373 1592004 14561 62275 0 69962 189204 2689129 115.98 130.47 2439.40/610.70 c N dy 10503 1612078 14561 62275 0 90034 189204 6383930 115.98 125.04 2474.94/619.66 c N dy 10633 1632172 14561 62275 0 110128 189204 10116837 115.99 122.16 2508.11/627.91 c N dy 10766 1652179 14561 62275 0 71134 189204 2730790 115.99 124.84 2540.85/636.11 c N dy 10904 1672280 14561 62275 0 91233 189204 6461173 116.00 124.84 2576.79/645.18 c N dy 11029 1692441 14561 62275 0 111394 189204 10155455 115.99 125.46 2607.55/652.87 c S st 11151 1710219 14561 62275 0 69174 189204 2246727 116.01 no data 2608.36/653.08 c S st 11151 1710721 14561 62275 0 69676 189204 2306933 116.01 no data 2608.36/653.09 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2608.77/653.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.09 2608.77/653.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2609.17/653.21 c bin-w-bin subsume rem 0 bins time: 0.00 s 2609.17/653.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2609.17/653.22 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.01 s 2609.17/653.22 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 2609.55/653.31 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 2609.95/653.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2615.94/654.96 c lits-rem: 2 cl-subs: 2 v-elim: 0 v-fix: 0 time: 1.54 s 2615.94/654.97 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 2616.33/655.01 c vivif2 -- cl tried 69674 cl shrink 0 lits rem 0 time: 0.04 2616.74/655.15 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.14 2616.74/655.16 c calculated reachability. Time: 0.00 2616.74/655.16 c N dy 11151 1710721 14561 62275 0 69674 189204 2306083 116.01 no data 2649.49/663.36 c N dy 11280 1730799 14561 62275 0 89752 189204 6006702 116.01 123.18 2685.45/672.38 c N dy 11407 1750912 14561 62275 0 109863 189204 9724006 116.02 123.75 2721.00/681.28 c N dy 11532 1770964 14561 62275 0 68917 189204 2014585 116.04 125.46 2754.17/689.58 c N dy 11673 1791235 14561 62275 0 89186 189204 5825023 116.06 122.96 2790.10/698.56 c N dy 11812 1811324 14561 62275 0 109275 189204 9521972 116.07 125.41 2827.25/707.84 c N dy 11940 1831442 14561 62275 0 67401 189204 1493540 116.06 122.85 2861.20/716.30 c N dy 12076 1851586 14561 62275 0 87545 189204 5241952 116.08 127.48 2897.16/725.32 c N dy 12218 1871830 14561 62275 0 107785 189204 9020304 116.10 132.41 2935.50/735.00 c N dy 12349 1891996 14561 62275 0 64959 189204 893074 116.10 125.97 2967.86/743.02 c N dy 12483 1912212 14561 62275 0 85172 189204 4649823 116.11 123.02 3002.61/751.72 c N dy 12610 1932218 14561 62275 0 105176 189204 8322893 116.11 127.34 3041.36/761.48 c N dy 12752 1952257 14561 62275 0 125215 189204 12078324 116.12 123.01 3074.52/769.73 c N dy 12894 1972300 14561 62275 0 81258 189204 3756280 116.14 122.62 3109.68/778.60 c N dy 13035 1992502 14561 62275 0 101460 189204 7584401 116.16 126.20 3147.61/788.09 c N dy 13171 2012542 14561 62275 0 121500 189204 11301113 116.18 126.89 3182.76/796.87 c N dy 13295 2032601 14561 62275 0 76567 189204 2713981 116.17 147.69 3216.31/805.26 c N dy 13427 2052683 14561 62275 0 96646 189204 6450158 116.19 123.15 3253.46/814.58 c N dy 13559 2072717 14561 62275 0 116678 189204 10190340 116.19 124.04 3292.61/824.30 c N dy 13693 2092844 14561 62275 0 70805 189204 1442661 116.20 124.31 3324.57/832.40 c N dy 13827 2112866 14561 62275 0 90826 189204 5175960 116.22 138.75 3361.70/841.63 c N dy 13966 2133019 14561 62275 0 110979 189204 8903599 116.23 125.32 3401.26/851.50 c N dy 14089 2153087 14561 62275 0 131045 189204 12577845 116.22 127.56 3434.42/859.86 c N dy 14212 2173325 14561 62275 0 84288 189204 3712357 116.21 126.74 3471.16/869.01 c N dy 14342 2193427 14561 62275 0 104388 189204 7425833 116.22 123.70 3504.72/877.40 c S st 14450 2210723 14561 62275 0 121683 189204 10635706 116.22 no data 3505.92/877.70 c S st 14450 2211225 14561 62275 0 122185 189204 10705577 116.22 no data 3505.92/877.73 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3506.31/877.86 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.14 3506.31/877.88 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3506.31/877.89 c bin-w-bin subsume rem 0 bins time: 0.00 s 3506.31/877.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3506.71/877.90 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.01 s 3506.71/877.90 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 3507.11/878.08 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.18 s 3509.52/878.65 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3536.30/885.35 c lits-rem: 6 cl-subs: 7 v-elim: 0 v-fix: 0 time: 6.65 s 3536.30/885.36 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 3537.07/885.53 c vivif2 -- cl tried 122178 cl shrink 0 lits rem 0 time: 0.17 3537.87/885.77 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.24 3537.87/885.77 c calculated reachability. Time: 0.00 3537.87/885.77 c N dy 14450 2211225 14561 62275 0 122178 189204 10703791 116.22 no data 3579.41/896.19 c N dy 14583 2231239 14561 62275 0 74194 189204 1743205 116.25 131.25 3613.37/904.61 c N dy 14723 2251274 14561 62275 0 94228 189204 5501060 116.27 166.36 3649.72/913.71 c N dy 14845 2271346 14561 62275 0 114300 189204 9186865 116.26 123.45 3690.46/923.92 c N dy 14978 2291409 14561 62275 0 134362 189204 12957740 116.27 122.52 3724.41/932.40 c N dy 15105 2311461 14561 62275 0 85416 189204 3631785 116.28 123.65 3759.57/941.29 c N dy 15240 2331545 14561 62275 0 105498 189204 7444813 116.29 177.23 3798.32/950.97 c N dy 15373 2351572 14561 62275 0 125525 189204 11093571 116.30 140.80 3838.26/960.93 c N dy 15504 2371674 14561 62275 0 75627 189204 1618626 116.30 123.70 3871.82/969.30 c N dy 15630 2391750 14561 62275 0 95703 189204 5356325 116.30 122.82 3908.57/978.57 c N dy 15765 2411834 14561 62275 0 115786 189204 9070650 116.30 125.73 3949.34/988.72 c N dy 15895 2431924 14561 62275 0 135875 189204 12796783 116.30 124.92 3984.85/997.67 c N dy 16027 2451977 14561 62275 0 84931 189204 3167524 116.30 122.94 4020.80/1006.62 c N dy 16160 2472174 14561 62275 0 105128 189204 6948446 116.31 122.53 4059.55/1016.37 c N dy 16304 2492408 14561 62275 0 125362 189204 10728397 116.33 122.90 4101.50/1026.83 c N dy 16430 2512415 14561 62275 0 73368 189204 846770 116.33 129.68 4134.64/1035.16 c N dy 16567 2532465 14561 62275 0 93417 189204 4529320 116.34 123.03 4171.40/1044.35 c N dy 16708 2552490 14561 62275 0 113439 189204 8275064 116.36 123.33 4211.34/1054.35 c N dy 16837 2572578 14561 62275 0 133524 189204 11999816 116.36 125.55 4250.89/1064.28 c N dy 16971 2592642 14561 62275 0 80588 189204 2008377 116.37 142.95 4285.63/1072.94 c N dy 17101 2612756 14561 62275 0 100701 189204 5716113 116.37 126.16 4323.58/1082.41 c N dy 17237 2632787 14561 62275 0 120732 189204 9434011 116.37 131.10 4365.13/1092.88 c N dy 17374 2652868 14561 62275 0 140810 189204 13168258 116.38 134.53 4402.67/1102.26 c N dy 17510 2672879 14561 62275 0 86831 189204 3002863 116.40 123.20 4439.83/1111.58 c N dy 17636 2692983 14561 62275 0 106934 189204 6675529 116.39 127.25 4475.38/1120.49 c S st 17754 2711227 14561 62275 0 125176 189204 10049364 116.39 75.64 4476.98/1120.80 c S st 17754 2711732 14561 62275 0 125681 189204 10109295 116.39 no data 4476.98/1120.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4477.38/1120.97 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.14 4477.38/1120.98 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4477.38/1120.99 c bin-w-bin subsume rem 0 bins time: 0.00 s 4477.38/1120.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4477.78/1121.00 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.01 s 4477.78/1121.01 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 4478.17/1121.18 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.17 s 4480.17/1121.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4506.14/1128.17 c lits-rem: 6 cl-subs: 9 v-elim: 0 v-fix: 0 time: 6.47 s 4506.14/1128.18 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 4506.95/1128.35 c vivif2 -- cl tried 125672 cl shrink 0 lits rem 0 time: 0.16 4507.73/1128.58 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.24 4507.73/1128.59 c calculated reachability. Time: 0.00 4507.73/1128.59 c N dy 17754 2711732 14561 62275 0 125672 189204 10106639 116.39 no data 4553.28/1139.97 c N dy 17887 2731848 14561 62275 0 145788 189204 13807023 116.38 129.56 4589.22/1148.94 c N dy 18013 2751931 14561 62275 0 90870 189204 3540199 116.38 122.78 4625.58/1158.08 c N dy 18144 2772203 14561 62275 0 111141 189204 7293497 116.38 122.99 4665.91/1168.14 c N dy 18268 2792503 14561 62275 0 131440 189204 11083605 116.38 124.36 4710.25/1179.28 c N dy 18398 2812548 14561 62275 0 151485 189204 14811748 116.38 134.14 4745.80/1188.18 c N dy 18538 2832570 14561 62275 0 95507 189204 4278286 116.40 123.21 4783.35/1197.50 c N dy 18675 2852632 14561 62275 0 115567 189204 8028157 116.41 134.40
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-3173779-1304031183/watcher-3173779-1304031183 -o /tmp/evaluation-result-3173779-1304031183/solver-3173779-1304031183 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173779-1304031183.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: 8.05 8.07 7.49 5/180 1098 /proc/meminfo: memFree=30856744/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=40968 CPUtime=0 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 3 0 495533982 41951232 347 33554432000 4194304 4627427 140734966600848 18446744073709551615 270338440177 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 10242 347 299 106 0 5213 0 [pid=1098/tid=1099] ppid=1096 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 495533982 52441088 348 33554432000 4194304 4627427 140734966600848 18446744073709551615 47190265280434 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495533982 52441088 348 33554432000 4194304 4627427 140734966600848 18446744073709551615 47190265280434 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=51212 CPUtime=0 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 495533982 52441088 348 33554432000 4194304 4627427 140734966600848 18446744073709551615 270338440177 0 0 4096 2 0 0 0 -1 1 0 0 0 [startup+0.143656 s] /proc/loadavg: 8.05 8.07 7.49 5/180 1098 /proc/meminfo: memFree=30856744/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=368972 CPUtime=0.51 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 12701 0 0 0 45 6 0 0 18 0 4 0 495533982 377827328 11694 33554432000 4194304 4627427 140734966600848 18446744073709551615 270338044961 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 92523 12156 371 106 0 87494 0 [pid=1098/tid=1099] ppid=1096 vsize=370868 CPUtime=0.13 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 3065 0 0 0 11 2 0 0 18 0 4 0 495533982 379768832 12561 33554432000 4194304 4627427 140734966600848 18446744073709551615 4415910 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=370868 CPUtime=0.13 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) S 1096 1098 815 0 -1 4202560 3648 0 0 0 12 1 0 0 18 0 4 0 495533982 379768832 12586 33554432000 4194304 4627427 140734966600848 18446744073709551615 270338488814 0 0 4096 2 18446604456436362112 0 0 -1 7 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=370868 CPUtime=0.13 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 2797 0 0 0 12 1 0 0 18 0 4 0 495533982 379768832 12599 33554432000 4194304 4627427 140734966600848 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 0.51 Current children cumulated vsize (KiB) 368972 [startup+0.278874 s] /proc/loadavg: 8.05 8.07 7.49 5/180 1098 /proc/meminfo: memFree=30856744/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=379480 CPUtime=3.98 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 24548 0 0 0 389 9 0 0 19 0 4 0 495533982 388587520 19162 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 94870 19162 385 106 0 89841 0 [pid=1098/tid=1099] ppid=1096 vsize=379480 CPUtime=0.99 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 6693 0 0 0 96 3 0 0 19 0 4 0 495533982 388587520 19162 33554432000 4194304 4627427 140734966600848 18446744073709551615 4302428 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=379480 CPUtime=0.99 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 6519 0 0 0 97 2 0 0 19 0 4 0 495533982 388587520 19162 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=379480 CPUtime=0.99 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 3529 0 0 0 98 1 0 0 19 0 4 0 495533982 388587520 19162 33554432000 4194304 4627427 140734966600848 18446744073709551615 4332984 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3.98 Current children cumulated vsize (KiB) 379480 [startup+1.11516 s] /proc/loadavg: 8.05 8.07 7.49 5/180 1098 /proc/meminfo: memFree=30856744/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=379480 CPUtime=4.38 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 24881 0 0 0 429 9 0 0 19 0 4 0 495533982 388587520 19495 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 94870 19497 385 106 0 89841 0 [pid=1098/tid=1099] ppid=1096 vsize=379480 CPUtime=1.09 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 6771 0 0 0 106 3 0 0 19 0 4 0 495533982 388587520 19497 33554432000 4194304 4627427 140734966600848 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=379480 CPUtime=1.09 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 6598 0 0 0 107 2 0 0 19 0 4 0 495533982 388587520 19497 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=379480 CPUtime=1.09 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 3623 0 0 0 108 1 0 0 19 0 4 0 495533982 388587520 19497 33554432000 4194304 4627427 140734966600848 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.38 Current children cumulated vsize (KiB) 379480 [startup+1.21514 s] /proc/loadavg: 8.05 8.07 7.49 5/180 1098 /proc/meminfo: memFree=30856744/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=379480 CPUtime=4.78 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 25194 0 0 0 469 9 0 0 19 0 4 0 495533982 388587520 19808 33554432000 4194304 4627427 140734966600848 18446744073709551615 4332667 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 94870 19808 385 106 0 89841 0 [pid=1098/tid=1099] ppid=1096 vsize=379480 CPUtime=1.19 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 6849 0 0 0 116 3 0 0 19 0 4 0 495533982 388587520 19808 33554432000 4194304 4627427 140734966600848 18446744073709551615 4330954 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=379480 CPUtime=1.19 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 6676 0 0 0 117 2 0 0 19 0 4 0 495533982 388587520 19808 33554432000 4194304 4627427 140734966600848 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=379480 CPUtime=1.19 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 3706 0 0 0 118 1 0 0 19 0 4 0 495533982 388587520 19808 33554432000 4194304 4627427 140734966600848 18446744073709551615 4310399 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4.78 Current children cumulated vsize (KiB) 379480 [startup+1.50109 s] /proc/loadavg: 8.05 8.07 7.49 5/180 1098 /proc/meminfo: memFree=30856744/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=379480 CPUtime=5.92 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 26348 0 0 0 583 9 0 0 19 0 4 0 495533982 388587520 20962 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 94870 20962 385 106 0 89841 0 [pid=1098/tid=1099] ppid=1096 vsize=379480 CPUtime=1.47 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 7102 0 0 0 144 3 0 0 19 0 4 0 495533982 388587520 20962 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=379480 CPUtime=1.48 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 6906 0 0 0 146 2 0 0 19 0 4 0 495533982 388587520 20963 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=379480 CPUtime=1.48 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 4134 0 0 0 147 1 0 0 19 0 4 0 495533982 388587520 20963 33554432000 4194304 4627427 140734966600848 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 5.92 Current children cumulated vsize (KiB) 379480 [startup+3.10677 s] /proc/loadavg: 8.13 8.08 7.50 9/184 1102 /proc/meminfo: memFree=30742996/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=510744 CPUtime=12.33 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 31456 0 0 0 1223 10 0 0 25 0 4 0 495533982 523001856 26070 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308323 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 127686 26070 385 106 0 122657 0 [pid=1098/tid=1099] ppid=1096 vsize=510744 CPUtime=3.08 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 8352 0 0 0 305 3 0 0 24 0 4 0 495533982 523001856 26070 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=510744 CPUtime=3.07 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 8136 0 0 0 304 3 0 0 25 0 4 0 495533982 523001856 26070 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=510744 CPUtime=3.08 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 5473 0 0 0 307 1 0 0 25 0 4 0 495533982 523001856 26070 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 12.33 Current children cumulated vsize (KiB) 510744 [startup+6.30114 s] /proc/loadavg: 8.12 8.08 7.50 9/184 1102 /proc/meminfo: memFree=30740888/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=397996 CPUtime=25.1 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 44912 0 0 0 2497 13 0 0 25 0 4 0 495533982 407547904 23425 33554432000 4194304 4627427 140734966600848 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 99499 23425 387 106 0 94470 0 [pid=1098/tid=1099] ppid=1096 vsize=397996 CPUtime=6.27 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 11708 0 0 0 623 4 0 0 25 0 4 0 495533982 407547904 23429 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=397996 CPUtime=6.25 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 11477 0 0 0 622 3 0 0 25 0 4 0 495533982 407547904 23429 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=397996 CPUtime=6.28 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 8852 0 0 0 626 2 0 0 25 0 4 0 495533982 407547904 23430 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 25.1 Current children cumulated vsize (KiB) 397996 [startup+12.7009 s] /proc/loadavg: 8.19 8.10 7.51 9/184 1102 /proc/meminfo: memFree=30599032/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=535860 CPUtime=50.65 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 102275 0 0 0 5037 28 0 0 25 0 4 0 495533982 548720640 65070 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 133965 65070 390 106 0 128936 0 [pid=1098/tid=1099] ppid=1096 vsize=535860 CPUtime=12.67 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 34420 0 0 0 1258 9 0 0 22 0 4 0 495533982 548720640 65070 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=535860 CPUtime=12.61 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 22064 0 0 0 1256 5 0 0 22 0 4 0 495533982 548720640 65070 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=535860 CPUtime=12.67 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 14426 0 0 0 1264 3 0 0 25 0 4 0 495533982 548720640 65070 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 50.65 Current children cumulated vsize (KiB) 535860 [startup+25.5003 s] /proc/loadavg: 8.16 8.09 7.51 9/184 1103 /proc/meminfo: memFree=30544964/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=695028 CPUtime=101.78 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 152961 0 0 0 10137 41 0 0 25 0 4 0 495533982 711708672 85364 33554432000 4194304 4627427 140734966600848 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 173757 85364 390 106 0 168728 0 [pid=1098/tid=1099] ppid=1096 vsize=695028 CPUtime=25.47 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 44402 0 0 0 2535 12 0 0 25 0 4 0 495533982 711708672 85364 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=695028 CPUtime=25.35 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 31948 0 0 0 2527 8 0 0 25 0 4 0 495533982 711708672 85364 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=695028 CPUtime=25.47 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 33501 0 0 0 2540 7 0 0 25 0 4 0 495533982 711708672 85364 33554432000 4194304 4627427 140734966600848 18446744073709551615 4327422 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 101.78 Current children cumulated vsize (KiB) 695028 [startup+51.1002 s] /proc/loadavg: 8.23 8.12 7.54 9/184 1103 /proc/meminfo: memFree=30388568/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=727816 CPUtime=204.05 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 223833 0 0 0 20348 57 0 0 25 0 4 0 495533982 745283584 121180 33554432000 4194304 4627427 140734966600848 18446744073709551615 4425797 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 181954 121180 390 106 0 176925 0 [pid=1098/tid=1099] ppid=1096 vsize=727816 CPUtime=51.06 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 58997 0 0 0 5091 15 0 0 25 0 4 0 495533982 745283584 121180 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=727816 CPUtime=50.81 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 46217 0 0 0 5070 11 0 0 25 0 4 0 495533982 745283584 121180 33554432000 4194304 4627427 140734966600848 18446744073709551615 4332090 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=727816 CPUtime=51.07 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 51152 0 0 0 5095 12 0 0 25 0 4 0 495533982 745283584 121180 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 204.05 Current children cumulated vsize (KiB) 727816 [startup+102.301 s] /proc/loadavg: 7.91 8.04 7.54 9/184 1136 /proc/meminfo: memFree=30921108/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=918980 CPUtime=408.57 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 325228 0 0 0 40771 86 0 0 25 0 4 0 495533982 941035520 147266 33554432000 4194304 4627427 140734966600848 18446744073709551615 4329693 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 229745 147266 390 106 0 224716 0 [pid=1098/tid=1099] ppid=1096 vsize=918980 CPUtime=102.27 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 80527 0 0 0 10204 23 0 0 25 0 4 0 495533982 941035520 147266 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=918980 CPUtime=101.73 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 66632 0 0 0 10157 16 0 0 25 0 4 0 495533982 941035520 147266 33554432000 4194304 4627427 140734966600848 18446744073709551615 4310423 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=918980 CPUtime=102.28 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 82485 0 0 0 10207 21 0 0 25 0 4 0 495533982 941035520 147266 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 408.57 Current children cumulated vsize (KiB) 918980 [startup+162.301 s] ################ # More data... # ################ [pid=1098] ppid=1096 vsize=1171560 CPUtime=2565.61 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 1361168 0 0 0 256148 413 0 0 25 0 4 0 495533982 1199677440 220921 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309228 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0 /proc/1098/statm: 292890 220921 390 106 0 287861 0 [pid=1098/tid=1099] ppid=1096 vsize=1171560 CPUtime=641.63 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 342890 0 0 0 64055 108 0 0 25 0 4 0 495533982 1199677440 220921 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=1171560 CPUtime=639.43 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 319973 0 0 0 63846 97 0 0 25 0 4 0 495533982 1199677440 220921 33554432000 4194304 4627427 140734966600848 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=1171560 CPUtime=642.27 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 344018 0 0 0 64128 99 0 0 25 0 4 0 495533982 1199677440 220921 33554432000 4194304 4627427 140734966600848 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2565.61 Current children cumulated vsize (KiB) 1171560 [startup+702.301 s] /proc/loadavg: 8.02 8.04 7.76 9/184 1161 /proc/meminfo: memFree=29749524/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=1226492 CPUtime=2805.28 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 1466045 0 0 0 280080 448 0 0 25 0 4 0 495533982 1255927808 229046 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/1098/statm: 306623 229046 390 106 0 301594 0 [pid=1098/tid=1099] ppid=1096 vsize=1226492 CPUtime=701.49 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 368807 0 0 0 70034 115 0 0 25 0 4 0 495533982 1255927808 229046 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=1226492 CPUtime=699.43 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 345124 0 0 0 69835 108 0 0 25 0 4 0 495533982 1255927808 229046 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=1226492 CPUtime=702.27 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 370558 0 0 0 70119 108 0 0 25 0 4 0 495533982 1255927808 229046 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 2805.28 Current children cumulated vsize (KiB) 1226492 [startup+762.301 s] /proc/loadavg: 8.12 8.06 7.79 9/184 1162 /proc/meminfo: memFree=29690048/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=1293176 CPUtime=3044.95 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 1587727 0 0 0 304005 490 0 0 25 0 4 0 495533982 1324212224 247914 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/1098/statm: 323294 247914 390 106 0 318265 0 [pid=1098/tid=1099] ppid=1096 vsize=1293176 CPUtime=761.49 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 395748 0 0 0 76024 125 0 0 25 0 4 0 495533982 1324212224 247914 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=1293176 CPUtime=759.43 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 385373 0 0 0 75823 120 0 0 25 0 4 0 495533982 1324212224 247914 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=1293176 CPUtime=762.28 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 398088 0 0 0 76111 117 0 0 25 0 4 0 495533982 1324212224 247914 33554432000 4194304 4627427 140734966600848 18446744073709551615 4332830 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3044.95 Current children cumulated vsize (KiB) 1293176 [startup+822.301 s] /proc/loadavg: 8.15 8.08 7.81 9/184 1164 /proc/meminfo: memFree=29685412/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=1241072 CPUtime=3284.62 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 1697754 0 0 0 327937 525 0 0 25 0 4 0 495533982 1270857728 238536 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/1098/statm: 310268 238536 390 106 0 305239 0 [pid=1098/tid=1099] ppid=1096 vsize=1241072 CPUtime=821.49 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 423777 0 0 0 82014 135 0 0 25 0 4 0 495533982 1270857728 238536 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=1241072 CPUtime=819.42 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 413034 0 0 0 81813 129 0 0 25 0 4 0 495533982 1270857728 238536 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=1241072 CPUtime=822.28 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 425428 0 0 0 82103 125 0 0 25 0 4 0 495533982 1270857728 238536 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3284.62 Current children cumulated vsize (KiB) 1241072 [startup+882.301 s] /proc/loadavg: 8.23 8.11 7.83 9/184 1165 /proc/meminfo: memFree=29585288/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=1374036 CPUtime=3524.29 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 1839423 0 0 0 351865 564 0 0 25 0 4 0 495533982 1407012864 283341 33554432000 4194304 4627427 140734966600848 18446744073709551615 4428103 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/1098/statm: 343509 283341 390 106 0 338480 0 [pid=1098/tid=1099] ppid=1096 vsize=1374036 CPUtime=881.48 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 449133 0 0 0 88006 142 0 0 25 0 4 0 495533982 1407012864 283341 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=1374036 CPUtime=879.42 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 439700 0 0 0 87804 138 0 0 25 0 4 0 495533982 1407012864 283341 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=1374036 CPUtime=882.28 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 469951 0 0 0 88093 135 0 0 25 0 4 0 495533982 1407012864 283341 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3524.29 Current children cumulated vsize (KiB) 1374036 [startup+942.3 s] /proc/loadavg: 8.22 8.12 7.85 9/184 1167 /proc/meminfo: memFree=29392028/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=1507236 CPUtime=3763.96 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 1964522 0 0 0 375793 603 0 0 25 0 4 0 495533982 1543409664 307985 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308787 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/1098/statm: 376809 307985 390 106 0 371780 0 [pid=1098/tid=1099] ppid=1096 vsize=1507236 CPUtime=941.49 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 498044 0 0 0 93995 154 0 0 25 0 4 0 495533982 1543409664 307985 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=1507236 CPUtime=939.42 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 465289 0 0 0 93795 147 0 0 25 0 4 0 495533982 1543409664 307985 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=1507236 CPUtime=942.27 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 495372 0 0 0 94082 145 0 0 25 0 4 0 495533982 1543409664 307985 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 3763.96 Current children cumulated vsize (KiB) 1507236 [startup+1002.3 s] /proc/loadavg: 8.20 8.13 7.87 9/184 1169 /proc/meminfo: memFree=29358760/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=1563496 CPUtime=4003.63 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 2069117 0 0 0 399719 644 0 0 25 0 4 0 495533982 1601019904 312006 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/1098/statm: 390874 312007 390 106 0 385845 0 [pid=1098/tid=1099] ppid=1096 vsize=1563496 CPUtime=1001.49 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 524060 0 0 0 99984 165 0 0 25 0 4 0 495533982 1601019904 312007 33554432000 4194304 4627427 140734966600848 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=1563496 CPUtime=999.42 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 490510 0 0 0 99785 157 0 0 25 0 4 0 495533982 1601019904 312007 33554432000 4194304 4627427 140734966600848 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=1563496 CPUtime=1002.27 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 522488 0 0 0 100073 154 0 0 25 0 4 0 495533982 1601019904 312007 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4003.63 Current children cumulated vsize (KiB) 1563496 [startup+1062.3 s] /proc/loadavg: 8.25 8.15 7.89 9/184 1170 /proc/meminfo: memFree=29320752/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=1509624 CPUtime=4243.31 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 2172290 0 0 0 423650 681 0 0 25 0 4 0 495533982 1545854976 312240 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/1098/statm: 377406 312240 390 106 0 372377 0 [pid=1098/tid=1099] ppid=1096 vsize=1509624 CPUtime=1061.5 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 548653 0 0 0 105975 175 0 0 25 0 4 0 495533982 1545854976 312244 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=1509624 CPUtime=1059.42 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 517184 0 0 0 105776 166 0 0 25 0 4 0 495533982 1545854976 312244 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=1509624 CPUtime=1062.28 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 548954 0 0 0 106065 163 0 0 25 0 4 0 495533982 1545854976 312244 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4243.31 Current children cumulated vsize (KiB) 1509624 [startup+1122.3 s] /proc/loadavg: 8.15 8.13 7.90 9/184 1172 /proc/meminfo: memFree=29333848/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=1631464 CPUtime=4482.96 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 2284200 0 0 0 447576 720 0 0 25 0 4 0 495533982 1670619136 332899 33554432000 4194304 4627427 140734966600848 18446744073709551615 4468055 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/1098/statm: 407866 332899 390 106 0 402837 0 [pid=1098/tid=1099] ppid=1096 vsize=1631464 CPUtime=1121.49 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 574670 0 0 0 111965 184 0 0 25 0 4 0 495533982 1670619136 332899 33554432000 4194304 4627427 140734966600848 18446744073709551615 4332826 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=1631464 CPUtime=1119.41 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 542972 0 0 0 111765 176 0 0 25 0 4 0 495533982 1670619136 332899 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=1631464 CPUtime=1122.27 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 577766 0 0 0 112054 173 0 0 25 0 4 0 495533982 1670619136 332899 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4482.96 Current children cumulated vsize (KiB) 1631464 [startup+1182.31 s] /proc/loadavg: 8.10 8.12 7.91 9/184 1173 /proc/meminfo: memFree=29143928/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=1703592 CPUtime=4722.65 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 2401725 0 0 0 471508 757 0 0 25 0 4 0 495533982 1744478208 356679 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/1098/statm: 425898 356679 390 106 0 420869 0 [pid=1098/tid=1099] ppid=1096 vsize=1703592 CPUtime=1181.49 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 602771 0 0 0 117958 191 0 0 25 0 4 0 495533982 1744478208 356679 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=1703592 CPUtime=1179.42 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 584375 0 0 0 117755 187 0 0 25 0 4 0 495533982 1744478208 356679 33554432000 4194304 4627427 140734966600848 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=1703592 CPUtime=1182.28 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 603677 0 0 0 118044 184 0 0 25 0 4 0 495533982 1744478208 356679 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4722.65 Current children cumulated vsize (KiB) 1703592 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.7 s] /proc/loadavg: 8.07 8.11 7.91 9/184 1174 /proc/meminfo: memFree=29244472/32951124 swapFree=67111356/67111528 [pid=1098] ppid=1096 vsize=1703952 CPUtime=4800.14 cores=1,3,5,7 /proc/1098/stat : 1098 (strangenight2-m) R 1096 1098 815 0 -1 4202496 2431995 0 0 0 479244 770 0 0 25 0 4 0 495533982 1744846848 343841 33554432000 4194304 4627427 140734966600848 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/1098/statm: 425988 343841 390 106 0 420959 0 [pid=1098/tid=1099] ppid=1096 vsize=1703952 CPUtime=1200.89 cores=1,3,5,7 /proc/1098/task/1099/stat : 1099 (strangenight2-m) R 1096 1098 815 0 -1 4202560 611913 0 0 0 119895 194 0 0 25 0 4 0 495533982 1744846848 343843 33554432000 4194304 4627427 140734966600848 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=1098/tid=1100] ppid=1096 vsize=1703952 CPUtime=1198.81 cores=1,3,5,7 /proc/1098/task/1100/stat : 1100 (strangenight2-m) R 1096 1098 815 0 -1 4202560 591544 0 0 0 119691 190 0 0 25 0 4 0 495533982 1744846848 343843 33554432000 4194304 4627427 140734966600848 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=1098/tid=1101] ppid=1096 vsize=1703952 CPUtime=1201.68 cores=1,3,5,7 /proc/1098/task/1101/stat : 1101 (strangenight2-m) R 1096 1098 815 0 -1 4202560 609801 0 0 0 119981 187 0 0 25 0 4 0 495533982 1744846848 343843 33554432000 4194304 4627427 140734966600848 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 3 0 0 0 Current children cumulated CPU time (s) 4800.14 Current children cumulated vsize (KiB) 1703952 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): 1201.77 CPU time (s): 4800.23 CPU user time (s): 4792.47 CPU system time (s): 7.75582 CPU usage (%): 399.431 Max. virtual memory (cumulated for all children) (KiB): 1773488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4792.47 system time used= 7.75582 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2432003 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= 6309 involuntary context switches= 31073 runsolver used 1.82172 second user time and 4.74628 second system time The end
Begin job on node143 at 2011-04-29 00:53:04 IDJOB=3173779 IDBENCH=82597 IDSOLVER=1586 FILE ID=node143/3173779-1304031183 RUNJOBID= node143-1304028687-843 PBS_JOBID= 13170309 Free space on /tmp= 72920 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173779-1304031183/watcher-3173779-1304031183 -o /tmp/evaluation-result-3173779-1304031183/solver-3173779-1304031183 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173779-1304031183.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c08a1b82ea5b515d260c5edf61d7067c RANDOM SEED=1244507841 node143.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.846 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.69 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.846 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.846 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.83 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.74 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30857024 kB Buffers: 132956 kB Cached: 454148 kB SwapCached: 168 kB Active: 1392856 kB Inactive: 436828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30857024 kB SwapTotal: 67111528 kB SwapFree: 67111356 kB Dirty: 6624 kB Writeback: 0 kB AnonPages: 1241672 kB Mapped: 15672 kB Slab: 198196 kB PageTables: 7132 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1623708 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= 72908 MiB End job on node143 at 2011-04-29 01:13:07