| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| CryptoMiniSat Strange-Night-2-mt | ? (TO) | 4800.37 | 1201.99 |
| Name | APPLICATIONS/bitverif/ countbitssrl/countbitssrl064.cnf |
| MD5SUM | 4f9c883534eb89cad9b9cad9e6eccbd0 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 75103 |
| Number of clauses | 225116 |
| Sum of the clauses size | 525268 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 2 |
| Number of clauses of size 2 | 150076 |
| Number of clauses of size 3 | 75038 |
| 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-3282112-1304028698.cnf' 0.00/0.00 c -- header says num vars: 75103 0.00/0.00 c -- header says num clauses: 225116 3.72/1.06 c -- clauses added: 0 learnts, 225116 normals, 0 xors 3.72/1.06 c -- vars added 75103 3.72/1.06 c Parsing time: 0.05 s 3.72/1.06 c N st 0 0 75103 75038 150076 0 525266 0 no data no data 3.72/1.06 c asymm cl-useful: 0/2487/75037 lits-rem:0 time: 0.65 54.84/13.86 c Flit: 1025 Blit: 12472 bXBeca: 0 bXProp: 8315 Bins: 0 BRemL: 0 BRemN: 0 P: 200.0M T: 13.04 54.84/13.87 c Cleaning up after failed var search: 0.01 s 54.84/13.89 c Replacing 8315 vars Replaced 107073 lits Time: 0.02 s 55.24/13.91 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 55.24/13.92 c bin-w-bin subsume rem 1892 bins time: 0.01 s 55.24/13.95 c subs with bin: 1 lits-rem: 1 v-fix: 0 time: 0.02 s 60.83/15.34 c Subs w/ non-existent bins: 0 l-rem: 0 v-fix: 0 done: 53074 time: 1.39 s 61.25/15.48 c Removed useless bin: 1541 fixed: 0 props: 20.00M time: 0.14 s 62.03/15.69 c lits-rem: 0 cl-subs: 35 v-elim: 17691 v-fix: 0 time: 0.20 s 62.41/15.70 c Finding binary XORs T: 0.01 s found: 1176 62.41/15.71 c Replacing 1176 vars Replaced 14664 lits Time: 0.01 s 62.41/15.74 c Finding non-binary XORs: 0.02 s (found: 38, avg size: 3.0) 62.41/15.74 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01 62.41/15.75 c calculated reachability. Time: 0.00 62.41/15.75 c Calc default polars - time: 0.00 s pos: 2558 undec: 42616 neg: 29929 62.41/15.75 c ========================================================================================= 62.41/15.75 c types(t): F = full restart, N = normal restart 62.41/15.75 c types(t): S = simplification begin/end, E = solution found 62.41/15.75 c restart types(rt): st = static, dy = dynamic 62.41/15.75 c t rt Rest Confl Vars NormCls BinCls Learnts ClLits LtLits 62.41/15.75 c B st 0 0 34206 57989 63536 0 313516 0 no data no data 66.03/16.61 c N dy 16 4141 34164 57989 63743 3853 313516 225458 5.76 6.10 69.60/17.53 c N dy 40 8164 34119 57989 66864 7716 313516 335914 6.66 7.03 71.60/18.00 c Finding binary XORs T: 0.01 s found: 119 72.00/18.11 c N dy 61 12620 33908 56999 66086 12042 308311 416018 6.69 7.05 73.99/18.64 c N dy 75 16625 33908 56999 66293 15941 308311 499166 6.58 6.93 77.20/19.44 c N dy 99 20730 33819 56999 66873 10348 308311 116084 6.65 7.06 79.59/20.02 c F st 120 25000 33427 56505 65862 14502 304909 199308 6.65 5.81 79.59/20.03 c Replacing 119 vars Replaced 234 lits Time: 0.01 s 79.99/20.13 c N st 120 25000 33405 56505 65813 14502 304829 199290 6.65 5.81 89.17/22.49 c N dy 126 30001 33405 56505 65933 19440 304829 527193 6.65 no data 89.17/22.49 c S st 126 30001 33405 56505 65933 19440 304829 527193 6.65 no data 89.98/22.68 c S st 126 30502 33378 56505 66015 19845 304829 531617 6.65 no data 89.98/22.69 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 1 locsubst: 0 time: 0.01 143.49/36.04 c Flit: 2 Blit: 999 bXBeca: 0 bXProp: 138 Bins: 52665 BRemL: 8523 BRemN: 0 P: 188.5M T: 13.26 143.49/36.05 c Cleaning up after failed var search: 0.01 s 143.49/36.07 c Replacing 138 vars Replaced 52010 lits Time: 0.02 s 143.49/36.09 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 143.89/36.10 c bin-w-bin subsume rem 3851 bins time: 0.01 s 143.89/36.14 c subs with bin: 1008 lits-rem: 110 v-fix: 0 time: 0.03 s 144.29/36.30 c Subs w/ non-existent bins: 60 l-rem: 90 v-fix: 0 done: 32091 time: 0.16 s 144.70/36.35 c Removed useless bin: 48 fixed: 0 props: 7.70M time: 0.05 s 145.88/36.60 c lits-rem: 82 cl-subs: 291 v-elim: 13590 v-fix: 0 time: 0.24 s 145.88/36.61 c subs with bin: 29 lits-rem: 295 v-fix: 0 time: 0.01 s 145.88/36.64 c lits-rem: 98 cl-subs: 131 v-elim: 0 v-fix: 0 time: 0.02 s 145.88/36.64 c Added XOR as norm:32 148.28/37.22 c asymm cl-useful: 89/2845/72955 lits-rem:175 time: 0.57 148.28/37.26 c calculated reachability. Time: 0.04 148.28/37.26 c N dy 126 30502 18501 72955 43267 2194 303334 56948 6.65 no data 148.68/37.37 c Finding binary XORs T: 0.11 s found: 30 152.27/38.24 c N dy 150 34599 18479 72955 43688 6066 303334 145243 6.69 7.22 154.27/38.78 c N dy 167 39522 18469 72955 43726 10851 303334 227634 6.64 7.03 155.07/38.94 c Finding binary XORs T: 0.05 s found: 1 157.46/39.53 c N dy 188 43537 18461 72641 56188 8519 301873 171569 6.64 9.15 159.06/39.96 c S st 199 45755 18461 72641 56207 10683 301873 218900 6.67 6.35 159.46/40.05 c S st 199 46257 18461 72641 61875 11164 301873 235831 6.67 no data 159.46/40.06 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 171.07/42.98 c Flit: 0 Blit: 10 bXBeca: 0 bXProp: 11 Bins: 141 BRemL: 1701 BRemN: 8 P: 60.6M T: 2.92 171.47/43.00 c Replacing 42 vars Replaced 19312 lits Time: 0.03 s 171.47/43.02 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 171.47/43.04 c bin-w-bin subsume rem 6809 bins time: 0.01 s 171.47/43.07 c subs with bin: 2626 lits-rem: 3371 v-fix: 0 time: 0.03 s 171.84/43.12 c Subs w/ non-existent bins: 336 l-rem: 670 v-fix: 0 done: 18410 time: 0.06 s 171.84/43.14 c Removed useless bin: 222 fixed: 0 props: 1.77M time: 0.01 s 172.24/43.21 c lits-rem: 2 cl-subs: 110 v-elim: 4 v-fix: 0 time: 0.07 s 172.24/43.27 c subs with bin: 17 lits-rem: 1642 v-fix: 0 time: 0.05 s 172.64/43.32 c lits-rem: 303 cl-subs: 283 v-elim: 0 v-fix: 0 time: 0.04 s 172.64/43.32 c Added XOR as norm:0 173.05/43.43 c vivif2 -- cl tried 69478 cl shrink 3145 lits rem 3412 time: 0.11 173.05/43.47 c vivif2 -- cl tried 10786 cl shrink 3594 lits rem 12508 time: 0.03 175.86/44.17 c asymm cl-useful: 364/15447/68409 lits-rem:444 time: 0.70 175.86/44.19 c calculated reachability. Time: 0.02 175.86/44.19 c N dy 199 46257 18406 68409 55604 10750 288098 187164 6.67 no data 176.24/44.24 c Finding binary XORs T: 0.05 s found: 1 179.85/45.12 c N dy 219 50907 18400 68409 55648 15291 288098 302890 6.68 7.16 182.23/45.73 c Finding binary XORs T: 0.05 s found: 18 183.43/46.08 c N dy 248 54947 18395 68164 72134 19201 287139 446448 6.76 8.07 187.03/46.99 c N dy 276 58969 18392 68164 72285 23154 287139 549103 6.82 7.18 189.83/47.67 c N dy 294 63144 18392 68164 72306 27253 287139 644193 6.80 7.27 192.62/48.34 c N dy 308 67341 18392 68164 72382 17615 287139 276366 6.76 7.12 194.22/48.71 c S st 321 69385 18388 68164 72391 19626 287139 323445 6.78 no data 194.22/48.79 c S st 321 69889 18388 68164 72398 20121 287139 331679 6.78 no data 194.62/48.80 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 207.40/52.05 c Flit: 1 Blit: 3 bXBeca: 0 bXProp: 3 Bins: 113 BRemL: 1054 BRemN: 4 P: 67.2M T: 3.25 207.40/52.08 c Replacing 22 vars Replaced 436 lits Time: 0.02 s 207.40/52.10 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 207.80/52.11 c bin-w-bin subsume rem 14111 bins time: 0.02 s 207.80/52.14 c subs with bin: 345 lits-rem: 9 v-fix: 0 time: 0.03 s 208.20/52.20 c Subs w/ non-existent bins: 4 l-rem: 9 v-fix: 0 done: 18361 time: 0.06 s 208.20/52.21 c Removed useless bin: 4 fixed: 0 props: 1.44M time: 0.02 s 208.20/52.28 c lits-rem: 121 cl-subs: 320 v-elim: 114 v-fix: 0 time: 0.07 s 208.60/52.34 c subs with bin: 50 lits-rem: 633 v-fix: 0 time: 0.05 s 209.00/52.41 c lits-rem: 526 cl-subs: 489 v-elim: 0 v-fix: 0 time: 0.05 s 209.00/52.41 c Added XOR as norm:0 209.40/52.52 c vivif2 -- cl tried 67561 cl shrink 432 lits rem 468 time: 0.11 209.40/52.58 c vivif2 -- cl tried 19416 cl shrink 3673 lits rem 14481 time: 0.06 211.02/52.93 c asymm cl-useful: 21/3305/67469 lits-rem:54 time: 0.35 211.02/52.96 c calculated reachability. Time: 0.02 211.02/52.96 c N dy 321 69889 18247 67457 57120 19403 283143 272415 6.78 no data 214.60/53.80 c N dy 346 74362 18244 67457 57501 23777 283143 363064 6.82 7.21 217.79/54.68 c N dy 378 79114 18244 67457 57546 28452 283143 471537 6.85 7.24 220.98/55.42 c N dy 403 84227 18243 67457 57752 33460 283143 581345 6.86 7.34 222.98/55.92 c F st 418 87500 18243 67457 57772 18590 283143 200923 6.85 5.62 225.77/56.69 c N st 423 90796 18243 67234 57804 21831 282154 300688 6.85 no data 226.97/56.94 c Finding binary XORs T: 0.06 s found: 26 230.17/57.80 c N dy 454 96647 18242 67234 57874 27599 282154 450487 6.90 8.28 234.97/58.97 c N dy 494 102835 18242 67234 57940 33692 282154 573033 6.94 9.65 236.98/59.42 c S st 508 104833 18242 67234 57950 35665 282154 617386 6.95 no data 237.38/59.52 c S st 508 105337 18242 67234 57953 36165 282154 625822 6.95 no data 237.38/59.53 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 251.35/63.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 831 BRemL: 679 BRemN: 1 P: 83.0M T: 3.50 251.35/63.06 c Replacing 30 vars Replaced 1903 lits Time: 0.03 s 251.35/63.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 251.35/63.08 c bin-w-bin subsume rem 49 bins time: 0.01 s 251.74/63.11 c subs with bin: 180 lits-rem: 16 v-fix: 0 time: 0.03 s 251.74/63.17 c Subs w/ non-existent bins: 10 l-rem: 32 v-fix: 0 done: 18212 time: 0.06 s 251.74/63.18 c Removed useless bin: 13 fixed: 0 props: 0.97M time: 0.01 s 252.14/63.25 c lits-rem: 0 cl-subs: 69 v-elim: 4 v-fix: 0 time: 0.07 s 252.54/63.39 c subs with bin: 73 lits-rem: 1752 v-fix: 0 time: 0.10 s 253.35/63.51 c lits-rem: 1215 cl-subs: 772 v-elim: 0 v-fix: 0 time: 0.10 s 253.35/63.51 c Added XOR as norm:0 253.75/63.62 c vivif2 -- cl tried 66969 cl shrink 226 lits rem 246 time: 0.11 254.15/63.77 c vivif2 -- cl tried 35006 cl shrink 8773 lits rem 45344 time: 0.15 255.74/64.12 c asymm cl-useful: 29/2084/66871 lits-rem:87 time: 0.35 255.74/64.15 c calculated reachability. Time: 0.02 255.74/64.15 c N dy 508 105337 18208 66842 58125 34999 281273 513839 6.95 no data 260.53/65.33 c N dy 535 112369 18206 66842 58329 21249 281273 214795 6.95 7.32 265.32/66.51 c N dy 580 119601 18204 66842 62272 28370 281273 375406 7.00 7.39 265.72/66.66 c Finding binary XORs T: 0.06 s found: 27 270.92/67.99 c N dy 628 127248 18203 66631 62006 35872 280429 540504 7.05 7.52 278.51/69.80 c N dy 679 136414 18203 66631 62105 44902 280429 753886 7.09 7.51 286.10/71.74 c N dy 735 145275 18203 66631 62238 31006 280429 445282 7.14 7.69 292.89/73.48 c N dy 791 154622 18203 66631 62313 40199 280429 650052 7.17 7.56 296.09/74.22 c S st 809 158005 18203 66631 62372 43534 280429 735709 7.19 4.73 296.49/74.34 c S st 809 158505 18203 66631 62378 44025 280429 742286 7.19 no data 296.49/74.36 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 311.27/78.03 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 554 BRemL: 1131 BRemN: 0 P: 89.8M T: 3.67 311.27/78.06 c Replacing 30 vars Replaced 1949 lits Time: 0.03 s 311.27/78.07 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 311.27/78.08 c bin-w-bin subsume rem 141 bins time: 0.01 s 311.68/78.11 c subs with bin: 167 lits-rem: 17 v-fix: 0 time: 0.03 s 311.68/78.17 c Subs w/ non-existent bins: 6 l-rem: 12 v-fix: 0 done: 18173 time: 0.06 s 311.68/78.18 c Removed useless bin: 12 fixed: 0 props: 0.88M time: 0.01 s 312.09/78.26 c lits-rem: 0 cl-subs: 74 v-elim: 2 v-fix: 0 time: 0.07 s 312.87/78.46 c subs with bin: 61 lits-rem: 1440 v-fix: 0 time: 0.17 s 313.67/78.61 c lits-rem: 2051 cl-subs: 1087 v-elim: 0 v-fix: 0 time: 0.14 s 313.67/78.61 c Added XOR as norm:0 314.07/78.72 c vivif2 -- cl tried 66380 cl shrink 398 lits rem 403 time: 0.11 314.46/78.89 c vivif2 -- cl tried 42262 cl shrink 10193 lits rem 57655 time: 0.17 316.09/79.23 c asymm cl-useful: 5/1745/66219 lits-rem:15 time: 0.33 316.09/79.25 c calculated reachability. Time: 0.02 316.09/79.25 c N dy 809 158505 18171 66214 61769 42254 278945 598545 7.19 no data 316.49/79.32 c Finding binary XORs T: 0.06 s found: 0 325.65/81.67 c N dy 852 168667 18166 66214 62064 30477 278945 361205 7.18 7.56 335.24/84.05 c N dy 916 179529 18166 66214 62211 41209 278945 633581 7.21 9.73 346.02/86.75 c N dy 980 191058 18165 66214 62289 29751 278944 290582 7.23 7.62 354.41/88.84 c Finding binary XORs T: 0.06 s found: 23 357.21/89.54 c N dy 1065 203318 18164 65993 62462 41885 278034 599970 7.28 7.84 368.81/92.44 c N dy 1127 216693 18162 65993 62572 55026 278034 910518 7.27 7.70 379.98/95.26 c N dy 1201 230609 18156 65993 62756 45322 278034 592897 7.29 7.71 387.57/97.17 c S st 1248 237758 18156 65993 62803 52375 278034 798286 7.33 no data 388.37/97.32 c S st 1248 238260 18156 65993 62810 52864 278034 806129 7.33 no data 388.37/97.33 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 403.55/101.15 c Flit: 0 Blit: 2 bXBeca: 0 bXProp: 23 Bins: 58 BRemL: 242 BRemN: 0 P: 93.0M T: 3.81 403.55/101.18 c Replacing 46 vars Replaced 1264 lits Time: 0.03 s 403.55/101.20 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 403.97/101.21 c bin-w-bin subsume rem 167 bins time: 0.01 s 403.97/101.24 c subs with bin: 401 lits-rem: 28 v-fix: 0 time: 0.03 s 403.97/101.30 c Subs w/ non-existent bins: 14 l-rem: 54 v-fix: 0 done: 18108 time: 0.06 s 404.37/101.31 c Removed useless bin: 11 fixed: 0 props: 0.81M time: 0.01 s 404.37/101.39 c lits-rem: 0 cl-subs: 127 v-elim: 3 v-fix: 0 time: 0.08 s 405.55/101.60 c subs with bin: 52 lits-rem: 1697 v-fix: 0 time: 0.17 s 405.94/101.77 c lits-rem: 2233 cl-subs: 1155 v-elim: 0 v-fix: 0 time: 0.16 s 405.94/101.77 c Added XOR as norm:0 406.34/101.88 c vivif2 -- cl tried 65166 cl shrink 285 lits rem 291 time: 0.11 407.14/102.08 c vivif2 -- cl tried 51275 cl shrink 9109 lits rem 61797 time: 0.19 408.36/102.39 c asymm cl-useful: 12/1928/65087 lits-rem:36 time: 0.31 408.76/102.41 c calculated reachability. Time: 0.02 408.76/102.41 c N dy 1248 238260 18105 65075 61950 51267 274655 664298 7.33 no data 423.52/106.13 c Finding binary XORs T: 0.06 s found: 25 430.74/107.95 c N dy 1342 254419 18101 64854 61958 43032 273772 481989 7.36 7.76 440.70/110.49 c Finding binary XORs T: 0.06 s found: 1 444.70/111.43 c N dy 1420 270692 18100 64851 64392 59090 273752 858861 7.36 9.90 463.07/116.10 c N dy 1543 288005 18100 64851 64490 50907 273752 625022 7.42 10.08 480.26/120.39 c F st 1648 306252 18100 64851 64570 68946 273752 1090403 7.44 no data 480.66/120.41 c Replacing 26 vars Replaced 741 lits Time: 0.02 s 481.46/120.69 c N st 1649 306503 18074 64839 64520 69191 273623 1106959 7.44 no data 498.23/124.84 c N dy 1723 326143 18074 64839 64601 62102 273623 817844 7.45 7.92 518.23/129.88 c N dy 1828 346184 18074 64839 64702 54366 273623 564034 7.46 7.87 530.20/132.85 c S st 1888 357390 18074 64839 64767 65419 273622 835187 7.46 6.64 531.00/133.00 c S st 1888 357893 18074 64839 64772 65917 273622 842777 7.46 no data 531.00/133.01 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.01 546.58/136.90 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 3 Bins: 188 BRemL: 364 BRemN: 0 P: 101.1M T: 3.89 546.58/136.92 c Replacing 3 vars Replaced 268 lits Time: 0.02 s 546.58/136.94 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 546.58/136.95 c bin-w-bin subsume rem 95 bins time: 0.01 s 546.58/136.98 c subs with bin: 1899 lits-rem: 9 v-fix: 0 time: 0.03 s 546.98/137.04 c Subs w/ non-existent bins: 2 l-rem: 11 v-fix: 0 done: 18071 time: 0.06 s 546.98/137.06 c Removed useless bin: 15 fixed: 0 props: 0.75M time: 0.02 s 547.38/137.14 c lits-rem: 0 cl-subs: 65 v-elim: 1 v-fix: 0 time: 0.08 s 548.18/137.39 c subs with bin: 61 lits-rem: 2675 v-fix: 0 time: 0.21 s 549.40/137.60 c lits-rem: 3063 cl-subs: 1352 v-elim: 0 v-fix: 0 time: 0.20 s 549.40/137.60 c Added XOR as norm:0 549.78/137.71 c vivif2 -- cl tried 62871 cl shrink 344 lits rem 344 time: 0.11 550.57/137.95 c vivif2 -- cl tried 64428 cl shrink 8438 lits rem 52116 time: 0.24 552.17/138.31 c asymm cl-useful: 4/1959/62712 lits-rem:12 time: 0.36 552.17/138.34 c calculated reachability. Time: 0.02 552.17/138.34 c N dy 1888 357893 18070 62708 64654 64422 268875 753090 7.46 no data 552.57/138.40 c Finding binary XORs T: 0.07 s found: 3 578.13/144.87 c N dy 1987 377966 18062 62708 65086 56301 268875 526640 7.48 7.88 596.51/149.49 c N dy 2088 398050 18062 62708 65184 76078 268875 1016544 7.50 7.97 611.29/153.14 c Finding binary XORs T: 0.07 s found: 27 617.29/154.61 c N dy 2198 418319 18062 62600 64886 66706 268069 684221 7.51 8.20 640.47/160.47 c N dy 2320 438375 18062 62600 64977 86523 268069 1259209 7.55 8.22 665.63/166.75 c N dy 2436 461255 18062 62600 65049 79359 268069 914445 7.55 8.03 689.62/172.76 c N dy 2546 481434 18062 62600 65169 99224 268069 1466236 7.58 8.02 707.98/177.37 c N dy 2639 501631 18062 62600 65222 88631 268069 1066119 7.58 8.05 731.95/183.32 c N dy 2741 521715 18062 62600 65291 77257 268069 733854 7.58 13.57 746.75/187.01 c Finding binary XORs T: 0.07 s found: 1 748.73/187.55 c S st 2809 536840 18062 62600 65349 92169 268069 1133140 7.59 no data 749.53/187.73 c S st 2809 537341 18062 62600 65355 92662 268069 1142627 7.59 no data 749.53/187.75 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 767.10/192.10 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 4 Bins: 209 BRemL: 201 BRemN: 0 P: 125.7M T: 4.35 767.10/192.14 c Replacing 35 vars Replaced 1253 lits Time: 0.04 s 767.10/192.16 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 767.10/192.17 c bin-w-bin subsume rem 133 bins time: 0.01 s 767.10/192.20 c subs with bin: 202 lits-rem: 22 v-fix: 0 time: 0.03 s 767.50/192.26 c Subs w/ non-existent bins: 18 l-rem: 103 v-fix: 0 done: 18026 time: 0.06 s 767.50/192.27 c Removed useless bin: 13 fixed: 0 props: 0.73M time: 0.01 s 767.90/192.36 c lits-rem: 0 cl-subs: 73 v-elim: 3 v-fix: 0 time: 0.09 s 769.49/192.75 c subs with bin: 89 lits-rem: 2123 v-fix: 0 time: 0.33 s 771.10/193.11 c lits-rem: 6253 cl-subs: 2392 v-elim: 0 v-fix: 0 time: 0.35 s 771.50/193.22 c vivif2 -- cl tried 62289 cl shrink 213 lits rem 216 time: 0.11 772.70/193.55 c vivif2 -- cl tried 90017 cl shrink 10241 lits rem 66138 time: 0.33 773.89/193.86 c asymm cl-useful: 0/753/62237 lits-rem:0 time: 0.31 773.89/193.89 c calculated reachability. Time: 0.02 773.89/193.89 c N dy 2809 537341 18023 62237 65219 89993 266688 1039473 7.59 no data 805.85/201.83 c N dy 2905 557438 18016 62237 65349 109849 266688 1701977 7.59 8.23 828.63/207.50 c N dy 2998 577606 18015 62237 65397 96354 266688 1103801 7.59 8.08 836.61/209.57 c Finding binary XORs T: 0.07 s found: 30 856.19/214.46 c N dy 3112 597708 18015 62021 65221 116195 265772 1674527 7.61 8.14 880.96/220.65 c N dy 3217 617736 18015 62021 65277 103035 265772 1273136 7.62 8.04 906.53/227.03 c N dy 3305 637769 18015 62021 65301 122829 265772 1829382 7.62 8.75 930.50/233.06 c Finding binary XORs T: 0.07 s found: 5 938.08/234.93 c N dy 3428 657899 18013 62006 68892 108589 265722 1373221 7.64 8.10 967.24/242.20 c N dy 3536 677940 18007 62006 68976 128338 265722 1950066 7.65 8.47 996.01/249.47 c N dy 3674 697973 18004 62006 69390 113488 265722 1444518 7.68 9.81 999.60/250.31 c Finding binary XORs T: 0.07 s found: 45 1026.37/257.03 c N dy 3785 718132 18003 61794 69000 133305 264804 2047885 7.68 8.09 1055.93/264.49 c N dy 3890 738240 18002 61794 69045 116724 264804 1385621 7.70 8.13 1084.70/271.68 c N dy 3979 758315 18002 61794 69127 136568 264804 1973366 7.70 8.11 1111.06/278.21 c N dy 4067 778342 18002 61794 69189 119683 264804 1331701 7.70 9.95 1142.64/286.18 c N dy 4185 798371 18002 61794 69238 139535 264804 1964628 7.71 8.13 1154.61/289.11 c S st 4225 806012 18002 61794 69262 147101 264804 2195510 7.71 8.00 1155.42/289.36 c S st 4225 806512 18002 61794 69269 147588 264804 2200371 7.71 no data 1155.42/289.38 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1175.37/294.31 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 9 Bins: 528 BRemL: 166 BRemN: 0 P: 155.2M T: 4.93 1175.37/294.37 c Replacing 89 vars Replaced 4801 lits Time: 0.06 s 1175.37/294.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1175.77/294.40 c bin-w-bin subsume rem 722 bins time: 0.01 s 1175.77/294.43 c subs with bin: 225 lits-rem: 54 v-fix: 0 time: 0.03 s 1175.77/294.49 c Subs w/ non-existent bins: 7 l-rem: 30 v-fix: 0 done: 17912 time: 0.06 s 1176.17/294.51 c Removed useless bin: 15 fixed: 0 props: 0.58M time: 0.02 s 1176.57/294.62 c lits-rem: 1 cl-subs: 132 v-elim: 6 v-fix: 0 time: 0.12 s 1180.97/295.72 c subs with bin: 193 lits-rem: 7492 v-fix: 0 time: 0.98 s 1186.59/297.18 c lits-rem: 13688 cl-subs: 3885 v-elim: 0 v-fix: 0 time: 1.44 s 1186.96/297.29 c vivif2 -- cl tried 61307 cl shrink 202 lits rem 205 time: 0.11 1189.76/297.93 c vivif2 -- cl tried 143324 cl shrink 23899 lits rem 189221 time: 0.64 1190.58/298.19 c asymm cl-useful: 0/384/61260 lits-rem:0 time: 0.26 1190.98/298.22 c calculated reachability. Time: 0.02 1190.98/298.22 c N dy 4225 806512 17906 61260 68740 143297 262737 1939947 7.71 no data 1190.98/298.29 c Finding binary XORs T: 0.07 s found: 0 1228.91/307.77 c N dy 4315 826558 17898 61260 69131 122954 262737 1374284 7.71 8.16 1260.88/315.73 c N dy 4403 846614 17897 61260 69171 142746 262737 2010260 7.72 13.88 1294.42/324.13 c N dy 4522 866696 17897 61260 69214 124108 262737 1332196 7.73 8.17 1309.61/327.95 c Finding binary XORs T: 0.07 s found: 37 1329.18/332.82 c N dy 4613 886749 17897 61060 68959 143867 261830 2031581 7.73 15.26 1358.33/340.12 c N dy 4696 906797 17897 61060 68992 123530 261830 1109172 7.73 8.18 1384.70/346.70 c N dy 4765 926899 17896 61060 69035 143343 261830 1626119 7.72 8.16 1418.26/355.19 c N dy 4849 947268 17896 61060 69078 163352 261830 2185950 7.72 8.22 1451.81/363.53 c N dy 4962 967637 17896 61060 69103 142709 261830 1650188 7.73 8.23 1486.97/372.30 c N dy 5076 987720 17896 61060 69143 162604 261829 2321022 7.75 8.73 1520.55/380.78 c N dy 5181 1007791 17896 61060 69180 140785 261829 1451096 7.75 8.16 1556.48/389.78 c N dy 5266 1028235 17895 61060 69219 160880 261829 2105869 7.75 8.27 1592.84/398.89 c N dy 5376 1048863 17895 61060 69250 138500 261829 1243059 7.76 8.21 1624.40/406.73 c N dy 5487 1068961 17895 61060 69278 158363 261829 1835793 7.77 8.42 1629.19/407.99 c F st 5499 1071875 17895 61060 69281 161253 261829 1921165 7.77 6.93 1629.59/408.04 c Replacing 37 vars Replaced 1517 lits Time: 0.03 s 1669.55/418.05 c N dy 5566 1089043 17858 61033 68733 178164 261587 2653802 7.77 8.19 1711.88/428.63 c N dy 5679 1109128 17858 61033 68760 154317 261587 1647160 7.78 9.31 1731.85/433.67 c Finding binary XORs T: 0.06 s found: 54 1745.04/436.90 c N dy 5763 1129161 17850 60988 70316 174043 261440 2242766 7.78 8.86 1780.59/445.85 c N dy 5857 1149241 17849 60988 70393 149298 261440 1333556 7.79 10.16 1813.35/454.06 c N dy 5958 1169321 17846 60988 70417 169194 261440 1922427 7.79 9.11 1838.52/460.38 c Finding binary XORs T: 0.06 s found: 58 1850.50/463.33 c N dy 6062 1189360 17840 60766 70665 189026 260506 2580748 7.80 10.05 1891.65/473.67 c N dy 6196 1209512 17837 60766 70725 162961 260505 1682479 7.82 8.32 1892.05/473.80 c S st 6198 1209771 17837 60766 70725 163220 260505 1689379 7.82 6.51 1893.25/474.04 c S st 6198 1210272 17837 60766 70727 163714 260505 1697802 7.82 no data 1893.25/474.07 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.02 1913.62/479.17 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 5 Bins: 40 BRemL: 188 BRemN: 0 P: 163.4M T: 5.11 1914.02/479.23 c Replacing 117 vars Replaced 6261 lits Time: 0.06 s 1914.02/479.25 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 1914.02/479.26 c bin-w-bin subsume rem 490 bins time: 0.01 s 1914.02/479.29 c subs with bin: 254 lits-rem: 62 v-fix: 0 time: 0.03 s 1914.42/479.35 c Subs w/ non-existent bins: 5 l-rem: 51 v-fix: 0 done: 17723 time: 0.06 s 1914.42/479.37 c Removed useless bin: 20 fixed: 0 props: 0.61M time: 0.02 s 1915.22/479.50 c lits-rem: 3 cl-subs: 133 v-elim: 12 v-fix: 0 time: 0.13 s 1916.82/479.94 c subs with bin: 290 lits-rem: 5165 v-fix: 0 time: 0.36 s 1920.03/480.77 c lits-rem: 12273 cl-subs: 4107 v-elim: 0 v-fix: 0 time: 0.81 s 1920.43/480.88 c vivif2 -- cl tried 60095 cl shrink 208 lits rem 210 time: 0.11 1922.81/481.41 c vivif2 -- cl tried 158508 cl shrink 9837 lits rem 48322 time: 0.53 1923.61/481.69 c asymm cl-useful: 0/1060/60051 lits-rem:0 time: 0.28 1924.01/481.72 c calculated reachability. Time: 0.02 1924.01/481.72 c N dy 6198 1210272 17711 60051 69721 158448 257835 1559509 7.82 no data 1968.38/492.90 c N dy 6266 1231028 17705 60051 69845 178843 257835 2246209 7.81 8.23 2009.90/503.21 c N dy 6364 1251244 17705 60051 69890 198887 257835 2972960 7.82 8.33 2052.27/513.85 c N dy 6477 1271676 17705 60051 69920 169538 257835 1857414 7.83 8.38 2075.02/519.55 c Finding binary XORs T: 0.08 s found: 37 2097.00/525.06 c N dy 6603 1291678 17704 59851 69724 188969 256949 2590475 7.84 9.63 2150.13/538.31 c N dy 6739 1312070 17698 59851 70167 162167 256949 1431310 7.86 8.28 2175.32/544.70 c Finding binary XORs T: 0.08 s found: 60 2192.08/548.81 c N dy 6835 1332215 17696 59631 70137 182083 256017 2204398 7.86 8.53 2240.42/560.97 c N dy 6967 1352310 17694 59631 70242 201987 256017 2982934 7.87 9.42 2288.76/573.03 c N dy 7082 1372312 17693 59631 70282 173313 256017 1677718 7.88 8.41 2322.31/581.46 c N dy 7155 1392374 17691 59631 70310 193153 256017 2291138 7.88 8.36 2361.86/591.31 c N dy 7255 1412389 17691 59631 70351 212989 256017 2953332 7.89 9.22 2400.20/600.90 c N dy 7344 1432441 17690 59631 70386 183275 256017 1848009 7.89 8.39 2445.35/612.25 c N dy 7472 1452628 17690 59631 70416 203327 256017 2646324 7.90 8.36 2489.29/623.21 c N dy 7566 1473399 17690 59631 70432 223856 256017 3350843 7.90 9.21 2530.04/633.42 c N dy 7672 1493437 17690 59631 70453 193139 256017 2128694 7.91 8.74 2571.99/643.93 c N dy 7786 1513483 17653 59631 70485 213046 256017 2860638 7.92 9.32 2613.54/654.39 c N dy 7895 1533485 17653 59631 70510 232897 256017 3533846 7.93 8.61 2657.09/665.28 c N dy 7997 1553600 17653 59631 70526 200789 256017 2316483 7.93 8.74 2693.86/674.50 c N dy 8082 1573614 17653 59631 70546 220620 256017 2977803 7.93 8.45 2744.97/687.22 c N dy 8209 1593674 17653 59631 70566 240536 256017 3733876 7.94 9.90 2791.31/698.84 c N dy 8326 1613801 17653 59631 70579 207149 256017 2363819 7.95 8.76 2835.65/709.99 c N dy 8435 1634089 17653 59631 70592 227318 256017 3093857 7.96 8.44 2841.64/711.49 c Finding binary XORs T: 0.06 s found: 65 2887.58/722.91 c N dy 8548 1654213 17636 59387 71410 246892 255120 3927547 7.97 8.44 2937.91/735.59 c N dy 8665 1674250 17631 59387 71433 213213 255120 2475047 7.97 8.57 2964.67/742.22 c Finding binary XORs T: 0.06 s found: 66 2964.67/742.28 c Replacing 228 vars Replaced 14470 lits Time: 0.06 s 2983.47/747.00 c N dy 8773 1694407 17412 58785 71156 232960 252259 3221797 7.98 8.48 3019.80/756.09 c S st 8846 1710273 17412 58785 71201 248682 252259 3756712 7.99 6.81 3021.00/756.38 c S st 8846 1710776 17412 58785 71203 249181 252259 3767363 7.99 no data 3021.40/756.41 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 3044.58/762.28 c Flit: 1 Blit: 0 bXBeca: 0 bXProp: 30 Bins: 241 BRemL: 559 BRemN: 1 P: 200.0M T: 5.87 3044.99/762.37 c Replacing 30 vars Replaced 5568 lits Time: 0.09 s 3044.99/762.39 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 3044.99/762.40 c bin-w-bin subsume rem 663 bins time: 0.01 s 3045.39/762.43 c subs with bin: 253 lits-rem: 86 v-fix: 0 time: 0.03 s 3045.39/762.49 c Subs w/ non-existent bins: 26 l-rem: 83 v-fix: 0 done: 17381 time: 0.06 s 3045.77/762.50 c Removed useless bin: 25 fixed: 0 props: 0.57M time: 0.01 s 3046.17/762.66 c lits-rem: 13 cl-subs: 187 v-elim: 30 v-fix: 0 time: 0.16 s 3052.16/764.10 c subs with bin: 420 lits-rem: 12726 v-fix: 0 time: 1.25 s 3065.34/767.40 c lits-rem: 21477 cl-subs: 4938 v-elim: 0 v-fix: 0 time: 3.28 s 3065.75/767.50 c vivif2 -- cl tried 58241 cl shrink 220 lits rem 221 time: 0.10 3070.14/768.63 c vivif2 -- cl tried 240140 cl shrink 30839 lits rem 216129 time: 1.13 3070.94/768.83 c asymm cl-useful: 0/285/58189 lits-rem:0 time: 0.20 3070.94/768.87 c calculated reachability. Time: 0.02 3070.94/768.87 c N dy 8846 1710776 17351 58189 70108 240059 249973 3073588 7.99 no data 3071.36/768.95 c Finding binary XORs T: 0.08 s found: 12 3119.68/781.06 c N dy 8910 1730820 17344 58189 70233 203762 249973 1985053 7.98 8.42 3165.21/792.46 c N dy 8990 1750939 17343 58189 70270 223583 249973 2650225 7.98 8.40 3217.88/805.69 c N dy 9097 1770972 17341 58189 70309 243472 249973 3518466 7.99 8.53 3264.17/817.37 c N dy 9195 1791066 17341 58189 70318 207849 249973 1980398 7.99 8.43 3310.21/828.98 c N dy 9298 1811075 17341 58189 70334 227745 249973 2850632 7.99 8.45 3356.16/840.41 c N dy 9396 1831105 17341 58189 70354 247602 249973 3566512 8.00 9.62 3363.74/842.35 c Finding binary XORs T: 0.08 s found: 61 3406.08/852.95 c N dy 9496 1851148 17338 57971 70318 210843 249017 2151267 8.00 10.34 3450.82/864.18 c N dy 9602 1871153 17337 57971 70353 230708 249017 2897053 8.00 8.98 3500.75/876.67 c N dy 9717 1891227 17335 57971 70375 250672 249017 3748843 8.01 8.48 3555.89/890.45 c N dy 9830 1911264 17334 57971 70417 270531 249017 4561948 8.02 11.57 3599.83/901.42 c N dy 9915 1931351 17333 57971 70435 232885 249017 2663495 8.02 8.45 3647.76/913.44 c N dy 10031 1951552 17332 57971 70455 252942 249017 3414916 8.03 8.52 3706.48/928.19 c N dy 10158 1971640 17331 57971 70481 272890 249017 4306235 8.04 11.84 3757.61/940.96 c N dy 10257 1992092 17331 57971 70498 234800 249017 2594562 8.04 8.53 3806.36/953.15 c N dy 10344 2013427 17331 57971 70514 256006 249017 3363917 8.04 8.47 3865.08/967.84 c N dy 10479 2033550 17331 57971 70535 276009 249017 4215212 8.05 9.33 3911.42/979.42 c N dy 10571 2053889 17331 57971 70550 236464 249017 2447706 8.05 8.48 3954.96/990.38 c N dy 10655 2073981 17331 57971 70563 256409 249017 3126874 8.05 8.60 4018.08/1006.10 c N dy 10802 2094546 17331 57971 70587 276876 249017 4123661 8.06 8.49 4072.01/1019.70 c N dy 10904 2114582 17331 57971 70606 235666 249017 2348029 8.07 15.42 4124.33/1032.76 c N dy 11017 2134600 17330 57971 70622 255526 249017 3109994 8.08 8.63 4140.31/1036.78 c Finding binary XORs T: 0.06 s found: 70 4180.26/1046.79 c N dy 11109 2154687 17328 57746 75714 275390 248027 3902832 8.08 8.64 4234.19/1060.28 c N dy 11207 2174701 17327 57746 75722 295236 248027 4685197 8.08 8.62 4244.19/1062.75 c Finding binary XORs T: 0.06 s found: 1 4281.33/1072.03 c N dy 11298 2194703 17325 57730 76294 253412 247941 2761429 8.08 8.61 4320.07/1081.77 c S st 11381 2210776 17323 57730 76311 269316 247941 3318279 8.09 7.29 4322.07/1082.25 c S st 11381 2211281 17323 57730 76312 269820 247941 3327546 8.09 no data 4322.07/1082.28 c x-sub: 0 x-cut: 0 vfix: 0 v-elim: 0 locsubst: 0 time: 0.03 4346.04/1088.23 c Flit: 0 Blit: 0 bXBeca: 0 bXProp: 9 Bins: 3616 BRemL: 3595 BRemN: 28 P: 200.1M T: 5.94 4346.44/1088.32 c Replacing 153 vars Replaced 7876 lits Time: 0.09 s 4346.44/1088.34 c blocked clauses removed: 0 vars: 0 tried: 0 T: 0.00 s 4346.44/1088.35 c bin-w-bin subsume rem 636 bins time: 0.01 s 4346.44/1088.38 c subs with bin: 246 lits-rem: 85 v-fix: 0 time: 0.03 s 4346.84/1088.44 c Subs w/ non-existent bins: 9 l-rem: 65 v-fix: 0 done: 17170 time: 0.06 s 4346.84/1088.45 c Removed useless bin: 22 fixed: 0 props: 0.57M time: 0.02 s 4347.64/1088.62 c lits-rem: 0 cl-subs: 105 v-elim: 4 v-fix: 0 time: 0.17 s 4352.42/1089.87 c subs with bin: 384 lits-rem: 10677 v-fix: 0 time: 1.08 s 4364.41/1092.80 c lits-rem: 20521 cl-subs: 4735 v-elim: 0 v-fix: 0 time: 2.92 s 4364.81/1092.91 c vivif2 -- cl tried 57099 cl shrink 114 lits rem 114 time: 0.10 4369.20/1094.02 c vivif2 -- cl tried 264001 cl shrink 22307 lits rem 154359 time: 1.11 4370.00/1094.22 c asymm cl-useful: 0/132/57071 lits-rem:0 time: 0.20 4370.00/1094.26 c calculated reachability. Time: 0.02 4370.00/1094.26 c N dy 11381 2211281 17166 57071 75183 263918 245244 3063471 8.09 no data 4370.40/1094.34 c Finding binary XORs T: 0.08 s found: 11 4435.52/1110.64 c N dy 11470 2231380 17162 57071 75569 283896 245244 4338070 8.09 8.58 4503.45/1127.67 c N dy 11604 2251387 17160 57071 75608 303763 245244 5406500 8.10 8.55 4560.57/1141.93 c N dy 11717 2271447 17158 57071 75636 258267 245244 3148888 8.10 15.63 4616.87/1156.08 c N dy 11825 2291456 17158 57071 75651 278151 245244 4098155 8.10 8.80 4683.61/1172.78 c N dy 11921 2311509 17158 57071 75672 298045 245244 5359530 8.11 14.34 4739.52/1186.75 c N dy 11989 2331516 17156 57071 75688 254494 245244 2676824 8.11 9.96 4792.64/1200.05 c N dy 12089 2351541 17156 57071 75698 274348 245244 3468493 8.11 11.96
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3282112-1304028698/watcher-3282112-1304028698 -o /tmp/evaluation-result-3282112-1304028698/solver-3282112-1304028698 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3282112-1304028698.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: 0.00 0.00 0.01 1/172 27065 /proc/meminfo: memFree=25654204/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=51212 CPUtime=0.01 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 409 0 0 0 1 0 0 0 22 0 4 0 495285762 52441088 348 33554432000 4194304 4627427 140734640217952 18446744073709551615 47978005297074 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 12803 348 299 106 0 7774 0 [pid=27065/tid=27066] ppid=27063 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 495285763 52441088 348 33554432000 4194304 4627427 140734640217952 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 4 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 495285763 52441088 348 33554432000 4194304 4627427 140734640217952 18446744073709551615 47978005297074 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=51212 CPUtime=0 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 495285763 52441088 348 33554432000 4194304 4627427 140734640217952 18446744073709551615 47978005297078 0 0 4096 2 0 0 0 -1 2 0 0 0 [startup+0.00872999 s] /proc/loadavg: 0.00 0.00 0.01 1/172 27065 /proc/meminfo: memFree=25654204/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=183260 CPUtime=0.01 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) D 27063 27065 27036 0 -1 4202496 1545 0 0 0 1 0 0 0 23 0 4 0 495285762 187658240 1457 33554432000 4194304 4627427 140734640217952 18446744073709551615 220815897285 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 45815 1457 336 106 0 40786 0 [pid=27065/tid=27066] ppid=27063 vsize=183260 CPUtime=0 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 285 0 0 0 0 0 0 0 24 0 4 0 495285763 187658240 1457 33554432000 4194304 4627427 140734640217952 18446744073709551615 220815897285 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=183260 CPUtime=0 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) D 27063 27065 27036 0 -1 4202560 275 0 0 0 0 0 0 0 24 0 4 0 495285763 187658240 1457 33554432000 4194304 4627427 140734640217952 18446744073709551615 220816279642 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=183260 CPUtime=0 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) D 27063 27065 27036 0 -1 4202560 288 0 0 0 0 0 0 0 24 0 4 0 495285763 187658240 1457 33554432000 4194304 4627427 140734640217952 18446744073709551615 220815897285 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 183260 [startup+0.100814 s] /proc/loadavg: 0.00 0.00 0.01 1/172 27065 /proc/meminfo: memFree=25654204/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=390244 CPUtime=0.22 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 23238 0 0 0 15 7 0 0 17 0 4 0 495285762 399609856 19028 33554432000 4194304 4627427 140734640217952 18446744073709551615 220816341535 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 97561 19094 339 106 0 92532 0 [pid=27065/tid=27066] ppid=27063 vsize=390244 CPUtime=0.03 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) S 27063 27065 27036 0 -1 4202560 5655 0 0 0 2 1 0 0 17 0 4 0 495285763 399609856 19249 33554432000 4194304 4627427 140734640217952 18446744073709551615 220816341486 0 0 4096 2 18446604453946067072 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=390244 CPUtime=0.06 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 5680 0 0 0 5 1 0 0 17 0 4 0 495285763 399609856 19343 33554432000 4194304 4627427 140734640217952 18446744073709551615 220815901600 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=390244 CPUtime=0.05 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) S 27063 27065 27036 0 -1 4202560 5964 0 0 0 3 2 0 0 17 0 4 0 495285763 399609856 19343 33554432000 4194304 4627427 140734640217952 18446744073709551615 220816341486 0 0 4096 2 18446604453946067072 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 390244 [startup+0.341611 s] /proc/loadavg: 0.00 0.00 0.01 1/172 27065 /proc/meminfo: memFree=25654204/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=431544 CPUtime=1.08 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 39428 0 0 0 95 13 0 0 17 0 4 0 495285762 441901056 30973 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 107886 30973 364 106 0 102857 0 [pid=27065/tid=27066] ppid=27063 vsize=431544 CPUtime=0.24 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 9721 0 0 0 22 2 0 0 18 0 4 0 495285763 441901056 30973 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=431544 CPUtime=0.29 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 9168 0 0 0 27 2 0 0 17 0 4 0 495285763 441901056 30973 33554432000 4194304 4627427 140734640217952 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=431544 CPUtime=0.26 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 10149 0 0 0 22 4 0 0 17 0 4 0 495285763 441901056 30973 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 1.08 Current children cumulated vsize (KiB) 431544 [startup+0.700511 s] /proc/loadavg: 0.00 0.00 0.01 1/172 27065 /proc/meminfo: memFree=25654204/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=432248 CPUtime=2.51 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 39621 0 0 0 238 13 0 0 18 0 4 0 495285762 442621952 31166 33554432000 4194304 4627427 140734640217952 18446744073709551615 4297757 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 108062 31166 364 106 0 103033 0 [pid=27065/tid=27066] ppid=27063 vsize=432248 CPUtime=0.6 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 9721 0 0 0 58 2 0 0 18 0 4 0 495285763 442621952 31166 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=432248 CPUtime=0.65 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 9168 0 0 0 63 2 0 0 18 0 4 0 495285763 442621952 31166 33554432000 4194304 4627427 140734640217952 18446744073709551615 4299630 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=432248 CPUtime=0.62 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 10342 0 0 0 58 4 0 0 18 0 4 0 495285763 442621952 31166 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2.51 Current children cumulated vsize (KiB) 432248 [startup+1.50036 s] /proc/loadavg: 0.00 0.00 0.01 10/184 27082 /proc/meminfo: memFree=25350468/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=432436 CPUtime=5.71 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 40919 0 0 0 557 14 0 0 18 0 4 0 495285762 442814464 32347 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 108109 32347 367 106 0 103080 0 [pid=27065/tid=27066] ppid=27063 vsize=432436 CPUtime=1.39 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 10034 0 0 0 137 2 0 0 19 0 4 0 495285763 442814464 32347 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=432436 CPUtime=1.46 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 9569 0 0 0 143 3 0 0 19 0 4 0 495285763 442814464 32347 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=432436 CPUtime=1.42 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 10670 0 0 0 138 4 0 0 19 0 4 0 495285763 442814464 32347 33554432000 4194304 4627427 140734640217952 18446744073709551615 4333037 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 5.71 Current children cumulated vsize (KiB) 432436 [startup+3.10107 s] /proc/loadavg: 0.00 0.00 0.01 9/184 27082 /proc/meminfo: memFree=25345884/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=432436 CPUtime=12.11 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 41999 0 0 0 1197 14 0 0 21 0 4 0 495285762 442814464 33427 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 108109 33427 368 106 0 103080 0 [pid=27065/tid=27066] ppid=27063 vsize=432436 CPUtime=2.99 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 10034 0 0 0 297 2 0 0 24 0 4 0 495285763 442814464 33427 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=432436 CPUtime=3.06 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 9569 0 0 0 303 3 0 0 24 0 4 0 495285763 442814464 33427 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=432436 CPUtime=3.02 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 11750 0 0 0 298 4 0 0 24 0 4 0 495285763 442814464 33427 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 12.11 Current children cumulated vsize (KiB) 432436 [startup+6.30048 s] /proc/loadavg: 0.64 0.13 0.05 9/184 27082 /proc/meminfo: memFree=25332948/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=432436 CPUtime=24.88 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 42535 0 0 0 2474 14 0 0 25 0 4 0 495285762 442814464 33963 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 108109 33963 368 106 0 103080 0 [pid=27065/tid=27066] ppid=27063 vsize=432436 CPUtime=6.17 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 10034 0 0 0 615 2 0 0 25 0 4 0 495285763 442814464 33963 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=432436 CPUtime=6.26 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 9569 0 0 0 623 3 0 0 25 0 4 0 495285763 442814464 33963 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=432436 CPUtime=6.21 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 12286 0 0 0 617 4 0 0 25 0 4 0 495285763 442814464 33963 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 24.88 Current children cumulated vsize (KiB) 432436 [startup+12.7003 s] /proc/loadavg: 1.23 0.26 0.09 9/184 27082 /proc/meminfo: memFree=25323152/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=437028 CPUtime=50.44 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 44910 0 0 0 5029 15 0 0 25 0 4 0 495285762 447516672 34662 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 109257 34662 370 106 0 104228 0 [pid=27065/tid=27066] ppid=27063 vsize=437028 CPUtime=12.53 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 10056 0 0 0 1251 2 0 0 25 0 4 0 495285763 447516672 34662 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=437028 CPUtime=12.66 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 9615 0 0 0 1263 3 0 0 25 0 4 0 495285763 447516672 34662 33554432000 4194304 4627427 140734640217952 18446744073709551615 4299657 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=437028 CPUtime=12.61 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 14551 0 0 0 1256 5 0 0 25 0 4 0 495285763 447516672 34662 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 50.44 Current children cumulated vsize (KiB) 437028 [startup+25.5009 s] /proc/loadavg: 2.73 0.64 0.22 9/184 27082 /proc/meminfo: memFree=25033096/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=525956 CPUtime=101.56 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 101900 0 0 0 10130 26 0 0 25 0 4 0 495285762 538578944 75997 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308499 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 131489 75997 391 106 0 126460 0 [pid=27065/tid=27066] ppid=27063 vsize=525956 CPUtime=25.27 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 22471 0 0 0 2522 5 0 0 25 0 4 0 495285763 538578944 75997 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=525956 CPUtime=25.44 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 21013 0 0 0 2538 6 0 0 25 0 4 0 495285763 538578944 75997 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=525956 CPUtime=25.41 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 33569 0 0 0 2534 7 0 0 25 0 4 0 495285763 538578944 75997 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308493 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 101.56 Current children cumulated vsize (KiB) 525956 [startup+51.1012 s] /proc/loadavg: 4.60 1.25 0.43 9/184 27083 /proc/meminfo: memFree=22751020/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=1429168 CPUtime=203.81 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 313571 0 0 0 20314 67 0 0 25 0 4 0 495285762 1463468032 276790 33554432000 4194304 4627427 140734640217952 18446744073709551615 4239019 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 357292 276790 391 106 0 352263 0 [pid=27065/tid=27066] ppid=27063 vsize=1429168 CPUtime=50.73 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 73126 0 0 0 5060 13 0 0 25 0 4 0 495285763 1463468032 276790 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=1429168 CPUtime=51.04 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 71520 0 0 0 5088 16 0 0 25 0 4 0 495285763 1463468032 276790 33554432000 4194304 4627427 140734640217952 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=1429168 CPUtime=51 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 95992 0 0 0 5081 19 0 0 25 0 4 0 495285763 1463468032 276790 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 203.81 Current children cumulated vsize (KiB) 1429168 [startup+102.301 s] /proc/loadavg: 6.64 2.32 0.83 9/184 27084 /proc/meminfo: memFree=21819332/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=1603832 CPUtime=408.36 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 392569 0 0 0 40750 86 0 0 25 0 4 0 495285762 1642323968 314167 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308280 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 400958 314167 391 106 0 395929 0 [pid=27065/tid=27066] ppid=27063 vsize=1603832 CPUtime=101.68 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 89223 0 0 0 10150 18 0 0 25 0 4 0 495285763 1642323968 314167 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=1603832 CPUtime=102.24 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 87539 0 0 0 10204 20 0 0 25 0 4 0 495285763 1642323968 314167 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=1603832 CPUtime=102.21 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 125699 0 0 0 10195 26 0 0 25 0 4 0 495285763 1642323968 314167 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308265 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 408.36 Current children cumulated vsize (KiB) 1603832 [startup+162.301 s] ################ # More data... # ################ [pid=27065] ppid=27063 vsize=1896364 CPUtime=2565.6 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 786021 0 0 0 256362 198 0 0 25 0 4 0 495285762 1941876736 392261 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 474091 392261 399 106 0 469062 0 [pid=27065/tid=27066] ppid=27063 vsize=1896364 CPUtime=638.96 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 183588 0 0 0 63848 48 0 0 25 0 4 0 495285763 1941876736 392261 33554432000 4194304 4627427 140734640217952 18446744073709551615 4321603 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=1896364 CPUtime=642.23 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 185505 0 0 0 64177 46 0 0 25 0 4 0 495285763 1941876736 392261 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=1896364 CPUtime=642.21 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 224117 0 0 0 64168 53 0 0 25 0 4 0 495285763 1941876736 392261 33554432000 4194304 4627427 140734640217952 18446744073709551615 4333237 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2565.6 Current children cumulated vsize (KiB) 1896364 [startup+702.301 s] /proc/loadavg: 8.11 7.31 4.26 9/184 27100 /proc/meminfo: memFree=20812172/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=2044516 CPUtime=2805.29 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 822632 0 0 0 280318 211 0 0 25 0 4 0 495285762 2093584384 400969 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 511129 400969 402 106 0 506100 0 [pid=27065/tid=27066] ppid=27063 vsize=2044516 CPUtime=698.65 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 192532 0 0 0 69812 53 0 0 25 0 4 0 495285763 2093584384 400969 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=2044516 CPUtime=702.23 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 190371 0 0 0 70175 48 0 0 25 0 4 0 495285763 2093584384 400969 33554432000 4194304 4627427 140734640217952 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=2044516 CPUtime=702.22 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 237650 0 0 0 70165 57 0 0 25 0 4 0 495285763 2093584384 400969 33554432000 4194304 4627427 140734640217952 18446744073709551615 4468055 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 2805.29 Current children cumulated vsize (KiB) 2044516 [startup+762.301 s] /proc/loadavg: 8.13 7.46 4.50 9/184 27102 /proc/meminfo: memFree=20767240/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=2028040 CPUtime=3044.99 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 854628 0 0 0 304276 223 0 0 25 0 4 0 495285762 2076712960 393353 33554432000 4194304 4627427 140734640217952 18446744073709551615 4222312 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 507010 393353 399 106 0 501981 0 [pid=27065/tid=27066] ppid=27063 vsize=2028040 CPUtime=758.34 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 200292 0 0 0 75779 55 0 0 25 0 4 0 495285763 2076712960 393353 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=2028040 CPUtime=762.23 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 196790 0 0 0 76172 51 0 0 25 0 4 0 495285763 2076712960 393353 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=2028040 CPUtime=762.23 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 248928 0 0 0 76162 61 0 0 25 0 4 0 495285763 2076712960 393353 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3044.99 Current children cumulated vsize (KiB) 2028040 [startup+822.301 s] /proc/loadavg: 8.41 7.65 4.75 10/185 27107 /proc/meminfo: memFree=20630000/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=2036004 CPUtime=3283.89 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 895303 0 0 0 328150 239 0 0 25 0 4 0 495285762 2084868096 404031 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308139 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 509001 404031 392 106 0 503972 0 [pid=27065/tid=27066] ppid=27063 vsize=2036004 CPUtime=817.4 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 209275 0 0 0 81681 59 0 0 25 0 4 0 495285763 2084868096 404031 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=2036004 CPUtime=822.08 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 206246 0 0 0 82153 55 0 0 25 0 4 0 495285763 2084868096 404031 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=2036004 CPUtime=822.23 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 256253 0 0 0 82158 65 0 0 25 0 4 0 495285763 2084868096 404031 33554432000 4194304 4627427 140734640217952 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3283.89 Current children cumulated vsize (KiB) 2036004 [startup+882.307 s] /proc/loadavg: 8.22 7.74 4.96 9/184 27108 /proc/meminfo: memFree=20644200/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=2038212 CPUtime=3523.55 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 929725 0 0 0 352105 250 0 0 25 0 4 0 495285762 2087129088 403973 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 509553 403973 391 106 0 504524 0 [pid=27065/tid=27066] ppid=27063 vsize=2038212 CPUtime=877.05 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 215931 0 0 0 87644 61 0 0 25 0 4 0 495285763 2087129088 403973 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=2038212 CPUtime=882.09 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 216779 0 0 0 88150 59 0 0 25 0 4 0 495285763 2087129088 403973 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=2038212 CPUtime=882.23 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 266259 0 0 0 88154 69 0 0 25 0 4 0 495285763 2087129088 403973 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3523.55 Current children cumulated vsize (KiB) 2038212 [startup+942.301 s] /proc/loadavg: 8.15 7.81 5.16 9/184 27110 /proc/meminfo: memFree=20612572/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=2040556 CPUtime=3763.21 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 962995 0 0 0 376058 263 0 0 25 0 4 0 495285762 2089529344 403921 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 510139 403921 391 106 0 505110 0 [pid=27065/tid=27066] ppid=27063 vsize=2040556 CPUtime=936.73 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 225254 0 0 0 93608 65 0 0 25 0 4 0 495285763 2089529344 403921 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=2040556 CPUtime=942.08 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 223579 0 0 0 94146 62 0 0 25 0 4 0 495285763 2089529344 403921 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=2040556 CPUtime=942.23 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 273712 0 0 0 94151 72 0 0 25 0 4 0 495285763 2089529344 403921 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 3763.21 Current children cumulated vsize (KiB) 2040556 [startup+1002.3 s] /proc/loadavg: 8.09 7.86 5.34 9/184 27111 /proc/meminfo: memFree=20585252/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=2042988 CPUtime=4002.89 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 997081 0 0 0 400015 274 0 0 25 0 4 0 495285762 2092019712 403911 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 510747 403911 391 106 0 505718 0 [pid=27065/tid=27066] ppid=27063 vsize=2042988 CPUtime=996.42 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 232489 0 0 0 99575 67 0 0 25 0 4 0 495285763 2092019712 403911 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=2042988 CPUtime=1002.08 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 233365 0 0 0 100143 65 0 0 25 0 4 0 495285763 2092019712 403911 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=2042988 CPUtime=1002.23 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 283894 0 0 0 100148 75 0 0 25 0 4 0 495285763 2092019712 403911 33554432000 4194304 4627427 140734640217952 18446744073709551615 4321862 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4002.89 Current children cumulated vsize (KiB) 2042988 [startup+1062.3 s] /proc/loadavg: 8.06 7.89 5.51 9/184 27113 /proc/meminfo: memFree=20456632/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=2269424 CPUtime=4242.57 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 1040044 0 0 0 423971 286 0 0 25 0 4 0 495285762 2323890176 419242 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 567356 419243 391 106 0 562327 0 [pid=27065/tid=27066] ppid=27063 vsize=2269424 CPUtime=1056.1 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 249567 0 0 0 105539 71 0 0 25 0 4 0 495285763 2323890176 419243 33554432000 4194304 4627427 140734640217952 18446744073709551615 4222309 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=2269424 CPUtime=1062.09 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 240851 0 0 0 106141 68 0 0 25 0 4 0 495285763 2323890176 419243 33554432000 4194304 4627427 140734640217952 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=2269424 CPUtime=1062.23 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 295597 0 0 0 106145 78 0 0 25 0 4 0 495285763 2323890176 419243 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4242.57 Current children cumulated vsize (KiB) 2269424 [startup+1122.3 s] /proc/loadavg: 8.02 7.91 5.66 9/184 27115 /proc/meminfo: memFree=20312004/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=2180968 CPUtime=4482.25 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 1072358 0 0 0 447928 297 0 0 25 0 4 0 495285762 2233311232 423677 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 545242 423677 391 106 0 540213 0 [pid=27065/tid=27066] ppid=27063 vsize=2180968 CPUtime=1115.78 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 256563 0 0 0 111505 73 0 0 25 0 4 0 495285763 2233311232 423677 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=2180968 CPUtime=1122.08 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 248248 0 0 0 112137 71 0 0 25 0 4 0 495285763 2233311232 423677 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=2180968 CPUtime=1122.23 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 302439 0 0 0 112143 80 0 0 25 0 4 0 495285763 2233311232 423677 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4482.25 Current children cumulated vsize (KiB) 2180968 [startup+1182.3 s] /proc/loadavg: 8.07 7.94 5.81 9/184 27116 /proc/meminfo: memFree=20281084/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=2224300 CPUtime=4721.94 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 1103883 0 0 0 471887 307 0 0 25 0 4 0 495285762 2277683200 421102 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 556075 421102 391 106 0 551046 0 [pid=27065/tid=27066] ppid=27063 vsize=2224300 CPUtime=1175.47 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 263230 0 0 0 117471 76 0 0 25 0 4 0 495285763 2277683200 421102 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=2224300 CPUtime=1182.09 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 255105 0 0 0 118136 73 0 0 25 0 4 0 495285763 2277683200 421102 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=2224300 CPUtime=1182.23 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 309551 0 0 0 118141 82 0 0 25 0 4 0 495285763 2277683200 421102 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4721.94 Current children cumulated vsize (KiB) 2224300 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1201.9 s] /proc/loadavg: 8.05 7.94 5.86 10/184 27117 /proc/meminfo: memFree=20229984/32951124 swapFree=67111524/67111528 [pid=27065] ppid=27063 vsize=2188592 CPUtime=4800.25 cores=0,2,4,6 /proc/27065/stat : 27065 (strangenight2-m) R 27063 27065 27036 0 -1 4202496 1123138 0 0 0 479713 312 0 0 25 0 4 0 495285762 2241118208 433075 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0 /proc/27065/statm: 547148 433075 391 106 0 542119 0 [pid=27065/tid=27066] ppid=27063 vsize=2188592 CPUtime=1194.97 cores=0,2,4,6 /proc/27065/task/27066/stat : 27066 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 267589 0 0 0 119420 77 0 0 25 0 4 0 495285763 2241118208 433075 33554432000 4194304 4627427 140734640217952 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0 [pid=27065/tid=27067] ppid=27063 vsize=2188592 CPUtime=1201.68 cores=0,2,4,6 /proc/27065/task/27067/stat : 27067 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 267471 0 0 0 120093 75 0 0 25 0 4 0 495285763 2241118208 433075 33554432000 4194304 4627427 140734640217952 18446744073709551615 4409155 0 0 4096 2 0 0 0 -1 0 0 0 0 [pid=27065/tid=27068] ppid=27063 vsize=2188592 CPUtime=1201.84 cores=0,2,4,6 /proc/27065/task/27068/stat : 27068 (strangenight2-m) R 27063 27065 27036 0 -1 4202560 310786 0 0 0 120101 83 0 0 25 0 4 0 495285763 2241118208 433075 33554432000 4194304 4627427 140734640217952 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0 Current children cumulated CPU time (s) 4800.25 Current children cumulated vsize (KiB) 2188592 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): 1201.99 CPU time (s): 4800.37 CPU user time (s): 4797.16 CPU system time (s): 3.20451 CPU usage (%): 399.367 Max. virtual memory (cumulated for all children) (KiB): 2318268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4797.16 system time used= 3.20451 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1123138 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= 11183 involuntary context switches= 22089 runsolver used 1.80173 second user time and 4.42333 second system time The end
Begin job on node147 at 2011-04-29 00:11:39 IDJOB=3282112 IDBENCH=70781 IDSOLVER=1586 FILE ID=node147/3282112-1304028698 RUNJOBID= node147-1304028687-27054 PBS_JOBID= 13170305 Free space on /tmp= 72656 MiB SOLVER NAME= CryptoMiniSat Strange-Night-2-mt BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitssrl/countbitssrl064.cnf COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3282112-1304028698/watcher-3282112-1304028698 -o /tmp/evaluation-result-3282112-1304028698/solver-3282112-1304028698 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3282112-1304028698.cnf TIME LIMIT= 4800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4f9c883534eb89cad9b9cad9e6eccbd0 RANDOM SEED=1665901290 node147.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.836 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.67 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.836 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.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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.76 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.836 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.836 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: 32951124 kB MemFree: 25654492 kB Buffers: 1016712 kB Cached: 5771956 kB SwapCached: 4 kB Active: 1203444 kB Inactive: 5649352 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 25654492 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 9572 kB Writeback: 0 kB AnonPages: 63980 kB Mapped: 14424 kB Slab: 380880 kB PageTables: 4496 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 185176 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= 72640 MiB End job on node147 at 2011-04-29 00:31:43