| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.36 | 1203.48 |
| 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-3366188-1305398309.cnf' 0.00/0.00 c -- header says num vars: 15000 0.00/0.00 c -- header says num clauses: 63000 0.50/0.17 c -- clauses added: 0 learnts, 63000 normals, 0 xors 0.50/0.17 c -- vars added 15000 0.50/0.17 c Parsing time: 0.03 s 0.50/0.17 c N st 0 0 15000 63000 0 0 189000 0 no data no data 0.50/0.17 c asymm cl-useful: 0/63000/63000 lits-rem:0 time: 0.05 0.50/0.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.02 0.50/0.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.50/0.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.50/0.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.50/0.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15000 time: 0.00 s 0.50/0.20 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.01 s 0.50/0.91 c lits-rem: 0 cl-subs: 0 v-elim: 393 v-fix: 0 time: 0.09 s 0.50/0.91 c Finding binary XORs T: 0.00 s found: 0 0.50/0.91 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.50/0.91 c calculated reachability. Time: 0.00 0.50/0.91 c Calc default polars - time: 0.00 s pos: 6719 undec: 1652 neg: 6629 0.50/0.91 c ========================================================================================= 0.50/0.91 c types(t): F = full restart, N = normal restart 0.50/0.91 c types(t): S = simplification begin/end, E = solution found 0.50/0.91 c restart types(rt): st = static, dy = dynamic 0.50/0.91 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.50/0.91 c B st 0 0 14607 62536 0 0 189956 0 no data no data 4.41/1.21 c N dy 19 4035 14607 62536 0 4034 189956 771064 104.06 109.99 8.27/2.14 c N dy 50 8037 14607 62536 0 8036 189956 1476566 110.59 118.55 12.26/3.13 c N dy 79 12062 14607 62536 0 12061 189956 2192978 112.09 141.96 16.29/4.13 c N dy 103 16066 14607 62536 0 16065 189956 2911216 111.54 123.63 20.68/5.22 c N dy 131 20149 14607 62536 0 10156 189956 529232 112.41 123.54 24.65/6.22 c N dy 158 24169 14607 62536 0 14175 189956 1248166 112.25 136.92 25.42/6.44 c F st 165 25003 14607 62536 0 15009 189956 1397176 112.35 101.98 29.04/7.33 c N st 170 28300 14607 62536 0 18304 189956 2144044 112.35 no data 31.01/7.80 c S st 171 30000 14607 62536 0 20003 189956 2553373 112.35 no data 31.41/7.93 c S st 171 30501 14607 62536 0 20504 189956 2616543 112.35 no data 31.41/7.94 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 31.41/7.98 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.04 31.41/8.00 c blocked clauses removed: 255 vars: 40 tried: 14607 T: 0.01 s 31.81/8.00 c bin-w-bin subsume rem 0 bins time: 0.00 s 31.81/8.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 31.81/8.01 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14567 time: 0.00 s 31.81/8.01 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 31.81/8.08 c lits-rem: 0 cl-subs: 0 v-elim: 6 v-fix: 0 time: 0.06 s 32.61/8.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 35.80/9.00 c lits-rem: 22 cl-subs: 6 v-elim: 0 v-fix: 0 time: 0.69 s 35.80/9.08 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.08 35.80/9.08 c calculated reachability. Time: 0.00 35.80/9.08 c N dy 171 30501 14561 62275 0 20426 189204 2597780 112.35 no data 40.58/10.24 c N dy 200 34514 14561 62275 0 24439 189204 3320207 112.73 120.41 45.37/11.45 c N dy 221 38674 14561 62275 0 28599 189204 4073348 112.26 118.48 50.16/12.64 c N dy 246 42822 14561 62275 0 17282 189204 915762 111.78 118.55 53.35/13.46 c S st 266 45751 14561 62275 0 20211 189204 1447419 111.88 108.57 53.75/13.59 c S st 266 46251 14561 62275 0 20711 189204 1501076 111.88 no data 54.15/13.60 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 54.15/13.64 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.04 54.15/13.65 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 54.15/13.66 c bin-w-bin subsume rem 0 bins time: 0.00 s 54.15/13.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 54.15/13.66 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 54.15/13.67 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 54.55/13.72 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 54.55/13.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 55.78/14.01 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.19 s 55.78/14.02 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.00 55.78/14.04 c vivif2 -- cl tried 20710 cl shrink 0 lits rem 0 time: 0.02 56.13/14.12 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.08 56.13/14.12 c calculated reachability. Time: 0.00 56.13/14.12 c N dy 266 46251 14561 62275 0 20710 189204 1500940 111.88 no data 60.52/15.25 c N dy 298 50327 14561 62275 0 24786 189204 2234196 112.50 133.69 64.90/16.38 c N dy 324 54331 14561 62275 0 28790 189204 2950297 112.60 126.87 69.70/17.57 c N dy 350 58367 14561 62275 0 32825 189204 3684668 112.77 118.75 74.48/18.78 c N dy 379 62457 14561 62275 0 36913 189204 4411109 112.68 120.77 79.27/19.93 c N dy 406 66549 14561 62275 0 22275 189204 1226901 112.71 118.85 82.46/20.72 c S st 424 69376 14561 62275 0 25102 189204 1736037 112.86 no data 82.86/20.87 c S st 424 69880 14561 62275 0 25606 189204 1805004 112.86 no data 82.86/20.88 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 83.25/20.92 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.04 83.25/20.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 83.25/20.94 c bin-w-bin subsume rem 0 bins time: 0.00 s 83.25/20.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 83.25/20.95 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 83.25/20.95 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 83.65/21.01 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 84.06/21.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 85.26/21.42 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.31 s 85.26/21.43 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.00 85.26/21.46 c vivif2 -- cl tried 25605 cl shrink 0 lits rem 0 time: 0.03 85.66/21.54 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.09 85.66/21.55 c calculated reachability. Time: 0.00 85.66/21.55 c N dy 424 69880 14561 62275 0 25605 189204 1804978 112.86 no data 90.89/22.85 c N dy 454 74398 14561 62275 0 30121 189204 2628724 113.12 123.64 96.42/24.28 c N dy 490 79166 14561 62275 0 34889 189204 3502988 113.32 137.13 102.81/25.89 c N dy 527 84429 14561 62275 0 40152 189204 4460998 113.38 123.06 106.80/26.85 c F st 550 87501 14561 62275 0 22363 189204 855186 113.66 no data 110.78/27.80 c N st 555 90795 14561 62275 0 25657 189204 1591930 113.66 no data 117.56/29.58 c N dy 582 96701 14561 62275 0 31563 189204 2785018 113.73 120.65 125.15/31.45 c N dy 621 102902 14561 62275 0 37764 189204 3891503 113.67 125.82 127.54/32.04 c S st 633 104820 14561 62275 0 39682 189204 4240185 113.64 111.39 128.33/32.20 c S st 633 105323 14561 62275 0 40185 189204 4309795 113.64 no data 128.33/32.22 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 128.33/32.27 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.05 128.33/32.28 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 128.33/32.29 c bin-w-bin subsume rem 0 bins time: 0.00 s 128.33/32.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 128.73/32.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 128.73/32.30 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 128.73/32.38 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 129.95/32.61 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 137.51/34.58 c lits-rem: 13 cl-subs: 7 v-elim: 0 v-fix: 0 time: 1.94 s 137.51/34.59 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 137.91/34.65 c vivif2 -- cl tried 40178 cl shrink 0 lits rem 0 time: 0.06 138.31/34.76 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.11 138.31/34.77 c calculated reachability. Time: 0.00 138.31/34.77 c N dy 633 105323 14561 62275 0 40178 189204 4307621 113.64 no data 147.08/36.96 c N dy 678 112335 14561 62275 0 24758 189204 954987 113.63 121.52 155.86/39.15 c N dy 731 119600 14561 62275 0 32022 189204 2300898 113.89 132.85 165.05/41.50 c N dy 779 127267 14561 62275 0 39689 189204 3661144 113.65 126.55 175.80/44.14 c N dy 833 135488 14561 62275 0 24195 189204 589326 113.67 120.26 186.18/46.71 c N dy 898 144232 14561 62275 0 32937 189204 2192979 113.94 120.84 197.74/49.60 c N dy 961 153454 14561 62275 0 42159 189204 3877048 114.06 146.44 203.33/51.08 c S st 990 157986 14561 62275 0 46691 189204 4724248 114.11 110.85 204.13/51.25 c S st 990 158494 14561 62275 0 47199 189204 4790013 114.11 no data 204.13/51.27 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 204.54/51.34 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 204.54/51.36 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 204.54/51.36 c bin-w-bin subsume rem 0 bins time: 0.00 s 204.54/51.36 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 204.54/51.37 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 204.54/51.37 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 204.96/51.46 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 205.71/51.67 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 218.13/54.77 c lits-rem: 7 cl-subs: 7 v-elim: 0 v-fix: 0 time: 3.05 s 218.13/54.78 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 218.48/54.85 c vivif2 -- cl tried 47192 cl shrink 0 lits rem 0 time: 0.07 218.89/54.97 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.12 218.89/54.97 c calculated reachability. Time: 0.00 218.89/54.97 c N dy 990 158494 14561 62275 0 47192 189204 4787854 114.11 no data 231.29/58.08 c N dy 1059 168646 14561 62275 0 32488 189204 1884344 114.17 134.46 244.81/61.47 c N dy 1132 179532 14561 62275 0 43372 189204 3896493 114.33 124.81 259.57/65.16 c N dy 1205 191002 14561 62275 0 28915 189204 1013629 114.34 122.95 274.33/68.86 c N dy 1288 203291 14561 62275 0 41203 189204 3261728 114.44 123.24 291.89/73.25 c N dy 1378 216407 14561 62275 0 27355 189204 519742 114.50 120.82 308.64/77.49 c N dy 1474 230287 14561 62275 0 41234 189204 3063613 114.53 123.24 318.63/79.96 c S st 1526 237743 14561 62275 0 48690 189204 4428995 114.57 108.66 319.41/80.13 c S st 1526 238246 14561 62275 0 49193 189204 4495967 114.57 no data 319.41/80.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 319.81/80.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 319.81/80.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 319.81/80.22 c bin-w-bin subsume rem 0 bins time: 0.00 s 319.81/80.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 319.81/80.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 319.81/80.24 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 320.21/80.32 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 321.01/80.52 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 330.18/82.82 c lits-rem: 2 cl-subs: 5 v-elim: 0 v-fix: 0 time: 2.27 s 330.18/82.82 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 330.18/82.89 c vivif2 -- cl tried 49188 cl shrink 0 lits rem 0 time: 0.07 330.98/83.01 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.12 330.98/83.02 c calculated reachability. Time: 0.00 330.98/83.02 c N dy 1526 238246 14561 62275 0 49188 189204 4494407 114.57 no data 350.12/87.88 c N dy 1625 253575 14561 62275 0 36539 189204 1975990 114.59 121.25 372.06/93.35 c N dy 1732 269846 14561 62275 0 52809 189204 4963621 114.61 127.77 394.01/98.86 c N dy 1851 287121 14561 62275 0 41089 189204 2659185 114.69 121.63 418.74/105.05 c N dy 1972 305646 14561 62275 0 59614 189204 6064069 114.74 122.08 419.56/105.29 c F st 1976 306252 14561 62275 0 30229 189204 470213 114.74 no data 443.87/111.31 c N dy 2070 325196 14561 62275 0 49171 189204 4247284 114.74 120.91 470.60/118.02 c N dy 2204 345208 14561 62275 0 38187 189204 1775661 114.82 122.13 486.55/122.00 c S st 2290 357370 14561 62275 0 50348 189204 4021313 114.87 101.31 486.95/122.18 c S st 2290 357873 14561 62275 0 50851 189204 4087589 114.87 no data 486.95/122.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 487.35/122.25 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 487.35/122.27 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 487.35/122.27 c bin-w-bin subsume rem 0 bins time: 0.00 s 487.35/122.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 487.35/122.28 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 487.35/122.29 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 487.75/122.37 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 488.55/122.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 500.52/125.53 c lits-rem: 6 cl-subs: 3 v-elim: 0 v-fix: 0 time: 2.94 s 500.52/125.54 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 500.92/125.60 c vivif2 -- cl tried 50848 cl shrink 0 lits rem 0 time: 0.06 501.32/125.72 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.12 501.32/125.72 c calculated reachability. Time: 0.00 501.32/125.72 c N dy 2290 357873 14561 62275 0 50848 189204 4086731 114.87 no data 529.26/132.78 c N dy 2420 378013 14561 62275 0 38987 189204 1724457 115.04 122.98 556.01/139.46 c N dy 2551 398113 14561 62275 0 59085 189204 5364724 115.05 121.52 582.69/146.12 c N dy 2683 418208 14561 62275 0 46181 189204 2820262 115.09 122.02 610.62/153.15 c N dy 2810 438241 14561 62275 0 66213 189204 6544500 115.07 126.22 636.95/159.75 c N dy 2944 458333 14561 62275 0 52310 189204 3828053 115.15 126.53 665.71/166.96 c N dy 3076 478467 14561 62275 0 37449 189204 863804 115.19 124.95 692.39/173.66 c N dy 3208 498675 14561 62275 0 57656 189204 4618039 115.22 123.57 721.11/180.80 c N dy 3347 518738 14561 62275 0 41715 189204 1484140 115.25 122.18 745.44/186.94 c S st 3462 536809 14561 62275 0 59784 189204 4753199 115.21 108.05 746.24/187.13 c S st 3462 537316 14561 62275 0 60291 189204 4822220 115.21 no data 746.24/187.15 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 746.64/187.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.07 746.64/187.23 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 746.64/187.23 c bin-w-bin subsume rem 0 bins time: 0.00 s 746.64/187.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 746.64/187.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 746.64/187.25 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 747.04/187.34 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 747.84/187.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 758.61/190.25 c lits-rem: 5 cl-subs: 6 v-elim: 0 v-fix: 0 time: 2.66 s 758.61/190.25 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 759.01/190.33 c vivif2 -- cl tried 60285 cl shrink 0 lits rem 0 time: 0.07 759.41/190.46 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.14 759.41/190.47 c calculated reachability. Time: 0.00 759.41/190.47 c N dy 3462 537316 14561 62275 0 60285 189204 4820905 115.21 no data 788.15/197.65 c N dy 3597 557451 14561 62275 0 43421 189204 1614728 115.26 124.92 815.65/204.54 c N dy 3728 577501 14561 62275 0 63469 189204 5288589 115.25 121.46 844.37/211.72 c N dy 3859 597515 14561 62275 0 45482 189204 1812384 115.27 122.37 872.69/218.86 c N dy 3999 617551 14561 62275 0 65516 189204 5598298 115.40 121.55 901.82/226.10 c N dy 4132 637611 14561 62275 0 46582 189204 1810966 115.38 123.48 930.13/233.21 c N dy 4264 657667 14561 62275 0 66636 189204 5478116 115.40 128.67 960.85/240.96 c N dy 4388 677746 14561 62275 0 46716 189204 1622341 115.39 121.99 989.17/248.00 c N dy 4516 697814 14561 62275 0 66783 189204 5310914 115.40 164.00 1019.09/255.53 c N dy 4635 718002 14561 62275 0 45971 189204 1354549 115.35 121.87 1047.46/262.64 c N dy 4770 738065 14561 62275 0 66031 189204 5068172 115.42 134.36 1078.52/270.45 c N dy 4905 758136 14561 62275 0 44102 189204 820099 115.46 121.81 1106.45/277.41 c N dy 5036 778177 14561 62275 0 64143 189204 4520910 115.46 124.11 1137.56/285.26 c N dy 5160 798404 14561 62275 0 84368 189204 8236707 115.44 121.59 1148.38/287.99 c S st 5212 805974 14561 62275 0 48938 189204 1561506 115.46 113.19 1149.13/288.17 c S st 5212 806476 14561 62275 0 49440 189204 1623536 115.46 no data 1149.13/288.18 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1149.53/288.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 1149.53/288.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1149.53/288.26 c bin-w-bin subsume rem 0 bins time: 0.00 s 1149.53/288.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1149.53/288.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 1149.53/288.27 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1149.92/288.34 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 1150.32/288.41 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1152.77/289.03 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.60 s 1152.77/289.04 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 1152.77/289.06 c vivif2 -- cl tried 49439 cl shrink 0 lits rem 0 time: 0.03 1153.11/289.18 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.12 1153.11/289.19 c calculated reachability. Time: 0.00 1153.11/289.19 c N dy 5212 806476 14561 62275 0 49439 189204 1623169 115.46 no data 1183.05/296.64 c N dy 5345 826543 14561 62275 0 69504 189204 5305347 115.47 122.16 1215.34/304.74 c N dy 5481 846682 14561 62275 0 45649 189204 744896 115.48 127.75 1243.67/311.84 c N dy 5618 866782 14561 62275 0 65747 189204 4502418 115.53 149.02 1275.20/319.78 c N dy 5745 886813 14561 62275 0 85774 189204 8229817 115.54 125.72 1304.31/327.01 c N dy 5881 906824 14561 62275 0 60791 189204 3338989 115.56 124.28 1335.03/334.77 c N dy 6016 927000 14561 62275 0 80966 189204 7129686 115.60 121.71 1365.74/342.46 c N dy 6139 947041 14561 62275 0 55007 189204 2088361 115.57 130.58 1396.05/350.02 c N dy 6278 967361 14561 62275 0 75327 189204 5815397 115.59 124.05 1428.78/358.28 c N dy 6410 987416 14561 62275 0 48381 189204 704440 115.58 123.84 1457.48/365.42 c N dy 6547 1007426 14561 62275 0 68390 189204 4411897 115.60 121.88 1489.40/373.40 c N dy 6684 1027508 14561 62275 0 88471 189204 8093682 115.61 162.87 1519.71/381.07 c N dy 6808 1047580 14561 62275 0 60550 189204 2820077 115.62 124.61 1550.43/388.78 c N dy 6943 1067649 14561 62275 0 80617 189204 6549565 115.65 125.99 1557.20/390.49 c F st 6971 1071877 14561 62275 0 84845 189204 7334135 115.65 no data 1583.52/397.03 c N dy 7044 1087733 14561 62275 0 51704 189204 971722 115.66 124.70 1613.07/404.44 c N dy 7179 1108036 14561 62275 0 72006 189204 4773301 115.68 122.58 1645.76/412.64 c N dy 7300 1128179 14561 62275 0 92148 189204 8448410 115.66 122.87 1676.87/420.45 c N dy 7431 1148381 14561 62275 0 62352 189204 2758749 115.66 123.07 1707.99/428.28 c N dy 7553 1168443 14561 62275 0 82413 189204 6421347 115.65 145.75 1743.49/437.19 c N dy 7700 1188489 14561 62275 0 51459 189204 570197 115.70 123.00 1773.81/444.79 c N dy 7838 1208570 14561 62275 0 71538 189204 4314723 115.74 122.54 1775.84/445.23 c S st 7843 1209714 14561 62275 0 72681 189204 4524159 115.74 no data 1776.60/445.44 c S st 7843 1210218 14561 62275 0 73185 189204 4591229 115.74 no data 1776.60/445.46 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1777.00/445.54 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.08 1777.00/445.55 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1777.00/445.56 c bin-w-bin subsume rem 0 bins time: 0.00 s 1777.00/445.56 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1777.00/445.57 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 1777.00/445.57 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1777.39/445.66 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 1778.19/445.86 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1791.35/449.19 c lits-rem: 4 cl-subs: 9 v-elim: 0 v-fix: 0 time: 3.28 s 1791.35/449.19 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 1791.75/449.27 c vivif2 -- cl tried 73176 cl shrink 0 lits rem 0 time: 0.07 1792.56/449.42 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.15 1792.56/449.43 c calculated reachability. Time: 0.00 1792.56/449.43 c N dy 7843 1210218 14561 62275 0 73176 189204 4589059 115.74 no data 1825.67/457.74 c N dy 7976 1230325 14561 62275 0 93280 189204 8323815 115.73 121.91 1857.58/465.79 c N dy 8107 1250398 14561 62275 0 61359 189204 2195375 115.72 125.12 1888.29/473.48 c N dy 8239 1270487 14561 62275 0 81444 189204 5925522 115.73 125.27 1923.00/482.14 c N dy 8377 1290502 14561 62275 0 101457 189204 9692268 115.76 124.60 1954.11/489.92 c N dy 8500 1310545 14561 62275 0 68505 189204 3327904 115.76 130.41 1986.46/498.03 c N dy 8637 1330564 14561 62275 0 88522 189204 7059717 115.78 122.25 2022.71/507.14 c N dy 8773 1350673 14561 62275 0 54632 189204 600781 115.81 122.76 2052.28/514.60 c N dy 8916 1370710 14561 62275 0 74666 189204 4405540 115.89 138.10 2085.75/522.98 c N dy 9046 1390812 14561 62275 0 94767 189204 8113882 115.89 126.29 2120.45/531.66 c N dy 9172 1410860 14561 62275 0 59818 189204 1379944 115.89 122.05 2151.16/539.30 c N dy 9304 1431041 14561 62275 0 79998 189204 5074089 115.88 124.95 2185.07/547.86 c N dy 9437 1451171 14561 62275 0 100126 189204 8747854 115.88 125.13 2219.02/556.32 c N dy 9572 1471193 14561 62275 0 64149 189204 2011493 115.90 126.81 2250.49/564.24 c N dy 9709 1491317 14561 62275 0 84270 189204 5788636 115.93 123.86 2285.19/572.99 c N dy 9837 1511481 14561 62275 0 104432 189204 9494968 115.93 122.38 2319.10/581.44 c N dy 9972 1531485 14561 62275 0 67444 189204 2484878 115.97 154.56 2351.40/589.59 c N dy 10110 1551764 14561 62275 0 87723 189204 6247036 115.99 122.52 2387.31/598.50 c N dy 10240 1571859 14561 62275 0 107817 189204 9924326 115.99 122.39 2420.02/606.78 c N dy 10373 1592004 14561 62275 0 69962 189204 2689129 115.98 130.47 2452.33/614.86 c N dy 10503 1612078 14561 62275 0 90034 189204 6383930 115.98 125.04 2488.64/623.92 c N dy 10633 1632172 14561 62275 0 110128 189204 10116837 115.99 122.16 2521.79/632.23 c N dy 10766 1652179 14561 62275 0 71134 189204 2730790 115.99 124.84 2554.84/640.53 c N dy 10904 1672280 14561 62275 0 91233 189204 6461173 116.00 124.84 2591.57/649.76 c N dy 11029 1692441 14561 62275 0 111394 189204 10155455 115.99 125.46 2622.28/657.49 c S st 11151 1710219 14561 62275 0 69174 189204 2246727 116.01 no data 2623.45/657.70 c S st 11151 1710721 14561 62275 0 69676 189204 2306933 116.01 no data 2623.45/657.71 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2623.45/657.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.07 2623.85/657.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2623.85/657.81 c bin-w-bin subsume rem 0 bins time: 0.00 s 2623.85/657.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2623.85/657.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 2623.85/657.82 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 2624.25/657.90 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 2624.65/658.00 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2630.64/659.56 c lits-rem: 2 cl-subs: 2 v-elim: 0 v-fix: 0 time: 1.55 s 2630.64/659.56 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 2630.64/659.60 c vivif2 -- cl tried 69674 cl shrink 0 lits rem 0 time: 0.04 2631.47/659.74 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.14 2631.47/659.75 c calculated reachability. Time: 0.00 2631.47/659.75 c N dy 11151 1710721 14561 62275 0 69674 189204 2306083 116.01 no data 2663.34/667.73 c N dy 11280 1730799 14561 62275 0 89752 189204 6006702 116.01 123.18 2698.85/676.64 c N dy 11407 1750912 14561 62275 0 109863 189204 9724006 116.02 123.75 2733.54/685.37 c N dy 11532 1770964 14561 62275 0 68917 189204 2014585 116.04 125.46 2766.26/693.51 c N dy 11673 1791235 14561 62275 0 89186 189204 5825023 116.06 122.96 2802.95/702.70 c N dy 11812 1811324 14561 62275 0 109275 189204 9521972 116.07 125.41 2840.05/712.01 c N dy 11940 1831442 14561 62275 0 67401 189204 1493540 116.06 122.85 2871.57/719.92 c N dy 12076 1851586 14561 62275 0 87545 189204 5241952 116.08 127.48 2906.67/728.70 c N dy 12218 1871830 14561 62275 0 107785 189204 9020304 116.10 132.41 2944.56/738.24 c N dy 12349 1891996 14561 62275 0 64959 189204 893074 116.10 125.97 2976.08/746.16 c N dy 12483 1912212 14561 62275 0 85172 189204 4649823 116.11 123.02 3009.98/754.67 c N dy 12610 1932218 14561 62275 0 105176 189204 8322893 116.11 127.34 3048.67/764.32 c N dy 12752 1952257 14561 62275 0 125215 189204 12078324 116.12 123.01 3080.99/772.47 c N dy 12894 1972300 14561 62275 0 81258 189204 3756280 116.14 122.62 3115.69/781.11 c N dy 13035 1992502 14561 62275 0 101460 189204 7584401 116.16 126.20 3152.80/790.45 c N dy 13171 2012542 14561 62275 0 121500 189204 11301113 116.18 126.89 3187.50/799.13 c N dy 13295 2032601 14561 62275 0 76567 189204 2713981 116.17 147.69 3220.20/807.33 c N dy 13427 2052683 14561 62275 0 96646 189204 6450158 116.19 123.15 3256.50/816.48 c N dy 13559 2072717 14561 62275 0 116678 189204 10190340 116.19 124.04 3294.79/826.07 c N dy 13693 2092844 14561 62275 0 70805 189204 1442661 116.20 124.31 3326.71/834.04 c N dy 13827 2112866 14561 62275 0 90826 189204 5175960 116.22 138.75 3362.61/843.09 c N dy 13966 2133019 14561 62275 0 110979 189204 8903599 116.23 125.32 3401.71/852.82 c N dy 14089 2153087 14561 62275 0 131045 189204 12577845 116.22 127.56 3436.41/861.57 c N dy 14212 2173325 14561 62275 0 84288 189204 3712357 116.21 126.74 3471.10/870.24 c N dy 14342 2193427 14561 62275 0 104388 189204 7425833 116.22 123.70 3505.01/878.76 c S st 14450 2210723 14561 62275 0 121683 189204 10635706 116.22 no data 3506.22/879.08 c S st 14450 2211225 14561 62275 0 122185 189204 10705577 116.22 no data 3506.62/879.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3507.02/879.24 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.13 3507.02/879.26 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3507.02/879.26 c bin-w-bin subsume rem 0 bins time: 0.00 s 3507.02/879.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3507.02/879.27 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.01 s 3507.02/879.28 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 3507.82/879.43 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.15 s 3510.20/880.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3536.92/886.70 c lits-rem: 6 cl-subs: 7 v-elim: 0 v-fix: 0 time: 6.64 s 3536.92/886.71 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 3537.32/886.88 c vivif2 -- cl tried 122178 cl shrink 0 lits rem 0 time: 0.17 3538.53/887.11 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.23 3538.53/887.11 c calculated reachability. Time: 0.00 3538.53/887.11 c N dy 14450 2211225 14561 62275 0 122178 189204 10703791 116.22 no data 3576.42/896.67 c N dy 14583 2231239 14561 62275 0 74194 189204 1743205 116.25 131.25 3609.54/904.92 c N dy 14723 2251274 14561 62275 0 94228 189204 5501060 116.27 166.36 3645.43/913.92 c N dy 14845 2271346 14561 62275 0 114300 189204 9186865 116.26 123.45 3685.72/924.00 c N dy 14978 2291409 14561 62275 0 134362 189204 12957740 116.27 122.52 3718.83/932.36 c N dy 15105 2311461 14561 62275 0 85416 189204 3631785 116.28 123.65 3753.53/941.02 c N dy 15240 2331545 14561 62275 0 105498 189204 7444813 116.29 177.23 3791.43/950.56 c N dy 15373 2351572 14561 62275 0 125525 189204 11093571 116.30 140.80 3830.52/960.31 c N dy 15504 2371674 14561 62275 0 75627 189204 1618626 116.30 123.70 3863.23/968.52 c N dy 15630 2391750 14561 62275 0 95703 189204 5356325 116.30 122.82 3899.57/977.65 c N dy 15765 2411834 14561 62275 0 115786 189204 9070650 116.30 125.73 3939.41/987.69 c N dy 15895 2431924 14561 62275 0 135875 189204 12796783 116.30 124.92 3974.51/996.48 c N dy 16027 2451977 14561 62275 0 84931 189204 3167524 116.30 122.94 4009.62/1005.21 c N dy 16160 2472174 14561 62275 0 105128 189204 6948446 116.31 122.53 4047.92/1014.86 c N dy 16304 2492408 14561 62275 0 125362 189204 10728397 116.33 122.90 4089.00/1025.13 c N dy 16430 2512415 14561 62275 0 73368 189204 846770 116.33 129.68 4121.71/1033.32 c N dy 16567 2532465 14561 62275 0 93417 189204 4529320 116.34 123.03 4157.62/1042.30 c N dy 16708 2552490 14561 62275 0 113439 189204 8275064 116.36 123.33 4197.10/1052.20 c N dy 16837 2572578 14561 62275 0 133524 189204 11999816 116.36 125.55 4235.80/1061.93 c N dy 16971 2592642 14561 62275 0 80588 189204 2008377 116.37 142.95 4269.70/1070.44 c N dy 17101 2612756 14561 62275 0 100701 189204 5716113 116.37 126.16 4306.81/1079.79 c N dy 17237 2632787 14561 62275 0 120732 189204 9434011 116.37 131.10 4348.29/1090.16 c N dy 17374 2652868 14561 62275 0 140810 189204 13168258 116.38 134.53 4386.98/1099.83 c N dy 17510 2672879 14561 62275 0 86831 189204 3002863 116.40 123.20 4422.08/1108.61 c N dy 17636 2692983 14561 62275 0 106934 189204 6675529 116.39 127.25 4456.84/1117.39 c S st 17754 2711227 14561 62275 0 125176 189204 10049364 116.39 75.64 4457.99/1117.69 c S st 17754 2711732 14561 62275 0 125681 189204 10109295 116.39 no data 4458.39/1117.72 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4458.79/1117.84 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.12 4458.79/1117.86 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4458.79/1117.86 c bin-w-bin subsume rem 0 bins time: 0.00 s 4458.79/1117.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4458.79/1117.87 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14561 time: 0.00 s 4458.79/1117.88 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 4459.58/1118.03 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.14 s 4461.57/1118.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4487.55/1125.08 c lits-rem: 6 cl-subs: 9 v-elim: 0 v-fix: 0 time: 6.53 s 4487.55/1125.09 c vivif2 -- cl tried 62275 cl shrink 0 lits rem 0 time: 0.01 4488.30/1125.24 c vivif2 -- cl tried 125672 cl shrink 0 lits rem 0 time: 0.16 4489.10/1125.48 c asymm cl-useful: 0/62275/62275 lits-rem:0 time: 0.24 4489.10/1125.49 c calculated reachability. Time: 0.00 4489.10/1125.49 c N dy 17754 2711732 14561 62275 0 125672 189204 10106639 116.39 no data 4531.78/1136.12 c N dy 17887 2731848 14561 62275 0 145788 189204 13807023 116.38 129.56 4566.53/1144.82 c N dy 18013 2751931 14561 62275 0 90870 189204 3540199 116.38 122.78 4602.38/1153.82 c N dy 18144 2772203 14561 62275 0 111141 189204 7293497 116.38 122.99 4641.87/1163.71 c N dy 18268 2792503 14561 62275 0 131440 189204 11083605 116.38 124.36 4686.95/1175.06 c N dy 18398 2812548 14561 62275 0 151485 189204 14811748 116.38 134.14 4720.45/1183.49 c N dy 18538 2832570 14561 62275 0 95507 189204 4278286 116.40 123.21 4757.15/1192.66 c N dy 18675 2852632 14561 62275 0 115567 189204 8028157 116.41 134.40 4797.45/1202.76 c N dy 18809 2872691 14561 62275 0 135625 189204 11730762 116.42 143.37
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366188-1305398309/watcher-3366188-1305398309 -o /tmp/evaluation-result-3366188-1305398309/solver-3366188-1305398309 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366188-1305398309.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.49 7.88 6.49 3/348 7578 /proc/meminfo: memFree=17809840/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 411 0 0 0 0 0 0 0 22 0 4 0 730061554 52396032 352 33554432000 4194304 4580107 140734917122480 18446744073709551615 47146297014194 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/7578/statm: 12792 352 302 95 0 7774 0 [pid=7578/tid=7579] ppid=7576 vsize=271856 CPUtime=0 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 658 0 0 0 0 0 0 0 18 0 4 0 730061554 278380544 4042 33554432000 4194304 4580107 140734917122480 18446744073709551615 4306901 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=271856 CPUtime=0 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 1033 0 0 0 0 0 0 0 18 0 4 0 730061554 278380544 4067 33554432000 4194304 4580107 140734917122480 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=271856 CPUtime=0 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 1488 0 0 0 0 0 0 0 18 0 4 0 730061554 278380544 4090 33554432000 4194304 4580107 140734917122480 18446744073709551615 256415088743 0 0 4096 2 0 0 0 -1 5 0 0 0 [startup+0.0817789 s] /proc/loadavg: 7.49 7.88 6.49 3/348 7578 /proc/meminfo: memFree=17809840/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=368136 CPUtime=0.5 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) D 7576 7578 7452 0 -1 4202496 12852 0 0 0 43 7 0 0 18 0 4 0 730061554 376971264 12074 33554432000 4194304 4580107 140734917122480 18446744073709551615 256415434935 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7578/statm: 92220 12568 363 95 0 87202 0 [pid=7578/tid=7579] ppid=7576 vsize=369492 CPUtime=0.12 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 2967 0 0 0 10 2 0 0 18 0 4 0 730061554 378359808 12762 33554432000 4194304 4580107 140734917122480 18446744073709551615 256415047687 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=369492 CPUtime=0.11 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 3626 0 0 0 10 1 0 0 18 0 4 0 730061554 378359808 12762 33554432000 4194304 4580107 140734917122480 18446744073709551615 256415449514 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=369492 CPUtime=0.13 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 2944 0 0 0 12 1 0 0 18 0 4 0 730061554 378359808 12762 33554432000 4194304 4580107 140734917122480 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 368136 [startup+0.201931 s] /proc/loadavg: 7.49 7.88 6.49 3/348 7578 /proc/meminfo: memFree=17809840/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=378592 CPUtime=3.6 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 24680 0 0 0 351 9 0 0 19 0 4 0 730061554 387678208 19035 33554432000 4194304 4580107 140734917122480 18446744073709551615 4325657 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7578/statm: 94648 19036 377 95 0 89630 0 [pid=7578/tid=7579] ppid=7576 vsize=378592 CPUtime=0.89 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 6530 0 0 0 86 3 0 0 18 0 4 0 730061554 387678208 19036 33554432000 4194304 4580107 140734917122480 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=378592 CPUtime=0.89 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 6910 0 0 0 87 2 0 0 18 0 4 0 730061554 387678208 19036 33554432000 4194304 4580107 140734917122480 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=378592 CPUtime=0.9 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 3604 0 0 0 89 1 0 0 19 0 4 0 730061554 387678208 19036 33554432000 4194304 4580107 140734917122480 18446744073709551615 4323028 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 3.6 Current children cumulated vsize (KiB) 378592 [startup+1.03031 s] /proc/loadavg: 7.49 7.88 6.49 3/348 7578 /proc/meminfo: memFree=17809840/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=378592 CPUtime=4 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 25012 0 0 0 391 9 0 0 19 0 4 0 730061554 387678208 19367 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7578/statm: 94648 19367 377 95 0 89630 0 [pid=7578/tid=7579] ppid=7576 vsize=378592 CPUtime=0.99 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 6615 0 0 0 96 3 0 0 19 0 4 0 730061554 387678208 19367 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=378592 CPUtime=0.99 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 6989 0 0 0 97 2 0 0 19 0 4 0 730061554 387678208 19367 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=378592 CPUtime=1 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 3687 0 0 0 99 1 0 0 19 0 4 0 730061554 387678208 19367 33554432000 4194304 4580107 140734917122480 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4 Current children cumulated vsize (KiB) 378592 [startup+1.13029 s] /proc/loadavg: 7.49 7.88 6.49 3/348 7578 /proc/meminfo: memFree=17809840/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=378592 CPUtime=4.41 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 25348 0 0 0 431 10 0 0 19 0 4 0 730061554 387678208 19703 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7578/statm: 94648 19703 377 95 0 89630 0 [pid=7578/tid=7579] ppid=7576 vsize=378592 CPUtime=1.09 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 6692 0 0 0 106 3 0 0 19 0 4 0 730061554 387678208 19703 33554432000 4194304 4580107 140734917122480 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=378592 CPUtime=1.09 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 7080 0 0 0 107 2 0 0 19 0 4 0 730061554 387678208 19703 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=378592 CPUtime=1.1 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 3769 0 0 0 109 1 0 0 19 0 4 0 730061554 387678208 19703 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 4.41 Current children cumulated vsize (KiB) 378592 [startup+1.50022 s] /proc/loadavg: 7.49 7.88 6.49 3/348 7578 /proc/meminfo: memFree=17809840/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=378764 CPUtime=5.89 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 26629 0 0 0 579 10 0 0 19 0 4 0 730061554 387854336 20984 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7578/statm: 94691 20985 377 95 0 89673 0 [pid=7578/tid=7579] ppid=7576 vsize=378764 CPUtime=1.46 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 7006 0 0 0 143 3 0 0 20 0 4 0 730061554 387854336 20985 33554432000 4194304 4580107 140734917122480 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=378764 CPUtime=1.46 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 7388 0 0 0 144 2 0 0 19 0 4 0 730061554 387854336 20985 33554432000 4194304 4580107 140734917122480 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=378764 CPUtime=1.47 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 4116 0 0 0 146 1 0 0 19 0 4 0 730061554 387854336 20985 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 5.89 Current children cumulated vsize (KiB) 378764 [startup+3.10092 s] /proc/loadavg: 7.49 7.88 6.49 9/358 7591 /proc/meminfo: memFree=17557832/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=510576 CPUtime=12.26 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 31902 0 0 0 1215 11 0 0 25 0 4 0 730061554 522829824 26257 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293225 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7578/statm: 127644 26257 377 95 0 122626 0 [pid=7578/tid=7579] ppid=7576 vsize=510576 CPUtime=3.06 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 8310 0 0 0 303 3 0 0 25 0 4 0 730061554 522829824 26257 33554432000 4194304 4580107 140734917122480 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=510576 CPUtime=3.06 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 8727 0 0 0 304 2 0 0 25 0 4 0 730061554 522829824 26257 33554432000 4194304 4580107 140734917122480 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=510576 CPUtime=3.07 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 5490 0 0 0 306 1 0 0 25 0 4 0 730061554 522829824 26257 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 12.26 Current children cumulated vsize (KiB) 510576 [startup+6.31331 s] /proc/loadavg: 7.61 7.90 6.50 9/358 7591 /proc/meminfo: memFree=17533652/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=397352 CPUtime=25.07 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 45392 0 0 0 2493 14 0 0 25 0 4 0 730061554 406888448 23646 33554432000 4194304 4580107 140734917122480 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7578/statm: 99338 23647 378 95 0 94320 0 [pid=7578/tid=7579] ppid=7576 vsize=397352 CPUtime=6.27 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 11612 0 0 0 623 4 0 0 25 0 4 0 730061554 406888448 23647 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=397352 CPUtime=6.26 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 12107 0 0 0 624 2 0 0 25 0 4 0 730061554 406888448 23647 33554432000 4194304 4580107 140734917122480 18446744073709551615 4322544 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=397352 CPUtime=6.28 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 8952 0 0 0 626 2 0 0 25 0 4 0 730061554 406888448 23647 33554432000 4194304 4580107 140734917122480 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 25.07 Current children cumulated vsize (KiB) 397352 [startup+12.7011 s] /proc/loadavg: 7.64 7.90 6.51 9/358 7592 /proc/meminfo: memFree=17393528/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=527608 CPUtime=50.56 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 103024 0 0 0 5030 26 0 0 25 0 4 0 730061554 540270592 65142 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293105 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7578/statm: 131902 65142 379 95 0 126884 0 [pid=7578/tid=7579] ppid=7576 vsize=527608 CPUtime=12.66 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 33979 0 0 0 1258 8 0 0 25 0 4 0 730061554 540270592 65142 33554432000 4194304 4580107 140734917122480 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=527608 CPUtime=12.65 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 23058 0 0 0 1260 5 0 0 25 0 4 0 730061554 540270592 65142 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=527608 CPUtime=12.68 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 14608 0 0 0 1264 4 0 0 25 0 4 0 730061554 540270592 65142 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 50.56 Current children cumulated vsize (KiB) 527608 [startup+25.5007 s] /proc/loadavg: 7.72 7.90 6.53 9/358 7594 /proc/meminfo: memFree=17034684/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=610064 CPUtime=101.61 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 153629 0 0 0 10122 39 0 0 25 0 4 0 730061554 624705536 86468 33554432000 4194304 4580107 140734917122480 18446744073709551615 4302360 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7578/statm: 152516 86468 379 95 0 147498 0 [pid=7578/tid=7579] ppid=7576 vsize=610064 CPUtime=25.46 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 44395 0 0 0 2535 11 0 0 25 0 4 0 730061554 624705536 86468 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=610064 CPUtime=25.45 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 33446 0 0 0 2537 8 0 0 25 0 4 0 730061554 624705536 86468 33554432000 4194304 4580107 140734917122480 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=610064 CPUtime=25.47 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 33428 0 0 0 2539 8 0 0 25 0 4 0 730061554 624705536 86468 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 101.61 Current children cumulated vsize (KiB) 610064 [startup+51.1008 s] /proc/loadavg: 8.10 7.97 6.59 10/359 7596 /proc/meminfo: memFree=16711344/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=878848 CPUtime=203.73 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 226409 0 0 0 20315 58 0 0 25 0 4 0 730061554 899940352 125399 33554432000 4194304 4580107 140734917122480 18446744073709551615 4320813 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7578/statm: 219712 125399 379 95 0 214694 0 [pid=7578/tid=7579] ppid=7576 vsize=878848 CPUtime=51.06 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 61457 0 0 0 5091 15 0 0 25 0 4 0 730061554 899940352 125399 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=878848 CPUtime=51.05 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 50708 0 0 0 5092 13 0 0 25 0 4 0 730061554 899940352 125399 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=878848 CPUtime=51.07 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 54065 0 0 0 5093 14 0 0 25 0 4 0 730061554 899940352 125399 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 203.73 Current children cumulated vsize (KiB) 878848 [startup+102.301 s] /proc/loadavg: 8.08 7.99 6.67 9/358 7597 /proc/meminfo: memFree=16507484/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=939688 CPUtime=407.97 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 327174 0 0 0 40709 88 0 0 25 0 4 0 730061554 962240512 149556 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7578/statm: 234922 149556 379 95 0 229904 0 [pid=7578/tid=7579] ppid=7576 vsize=939688 CPUtime=102.27 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 80389 0 0 0 10205 22 0 0 25 0 4 0 730061554 962240512 149557 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=939688 CPUtime=102.26 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 75960 0 0 0 10206 20 0 0 25 0 4 0 730061554 962240512 149557 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=939688 CPUtime=102.27 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 83270 0 0 0 10205 22 0 0 25 0 4 0 730061554 962240512 149557 33554432000 4194304 4580107 140734917122480 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 407.97 Current children cumulated vsize (KiB) 939688 [startup+162.301 s] ################ # More data... # ################ [pid=7578] ppid=7576 vsize=1221508 CPUtime=2562.02 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 1354539 0 0 0 255781 421 0 0 25 0 4 0 730061554 1250824192 224417 33554432000 4194304 4580107 140734917122480 18446744073709551615 4292938 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0 /proc/7578/statm: 305377 224417 379 95 0 300359 0 [pid=7578/tid=7579] ppid=7576 vsize=1221508 CPUtime=642.26 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 336706 0 0 0 64120 106 0 0 25 0 4 0 730061554 1250824192 224417 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=1221508 CPUtime=642.24 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 348303 0 0 0 64118 106 0 0 25 0 4 0 730061554 1250824192 224417 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293105 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=1221508 CPUtime=642.24 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 353355 0 0 0 64113 111 0 0 25 0 4 0 730061554 1250824192 224417 33554432000 4194304 4580107 140734917122480 18446744073709551615 4295897 0 0 4096 2 0 0 0 -1 5 0 0 0 Current children cumulated CPU time (s) 2562.02 Current children cumulated vsize (KiB) 1221508 [startup+702.3 s] /proc/loadavg: 8.18 8.12 7.35 9/358 7613 /proc/meminfo: memFree=15476896/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=1355156 CPUtime=2801.36 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 1472673 0 0 0 279676 460 0 0 25 0 4 0 730061554 1387679744 252576 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/7578/statm: 338789 252576 379 95 0 333771 0 [pid=7578/tid=7579] ppid=7576 vsize=1355156 CPUtime=702.27 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 359676 0 0 0 70113 114 0 0 25 0 4 0 730061554 1387679744 252576 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=1355156 CPUtime=702.24 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 392221 0 0 0 70106 118 0 0 25 0 4 0 730061554 1387679744 252576 33554432000 4194304 4580107 140734917122480 18446744073709551615 4451900 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=1355156 CPUtime=701.7 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 381103 0 0 0 70049 121 0 0 25 0 4 0 730061554 1387679744 252576 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2801.36 Current children cumulated vsize (KiB) 1355156 [startup+762.301 s] /proc/loadavg: 8.19 8.13 7.40 9/358 7615 /proc/meminfo: memFree=15488524/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=1343248 CPUtime=3040.69 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 1577065 0 0 0 303572 497 0 0 25 0 4 0 730061554 1375485952 256142 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/7578/statm: 335812 256142 379 95 0 330794 0 [pid=7578/tid=7579] ppid=7576 vsize=1343248 CPUtime=762.26 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 387120 0 0 0 76103 123 0 0 25 0 4 0 730061554 1375485952 256142 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293167 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=1343248 CPUtime=762.24 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 417506 0 0 0 76097 127 0 0 25 0 4 0 730061554 1375485952 256142 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=1343248 CPUtime=761.05 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 408603 0 0 0 75972 133 0 0 25 0 4 0 730061554 1375485952 256142 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3040.69 Current children cumulated vsize (KiB) 1343248 [startup+822.301 s] /proc/loadavg: 8.20 8.13 7.45 9/358 7616 /proc/meminfo: memFree=15509092/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=1358268 CPUtime=3280.04 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 1683284 0 0 0 327467 537 0 0 25 0 4 0 730061554 1390866432 259020 33554432000 4194304 4580107 140734917122480 18446744073709551615 4292985 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/7578/statm: 339567 259020 379 95 0 334549 0 [pid=7578/tid=7579] ppid=7576 vsize=1358268 CPUtime=822.27 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 414216 0 0 0 82094 133 0 0 25 0 4 0 730061554 1390866432 259020 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=1358268 CPUtime=822.24 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 445133 0 0 0 82086 138 0 0 25 0 4 0 730061554 1390866432 259020 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=1358268 CPUtime=820.39 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 435935 0 0 0 81896 143 0 0 25 0 4 0 730061554 1390866432 259020 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3280.04 Current children cumulated vsize (KiB) 1358268 [startup+882.3 s] /proc/loadavg: 8.12 8.12 7.48 9/358 7618 /proc/meminfo: memFree=15280176/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=1646072 CPUtime=3519.38 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 1836617 0 0 0 351356 582 0 0 25 0 4 0 730061554 1685577728 318972 33554432000 4194304 4580107 140734917122480 18446744073709551615 4451900 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/7578/statm: 411518 318972 379 95 0 406500 0 [pid=7578/tid=7579] ppid=7576 vsize=1646072 CPUtime=882.26 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 460446 0 0 0 88083 143 0 0 25 0 4 0 730061554 1685577728 318972 33554432000 4194304 4580107 140734917122480 18446744073709551615 4416727 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=1646072 CPUtime=882.23 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 468436 0 0 0 88076 147 0 0 25 0 4 0 730061554 1685577728 318972 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=1646072 CPUtime=879.73 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 480507 0 0 0 87819 154 0 0 25 0 4 0 730061554 1685577728 318972 33554432000 4194304 4580107 140734917122480 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3519.38 Current children cumulated vsize (KiB) 1646072 [startup+942.301 s] /proc/loadavg: 8.10 8.11 7.52 9/358 7619 /proc/meminfo: memFree=15188888/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=1596084 CPUtime=3758.74 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 1941122 0 0 0 375251 623 0 0 25 0 4 0 730061554 1634390016 313503 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/7578/statm: 399021 313503 379 95 0 394003 0 [pid=7578/tid=7579] ppid=7576 vsize=1596084 CPUtime=942.27 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 486245 0 0 0 94074 153 0 0 25 0 4 0 730061554 1634390016 313511 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=1596084 CPUtime=942.25 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 495115 0 0 0 94067 158 0 0 25 0 4 0 730061554 1634390016 313511 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=1596084 CPUtime=939.09 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 507362 0 0 0 93744 165 0 0 25 0 4 0 730061554 1634390016 313511 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3758.74 Current children cumulated vsize (KiB) 1596084 [startup+1002.3 s] /proc/loadavg: 8.04 8.09 7.55 9/358 7621 /proc/meminfo: memFree=15313612/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=1542748 CPUtime=3998.05 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 2046631 0 0 0 399142 663 0 0 25 0 4 0 730061554 1579773952 303839 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/7578/statm: 385687 303839 379 95 0 380669 0 [pid=7578/tid=7579] ppid=7576 vsize=1542748 CPUtime=1002.26 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 512767 0 0 0 100063 163 0 0 25 0 4 0 730061554 1579773952 303839 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=1542748 CPUtime=1002.23 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 521520 0 0 0 100056 167 0 0 25 0 4 0 730061554 1579773952 303839 33554432000 4194304 4580107 140734917122480 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=1542748 CPUtime=998.42 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 533531 0 0 0 99666 176 0 0 25 0 4 0 730061554 1579773952 303839 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3998.05 Current children cumulated vsize (KiB) 1542748 [startup+1062.31 s] /proc/loadavg: 8.11 8.10 7.58 9/358 7623 /proc/meminfo: memFree=15080836/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=1543628 CPUtime=4237.44 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 2149035 0 0 0 423043 701 0 0 25 0 4 0 730061554 1580675072 317470 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/7578/statm: 385907 317470 379 95 0 380889 0 [pid=7578/tid=7579] ppid=7576 vsize=1543628 CPUtime=1062.28 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 538979 0 0 0 106055 173 0 0 25 0 4 0 730061554 1580675072 317470 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=1543628 CPUtime=1062.25 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 546369 0 0 0 106047 178 0 0 25 0 4 0 730061554 1580675072 317470 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=1543628 CPUtime=1057.77 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 558882 0 0 0 105591 186 0 0 25 0 4 0 730061554 1580675072 317470 33554432000 4194304 4580107 140734917122480 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4237.44 Current children cumulated vsize (KiB) 1543628 [startup+1122.3 s] /proc/loadavg: 8.12 8.11 7.62 9/358 7624 /proc/meminfo: memFree=15095832/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=1689952 CPUtime=4476.73 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 2263140 0 0 0 446929 744 0 0 25 0 4 0 730061554 1730510848 340032 33554432000 4194304 4580107 140734917122480 18446744073709551615 4416292 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/7578/statm: 422488 340032 379 95 0 417470 0 [pid=7578/tid=7579] ppid=7576 vsize=1689952 CPUtime=1122.26 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 566780 0 0 0 112044 182 0 0 25 0 4 0 730061554 1730510848 340032 33554432000 4194304 4580107 140734917122480 18446744073709551615 4451883 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=1689952 CPUtime=1122.24 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 572400 0 0 0 112035 189 0 0 25 0 4 0 730061554 1730510848 340032 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=1689952 CPUtime=1117.11 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 589536 0 0 0 111513 198 0 0 25 0 4 0 730061554 1730510848 340032 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4476.73 Current children cumulated vsize (KiB) 1689952 [startup+1182.3 s] /proc/loadavg: 8.28 8.15 7.66 9/358 7626 /proc/meminfo: memFree=14905236/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=1766360 CPUtime=4716.06 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 2372878 0 0 0 470823 783 0 0 25 0 4 0 730061554 1808752640 359592 33554432000 4194304 4580107 140734917122480 18446744073709551615 4318990 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/7578/statm: 441590 359592 379 95 0 436572 0 [pid=7578/tid=7579] ppid=7576 vsize=1766360 CPUtime=1182.26 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 590000 0 0 0 118034 192 0 0 25 0 4 0 730061554 1808752640 359592 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=1766360 CPUtime=1182.24 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 611601 0 0 0 118024 200 0 0 25 0 4 0 730061554 1808752640 359592 33554432000 4194304 4580107 140734917122480 18446744073709551615 4292896 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=1766360 CPUtime=1176.44 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 613524 0 0 0 117436 208 0 0 25 0 4 0 730061554 1808752640 359592 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4716.06 Current children cumulated vsize (KiB) 1766360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.4 s] /proc/loadavg: 8.26 8.15 7.67 10/358 7626 /proc/meminfo: memFree=14921348/32950928 swapFree=67111200/67111528 [pid=7578] ppid=7576 vsize=1766760 CPUtime=4800.25 cores=1,3,5,7 /proc/7578/stat : 7578 (strangenight2-m) R 7576 7578 7452 0 -1 4202496 2408514 0 0 0 479229 796 0 0 25 0 4 0 730061554 1809162240 363912 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0 /proc/7578/statm: 441690 363912 379 95 0 436672 0 [pid=7578/tid=7579] ppid=7576 vsize=1766760 CPUtime=1203.37 cores=1,3,5,7 /proc/7578/task/7579/stat : 7579 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 597849 0 0 0 120142 195 0 0 25 0 4 0 730061554 1809162240 363919 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0 [pid=7578/tid=7580] ppid=7576 vsize=1766760 CPUtime=1203.35 cores=1,3,5,7 /proc/7578/task/7580/stat : 7580 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 621664 0 0 0 120132 203 0 0 25 0 4 0 730061554 1809162240 363919 33554432000 4194304 4580107 140734917122480 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=7578/tid=7581] ppid=7576 vsize=1766760 CPUtime=1197.32 cores=1,3,5,7 /proc/7578/task/7581/stat : 7581 (strangenight2-m) R 7576 7578 7452 0 -1 4202560 623131 0 0 0 119520 212 0 0 25 0 4 0 730061554 1809162240 363919 33554432000 4194304 4580107 140734917122480 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.25 Current children cumulated vsize (KiB) 1766760 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.48 CPU time (s): 4800.36 CPU user time (s): 4792.34 CPU system time (s): 8.02978 CPU usage (%): 398.873 Max. virtual memory (cumulated for all children) (KiB): 1766760 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4792.34 system time used= 8.02978 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2408526 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= 6355 involuntary context switches= 32452 runsolver used 3.74743 second user time and 9.44156 second system time The end
Begin job on node115 at 2011-05-14 20:38:29 IDJOB=3366188 IDBENCH=82597 IDSOLVER=1844 FILE ID=node115/3366188-1305398309 RUNJOBID= node115-1305397103-7471 PBS_JOBID= 13324450 Free space on /tmp= 73236 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) 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-3366188-1305398309/watcher-3366188-1305398309 -o /tmp/evaluation-result-3366188-1305398309/solver-3366188-1305398309 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366188-1305398309.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= c08a1b82ea5b515d260c5edf61d7067c RANDOM SEED=1320105657 node115.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.811 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.62 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.811 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.811 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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.77 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.811 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.811 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.811 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 17810244 kB Buffers: 284860 kB Cached: 4509824 kB SwapCached: 0 kB Active: 11950376 kB Inactive: 2873356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 17810244 kB SwapTotal: 67111528 kB SwapFree: 67111200 kB Dirty: 7020 kB Writeback: 0 kB AnonPages: 10028428 kB Mapped: 27832 kB Slab: 211244 kB PageTables: 40936 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 69656796 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= 73220 MiB End job on node115 at 2011-05-14 20:58:34