| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.26 | 1203.18 |
| Name | random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf |
| MD5SUM | 17341e8eb76284acaef626682c91dea1 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 16.4195 |
| 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-3173864-1304072088.cnf' 0.00/0.00 c -- header says num vars: 15000 0.00/0.00 c -- header says num clauses: 63000 0.05/0.12 c -- clauses added: 0 learnts, 63000 normals, 0 xors 0.05/0.12 c -- vars added 15000 0.05/0.12 c Parsing time: 0.03 s 0.05/0.12 c N st 0 0 15000 63000 0 0 189000 0 no data no data 0.05/0.12 c asymm cl-useful: 0/63000/63000 lits-rem:0 time: 0.05 0.05/0.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.02 0.47/0.17 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.47/0.17 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.47/0.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.47/0.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15000 time: 0.00 s 0.47/0.17 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 1.16/0.31 c lits-rem: 0 cl-subs: 0 v-elim: 401 v-fix: 0 time: 0.09 s 1.16/0.31 c Finding binary XORs T: 0.00 s found: 0 1.16/0.31 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 1.16/0.31 c calculated reachability. Time: 0.00 1.16/0.31 c Calc default polars - time: 0.00 s pos: 6661 undec: 1736 neg: 6603 1.16/0.31 c ========================================================================================= 1.16/0.31 c types(t): F = full restart, N = normal restart 1.16/0.31 c types(t): S = simplification begin/end, E = solution found 1.16/0.31 c restart types(rt): st = static, dy = dynamic 1.16/0.31 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 1.16/0.31 c B st 0 0 14599 62533 0 0 190006 0 no data no data 5.09/1.32 c N dy 20 4690 14599 62533 0 4689 190006 946050 111.43 118.78 8.70/2.24 c N dy 48 8717 14599 62533 0 8716 190006 1674055 114.61 124.57 12.69/3.21 c N dy 74 12800 14599 62533 0 12799 190006 2406008 113.85 121.95 13.48/4.18 c N dy 102 16904 14599 62533 0 16902 190006 3117693 113.70 119.85 13.48/5.16 c N dy 129 20925 14599 62533 0 10925 190006 676328 113.94 120.87 13.48/6.09 c N dy 157 24985 14599 62533 0 14985 190006 1387161 113.53 121.94 13.48/6.09 c F st 158 25000 14599 62533 0 15000 190006 1389017 113.51 no data 13.48/7.32 c N dy 164 30000 14599 62533 0 20000 190006 2526676 113.51 no data 13.48/7.32 c S st 164 30000 14599 62533 0 20000 190006 2526676 113.51 no data 18.75/7.44 c S st 164 30502 14599 62533 0 20502 190006 2588929 113.51 no data 18.75/7.45 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 25.83/7.51 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.05 25.83/7.53 c blocked clauses removed: 310 vars: 53 tried: 14599 T: 0.01 s 25.83/7.54 c bin-w-bin subsume rem 0 bins time: 0.00 s 25.83/7.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 25.83/7.55 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14546 time: 0.00 s 25.83/7.55 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 26.22/7.62 c lits-rem: 0 cl-subs: 0 v-elim: 6 v-fix: 0 time: 0.07 s 27.02/7.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 29.42/8.48 c lits-rem: 25 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.65 s 29.82/8.56 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.07 29.82/8.56 c calculated reachability. Time: 0.00 29.82/8.56 c N dy 164 30502 14540 62218 0 20397 189103 2557846 113.51 no data 34.20/9.64 c N dy 193 34569 14540 62218 0 24464 189103 3305271 114.22 121.92 39.00/10.84 c N dy 220 38647 14540 62218 0 28541 189103 4051709 114.18 125.06 43.79/12.00 c N dy 243 42796 14540 62218 0 17246 189103 927609 113.61 119.89 46.99/12.81 c S st 266 45753 14540 62218 0 20202 189103 1485897 113.89 no data 47.39/12.94 c S st 266 46257 14540 62218 0 20706 189103 1551580 113.89 no data 47.39/12.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 47.79/13.00 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.06 47.79/13.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 47.79/13.02 c bin-w-bin subsume rem 0 bins time: 0.00 s 47.79/13.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 47.79/13.03 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14540 time: 0.00 s 47.79/13.04 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 48.19/13.10 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 48.19/13.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 49.38/13.40 c lits-rem: 0 cl-subs: 4 v-elim: 0 v-fix: 0 time: 0.21 s 49.38/13.40 c vivif2 -- cl tried 62218 cl shrink 0 lits rem 0 time: 0.01 49.38/13.43 c vivif2 -- cl tried 20702 cl shrink 0 lits rem 0 time: 0.02 49.78/13.50 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.07 49.78/13.51 c calculated reachability. Time: 0.00 49.78/13.51 c N dy 266 46257 14540 62218 0 20702 189103 1550524 113.89 no data 54.17/14.61 c N dy 297 50411 14540 62218 0 24856 189103 2309567 114.01 121.42 58.56/15.80 c N dy 326 54584 14540 62218 0 29029 189103 3066264 114.10 121.87 63.37/17.00 c N dy 353 58864 14540 62218 0 33309 189103 3825605 113.90 121.63 68.55/18.29 c N dy 381 63216 14540 62218 0 18939 189103 637172 113.72 120.58 72.93/19.36 c N dy 406 67309 14540 62218 0 23031 189103 1392884 113.70 148.46 75.33/19.93 c S st 424 69385 14540 62218 0 25105 189103 1781495 113.89 no data 75.73/20.07 c S st 424 69891 14540 62218 0 25611 189103 1844480 113.89 no data 75.73/20.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 76.13/20.13 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.06 76.13/20.15 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 76.13/20.15 c bin-w-bin subsume rem 0 bins time: 0.00 s 76.13/20.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 76.13/20.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14540 time: 0.00 s 76.13/20.17 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 76.54/20.23 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 76.95/20.32 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 78.12/20.67 c lits-rem: 1 cl-subs: 2 v-elim: 0 v-fix: 0 time: 0.34 s 78.12/20.68 c vivif2 -- cl tried 62218 cl shrink 0 lits rem 0 time: 0.01 78.52/20.71 c vivif2 -- cl tried 25609 cl shrink 0 lits rem 0 time: 0.03 78.52/20.79 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.08 78.93/20.80 c calculated reachability. Time: 0.00 78.93/20.80 c N dy 424 69891 14540 62218 0 25609 189103 1843760 113.89 no data 83.72/22.07 c N dy 455 74443 14540 62218 0 30161 189103 2683732 114.01 120.07 89.31/23.44 c N dy 487 79269 14540 62218 0 34987 189103 3568470 113.98 122.35 95.69/25.01 c N dy 521 84465 14540 62218 0 40183 189103 4513020 113.99 130.55 99.27/25.91 c F st 544 87500 14540 62218 0 22361 189103 859260 114.20 no data 102.89/26.83 c N st 549 90798 14540 62218 0 25659 189103 1583434 114.20 no data 109.67/28.54 c N dy 575 96659 14540 62218 0 31520 189103 2775597 114.34 141.46 116.85/30.39 c N dy 616 103011 14540 62218 0 37872 189103 3924965 114.38 123.10 119.25/30.93 c S st 626 104841 14540 62218 0 39702 189103 4250670 114.31 106.18 120.05/31.10 c S st 626 105347 14540 62218 0 40208 189103 4319963 114.31 no data 120.05/31.12 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 120.05/31.19 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.07 120.05/31.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 120.46/31.21 c bin-w-bin subsume rem 0 bins time: 0.00 s 120.46/31.21 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 120.46/31.21 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14540 time: 0.00 s 120.46/31.22 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 120.86/31.31 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 121.64/31.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 129.25/33.49 c lits-rem: 9 cl-subs: 6 v-elim: 0 v-fix: 0 time: 1.94 s 129.25/33.50 c vivif2 -- cl tried 62218 cl shrink 0 lits rem 0 time: 0.01 129.64/33.56 c vivif2 -- cl tried 40202 cl shrink 0 lits rem 0 time: 0.06 130.02/33.66 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.10 130.02/33.67 c calculated reachability. Time: 0.00 130.02/33.67 c N dy 626 105347 14540 62218 0 40202 189103 4317067 114.31 no data 138.42/35.71 c N dy 671 112125 14540 62218 0 24548 189103 913223 114.17 123.04 146.81/37.84 c N dy 716 119379 14540 62218 0 31800 189103 2234221 114.24 120.40 156.00/40.18 c N dy 769 127089 14540 62218 0 39510 189103 3655671 114.34 123.24 166.36/42.75 c N dy 821 135310 14540 62218 0 24014 189103 565681 114.38 122.21 176.35/45.22 c N dy 878 144152 14540 62218 0 32856 189103 2166861 114.36 123.30 187.52/48.01 c N dy 942 153434 14540 62218 0 42136 189103 3851012 114.49 121.03 193.11/49.46 c S st 973 158020 14540 62218 0 46722 189103 4685980 114.46 no data 193.91/49.63 c S st 973 158522 14540 62218 0 47224 189103 4749593 114.46 no data 193.91/49.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 194.31/49.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08 194.31/49.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 194.31/49.74 c bin-w-bin subsume rem 0 bins time: 0.00 s 194.31/49.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 194.31/49.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14540 time: 0.00 s 194.31/49.75 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 194.71/49.85 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 195.54/50.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 207.48/53.05 c lits-rem: 6 cl-subs: 3 v-elim: 0 v-fix: 0 time: 2.96 s 207.48/53.06 c vivif2 -- cl tried 62218 cl shrink 0 lits rem 0 time: 0.01 207.88/53.13 c vivif2 -- cl tried 47221 cl shrink 0 lits rem 0 time: 0.07 208.30/53.24 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.11 208.30/53.25 c calculated reachability. Time: 0.00 208.30/53.25 c N dy 973 158522 14540 62218 0 47221 189103 4748942 114.46 no data 220.26/56.27 c N dy 1039 168727 14540 62218 0 32567 189103 1910116 114.46 122.73 233.44/59.57 c N dy 1112 179650 14540 62218 0 43489 189103 3878230 114.42 125.47 247.83/63.17 c N dy 1188 191175 14540 62218 0 29086 189103 1039403 114.40 123.01 262.19/66.79 c N dy 1264 203394 14540 62218 0 41304 189103 3236094 114.36 145.50 278.99/70.96 c N dy 1342 216466 14540 62218 0 27414 189103 530909 114.32 120.49 295.34/75.07 c N dy 1433 230399 14540 62218 0 41347 189103 3068168 114.26 120.55 304.94/77.41 c S st 1481 237787 14540 62218 0 48734 189103 4424594 114.31 no data 305.34/77.58 c S st 1481 238289 14540 62218 0 49236 189103 4496775 114.31 no data 305.34/77.59 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 305.72/77.67 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08 305.72/77.68 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 305.72/77.69 c bin-w-bin subsume rem 0 bins time: 0.00 s 305.72/77.69 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 306.12/77.70 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14540 time: 0.00 s 306.12/77.70 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 306.52/77.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 306.92/77.99 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 319.30/81.06 c lits-rem: 2 cl-subs: 4 v-elim: 0 v-fix: 0 time: 3.06 s 319.30/81.06 c vivif2 -- cl tried 62218 cl shrink 0 lits rem 0 time: 0.01 319.70/81.13 c vivif2 -- cl tried 49232 cl shrink 0 lits rem 0 time: 0.07 320.10/81.25 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.12 320.10/81.25 c calculated reachability. Time: 0.00 320.10/81.25 c N dy 1481 238289 14540 62218 0 49232 189103 4495426 114.31 no data 339.26/86.03 c N dy 1587 253495 14540 62218 0 36459 189103 1979609 114.32 122.07 359.24/91.09 c N dy 1688 269679 14540 62218 0 52641 189103 4900883 114.21 122.50 381.59/96.66 c N dy 1803 287033 14540 62218 0 41011 189103 2640102 114.27 122.02 405.56/102.60 c N dy 1918 305390 14540 62218 0 59367 189103 5948360 114.23 122.37 406.75/102.92 c F st 1922 306251 14540 62218 0 30236 189103 468964 114.20 no data 429.91/108.74 c N dy 2016 324898 14540 62218 0 48882 189103 4194947 114.23 125.52 455.87/115.26 c N dy 2144 344977 14540 62218 0 37957 189103 1697938 114.21 124.77 471.44/119.15 c S st 2217 357434 14540 62218 0 50414 189103 3953178 114.15 119.86 472.26/119.33 c S st 2217 357935 14540 62218 0 50915 189103 4023947 114.15 no data 472.26/119.35 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 472.63/119.43 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.08 472.63/119.44 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 472.63/119.44 c bin-w-bin subsume rem 0 bins time: 0.00 s 472.63/119.45 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 472.63/119.45 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14540 time: 0.00 s 472.63/119.46 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 473.03/119.55 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 473.83/119.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 484.61/122.50 c lits-rem: 4 cl-subs: 3 v-elim: 0 v-fix: 0 time: 2.77 s 485.02/122.51 c vivif2 -- cl tried 62218 cl shrink 0 lits rem 0 time: 0.01 485.02/122.57 c vivif2 -- cl tried 50912 cl shrink 0 lits rem 0 time: 0.06 485.43/122.69 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.12 485.43/122.69 c calculated reachability. Time: 0.00 485.43/122.69 c N dy 2217 357935 14540 62218 0 50912 189103 4022307 114.15 no data 512.56/129.46 c N dy 2353 377995 14540 62218 0 38981 189103 1721381 114.20 120.26 539.32/136.11 c N dy 2488 398096 14540 62218 0 59081 189103 5397697 114.26 122.24 565.27/142.63 c N dy 2615 418162 14540 62218 0 46144 189103 2825382 114.23 122.42 592.03/149.36 c N dy 2736 438195 14540 62218 0 66176 189103 6441525 114.13 129.98 617.99/155.83 c N dy 2876 458205 14540 62218 0 52188 189103 3752196 114.18 121.90 645.95/162.84 c N dy 3011 478226 14540 62218 0 37214 189103 837193 114.29 130.20 671.89/169.32 c N dy 3144 498295 14540 62218 0 57283 189103 4488251 114.28 120.87 699.45/176.24 c N dy 3272 518301 14540 62218 0 41284 189103 1393758 114.30 122.92 723.80/182.37 c S st 3398 536903 14540 62218 0 59885 189103 4846569 114.36 no data 724.60/182.56 c S st 3398 537407 14540 62218 0 60389 189103 4910625 114.36 no data 724.60/182.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 725.01/182.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.08 725.01/182.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 725.01/182.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 725.01/182.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 725.01/182.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14540 time: 0.00 s 725.01/182.69 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 725.81/182.80 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.10 s 726.62/183.01 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 737.00/185.69 c lits-rem: 11 cl-subs: 4 v-elim: 0 v-fix: 0 time: 2.67 s 737.39/185.70 c vivif2 -- cl tried 62218 cl shrink 0 lits rem 0 time: 0.01 737.39/185.77 c vivif2 -- cl tried 60385 cl shrink 0 lits rem 0 time: 0.08 738.19/185.90 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.13 738.19/185.91 c calculated reachability. Time: 0.00 738.19/185.91 c N dy 3398 537407 14540 62218 0 60385 189103 4909434 114.36 no data 766.16/192.96 c N dy 3533 557426 14540 62218 0 43405 189103 1604668 114.45 122.10 793.30/199.73 c N dy 3668 577512 14540 62218 0 63486 189103 5366101 114.56 121.31 821.65/206.88 c N dy 3797 597763 14540 62218 0 45741 189103 1859573 114.56 123.60 848.80/213.68 c N dy 3931 617830 14540 62218 0 65807 189103 5552655 114.59 124.33 877.16/220.79 c N dy 4070 637905 14540 62218 0 46881 189103 1891245 114.64 121.73 905.11/227.73 c N dy 4210 658028 14540 62218 0 67003 189103 5614040 114.73 128.68 933.87/234.94 c N dy 4338 678099 14540 62218 0 47078 189103 1752117 114.74 121.08 962.62/242.17 c N dy 4467 698109 14540 62218 0 67086 189103 5383637 114.72 120.85 992.57/249.61 c N dy 4614 718333 14540 62218 0 46310 189103 1422131 114.86 124.43 1020.13/256.50 c N dy 4742 738482 14540 62218 0 66459 189103 5088581 114.85 122.41 1050.08/264.05 c N dy 4874 758522 14540 62218 0 44500 189103 897665 114.88 123.02 1077.23/270.89 c N dy 5010 778811 14540 62218 0 64788 189103 4602952 114.91 124.01 1108.38/278.67 c N dy 5153 799001 14540 62218 0 84975 189103 8353190 115.01 121.25 1118.36/281.15 c S st 5208 806112 14540 62218 0 49087 189103 1584439 115.05 no data 1119.16/281.33 c S st 5208 806615 14540 62218 0 49590 189103 1655640 115.05 no data 1119.16/281.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1119.56/281.41 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.07 1119.56/281.43 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1119.56/281.43 c bin-w-bin subsume rem 0 bins time: 0.00 s 1119.56/281.43 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1119.56/281.44 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14540 time: 0.00 s 1119.56/281.45 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1119.96/281.52 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 1119.96/281.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1122.75/282.27 c lits-rem: 0 cl-subs: 1 v-elim: 0 v-fix: 0 time: 0.67 s 1122.75/282.28 c vivif2 -- cl tried 62218 cl shrink 0 lits rem 0 time: 0.01 1123.15/282.30 c vivif2 -- cl tried 49589 cl shrink 0 lits rem 0 time: 0.03 1123.55/282.42 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.11 1123.55/282.42 c calculated reachability. Time: 0.00 1123.55/282.42 c N dy 5208 806615 14540 62218 0 49589 189103 1655490 115.05 no data 1151.51/289.48 c N dy 5343 826720 14540 62218 0 69690 189103 5368701 115.09 127.76 1183.06/297.34 c N dy 5464 846770 14540 62218 0 45742 189103 761028 115.03 138.54 1210.23/304.13 c N dy 5583 866789 14540 62218 0 65761 189103 4463724 115.05 122.39 1240.98/311.87 c N dy 5716 887010 14540 62218 0 85980 189103 8172407 115.07 121.14 1269.32/318.97 c N dy 5843 907121 14540 62218 0 61094 189103 3411842 115.06 121.17 1299.27/326.43 c N dy 5974 927132 14540 62218 0 81105 189103 7125196 115.08 121.62 1329.23/333.95 c N dy 6115 947225 14540 62218 0 55208 189103 2141408 115.12 126.10 1358.37/341.20 c N dy 6247 967230 14540 62218 0 75213 189103 5792224 115.12 122.11 1390.33/349.21 c N dy 6378 987261 14540 62218 0 48241 189103 694749 115.17 123.73 1418.27/356.29 c N dy 6518 1007306 14540 62218 0 68285 189103 4415731 115.21 134.17 1449.81/364.14 c N dy 6653 1027360 14540 62218 0 88337 189103 8119947 115.23 121.51 1479.78/371.62 c N dy 6787 1047436 14540 62218 0 60412 189103 2742508 115.25 121.88 1509.72/379.15 c N dy 6918 1067589 14540 62218 0 80563 189103 6494289 115.26 125.01 1516.51/380.85 c F st 6948 1071875 14540 62218 0 84848 189103 7256953 115.27 no data 1541.67/387.17 c N dy 7025 1087593 14540 62218 0 51568 189103 950895 115.28 122.39 1570.04/394.26 c N dy 7156 1107683 14540 62218 0 71656 189103 4615451 115.27 133.36 1602.38/402.30 c N dy 7291 1127965 14540 62218 0 91936 189103 8360066 115.28 123.66 1632.32/409.86 c N dy 7429 1147985 14540 62218 0 61959 189103 2682818 115.30 125.94 1662.29/417.35 c N dy 7551 1168044 14540 62218 0 82017 189103 6402631 115.28 135.90 1695.81/425.78 c N dy 7690 1188082 14540 62218 0 51060 189103 489483 115.31 122.29 1725.36/433.19 c N dy 7822 1208154 14540 62218 0 71127 189103 4177824 115.31 121.99 1728.17/433.89 c S st 7836 1209922 14540 62218 0 72895 189103 4502719 115.32 no data 1728.95/434.09 c S st 7836 1210425 14540 62218 0 73398 189103 4562588 115.32 no data 1729.35/434.11 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1729.75/434.21 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.10 1729.75/434.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1729.75/434.23 c bin-w-bin subsume rem 0 bins time: 0.00 s 1729.75/434.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1729.75/434.24 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14540 time: 0.01 s 1729.75/434.24 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1730.15/434.35 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.11 s 1730.95/434.55 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1743.73/437.72 c lits-rem: 5 cl-subs: 5 v-elim: 0 v-fix: 0 time: 3.16 s 1743.73/437.73 c vivif2 -- cl tried 62218 cl shrink 0 lits rem 0 time: 0.01 1744.13/437.80 c vivif2 -- cl tried 73393 cl shrink 0 lits rem 0 time: 0.07 1744.53/437.95 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.15 1744.53/437.96 c calculated reachability. Time: 0.00 1744.53/437.96 c N dy 7836 1210425 14540 62218 0 73393 189103 4561728 115.32 no data 1776.48/445.99 c N dy 7966 1230443 14540 62218 0 93408 189103 8231444 115.31 122.58 1808.02/453.87 c N dy 8097 1250490 14540 62218 0 61459 189103 2194910 115.31 123.58 1838.39/461.47 c N dy 8239 1270583 14540 62218 0 81551 189103 5941213 115.37 181.17 1871.91/469.87 c N dy 8362 1290713 14540 62218 0 101681 189103 9631198 115.35 121.69 1901.86/477.37 c N dy 8495 1310730 14540 62218 0 68695 189103 3373864 115.38 123.10 1933.41/485.27 c N dy 8635 1330806 14540 62218 0 88770 189103 7096448 115.41 121.98 1968.96/494.12 c N dy 8770 1351035 14540 62218 0 55005 189103 669171 115.42 127.25 1998.10/501.45 c N dy 8908 1371058 14540 62218 0 75028 189103 4432455 115.46 124.67 2030.85/509.65 c N dy 9039 1391150 14540 62218 0 95119 189103 8119955 115.46 123.75 2064.38/518.03 c N dy 9170 1411277 14540 62218 0 60246 189103 1484885 115.46 123.02 2094.33/525.52 c N dy 9304 1431280 14540 62218 0 80248 189103 5237819 115.50 125.11 2127.48/533.90 c N dy 9438 1451302 14540 62218 0 100265 189103 8939526 115.52 139.23 2160.62/542.18 c N dy 9571 1471313 14540 62218 0 64285 189103 2027083 115.52 123.76 2191.37/549.84 c N dy 9700 1491342 14540 62218 0 84312 189103 5689214 115.51 124.36 2224.94/558.26 c N dy 9834 1511344 14540 62218 0 104312 189103 9390897 115.54 122.97 2257.67/566.45 c N dy 9969 1531445 14540 62218 0 67416 189103 2432259 115.54 122.75 2289.22/574.33 c N dy 10101 1551631 14540 62218 0 87602 189103 6186124 115.54 124.88 2323.56/582.93 c N dy 10230 1571700 14540 62218 0 107670 189103 9871205 115.54 151.20 2355.91/591.01 c N dy 10356 1591832 14540 62218 0 69808 189103 2671696 115.54 121.82 2387.08/598.89 c N dy 10480 1611904 14540 62218 0 89879 189103 6352437 115.53 123.41 2422.62/607.70 c N dy 10615 1632056 14540 62218 0 110030 189103 10084824 115.55 124.30 2454.94/615.83 c N dy 10747 1652188 14540 62218 0 71169 189103 2780550 115.56 125.66 2487.30/623.94 c N dy 10883 1672386 14540 62218 0 91365 189103 6481485 115.57 121.88 2522.44/632.72 c N dy 11019 1692393 14540 62218 0 111369 189103 10163603 115.58 122.27 2552.77/640.35 c S st 11138 1710425 14540 62218 0 69397 189103 2230844 115.59 no data 2553.57/640.55 c S st 11138 1710931 14540 62218 0 69903 189103 2296132 115.59 no data 2553.57/640.57 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2554.00/640.66 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.09 2554.00/640.67 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2554.00/640.68 c bin-w-bin subsume rem 0 bins time: 0.00 s 2554.00/640.68 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2554.00/640.69 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14540 time: 0.01 s 2554.00/640.69 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 2554.40/640.78 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 2554.78/640.88 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2560.76/642.39 c lits-rem: 2 cl-subs: 5 v-elim: 0 v-fix: 0 time: 1.50 s 2561.16/642.40 c vivif2 -- cl tried 62218 cl shrink 0 lits rem 0 time: 0.01 2561.16/642.44 c vivif2 -- cl tried 69898 cl shrink 0 lits rem 0 time: 0.04 2561.56/642.58 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.14 2561.56/642.59 c calculated reachability. Time: 0.00 2561.56/642.59 c N dy 11138 1710931 14540 62218 0 69898 189103 2295186 115.59 no data 2593.53/650.60 c N dy 11273 1730997 14540 62218 0 89962 189103 6000295 115.60 121.91 2629.07/659.45 c N dy 11418 1751042 14540 62218 0 110005 189103 9748334 115.62 122.95 2663.40/668.08 c N dy 11552 1771123 14540 62218 0 69095 189103 2038627 115.63 141.71 2695.34/676.00 c N dy 11687 1791285 14540 62218 0 89255 189103 5749946 115.64 122.92 2729.70/684.70 c N dy 11810 1811353 14540 62218 0 109323 189103 9478755 115.64 125.58 2765.62/693.65 c N dy 11935 1831449 14540 62218 0 67423 189103 1529304 115.63 126.66 2797.97/701.73 c N dy 12056 1851512 14540 62218 0 87484 189103 5260539 115.64 121.88 2833.10/710.56 c N dy 12195 1871635 14540 62218 0 107607 189103 8946328 115.65 122.27 2870.64/719.94 c N dy 12325 1891732 14540 62218 0 64700 189103 846716 115.64 127.22 2900.99/727.52 c N dy 12448 1911791 14540 62218 0 84759 189103 4567919 115.64 124.67 2934.93/736.07 c N dy 12579 1931883 14540 62218 0 104850 189103 8272966 115.64 135.90 2972.86/745.54 c N dy 12710 1951998 14540 62218 0 124964 189103 12018088 115.65 126.65 3004.81/753.58 c N dy 12844 1972332 14540 62218 0 81305 189103 3734697 115.66 129.48 3038.36/761.99 c N dy 12980 1992374 14540 62218 0 101345 189103 7472972 115.67 126.26 3075.47/771.22 c N dy 13110 2012383 14540 62218 0 121354 189103 11160220 115.67 124.12 3109.43/779.76 c N dy 13244 2032512 14540 62218 0 76486 189103 2654945 115.68 122.84 3142.17/787.93 c N dy 13371 2052613 14540 62218 0 96587 189103 6361690 115.68 122.42 3178.51/797.02 c N dy 13497 2072652 14540 62218 0 116623 189103 10080005 115.69 123.39 3215.66/806.36 c N dy 13627 2092750 14540 62218 0 70722 189103 1391069 115.70 122.18 3246.81/814.14 c N dy 13755 2112771 14540 62218 0 90743 189103 5031840 115.70 122.36 3283.55/823.33 c N dy 13900 2133357 14540 62218 0 111326 189103 8946650 115.73 124.37 3323.09/833.21 c N dy 14043 2153444 14540 62218 0 131410 189103 12668205 115.74 141.03 3355.42/841.31 c N dy 14182 2173518 14540 62218 0 84483 189103 3813728 115.76 160.81 3390.57/850.11 c N dy 14319 2194057 14540 62218 0 105021 189103 7681963 115.78 123.11 3422.11/858.01 c S st 14432 2210932 14540 62218 0 121893 189103 10830855 115.79 96.15 3423.31/858.30 c S st 14432 2211436 14540 62218 0 122397 189103 10896888 115.79 no data 3423.31/858.32 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3423.72/858.46 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.14 3423.72/858.48 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3423.72/858.48 c bin-w-bin subsume rem 0 bins time: 0.00 s 3423.72/858.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3423.72/858.49 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14540 time: 0.01 s 3423.72/858.50 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 3424.51/858.68 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.18 s 3426.91/859.27 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3454.87/866.27 c lits-rem: 0 cl-subs: 10 v-elim: 0 v-fix: 0 time: 6.98 s 3454.87/866.27 c vivif2 -- cl tried 62218 cl shrink 0 lits rem 0 time: 0.01 3455.65/866.45 c vivif2 -- cl tried 122387 cl shrink 0 lits rem 0 time: 0.18 3456.45/866.68 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.23 3456.45/866.68 c calculated reachability. Time: 0.00 3456.45/866.68 c N dy 14432 2211436 14540 62218 0 122387 189103 10892270 115.79 no data 3494.01/876.01 c N dy 14555 2231584 14540 62218 0 74543 189103 1796198 115.80 130.57 3526.32/884.13 c N dy 14695 2251755 14540 62218 0 94710 189103 5508264 115.81 123.00 3562.66/893.22 c N dy 14838 2271831 14540 62218 0 114783 189103 9259984 115.83 144.75 3602.20/903.10 c N dy 14968 2291858 14540 62218 0 134809 189103 12998039 115.83 140.39 3635.34/911.41 c N dy 15110 2311948 14540 62218 0 85906 189103 3758531 115.85 159.32 3669.70/920.05 c N dy 15251 2331998 14540 62218 0 105953 189103 7557904 115.88 123.33 3707.63/929.58 c N dy 15386 2352040 14540 62218 0 125995 189103 11282508 115.90 123.55 3746.35/939.26 c N dy 15521 2372243 14540 62218 0 76202 189103 1756399 115.91 124.90 3778.69/947.39 c N dy 15653 2392282 14540 62218 0 96241 189103 5511463 115.92 123.17 3815.44/956.54 c N dy 15783 2412428 14540 62218 0 116387 189103 9223233 115.92 127.57 3855.37/966.59 c N dy 15919 2432472 14540 62218 0 136430 189103 12933582 115.93 125.56 3890.11/975.21 c N dy 16055 2452634 14540 62218 0 85598 189103 3320250 115.94 122.99 3924.48/983.82 c N dy 16191 2472704 14540 62218 0 105666 189103 6990517 115.95 144.54 3962.80/993.40 c N dy 16323 2492755 14540 62218 0 125716 189103 10682485 115.95 125.21 4003.54/1003.63 c N dy 16456 2512781 14540 62218 0 73743 189103 927709 115.95 129.61 4035.47/1011.62 c N dy 16585 2532874 14540 62218 0 93836 189103 4600216 115.96 128.37 4071.41/1020.61 c N dy 16717 2552964 14540 62218 0 113923 189103 8324049 115.96 123.75 4110.54/1030.41 c N dy 16842 2573033 14540 62218 0 133991 189103 12028603 115.96 128.75 4148.50/1039.97 c N dy 16975 2593047 14540 62218 0 81007 189103 2078664 115.97 122.39 4182.03/1048.37 c N dy 17114 2613085 14540 62218 0 101043 189103 5844558 115.99 131.67 4219.57/1057.73 c N dy 17246 2633183 14540 62218 0 121140 189103 9596093 116.00 124.78 4259.87/1067.88 c N dy 17370 2653306 14540 62218 0 141261 189103 13270734 115.99 122.28 4295.81/1076.81 c N dy 17500 2673322 14540 62218 0 87286 189103 3042880 115.99 126.60 4330.16/1085.48 c N dy 17631 2693401 14540 62218 0 107364 189103 6784480 116.00 124.15 4364.91/1094.10 c S st 17751 2711437 14540 62218 0 125399 189103 10133586 116.00 no data 4365.71/1094.38 c S st 17751 2711939 14540 62218 0 125901 189103 10199404 116.00 no data 4366.11/1094.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4366.51/1094.55 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.14 4366.51/1094.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4366.51/1094.57 c bin-w-bin subsume rem 0 bins time: 0.00 s 4366.51/1094.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4366.51/1094.58 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14540 time: 0.00 s 4366.51/1094.59 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 4367.31/1094.76 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.17 s 4369.30/1095.25 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4395.65/1101.80 c lits-rem: 4 cl-subs: 9 v-elim: 0 v-fix: 0 time: 6.54 s 4395.65/1101.81 c vivif2 -- cl tried 62218 cl shrink 0 lits rem 0 time: 0.01 4396.45/1102.00 c vivif2 -- cl tried 125892 cl shrink 0 lits rem 0 time: 0.18 4397.25/1102.27 c asymm cl-useful: 0/62218/62218 lits-rem:0 time: 0.27 4397.25/1102.28 c calculated reachability. Time: 0.00 4397.25/1102.28 c N dy 17751 2711939 14540 62218 0 125892 189103 10196216 116.00 no data 4441.57/1113.38 c N dy 17889 2732065 14540 62218 0 146015 189103 14004937 116.03 122.95 4476.32/1122.03 c N dy 18024 2752149 14540 62218 0 91097 189103 3603724 116.04 122.97 4511.43/1130.87 c N dy 18165 2772211 14540 62218 0 111158 189103 7328578 116.06 122.64 4550.58/1140.61 c N dy 18297 2792317 14540 62218 0 131262 189103 11057389 116.06 123.72 4593.30/1151.37 c N dy 18431 2812483 14540 62218 0 151427 189103 14793063 116.06 123.28 4626.83/1159.74 c N dy 18569 2832515 14540 62218 0 95463 189103 4212591 116.08 122.66 4665.17/1169.33 c N dy 18708 2852555 14540 62218 0 115503 189103 7944756 116.09 130.73 4705.11/1179.33 c N dy 18844 2872616 14540 62218 0 135563 189103 11665024 116.10 124.01 4747.83/1190.08 c N dy 18983 2892724 14540 62218 0 78670 189103 928271 116.11 123.36 4780.99/1198.31 c N dy 19115 2912790 14540 62218 0 98734 189103 4663352 116.12 122.32
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-3173864-1304072088/watcher-3173864-1304072088 -o /tmp/evaluation-result-3173864-1304072088/solver-3173864-1304072088 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173864-1304072088.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: 1.54 4.05 5.62 6/178 10578 /proc/meminfo: memFree=26619660/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 518807477 52441088 347 33554432000 4194304 4627427 140736099716832 18446744073709551615 47712506705842 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10578/statm: 12803 347 299 106 0 7774 0 [pid=10578/tid=10579] ppid=10576 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 518807477 52441088 347 33554432000 4194304 4627427 140736099716832 18446744073709551615 47712506705846 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518807477 52441088 347 33554432000 4194304 4627427 140736099716832 18446744073709551615 47712506705846 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 518807477 52441088 347 33554432000 4194304 4627427 140736099716832 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 0 0 0 0 [startup+0.0210899 s] /proc/loadavg: 1.54 4.05 5.62 6/178 10578 /proc/meminfo: memFree=26619660/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=293780 CPUtime=0.05 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 7448 0 0 0 4 1 0 0 18 0 4 0 518807477 300830720 6436 33554432000 4194304 4627427 140736099716832 18446744073709551615 4360952 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10578/statm: 73445 6436 339 106 0 68416 0 [pid=10578/tid=10579] ppid=10576 vsize=293780 CPUtime=0.01 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) D 10576 10578 10537 0 -1 4202560 1758 0 0 0 1 0 0 0 18 0 4 0 518807477 300830720 6436 33554432000 4194304 4627427 140736099716832 18446744073709551615 242970593463 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=293780 CPUtime=0.01 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) D 10576 10578 10537 0 -1 4202560 1763 0 0 0 1 0 0 0 18 0 4 0 518807477 300830720 6436 33554432000 4194304 4627427 140736099716832 18446744073709551615 242970247353 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=293780 CPUtime=0 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 1761 0 0 0 0 0 0 0 25 0 4 0 518807477 300830720 6436 33554432000 4194304 4627427 140736099716832 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 293780 [startup+0.124965 s] /proc/loadavg: 1.54 4.05 5.62 6/178 10578 /proc/meminfo: memFree=26619660/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=302504 CPUtime=0.47 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) D 10576 10578 10537 0 -1 4202496 11939 0 0 0 45 2 0 0 18 0 4 0 518807477 309764096 10927 33554432000 4194304 4627427 140736099716832 18446744073709551615 242970593463 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10578/statm: 75626 10928 371 106 0 70597 0 [pid=10578/tid=10579] ppid=10576 vsize=302504 CPUtime=0.11 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 2874 0 0 0 11 0 0 0 18 0 4 0 518807477 309764096 10935 33554432000 4194304 4627427 140736099716832 18446744073709551615 4415910 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=302504 CPUtime=0.11 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 2926 0 0 0 11 0 0 0 18 0 4 0 518807477 309764096 10939 33554432000 4194304 4627427 140736099716832 18446744073709551615 242970206165 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=302504 CPUtime=0.1 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 2879 0 0 0 10 0 0 0 25 0 4 0 518807477 309764096 10945 33554432000 4194304 4627427 140736099716832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.47 Current children cumulated vsize (KiB) 302504 [startup+0.31599 s] /proc/loadavg: 1.54 4.05 5.62 6/178 10578 /proc/meminfo: memFree=26619660/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=314804 CPUtime=1.16 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 21861 0 0 0 112 4 0 0 18 0 4 0 518807477 322359296 16665 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10578/statm: 78701 16666 385 106 0 73672 0 [pid=10578/tid=10579] ppid=10576 vsize=314804 CPUtime=0.31 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 6226 0 0 0 30 1 0 0 18 0 4 0 518807477 322359296 16666 33554432000 4194304 4627427 140736099716832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=314804 CPUtime=0.3 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 5786 0 0 0 30 0 0 0 18 0 4 0 518807477 322359296 16666 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=314804 CPUtime=0.22 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 2960 0 0 0 22 0 0 0 25 0 4 0 518807477 322359296 16666 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.16 Current children cumulated vsize (KiB) 314804 [startup+0.700948 s] /proc/loadavg: 1.54 4.05 5.62 6/178 10578 /proc/meminfo: memFree=26619660/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=314804 CPUtime=2.69 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 23386 0 0 0 264 5 0 0 18 0 4 0 518807477 322359296 18190 33554432000 4194304 4627427 140736099716832 18446744073709551615 4330926 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10578/statm: 78701 18190 385 106 0 73672 0 [pid=10578/tid=10579] ppid=10576 vsize=314804 CPUtime=0.69 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 6614 0 0 0 68 1 0 0 18 0 4 0 518807477 322359296 18190 33554432000 4194304 4627427 140736099716832 18446744073709551615 4333381 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=314804 CPUtime=0.68 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 6173 0 0 0 68 0 0 0 18 0 4 0 518807477 322359296 18190 33554432000 4194304 4627427 140736099716832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=314804 CPUtime=0.61 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 3321 0 0 0 60 1 0 0 25 0 4 0 518807477 322359296 18190 33554432000 4194304 4627427 140736099716832 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2.69 Current children cumulated vsize (KiB) 314804 [startup+1.50081 s] /proc/loadavg: 1.54 4.05 5.62 9/182 10582 /proc/meminfo: memFree=26508896/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=314804 CPUtime=5.89 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 26294 0 0 0 583 6 0 0 19 0 4 0 518807477 322359296 21098 33554432000 4194304 4627427 140736099716832 18446744073709551615 4352176 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10578/statm: 78701 21098 385 106 0 73672 0 [pid=10578/tid=10579] ppid=10576 vsize=314804 CPUtime=1.48 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 7348 0 0 0 147 1 0 0 19 0 4 0 518807477 322359296 21098 33554432000 4194304 4627427 140736099716832 18446744073709551615 4327488 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=314804 CPUtime=1.49 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 6804 0 0 0 148 1 0 0 19 0 4 0 518807477 322359296 21098 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=314804 CPUtime=1.4 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 4132 0 0 0 139 1 0 0 25 0 4 0 518807477 322359296 21098 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 5.89 Current children cumulated vsize (KiB) 314804 [startup+3.10054 s] /proc/loadavg: 2.05 4.12 5.63 9/182 10582 /proc/meminfo: memFree=26494140/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=446068 CPUtime=12.28 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 31564 0 0 0 1222 6 0 0 25 0 4 0 518807477 456773632 26368 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308329 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0 /proc/10578/statm: 111517 26368 385 106 0 106488 0 [pid=10578/tid=10579] ppid=10576 vsize=446068 CPUtime=3.08 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 8733 0 0 0 307 1 0 0 25 0 4 0 518807477 456773632 26368 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=446068 CPUtime=3.09 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 8009 0 0 0 308 1 0 0 24 0 4 0 518807477 456773632 26369 33554432000 4194304 4627427 140736099716832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=446068 CPUtime=3 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 5452 0 0 0 299 1 0 0 25 0 4 0 518807477 456773632 26369 33554432000 4194304 4627427 140736099716832 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 12.28 Current children cumulated vsize (KiB) 446068 [startup+7.48227 s] /proc/loadavg: 2.05 4.12 5.63 9/182 10582 /proc/meminfo: memFree=26472448/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=331936 CPUtime=25.75 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 46233 0 0 0 2562 13 0 0 25 0 4 0 518807477 339902464 24989 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 82984 24989 390 106 0 77955 0 [pid=10578/tid=10579] ppid=10576 vsize=331936 CPUtime=6.81 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 12787 0 0 0 678 3 0 0 25 0 4 0 518807477 339902464 24989 33554432000 4194304 4627427 140736099716832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=331936 CPUtime=6.21 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 11267 0 0 0 619 2 0 0 25 0 4 0 518807477 339902464 24990 33554432000 4194304 4627427 140736099716832 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=331936 CPUtime=5.26 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 8200 0 0 0 523 3 0 0 25 0 4 0 518807477 339902464 24990 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 25.75 Current children cumulated vsize (KiB) 331936 [startup+12.7009 s] /proc/loadavg: 3.19 4.29 5.67 9/182 10583 /proc/meminfo: memFree=26192364/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=470924 CPUtime=46.59 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 100105 0 0 0 4633 26 0 0 25 0 4 0 518807477 482226176 63039 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 117731 63039 390 106 0 112702 0 [pid=10578/tid=10579] ppid=10576 vsize=470924 CPUtime=12.02 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 34604 0 0 0 1194 8 0 0 25 0 4 0 518807477 482226176 63039 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=470924 CPUtime=11.42 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 20943 0 0 0 1138 4 0 0 25 0 4 0 518807477 482226176 63039 33554432000 4194304 4627427 140736099716832 18446744073709551615 4427693 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=470924 CPUtime=10.45 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 13019 0 0 0 1039 6 0 0 25 0 4 0 518807477 482226176 63039 33554432000 4194304 4627427 140736099716832 18446744073709551615 4327410 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 46.59 Current children cumulated vsize (KiB) 470924 [startup+25.5007 s] /proc/loadavg: 3.93 4.42 5.70 9/182 10583 /proc/meminfo: memFree=25986976/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=639032 CPUtime=97.69 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 150966 0 0 0 9731 38 0 0 25 0 4 0 518807477 654368768 85339 33554432000 4194304 4627427 140736099716832 18446744073709551615 4503199 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 159758 85348 390 106 0 154729 0 [pid=10578/tid=10579] ppid=10576 vsize=639032 CPUtime=24.81 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 45564 0 0 0 2471 10 0 0 25 0 4 0 518807477 654368768 85353 33554432000 4194304 4627427 140736099716832 18446744073709551615 4327606 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=639032 CPUtime=24.21 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 30708 0 0 0 2414 7 0 0 25 0 4 0 518807477 654368768 85359 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=639032 CPUtime=23.18 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 29731 0 0 0 2309 9 0 0 25 0 4 0 518807477 654368768 85365 33554432000 4194304 4627427 140736099716832 18446744073709551615 4327429 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 97.69 Current children cumulated vsize (KiB) 639032 [startup+51.1063 s] /proc/loadavg: 5.32 4.70 5.76 9/182 10584 /proc/meminfo: memFree=25762556/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=663060 CPUtime=199.92 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 232589 0 0 0 19935 57 0 0 25 0 4 0 518807477 678973440 121450 33554432000 4194304 4627427 140736099716832 18446744073709551615 4428111 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 165765 121450 390 106 0 160736 0 [pid=10578/tid=10579] ppid=10576 vsize=663060 CPUtime=50.41 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 63460 0 0 0 5026 15 0 0 25 0 4 0 518807477 678973440 121450 33554432000 4194304 4627427 140736099716832 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=663060 CPUtime=49.79 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 44652 0 0 0 4968 11 0 0 25 0 4 0 518807477 678973440 121450 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=663060 CPUtime=48.64 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 49654 0 0 0 4850 14 0 0 25 0 4 0 518807477 678973440 121450 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 199.92 Current children cumulated vsize (KiB) 663060 [startup+102.3 s] /proc/loadavg: 6.96 5.27 5.89 9/182 10585 /proc/meminfo: memFree=25644876/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=850052 CPUtime=404.36 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 337062 0 0 0 40347 89 0 0 25 0 4 0 518807477 870453248 145577 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308590 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 212513 145577 390 106 0 207484 0 [pid=10578/tid=10579] ppid=10576 vsize=850052 CPUtime=101.57 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 84167 0 0 0 10134 23 0 0 25 0 4 0 518807477 870453248 145577 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=850052 CPUtime=100.94 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 69171 0 0 0 10075 19 0 0 25 0 4 0 518807477 870453248 145577 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309290 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=850052 CPUtime=99.57 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 83851 0 0 0 9935 22 0 0 25 0 4 0 518807477 870453248 145577 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 404.36 Current children cumulated vsize (KiB) 850052 [startup+162.301 s] ################ # More data... # ################ [pid=10578] ppid=10576 vsize=1297172 CPUtime=2800.38 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 1499569 0 0 0 279570 468 0 0 25 0 4 0 518807477 1328304128 237804 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 324293 237805 390 106 0 319264 0 [pid=10578/tid=10579] ppid=10576 vsize=1297172 CPUtime=700.81 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 373522 0 0 0 69957 124 0 0 25 0 4 0 518807477 1328304128 237805 33554432000 4194304 4627427 140736099716832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=1297172 CPUtime=700.92 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 359797 0 0 0 69980 112 0 0 25 0 4 0 518807477 1328304128 237805 33554432000 4194304 4627427 140736099716832 18446744073709551615 4427411 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=1297172 CPUtime=696.41 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 371326 0 0 0 69528 113 0 0 25 0 4 0 518807477 1328304128 237805 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308282 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 2800.38 Current children cumulated vsize (KiB) 1297172 [startup+762.301 s] /proc/loadavg: 8.01 7.76 7.00 9/182 10603 /proc/meminfo: memFree=24712036/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=1298764 CPUtime=3039.96 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 1608975 0 0 0 303490 506 0 0 25 0 4 0 518807477 1329934336 243928 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308362 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 324691 243928 390 106 0 319662 0 [pid=10578/tid=10579] ppid=10576 vsize=1298764 CPUtime=760.73 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 401391 0 0 0 75939 134 0 0 25 0 4 0 518807477 1329934336 243928 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=1298764 CPUtime=760.92 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 385706 0 0 0 75970 122 0 0 25 0 4 0 518807477 1329934336 243928 33554432000 4194304 4627427 140736099716832 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=1298764 CPUtime=756.08 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 398941 0 0 0 75485 123 0 0 25 0 4 0 518807477 1329934336 243928 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3039.96 Current children cumulated vsize (KiB) 1298764 [startup+822.3 s] /proc/loadavg: 8.00 7.80 7.06 9/182 10604 /proc/meminfo: memFree=24694540/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=1300308 CPUtime=3279.55 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 1719382 0 0 0 327408 547 0 0 25 0 4 0 518807477 1331515392 247159 33554432000 4194304 4627427 140736099716832 18446744073709551615 4327410 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 325077 247159 390 106 0 320048 0 [pid=10578/tid=10579] ppid=10576 vsize=1300308 CPUtime=820.64 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 428752 0 0 0 81920 144 0 0 25 0 4 0 518807477 1331515392 247159 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=1300308 CPUtime=820.91 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 413289 0 0 0 81959 132 0 0 25 0 4 0 518807477 1331515392 247159 33554432000 4194304 4627427 140736099716832 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=1300308 CPUtime=815.76 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 426634 0 0 0 81445 131 0 0 25 0 4 0 518807477 1331515392 247159 33554432000 4194304 4627427 140736099716832 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3279.55 Current children cumulated vsize (KiB) 1300308 [startup+882.301 s] /proc/loadavg: 8.03 7.85 7.12 9/182 10606 /proc/meminfo: memFree=24463760/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=1565812 CPUtime=3519.14 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 1888031 0 0 0 351317 597 0 0 25 0 4 0 518807477 1603391488 302597 33554432000 4194304 4627427 140736099716832 18446744073709551615 4352204 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 391453 302597 390 106 0 386424 0 [pid=10578/tid=10579] ppid=10576 vsize=1565812 CPUtime=880.56 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 478876 0 0 0 87898 158 0 0 25 0 4 0 518807477 1603391488 302597 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=1565812 CPUtime=880.91 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 439992 0 0 0 87949 142 0 0 25 0 4 0 518807477 1603391488 302597 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=1565812 CPUtime=875.44 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 473538 0 0 0 87398 146 0 0 25 0 4 0 518807477 1603391488 302597 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3519.14 Current children cumulated vsize (KiB) 1565812 [startup+942.301 s] /proc/loadavg: 8.08 7.90 7.18 9/182 10607 /proc/meminfo: memFree=24519420/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=1568520 CPUtime=3758.73 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 1995630 0 0 0 375241 632 0 0 25 0 4 0 518807477 1606164480 296864 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 392130 296864 390 106 0 387101 0 [pid=10578/tid=10579] ppid=10576 vsize=1568520 CPUtime=940.49 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 506069 0 0 0 93880 169 0 0 25 0 4 0 518807477 1606164480 296864 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=1568520 CPUtime=940.91 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 466201 0 0 0 93940 151 0 0 25 0 4 0 518807477 1606164480 296864 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=1568520 CPUtime=935.11 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 500491 0 0 0 93358 153 0 0 25 0 4 0 518807477 1606164480 296864 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3758.73 Current children cumulated vsize (KiB) 1568520 [startup+1002.3 s] /proc/loadavg: 8.07 7.93 7.23 9/182 10609 /proc/meminfo: memFree=24407428/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=1514940 CPUtime=3998.34 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 2098318 0 0 0 399166 668 0 0 25 0 4 0 518807477 1551298560 312912 33554432000 4194304 4627427 140736099716832 18446744073709551615 4335602 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 378735 312912 390 106 0 373706 0 [pid=10578/tid=10579] ppid=10576 vsize=1514940 CPUtime=1000.42 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 532287 0 0 0 99861 181 0 0 25 0 4 0 518807477 1551298560 312912 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=1514940 CPUtime=1000.9 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 492731 0 0 0 99930 160 0 0 25 0 4 0 518807477 1551298560 312912 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=1514940 CPUtime=994.81 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 525482 0 0 0 99319 162 0 0 25 0 4 0 518807477 1551298560 312912 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 3998.34 Current children cumulated vsize (KiB) 1514940 [startup+1062.3 s] /proc/loadavg: 8.10 7.96 7.29 9/182 10611 /proc/meminfo: memFree=24136220/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=1515768 CPUtime=4237.92 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 2203039 0 0 0 423087 705 0 0 25 0 4 0 518807477 1552146432 314345 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 378942 314346 390 106 0 373913 0 [pid=10578/tid=10579] ppid=10576 vsize=1515768 CPUtime=1060.35 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 557655 0 0 0 105843 192 0 0 25 0 4 0 518807477 1552146432 314346 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=1515768 CPUtime=1060.89 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 518679 0 0 0 105920 169 0 0 25 0 4 0 518807477 1552146432 314346 33554432000 4194304 4627427 140736099716832 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=1515768 CPUtime=1054.47 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 552090 0 0 0 105277 170 0 0 25 0 4 0 518807477 1552146432 314346 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4237.92 Current children cumulated vsize (KiB) 1515768 [startup+1122.3 s] /proc/loadavg: 8.11 7.98 7.33 9/182 10612 /proc/meminfo: memFree=24120576/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=1582456 CPUtime=4477.52 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 2318546 0 0 0 447006 746 0 0 25 0 4 0 518807477 1620434944 320972 33554432000 4194304 4627427 140736099716832 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 395614 320972 390 106 0 390585 0 [pid=10578/tid=10579] ppid=10576 vsize=1582456 CPUtime=1120.29 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 588581 0 0 0 111826 203 0 0 25 0 4 0 518807477 1620434944 320972 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=1582456 CPUtime=1120.9 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 543423 0 0 0 111911 179 0 0 25 0 4 0 518807477 1620434944 320972 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=1582456 CPUtime=1114.14 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 582139 0 0 0 111234 180 0 0 25 0 4 0 518807477 1620434944 320972 33554432000 4194304 4627427 140736099716832 18446744073709551615 4310378 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4477.52 Current children cumulated vsize (KiB) 1582456 [startup+1182.3 s] /proc/loadavg: 8.18 8.03 7.39 9/182 10614 /proc/meminfo: memFree=23916088/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=1660380 CPUtime=4717.09 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 2432614 0 0 0 470925 784 0 0 25 0 4 0 518807477 1700229120 357800 33554432000 4194304 4627427 140736099716832 18446744073709551615 4310552 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 415095 357800 390 106 0 410066 0 [pid=10578/tid=10579] ppid=10576 vsize=1660380 CPUtime=1180.2 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 613229 0 0 0 117806 214 0 0 25 0 4 0 518807477 1700229120 357800 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=1660380 CPUtime=1180.89 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 583715 0 0 0 117900 189 0 0 25 0 4 0 518807477 1700229120 357800 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=1660380 CPUtime=1173.81 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 606813 0 0 0 117193 188 0 0 25 0 4 0 518807477 1700229120 357800 33554432000 4194304 4627427 140736099716832 18446744073709551615 4327488 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4717.09 Current children cumulated vsize (KiB) 1660380 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.1 s] /proc/loadavg: 8.13 8.03 7.40 5/177 10615 /proc/meminfo: memFree=25233376/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=1716764 CPUtime=4800.15 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 2470116 0 0 0 479218 797 0 0 25 0 4 0 518807477 1757966336 348264 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309247 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 429191 348264 390 106 0 424162 0 [pid=10578/tid=10579] ppid=10576 vsize=1716764 CPUtime=1200.99 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 623004 0 0 0 119881 218 0 0 25 0 4 0 518807477 1757966336 348264 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=1716764 CPUtime=1201.69 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 592267 0 0 0 119977 192 0 0 25 0 4 0 518807477 1757966336 348264 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=1716764 CPUtime=1194.48 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 616192 0 0 0 119257 191 0 0 25 0 4 0 518807477 1757966336 348264 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.15 Current children cumulated vsize (KiB) 1716764 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.1 s] /proc/loadavg: 8.13 8.03 7.40 5/177 10615 /proc/meminfo: memFree=25233376/32951132 swapFree=67111364/67111528 [pid=10578] ppid=10576 vsize=1716764 CPUtime=4800.15 cores=0,2,4,6 /proc/10578/stat : 10578 (strangenight2-m) R 10576 10578 10537 0 -1 4202496 2470116 0 0 0 479218 797 0 0 25 0 4 0 518807477 1757966336 348264 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309247 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/10578/statm: 429191 348264 390 106 0 424162 0 [pid=10578/tid=10579] ppid=10576 vsize=1716764 CPUtime=1200.99 cores=0,2,4,6 /proc/10578/task/10579/stat : 10579 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 623004 0 0 0 119881 218 0 0 25 0 4 0 518807477 1757966336 348264 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=10578/tid=10580] ppid=10576 vsize=1716764 CPUtime=1201.69 cores=0,2,4,6 /proc/10578/task/10580/stat : 10580 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 592267 0 0 0 119977 192 0 0 25 0 4 0 518807477 1757966336 348264 33554432000 4194304 4627427 140736099716832 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=10578/tid=10581] ppid=10576 vsize=1716764 CPUtime=1194.48 cores=0,2,4,6 /proc/10578/task/10581/stat : 10581 (strangenight2-m) R 10576 10578 10537 0 -1 4202560 616192 0 0 0 119257 191 0 0 25 0 4 0 518807477 1757966336 348264 33554432000 4194304 4627427 140736099716832 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0 Current children cumulated CPU time (s) 4800.15 Current children cumulated vsize (KiB) 1716764 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.18 CPU time (s): 4800.26 CPU user time (s): 4792.21 CPU system time (s): 8.04878 CPU usage (%): 398.964 Max. virtual memory (cumulated for all children) (KiB): 1730064 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4792.21 system time used= 8.04878 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2470124 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= 3521 involuntary context switches= 19791 runsolver used 1.79873 second user time and 5.04423 second system time The end
Begin job on node128 at 2011-04-29 12:14:48 IDJOB=3173864 IDBENCH=82682 IDSOLVER=1586 FILE ID=node128/3173864-1304072088 RUNJOBID= node128-1304072088-10555 PBS_JOBID= 13170490 Free space on /tmp= 66968 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173864-1304072088/watcher-3173864-1304072088 -o /tmp/evaluation-result-3173864-1304072088/solver-3173864-1304072088 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173864-1304072088.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 17341e8eb76284acaef626682c91dea1 RANDOM SEED=1578569140 node128.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.852 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.70 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.82 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.852 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.852 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.82 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.852 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.852 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.82 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.852 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 : 5434.49 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951132 kB MemFree: 26621064 kB Buffers: 1273856 kB Cached: 4395972 kB SwapCached: 160 kB Active: 328156 kB Inactive: 5413724 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951132 kB LowFree: 26621064 kB SwapTotal: 67111528 kB SwapFree: 67111364 kB Dirty: 13352 kB Writeback: 0 kB AnonPages: 71932 kB Mapped: 14928 kB Slab: 523704 kB PageTables: 4964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587092 kB Committed_AS: 275780 kB VmallocTotal: 34359738367 kB VmallocUsed: 296000 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66964 MiB End job on node128 at 2011-04-29 12:34:53