| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-1-mt | ? (TO) | 4800.21 | 1201.93 |
| Name | random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf |
| MD5SUM | 0448cdbfc0b1241b735cac942d079298 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 33.021 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 50 |
| Number of clauses | 4450 |
| Sum of the clauses size | 31150 |
| Maximum clause length | 7 |
| Minimum clause length | 7 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 4450 |
0.00/0.00 c Outputting solution to console 0.00/0.00 c Using 4 threads 0.00/0.00 c This is CryptoMiniSat 2.9.0 0.00/0.00 c compiled with gcc version 4.4.5 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Reading file 'HOME/instance-3175299-1304109354.cnf' 0.00/0.00 c -- header says num vars: 50 0.00/0.00 c -- header says num clauses: 4450 0.00/0.01 c -- clauses added: 0 learnts, 4450 normals, 0 xors 0.00/0.01 c -- vars added 50 0.00/0.01 c Parsing time: 0.01 s 0.00/0.01 c N st 0 0 50 4450 0 0 31150 0 no data no data -- 3.17/0.80 c asymm cl-useful: 0/4450/4450 lits-rem:0 time: 0.37 3.17/0.80 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.0M T: 0.00 3.17/0.80 c bin-w-bin subsume rem 0 bins time: 0.00 s 3.17/0.80 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3.17/0.80 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 3.17/0.80 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3.17/0.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.05 s 3.17/0.80 c Finding binary XORs T: 0.00 s found: 0 3.17/0.80 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 3.17/0.80 c calculated reachability. Time: 0.00 3.17/0.80 c Calc default polars - time: 0.00 s pos: 18 undec: 1 neg: 31 3.17/0.80 c ========================================================================================= 3.17/0.80 c types(t): F = full restart, N = normal restart 3.17/0.80 c types(t): S = simplification begin/end, E = solution found 3.17/0.80 c restart types(rt): st = static, dy = dynamic 3.17/0.80 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 3.17/0.80 c B st 0 0 50 4450 0 0 31150 0 no data no data -- 3.17/0.80 c N dy 11 4240 50 4450 0 3689 31150 68023 15.69 16.54 -- 3.17/0.80 c N dy 17 8936 50 4450 0 5558 31150 96489 15.35 16.20 -- 3.17/0.80 c N dy 28 12966 50 4450 0 5358 31150 88732 15.31 16.20 -- 3.17/0.80 c N dy 41 17346 50 4450 0 9175 31150 158372 15.36 16.23 -- 3.57/1.00 c N dy 63 22906 50 4450 0 9133 31150 151990 15.41 16.42 -- 3.57/1.00 c F st 71 25000 50 4450 0 10966 31150 185222 15.39 no data -- 3.99/1.10 c N st 75 27039 50 4450 0 6836 31150 103919 15.39 no data -- 5.17/1.30 c S st 77 30000 50 4450 0 9411 31150 151032 15.39 no data -- 5.17/1.30 c S st 77 30502 50 4450 0 9859 31150 159730 15.39 no data -- 5.17/1.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 5.17/1.30 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 5.17/1.30 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.01 5.17/1.30 c bin-w-bin subsume rem 0 bins time: 0.00 s 5.17/1.30 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 5.17/1.30 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 5.17/1.30 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 8.38/2.11 c lits-rem: 1365 cl-subs: 1492 v-elim: 0 v-fix: 0 time: 3.45 s 9.17/2.33 c asymm cl-useful: 0/4450/4450 lits-rem:0 time: 0.90 9.17/2.33 c calculated reachability. Time: 0.00 9.17/2.33 c N dy 77 30502 50 4450 0 8367 31150 133358 15.39 no data -- 9.97/2.58 c N dy 100 34871 50 4450 0 12175 31150 203148 15.47 16.32 -- 10.77/2.80 c N dy 127 38927 50 4450 0 8925 31150 135904 15.57 16.45 -- 11.97/3.09 c N dy 150 44617 50 4450 0 13893 31150 225537 15.55 16.49 -- 12.37/3.16 c S st 157 45755 50 4450 0 14882 31150 244101 15.58 15.92 -- 12.78/3.20 c S st 157 46257 50 4450 0 15341 31150 252818 15.58 no data -- 12.78/3.20 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 12.78/3.20 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 12.78/3.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 12.78/3.21 c bin-w-bin subsume rem 0 bins time: 0.00 s 12.78/3.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 12.78/3.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 12.78/3.21 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 17.57/4.44 c lits-rem: 2014 cl-subs: 2489 v-elim: 0 v-fix: 0 time: 4.89 s 17.57/4.44 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 17.57/4.44 c vivif2 -- cl tried 12852 cl shrink 0 lits rem 0 time: 0.01 18.75/4.76 c asymm cl-useful: 0/4450/4450 lits-rem:0 time: 1.26 18.75/4.76 c calculated reachability. Time: 0.00 18.75/4.76 c N dy 157 46257 50 4450 0 12852 31150 206797 15.58 no data -- 20.35/5.18 c N dy 182 54473 50 4450 0 12331 31150 183991 15.44 16.30 -- 21.15/5.39 c N dy 185 58737 50 4450 0 16022 31150 249703 15.36 16.19 -- 22.74/5.71 c N dy 221 64471 50 4450 0 12486 31150 186496 15.43 16.26 -- 23.94/6.02 c N dy 239 69385 50 4450 0 16730 31150 263888 15.46 14.15 -- 23.94/6.02 c S st 239 69385 50 4450 0 16730 31150 263888 15.46 14.15 -- 23.94/6.07 c S st 239 69888 50 4450 0 17178 31150 272565 15.46 no data -- 23.94/6.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 23.94/6.07 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 23.94/6.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 23.94/6.08 c bin-w-bin subsume rem 0 bins time: 0.00 s 23.94/6.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 23.94/6.08 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 23.94/6.08 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 28.74/7.27 c lits-rem: 1745 cl-subs: 2455 v-elim: 0 v-fix: 0 time: 4.76 s 28.74/7.27 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 28.74/7.28 c vivif2 -- cl tried 14723 cl shrink 0 lits rem 0 time: 0.01 30.35/7.61 c asymm cl-useful: 0/4364/4450 lits-rem:0 time: 1.33 30.35/7.61 c calculated reachability. Time: 0.00 30.35/7.61 c N dy 239 69888 50 4450 0 14723 31150 227391 15.46 no data -- 31.93/8.04 c N dy 252 75786 50 4450 0 10450 31150 139888 15.43 16.38 -- 33.53/8.47 c N dy 260 83612 50 4450 0 17156 31150 256422 15.32 16.32 -- 34.74/8.80 c F st 286 87500 50 4450 0 10316 31150 133393 15.38 14.64 -- 35.52/8.91 c N st 290 89534 50 4450 0 12065 31150 165975 15.38 no data -- 38.33/9.69 c N dy 300 102677 50 4450 0 12215 31150 158680 15.24 16.08 -- 39.14/9.83 c S st 321 104833 50 4450 0 14097 31150 194218 15.28 no data -- 39.14/9.87 c S st 321 105336 50 4450 0 14551 31150 203104 15.28 no data -- 39.14/9.87 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 39.14/9.87 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 39.14/9.88 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.2M T: 0.02 39.14/9.88 c bin-w-bin subsume rem 0 bins time: 0.00 s 39.14/9.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 39.14/9.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 39.14/9.88 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 43.12/10.81 c lits-rem: 851 cl-subs: 984 v-elim: 0 v-fix: 0 time: 3.72 s 43.12/10.81 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 43.12/10.82 c vivif2 -- cl tried 13567 cl shrink 0 lits rem 0 time: 0.01 44.31/11.13 c asymm cl-useful: 0/4450/4450 lits-rem:0 time: 1.24 44.31/11.13 c calculated reachability. Time: 0.00 44.31/11.13 c N dy 321 105336 50 4450 0 13567 31150 185384 15.28 no data -- 47.93/12.01 c N dy 360 118660 50 4450 0 13081 31150 166920 15.23 16.06 -- 49.91/12.55 c N dy 389 126934 50 4450 0 20197 31150 292616 15.21 16.02 -- 52.73/13.29 c N dy 446 135073 50 4450 0 14340 31150 185194 15.30 17.84 -- 55.50/13.95 c N dy 506 143775 50 4450 0 21902 31150 325446 15.38 17.69 -- 59.10/14.83 c N dy 565 153297 50 4450 0 16342 31150 214049 15.44 16.26 -- 60.30/15.16 c S st 580 158004 50 4450 0 20419 31150 287318 15.43 12.71 -- 60.70/15.21 c S st 580 158506 50 4450 0 20868 31150 296078 15.43 no data -- 60.70/15.21 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 60.70/15.21 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 60.70/15.22 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 60.70/15.23 c bin-w-bin subsume rem 0 bins time: 0.00 s 60.70/15.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 60.70/15.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 60.70/15.23 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 65.50/16.42 c lits-rem: 1556 cl-subs: 2084 v-elim: 0 v-fix: 0 time: 4.76 s 65.50/16.42 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 65.50/16.42 c vivif2 -- cl tried 18784 cl shrink 0 lits rem 0 time: 0.01 66.68/16.79 c asymm cl-useful: 0/3805/4450 lits-rem:0 time: 1.46 66.68/16.79 c calculated reachability. Time: 0.00 66.68/16.79 c N dy 580 158506 50 4450 0 18784 31150 258438 15.43 no data -- 71.88/18.02 c N dy 629 171843 50 4450 0 15735 31150 196017 15.42 16.38 -- 75.47/18.94 c N dy 674 183309 50 4450 0 25654 31150 377257 15.44 16.28 -- 79.86/20.05 c N dy 708 196173 50 4450 0 21265 31150 290298 15.44 16.28 -- 85.86/21.57 c N dy 740 211809 50 4450 0 18344 31150 227638 15.40 16.23 -- 91.05/22.88 c N dy 809 225480 50 4450 0 30170 31150 446149 15.44 16.26 -- 95.84/24.04 c S st 854 237759 50 4450 0 23559 31150 316509 15.45 15.63 -- 96.27/24.10 c S st 854 238261 50 4450 0 24000 31150 324973 15.45 no data -- 96.27/24.10 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 96.27/24.10 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 96.27/24.11 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.3M T: 0.02 96.27/24.12 c bin-w-bin subsume rem 0 bins time: 0.00 s 96.27/24.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 96.27/24.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 96.27/24.12 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 101.84/25.56 c lits-rem: 1584 cl-subs: 1985 v-elim: 0 v-fix: 0 time: 5.76 s 101.84/25.56 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 101.84/25.56 c vivif2 -- cl tried 22015 cl shrink 0 lits rem 0 time: 0.01 102.23/25.65 c asymm cl-useful: 0/645/4450 lits-rem:0 time: 0.33 102.23/25.65 c calculated reachability. Time: 0.00 102.23/25.65 c N dy 854 238261 50 4450 0 22015 31150 289135 15.45 no data -- 109.45/27.42 c N dy 895 256667 50 4450 0 19878 31150 239335 15.41 16.23 -- 115.82/29.05 c N dy 959 273585 50 4450 0 34521 31150 505444 15.42 16.40 -- 123.03/30.84 c N dy 1033 291120 50 4450 0 30672 31150 428279 15.43 16.77 -- 130.60/32.73 c F st 1138 306251 50 4450 0 24027 31150 305651 15.49 no data -- 132.19/33.19 c N dy 1144 311445 50 4450 0 28542 31150 388976 15.49 no data -- 142.18/35.68 c N dy 1240 331391 50 4450 0 25039 31150 314264 15.52 17.45 -- 151.36/37.98 c N dy 1309 351467 50 4450 0 42321 31150 629178 15.52 17.01 -- 154.15/38.67 c S st 1341 357391 50 4450 0 25819 31150 321613 15.53 13.25 -- 154.55/38.74 c S st 1341 357893 50 4450 0 26263 31150 330310 15.53 no data -- 154.55/38.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.00 154.55/38.74 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 154.55/38.75 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.03 154.55/38.76 c bin-w-bin subsume rem 0 bins time: 0.00 s 154.55/38.76 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 154.55/38.76 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 154.55/38.76 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 161.75/40.52 c lits-rem: 932 cl-subs: 1416 v-elim: 0 v-fix: 0 time: 7.05 s 161.75/40.52 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 161.75/40.53 c vivif2 -- cl tried 24847 cl shrink 0 lits rem 0 time: 0.02 162.95/40.87 c asymm cl-useful: 0/3059/4450 lits-rem:0 time: 1.35 162.95/40.87 c calculated reachability. Time: 0.00 162.95/40.87 c N dy 1341 357893 50 4450 0 24847 31150 304630 15.53 no data -- 183.32/45.93 c N dy 1383 402978 50 4450 0 40965 31150 564649 15.34 16.19 -- 192.51/48.28 c N dy 1404 423724 50 4450 0 35739 31150 478263 15.28 16.16 -- 204.09/51.16 c N dy 1536 444116 50 4450 0 29418 31150 367019 15.32 16.25 -- 216.47/54.20 c N dy 1677 464208 50 4450 0 46838 31150 692870 15.38 17.11 -- 227.25/56.90 c N dy 1799 484228 50 4450 0 39153 31150 539816 15.41 17.17 -- 240.04/60.17 c N dy 1931 504528 50 4450 0 30801 31150 375711 15.46 16.31 -- 252.82/63.32 c N dy 2093 524558 50 4450 0 48212 31150 704858 15.51 16.35 -- 260.41/65.29 c S st 2163 536840 50 4450 0 31976 31150 388671 15.53 13.95 -- 260.81/65.38 c S st 2163 537342 50 4450 0 32426 31150 397282 15.53 no data -- 260.81/65.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 260.81/65.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 260.81/65.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.4M T: 0.04 261.21/65.40 c bin-w-bin subsume rem 0 bins time: 0.00 s 261.21/65.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 261.21/65.40 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 261.21/65.40 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 271.20/67.95 c lits-rem: 1107 cl-subs: 1771 v-elim: 0 v-fix: 0 time: 10.18 s 271.20/67.95 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 271.20/67.95 c vivif2 -- cl tried 30655 cl shrink 0 lits rem 0 time: 0.02 272.41/68.20 c asymm cl-useful: 0/1391/4450 lits-rem:0 time: 0.98 272.41/68.20 c calculated reachability. Time: 0.00 272.41/68.20 c N dy 2163 537342 50 4450 0 30655 31150 365530 15.53 no data -- 283.98/71.17 c N dy 2247 557697 50 4450 0 48181 31150 688334 15.54 16.37 -- 295.56/74.07 c N dy 2327 577732 50 4450 0 37974 31150 492813 15.54 16.41 -- 314.74/78.84 c N dy 2355 616247 50 4450 0 42301 31150 543986 15.44 16.25 -- 329.91/82.60 c N dy 2467 637059 50 4450 0 31164 31150 353157 15.45 16.27 -- 341.90/85.69 c N dy 2574 657073 50 4450 0 48402 31150 671433 15.47 17.54 -- 358.28/89.75 c N dy 2698 677101 50 4450 0 35622 31150 431552 15.50 17.26 -- 372.26/93.23 c N dy 2821 697297 50 4450 0 52994 31150 754788 15.52 16.41 -- 388.63/97.36 c N dy 2904 720953 50 4450 0 42374 31150 547497 15.52 16.42 -- 401.02/100.45 c N dy 2921 740967 50 4450 0 59408 31150 845587 15.48 17.09 -- 414.60/103.85 c N dy 2976 763431 50 4450 0 46964 31150 615262 15.47 16.44 -- 431.77/108.11 c N dy 3094 783477 50 4450 0 64346 31150 938514 15.49 17.73 -- 446.56/111.85 c N dy 3221 806013 50 4450 0 51054 31150 691538 15.51 14.95 -- 446.56/111.85 c S st 3221 806013 50 4450 0 51054 31150 691538 15.51 14.95 -- 446.96/111.99 c S st 3221 806516 50 4450 0 51503 31150 700219 15.51 no data -- 446.96/111.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 446.96/111.99 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 447.36/112.01 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.08 447.36/112.03 c bin-w-bin subsume rem 0 bins time: 0.00 s 447.36/112.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 447.36/112.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 447.36/112.03 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 470.92/117.96 c lits-rem: 2629 cl-subs: 5931 v-elim: 0 v-fix: 0 time: 23.65 s 470.92/117.96 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 470.92/117.96 c vivif2 -- cl tried 45572 cl shrink 0 lits rem 0 time: 0.03 471.72/118.18 c asymm cl-useful: 0/981/4450 lits-rem:0 time: 0.88 471.72/118.19 c calculated reachability. Time: 0.00 471.72/118.19 c N dy 3221 806516 50 4450 0 45572 31150 592810 15.51 no data -- 490.90/122.90 c N dy 3290 828507 50 4450 0 64505 31150 937529 15.51 16.43 -- 547.62/137.12 c N dy 3374 929192 50 4450 0 47778 31150 586522 15.29 16.14 -- 564.40/141.39 c N dy 3441 951465 50 4450 0 66851 31150 926174 15.28 16.18 -- 581.17/145.54 c N dy 3598 971525 50 4450 0 48513 31150 621546 15.31 17.50 -- 599.95/150.26 c N dy 3766 991544 50 4450 0 65881 31150 951135 15.34 16.73 -- 618.33/154.87 c N dy 3866 1012069 50 4450 0 46705 31150 564414 15.34 16.18 -- 637.12/159.57 c N dy 4029 1032114 50 4450 0 64011 31150 891763 15.37 18.29 -- 660.26/165.39 c N dy 4189 1055600 50 4450 0 46455 31150 559511 15.39 16.26 -- 674.65/168.97 c F st 4329 1071875 50 4450 0 60509 31150 826780 15.41 no data -- 679.04/170.06 c N dy 4335 1077067 50 4450 0 64921 31150 907232 15.41 no data -- 702.20/175.89 c N dy 4469 1101521 50 4450 0 47142 31150 563405 15.43 16.30 -- 715.81/179.22 c N dy 4497 1121605 50 4450 0 64202 31150 863936 15.41 17.52 -- 737.61/184.72 c N dy 4614 1141787 50 4450 0 42111 31150 469859 15.42 16.28 -- 756.19/189.44 c N dy 4743 1167176 50 4450 0 63937 31150 871417 15.43 16.28 -- 782.24/196.07 c N dy 4869 1187395 50 4450 0 41043 31150 441075 15.45 16.29 -- 798.47/200.19 c N dy 4925 1209774 50 4450 0 60110 31150 777196 15.43 13.74 -- 798.47/200.19 c S st 4925 1209774 50 4450 0 60110 31150 777196 15.43 13.74 -- 799.25/200.38 c S st 4925 1210279 50 4450 0 60555 31150 786054 15.43 no data -- 799.25/200.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 799.25/200.38 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 799.65/200.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.7M T: 0.12 799.65/200.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 799.65/200.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 799.65/200.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 799.65/200.43 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 855.18/214.37 c lits-rem: 2967 cl-subs: 7848 v-elim: 0 v-fix: 0 time: 55.64 s 855.18/214.37 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 855.18/214.37 c vivif2 -- cl tried 52707 cl shrink 0 lits rem 0 time: 0.04 856.77/214.70 c asymm cl-useful: 0/651/4450 lits-rem:0 time: 1.29 856.77/214.70 c calculated reachability. Time: 0.00 856.77/214.70 c N dy 4925 1210279 50 4450 0 52707 31150 657425 15.43 no data -- 880.33/220.65 c N dy 5096 1230378 50 4450 0 70130 31150 989943 15.46 17.13 -- 902.70/226.29 c N dy 5250 1250389 50 4450 0 46682 31150 543273 15.48 18.32 -- 918.29/230.17 c N dy 5317 1270432 50 4450 0 63938 31150 858831 15.48 16.96 -- 941.05/235.86 c N dy 5406 1291467 50 4450 0 82006 31150 1187997 15.48 16.37 -- 961.83/241.04 c N dy 5525 1311844 50 4450 0 57713 31150 738839 15.49 16.38 -- 987.81/247.52 c N dy 5694 1331846 50 4450 0 74968 31150 1068505 15.52 17.87 -- 1019.35/255.43 c N dy 5766 1362221 50 4450 0 57986 31150 717222 15.50 16.50 -- 1042.11/261.11 c N dy 5907 1382298 50 4450 0 75231 31150 1041583 15.52 17.32 -- 1066.08/267.19 c N dy 6005 1403671 50 4450 0 49849 31150 571997 15.52 16.35 -- 1084.08/271.61 c N dy 6094 1424118 50 4450 0 67458 31150 893976 15.52 16.39 -- 1108.83/277.84 c N dy 6189 1446202 50 4450 0 86401 31150 1240086 15.53 16.38 -- 1133.19/283.93 c N dy 6334 1473041 50 4450 0 64835 31150 845433 15.53 16.39 -- 1155.95/289.64 c N dy 6432 1493471 50 4450 0 82380 31150 1168961 15.54 16.36 -- 1178.73/295.34 c N dy 6536 1513696 50 4450 0 54280 31150 646296 15.55 16.38 -- 1197.50/300.07 c N dy 6636 1533725 50 4450 0 71421 31150 962928 15.55 17.40 -- 1225.86/307.11 c N dy 6777 1554214 50 4450 0 89073 31150 1295318 15.56 16.47 -- 1246.65/312.38 c N dy 6923 1574222 50 4450 0 60012 31150 750093 15.58 17.79 -- 1267.40/317.52 c N dy 7026 1594229 50 4450 0 77125 31150 1065372 15.59 16.51 -- 1294.99/324.41 c N dy 7108 1614252 50 4450 0 94386 31150 1381906 15.59 16.47 -- 1344.50/336.87 c N dy 7192 1673920 50 4450 0 49789 31150 540657 15.54 16.63 -- 1369.68/343.18 c N dy 7318 1700265 50 4450 0 72310 31150 950068 15.54 16.58 -- 1385.25/347.00 c S st 7394 1710280 50 4450 0 80932 31150 1112524 15.55 13.91 -- 1386.45/347.30 c S st 7394 1710781 50 4450 0 81370 31150 1121095 15.55 no data -- 1386.45/347.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1386.45/347.30 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 1386.45/347.35 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.18 1386.45/347.39 c bin-w-bin subsume rem 0 bins time: 0.00 s 1386.45/347.39 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1386.45/347.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 1386.45/347.39 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 1545.84/387.22 c lits-rem: 5082 cl-subs: 11388 v-elim: 0 v-fix: 0 time: 159.08 s 1545.84/387.22 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 1545.84/387.24 c vivif2 -- cl tried 69982 cl shrink 0 lits rem 0 time: 0.05 1547.41/387.61 c asymm cl-useful: 0/490/4450 lits-rem:0 time: 1.49 1547.41/387.61 c calculated reachability. Time: 0.00 1547.41/387.61 c N dy 7394 1710781 50 4450 0 69982 31150 921018 15.55 no data -- 1574.98/394.59 c N dy 7475 1730835 50 4450 0 87117 31150 1234022 15.55 17.13 -- 1598.57/400.43 c N dy 7524 1751601 50 4450 0 57031 31150 666955 15.54 16.38 -- 1620.14/405.82 c N dy 7657 1772492 50 4450 0 74997 31150 1004065 15.56 16.40 -- 1650.48/413.48 c N dy 7790 1792501 50 4450 0 92208 31150 1327400 15.57 16.49 -- 1678.44/420.47 c N dy 7919 1813157 50 4450 0 60694 31150 732503 15.58 16.43 -- 1704.39/426.90 c N dy 7978 1838916 50 4450 0 82627 31150 1125633 15.57 16.42 -- 1733.96/434.31 c N dy 8096 1859026 50 4450 0 99808 31150 1446440 15.58 16.40 -- 1755.53/439.74 c N dy 8123 1886163 50 4450 0 72569 31150 924715 15.56 16.43 -- 1780.29/445.97 c N dy 8182 1909633 50 4450 0 92550 31150 1287402 15.56 16.38 -- 1809.08/453.14 c N dy 8344 1929696 50 4450 0 58716 31150 682768 15.57 18.09 -- 1830.63/458.51 c N dy 8484 1949759 50 4450 0 75971 31150 1005309 15.58 16.78 -- 1858.18/465.47 c N dy 8604 1969826 50 4450 0 93270 31150 1330397 15.59 17.34 -- 1882.56/471.54 c N dy 8652 1989894 50 4450 0 58190 31150 657735 15.59 16.43 -- 1900.53/476.07 c N dy 8712 2009944 50 4450 0 75188 31150 964029 15.58 16.42 -- 1922.91/481.62 c N dy 8778 2029998 50 4450 0 92232 31150 1271806 15.58 17.06 -- 1949.26/488.28 c N dy 8860 2050235 50 4450 0 56611 31150 624919 15.58 16.52 -- 1968.84/493.12 c N dy 8958 2070629 50 4450 0 74025 31150 944543 15.58 16.55 -- 1992.80/499.14 c N dy 9026 2090691 50 4450 0 91146 31150 1257326 15.58 16.65 -- 2031.15/508.76 c N dy 9179 2114543 50 4450 0 57787 31150 638068 15.59 16.45 -- 2053.12/514.27 c N dy 9323 2134563 50 4450 0 74935 31150 961409 15.60 16.45 -- 2081.50/521.33 c N dy 9412 2156849 50 4450 0 94034 31150 1311103 15.60 16.43 -- 2113.84/529.43 c N dy 9494 2177266 50 4450 0 56793 31150 611481 15.60 16.57 -- 2136.61/535.19 c N dy 9637 2197341 50 4450 0 74047 31150 938245 15.61 17.21 -- 2156.20/540.03 c S st 9686 2210781 50 4450 0 85550 31150 1147283 15.61 15.25 -- 2157.38/540.34 c S st 9686 2211286 50 4450 0 85997 31150 1156075 15.61 no data -- 2157.38/540.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 2157.38/540.35 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 2157.38/540.40 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.19 2157.78/540.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 2157.78/540.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2157.78/540.43 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 2157.78/540.43 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 2331.14/583.82 c lits-rem: 5045 cl-subs: 9971 v-elim: 0 v-fix: 0 time: 173.30 s 2331.14/583.82 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 2331.14/583.84 c vivif2 -- cl tried 76026 cl shrink 0 lits rem 0 time: 0.06 2332.73/584.22 c asymm cl-useful: 0/463/4450 lits-rem:0 time: 1.53 2332.73/584.22 c calculated reachability. Time: 0.00 2332.73/584.22 c N dy 9686 2211286 50 4450 0 76026 31150 976196 15.61 no data -- 2367.51/592.94 c N dy 9812 2233202 50 4450 0 94829 31150 1328410 15.62 16.52 -- 2403.84/602.09 c N dy 9896 2253254 50 4450 0 57009 31150 615621 15.62 17.45 -- 2429.80/608.58 c N dy 9977 2273656 50 4450 0 74492 31150 938637 15.62 16.54 -- 2479.33/620.93 c N dy 10010 2313667 50 4450 0 108264 31150 1526286 15.59 16.54 -- 2509.69/628.58 c N dy 10169 2334479 50 4450 0 70277 31150 859126 15.60 16.43 -- 2536.05/635.17 c N dy 10298 2354529 50 4450 0 87445 31150 1182265 15.61 17.49 -- 2564.02/642.13 c N dy 10364 2374582 50 4450 0 104461 31150 1491077 15.61 17.49 -- 2596.37/650.27 c N dy 10513 2394651 50 4450 0 64658 31150 742072 15.62 16.99 -- 2621.54/656.58 c N dy 10654 2414710 50 4450 0 81835 31150 1065462 15.63 17.07 -- 2651.10/663.93 c N dy 10754 2434763 50 4450 0 98978 31150 1384006 15.64 17.63 -- 2686.65/672.81 c N dy 10871 2454764 50 4450 0 116073 31150 1701963 15.64 16.68 -- 2709.42/678.50 c N dy 10996 2474824 50 4450 0 75224 31150 932472 15.65 17.76 -- 2738.17/685.75 c N dy 11064 2500035 50 4450 0 96460 31150 1310508 15.64 16.53 -- 2773.73/694.67 c N dy 11185 2520263 50 4450 0 113853 31150 1637817 15.65 16.49 -- 2801.69/701.68 c N dy 11329 2540362 50 4450 0 72218 31150 868663 15.66 17.30 -- 2830.05/708.77 c N dy 11461 2561993 50 4450 0 90711 31150 1215924 15.66 16.60 -- 2858.81/715.92 c N dy 11524 2582063 50 4450 0 107842 31150 1530987 15.66 16.58 -- 2883.98/722.21 c N dy 11536 2602230 50 4450 0 65144 31150 721263 15.65 16.66 -- 2912.74/729.41 c N dy 11649 2626986 50 4450 0 86320 31150 1114126 15.65 16.51 -- 2945.09/737.57 c N dy 11787 2647007 50 4450 0 103399 31150 1434968 15.66 16.66 -- 2977.05/745.58 c N dy 11841 2667102 50 4450 0 120405 31150 1742582 15.66 16.81 -- 3001.81/751.71 c N dy 11909 2689321 50 4450 0 78796 31150 965943 15.66 16.53 -- 3033.37/759.69 c N dy 12046 2709572 50 4450 0 96193 31150 1295199 15.66 16.51 -- 3036.96/760.59 c S st 12061 2711287 50 4450 0 97676 31150 1323794 15.66 no data -- 3038.56/760.96 c S st 12061 2711790 50 4450 0 98120 31150 1332436 15.66 no data -- 3038.56/760.97 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3038.56/760.97 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 3038.96/761.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.22 3038.96/761.07 c bin-w-bin subsume rem 0 bins time: 0.00 s 3038.96/761.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3038.96/761.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 3038.96/761.07 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 3514.71/880.11 c lits-rem: 6246 cl-subs: 12349 v-elim: 0 v-fix: 0 time: 475.44 s 3514.71/880.11 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 3514.71/880.13 c vivif2 -- cl tried 85771 cl shrink 0 lits rem 0 time: 0.07 3516.31/880.53 c asymm cl-useful: 0/400/4450 lits-rem:0 time: 1.59 3516.31/880.53 c calculated reachability. Time: 0.00 3516.31/880.53 c N dy 12061 2711790 50 4450 0 85771 31150 1109229 15.66 no data -- 3561.44/891.82 c N dy 12098 2737206 50 4450 0 107320 31150 1488691 15.65 16.49 -- 3607.37/903.32 c N dy 12228 2757229 50 4450 0 63994 31150 698449 15.66 18.00 -- 3636.54/910.63 c N dy 12383 2777234 50 4450 0 81180 31150 1026126 15.67 16.52 -- 3670.90/919.23 c N dy 12450 2800169 50 4450 0 100734 31150 1381654 15.67 16.64 -- 3717.64/930.93 c N dy 12598 2821562 50 4450 0 119120 31150 1731002 15.68 16.51 -- 3747.21/938.30 c N dy 12600 2849232 50 4450 0 80320 31150 954622 15.66 16.54 -- 3776.35/945.61 c N dy 12698 2869451 50 4450 0 97639 31150 1276342 15.66 16.51 -- 3803.93/952.50 c N dy 12746 2889637 50 4450 0 114798 31150 1581409 15.65 16.49 -- 3838.26/961.16 c N dy 12837 2910849 50 4450 0 70178 31150 791740 15.65 16.58 -- 3863.03/967.34 c N dy 12927 2931433 50 4450 0 87745 31150 1117469 15.66 16.50 -- 3896.20/975.70 c N dy 13052 2952340 50 4450 0 105648 31150 1452222 15.66 16.50 -- 3939.73/986.55 c N dy 13185 2975801 50 4450 0 125663 31150 1827282 15.67 16.60 -- 3970.48/994.28 c N dy 13251 3002241 50 4450 0 84270 31150 1035817 15.66 16.57 -- 3998.84/1001.31 c N dy 13316 3023100 50 4450 0 101991 31150 1360579 15.66 16.52 -- 4033.20/1009.91 c N dy 13409 3043184 50 4450 0 119114 31150 1675582 15.66 17.89 -- 4069.54/1019.02 c N dy 13522 3063283 50 4450 0 71577 31150 802248 15.67 17.26 -- 4095.11/1025.46 c N dy 13630 3083340 50 4450 0 88730 31150 1122470 15.67 16.51 -- 4128.27/1033.77 c N dy 13758 3103660 50 4450 0 106076 31150 1449092 15.68 16.53 -- 4177.42/1046.02 c N dy 13785 3137019 50 4450 0 68672 31150 738092 15.66 16.61 -- 4216.55/1055.86 c N dy 13924 3165170 50 4450 0 92742 31150 1185841 15.67 16.51 -- 4258.48/1066.35 c N dy 14064 3185236 50 4450 0 109959 31150 1512050 15.67 18.31 -- 4295.23/1075.58 c N dy 14134 3205846 50 4450 0 127451 31150 1830476 15.67 16.58 -- 4310.41/1079.33 c S st 14181 3211793 50 4450 0 132555 31150 1927292 15.68 17.37 -- 4313.63/1080.18 c S st 14181 3212296 50 4450 0 66556 31150 696766 15.68 no data -- 4313.63/1080.19 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 4313.63/1080.19 c Cache BProp: 0 Set: 0 BXProp: 0 T: 0.00 4314.03/1080.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.10 4314.03/1080.24 c bin-w-bin subsume rem 0 bins time: 0.00 s 4314.03/1080.24 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4314.03/1080.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 50 time: 0.00 s 4314.03/1080.24 c Removed useless bin: 0 fixed: 0 props: 0.00M time: 0.00 s 4360.35/1091.87 c lits-rem: 34 cl-subs: 148 v-elim: 0 v-fix: 0 time: 46.45 s 4360.35/1091.87 c vivif2 -- cl tried 4450 cl shrink 0 lits rem 0 time: 0.00 4360.35/1091.88 c vivif2 -- cl tried 66408 cl shrink 0 lits rem 0 time: 0.04 4361.55/1092.16 c asymm cl-useful: 0/504/4450 lits-rem:0 time: 1.12 4361.55/1092.16 c calculated reachability. Time: 0.00 4361.55/1092.16 c N dy 14181 3212296 50 4450 0 66408 31150 694915 15.68 no data -- 4382.32/1097.32 c N dy 14200 3233557 50 4450 0 84338 31150 1008301 15.67 16.50 -- 4415.10/1105.52 c N dy 14296 3253618 50 4450 0 101398 31150 1324073 15.67 17.37 -- 4455.81/1115.79 c N dy 14414 3275424 50 4450 0 120039 31150 1669800 15.67 16.50 -- 4495.36/1125.66 c N dy 14478 3296518 50 4450 0 70797 31150 766798 15.67 16.57 -- 4533.73/1135.29 c N dy 14601 3324538 50 4450 0 94681 31150 1207661 15.67 16.52 -- 4572.05/1144.80 c N dy 14727 3345898 50 4450 0 112856 31150 1546516 15.68 16.52 -- 4614.80/1155.52 c N dy 14846 3366474 50 4450 0 130377 31150 1873684 15.68 16.52 -- 4647.16/1163.62 c N dy 14934 3386572 50 4450 0 79340 31150 918138 15.68 17.68 -- 4709.86/1179.36 c N dy 14994 3441231 50 4450 0 125259 31149 1701078 15.65 16.62 -- 4749.04/1189.15 c N dy 15088 3464881 50 4450 0 76779 31149 867277 15.65 16.50 -- 4776.17/1195.92 c N dy 15187 3485183 50 4450 0 94072 31149 1186870 15.65 16.53 --
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-3175299-1304109354/watcher-3175299-1304109354 -o /tmp/evaluation-result-3175299-1304109354/solver-3175299-1304109354 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175299-1304109354.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.50 5.49 6.93 3/173 26520 /proc/meminfo: memFree=24388368/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 415 0 0 0 0 0 0 0 23 0 4 0 601166069 52465664 355 33554432000 4194304 4650419 140735844609120 18446744073709551615 216735178683 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 12809 355 306 112 0 7774 0 [pid=26520/tid=26524] ppid=26517 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 601166069 52465664 355 33554432000 4194304 4650419 140735844609120 18446744073709551615 47516346386354 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 601166069 52465664 355 33554432000 4194304 4650419 140735844609120 18446744073709551615 47516346386354 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=51236 CPUtime=0 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 601166069 52465664 355 33554432000 4194304 4650419 140735844609120 18446744073709551615 47516346386354 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.0441421 s] /proc/loadavg: 3.50 5.49 6.93 3/173 26520 /proc/meminfo: memFree=24388368/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=282036 CPUtime=0.15 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 1131 0 0 0 15 0 0 0 18 0 4 0 601166069 288804864 1042 33554432000 4194304 4650419 140735844609120 18446744073709551615 4370892 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 70509 1042 366 112 0 65474 0 [pid=26520/tid=26524] ppid=26517 vsize=282036 CPUtime=0.04 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 162 0 0 0 4 0 0 0 18 0 4 0 601166069 288804864 1042 33554432000 4194304 4650419 140735844609120 18446744073709551615 4370567 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=282036 CPUtime=0.03 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 155 0 0 0 3 0 0 0 25 0 4 0 601166069 288804864 1043 33554432000 4194304 4650419 140735844609120 18446744073709551615 4370660 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=282036 CPUtime=0.04 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 223 0 0 0 4 0 0 0 18 0 4 0 601166069 288804864 1043 33554432000 4194304 4650419 140735844609120 18446744073709551615 4514716 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.15 Current children cumulated vsize (KiB) 282036 [startup+0.101133 s] /proc/loadavg: 3.50 5.49 6.93 3/173 26520 /proc/meminfo: memFree=24388368/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=282036 CPUtime=0.38 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 1224 0 0 0 38 0 0 0 18 0 4 0 601166069 288804864 1135 33554432000 4194304 4650419 140735844609120 18446744073709551615 4371161 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 70509 1135 366 112 0 65474 0 [pid=26520/tid=26524] ppid=26517 vsize=282036 CPUtime=0.09 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 171 0 0 0 9 0 0 0 18 0 4 0 601166069 288804864 1135 33554432000 4194304 4650419 140735844609120 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=282036 CPUtime=0.09 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 158 0 0 0 9 0 0 0 25 0 4 0 601166069 288804864 1135 33554432000 4194304 4650419 140735844609120 18446744073709551615 4370649 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=282036 CPUtime=0.09 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 292 0 0 0 9 0 0 0 18 0 4 0 601166069 288804864 1135 33554432000 4194304 4650419 140735844609120 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.38 Current children cumulated vsize (KiB) 282036 [startup+0.301099 s] /proc/loadavg: 3.50 5.49 6.93 3/173 26520 /proc/meminfo: memFree=24388368/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=285024 CPUtime=1.18 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 3281 0 0 0 118 0 0 0 18 0 4 0 601166069 291864576 2483 33554432000 4194304 4650419 140735844609120 18446744073709551615 4334336 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 71256 2483 390 112 0 66221 0 [pid=26520/tid=26524] ppid=26517 vsize=285024 CPUtime=0.29 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 754 0 0 0 29 0 0 0 18 0 4 0 601166069 291864576 2483 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=285024 CPUtime=0.29 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 777 0 0 0 29 0 0 0 25 0 4 0 601166069 291864576 2483 33554432000 4194304 4650419 140735844609120 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=285024 CPUtime=0.29 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 524 0 0 0 29 0 0 0 18 0 4 0 601166069 291864576 2483 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.18 Current children cumulated vsize (KiB) 285024 [startup+0.701029 s] /proc/loadavg: 3.50 5.49 6.93 3/173 26520 /proc/meminfo: memFree=24388368/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=286420 CPUtime=2.77 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 5054 0 0 0 277 0 0 0 18 0 4 0 601166069 293294080 3240 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 71605 3240 390 112 0 66570 0 [pid=26520/tid=26524] ppid=26517 vsize=286420 CPUtime=0.69 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 1160 0 0 0 69 0 0 0 18 0 4 0 601166069 293294080 3240 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=286420 CPUtime=0.69 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 1175 0 0 0 69 0 0 0 25 0 4 0 601166069 293294080 3240 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=286420 CPUtime=0.69 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 1103 0 0 0 69 0 0 0 18 0 4 0 601166069 293294080 3240 33554432000 4194304 4650419 140735844609120 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.77 Current children cumulated vsize (KiB) 286420 [startup+1.50089 s] /proc/loadavg: 3.50 5.49 6.93 10/184 26531 /proc/meminfo: memFree=24360504/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=287880 CPUtime=5.97 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 9243 0 0 0 596 1 0 0 20 0 4 0 601166069 294789120 4662 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 71970 4662 392 112 0 66935 0 [pid=26520/tid=26524] ppid=26517 vsize=287880 CPUtime=1.49 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 2043 0 0 0 149 0 0 0 20 0 4 0 601166069 294789120 4662 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=287880 CPUtime=1.48 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 2065 0 0 0 148 0 0 0 25 0 4 0 601166069 294789120 4662 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=287880 CPUtime=1.49 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 1818 0 0 0 149 0 0 0 19 0 4 0 601166069 294789120 4662 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366853 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.97 Current children cumulated vsize (KiB) 287880 [startup+3.10061 s] /proc/loadavg: 3.50 5.49 6.93 9/184 26531 /proc/meminfo: memFree=24326824/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=282864 CPUtime=12.37 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 14717 0 0 0 1235 2 0 0 25 0 4 0 601166069 289652736 9148 33554432000 4194304 4650419 140735844609120 18446744073709551615 4363880 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 70716 9148 392 112 0 65681 0 [pid=26520/tid=26524] ppid=26517 vsize=282864 CPUtime=3.09 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 3153 0 0 0 309 0 0 0 25 0 4 0 601166069 289652736 9148 33554432000 4194304 4650419 140735844609120 18446744073709551615 4339796 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=282864 CPUtime=3.07 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 3870 0 0 0 307 0 0 0 25 0 4 0 601166069 289652736 9148 33554432000 4194304 4650419 140735844609120 18446744073709551615 4536730 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=282864 CPUtime=3.09 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 3874 0 0 0 309 0 0 0 25 0 4 0 601166069 289652736 9148 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 12.37 Current children cumulated vsize (KiB) 282864 [startup+6.30106 s] /proc/loadavg: 3.86 5.53 6.94 9/184 26532 /proc/meminfo: memFree=24292352/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=290208 CPUtime=25.15 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 22837 0 0 0 2511 4 0 0 25 0 4 0 601166069 297172992 12808 33554432000 4194304 4650419 140735844609120 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 72552 12808 392 112 0 67517 0 [pid=26520/tid=26524] ppid=26517 vsize=290208 CPUtime=6.29 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 5491 0 0 0 628 1 0 0 25 0 4 0 601166069 297172992 12808 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=290208 CPUtime=6.26 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 6298 0 0 0 625 1 0 0 25 0 4 0 601166069 297172992 12808 33554432000 4194304 4650419 140735844609120 18446744073709551615 4444997 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=290208 CPUtime=6.29 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 5626 0 0 0 629 0 0 0 25 0 4 0 601166069 297172992 12808 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 25.15 Current children cumulated vsize (KiB) 290208 [startup+12.7009 s] /proc/loadavg: 4.19 5.57 6.95 9/184 26532 /proc/meminfo: memFree=24256532/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=298368 CPUtime=50.71 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 30579 0 0 0 5065 6 0 0 25 0 4 0 601166069 305528832 16006 33554432000 4194304 4650419 140735844609120 18446744073709551615 4363600 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 74592 16006 392 112 0 69557 0 [pid=26520/tid=26524] ppid=26517 vsize=298368 CPUtime=12.69 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 7629 0 0 0 1268 1 0 0 25 0 4 0 601166069 305528832 16006 33554432000 4194304 4650419 140735844609120 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=298368 CPUtime=12.62 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 7402 0 0 0 1261 1 0 0 25 0 4 0 601166069 305528832 16006 33554432000 4194304 4650419 140735844609120 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=298368 CPUtime=12.69 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 8636 0 0 0 1268 1 0 0 25 0 4 0 601166069 305528832 16006 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 50.71 Current children cumulated vsize (KiB) 298368 [startup+25.5007 s] /proc/loadavg: 5.03 5.69 6.96 9/184 26532 /proc/meminfo: memFree=24210264/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=319080 CPUtime=101.84 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 45457 0 0 0 10174 10 0 0 25 0 4 0 601166069 326737920 20709 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 79770 20709 392 112 0 74735 0 [pid=26520/tid=26524] ppid=26517 vsize=319080 CPUtime=25.49 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 11711 0 0 0 2547 2 0 0 25 0 4 0 601166069 326737920 20709 33554432000 4194304 4650419 140735844609120 18446744073709551615 4315476 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=319080 CPUtime=25.35 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 10525 0 0 0 2533 2 0 0 25 0 4 0 601166069 326737920 20709 33554432000 4194304 4650419 140735844609120 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=319080 CPUtime=25.49 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 13079 0 0 0 2547 2 0 0 25 0 4 0 601166069 326737920 20709 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 101.84 Current children cumulated vsize (KiB) 319080 [startup+51.1002 s] /proc/loadavg: 6.18 5.90 7.00 9/184 26533 /proc/meminfo: memFree=24171760/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=309724 CPUtime=204.09 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 66593 0 0 0 20392 17 0 0 25 0 4 0 601166069 317157376 24259 33554432000 4194304 4650419 140735844609120 18446744073709551615 4363416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 77431 24259 392 112 0 72396 0 [pid=26520/tid=26524] ppid=26517 vsize=309724 CPUtime=51.08 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 17020 0 0 0 5105 3 0 0 25 0 4 0 601166069 317157376 24259 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=309724 CPUtime=50.81 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 15320 0 0 0 5078 3 0 0 25 0 4 0 601166069 317157376 24259 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365325 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=309724 CPUtime=51.09 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 19244 0 0 0 5105 4 0 0 25 0 4 0 601166069 317157376 24259 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 204.09 Current children cumulated vsize (KiB) 309724 [startup+102.306 s] /proc/loadavg: 7.35 6.26 7.06 9/184 26534 /proc/meminfo: memFree=24145676/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=332596 CPUtime=408.62 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 98281 0 0 0 40836 26 0 0 25 0 4 0 601166069 340578304 29514 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365348 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 83149 29514 392 112 0 78114 0 [pid=26520/tid=26524] ppid=26517 vsize=332596 CPUtime=102.28 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 22903 0 0 0 10223 5 0 0 25 0 4 0 601166069 340578304 29514 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=332596 CPUtime=101.72 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 21744 0 0 0 10168 4 0 0 25 0 4 0 601166069 340578304 29514 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=332596 CPUtime=102.29 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 30956 0 0 0 10221 8 0 0 25 0 4 0 601166069 340578304 29514 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 408.62 Current children cumulated vsize (KiB) 332596 [startup+162.301 s] ################ # More data... # ################ [pid=26520] ppid=26517 vsize=369068 CPUtime=2804.49 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 305745 0 0 0 280337 112 0 0 25 0 4 0 601166069 377925632 61537 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365327 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 92267 61537 392 112 0 87232 0 [pid=26520/tid=26524] ppid=26517 vsize=369068 CPUtime=701.57 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 60307 0 0 0 70134 23 0 0 25 0 4 0 601166069 377925632 61537 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=369068 CPUtime=698.47 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 79018 0 0 0 69820 27 0 0 25 0 4 0 601166069 377925632 61537 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=369068 CPUtime=702.14 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 85963 0 0 0 70182 32 0 0 25 0 4 0 601166069 377925632 61537 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2804.49 Current children cumulated vsize (KiB) 369068 [startup+762.307 s] /proc/loadavg: 8.10 7.92 7.58 9/184 26555 /proc/meminfo: memFree=23863832/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=358516 CPUtime=3044.17 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 320229 0 0 0 304300 117 0 0 25 0 4 0 601166069 367120384 60568 33554432000 4194304 4650419 140735844609120 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 89629 60568 392 112 0 84594 0 [pid=26520/tid=26524] ppid=26517 vsize=358516 CPUtime=761.57 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 60668 0 0 0 76134 23 0 0 25 0 4 0 601166069 367120384 60568 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=358516 CPUtime=758.14 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 84539 0 0 0 75785 29 0 0 25 0 4 0 601166069 367120384 60568 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=358516 CPUtime=762.16 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 89161 0 0 0 76183 33 0 0 25 0 4 0 601166069 367120384 60568 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3044.17 Current children cumulated vsize (KiB) 358516 [startup+822.301 s] /proc/loadavg: 8.11 7.96 7.61 9/184 26556 /proc/meminfo: memFree=23839632/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=369844 CPUtime=3283.83 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 331561 0 0 0 328262 121 0 0 25 0 4 0 601166069 378720256 61772 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 92461 61772 392 112 0 87426 0 [pid=26520/tid=26524] ppid=26517 vsize=369844 CPUtime=821.56 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 62344 0 0 0 82132 24 0 0 25 0 4 0 601166069 378720256 61772 33554432000 4194304 4650419 140735844609120 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=369844 CPUtime=817.82 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 87521 0 0 0 81751 31 0 0 25 0 4 0 601166069 378720256 61772 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=369844 CPUtime=822.15 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 92132 0 0 0 82182 33 0 0 25 0 4 0 601166069 378720256 61772 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3283.83 Current children cumulated vsize (KiB) 369844 [startup+882.301 s] /proc/loadavg: 8.11 7.99 7.64 9/184 26558 /proc/meminfo: memFree=23853620/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=369896 CPUtime=3523.5 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 345629 0 0 0 352225 125 0 0 25 0 4 0 601166069 378773504 62077 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 92474 62077 392 112 0 87439 0 [pid=26520/tid=26524] ppid=26517 vsize=369896 CPUtime=881.56 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 62344 0 0 0 88132 24 0 0 25 0 4 0 601166069 378773504 62077 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=369896 CPUtime=877.48 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 90462 0 0 0 87716 32 0 0 25 0 4 0 601166069 378773504 62077 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=369896 CPUtime=882.15 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 95834 0 0 0 88181 34 0 0 25 0 4 0 601166069 378773504 62077 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476315 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3523.5 Current children cumulated vsize (KiB) 369896 [startup+942.301 s] /proc/loadavg: 8.15 8.02 7.67 9/184 26559 /proc/meminfo: memFree=23835108/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=382404 CPUtime=3763.16 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 358224 0 0 0 376186 130 0 0 25 0 4 0 601166069 391581696 64899 33554432000 4194304 4650419 140735844609120 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 95601 64899 392 112 0 90566 0 [pid=26520/tid=26524] ppid=26517 vsize=382404 CPUtime=941.55 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 62889 0 0 0 94130 25 0 0 25 0 4 0 601166069 391581696 64899 33554432000 4194304 4650419 140735844609120 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=382404 CPUtime=937.16 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 94836 0 0 0 93682 34 0 0 25 0 4 0 601166069 391581696 64899 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=382404 CPUtime=942.15 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 98934 0 0 0 94179 36 0 0 25 0 4 0 601166069 391581696 64899 33554432000 4194304 4650419 140735844609120 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3763.16 Current children cumulated vsize (KiB) 382404 [startup+1002.3 s] /proc/loadavg: 8.13 8.03 7.70 9/184 26561 /proc/meminfo: memFree=23789448/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=447712 CPUtime=4002.83 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 368792 0 0 0 400149 134 0 0 25 0 4 0 601166069 458457088 70722 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 111928 70722 392 112 0 106893 0 [pid=26520/tid=26524] ppid=26517 vsize=447712 CPUtime=1001.54 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 63116 0 0 0 100129 25 0 0 25 0 4 0 601166069 458457088 70722 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=447712 CPUtime=996.84 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 95722 0 0 0 99649 35 0 0 25 0 4 0 601166069 458457088 70722 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=447712 CPUtime=1002.15 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 103668 0 0 0 100177 38 0 0 25 0 4 0 601166069 458457088 70722 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4002.83 Current children cumulated vsize (KiB) 447712 [startup+1062.3 s] /proc/loadavg: 8.11 8.04 7.72 9/184 26563 /proc/meminfo: memFree=23765992/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=460880 CPUtime=4242.51 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 375183 0 0 0 424114 137 0 0 25 0 4 0 601166069 471941120 72643 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365361 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 115220 72643 392 112 0 110185 0 [pid=26520/tid=26524] ppid=26517 vsize=460880 CPUtime=1061.54 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 63284 0 0 0 106129 25 0 0 25 0 4 0 601166069 471941120 72643 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=460880 CPUtime=1056.51 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 98831 0 0 0 105616 35 0 0 25 0 4 0 601166069 471941120 72643 33554432000 4194304 4650419 140735844609120 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=460880 CPUtime=1062.16 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 103947 0 0 0 106178 38 0 0 25 0 4 0 601166069 471941120 72643 33554432000 4194304 4650419 140735844609120 18446744073709551615 4313440 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4242.51 Current children cumulated vsize (KiB) 460880 [startup+1122.3 s] /proc/loadavg: 8.10 8.04 7.74 9/184 26564 /proc/meminfo: memFree=23790636/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=383432 CPUtime=4482.17 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 388216 0 0 0 448075 142 0 0 25 0 4 0 601166069 392634368 67420 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 95858 67420 392 112 0 90823 0 [pid=26520/tid=26524] ppid=26517 vsize=383432 CPUtime=1121.54 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 65564 0 0 0 112127 27 0 0 25 0 4 0 601166069 392634368 67420 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=383432 CPUtime=1116.18 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 100338 0 0 0 111582 36 0 0 25 0 4 0 601166069 392634368 67420 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=383432 CPUtime=1122.15 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 109884 0 0 0 112175 40 0 0 25 0 4 0 601166069 392634368 67420 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4482.17 Current children cumulated vsize (KiB) 383432 [startup+1182.3 s] /proc/loadavg: 8.09 8.05 7.76 9/184 26566 /proc/meminfo: memFree=23747956/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=396284 CPUtime=4721.85 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 398260 0 0 0 472038 147 0 0 25 0 4 0 601166069 405794816 69506 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 99071 69506 392 112 0 94036 0 [pid=26520/tid=26524] ppid=26517 vsize=396284 CPUtime=1181.53 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 68142 0 0 0 118126 27 0 0 25 0 4 0 601166069 405794816 69506 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=396284 CPUtime=1175.86 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 102810 0 0 0 117548 38 0 0 25 0 4 0 601166069 405794816 69506 33554432000 4194304 4650419 140735844609120 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=396284 CPUtime=1182.15 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 112482 0 0 0 118174 41 0 0 25 0 4 0 601166069 405794816 69506 33554432000 4194304 4650419 140735844609120 18446744073709551615 4364736 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4721.85 Current children cumulated vsize (KiB) 396284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.9 s] /proc/loadavg: 8.07 8.04 7.76 5/179 26567 /proc/meminfo: memFree=24093440/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=409088 CPUtime=4800.16 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 401657 0 0 0 479867 149 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 102272 72902 392 112 0 97237 0 [pid=26520/tid=26524] ppid=26517 vsize=409088 CPUtime=1201.14 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 68142 0 0 0 120087 27 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=409088 CPUtime=1195.35 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 103355 0 0 0 119497 38 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=409088 CPUtime=1201.76 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 113429 0 0 0 120134 42 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.16 Current children cumulated vsize (KiB) 409088 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1201.9 s] /proc/loadavg: 8.07 8.04 7.76 5/179 26567 /proc/meminfo: memFree=24093440/32951124 swapFree=67102140/67111528 [pid=26520] ppid=26517 vsize=409088 CPUtime=4800.16 cores=0,2,4,6 /proc/26520/stat : 26520 (strangenight1-m) R 26517 26520 25742 0 -1 4202496 401657 0 0 0 479867 149 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/26520/statm: 102272 72902 392 112 0 97237 0 [pid=26520/tid=26524] ppid=26517 vsize=409088 CPUtime=1201.14 cores=0,2,4,6 /proc/26520/task/26524/stat : 26524 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 68142 0 0 0 120087 27 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=26520/tid=26525] ppid=26517 vsize=409088 CPUtime=1195.35 cores=0,2,4,6 /proc/26520/task/26525/stat : 26525 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 103355 0 0 0 119497 38 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=26520/tid=26526] ppid=26517 vsize=409088 CPUtime=1201.76 cores=0,2,4,6 /proc/26520/task/26526/stat : 26526 (strangenight1-m) R 26517 26520 25742 0 -1 4202560 113429 0 0 0 120134 42 0 0 25 0 4 0 601166069 418906112 72902 33554432000 4194304 4650419 140735844609120 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4800.16 Current children cumulated vsize (KiB) 409088 Child ended because it received signal 15 (SIGTERM) Real time (s): 1201.93 CPU time (s): 4800.21 CPU user time (s): 4798.7 CPU system time (s): 1.50877 CPU usage (%): 399.376 Max. virtual memory (cumulated for all children) (KiB): 467732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4798.7 system time used= 1.50877 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 401657 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= 353 involuntary context switches= 36536 runsolver used 1.74173 second user time and 4.83226 second system time The end
Begin job on node119 at 2011-04-29 22:35:54 IDJOB=3175299 IDBENCH=82917 IDSOLVER=1588 FILE ID=node119/3175299-1304109354 RUNJOBID= node119-1304109354-26504 PBS_JOBID= 13170637 Free space on /tmp= 71816 MiB SOLVER NAME= CryptoMiniSat Strange-Night-1-mt BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175299-1304109354/watcher-3175299-1304109354 -o /tmp/evaluation-result-3175299-1304109354/solver-3175299-1304109354 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175299-1304109354.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0448cdbfc0b1241b735cac942d079298 RANDOM SEED=1311634581 node119.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.815 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.63 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.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 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.815 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.815 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.67 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.815 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.815 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.815 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: 24388540 kB Buffers: 1909152 kB Cached: 6032648 kB SwapCached: 3688 kB Active: 158240 kB Inactive: 7842732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24388540 kB SwapTotal: 67111528 kB SwapFree: 67102140 kB Dirty: 12472 kB Writeback: 0 kB AnonPages: 58716 kB Mapped: 14344 kB Slab: 498848 kB PageTables: 4352 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 187496 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= 71808 MiB End job on node119 at 2011-04-29 22:55:58