| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt (fixed) | ? (TO) | 4800.15 | 1203.68 |
| Name | random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf |
| MD5SUM | 0a98d6d9a7bdb797305aed69a94f9a69 |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 355.73 |
| 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.01 c Using 4 threads 0.00/0.01 c This is CryptoMiniSat 3.0.0 0.00/0.01 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.01 c Reading file 'HOME/instance-3366264-1305400239.cnf' 0.00/0.01 c -- header says num vars: 15000 0.00/0.01 c -- header says num clauses: 63000 0.10/0.08 c -- clauses added: 0 learnts, 63000 normals, 0 xors 0.10/0.08 c -- vars added 15000 0.10/0.08 c Parsing time: 0.04 s 0.10/0.08 c N st 0 0 15000 63000 0 0 189000 0 no data no data 0.10/0.15 c asymm cl-useful: 0/63000/63000 lits-rem:0 time: 0.05 0.10/0.15 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.1M T: 0.02 0.10/0.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 0.10/0.20 c bin-w-bin subsume rem 0 bins time: 0.00 s 0.10/0.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 0.10/0.20 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 15000 time: 0.00 s 0.10/0.20 c Removed useless bin: 0 fixed: 0 props: 0.15M time: 0.01 s 0.61/1.01 c lits-rem: 0 cl-subs: 0 v-elim: 370 v-fix: 0 time: 0.08 s 0.61/1.01 c Finding binary XORs T: 0.00 s found: 0 0.61/1.01 c Finding non-binary XORs: 0.01 s (found: 0, avg size: nan) 0.61/1.01 c calculated reachability. Time: 0.00 0.61/1.01 c Calc default polars - time: 0.00 s pos: 6672 undec: 1643 neg: 6685 0.61/1.01 c ========================================================================================= 0.61/1.01 c types(t): F = full restart, N = normal restart 0.61/1.01 c types(t): S = simplification begin/end, E = solution found 0.61/1.01 c restart types(rt): st = static, dy = dynamic 0.61/1.01 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 0.61/1.01 c B st 0 0 14630 62579 0 0 190076 0 no data no data 5.01/1.31 c N dy 21 4007 14630 62579 0 4007 190076 761054 107.28 113.67 8.32/2.14 c N dy 49 8090 14630 62579 0 8090 190076 1445591 107.09 134.50 12.31/3.10 c N dy 77 12134 14630 62579 0 12134 190076 2141825 108.06 120.81 16.35/4.13 c N dy 106 16244 14630 62579 0 16243 190076 2871289 109.07 117.62 20.31/5.20 c N dy 137 20312 14630 62579 0 10316 190076 546645 109.92 116.44 24.28/6.19 c N dy 165 24411 14630 62579 0 14415 190076 1269117 110.35 118.68 25.12/6.33 c F st 168 25002 14630 62579 0 15006 190076 1369539 110.16 no data 30.25/7.66 c N dy 174 30000 14630 62579 0 20004 190076 2517036 110.16 no data 30.25/7.66 c S st 174 30000 14630 62579 0 20004 190076 2517036 110.16 no data 31.05/7.80 c S st 174 30505 14630 62579 0 20509 190076 2581315 110.16 no data 31.05/7.81 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 31.05/7.85 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.04 31.05/7.87 c blocked clauses removed: 282 vars: 46 tried: 14630 T: 0.01 s 31.05/7.87 c bin-w-bin subsume rem 0 bins time: 0.00 s 31.05/7.87 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 31.05/7.88 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14584 time: 0.00 s 31.05/7.88 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.00 s 31.46/7.94 c lits-rem: 0 cl-subs: 0 v-elim: 8 v-fix: 0 time: 0.06 s 32.26/8.11 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 34.65/8.72 c lits-rem: 8 cl-subs: 4 v-elim: 0 v-fix: 0 time: 0.59 s 34.65/8.79 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.08 35.05/8.80 c calculated reachability. Time: 0.00 35.05/8.80 c N dy 174 30505 14576 62289 0 20191 189265 2462060 110.16 no data 39.43/9.91 c N dy 205 34515 14576 62289 0 24201 189265 3187383 110.81 118.13 44.22/11.12 c N dy 235 38606 14576 62289 0 28291 189265 3927434 111.24 120.53 49.01/12.35 c N dy 267 42881 14576 62289 0 17221 189265 934772 111.83 126.50 52.19/13.13 c S st 289 45757 14576 62289 0 20097 189265 1473915 112.22 102.81 52.59/13.27 c S st 289 46260 14576 62289 0 20600 189265 1543390 112.22 no data 52.59/13.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 52.99/13.32 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.04 52.99/13.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 52.99/13.34 c bin-w-bin subsume rem 0 bins time: 0.00 s 52.99/13.35 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 52.99/13.35 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14576 time: 0.00 s 52.99/13.36 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 53.39/13.42 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 53.39/13.49 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 54.59/13.71 c lits-rem: 2 cl-subs: 4 v-elim: 0 v-fix: 0 time: 0.20 s 54.59/13.72 c vivif2 -- cl tried 62289 cl shrink 0 lits rem 0 time: 0.00 54.59/13.74 c vivif2 -- cl tried 20596 cl shrink 0 lits rem 0 time: 0.02 54.99/13.82 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.08 54.99/13.82 c calculated reachability. Time: 0.00 54.99/13.82 c N dy 289 46260 14576 62289 0 20596 189265 1542632 112.22 no data 59.38/14.92 c N dy 314 50376 14576 62289 0 24712 189265 2259476 111.97 118.44 63.77/16.04 c N dy 343 54409 14576 62289 0 28744 189265 2986852 112.16 118.19 68.56/17.24 c N dy 374 58524 14576 62289 0 32858 189265 3741265 112.58 118.71 73.37/18.42 c N dy 401 62583 14576 62289 0 36917 189265 4462299 112.70 180.73 77.76/19.54 c N dy 429 66661 14576 62289 0 22328 189265 1247835 112.72 119.18 80.51/20.29 c S st 449 69391 14576 62289 0 25058 189265 1763745 112.93 no data 81.31/20.43 c S st 449 69896 14576 62289 0 25563 189265 1824242 112.93 no data 81.31/20.44 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 81.31/20.48 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.6M T: 0.04 81.31/20.50 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 81.31/20.50 c bin-w-bin subsume rem 0 bins time: 0.00 s 81.31/20.51 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 81.72/20.51 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14576 time: 0.00 s 81.72/20.52 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 81.72/20.57 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 82.14/20.66 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 83.29/20.99 c lits-rem: 3 cl-subs: 4 v-elim: 0 v-fix: 0 time: 0.32 s 83.69/21.00 c vivif2 -- cl tried 62289 cl shrink 0 lits rem 0 time: 0.01 83.69/21.02 c vivif2 -- cl tried 25559 cl shrink 0 lits rem 0 time: 0.03 84.09/21.11 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.08 84.09/21.11 c calculated reachability. Time: 0.00 84.09/21.11 c N dy 449 69896 14576 62289 0 25559 189265 1823034 112.93 no data 89.28/22.42 c N dy 484 74455 14576 62289 0 30118 189265 2672227 113.17 122.81 94.88/23.87 c N dy 522 79303 14576 62289 0 34966 189265 3548171 113.33 120.40 100.84/25.39 c N dy 558 84395 14576 62289 0 40058 189265 4476116 113.42 124.50 104.83/26.35 c F st 579 87502 14576 62289 0 22331 189265 843703 113.54 119.78 108.82/27.31 c N st 584 90798 14576 62289 0 25627 189265 1633144 113.54 no data 115.60/29.00 c N dy 611 96664 14576 62289 0 31492 189265 2852070 113.54 139.30 122.78/30.89 c N dy 651 102998 14576 62289 0 37826 189265 3983348 113.61 123.14 125.18/31.45 c S st 664 104844 14576 62289 0 39672 189265 4304779 113.59 no data 126.02/31.63 c S st 664 105345 14576 62289 0 40173 189265 4383151 113.59 no data 126.02/31.64 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 126.02/31.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.8M T: 0.05 126.36/31.71 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 126.36/31.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 126.36/31.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 126.36/31.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14576 time: 0.00 s 126.36/31.73 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 126.76/31.81 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 127.57/32.02 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 135.13/33.96 c lits-rem: 5 cl-subs: 2 v-elim: 0 v-fix: 0 time: 1.93 s 135.13/33.97 c vivif2 -- cl tried 62289 cl shrink 0 lits rem 0 time: 0.01 135.53/34.03 c vivif2 -- cl tried 40171 cl shrink 0 lits rem 0 time: 0.06 135.93/34.14 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.11 135.93/34.14 c calculated reachability. Time: 0.00 135.93/34.14 c N dy 664 105345 14576 62289 0 40171 189265 4382061 113.59 no data 144.31/36.26 c N dy 709 112111 14576 62289 0 24519 189265 910081 113.62 120.40 152.68/38.34 c N dy 752 119311 14576 62289 0 31719 189265 2209414 113.59 123.95 161.86/40.65 c N dy 799 126930 14576 62289 0 39338 189265 3652590 113.76 151.41 172.23/43.28 c N dy 852 135170 14576 62289 0 23869 189265 535133 113.91 120.09 182.62/45.83 c N dy 917 143980 14576 62289 0 32678 189265 2161579 114.07 120.69 193.76/48.63 c N dy 976 153188 14576 62289 0 41886 189265 3831639 114.05 120.90 199.75/50.15 c S st 1005 158017 14576 62289 0 46715 189265 4711356 114.03 no data 200.59/50.32 c S st 1005 158519 14576 62289 0 47217 189265 4783013 114.03 no data 200.59/50.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 200.59/50.39 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 200.94/50.41 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 200.94/50.41 c bin-w-bin subsume rem 0 bins time: 0.00 s 200.94/50.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 200.94/50.42 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14576 time: 0.00 s 200.94/50.43 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 201.34/50.51 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 202.14/50.73 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 214.10/53.70 c lits-rem: 12 cl-subs: 6 v-elim: 0 v-fix: 0 time: 2.96 s 214.10/53.71 c vivif2 -- cl tried 62289 cl shrink 0 lits rem 0 time: 0.01 214.10/53.78 c vivif2 -- cl tried 47211 cl shrink 0 lits rem 0 time: 0.07 214.50/53.89 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.12 214.90/53.90 c calculated reachability. Time: 0.00 214.90/53.90 c N dy 1005 158519 14576 62289 0 47211 189265 4780466 114.03 no data 226.92/56.94 c N dy 1067 168688 14576 62289 0 32523 189265 1882382 114.04 120.75 240.07/60.29 c N dy 1138 179553 14576 62289 0 43388 189265 3833339 114.01 120.07 255.19/64.00 c N dy 1214 191156 14576 62289 0 29070 189265 1040449 114.06 120.55 269.54/67.67 c N dy 1297 203358 14576 62289 0 41271 189265 3279369 114.16 140.82 286.69/71.95 c N dy 1382 216396 14576 62289 0 27346 189265 520877 114.18 124.26 303.04/76.07 c N dy 1466 230247 14576 62289 0 41197 189265 3062370 114.09 125.19 312.62/78.46 c S st 1511 237778 14576 62289 0 48727 189265 4410287 114.01 no data 313.42/78.65 c S st 1511 238281 14576 62289 0 49230 189265 4480882 114.01 no data 313.42/78.66 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 313.82/78.72 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 313.82/78.73 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 313.82/78.74 c bin-w-bin subsume rem 0 bins time: 0.00 s 313.82/78.74 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 313.82/78.75 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14576 time: 0.01 s 313.82/78.75 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 314.23/78.84 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 315.00/79.03 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 326.57/81.96 c lits-rem: 7 cl-subs: 1 v-elim: 0 v-fix: 0 time: 2.92 s 326.57/81.97 c vivif2 -- cl tried 62289 cl shrink 0 lits rem 0 time: 0.01 326.97/82.04 c vivif2 -- cl tried 49229 cl shrink 0 lits rem 0 time: 0.07 327.39/82.15 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.12 327.39/82.16 c calculated reachability. Time: 0.00 327.39/82.16 c N dy 1511 238281 14576 62289 0 49229 189265 4480639 114.01 no data 346.91/87.01 c N dy 1619 253611 14576 62289 0 36575 189265 2023215 114.31 120.47 367.65/92.25 c N dy 1723 269814 14576 62289 0 52776 189265 4967391 114.32 120.55 389.98/97.82 c N dy 1833 287105 14576 62289 0 41081 189265 2615504 114.35 132.67 414.32/103.92 c N dy 1957 305483 14576 62289 0 59459 189265 6013388 114.48 120.57 415.55/104.21 c F st 1963 306250 14576 62289 0 30233 189265 469354 114.47 no data 439.04/110.12 c N dy 2060 325074 14576 62289 0 49055 189265 4264923 114.49 125.60 465.37/116.74 c N dy 2188 345118 14576 62289 0 38099 189265 1733065 114.51 126.04 480.94/120.64 c S st 2271 357423 14576 62289 0 50403 189265 3961725 114.51 no data 481.71/120.82 c S st 2271 357925 14576 62289 0 50905 189265 4031246 114.51 no data 481.71/120.83 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 481.71/120.89 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 482.11/120.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 482.11/120.91 c bin-w-bin subsume rem 0 bins time: 0.00 s 482.11/120.92 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 482.11/120.92 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14576 time: 0.00 s 482.11/120.93 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 482.51/121.01 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 482.91/121.18 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 494.52/124.02 c lits-rem: 12 cl-subs: 5 v-elim: 0 v-fix: 0 time: 2.83 s 494.52/124.03 c vivif2 -- cl tried 62289 cl shrink 0 lits rem 0 time: 0.01 494.52/124.09 c vivif2 -- cl tried 50900 cl shrink 0 lits rem 0 time: 0.06 495.27/124.21 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.12 495.27/124.21 c calculated reachability. Time: 0.00 495.27/124.21 c N dy 2271 357925 14576 62289 0 50900 189265 4030644 114.51 no data 522.79/131.15 c N dy 2410 378127 14576 62289 0 39105 189265 1706850 114.51 124.34 549.51/137.85 c N dy 2544 398317 14576 62289 0 59293 189265 5396876 114.63 129.51 575.84/144.43 c N dy 2679 418558 14576 62289 0 46533 189265 2902148 114.66 120.93 603.36/151.32 c N dy 2815 438662 14576 62289 0 66634 189265 6606650 114.71 123.48 629.29/157.80 c N dy 2949 458761 14576 62289 0 52735 189265 3813397 114.72 137.01 657.20/164.83 c N dy 3078 478795 14576 62289 0 37772 189265 931902 114.75 121.02 683.17/171.33 c N dy 3215 498878 14576 62289 0 57850 189265 4644690 114.83 127.47 711.03/178.36 c N dy 3347 519073 14576 62289 0 42053 189265 1529245 114.87 123.84 734.97/184.34 c S st 3464 536887 14576 62289 0 59866 189265 4806179 114.91 112.10 735.81/184.53 c S st 3464 537389 14576 62289 0 60368 189265 4878361 114.91 no data 735.81/184.54 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 736.16/184.61 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.0M T: 0.07 736.16/184.63 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 736.16/184.63 c bin-w-bin subsume rem 0 bins time: 0.00 s 736.16/184.64 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 736.16/184.64 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14576 time: 0.00 s 736.16/184.65 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 736.56/184.74 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 737.36/184.94 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 747.73/187.57 c lits-rem: 5 cl-subs: 3 v-elim: 0 v-fix: 0 time: 2.62 s 747.73/187.58 c vivif2 -- cl tried 62289 cl shrink 0 lits rem 0 time: 0.01 748.13/187.65 c vivif2 -- cl tried 60365 cl shrink 0 lits rem 0 time: 0.08 748.55/187.78 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.13 748.55/187.79 c calculated reachability. Time: 0.00 748.55/187.79 c N dy 3464 537389 14576 62289 0 60365 189265 4876453 114.91 no data 776.84/194.82 c N dy 3591 557427 14576 62289 0 43407 189265 1581737 114.89 121.26 803.56/201.59 c N dy 3727 577489 14576 62289 0 63468 189265 5207117 114.90 130.84 832.33/208.77 c N dy 3863 597517 14576 62289 0 45496 189265 1802523 114.90 123.32 859.80/215.69 c N dy 3996 617679 14576 62289 0 65657 189265 5519490 114.99 124.36 888.93/222.96 c N dy 4137 637742 14576 62289 0 46720 189265 1813812 115.10 137.96 916.82/229.95 c N dy 4276 657778 14576 62289 0 66755 189265 5560014 115.21 127.08 945.97/237.22 c N dy 4404 677802 14576 62289 0 46782 189265 1676746 115.19 122.53 975.06/244.52 c N dy 4530 697842 14576 62289 0 66821 189265 5360423 115.20 121.56 1004.57/251.96 c N dy 4668 717917 14576 62289 0 45892 189265 1328388 115.20 123.25 1032.09/258.86 c N dy 4800 737993 14576 62289 0 65966 189265 5031746 115.23 124.28 1062.80/266.54 c N dy 4931 758275 14576 62289 0 44252 189265 856165 115.24 122.02 1089.93/273.32 c N dy 5051 778281 14576 62289 0 64258 189265 4455696 115.18 122.69 1120.63/281.09 c N dy 5187 798357 14576 62289 0 84334 189265 8101012 115.18 122.68 1131.39/283.78 c S st 5238 806084 14576 62289 0 49062 189265 1560042 115.19 no data 1132.19/283.96 c S st 5238 806590 14576 62289 0 49568 189265 1628757 115.19 no data 1132.19/283.96 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1132.59/284.02 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 0.9M T: 0.06 1132.59/284.04 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1132.59/284.04 c bin-w-bin subsume rem 0 bins time: 0.00 s 1132.59/284.05 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1132.59/284.05 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14576 time: 0.00 s 1132.59/284.06 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1132.99/284.12 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.06 s 1132.99/284.20 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1135.77/284.80 c lits-rem: 1 cl-subs: 4 v-elim: 0 v-fix: 0 time: 0.60 s 1135.77/284.81 c vivif2 -- cl tried 62289 cl shrink 0 lits rem 0 time: 0.01 1135.77/284.84 c vivif2 -- cl tried 49564 cl shrink 0 lits rem 0 time: 0.03 1136.18/284.95 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.11 1136.18/284.96 c calculated reachability. Time: 0.00 1136.18/284.96 c N dy 5238 806590 14576 62289 0 49564 189265 1627224 115.19 no data 1164.90/292.12 c N dy 5378 826622 14576 62289 0 69596 189265 5333373 115.23 122.62 1196.45/300.04 c N dy 5505 846698 14576 62289 0 45671 189265 745717 115.21 123.20 1223.92/306.99 c N dy 5641 866823 14576 62289 0 65794 189265 4445684 115.23 122.05 1255.03/314.78 c N dy 5777 886833 14576 62289 0 85803 189265 8138634 115.28 124.04 1283.76/322.00 c N dy 5918 906884 14576 62289 0 60855 189265 3426573 115.32 128.56 1314.47/329.65 c N dy 6048 927069 14576 62289 0 81038 189265 7141728 115.35 125.62 1344.76/337.21 c N dy 6183 947158 14576 62289 0 55130 189265 2173981 115.39 121.61 1374.27/344.63 c N dy 6319 967350 14576 62289 0 75320 189265 5927585 115.44 124.73 1406.59/352.75 c N dy 6447 987477 14576 62289 0 48453 189265 729143 115.43 125.46 1434.88/359.84 c N dy 6580 1007621 14576 62289 0 68597 189265 4469605 115.45 122.59 1466.39/367.71 c N dy 6711 1027655 14576 62289 0 88629 189265 8171054 115.48 126.84 1495.90/375.18 c N dy 6840 1047737 14576 62289 0 60707 189265 2787950 115.48 128.46 1525.81/382.67 c N dy 6958 1067762 14576 62289 0 80732 189265 6464867 115.45 125.85 1532.20/384.26 c F st 6980 1071876 14576 62289 0 84846 189265 7193070 115.44 no data 1557.71/390.67 c N dy 7050 1087777 14576 62289 0 51749 189265 963657 115.42 133.83 1586.45/397.89 c N dy 7193 1107887 14576 62289 0 71859 189265 4678313 115.45 127.17 1618.33/405.88 c N dy 7317 1127943 14576 62289 0 91915 189265 8394341 115.44 121.98 1649.44/413.60 c N dy 7455 1147989 14576 62289 0 61961 189265 2668750 115.47 122.24 1679.34/421.19 c N dy 7584 1168101 14576 62289 0 82072 189265 6357296 115.47 121.75 1713.26/429.61 c N dy 7715 1188118 14576 62289 0 51094 189265 498284 115.47 122.42 1743.17/437.12 c N dy 7846 1208131 14576 62289 0 71104 189265 4191472 115.48 122.30 1745.95/437.83 c S st 7860 1209885 14576 62289 0 72858 189265 4517760 115.49 no data 1746.75/438.05 c S st 7860 1210388 14576 62289 0 73361 189265 4578482 115.49 no data 1746.75/438.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 1747.15/438.14 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.2M T: 0.08 1747.15/438.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1747.15/438.16 c bin-w-bin subsume rem 0 bins time: 0.00 s 1747.15/438.17 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1747.15/438.17 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14576 time: 0.01 s 1747.15/438.18 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 1747.55/438.27 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.09 s 1748.35/438.47 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 1761.11/441.64 c lits-rem: 7 cl-subs: 5 v-elim: 0 v-fix: 0 time: 3.16 s 1761.11/441.64 c vivif2 -- cl tried 62289 cl shrink 0 lits rem 0 time: 0.01 1761.51/441.71 c vivif2 -- cl tried 73356 cl shrink 0 lits rem 0 time: 0.07 1761.93/441.86 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.15 1761.93/441.87 c calculated reachability. Time: 0.00 1761.93/441.87 c N dy 7860 1210388 14576 62289 0 73356 189265 4576390 115.49 no data 1794.61/450.04 c N dy 7998 1230465 14576 62289 0 93431 189265 8322414 115.53 131.79 1826.12/457.98 c N dy 8126 1250555 14576 62289 0 61524 189265 2248250 115.53 126.90 1856.42/465.51 c N dy 8261 1270561 14576 62289 0 81528 189265 5979959 115.56 130.10 1889.57/473.89 c N dy 8381 1290705 14576 62289 0 101671 189265 9683231 115.56 130.43 1919.85/481.46 c N dy 8503 1310793 14576 62289 0 68760 189265 3461793 115.57 122.49 1951.73/489.49 c N dy 8646 1330794 14576 62289 0 88759 189265 7223718 115.61 122.55 1986.43/498.13 c N dy 8758 1350885 14576 62289 0 54852 189265 642519 115.56 122.76 2015.96/505.56 c N dy 8894 1371147 14576 62289 0 75114 189265 4402138 115.57 121.69 2048.64/513.79 c N dy 9027 1391152 14576 62289 0 95117 189265 8111377 115.59 146.78 2082.94/522.30 c N dy 9155 1411286 14576 62289 0 60256 189265 1457277 115.57 122.43 2112.87/529.83 c N dy 9286 1431296 14576 62289 0 80266 189265 5134658 115.58 131.51 2146.36/538.27 c N dy 9419 1451388 14576 62289 0 100356 189265 8877345 115.59 121.89 2179.45/546.51 c N dy 9549 1471473 14576 62289 0 64437 189265 2066456 115.59 123.87 2210.17/554.27 c N dy 9682 1491508 14576 62289 0 84470 189265 5773359 115.60 122.81 2244.48/562.88 c N dy 9815 1511602 14576 62289 0 104560 189265 9495524 115.62 122.96 2277.16/571.07 c N dy 9944 1531618 14576 62289 0 67580 189265 2463796 115.63 123.10 2309.07/579.00 c N dy 10078 1551727 14576 62289 0 87687 189265 6201819 115.64 125.23 2344.17/587.83 c N dy 10215 1571851 14576 62289 0 107808 189265 9899316 115.66 124.21 2376.87/596.04 c N dy 10354 1591869 14576 62289 0 69828 189265 2705131 115.68 123.05 2408.77/604.03 c N dy 10490 1611873 14576 62289 0 89832 189265 6450380 115.71 123.35 2443.86/612.80 c N dy 10617 1631974 14576 62289 0 109931 189265 10116555 115.69 128.28 2476.57/621.01 c N dy 10757 1652025 14576 62289 0 70989 189265 2750818 115.71 123.94 2508.86/629.14 c N dy 10893 1672237 14576 62289 0 91201 189265 6517571 115.73 123.82 2544.36/638.00 c N dy 11028 1692307 14576 62289 0 111270 189265 10237601 115.75 146.92 2575.07/645.76 c S st 11148 1710388 14576 62289 0 69355 189265 2248425 115.76 111.34 2575.87/645.97 c S st 11148 1710893 14576 62289 0 69860 189265 2309716 115.76 no data 2575.87/645.98 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 2576.27/646.06 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.1M T: 0.07 2576.27/646.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 2576.27/646.08 c bin-w-bin subsume rem 0 bins time: 0.00 s 2576.27/646.08 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2576.27/646.09 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14576 time: 0.00 s 2576.27/646.09 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 2576.67/646.17 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.08 s 2577.07/646.29 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 2583.04/647.77 c lits-rem: 3 cl-subs: 2 v-elim: 0 v-fix: 0 time: 1.47 s 2583.04/647.78 c vivif2 -- cl tried 62289 cl shrink 0 lits rem 0 time: 0.01 2583.44/647.82 c vivif2 -- cl tried 69858 cl shrink 0 lits rem 0 time: 0.04 2583.84/647.97 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.15 2583.84/647.98 c calculated reachability. Time: 0.00 2583.84/647.98 c N dy 11148 1710893 14576 62289 0 69858 189265 2309600 115.76 no data 2615.75/655.97 c N dy 11284 1730960 14576 62289 0 89924 189265 6002898 115.77 124.31 2651.65/664.98 c N dy 11427 1750999 14576 62289 0 109962 189265 9669505 115.78 122.42 2685.94/673.59 c N dy 11550 1771042 14576 62289 0 69005 189265 1982332 115.77 124.82 2717.45/681.48 c N dy 11681 1791159 14576 62289 0 89121 189265 5710062 115.77 122.06 2752.55/690.25 c N dy 11822 1811239 14576 62289 0 109197 189265 9380880 115.78 126.33 2788.45/699.30 c N dy 11952 1831245 14576 62289 0 67206 189265 1504725 115.80 127.46 2821.14/707.45 c N dy 12073 1851362 14576 62289 0 87320 189265 5133216 115.78 124.77 2856.64/716.37 c N dy 12211 1871440 14576 62289 0 107397 189265 8833671 115.79 140.71 2894.51/725.89 c N dy 12342 1891591 14576 62289 0 64554 189265 823665 115.80 126.05 2925.22/733.55 c N dy 12472 1911628 14576 62289 0 84590 189265 4543386 115.80 127.83 2959.55/742.20 c N dy 12603 1931681 14576 62289 0 104643 189265 8256977 115.80 145.79 2997.81/751.71 c N dy 12729 1951759 14576 62289 0 124720 189265 11935883 115.79 122.98 3029.32/759.68 c N dy 12861 1971761 14576 62289 0 80724 189265 3630476 115.80 140.93 3063.22/768.11 c N dy 12990 1991787 14576 62289 0 100749 189265 7321329 115.80 132.56 3100.70/777.54 c N dy 13125 2011881 14576 62289 0 120842 189265 11070625 115.82 123.72 3135.02/786.18 c N dy 13256 2031891 14576 62289 0 75857 189265 2563638 115.82 123.97 3168.10/794.43 c N dy 13390 2051930 14576 62289 0 95895 189265 6303527 115.84 123.09 3204.39/803.52 c N dy 13513 2072084 14576 62289 0 116046 189265 9983003 115.83 124.23 3242.28/813.04 c N dy 13647 2092194 14576 62289 0 70155 189265 1316219 115.83 124.18 3274.18/821.07 c N dy 13785 2112427 14576 62289 0 90385 189265 5076798 115.85 124.95 3309.68/829.98 c N dy 13922 2132430 14576 62289 0 110386 189265 8762376 115.87 123.64 3349.16/839.83 c N dy 14063 2152437 14576 62289 0 130391 189265 12486970 115.89 125.12 3382.26/848.14 c N dy 14192 2172460 14576 62289 0 83420 189265 3619979 115.89 124.57 3416.21/856.69 c N dy 14318 2192692 14576 62289 0 103649 189265 7360489 115.90 122.21 3450.47/865.24 c S st 14442 2210894 14576 62289 0 121850 189265 10741676 115.90 no data 3451.65/865.54 c S st 14442 2211396 14576 62289 0 122352 189265 10811449 115.90 no data 3451.65/865.56 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3452.05/865.69 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.12 3452.44/865.70 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3452.44/865.71 c bin-w-bin subsume rem 0 bins time: 0.00 s 3452.44/865.71 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3452.44/865.72 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14576 time: 0.00 s 3452.44/865.72 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 3452.84/865.87 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.15 s 3455.27/866.42 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 3481.58/873.02 c lits-rem: 6 cl-subs: 13 v-elim: 0 v-fix: 0 time: 6.58 s 3481.58/873.03 c vivif2 -- cl tried 62289 cl shrink 0 lits rem 0 time: 0.01 3482.35/873.20 c vivif2 -- cl tried 122339 cl shrink 0 lits rem 0 time: 0.17 3483.15/873.45 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.25 3483.15/873.46 c calculated reachability. Time: 0.00 3483.15/873.46 c N dy 14442 2211396 14576 62289 0 122339 189265 10807083 115.90 no data 3521.84/883.18 c N dy 14567 2231504 14576 62289 0 74453 189265 1773298 115.89 123.15 3554.54/891.39 c N dy 14701 2251595 14576 62289 0 94543 189265 5496113 115.91 157.12 3591.26/900.53 c N dy 14840 2271672 14576 62289 0 114617 189265 9210478 115.93 135.27 3631.16/910.58 c N dy 14973 2291818 14576 62289 0 134763 189265 12941200 115.93 124.81 3664.61/918.93 c N dy 15102 2311910 14576 62289 0 85856 189265 3677840 115.92 129.10 3699.31/927.68 c N dy 15236 2332076 14576 62289 0 106022 189265 7422697 115.94 124.72 3737.19/937.16 c N dy 15357 2352269 14576 62289 0 126215 189265 11180944 115.93 122.58 3775.09/946.68 c N dy 15497 2372305 14576 62289 0 76254 189265 1722494 115.95 125.06 3808.18/954.90 c N dy 15630 2392359 14576 62289 0 96306 189265 5426201 115.96 155.78 3844.87/964.10 c N dy 15765 2412394 14576 62289 0 116340 189265 9135580 115.95 145.25 3884.76/974.11 c N dy 15896 2432422 14576 62289 0 136365 189265 12852429 115.96 122.97 3919.45/982.89 c N dy 16035 2452451 14576 62289 0 85401 189265 3292292 115.97 125.44 3954.55/991.62 c N dy 16178 2472606 14576 62289 0 105554 189265 7097341 115.99 122.14 3992.83/1001.24 c N dy 16313 2492771 14576 62289 0 125718 189265 10886897 116.02 125.39 4033.92/1011.53 c N dy 16446 2512955 14576 62289 0 73901 189265 941173 116.02 123.32 4066.61/1019.73 c N dy 16583 2533004 14576 62289 0 93950 189265 4685813 116.03 124.65 4103.31/1028.99 c N dy 16726 2553129 14576 62289 0 114074 189265 8479325 116.05 122.67 4143.19/1038.91 c N dy 16862 2573182 14576 62289 0 134127 189265 12252072 116.08 122.78 4181.47/1048.56 c N dy 16991 2593233 14576 62289 0 81186 189265 2095510 116.07 123.45 4215.77/1057.15 c N dy 17121 2613571 14576 62289 0 101524 189265 5822285 116.07 125.53 4253.67/1066.64 c N dy 17262 2633665 14576 62289 0 121614 189265 9588330 116.09 123.27 4294.73/1076.96 c N dy 17397 2653798 14576 62289 0 141744 189265 13375534 116.11 123.47 4330.62/1085.97 c N dy 17530 2673809 14576 62289 0 87760 189265 3155285 116.12 130.52 4365.72/1094.71 c N dy 17665 2693829 14576 62289 0 107778 189265 6799351 116.12 122.72 4401.21/1103.61 c S st 17773 2711396 14576 62289 0 125343 189265 10050992 116.12 112.00 4402.41/1103.93 c S st 17773 2711900 14576 62289 0 125847 189265 10125330 116.12 no data 4402.41/1103.95 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4402.83/1104.07 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 0 Bins: 0 BRemL: 0 BRemN: 0 P: 1.8M T: 0.12 4402.83/1104.09 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4402.83/1104.09 c bin-w-bin subsume rem 0 bins time: 0.00 s 4402.83/1104.10 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4402.83/1104.10 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 14576 time: 0.01 s 4403.25/1104.11 c Removed useless bin: 0 fixed: 0 props: 0.14M time: 0.01 s 4403.61/1104.26 c lits-rem: 0 cl-subs: 0 v-elim: 0 v-fix: 0 time: 0.14 s 4405.60/1104.72 c subs with bin: 0 lits-rem: 0 v-fix: 0 time: 0.00 s 4430.72/1111.02 c lits-rem: 7 cl-subs: 9 v-elim: 0 v-fix: 0 time: 6.29 s 4430.72/1111.03 c vivif2 -- cl tried 62289 cl shrink 0 lits rem 0 time: 0.01 4431.12/1111.18 c vivif2 -- cl tried 125838 cl shrink 0 lits rem 0 time: 0.16 4432.32/1111.42 c asymm cl-useful: 0/62289/62289 lits-rem:0 time: 0.23 4432.32/1111.42 c calculated reachability. Time: 0.00 4432.32/1111.42 c N dy 17773 2711900 14576 62289 0 125838 189265 10123626 116.12 no data 4477.00/1122.64 c N dy 17915 2732096 14576 62289 0 146033 189265 13856491 116.13 124.11 4512.09/1131.50 c N dy 18059 2752193 14576 62289 0 91137 189265 3666972 116.15 122.29 4548.77/1140.65 c N dy 18205 2772414 14576 62289 0 111356 189265 7445650 116.17 127.17 4587.50/1150.39 c N dy 18335 2792424 14576 62289 0 131364 189265 11149401 116.18 126.51 4630.53/1161.20 c N dy 18465 2812652 14576 62289 0 151588 189265 14966981 116.18 126.46 4664.83/1169.72 c N dy 18601 2832689 14576 62289 0 95634 189265 4237715 116.19 122.75 4702.31/1179.13 c N dy 18737 2852848 14576 62289 0 115792 189265 7937133 116.19 122.72 4742.20/1189.14 c N dy 18876 2872897 14576 62289 0 135841 189265 11669134 116.20 123.30 4784.91/1199.85 c N dy 19014 2893003 14576 62289 0 78952 189265 980969 116.22 125.43
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-3366264-1305400239/watcher-3366264-1305400239 -o /tmp/evaluation-result-3366264-1305400239/solver-3366264-1305400239 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366264-1305400239.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 7.75 8.02 8.04 2/362 14927 /proc/meminfo: memFree=23311792/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 406 0 0 0 0 0 0 0 25 0 4 0 730254597 52396032 347 33554432000 4194304 4580107 140735617253168 18446744073709551615 47375179528114 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 12792 347 299 95 0 7774 0 [pid=14927/tid=14928] ppid=14925 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730254597 52396032 347 33554432000 4194304 4580107 140735617253168 18446744073709551615 47375179528114 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730254597 52396032 347 33554432000 4194304 4580107 140735617253168 18446744073709551615 47375179528108 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=51168 CPUtime=0 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730254597 52396032 347 33554432000 4194304 4580107 140735617253168 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 3 0 0 0 [startup+0.0374819 s] /proc/loadavg: 7.75 8.02 8.04 2/362 14927 /proc/meminfo: memFree=23311792/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=359932 CPUtime=0.1 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 8264 0 0 0 8 2 0 0 18 0 4 0 730254597 368570368 7247 33554432000 4194304 4580107 140735617253168 18446744073709551615 260905437367 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 89983 7278 337 95 0 84965 0 [pid=14927/tid=14928] ppid=14925 vsize=359932 CPUtime=0.02 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) S 14925 14927 14715 0 -1 4202560 1745 0 0 0 2 0 0 0 18 0 4 0 730254597 368570368 7278 33554432000 4194304 4580107 140735617253168 18446744073709551615 260905499118 0 0 4096 2 18446604463634003840 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=359932 CPUtime=0.02 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 2020 0 0 0 2 0 0 0 18 0 4 0 730254597 368570368 7278 33554432000 4194304 4580107 140735617253168 18446744073709551615 260905042944 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=360172 CPUtime=0.01 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) S 14925 14927 14715 0 -1 4202560 1994 0 0 0 1 0 0 0 18 0 4 0 730254597 368816128 7288 33554432000 4194304 4580107 140735617253168 18446744073709551615 260905499118 0 0 4096 2 18446604463634003840 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 359932 [startup+0.158074 s] /proc/loadavg: 7.75 8.02 8.04 2/362 14927 /proc/meminfo: memFree=23311792/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=372644 CPUtime=0.61 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 15092 0 0 0 52 9 0 0 18 0 4 0 730254597 381587456 14034 33554432000 4194304 4580107 140735617253168 18446744073709551615 4401482 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 93161 14036 368 95 0 88143 0 [pid=14927/tid=14928] ppid=14925 vsize=378372 CPUtime=0.16 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) D 14925 14927 14715 0 -1 4202560 3978 0 0 0 13 3 0 0 18 0 4 0 730254597 387452928 16594 33554432000 4194304 4580107 140735617253168 18446744073709551615 260905437367 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=387804 CPUtime=0.19 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 6021 0 0 0 17 2 0 0 18 0 4 0 730254597 397111296 18306 33554432000 4194304 4580107 140735617253168 18446744073709551615 4415721 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=379264 CPUtime=0.94 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 3682 0 0 0 92 2 0 0 19 0 4 0 730254597 388366336 19147 33554432000 4194304 4580107 140735617253168 18446744073709551615 4318990 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 0.61 Current children cumulated vsize (KiB) 372644 [startup+1.07027 s] /proc/loadavg: 7.75 8.02 8.04 2/362 14927 /proc/meminfo: memFree=23311792/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=379264 CPUtime=4.21 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 24434 0 0 0 409 12 0 0 19 0 4 0 730254597 388366336 19471 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293125 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 94816 19471 377 95 0 89798 0 [pid=14927/tid=14928] ppid=14925 vsize=379264 CPUtime=1.04 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 6451 0 0 0 101 3 0 0 19 0 4 0 730254597 388366336 19471 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=379264 CPUtime=1.05 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 7086 0 0 0 103 2 0 0 19 0 4 0 730254597 388366336 19471 33554432000 4194304 4580107 140735617253168 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=379264 CPUtime=1.04 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 3764 0 0 0 102 2 0 0 19 0 4 0 730254597 388366336 19471 33554432000 4194304 4580107 140735617253168 18446744073709551615 4306048 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.21 Current children cumulated vsize (KiB) 379264 [startup+1.17025 s] /proc/loadavg: 7.75 8.02 8.04 2/362 14927 /proc/meminfo: memFree=23311792/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=379264 CPUtime=4.61 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 24754 0 0 0 449 12 0 0 19 0 4 0 730254597 388366336 19791 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293682 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 94816 19791 377 95 0 89798 0 [pid=14927/tid=14928] ppid=14925 vsize=379264 CPUtime=1.14 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 6521 0 0 0 111 3 0 0 19 0 4 0 730254597 388366336 19791 33554432000 4194304 4580107 140735617253168 18446744073709551615 4315906 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=379264 CPUtime=1.15 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 7161 0 0 0 113 2 0 0 19 0 4 0 730254597 388366336 19791 33554432000 4194304 4580107 140735617253168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=379264 CPUtime=1.14 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 3853 0 0 0 112 2 0 0 19 0 4 0 730254597 388366336 19791 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4.61 Current children cumulated vsize (KiB) 379264 [startup+1.57018 s] /proc/loadavg: 7.75 8.02 8.04 2/362 14927 /proc/meminfo: memFree=23311792/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=379512 CPUtime=6.21 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 26130 0 0 0 609 12 0 0 19 0 4 0 730254597 388620288 21167 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293781 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 94878 21167 377 95 0 89860 0 [pid=14927/tid=14928] ppid=14925 vsize=379512 CPUtime=1.54 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 6841 0 0 0 151 3 0 0 19 0 4 0 730254597 388620288 21167 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=379512 CPUtime=1.55 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 7489 0 0 0 153 2 0 0 20 0 4 0 730254597 388620288 21167 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=379512 CPUtime=1.54 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 4253 0 0 0 152 2 0 0 20 0 4 0 730254597 388620288 21167 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 6.21 Current children cumulated vsize (KiB) 379512 [startup+3.1009 s] /proc/loadavg: 7.75 8.02 8.04 9/371 14961 /proc/meminfo: memFree=23172084/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=511400 CPUtime=12.31 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 31081 0 0 0 1218 13 0 0 24 0 4 0 730254597 523673600 26118 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 127850 26118 377 95 0 122832 0 [pid=14927/tid=14928] ppid=14925 vsize=511400 CPUtime=3.08 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 8031 0 0 0 304 4 0 0 24 0 4 0 730254597 523673600 26118 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293932 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=511400 CPUtime=3.08 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 8783 0 0 0 306 2 0 0 25 0 4 0 730254597 523673600 26118 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=511400 CPUtime=3.04 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 5525 0 0 0 302 2 0 0 25 0 4 0 730254597 523673600 26118 33554432000 4194304 4580107 140735617253168 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 12.31 Current children cumulated vsize (KiB) 511400 [startup+6.31431 s] /proc/loadavg: 7.93 8.05 8.05 9/371 14961 /proc/meminfo: memFree=23131908/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=397588 CPUtime=25.12 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 44312 0 0 0 2497 15 0 0 25 0 4 0 730254597 407130112 23343 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 99397 23343 378 95 0 94379 0 [pid=14927/tid=14928] ppid=14925 vsize=397588 CPUtime=6.28 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 11267 0 0 0 624 4 0 0 25 0 4 0 730254597 407130112 23343 33554432000 4194304 4580107 140735617253168 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=397588 CPUtime=6.3 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 12046 0 0 0 627 3 0 0 25 0 4 0 730254597 407130112 23343 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=397588 CPUtime=6.22 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 8948 0 0 0 619 3 0 0 25 0 4 0 730254597 407130112 23343 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 25.12 Current children cumulated vsize (KiB) 397588 [startup+12.7011 s] /proc/loadavg: 7.93 8.05 8.05 9/371 14961 /proc/meminfo: memFree=22914952/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=567308 CPUtime=50.61 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 100401 0 0 0 5033 28 0 0 25 0 4 0 730254597 580923392 63975 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 141827 63975 379 95 0 136809 0 [pid=14927/tid=14928] ppid=14925 vsize=567308 CPUtime=12.67 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 33454 0 0 0 1258 9 0 0 23 0 4 0 730254597 580923392 63975 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=567308 CPUtime=12.68 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 22288 0 0 0 1262 6 0 0 25 0 4 0 730254597 580923392 63975 33554432000 4194304 4580107 140735617253168 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=567308 CPUtime=12.54 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 14491 0 0 0 1250 4 0 0 25 0 4 0 730254597 580923392 63975 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 50.61 Current children cumulated vsize (KiB) 567308 [startup+25.5008 s] /proc/loadavg: 8.03 8.06 8.06 9/371 14961 /proc/meminfo: memFree=22790024/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=597480 CPUtime=101.64 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 151259 0 0 0 10124 40 0 0 25 0 4 0 730254597 611819520 78117 33554432000 4194304 4580107 140735617253168 18446744073709551615 4301834 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 149370 78117 379 95 0 144352 0 [pid=14927/tid=14928] ppid=14925 vsize=597480 CPUtime=25.47 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 43609 0 0 0 2536 11 0 0 25 0 4 0 730254597 611819520 78117 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=597480 CPUtime=25.48 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 32432 0 0 0 2540 8 0 0 25 0 4 0 730254597 611819520 78117 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=597480 CPUtime=25.18 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 32640 0 0 0 2510 8 0 0 25 0 4 0 730254597 611819520 78117 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 101.64 Current children cumulated vsize (KiB) 597480 [startup+51.1011 s] /proc/loadavg: 8.02 8.06 8.05 9/371 14962 /proc/meminfo: memFree=22595616/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=731596 CPUtime=203.74 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 237499 0 0 0 20315 59 0 0 25 0 4 0 730254597 749154304 124039 33554432000 4194304 4580107 140735617253168 18446744073709551615 4451895 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 182899 124039 379 95 0 177881 0 [pid=14927/tid=14928] ppid=14925 vsize=731596 CPUtime=51.07 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 63014 0 0 0 5091 16 0 0 25 0 4 0 730254597 749154304 124039 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=731596 CPUtime=51.07 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 53514 0 0 0 5095 12 0 0 18 0 4 0 730254597 749154304 124039 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=731596 CPUtime=50.49 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 53664 0 0 0 5036 13 0 0 25 0 4 0 730254597 749154304 124039 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293920 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 203.74 Current children cumulated vsize (KiB) 731596 [startup+102.301 s] /proc/loadavg: 8.10 8.07 8.06 9/371 14963 /proc/meminfo: memFree=22450088/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=828648 CPUtime=407.93 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 351799 0 0 0 40700 93 0 0 25 0 4 0 730254597 848535552 146083 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 207162 146083 379 95 0 202144 0 [pid=14927/tid=14928] ppid=14925 vsize=828648 CPUtime=102.27 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 88098 0 0 0 10202 25 0 0 25 0 4 0 730254597 848535552 146083 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=828648 CPUtime=102.28 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 81728 0 0 0 10208 20 0 0 25 0 4 0 730254597 848535552 146083 33554432000 4194304 4580107 140735617253168 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=828648 CPUtime=101.07 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 84751 0 0 0 10087 20 0 0 25 0 4 0 730254597 848535552 146083 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 407.93 Current children cumulated vsize (KiB) 828648 [startup+162.301 s] ################ # More data... # ################ [pid=14927] ppid=14925 vsize=1211864 CPUtime=2561.5 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 1412670 0 0 0 255709 441 0 0 25 0 4 0 730254597 1240948736 216293 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293204 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 302966 216293 388 95 0 297948 0 [pid=14927/tid=14928] ppid=14925 vsize=1211864 CPUtime=642.25 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 352532 0 0 0 64115 110 0 0 25 0 4 0 730254597 1240948736 216293 33554432000 4194304 4580107 140735617253168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=1211864 CPUtime=642.28 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 351673 0 0 0 64121 107 0 0 25 0 4 0 730254597 1240948736 216293 33554432000 4194304 4580107 140735617253168 18446744073709551615 4318737 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=1211864 CPUtime=634.68 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 343832 0 0 0 63363 105 0 0 25 0 4 0 730254597 1240948736 216293 33554432000 4194304 4580107 140735617253168 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2561.5 Current children cumulated vsize (KiB) 1211864 [startup+702.301 s] /proc/loadavg: 8.14 8.10 8.08 9/371 14979 /proc/meminfo: memFree=21736796/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=1331920 CPUtime=2800.81 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 1535505 0 0 0 279598 483 0 0 25 0 4 0 730254597 1363886080 242414 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 332980 242414 388 95 0 327962 0 [pid=14927/tid=14928] ppid=14925 vsize=1331920 CPUtime=702.26 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 375599 0 0 0 70107 119 0 0 25 0 4 0 730254597 1363886080 242414 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=1331920 CPUtime=702.27 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 397884 0 0 0 70105 122 0 0 25 0 4 0 730254597 1363886080 242414 33554432000 4194304 4580107 140735617253168 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=1331920 CPUtime=693.98 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 370124 0 0 0 69284 114 0 0 25 0 4 0 730254597 1363886080 242414 33554432000 4194304 4580107 140735617253168 18446744073709551615 4321036 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 2800.81 Current children cumulated vsize (KiB) 1331920 [startup+762.301 s] /proc/loadavg: 8.17 8.11 8.09 9/371 14981 /proc/meminfo: memFree=21747496/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=1373372 CPUtime=3040.07 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 1639925 0 0 0 303486 521 0 0 25 0 4 0 730254597 1406332928 242733 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293911 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 343343 242734 388 95 0 338325 0 [pid=14927/tid=14928] ppid=14925 vsize=1373372 CPUtime=762.25 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 403406 0 0 0 76096 129 0 0 25 0 4 0 730254597 1406332928 242734 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=1373372 CPUtime=762.27 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 422647 0 0 0 76096 131 0 0 25 0 4 0 730254597 1406332928 242734 33554432000 4194304 4580107 140735617253168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=1373372 CPUtime=753.26 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 394347 0 0 0 75202 124 0 0 25 0 4 0 730254597 1406332928 242734 33554432000 4194304 4580107 140735617253168 18446744073709551615 4322424 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3040.07 Current children cumulated vsize (KiB) 1373372 [startup+822.301 s] /proc/loadavg: 8.12 8.11 8.09 9/371 14983 /proc/meminfo: memFree=21716144/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=1374920 CPUtime=3279.37 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 1745649 0 0 0 327371 566 0 0 25 0 4 0 730254597 1407918080 245239 33554432000 4194304 4580107 140735617253168 18446744073709551615 4306008 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 343730 245239 388 95 0 338712 0 [pid=14927/tid=14928] ppid=14925 vsize=1374920 CPUtime=822.25 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 430668 0 0 0 82085 140 0 0 25 0 4 0 730254597 1407918080 245239 33554432000 4194304 4580107 140735617253168 18446744073709551615 4316418 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=1374920 CPUtime=822.27 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 450104 0 0 0 82084 143 0 0 25 0 4 0 730254597 1407918080 245239 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=1374920 CPUtime=812.55 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 418009 0 0 0 81121 134 0 0 25 0 4 0 730254597 1407918080 245239 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293755 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3279.37 Current children cumulated vsize (KiB) 1374920 [startup+882.301 s] /proc/loadavg: 8.04 8.08 8.08 9/371 14984 /proc/meminfo: memFree=21532428/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=1480844 CPUtime=3518.65 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 1879483 0 0 0 351258 607 0 0 25 0 4 0 730254597 1516384256 285875 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294551 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 370211 285875 379 95 0 365193 0 [pid=14927/tid=14928] ppid=14925 vsize=1480844 CPUtime=882.25 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 457155 0 0 0 88074 151 0 0 25 0 4 0 730254597 1516384256 285875 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=1480844 CPUtime=882.27 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 477106 0 0 0 88074 153 0 0 25 0 4 0 730254597 1516384256 285875 33554432000 4194304 4580107 140735617253168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=1480844 CPUtime=871.84 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 456166 0 0 0 87040 144 0 0 25 0 4 0 730254597 1516384256 285875 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3518.65 Current children cumulated vsize (KiB) 1480844 [startup+942.301 s] /proc/loadavg: 8.06 8.08 8.08 9/371 14986 /proc/meminfo: memFree=21324512/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=1536776 CPUtime=3757.95 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 1985633 0 0 0 375149 646 0 0 25 0 4 0 730254597 1573658624 292724 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293720 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 384194 292724 379 95 0 379176 0 [pid=14927/tid=14928] ppid=14925 vsize=1536776 CPUtime=942.26 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 483983 0 0 0 94067 159 0 0 25 0 4 0 730254597 1573658624 292733 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=1536776 CPUtime=942.28 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 503848 0 0 0 94065 163 0 0 25 0 4 0 730254597 1573658624 292733 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=1536776 CPUtime=931.13 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 483095 0 0 0 92959 154 0 0 25 0 4 0 730254597 1573658624 292733 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3757.95 Current children cumulated vsize (KiB) 1536776 [startup+1002.3 s] /proc/loadavg: 8.02 8.06 8.07 9/371 14987 /proc/meminfo: memFree=21355676/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=1538664 CPUtime=3997.22 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 2091988 0 0 0 399040 682 0 0 25 0 4 0 730254597 1575591936 283937 33554432000 4194304 4580107 140735617253168 18446744073709551615 4325657 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 384666 283937 379 95 0 379648 0 [pid=14927/tid=14928] ppid=14925 vsize=1538664 CPUtime=1002.24 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 510268 0 0 0 100056 168 0 0 25 0 4 0 730254597 1575591936 283937 33554432000 4194304 4580107 140735617253168 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=1538664 CPUtime=1002.26 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 530427 0 0 0 100054 172 0 0 25 0 4 0 730254597 1575591936 283937 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=1538664 CPUtime=990.42 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 509791 0 0 0 98879 163 0 0 25 0 4 0 730254597 1575591936 283937 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 3997.22 Current children cumulated vsize (KiB) 1538664 [startup+1062.31 s] /proc/loadavg: 8.04 8.06 8.07 9/371 14989 /proc/meminfo: memFree=21244508/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=1539788 CPUtime=4236.55 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 2194049 0 0 0 422937 718 0 0 25 0 4 0 730254597 1576742912 297267 33554432000 4194304 4580107 140735617253168 18446744073709551615 4320772 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 384947 297267 379 95 0 379929 0 [pid=14927/tid=14928] ppid=14925 vsize=1539788 CPUtime=1062.26 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 535262 0 0 0 106050 176 0 0 25 0 4 0 730254597 1576742912 297267 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=1539788 CPUtime=1062.28 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 555205 0 0 0 106049 179 0 0 25 0 4 0 730254597 1576742912 297267 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=1539788 CPUtime=1049.72 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 535790 0 0 0 104797 175 0 0 25 0 4 0 730254597 1576742912 297267 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4236.55 Current children cumulated vsize (KiB) 1539788 [startup+1122.3 s] /proc/loadavg: 8.06 8.06 8.07 9/371 14991 /proc/meminfo: memFree=21026940/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=1632852 CPUtime=4475.79 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 2323658 0 0 0 446818 761 0 0 25 0 4 0 730254597 1672040448 335533 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 408213 335533 379 95 0 403195 0 [pid=14927/tid=14928] ppid=14925 vsize=1632852 CPUtime=1122.25 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 583397 0 0 0 112034 191 0 0 25 0 4 0 730254597 1672040448 335533 33554432000 4194304 4580107 140735617253168 18446744073709551615 4321160 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=1632852 CPUtime=1122.26 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 581222 0 0 0 112038 188 0 0 25 0 4 0 730254597 1672040448 335533 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=1632852 CPUtime=1109 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 564262 0 0 0 110714 186 0 0 25 0 4 0 730254597 1672040448 335533 33554432000 4194304 4580107 140735617253168 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4475.79 Current children cumulated vsize (KiB) 1632852 [startup+1182.3 s] /proc/loadavg: 8.13 8.08 8.08 9/371 14992 /proc/meminfo: memFree=20952716/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=1699892 CPUtime=4715.07 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 2438124 0 0 0 470708 799 0 0 25 0 4 0 730254597 1740689408 355990 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 424973 355990 379 95 0 419955 0 [pid=14927/tid=14928] ppid=14925 vsize=1699892 CPUtime=1182.24 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 607534 0 0 0 118024 200 0 0 25 0 4 0 730254597 1740689408 355990 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=1699892 CPUtime=1182.26 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 619738 0 0 0 118026 200 0 0 25 0 4 0 730254597 1740689408 355990 33554432000 4194304 4580107 140735617253168 18446744073709551615 4316502 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=1699892 CPUtime=1168.29 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 589723 0 0 0 116634 195 0 0 25 0 4 0 730254597 1740689408 355990 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4715.07 Current children cumulated vsize (KiB) 1699892 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1203.6 s] /proc/loadavg: 8.16 8.09 8.08 9/371 14993 /proc/meminfo: memFree=20941648/32950928 swapFree=65730864/67111528 [pid=14927] ppid=14925 vsize=1644628 CPUtime=4800.05 cores=1,3,5,7 /proc/14927/stat : 14927 (strangenight2-m) R 14925 14927 14715 0 -1 4202496 2475400 0 0 0 479191 814 0 0 25 0 4 0 730254597 1684099072 346742 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0 /proc/14927/statm: 411157 346742 379 95 0 406139 0 [pid=14927/tid=14928] ppid=14925 vsize=1644628 CPUtime=1203.56 cores=1,3,5,7 /proc/14927/task/14928/stat : 14928 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 617539 0 0 0 120152 204 0 0 25 0 4 0 730254597 1684099072 346752 33554432000 4194304 4580107 140735617253168 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 1 0 0 0 [pid=14927/tid=14929] ppid=14925 vsize=1644628 CPUtime=1203.57 cores=1,3,5,7 /proc/14927/task/14929/stat : 14929 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 629816 0 0 0 120154 203 0 0 25 0 4 0 730254597 1684099072 346752 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0 [pid=14927/tid=14930] ppid=14925 vsize=1644628 CPUtime=1189.33 cores=1,3,5,7 /proc/14927/task/14930/stat : 14930 (strangenight2-m) R 14925 14927 14715 0 -1 4202560 597633 0 0 0 118736 197 0 0 25 0 4 0 730254597 1684099072 346752 33554432000 4194304 4580107 140735617253168 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0 Current children cumulated CPU time (s) 4800.05 Current children cumulated vsize (KiB) 1644628 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1203.68 CPU time (s): 4800.15 CPU user time (s): 4791.95 CPU system time (s): 8.19775 CPU usage (%): 398.79 Max. virtual memory (cumulated for all children) (KiB): 1700248 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4791.95 system time used= 8.19775 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2475420 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= 7014 involuntary context switches= 20692 runsolver used 3.86141 second user time and 10.3864 second system time The end
Begin job on node116 at 2011-05-14 21:10:39 IDJOB=3366264 IDBENCH=82673 IDSOLVER=1844 FILE ID=node116/3366264-1305400239 RUNJOBID= node116-1305397827-14734 PBS_JOBID= 13324469 Free space on /tmp= 73128 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed) BENCH NAME= SAT11/random/large/unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366264-1305400239/watcher-3366264-1305400239 -o /tmp/evaluation-result-3366264-1305400239/solver-3366264-1305400239 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366264-1305400239.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0a98d6d9a7bdb797305aed69a94f9a69 RANDOM SEED=1336019026 node116.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.826 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.826 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 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.826 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.826 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.826 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.826 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.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 23311948 kB Buffers: 25584 kB Cached: 112268 kB SwapCached: 12356 kB Active: 9389048 kB Inactive: 43060 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 23311948 kB SwapTotal: 67111528 kB SwapFree: 65730864 kB Dirty: 6616 kB Writeback: 0 kB AnonPages: 9292688 kB Mapped: 16004 kB Slab: 96388 kB PageTables: 43720 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 82780976 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= 73124 MiB End job on node116 at 2011-05-14 21:30:45