| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.48 | 1203.29 |
| Name | random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf |
| MD5SUM | 745003317611baf9e79e91bc0ab8e275 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 14.2018 |
| 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-3366271-1305400422.cnf' 0.00/0.00 c -- header says num vars: 15000 0.00/0.00 c -- header says num clauses: 63000 0.42/0.12 c -- clauses added: 0 learnts, 63000 normals, 0 xors 0.42/0.12 c -- vars added 15000 0.42/0.12 c Parsing time: 0.03 s 0.42/0.12 c N st 0 0 15000 63000 0 0 189000 0 no data no data 0.42/0.12 c asymm cl-useful: 0/63000/63000 lits-rem:0 time: 0.05 0.42/0.12 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.01 0.42/0.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.42/0.16 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.42/0.16 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.42/0.16 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15000 time: 0.00 s 0.42/0.17 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.00 s 0.42/0.91 c lits-rem: 0 cl-subs: 0 v-elim: 414 v-fix: 0 time: 0.09 s 0.42/0.91 c Finding binary XORs T: 0.00 s found: 0 0.42/0.91 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.42/0.91 c calculated reachability. Time: 0.00 0.42/0.91 c Calc default polars - time: 0.00 s pos: 6539 undec: 1667 neg: 6794 0.42/0.91 c ========================================================================================= 0.42/0.91 c types(t): F = full restart, N = normal restart 0.42/0.91 c types(t): S = simplification begin/end, E = solution found 0.42/0.91 c restart types(rt): st = static, dy = dynamic 0.42/0.91 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.42/0.91 c B st 0 0 14586 62521 0 0 190149 0 no data no data 4.75/1.21 c N dy 21 4061 14586 62521 0 4061 190149 763487 107.11 113.24 7.98/2.08 c N dy 49 8147 14586 62521 0 8147 190149 1449370 106.64 112.83 11.95/3.07 c N dy 79 12436 14586 62521 0 12436 190149 2193338 108.02 115.34 15.92/4.04 c N dy 106 16454 14586 62521 0 16453 190149 2901643 108.91 128.79 19.91/5.07 c N dy 134 20492 14586 62521 0 10498 190149 581220 109.96 117.37 23.89/6.09 c N dy 162 24745 14586 62521 0 14750 190149 1314464 109.82 118.54 24.29/6.15 c F st 163 25003 14586 62521 0 15008 190149 1353180 109.58 96.16 29.51/7.49 c N dy 169 30000 14586 62521 0 20005 190149 2540469 109.58 no data 29.51/7.49 c S st 169 30000 14586 62521 0 20005 190149 2540469 109.58 no data 30.28/7.63 c S st 169 30505 14586 62521 0 20510 190149 2608960 109.58 no data 30.28/7.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 30.28/7.68 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.04 30.28/7.69 c blocked clauses removed: 261 vars: 44 tried: 14586 T: 0.01 s 30.68/7.70 c bin-w-bin subsume rem 0 bins time: 0.00 s 30.68/7.70 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.01 s 30.68/7.71 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14542 time: 0.00 s 30.68/7.71 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 30.68/7.77 c lits-rem: 0 cl-subs: 0 v-elim: 13 v-fix: 0 time: 0.06 s 31.47/7.97 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 33.89/8.61 c lits-rem: 28 cl-subs: 3 v-elim: 0 v-fix: 0 time: 0.62 s 34.30/8.68 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.08 34.30/8.69 c calculated reachability. Time: 0.00 34.30/8.69 c N dy 169 30505 14529 62248 0 20158 189404 2492644 109.58 no data 38.70/9.79 c N dy 196 34554 14529 62248 0 24207 189404 3196355 109.71 116.10 43.44/10.98 c N dy 224 38645 14529 62248 0 28298 189404 3916489 110.09 116.80 48.23/12.12 c N dy 253 42686 14529 62248 0 17012 189404 882051 110.44 116.67 51.03/12.90 c S st 275 45759 14529 62248 0 20084 189404 1435174 110.77 no data 51.87/13.05 c S st 275 46260 14529 62248 0 20585 189404 1504671 110.77 no data 51.87/13.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 51.87/13.09 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.04 52.22/13.11 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 52.22/13.11 c bin-w-bin subsume rem 0 bins time: 0.00 s 52.22/13.12 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 52.22/13.12 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14529 time: 0.00 s 52.22/13.13 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 52.22/13.18 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 52.62/13.26 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 53.42/13.46 c lits-rem: 4 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.19 s 53.42/13.46 c vivif2 -- cl tried 62248 cl shrink 0 lits rem 0 time: 0.01 53.42/13.49 c vivif2 -- cl tried 20585 cl shrink 0 lits rem 0 time: 0.02 53.82/13.56 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.08 53.82/13.57 c calculated reachability. Time: 0.00 53.82/13.57 c N dy 275 46260 14529 62248 0 20585 189404 1504667 110.77 no data 58.21/14.63 c N dy 304 50271 14529 62248 0 24596 189404 2214302 110.95 136.52 62.60/15.71 c N dy 329 54320 14529 62248 0 28645 189404 2921354 110.89 134.71 66.99/16.85 c N dy 362 58382 14529 62248 0 32707 189404 3646576 111.24 121.71 71.78/18.08 c N dy 393 62542 14529 62248 0 36865 189404 4402113 111.50 117.81 76.56/19.20 c N dy 423 66734 14529 62248 0 22400 189404 1272504 111.72 121.03 79.35/19.91 c S st 442 69392 14529 62248 0 25058 189404 1734577 111.68 no data 79.75/20.05 c S st 442 69896 14529 62248 0 25562 189404 1801156 111.68 no data 79.75/20.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 80.15/20.10 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.04 80.15/20.12 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 80.15/20.12 c bin-w-bin subsume rem 0 bins time: 0.00 s 80.15/20.13 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 80.15/20.13 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14529 time: 0.00 s 80.15/20.14 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 80.15/20.19 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 80.55/20.28 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 82.16/20.61 c lits-rem: 9 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.32 s 82.16/20.62 c vivif2 -- cl tried 62248 cl shrink 0 lits rem 0 time: 0.01 82.16/20.65 c vivif2 -- cl tried 25562 cl shrink 0 lits rem 0 time: 0.03 82.58/20.73 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.08 82.58/20.73 c calculated reachability. Time: 0.00 82.58/20.73 c N dy 442 69896 14529 62248 0 25562 189404 1801147 111.68 no data 87.33/21.97 c N dy 473 74378 14529 62248 0 30044 189404 2592762 111.81 119.71 92.92/23.36 c N dy 508 79223 14529 62248 0 34889 189404 3455893 111.92 119.07 98.91/24.85 c N dy 544 84279 14529 62248 0 39945 189404 4376735 112.07 123.99 102.90/25.80 c F st 568 87501 14529 62248 0 22334 189404 826998 112.17 no data 106.49/26.76 c N st 573 90797 14529 62248 0 25630 189404 1614499 112.17 no data 113.31/28.44 c N dy 603 96709 14529 62248 0 31541 189404 2805899 112.34 118.91 120.45/30.25 c N dy 643 102936 14529 62248 0 37767 189404 3909382 112.36 118.96 122.84/30.82 c S st 657 104844 14529 62248 0 39675 189404 4248291 112.37 no data 123.24/30.98 c S st 657 105351 14529 62248 0 40182 189404 4313444 112.37 no data 123.24/30.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 123.64/31.04 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.05 123.64/31.06 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 123.64/31.06 c bin-w-bin subsume rem 0 bins time: 0.00 s 123.64/31.07 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 123.64/31.07 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14529 time: 0.00 s 123.64/31.08 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 124.04/31.15 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 124.84/31.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 132.42/33.29 c lits-rem: 123 cl-subs: 5 v-elim: 0 v-fix: 0 time: 1.90 s 132.82/33.30 c vivif2 -- cl tried 62248 cl shrink 0 lits rem 0 time: 0.01 132.82/33.36 c vivif2 -- cl tried 40177 cl shrink 0 lits rem 0 time: 0.06 133.22/33.47 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.10 133.22/33.47 c calculated reachability. Time: 0.00 133.22/33.47 c N dy 657 105351 14529 62248 0 40177 189404 4311178 112.37 no data 141.59/35.57 c N dy 704 112083 14529 62248 0 24489 189404 929726 112.55 178.87 149.97/37.63 c N dy 760 119297 14529 62248 0 31703 189404 2262842 112.98 119.06 159.15/39.91 c N dy 811 127047 14529 62248 0 39452 189404 3686858 113.07 122.52 169.13/42.49 c N dy 867 135415 14529 62248 0 24114 189404 575093 113.19 123.90 178.73/44.88 c N dy 929 144078 14529 62248 0 32776 189404 2123259 113.29 127.43 189.87/47.64 c N dy 993 153311 14529 62248 0 42009 189404 3807327 113.36 122.74 195.86/49.12 c S st 1026 158027 14529 62248 0 46725 189404 4662565 113.41 109.97 196.27/49.29 c S st 1026 158529 14529 62248 0 47227 189404 4725736 113.41 no data 196.27/49.30 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 196.69/49.36 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 196.69/49.38 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 196.69/49.38 c bin-w-bin subsume rem 0 bins time: 0.00 s 196.69/49.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 196.69/49.39 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14529 time: 0.00 s 196.69/49.39 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 197.04/49.48 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 198.24/49.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 209.85/52.64 c lits-rem: 5 cl-subs: 8 v-elim: 0 v-fix: 0 time: 2.93 s 209.85/52.65 c vivif2 -- cl tried 62248 cl shrink 0 lits rem 0 time: 0.01 210.21/52.72 c vivif2 -- cl tried 47219 cl shrink 0 lits rem 0 time: 0.07 210.61/52.84 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.11 210.61/52.84 c calculated reachability. Time: 0.00 210.61/52.84 c N dy 1026 158529 14529 62248 0 47219 189404 4722451 113.41 no data 222.60/55.83 c N dy 1088 168736 14529 62248 0 32574 189404 1873580 113.30 121.50 235.35/59.11 c N dy 1165 179605 14529 62248 0 43442 189404 3869971 113.55 130.89 249.71/62.69 c N dy 1244 191093 14529 62248 0 29007 189404 1032980 113.73 121.90 264.48/66.30 c N dy 1333 203335 14529 62248 0 41246 189404 3288851 113.93 120.48 280.44/70.39 c N dy 1413 216329 14529 62248 0 27278 189404 501181 113.80 119.80 296.80/74.46 c N dy 1510 230229 14529 62248 0 41176 189404 3041015 113.96 123.43 306.41/76.82 c S st 1560 237794 14529 62248 0 48740 189404 4407666 113.95 no data 306.76/76.99 c S st 1560 238299 14529 62248 0 49245 189404 4478058 113.95 no data 307.16/77.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 307.16/77.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 307.16/77.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 307.16/77.08 c bin-w-bin subsume rem 0 bins time: 0.00 s 307.16/77.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 307.16/77.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14529 time: 0.00 s 307.56/77.10 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 307.56/77.18 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 308.37/77.38 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 320.34/80.39 c lits-rem: 9 cl-subs: 2 v-elim: 0 v-fix: 0 time: 3.00 s 320.34/80.39 c vivif2 -- cl tried 62248 cl shrink 0 lits rem 0 time: 0.01 320.74/80.46 c vivif2 -- cl tried 49243 cl shrink 0 lits rem 0 time: 0.07 321.14/80.58 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.11 321.14/80.58 c calculated reachability. Time: 0.00 321.14/80.58 c N dy 1560 238299 14529 62248 0 49243 189404 4476970 113.95 no data 339.89/85.28 c N dy 1665 253532 14529 62248 0 36502 189404 1991779 114.01 145.61 360.23/90.37 c N dy 1772 269742 14529 62248 0 52710 189404 4938540 114.03 121.94 381.77/95.75 c N dy 1886 287010 14529 62248 0 40986 189404 2635772 114.15 121.67 405.32/101.65 c N dy 2009 305388 14529 62248 0 59362 189404 5975830 114.14 122.43 406.52/101.97 c F st 2015 306251 14529 62248 0 30232 189404 463346 114.14 108.89 429.29/107.65 c N dy 2112 324913 14529 62248 0 48894 189404 4059983 114.12 127.45 454.79/114.09 c N dy 2249 345010 14529 62248 0 37995 189404 1712878 114.31 123.78 470.35/117.96 c S st 2325 357448 14529 62248 0 50427 189404 3977267 114.29 115.44 471.15/118.13 c S st 2325 357950 14529 62248 0 50929 189404 4042027 114.29 no data 471.15/118.14 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 471.55/118.20 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 471.55/118.22 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 471.55/118.22 c bin-w-bin subsume rem 0 bins time: 0.00 s 471.55/118.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 471.55/118.23 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14529 time: 0.00 s 471.55/118.24 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 471.95/118.31 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 472.35/118.48 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 483.51/121.25 c lits-rem: 4 cl-subs: 3 v-elim: 0 v-fix: 0 time: 2.75 s 483.51/121.26 c vivif2 -- cl tried 62248 cl shrink 0 lits rem 0 time: 0.01 483.91/121.32 c vivif2 -- cl tried 50926 cl shrink 0 lits rem 0 time: 0.06 484.31/121.43 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.12 484.31/121.44 c calculated reachability. Time: 0.00 484.31/121.44 c N dy 2325 357950 14529 62248 0 50926 189404 4041123 114.29 no data 510.65/128.02 c N dy 2461 377974 14529 62248 0 38950 189404 1716748 114.31 152.44 536.98/134.62 c N dy 2601 398008 14529 62248 0 58982 189404 5391838 114.43 120.49 562.51/141.07 c N dy 2728 418219 14529 62248 0 46198 189404 2829949 114.40 125.40 589.64/147.86 c N dy 2867 438333 14529 62248 0 66311 189404 6532863 114.52 122.13 615.17/154.27 c N dy 3005 458466 14529 62248 0 52448 189404 3835607 114.61 122.29 642.72/161.17 c N dy 3143 478573 14529 62248 0 37559 189404 889244 114.66 121.78 668.24/167.58 c N dy 3279 498718 14529 62248 0 57704 189404 4563691 114.68 123.50 695.77/174.42 c N dy 3413 518730 14529 62248 0 41717 189404 1478392 114.76 124.04 718.96/180.29 c S st 3527 536926 14529 62248 0 59912 189404 4771673 114.73 no data 719.71/180.48 c S st 3527 537436 14529 62248 0 60422 189404 4839467 114.73 no data 719.71/180.49 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 720.11/180.56 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.07 720.11/180.57 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 720.11/180.58 c bin-w-bin subsume rem 0 bins time: 0.00 s 720.11/180.58 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 720.11/180.59 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14529 time: 0.00 s 720.11/180.59 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 720.51/180.68 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 721.31/180.89 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 732.11/183.55 c lits-rem: 11 cl-subs: 5 v-elim: 0 v-fix: 0 time: 2.64 s 732.11/183.56 c vivif2 -- cl tried 62248 cl shrink 0 lits rem 0 time: 0.01 732.47/183.63 c vivif2 -- cl tried 60417 cl shrink 0 lits rem 0 time: 0.07 732.88/183.76 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.13 732.88/183.76 c calculated reachability. Time: 0.00 732.88/183.76 c N dy 3527 537436 14529 62248 0 60417 189404 4837964 114.73 no data 760.00/190.53 c N dy 3653 557484 14529 62248 0 43462 189404 1544455 114.71 121.61 785.94/197.07 c N dy 3769 577515 14529 62248 0 63493 189404 5239895 114.68 123.48 813.87/204.08 c N dy 3901 597909 14529 62248 0 45890 189404 1872149 114.70 120.78 841.00/210.84 c N dy 4033 618057 14529 62248 0 66038 189404 5602195 114.75 121.68 868.93/217.81 c N dy 4173 638142 14529 62248 0 47122 189404 1946844 114.80 127.66 896.06/224.60 c N dy 4309 658185 14529 62248 0 67165 189404 5661355 114.85 126.61 923.99/231.65 c N dy 4440 678227 14529 62248 0 47207 189404 1743328 114.88 120.93 952.71/238.82 c N dy 4577 698295 14529 62248 0 67274 189404 5413267 114.90 122.71 981.45/246.10 c N dy 4721 718323 14529 62248 0 46299 189404 1420309 114.98 122.79 1008.61/252.83 c N dy 4848 738388 14529 62248 0 66362 189404 5105559 114.99 121.16 1037.70/260.15 c N dy 4979 758451 14529 62248 0 44432 189404 888091 115.02 125.13 1064.43/266.85 c N dy 5121 778553 14529 62248 0 64534 189404 4604182 115.10 121.93 1094.35/274.30 c N dy 5250 798569 14529 62248 0 84549 189404 8271302 115.12 133.75 1104.32/276.82 c S st 5303 806155 14529 62248 0 49136 189404 1575226 115.12 no data 1104.74/276.99 c S st 5303 806658 14529 62248 0 49639 189404 1638621 115.12 no data 1104.74/277.00 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1105.15/277.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 1105.15/277.08 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1105.15/277.08 c bin-w-bin subsume rem 0 bins time: 0.00 s 1105.15/277.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1105.15/277.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14529 time: 0.00 s 1105.15/277.09 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1105.51/277.16 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 1105.91/277.23 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1108.31/277.88 c lits-rem: 1 cl-subs: 2 v-elim: 0 v-fix: 0 time: 0.64 s 1108.31/277.88 c vivif2 -- cl tried 62248 cl shrink 0 lits rem 0 time: 0.01 1108.71/277.91 c vivif2 -- cl tried 49637 cl shrink 0 lits rem 0 time: 0.03 1109.13/278.02 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.11 1109.13/278.02 c calculated reachability. Time: 0.00 1109.13/278.02 c N dy 5303 806658 14529 62248 0 49637 189404 1638142 115.12 no data 1137.03/285.04 c N dy 5436 826906 14529 62248 0 69882 189404 5437222 115.13 122.16 1166.95/292.54 c N dy 5565 846996 14529 62248 0 45972 189404 787475 115.11 122.47 1194.49/299.43 c N dy 5699 867028 14529 62248 0 66004 189404 4452975 115.11 129.81 1224.81/307.07 c N dy 5828 887201 14529 62248 0 86176 189404 8123147 115.11 126.22 1252.35/313.91 c N dy 5959 907230 14529 62248 0 61208 189404 3438934 115.12 124.31 1281.45/321.27 c N dy 6089 927277 14529 62248 0 81252 189404 7098836 115.12 121.46 1311.01/328.66 c N dy 6230 947365 14529 62248 0 55341 189404 2167963 115.19 125.77 1339.31/335.77 c N dy 6364 967435 14529 62248 0 75410 189404 5825529 115.20 122.94 1371.23/343.74 c N dy 6501 987543 14529 62248 0 48517 189404 730987 115.24 123.63 1398.36/350.56 c N dy 6643 1007632 14529 62248 0 68604 189404 4478366 115.29 131.75 1429.09/358.27 c N dy 6774 1027633 14529 62248 0 88603 189404 8165849 115.30 148.98 1458.21/365.52 c N dy 6903 1047777 14529 62248 0 60751 189404 2822071 115.29 121.80 1487.73/372.94 c N dy 7043 1067788 14529 62248 0 80757 189404 6624926 115.38 145.89 1494.11/374.57 c F st 7072 1071877 14529 62248 0 84846 189404 7378279 115.39 no data 1519.25/380.89 c N dy 7148 1087810 14529 62248 0 51784 189404 1000462 115.40 123.46 1547.18/387.89 c N dy 7278 1108125 14529 62248 0 72098 189404 4722550 115.41 123.49 1579.14/395.83 c N dy 7419 1128179 14529 62248 0 92148 189404 8431752 115.45 122.98 1608.62/403.22 c N dy 7549 1148196 14529 62248 0 62170 189404 2666696 115.46 125.89 1638.53/410.72 c N dy 7691 1168306 14529 62248 0 82279 189404 6427667 115.50 122.72 1672.05/419.13 c N dy 7838 1188328 14529 62248 0 51301 189404 535290 115.56 122.93 1700.38/426.21 c N dy 7975 1208459 14529 62248 0 71431 189404 4249512 115.57 122.26 1702.37/426.77 c S st 7983 1209987 14529 62248 0 72959 189404 4534146 115.57 no data 1703.17/426.98 c S st 7983 1210487 14529 62248 0 73459 189404 4609076 115.57 no data 1703.17/426.99 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1703.57/427.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.08 1703.57/427.09 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1703.57/427.09 c bin-w-bin subsume rem 0 bins time: 0.00 s 1703.57/427.09 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1703.97/427.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14529 time: 0.00 s 1703.97/427.11 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1703.97/427.19 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 1705.17/427.40 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1717.94/430.63 c lits-rem: 1 cl-subs: 7 v-elim: 0 v-fix: 0 time: 3.22 s 1717.94/430.64 c vivif2 -- cl tried 62248 cl shrink 0 lits rem 0 time: 0.01 1718.34/430.71 c vivif2 -- cl tried 73452 cl shrink 0 lits rem 0 time: 0.07 1718.74/430.86 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.15 1718.74/430.86 c calculated reachability. Time: 0.00 1718.74/430.86 c N dy 7983 1210487 14529 62248 0 73452 189404 4607603 115.57 no data 1751.45/439.05 c N dy 8121 1230501 14529 62248 0 93463 189404 8291009 115.61 122.89 1782.57/446.87 c N dy 8260 1250563 14529 62248 0 61541 189404 2245812 115.63 133.06 1812.08/454.29 c N dy 8401 1270626 14529 62248 0 81603 189404 5966382 115.65 125.91 1845.21/462.57 c N dy 8536 1290694 14529 62248 0 101670 189404 9688538 115.66 125.76 1874.73/469.92 c N dy 8667 1310872 14529 62248 0 68854 189404 3389189 115.67 121.91 1905.45/477.67 c N dy 8803 1330967 14529 62248 0 88949 189404 7110382 115.70 123.14 1939.36/486.14 c N dy 8926 1351097 14529 62248 0 55078 189404 669779 115.69 122.44 1968.09/493.32 c N dy 9067 1371243 14529 62248 0 75221 189404 4393395 115.71 123.58 2000.44/501.42 c N dy 9198 1391326 14529 62248 0 95303 189404 8106796 115.73 140.20 2033.12/509.67 c N dy 9326 1411468 14529 62248 0 60444 189404 1495845 115.72 129.11 2062.24/516.96 c N dy 9465 1431482 14529 62248 0 80452 189404 5248392 115.76 123.62 2094.97/525.14 c N dy 9602 1451564 14529 62248 0 100531 189404 8930092 115.77 125.24 2127.71/533.34 c N dy 9739 1471640 14529 62248 0 64613 189404 2085754 115.79 122.05 2157.60/540.91 c N dy 9877 1491870 14529 62248 0 84841 189404 5856544 115.80 123.30 2191.52/549.33 c N dy 10011 1511927 14529 62248 0 104897 189404 9584953 115.81 122.95 2223.43/557.40 c N dy 10146 1532012 14529 62248 0 67987 189404 2485966 115.82 127.64 2253.76/564.98 c N dy 10279 1552063 14529 62248 0 88035 189404 6172237 115.83 122.17 2288.07/573.54 c N dy 10415 1572126 14529 62248 0 108097 189404 9847831 115.83 126.49 2319.58/581.47 c N dy 10548 1592196 14529 62248 0 70166 189404 2759022 115.83 124.16 2350.30/589.14 c N dy 10679 1612213 14529 62248 0 90180 189404 6478287 115.86 141.40 2384.61/597.71 c N dy 10803 1632387 14529 62248 0 110353 189404 10170031 115.85 122.14 2416.52/605.75 c N dy 10936 1652458 14529 62248 0 71429 189404 2800475 115.86 122.22 2447.66/613.55 c N dy 11062 1672708 14529 62248 0 91677 189404 6516198 115.84 124.61 2481.96/622.11 c N dy 11182 1692714 14529 62248 0 111683 189404 10222496 115.84 122.06 2510.27/629.29 c S st 11292 1710490 14529 62248 0 69461 189404 2254742 115.83 102.25 2511.07/629.49 c S st 11292 1710994 14529 62248 0 69965 189404 2318913 115.83 no data 2511.47/629.50 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2511.47/629.57 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.07 2511.47/629.59 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2511.47/629.59 c bin-w-bin subsume rem 0 bins time: 0.00 s 2511.47/629.59 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2511.87/629.60 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14529 time: 0.00 s 2511.87/629.61 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 2511.87/629.68 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.07 s 2512.27/629.78 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2518.30/631.23 c lits-rem: 11 cl-subs: 1 v-elim: 0 v-fix: 0 time: 1.45 s 2518.30/631.24 c vivif2 -- cl tried 62248 cl shrink 0 lits rem 0 time: 0.01 2518.30/631.28 c vivif2 -- cl tried 69964 cl shrink 0 lits rem 0 time: 0.04 2519.05/631.42 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.14 2519.05/631.43 c calculated reachability. Time: 0.00 2519.05/631.43 c N dy 11292 1710994 14529 62248 0 69964 189404 2318814 115.83 no data 2550.16/639.21 c N dy 11433 1731070 14529 62248 0 90040 189404 6086473 115.86 129.28 2584.48/647.84 c N dy 11564 1751151 14529 62248 0 110121 189404 9812326 115.86 130.57 2618.82/656.41 c N dy 11704 1771251 14529 62248 0 69221 189404 2053684 115.88 136.74 2649.53/664.12 c N dy 11837 1791395 14529 62248 0 89365 189404 5813045 115.91 123.38 2683.82/672.77 c N dy 11983 1811584 14529 62248 0 109553 189404 9648618 115.95 122.40 2718.93/681.55 c N dy 12112 1831748 14529 62248 0 67718 189404 1566497 115.95 125.88 2749.65/689.23 c N dy 12250 1851826 14529 62248 0 87794 189404 5268294 115.96 122.51 2783.56/697.75 c N dy 12385 1871874 14529 62248 0 107839 189404 9016677 115.98 141.73 2821.11/707.12 c N dy 12520 1891979 14529 62248 0 64943 189404 893839 115.98 125.86 2853.39/715.21 c N dy 12654 1912126 14529 62248 0 85090 189404 4564652 115.98 122.43 2886.93/723.66 c N dy 12789 1932236 14529 62248 0 105198 189404 8325129 116.00 123.80 2924.39/733.05 c N dy 12929 1952329 14529 62248 0 125289 189404 12082054 116.03 126.25 2956.74/741.13 c N dy 13070 1972508 14529 62248 0 81478 189404 3840255 116.06 122.65 2989.43/749.38 c N dy 13203 1992590 14529 62248 0 101559 189404 7549676 116.07 127.12 3026.53/758.66 c N dy 13340 2012682 14529 62248 0 121651 189404 11326668 116.10 125.34 3060.84/767.24 c N dy 13476 2032819 14529 62248 0 76793 189404 2776698 116.12 125.16 3093.19/775.37 c N dy 13611 2052864 14529 62248 0 96836 189404 6512141 116.13 131.55 3129.05/784.33 c N dy 13741 2072944 14529 62248 0 116916 189404 10205099 116.13 122.54 3165.77/793.53 c N dy 13870 2093081 14529 62248 0 71057 189404 1496452 116.12 123.82 3197.29/801.41 c N dy 13997 2113092 14529 62248 0 91066 189404 5223406 116.12 122.54 3231.99/810.12 c N dy 14126 2133132 14529 62248 0 111105 189404 8939064 116.14 123.50 3269.89/819.64 c N dy 14257 2153215 14529 62248 0 131187 189404 12677312 116.14 122.88 3302.20/827.74 c N dy 14394 2173290 14529 62248 0 84257 189404 3791029 116.17 122.87 3336.12/836.26 c N dy 14527 2193508 14529 62248 0 104474 189404 7512595 116.17 124.52 3368.44/844.34 c S st 14643 2210996 14529 62248 0 121960 189404 10787700 116.18 no data 3369.67/844.65 c S st 14643 2211502 14529 62248 0 122466 189404 10861220 116.18 no data 3369.67/844.67 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3370.03/844.79 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.11 3370.43/844.80 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3370.43/844.81 c bin-w-bin subsume rem 0 bins time: 0.00 s 3370.43/844.81 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3370.43/844.82 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14529 time: 0.00 s 3370.43/844.82 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 3370.83/844.97 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.14 s 3373.23/845.54 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3399.98/852.30 c lits-rem: 1 cl-subs: 12 v-elim: 0 v-fix: 0 time: 6.67 s 3399.98/852.30 c vivif2 -- cl tried 62248 cl shrink 0 lits rem 0 time: 0.01 3400.75/852.48 c vivif2 -- cl tried 122454 cl shrink 0 lits rem 0 time: 0.18 3401.94/852.73 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.24 3401.94/852.73 c calculated reachability. Time: 0.00 3401.94/852.73 c N dy 14643 2211502 14529 62248 0 122454 189404 10857832 116.18 no data 3440.64/862.49 c N dy 14780 2231537 14529 62248 0 74493 189404 1795514 116.20 124.87 3475.75/871.27 c N dy 14923 2251641 14529 62248 0 94595 189404 5554184 116.21 125.32 3512.46/880.40 c N dy 15061 2272115 14529 62248 0 115068 189404 9328879 116.21 124.25 3550.76/890.08 c N dy 15185 2292117 14529 62248 0 135070 189404 13015269 116.21 122.80 3583.48/898.26 c N dy 15312 2312164 14529 62248 0 86121 189404 3767207 116.22 124.95 3617.78/906.81 c N dy 15443 2332355 14529 62248 0 106309 189404 7518654 116.22 127.90 3655.28/916.21 c N dy 15579 2352423 14529 62248 0 126373 189404 11263725 116.24 128.79 3693.19/925.70 c N dy 15714 2372610 14529 62248 0 76569 189404 1796009 116.24 125.20 3725.50/933.83 c N dy 15841 2392716 14529 62248 0 96674 189404 5527587 116.25 127.50 3761.41/942.89 c N dy 15980 2412750 14529 62248 0 116706 189404 9243912 116.26 129.59 3800.91/952.77 c N dy 16113 2432905 14529 62248 0 136861 189404 12947326 116.25 128.45 3835.62/961.43 c N dy 16249 2452934 14529 62248 0 85898 189404 3360502 116.26 123.76 3869.56/969.95 c N dy 16381 2473090 14529 62248 0 106053 189404 7078249 116.27 123.24 3907.03/979.32 c N dy 16514 2493118 14529 62248 0 126080 189404 10798570 116.27 124.40 3946.93/989.35 c N dy 16647 2513202 14529 62248 0 74167 189404 991034 116.27 126.40 3978.45/997.26 c N dy 16772 2533206 14529 62248 0 94170 189404 4693405 116.27 125.67 4013.96/1006.15 c N dy 16903 2553256 14529 62248 0 114217 189404 8400181 116.27 124.44 4052.66/1015.88 c N dy 17031 2573286 14529 62248 0 134243 189404 12161876 116.27 122.85 4090.56/1025.34 c N dy 17166 2593438 14529 62248 0 81396 189404 2145576 116.27 122.42 4124.10/1033.71 c N dy 17302 2613519 14529 62248 0 101476 189404 5917697 116.29 125.81 4161.16/1043.00 c N dy 17439 2633755 14529 62248 0 121710 189404 9745813 116.31 124.11 4201.47/1053.12 c N dy 17571 2653946 14529 62248 0 141898 189404 13505647 116.32 123.76 4236.58/1061.91 c N dy 17699 2674081 14529 62248 0 88035 189404 3225992 116.32 124.55 4270.89/1070.55 c N dy 17832 2694137 14529 62248 0 108090 189404 6971463 116.33 123.97 4303.61/1078.72 c S st 17947 2711502 14529 62248 0 125454 189404 10204988 116.34 no data 4304.80/1079.02 c S st 17947 2712005 14529 62248 0 125957 189404 10276247 116.34 no data 4304.80/1079.04 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4305.20/1079.16 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.12 4305.20/1079.18 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4305.20/1079.18 c bin-w-bin subsume rem 0 bins time: 0.00 s 4305.20/1079.19 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4305.20/1079.19 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14529 time: 0.00 s 4305.60/1079.20 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 4306.00/1079.34 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.14 s 4307.99/1079.82 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4334.32/1086.44 c lits-rem: 9 cl-subs: 8 v-elim: 0 v-fix: 0 time: 6.55 s 4334.32/1086.45 c vivif2 -- cl tried 62248 cl shrink 0 lits rem 0 time: 0.01 4335.15/1086.62 c vivif2 -- cl tried 125949 cl shrink 0 lits rem 0 time: 0.16 4335.90/1086.84 c asymm cl-useful: 0/62248/62248 lits-rem:0 time: 0.23 4335.90/1086.85 c calculated reachability. Time: 0.00 4335.90/1086.85 c N dy 17947 2712005 14529 62248 0 125949 189404 10274476 116.34 no data 4379.80/1097.80 c N dy 18091 2732167 14529 62248 0 146110 189404 14011271 116.35 123.09 4414.91/1106.63 c N dy 18223 2752497 14529 62248 0 91440 189404 3739641 116.36 123.95 4452.02/1115.90 c N dy 18355 2772504 14529 62248 0 111445 189404 7453426 116.36 169.78 4491.12/1125.74 c N dy 18492 2792825 14529 62248 0 131760 189404 11240734 116.37 126.67 4533.80/1136.41 c N dy 18628 2812892 14529 62248 0 151827 189404 14976949 116.38 125.34 4566.52/1144.64 c N dy 18759 2833011 14529 62248 0 95949 189404 4356069 116.39 125.21 4602.44/1153.69 c N dy 18905 2853188 14529 62248 0 116126 189404 8125897 116.41 125.01 4641.53/1163.44 c N dy 19037 2873277 14529 62248 0 136214 189404 11873026 116.42 146.65 4683.00/1173.84 c N dy 19167 2893375 14529 62248 0 79317 189404 1069761 116.43 126.88 4717.72/1182.56 c N dy 19306 2913387 14529 62248 0 99327 189404 4840659 116.44 124.54 4754.43/1191.76 c N dy 19443 2933471 14529 62248 0 119410 189404 8618924 116.45 128.61 4794.73/1201.85 c N dy 19585 2953494 14529 62248 0 139432 189404 12399472 116.47 124.81
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 961) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366271-1305400422/watcher-3366271-1305400422 -o /tmp/evaluation-result-3366271-1305400422/solver-3366271-1305400422 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366271-1305400422.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: 7.46 7.95 7.97 6/319 7901 /proc/meminfo: memFree=27259144/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=183212 CPUtime=0 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 567 0 0 0 0 0 0 0 25 0 4 0 384233487 187609088 494 33554432000 4194304 4580107 140736362161888 18446744073709551615 268660662075 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7901/statm: 45803 518 324 95 0 40785 0 [pid=7901/tid=7902] ppid=7899 vsize=255368 CPUtime=0 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 1152 0 0 0 0 0 0 0 25 0 4 0 384233487 261496832 3590 33554432000 4194304 4580107 140736362161888 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=255624 CPUtime=0 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) D 7899 7901 7660 0 -1 4202560 538 0 0 0 0 0 0 0 25 0 4 0 384233487 261758976 3617 33554432000 4194304 4580107 140736362161888 18446744073709551615 268660705463 0 0 4096 2 0 0 0 -1 2 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=255624 CPUtime=0 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) D 7899 7901 7660 0 -1 4202560 1130 0 0 0 0 0 0 0 25 0 4 0 384233487 261758976 3633 33554432000 4194304 4580107 140736362161888 18446744073709551615 4345288 0 0 4096 2 0 0 0 -1 4 0 0 0 [startup+0.118262 s] /proc/loadavg: 7.46 7.95 7.97 6/319 7901 /proc/meminfo: memFree=27259144/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=365928 CPUtime=0.42 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 11554 0 0 0 40 2 0 0 18 0 4 0 384233487 374710272 10685 33554432000 4194304 4580107 140736362161888 18446744073709551615 4234384 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7901/statm: 91482 10685 363 95 0 86464 0 [pid=7901/tid=7902] ppid=7899 vsize=365928 CPUtime=0.1 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 2909 0 0 0 10 0 0 0 18 0 4 0 384233487 374710272 10685 33554432000 4194304 4580107 140736362161888 18446744073709551615 4401259 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=365928 CPUtime=0.09 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 2599 0 0 0 9 0 0 0 25 0 4 0 384233487 374710272 10686 33554432000 4194304 4580107 140736362161888 18446744073709551615 4234467 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=365928 CPUtime=0.1 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 2863 0 0 0 10 0 0 0 18 0 4 0 384233487 374710272 10686 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 0.42 Current children cumulated vsize (KiB) 365928 [startup+1.0201 s] /proc/loadavg: 7.46 7.95 7.97 6/319 7901 /proc/meminfo: memFree=27259144/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=373712 CPUtime=4.02 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 24628 0 0 0 397 5 0 0 19 0 4 0 384233487 382681088 19189 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7901/statm: 93428 19189 377 95 0 88410 0 [pid=7901/tid=7902] ppid=7899 vsize=373712 CPUtime=1 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 6919 0 0 0 99 1 0 0 19 0 4 0 384233487 382681088 19189 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=373712 CPUtime=0.99 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 6643 0 0 0 99 0 0 0 19 0 4 0 384233487 382681088 19189 33554432000 4194304 4580107 140736362161888 18446744073709551615 4318719 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=373712 CPUtime=1 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 3625 0 0 0 100 0 0 0 19 0 4 0 384233487 382681088 19189 33554432000 4194304 4580107 140736362161888 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4.02 Current children cumulated vsize (KiB) 373712 [startup+1.10109 s] /proc/loadavg: 7.46 7.95 7.97 6/319 7901 /proc/meminfo: memFree=27259144/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=373712 CPUtime=4.35 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 24905 0 0 0 430 5 0 0 19 0 4 0 384233487 382681088 19466 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7901/statm: 93428 19466 377 95 0 88410 0 [pid=7901/tid=7902] ppid=7899 vsize=373712 CPUtime=1.08 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 6995 0 0 0 107 1 0 0 19 0 4 0 384233487 382681088 19466 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293952 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=373712 CPUtime=1.07 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 6714 0 0 0 107 0 0 0 19 0 4 0 384233487 382681088 19466 33554432000 4194304 4580107 140736362161888 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=373712 CPUtime=1.09 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 3691 0 0 0 109 0 0 0 19 0 4 0 384233487 382681088 19466 33554432000 4194304 4580107 140736362161888 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4.35 Current children cumulated vsize (KiB) 373712 [startup+1.20107 s] /proc/loadavg: 7.46 7.95 7.97 6/319 7901 /proc/meminfo: memFree=27259144/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=373712 CPUtime=4.75 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 25248 0 0 0 470 5 0 0 19 0 4 0 384233487 382681088 19810 33554432000 4194304 4580107 140736362161888 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7901/statm: 93428 19810 377 95 0 88410 0 [pid=7901/tid=7902] ppid=7899 vsize=373712 CPUtime=1.18 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 7083 0 0 0 117 1 0 0 19 0 4 0 384233487 382681088 19810 33554432000 4194304 4580107 140736362161888 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=373712 CPUtime=1.18 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 6802 0 0 0 117 1 0 0 19 0 4 0 384233487 382681088 19810 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=373712 CPUtime=1.18 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 3776 0 0 0 118 0 0 0 19 0 4 0 384233487 382681088 19810 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 4.75 Current children cumulated vsize (KiB) 373712 [startup+1.50102 s] /proc/loadavg: 7.46 7.95 7.97 6/319 7901 /proc/meminfo: memFree=27259144/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=374416 CPUtime=5.95 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 26425 0 0 0 589 6 0 0 19 0 4 0 384233487 383401984 20986 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293158 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7901/statm: 93604 20986 377 95 0 88586 0 [pid=7901/tid=7902] ppid=7899 vsize=374416 CPUtime=1.48 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 7355 0 0 0 147 1 0 0 19 0 4 0 384233487 383401984 20986 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=374416 CPUtime=1.48 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 7064 0 0 0 147 1 0 0 19 0 4 0 384233487 383401984 20986 33554432000 4194304 4580107 140736362161888 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=374416 CPUtime=1.48 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 4194 0 0 0 148 0 0 0 19 0 4 0 384233487 383401984 20986 33554432000 4194304 4580107 140736362161888 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 5.95 Current children cumulated vsize (KiB) 374416 [startup+3.11174 s] /proc/loadavg: 7.46 7.95 7.97 9/323 7905 /proc/meminfo: memFree=27044232/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=506104 CPUtime=12.36 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 31650 0 0 0 1229 7 0 0 24 0 4 0 384233487 518250496 26211 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7901/statm: 126526 26211 377 95 0 121508 0 [pid=7901/tid=7902] ppid=7899 vsize=506104 CPUtime=3.1 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 8715 0 0 0 308 2 0 0 25 0 4 0 384233487 518250496 26211 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=506104 CPUtime=3.06 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 8361 0 0 0 305 1 0 0 25 0 4 0 384233487 518250496 26211 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=506104 CPUtime=3.1 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 5509 0 0 0 309 1 0 0 25 0 4 0 384233487 518250496 26211 33554432000 4194304 4580107 140736362161888 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 12.36 Current children cumulated vsize (KiB) 506104 [startup+6.30118 s] /proc/loadavg: 7.58 7.97 7.98 9/323 7905 /proc/meminfo: memFree=27027164/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=392592 CPUtime=25.12 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 45115 0 0 0 2502 10 0 0 25 0 4 0 384233487 402014208 23720 33554432000 4194304 4580107 140736362161888 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7901/statm: 98148 23720 378 95 0 93130 0 [pid=7901/tid=7902] ppid=7899 vsize=392592 CPUtime=6.29 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 12052 0 0 0 627 2 0 0 25 0 4 0 384233487 402014208 23732 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=392592 CPUtime=6.22 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 11728 0 0 0 621 1 0 0 25 0 4 0 384233487 402014208 23733 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=392592 CPUtime=6.29 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 8915 0 0 0 628 1 0 0 25 0 4 0 384233487 402014208 23733 33554432000 4194304 4580107 140736362161888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 392592 [startup+12.7011 s] /proc/loadavg: 7.61 7.97 7.98 9/323 7906 /proc/meminfo: memFree=26876380/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=510400 CPUtime=50.64 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 101073 0 0 0 5041 23 0 0 25 0 4 0 384233487 522649600 63147 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7901/statm: 127600 63147 379 95 0 122582 0 [pid=7901/tid=7902] ppid=7899 vsize=510400 CPUtime=12.68 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 33625 0 0 0 1260 8 0 0 25 0 4 0 384233487 522649600 63147 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=510400 CPUtime=12.57 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 22304 0 0 0 1253 4 0 0 25 0 4 0 384233487 522649600 63147 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=510400 CPUtime=12.68 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 14545 0 0 0 1266 2 0 0 25 0 4 0 384233487 522649600 63147 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 50.64 Current children cumulated vsize (KiB) 510400 [startup+25.5008 s] /proc/loadavg: 7.70 7.97 7.98 9/323 7906 /proc/meminfo: memFree=26591660/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=578872 CPUtime=101.69 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 153508 0 0 0 10135 34 0 0 25 0 4 0 384233487 592764928 83790 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7901/statm: 144718 83790 379 95 0 139700 0 [pid=7901/tid=7902] ppid=7899 vsize=578872 CPUtime=25.48 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 44226 0 0 0 2537 11 0 0 25 0 4 0 384233487 592764928 83790 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=578872 CPUtime=25.23 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 32566 0 0 0 2517 6 0 0 25 0 4 0 384233487 592764928 83790 33554432000 4194304 4580107 140736362161888 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=578872 CPUtime=25.49 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 32903 0 0 0 2543 6 0 0 25 0 4 0 384233487 592764928 83790 33554432000 4194304 4580107 140736362161888 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 101.69 Current children cumulated vsize (KiB) 578872 [startup+51.1003 s] /proc/loadavg: 7.80 7.97 7.98 9/323 7907 /proc/meminfo: memFree=26288244/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=797820 CPUtime=203.83 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 235227 0 0 0 20328 55 0 0 25 0 4 0 384233487 816967680 127093 33554432000 4194304 4580107 140736362161888 18446744073709551615 4417015 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7901/statm: 199455 127093 379 95 0 194437 0 [pid=7901/tid=7902] ppid=7899 vsize=797820 CPUtime=51.08 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 61552 0 0 0 5092 16 0 0 25 0 4 0 384233487 816967680 127093 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=797820 CPUtime=50.57 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 50035 0 0 0 5048 9 0 0 25 0 4 0 384233487 816967680 127093 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=797820 CPUtime=51.08 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 50302 0 0 0 5098 10 0 0 25 0 4 0 384233487 816967680 127093 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 203.83 Current children cumulated vsize (KiB) 797820 [startup+102.3 s] /proc/loadavg: 8.01 8.00 7.99 9/323 7908 /proc/meminfo: memFree=25990340/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=883780 CPUtime=408.1 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 345201 0 0 0 40726 84 0 0 25 0 4 0 384233487 904990720 147506 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0 /proc/7901/statm: 220945 147506 379 95 0 215927 0 [pid=7901/tid=7902] ppid=7899 vsize=883780 CPUtime=102.28 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 88425 0 0 0 10204 24 0 0 25 0 4 0 384233487 904990720 147506 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293158 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=883780 CPUtime=101.26 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 78316 0 0 0 10109 17 0 0 25 0 4 0 384233487 904990720 147507 33554432000 4194304 4580107 140736362161888 18446744073709551615 4321605 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=883780 CPUtime=102.29 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 76817 0 0 0 10212 17 0 0 25 0 4 0 384233487 904990720 147507 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 4 0 0 0 Current children cumulated CPU time (s) 408.1 Current children cumulated vsize (KiB) 883780 [startup+162.301 s] ################ # More data... # ################ [pid=7901] ppid=7899 vsize=1260348 CPUtime=2801.92 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 1494688 0 0 0 279773 419 0 0 25 0 4 0 384233487 1290596352 230269 33554432000 4194304 4580107 140736362161888 18446744073709551615 4318311 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7901/statm: 315087 230269 379 95 0 310069 0 [pid=7901/tid=7902] ppid=7899 vsize=1260348 CPUtime=702.28 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 387563 0 0 0 70115 113 0 0 25 0 4 0 384233487 1290596352 230269 33554432000 4194304 4580107 140736362161888 18446744073709551615 4296111 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=1260348 CPUtime=696.48 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 376410 0 0 0 69546 102 0 0 25 0 4 0 384233487 1290596352 230269 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=1260348 CPUtime=701.14 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 332113 0 0 0 70024 90 0 0 25 0 4 0 384233487 1290596352 230270 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293163 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2801.92 Current children cumulated vsize (KiB) 1260348 [startup+762.301 s] /proc/loadavg: 8.09 8.08 8.02 9/323 7926 /proc/meminfo: memFree=24949064/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=1327908 CPUtime=3041.29 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 1617664 0 0 0 303676 453 0 0 25 0 4 0 384233487 1359777792 249158 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7901/statm: 331977 249158 379 95 0 326959 0 [pid=7901/tid=7902] ppid=7899 vsize=1327908 CPUtime=762.28 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 415329 0 0 0 76107 121 0 0 25 0 4 0 384233487 1359777792 249158 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=1327908 CPUtime=756.48 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 416412 0 0 0 75537 111 0 0 25 0 4 0 384233487 1359777792 249158 33554432000 4194304 4580107 140736362161888 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=1327908 CPUtime=761.12 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 359618 0 0 0 76013 99 0 0 25 0 4 0 384233487 1359777792 249158 33554432000 4194304 4580107 140736362161888 18446744073709551615 4317131 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3041.29 Current children cumulated vsize (KiB) 1327908 [startup+822.301 s] /proc/loadavg: 8.15 8.10 8.02 9/323 7927 /proc/meminfo: memFree=25008804/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=1275588 CPUtime=3280.67 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 1729540 0 0 0 327572 495 0 0 25 0 4 0 384233487 1306202112 240551 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7901/statm: 318897 240552 379 95 0 313879 0 [pid=7901/tid=7902] ppid=7899 vsize=1275588 CPUtime=822.27 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 442830 0 0 0 82096 131 0 0 25 0 4 0 384233487 1306202112 240552 33554432000 4194304 4580107 140736362161888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=1275588 CPUtime=816.48 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 444353 0 0 0 81527 121 0 0 25 0 4 0 384233487 1306202112 240552 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=1275588 CPUtime=821.1 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 387117 0 0 0 82000 110 0 0 25 0 4 0 384233487 1306202112 240552 33554432000 4194304 4580107 140736362161888 18446744073709551615 4325657 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3280.67 Current children cumulated vsize (KiB) 1275588 [startup+882.301 s] /proc/loadavg: 8.11 8.09 8.02 9/323 7929 /proc/meminfo: memFree=24672340/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=1550408 CPUtime=3520.04 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 1894103 0 0 0 351464 540 0 0 25 0 4 0 384233487 1587617792 306676 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293720 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7901/statm: 387602 306676 379 95 0 382584 0 [pid=7901/tid=7902] ppid=7899 vsize=1550408 CPUtime=882.26 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 493102 0 0 0 88083 143 0 0 25 0 4 0 384233487 1587617792 306676 33554432000 4194304 4580107 140736362161888 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=1550408 CPUtime=876.48 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 471151 0 0 0 87518 130 0 0 25 0 4 0 384233487 1587617792 306676 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=1550408 CPUtime=881.09 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 431314 0 0 0 87988 121 0 0 25 0 4 0 384233487 1587617792 306676 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293083 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3520.04 Current children cumulated vsize (KiB) 1550408 [startup+942.301 s] /proc/loadavg: 8.15 8.10 8.03 9/323 7930 /proc/meminfo: memFree=24692392/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=1497576 CPUtime=3759.42 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 2002199 0 0 0 375368 574 0 0 25 0 4 0 384233487 1533517824 300740 33554432000 4194304 4580107 140736362161888 18446744073709551615 4316702 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7901/statm: 374394 300740 379 95 0 369376 0 [pid=7901/tid=7902] ppid=7899 vsize=1497576 CPUtime=942.26 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 520160 0 0 0 94075 151 0 0 25 0 4 0 384233487 1533517824 300740 33554432000 4194304 4580107 140736362161888 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=1497576 CPUtime=936.47 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 497885 0 0 0 93510 137 0 0 25 0 4 0 384233487 1533517824 300740 33554432000 4194304 4580107 140736362161888 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=1497576 CPUtime=941.09 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 458413 0 0 0 93978 131 0 0 25 0 4 0 384233487 1533517824 300740 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3759.42 Current children cumulated vsize (KiB) 1497576 [startup+1002.3 s] /proc/loadavg: 8.09 8.10 8.02 9/323 7932 /proc/meminfo: memFree=24542448/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=1553784 CPUtime=3998.79 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 2106040 0 0 0 399272 607 0 0 25 0 4 0 384233487 1591074816 318018 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7901/statm: 388446 318018 379 95 0 383428 0 [pid=7901/tid=7902] ppid=7899 vsize=1553784 CPUtime=1002.26 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 545443 0 0 0 100066 160 0 0 25 0 4 0 384233487 1591074816 318018 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=1553784 CPUtime=996.47 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 522994 0 0 0 99504 143 0 0 25 0 4 0 384233487 1591074816 318018 33554432000 4194304 4580107 140736362161888 18446744073709551615 4316680 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=1553784 CPUtime=1001.07 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 485129 0 0 0 99967 140 0 0 25 0 4 0 384233487 1591074816 318018 33554432000 4194304 4580107 140736362161888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3998.79 Current children cumulated vsize (KiB) 1553784 [startup+1062.3 s] /proc/loadavg: 8.12 8.11 8.03 9/323 7934 /proc/meminfo: memFree=24586036/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=1554928 CPUtime=4238.2 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 2210633 0 0 0 423181 639 0 0 25 0 4 0 384233487 1592246272 318929 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293138 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7901/statm: 388732 318929 379 95 0 383714 0 [pid=7901/tid=7902] ppid=7899 vsize=1554928 CPUtime=1062.27 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 572226 0 0 0 106057 170 0 0 25 0 4 0 384233487 1592246272 318932 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=1554928 CPUtime=1056.48 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 549709 0 0 0 105496 152 0 0 25 0 4 0 384233487 1592246272 318932 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=1554928 CPUtime=1061.07 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 509739 0 0 0 105962 145 0 0 25 0 4 0 384233487 1592246272 318932 33554432000 4194304 4580107 140736362161888 18446744073709551615 4331504 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4238.2 Current children cumulated vsize (KiB) 1554928 [startup+1122.3 s] /proc/loadavg: 8.08 8.10 8.03 9/323 7935 /proc/meminfo: memFree=24436332/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=1664764 CPUtime=4477.56 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 2325598 0 0 0 447083 673 0 0 25 0 4 0 384233487 1704718336 326390 33554432000 4194304 4580107 140736362161888 18446744073709551615 4318435 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7901/statm: 416191 326390 379 95 0 411173 0 [pid=7901/tid=7902] ppid=7899 vsize=1664764 CPUtime=1122.26 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 601797 0 0 0 112048 178 0 0 25 0 4 0 384233487 1704718336 326390 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=1664764 CPUtime=1116.48 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 575642 0 0 0 111487 161 0 0 25 0 4 0 384233487 1704718336 326390 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=1664764 CPUtime=1121.05 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 540453 0 0 0 111951 154 0 0 25 0 4 0 384233487 1704718336 326390 33554432000 4194304 4580107 140736362161888 18446744073709551615 4292997 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4477.56 Current children cumulated vsize (KiB) 1664764 [startup+1182.31 s] /proc/loadavg: 8.18 8.12 8.04 9/323 7937 /proc/meminfo: memFree=24440892/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=1731504 CPUtime=4716.96 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 2443011 0 0 0 470990 706 0 0 25 0 4 0 384233487 1773060096 350748 33554432000 4194304 4580107 140736362161888 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7901/statm: 432876 350748 379 95 0 427858 0 [pid=7901/tid=7902] ppid=7899 vsize=1731504 CPUtime=1182.27 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 626828 0 0 0 118040 187 0 0 25 0 4 0 384233487 1773060096 350748 33554432000 4194304 4580107 140736362161888 18446744073709551615 4489412 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=1731504 CPUtime=1176.48 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 616800 0 0 0 117477 171 0 0 25 0 4 0 384233487 1773060096 350748 33554432000 4194304 4580107 140736362161888 18446744073709551615 4416018 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=1731504 CPUtime=1181.04 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 565719 0 0 0 117944 160 0 0 25 0 4 0 384233487 1773060096 350749 33554432000 4194304 4580107 140736362161888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4716.96 Current children cumulated vsize (KiB) 1731504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.21 s] /proc/loadavg: 8.12 8.11 8.04 5/318 7938 /proc/meminfo: memFree=25920484/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=1787732 CPUtime=4800.37 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 2477707 0 0 0 479318 719 0 0 25 0 4 0 384233487 1830637568 352991 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7901/statm: 446933 352991 379 95 0 441915 0 [pid=7901/tid=7902] ppid=7899 vsize=1787732 CPUtime=1203.18 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 635969 0 0 0 120127 191 0 0 25 0 4 0 384233487 1830637568 352998 33554432000 4194304 4580107 140736362161888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=1787732 CPUtime=1197.39 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 625658 0 0 0 119564 175 0 0 25 0 4 0 384233487 1830637568 352998 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=1787732 CPUtime=1201.95 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 574306 0 0 0 120032 163 0 0 25 0 4 0 384233487 1830637568 352998 33554432000 4194304 4580107 140736362161888 18446744073709551615 4292959 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4800.37 Current children cumulated vsize (KiB) 1787732 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1203.21 s] /proc/loadavg: 8.12 8.11 8.04 5/318 7938 /proc/meminfo: memFree=25920484/32951124 swapFree=46575252/67111528 [pid=7901] ppid=7899 vsize=1787732 CPUtime=4800.37 cores=0,2,4,6 /proc/7901/stat : 7901 (strangenight2-m) R 7899 7901 7660 0 -1 4202496 2477707 0 0 0 479318 719 0 0 25 0 4 0 384233487 1830637568 352991 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0 /proc/7901/statm: 446933 352991 379 95 0 441915 0 [pid=7901/tid=7902] ppid=7899 vsize=1787732 CPUtime=1203.18 cores=0,2,4,6 /proc/7901/task/7902/stat : 7902 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 635969 0 0 0 120127 191 0 0 25 0 4 0 384233487 1830637568 352998 33554432000 4194304 4580107 140736362161888 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=7901/tid=7903] ppid=7899 vsize=1787732 CPUtime=1197.39 cores=0,2,4,6 /proc/7901/task/7903/stat : 7903 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 625658 0 0 0 119564 175 0 0 25 0 4 0 384233487 1830637568 352998 33554432000 4194304 4580107 140736362161888 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=7901/tid=7904] ppid=7899 vsize=1787732 CPUtime=1201.95 cores=0,2,4,6 /proc/7901/task/7904/stat : 7904 (strangenight2-m) R 7899 7901 7660 0 -1 4202560 574306 0 0 0 120032 163 0 0 25 0 4 0 384233487 1830637568 352998 33554432000 4194304 4580107 140736362161888 18446744073709551615 4292959 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4800.37 Current children cumulated vsize (KiB) 1787732 Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.29 CPU time (s): 4800.48 CPU user time (s): 4793.22 CPU system time (s): 7.2619 CPU usage (%): 398.945 Max. virtual memory (cumulated for all children) (KiB): 1787732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4793.22 system time used= 7.2619 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2477720 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= 2688 involuntary context switches= 22498 runsolver used 3.50047 second user time and 8.5587 second system time The end
Begin job on node107 at 2011-05-14 21:13:42 IDJOB=3366271 IDBENCH=82680 IDSOLVER=1844 FILE ID=node107/3366271-1305400422 RUNJOBID= node107-1305398011-7678 PBS_JOBID= 13324475 Free space on /tmp= 73424 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366271-1305400422/watcher-3366271-1305400422 -o /tmp/evaluation-result-3366271-1305400422/solver-3366271-1305400422 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366271-1305400422.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 745003317611baf9e79e91bc0ab8e275 RANDOM SEED=669621293 node107.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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.65 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.67 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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.74 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.829 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 : 5359.47 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.829 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.829 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: 27259796 kB Buffers: 121944 kB Cached: 927288 kB SwapCached: 9832 kB Active: 5346096 kB Inactive: 65744 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27259796 kB SwapTotal: 67111528 kB SwapFree: 46575252 kB Dirty: 15536 kB Writeback: 0 kB AnonPages: 4360196 kB Mapped: 19352 kB Slab: 146728 kB PageTables: 68000 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 65074900 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= 73428 MiB End job on node107 at 2011-05-14 21:33:47