Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.12 | 1800.7 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-circ10_3.opb |
MD5SUM | 2821538067d8c071dc9bd4a000c6d040 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 336 |
Best CPU time to get the best result obtained on this benchmark | 1800.39 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 340 |
Optimality of the best value was proved | NO |
Number of variables | 2700 |
Total number of constraints | 42620 |
Number of constraints which are clauses | 20220 |
Number of constraints which are cardinality constraints (but not clauses) | 800 |
Number of constraints which are nor clauses,nor cardinality constraints | 21600 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 36 |
Number of terms in the objective function | 900 |
Biggest coefficient in the objective function | 5 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 2500 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 32 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 2500 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655974-1276400534.opb. 0.00/0.00 c Instance file HOME/instance-2655974-1276400534.opb 0.00/0.00 c File size is 3053421 bytes. 0.39/0.49 c Highest Coefficient sum: 80 0.39/0.49 c ============================[ Problem Statistics ]============================= 0.39/0.49 c | | 0.39/0.49 c | Parsing time: 0.47 s | 0.39/0.49 c | Number Variables: 2700 | 0.39/0.49 c | Number Clauses: 20670 | 0.39/0.49 c | Number Cardinality: 800 | 0.39/0.49 c | Number PB Constraints: 21600 | 0.79/0.85 c ============================[ Search Statistics ]============================== 0.79/0.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.79/0.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.79/0.85 c =============================================================================== 0.79/0.85 c | 0 | 2700 43070 312360 | 14356 0 nan | 0.000 % | 0.79/0.85 c | 102 | 2700 43070 312360 | 15792 102 55 | 0.000 % | 0.79/0.87 c | 253 | 2700 43070 312360 | 17371 253 67 | 0.000 % | 0.89/0.93 c | 481 | 2700 43070 312360 | 19108 481 62 | 0.000 % | 1.19/1.20 c | 819 | 2700 43070 312360 | 21019 819 133 | 0.000 % | 1.59/1.66 c | 1325 | 2700 43070 312360 | 23121 1325 149 | 0.000 % | 1.69/1.71 c =============================================================================== 1.69/1.71 c New solution: 384 1.69/1.71 o 384 1.69/1.71 c Elapsed CPU time: 1.68374 s Remaining CPU time: 178.316 s 1.69/1.71 c =============================================================================== 1.69/1.71 c | 1345 | 2700 43071 313260 | 14357 1345 147 | 0.000 % | 1.69/1.79 c | 1446 | 2700 43071 313260 | 15792 1446 153 | 0.000 % | 1.79/1.88 c | 1596 | 2700 43071 313260 | 17371 1596 148 | 0.000 % | 1.89/2.00 c | 1821 | 2700 43071 313260 | 19109 1821 154 | 0.000 % | 1.99/2.06 c | 2159 | 2700 43071 313260 | 21020 2159 136 | 0.000 % | 2.10/2.14 c | 2665 | 2700 43071 313260 | 23122 2665 115 | 0.000 % | 2.69/2.77 c | 3424 | 2700 43071 313260 | 25434 3424 144 | 0.000 % | 3.79/3.84 c =============================================================================== 3.79/3.84 c New solution: 382 3.79/3.85 o 382 3.79/3.85 c Elapsed CPU time: 3.80242 s Remaining CPU time: 176.198 s 3.79/3.85 c =============================================================================== 3.79/3.85 c | 4433 | 2700 43072 314160 | 14357 4433 182 | 0.000 % | 3.79/3.88 c | 4533 | 2700 43072 314160 | 15793 4533 179 | 0.000 % | 3.89/3.90 c | 4685 | 2700 43072 314160 | 17372 4685 174 | 0.000 % | 3.89/3.99 c | 4911 | 2700 43072 314160 | 19109 4911 169 | 0.000 % | 3.99/4.07 c | 5248 | 2700 43072 314160 | 21020 5248 161 | 0.000 % | 4.09/4.17 c | 5757 | 2700 43072 314160 | 23122 5757 149 | 0.000 % | 4.30/4.31 c =============================================================================== 4.30/4.31 c New solution: 376 4.30/4.31 o 376 4.30/4.31 c Elapsed CPU time: 4.26035 s Remaining CPU time: 175.74 s 4.30/4.31 c =============================================================================== 4.30/4.31 c | 6366 | 2700 43073 315060 | 14357 6366 138 | 0.000 % | 4.30/4.33 c | 6468 | 2700 43073 315060 | 15793 6468 136 | 0.000 % | 4.40/4.43 c | 6622 | 2700 43073 315060 | 17372 6622 135 | 0.000 % | 4.59/4.63 c | 6847 | 2700 43073 315060 | 19110 6847 136 | 0.000 % | 4.89/4.92 c | 7184 | 2700 43073 315060 | 21021 7184 138 | 0.000 % | 5.40/5.44 c | 7692 | 2700 43073 315060 | 23123 7692 141 | 0.000 % | 5.69/5.78 c | 8451 | 2700 43073 315060 | 25435 8451 139 | 0.000 % | 6.88/6.91 c | 9590 | 2700 43073 315060 | 27979 9590 155 | 0.000 % | 8.89/8.93 c | 11299 | 2700 43073 315060 | 30776 11299 158 | 0.000 % | 12.00/12.08 c | 13863 | 2700 43073 315060 | 33854 13863 175 | 0.000 % | 16.89/16.96 c | 17707 | 2700 43073 315060 | 37240 17707 196 | 0.000 % | 25.79/25.83 c | 23474 | 2700 43073 315060 | 40964 23474 225 | 0.000 % | 40.08/40.18 c | 32124 | 2700 43073 315060 | 45060 32124 225 | 0.000 % | 41.48/41.51 c =============================================================================== 41.48/41.51 c New solution: 374 41.48/41.51 o 374 41.48/41.51 c Elapsed CPU time: 41.2437 s Remaining CPU time: 138.756 s 41.48/41.51 c =============================================================================== 41.48/41.51 c | 33022 | 2700 43074 315960 | 14358 33022 225 | 0.000 % | 41.58/41.66 c | 33126 | 2700 43074 315960 | 15793 12124 220 | 0.000 % | 41.69/41.80 c | 33280 | 2700 43074 315960 | 17373 12278 219 | 0.000 % | 42.08/42.10 c | 33506 | 2700 43074 315960 | 19110 12504 218 | 0.000 % | 42.18/42.27 c | 33844 | 2700 43074 315960 | 21021 12842 216 | 0.000 % | 42.67/42.73 c | 34350 | 2700 43074 315960 | 23123 13348 213 | 0.000 % | 43.48/43.56 c =============================================================================== 43.48/43.56 c New solution: 370 43.48/43.56 o 370 43.48/43.56 c Elapsed CPU time: 43.2744 s Remaining CPU time: 136.726 s 43.48/43.56 c =============================================================================== 43.48/43.56 c | 35069 | 2700 43075 316860 | 14358 14067 212 | 0.000 % | 43.67/43.72 c | 35169 | 2700 43075 316860 | 15794 14167 211 | 0.000 % | 43.78/43.84 c | 35322 | 2700 43075 316860 | 17373 14320 210 | 0.000 % | 43.89/43.96 c | 35547 | 2700 43075 316860 | 19110 14545 207 | 0.000 % | 43.99/44.10 c | 35884 | 2700 43075 316860 | 21022 14882 205 | 0.000 % | 44.38/44.46 c | 36390 | 2700 43075 316860 | 23124 15388 202 | 0.000 % | 44.77/44.83 c | 37152 | 2700 43075 316860 | 25436 16150 196 | 0.000 % | 46.08/46.13 c | 38295 | 2700 43075 316860 | 27980 17293 200 | 0.000 % | 48.57/48.60 c | 40003 | 2700 43075 316860 | 30778 19001 210 | 0.000 % | 51.47/51.56 c | 42565 | 2700 43075 316860 | 33856 21563 210 | 0.000 % | 58.17/58.29 c | 46410 | 2700 43075 316860 | 37241 25408 227 | 0.000 % | 66.37/66.43 c | 52176 | 2700 43075 316860 | 40966 31174 246 | 0.000 % | 72.76/72.84 c | 60825 | 2700 43075 316860 | 45062 39823 212 | 0.000 % | 77.97/78.06 c =============================================================================== 77.97/78.06 c New solution: 368 77.97/78.06 o 368 77.97/78.06 c Elapsed CPU time: 77.5442 s Remaining CPU time: 102.456 s 77.97/78.06 c =============================================================================== 77.97/78.06 c | 64146 | 2700 43076 317760 | 14358 43144 224 | 0.000 % | 78.16/78.22 c | 64247 | 2700 43076 317760 | 15794 12382 161 | 0.000 % | 78.26/78.32 c | 64397 | 2700 43076 317760 | 17373 12532 160 | 0.000 % | 78.46/78.56 c | 64622 | 2700 43076 317760 | 19111 12757 160 | 0.000 % | 78.87/78.95 c | 64959 | 2700 43076 317760 | 21022 13094 161 | 0.000 % | 79.36/79.46 c | 65465 | 2700 43076 317760 | 23124 13600 162 | 0.000 % | 79.96/80.07 c | 66224 | 2700 43076 317760 | 25437 14359 165 | 0.000 % | 80.66/80.74 c | 67363 | 2700 43076 317760 | 27980 15498 161 | 0.000 % | 81.27/81.37 c | 69071 | 2700 43076 317760 | 30779 17206 151 | 0.000 % | 83.96/84.01 c | 71635 | 2700 43076 317760 | 33856 19770 163 | 0.000 % | 84.96/85.05 c | 75480 | 2700 43076 317760 | 37242 23615 144 | 0.000 % | 86.95/87.10 c | 81246 | 2700 43076 317760 | 40966 29381 125 | 0.000 % | 94.06/94.16 c =============================================================================== 94.06/94.16 c New solution: 360 94.06/94.16 o 360 94.06/94.16 c Elapsed CPU time: 93.5158 s Remaining CPU time: 86.4842 s 94.06/94.16 c =============================================================================== 94.06/94.16 c | 87213 | 2700 43077 318660 | 14359 35348 152 | 0.000 % | 94.26/94.30 c | 87313 | 2700 43077 318660 | 15794 12417 159 | 0.000 % | 94.26/94.39 c | 87463 | 2700 43077 318660 | 17374 12567 158 | 0.000 % | 94.56/94.63 c | 87688 | 2700 43077 318660 | 19111 12792 158 | 0.000 % | 94.86/94.90 c | 88027 | 2700 43077 318660 | 21023 13131 157 | 0.000 % | 94.95/95.05 c | 88534 | 2700 43077 318660 | 23125 13638 153 | 0.000 % | 95.06/95.19 c | 89294 | 2700 43077 318660 | 25437 14398 147 | 0.000 % | 95.35/95.42 c | 90434 | 2700 43077 318660 | 27981 15538 139 | 0.000 % | 97.36/97.47 c | 92142 | 2700 43077 318660 | 30779 17246 155 | 0.000 % | 100.75/100.89 c | 94704 | 2700 43077 318660 | 33857 19808 180 | 0.000 % | 104.46/104.51 c | 98549 | 2700 43077 318660 | 37243 23653 173 | 0.000 % | 114.06/114.17 c | 104318 | 2700 43077 318660 | 40967 29422 212 | 0.000 % | 124.75/124.85 c | 112967 | 2700 43077 318660 | 45064 38071 232 | 0.000 % | 150.84/150.90 c | 125942 | 2700 43077 318660 | 49571 16744 337 | 0.000 % | 161.43/161.58 c =============================================================================== 161.43/161.58 c New solution: 356 161.43/161.58 o 356 161.43/161.58 c Elapsed CPU time: 160.533 s Remaining CPU time: 19.4674 s 161.43/161.58 c =============================================================================== 161.43/161.58 c | 134135 | 2700 43078 319560 | 14359 24937 336 | 0.000 % | 161.55/161.67 c | 134237 | 2700 43078 319560 | 15795 11781 337 | 0.000 % | 161.65/161.75 c | 134387 | 2700 43078 319560 | 17374 11931 334 | 0.000 % | 161.84/161.96 c | 134613 | 2700 43078 319560 | 19112 12157 330 | 0.000 % | 162.04/162.16 c | 134952 | 2700 43078 319560 | 21023 12496 323 | 0.000 % | 162.64/162.74 c | 135459 | 2700 43078 319560 | 23125 13003 321 | 0.000 % | 163.44/163.51 c | 136218 | 2700 43078 319560 | 25438 13762 313 | 0.000 % | 164.95/165.08 c | 137357 | 2700 43078 319560 | 27982 14901 318 | 0.000 % | 167.04/167.16 c | 139066 | 2700 43078 319560 | 30780 16610 311 | 0.000 % | 170.13/170.23 c | 141630 | 2700 43078 319560 | 33858 19174 298 | 0.000 % | 174.33/174.48 c | 145474 | 2700 43078 319560 | 37244 23018 303 | 0.000 % | 175.93/176.09 c | 151240 | 2700 43078 319560 | 40968 28784 252 | 0.000 % | 177.33/177.45 c =============================================================================== 177.33/177.45 c New solution: 350 177.33/177.45 o 350 177.33/177.45 c Elapsed CPU time: 176.268 s Remaining CPU time: 3.7318 s 177.33/177.45 c =============================================================================== 177.33/177.45 c | 152792 | 2700 43079 320460 | 14359 30336 248 | 0.000 % | 177.43/177.54 c | 152892 | 2700 43079 320460 | 15795 11723 155 | 0.000 % | 177.52/177.61 c | 153042 | 2700 43079 320460 | 17375 11873 154 | 0.000 % | 177.52/177.68 c | 153267 | 2700 43079 320460 | 19112 12098 152 | 0.000 % | 177.82/177.99 c | 153604 | 2700 43079 320460 | 21023 12435 152 | 0.000 % | 178.43/178.55 c | 154113 | 2700 43079 320460 | 23126 12944 153 | 0.000 % | 179.13/179.26 c | 154872 | 2700 43079 320460 | 25439 13703 153 | 0.000 % | 180.53/180.63 c | 156011 | 2700 43079 320460 | 27982 14842 157 | 0.000 % | 181.12/181.22 c There are 0 assigned variables. 0 in cost function. 190.52/190.66 c core #1 190.52/190.66 c core #2 190.52/190.66 c core #3 190.52/190.66 c core #4 190.52/190.66 c core #5 190.52/190.66 c core #6 190.52/190.66 c core #7 190.52/190.66 c core #8 190.52/190.66 c core #9 190.52/190.66 c core #10 190.52/190.66 c core #11 190.52/190.66 c core #12 190.52/190.66 c core #13 190.52/190.66 c core #14 190.52/190.66 c core #15 190.52/190.66 c core #16 190.52/190.66 c core #17 190.52/190.66 c core #18 190.52/190.66 c core #19 190.52/190.66 c core #20 190.52/190.66 c core #21 190.52/190.66 c core #22 190.52/190.66 c core #23 190.52/190.66 c core #24 190.52/190.66 c core #25 190.52/190.66 c core #26 190.52/190.66 c core #27 190.52/190.66 c core #28 190.52/190.66 c core #29 190.52/190.66 c core #30 190.52/190.66 c core #31 190.52/190.66 c core #32 190.52/190.66 c core #33 190.52/190.66 c core #34 190.52/190.66 c core #35 190.52/190.66 c core #36 190.52/190.66 c core #37 190.52/190.66 c core #38 190.52/190.66 c core #39 190.52/190.66 c core #40 190.52/190.66 c core #41 190.52/190.66 c core #42 190.52/190.66 c core #43 190.52/190.66 c core #44 190.52/190.66 c core #45 190.52/190.66 c core #46 190.52/190.66 c core #47 190.52/190.66 c core #48 190.52/190.66 c core #49 190.52/190.66 c core #50 190.52/190.66 c core #51 190.52/190.66 c core #52 190.52/190.66 c core #53 190.52/190.66 c core #54 190.52/190.66 c core #55 190.52/190.66 c core #56 190.52/190.66 c core #57 190.52/190.66 c core #58 190.52/190.66 c core #59 190.52/190.66 c core #60 190.52/190.66 c core #61 190.52/190.66 c core #62 190.52/190.66 c core #63 190.52/190.66 c core #64 190.52/190.66 c core #65 190.52/190.66 c core #66 190.52/190.66 c core #67 190.52/190.66 c core #68 190.52/190.66 c core #69 190.52/190.66 c core #70 190.52/190.66 c core #71 190.52/190.66 c core #72 190.52/190.66 c core #73 190.52/190.66 c core #74 190.52/190.66 c core #75 190.52/190.66 c core #76 190.52/190.66 c core #77 190.52/190.66 c core #78 190.52/190.66 c core #79 190.52/190.66 c core #80 190.52/190.66 c core #81 190.52/190.66 c core #82 190.52/190.66 c core #83 190.52/190.66 c core #84 190.52/190.66 c core #85 190.52/190.66 c core #86 190.52/190.66 c core #87 190.52/190.66 c core #88 190.52/190.66 c core #89 190.52/190.66 c core #90 190.52/190.66 c core #91 190.52/190.66 c core #92 190.52/190.66 c core #93 190.52/190.66 c core #94 190.52/190.67 c core #95 190.52/190.67 c core #96 190.52/190.67 c core #97 190.52/190.67 c core #98 190.52/190.67 c core #99 190.52/190.67 c core #100 190.52/190.67 c ============================[ Search Statistics ]============================== 190.52/190.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.52/190.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.52/190.67 c =============================================================================== 190.52/190.67 c | 0 | 3110 44890 148990 | 14963 0 nan | 0.000 % | 190.52/190.67 c =============================================================================== 190.72/190.82 c core #101 190.72/190.82 c ============================[ Search Statistics ]============================== 190.72/190.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.72/190.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.72/190.82 c =============================================================================== 190.72/190.82 c | 0 | 3123 44894 149167 | 14964 0 nan | 0.000 % | 190.72/190.85 c =============================================================================== 190.82/190.98 c core #102 190.82/190.98 c ============================[ Search Statistics ]============================== 190.82/190.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.82/190.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.82/190.98 c =============================================================================== 190.82/190.98 c | 0 | 3134 44900 149184 | 14966 0 nan | 0.000 % | 190.82/190.99 c =============================================================================== 191.02/191.14 c core #103 191.02/191.14 c ============================[ Search Statistics ]============================== 191.02/191.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.02/191.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.02/191.14 c =============================================================================== 191.02/191.14 c | 0 | 3153 44902 149317 | 14967 0 nan | 0.000 % | 191.02/191.17 c =============================================================================== 191.23/191.31 c core #104 191.23/191.31 c ============================[ Search Statistics ]============================== 191.23/191.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.23/191.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.23/191.31 c =============================================================================== 191.23/191.31 c | 0 | 3223 44927 151049 | 14975 0 nan | 0.000 % | 191.23/191.34 c =============================================================================== 191.33/191.49 c core #105 191.33/191.49 c ============================[ Search Statistics ]============================== 191.33/191.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.33/191.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.33/191.49 c =============================================================================== 191.33/191.49 c | 0 | 3234 44933 151066 | 14977 0 nan | 0.000 % | 191.43/191.52 c =============================================================================== 191.53/191.66 c core #106 191.53/191.66 c ============================[ Search Statistics ]============================== 191.53/191.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.53/191.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.53/191.66 c =============================================================================== 191.53/191.66 c | 0 | 3247 44937 151243 | 14979 0 nan | 0.000 % | 191.53/191.69 c =============================================================================== 191.72/191.84 c core #107 191.72/191.84 c ============================[ Search Statistics ]============================== 191.72/191.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.72/191.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.72/191.84 c =============================================================================== 191.72/191.84 c | 0 | 3258 44943 151260 | 14981 0 nan | 0.000 % | 191.72/191.88 c =============================================================================== 191.92/192.02 c core #108 191.92/192.02 c ============================[ Search Statistics ]============================== 191.92/192.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.92/192.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.92/192.02 c =============================================================================== 191.92/192.02 c | 0 | 3267 44949 151273 | 14983 0 nan | 0.000 % | 191.92/192.05 c =============================================================================== 192.12/192.20 c core #109 192.12/192.20 c ============================[ Search Statistics ]============================== 192.12/192.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.12/192.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.12/192.20 c =============================================================================== 192.12/192.20 c | 0 | 3280 44953 151450 | 14984 0 nan | 0.000 % | 192.12/192.24 c =============================================================================== 192.22/192.39 c core #110 192.22/192.39 c ============================[ Search Statistics ]============================== 192.22/192.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.22/192.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.22/192.39 c =============================================================================== 192.22/192.39 c | 0 | 3293 44957 151627 | 14985 0 nan | 0.000 % | 192.33/192.42 c =============================================================================== 192.43/192.57 c core #111 192.43/192.57 c ============================[ Search Statistics ]============================== 192.43/192.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.43/192.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.43/192.57 c =============================================================================== 192.43/192.57 c | 0 | 3304 44963 151644 | 14987 0 nan | 0.000 % | 192.52/192.60 c =============================================================================== 192.62/192.74 c core #112 192.62/192.74 c ============================[ Search Statistics ]============================== 192.62/192.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.62/192.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.62/192.74 c =============================================================================== 192.62/192.74 c | 0 | 3314 44969 151659 | 14989 0 nan | 0.000 % | 192.62/192.78 c =============================================================================== 192.83/192.93 c core #113 192.83/192.93 c ============================[ Search Statistics ]============================== 192.83/192.93 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.83/192.93 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.83/192.93 c =============================================================================== 192.83/192.93 c | 0 | 3378 44994 155229 | 14998 0 nan | 0.000 % | 192.83/192.96 c =============================================================================== 193.02/193.10 c core #114 193.02/193.10 c ============================[ Search Statistics ]============================== 193.02/193.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.02/193.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.02/193.10 c =============================================================================== 193.02/193.10 c | 0 | 3414 45010 155382 | 15003 0 nan | 0.000 % | 193.02/193.13 c =============================================================================== 193.12/193.28 c core #115 193.12/193.28 c ============================[ Search Statistics ]============================== 193.12/193.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.12/193.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.12/193.28 c =============================================================================== 193.12/193.28 c | 0 | 3458 45027 157054 | 15009 0 nan | 0.000 % | 193.22/193.32 c =============================================================================== 193.32/193.47 c core #116 193.32/193.47 c ============================[ Search Statistics ]============================== 193.32/193.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.32/193.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.32/193.47 c =============================================================================== 193.32/193.47 c | 0 | 3477 45029 157187 | 15009 0 nan | 0.000 % | 193.32/193.49 c =============================================================================== 193.53/193.64 c core #117 193.53/193.64 c ============================[ Search Statistics ]============================== 193.53/193.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.53/193.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.53/193.64 c =============================================================================== 193.53/193.64 c | 0 | 3498 45031 157228 | 15010 0 nan | 0.000 % | 193.53/193.68 c =============================================================================== 193.72/193.83 c core #118 193.72/193.83 c ============================[ Search Statistics ]============================== 193.72/193.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.72/193.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.72/193.83 c =============================================================================== 193.72/193.83 c | 0 | 3547 45047 158687 | 15015 0 nan | 0.000 % | 193.72/193.87 c =============================================================================== 193.92/194.02 c core #119 193.92/194.02 c ============================[ Search Statistics ]============================== 193.92/194.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.92/194.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.92/194.02 c =============================================================================== 193.92/194.02 c | 0 | 3566 45049 158820 | 15016 0 nan | 0.000 % | 193.92/194.05 c =============================================================================== 194.12/194.20 c core #120 194.12/194.20 c ============================[ Search Statistics ]============================== 194.12/194.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.12/194.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.12/194.20 c =============================================================================== 194.12/194.20 c | 0 | 3576 45055 158835 | 15018 0 nan | 0.000 % | 194.12/194.24 c =============================================================================== 194.32/194.40 c core #121 194.32/194.40 c ============================[ Search Statistics ]============================== 194.32/194.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.32/194.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.32/194.40 c =============================================================================== 194.32/194.40 c | 0 | 3600 45060 159033 | 15020 0 nan | 0.000 % | 194.32/194.42 c =============================================================================== 194.42/194.58 c core #122 194.42/194.58 c ============================[ Search Statistics ]============================== 194.42/194.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.42/194.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.42/194.58 c =============================================================================== 194.42/194.58 c | 0 | 3613 45064 159210 | 15021 0 nan | 0.000 % | 194.53/194.60 c =============================================================================== 194.63/194.76 c core #123 194.63/194.76 c ============================[ Search Statistics ]============================== 194.63/194.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.63/194.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.63/194.76 c =============================================================================== 194.63/194.76 c | 0 | 3662 45081 160858 | 15027 0 nan | 0.000 % | 194.63/194.79 c =============================================================================== 194.82/194.94 c core #124 194.82/194.94 c ============================[ Search Statistics ]============================== 194.82/194.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.82/194.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.82/194.94 c =============================================================================== 194.82/194.94 c | 0 | 3681 45083 160991 | 15027 0 nan | 0.000 % | 194.82/194.98 c | 100 | 3679 45083 160991 | 16530 100 24 | 13.618 % | 194.82/194.99 c =============================================================================== 195.02/195.15 c core #125 195.02/195.15 c ============================[ Search Statistics ]============================== 195.02/195.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.02/195.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.02/195.15 c =============================================================================== 195.02/195.15 c | 0 | 3690 45089 161004 | 15029 0 nan | 0.000 % | 195.02/195.19 c =============================================================================== 195.23/195.35 c core #126 195.23/195.35 c ============================[ Search Statistics ]============================== 195.23/195.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.23/195.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.23/195.35 c =============================================================================== 195.23/195.35 c | 0 | 3758 45113 164738 | 15037 0 nan | 0.000 % | 195.23/195.39 c | 101 | 3758 45113 164738 | 16541 101 29 | 13.056 % | 195.23/195.39 c =============================================================================== 195.43/195.55 c core #127 195.43/195.55 c ============================[ Search Statistics ]============================== 195.43/195.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.43/195.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.43/195.55 c =============================================================================== 195.43/195.55 c | 0 | 3811 45136 166725 | 15045 0 nan | 0.000 % | 195.43/195.60 c =============================================================================== 195.63/195.75 c core #128 195.63/195.75 c ============================[ Search Statistics ]============================== 195.63/195.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.63/195.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.63/195.75 c =============================================================================== 195.63/195.75 c | 0 | 3842 45152 167074 | 15050 0 nan | 0.000 % | 195.63/195.79 c | 100 | 3842 45152 167074 | 16555 100 25 | 12.503 % | 195.73/195.81 c | 251 | 3842 45152 167074 | 18211 251 25 | 12.503 % | 195.73/195.82 c =============================================================================== 195.82/195.98 c core #129 195.82/195.98 c ============================[ Search Statistics ]============================== 195.82/195.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.82/195.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.82/195.98 c =============================================================================== 195.82/195.98 c | 0 | 3853 45158 167091 | 15052 0 nan | 0.000 % | 195.92/196.02 c | 100 | 3849 45158 167091 | 16557 100 18 | 12.608 % | 195.92/196.04 c | 250 | 3847 45158 167091 | 18213 250 18 | 12.653 % | 195.92/196.04 c =============================================================================== 196.12/196.20 c core #130 196.12/196.20 c ============================[ Search Statistics ]============================== 196.12/196.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.12/196.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.12/196.20 c =============================================================================== 196.12/196.20 c | 0 | 3866 45162 167268 | 15054 0 nan | 0.000 % | 196.12/196.24 c | 100 | 3864 45162 167268 | 16559 100 25 | 12.401 % | 196.12/196.24 c =============================================================================== 196.32/196.41 c core #131 196.32/196.41 c ============================[ Search Statistics ]============================== 196.32/196.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.32/196.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.32/196.41 c =============================================================================== 196.32/196.41 c | 0 | 3899 45178 167415 | 15059 0 nan | 0.000 % | 196.32/196.45 c | 101 | 3897 45178 167415 | 16565 101 26 | 12.151 % | 196.32/196.47 c | 251 | 3896 45178 167415 | 18221 251 29 | 12.173 % | 196.32/196.47 c =============================================================================== 196.52/196.63 c core #132 196.52/196.63 c ============================[ Search Statistics ]============================== 196.52/196.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.52/196.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.52/196.63 c =============================================================================== 196.52/196.63 c | 0 | 3912 45182 167592 | 15060 0 nan | 0.000 % | 196.52/196.67 c =============================================================================== 196.73/196.83 c core #133 196.73/196.83 c ============================[ Search Statistics ]============================== 196.73/196.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.73/196.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.73/196.83 c =============================================================================== 196.73/196.83 c | 0 | 3931 45184 167725 | 15061 0 nan | 0.000 % | 196.73/196.88 c | 100 | 3929 45184 167725 | 16567 100 26 | 11.827 % | 196.73/196.89 c =============================================================================== 196.92/197.05 c core #134 196.92/197.05 c ============================[ Search Statistics ]============================== 196.92/197.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.92/197.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.92/197.05 c =============================================================================== 196.92/197.05 c | 0 | 3942 45190 167742 | 15063 0 nan | 0.000 % | 196.92/197.09 c | 100 | 3941 45190 167742 | 16569 100 27 | 11.798 % | 197.03/197.10 c | 250 | 3941 45190 167742 | 18226 250 22 | 11.798 % | 197.03/197.13 c =============================================================================== 197.12/197.29 c core #135 197.12/197.29 c ============================[ Search Statistics ]============================== 197.12/197.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.12/197.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.12/197.29 c =============================================================================== 197.12/197.29 c | 0 | 3955 45194 167919 | 15064 0 nan | 0.000 % | 197.22/197.33 c =============================================================================== 197.32/197.49 c core #136 197.32/197.49 c ============================[ Search Statistics ]============================== 197.32/197.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.32/197.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.32/197.49 c =============================================================================== 197.32/197.49 c | 0 | 3966 45198 167938 | 15066 0 nan | 0.000 % | 197.42/197.53 c | 103 | 3964 45198 167938 | 16572 103 28 | 11.656 % | 197.42/197.55 c | 253 | 3964 45198 167938 | 18229 253 21 | 11.656 % | 197.42/197.57 c =============================================================================== 197.62/197.73 c core #137 197.62/197.73 c ============================[ Search Statistics ]============================== 197.62/197.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.62/197.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.62/197.73 c =============================================================================== 197.62/197.73 c | 0 | 3987 45200 167979 | 15066 0 nan | 0.000 % | 197.62/197.78 c | 100 | 3985 45200 167979 | 16573 100 24 | 11.602 % | 197.72/197.80 c | 251 | 3983 45200 167979 | 18230 251 20 | 11.690 % | 197.72/197.82 c | 476 | 3982 45200 167979 | 20053 476 21 | 11.690 % | 197.72/197.84 c =============================================================================== 197.83/198.00 c core #138 197.83/198.00 c ============================[ Search Statistics ]============================== 197.83/198.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.83/198.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.83/198.00 c =============================================================================== 197.83/198.00 c | 0 | 4006 45202 168112 | 15067 0 nan | 0.000 % | 197.93/198.04 c | 100 | 4005 45202 168112 | 16574 100 23 | 11.396 % | 197.93/198.06 c | 250 | 4005 45202 168112 | 18231 250 24 | 11.396 % | 197.93/198.08 c | 476 | 4005 45202 168112 | 20054 476 24 | 11.396 % | 198.02/198.12 c =============================================================================== 198.12/198.29 c core #139 198.12/198.29 c ============================[ Search Statistics ]============================== 198.12/198.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.12/198.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.12/198.29 c =============================================================================== 198.12/198.29 c | 0 | 4037 45218 168461 | 15072 0 nan | 0.000 % | 198.22/198.33 c | 100 | 4037 45218 168461 | 16579 100 23 | 11.197 % | 198.22/198.35 c | 251 | 4037 45218 168461 | 18237 251 33 | 11.197 % | 198.22/198.37 c | 476 | 4037 45218 168461 | 20061 476 34 | 11.197 % | 198.32/198.41 c | 814 | 4031 45218 168461 | 22067 814 37 | 11.329 % | 198.32/198.42 c =============================================================================== 198.42/198.58 c core #140 198.42/198.58 c ============================[ Search Statistics ]============================== 198.42/198.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.42/198.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.42/198.58 c =============================================================================== 198.42/198.58 c | 0 | 4145 45253 172552 | 15084 0 nan | 0.000 % | 198.52/198.62 c | 100 | 4143 45253 172552 | 16592 100 21 | 10.692 % | 198.52/198.64 c | 251 | 4143 45253 172552 | 18252 251 18 | 10.692 % | 198.52/198.67 c | 478 | 4139 45253 172552 | 20077 478 18 | 10.864 % | 198.62/198.70 c | 815 | 4139 45253 172552 | 22084 815 19 | 10.908 % | 198.62/198.75 c | 1322 | 4139 45253 172552 | 24293 1322 19 | 10.908 % | 198.72/198.82 c | 2081 | 4131 45253 172552 | 26722 2081 20 | 11.037 % | 198.82/198.98 c | 3220 | 4124 45253 172552 | 29395 2870 19 | 11.102 % | 199.03/199.11 c =============================================================================== 199.12/199.29 c core #141 199.12/199.29 c ============================[ Search Statistics ]============================== 199.12/199.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.12/199.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.12/199.29 c =============================================================================== 199.12/199.29 c | 0 | 4248 45286 175996 | 15095 0 nan | 0.000 % | 199.22/199.33 c | 101 | 4244 45286 175996 | 16604 101 18 | 10.241 % | 199.22/199.36 c | 251 | 4243 45286 175996 | 18265 251 20 | 10.241 % | 199.22/199.38 c | 477 | 4243 45286 175996 | 20091 477 22 | 10.241 % | 199.32/199.41 c | 814 | 4243 45286 175996 | 22101 814 22 | 10.241 % | 199.32/199.42 c =============================================================================== 199.42/199.58 c core #142 199.42/199.58 c ============================[ Search Statistics ]============================== 199.42/199.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.42/199.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.42/199.58 c =============================================================================== 199.42/199.58 c | 0 | 4263 45288 176327 | 15096 0 nan | 0.000 % | 199.52/199.62 c | 100 | 4263 45288 176327 | 16605 100 29 | 10.006 % | 199.52/199.64 c | 251 | 4263 45288 176327 | 18266 251 27 | 10.006 % | 199.52/199.66 c | 476 | 4263 45288 176327 | 20092 476 31 | 10.006 % | 199.62/199.70 c =============================================================================== 199.72/199.87 c core #143 199.72/199.87 c ============================[ Search Statistics ]============================== 199.72/199.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.72/199.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.72/199.88 c =============================================================================== 199.72/199.88 c | 0 | 4330 45313 181041 | 15104 0 nan | 0.000 % | 199.82/199.92 c | 101 | 4329 45313 181041 | 16614 101 32 | 9.551 % | 199.82/199.93 c | 252 | 4329 45313 181041 | 18276 252 33 | 9.551 % | 199.82/199.96 c | 477 | 4328 45313 181041 | 20103 477 28 | 9.592 % | 199.82/199.99 c | 814 | 4328 45313 181041 | 22114 814 27 | 9.593 % | 199.92/200.03 c | 1322 | 4328 45313 181041 | 24325 1322 31 | 9.592 % | 200.02/200.13 c | 2081 | 4323 45313 181041 | 26758 2081 34 | 9.718 % | 200.13/200.23 c =============================================================================== 200.32/200.41 c core #144 200.32/200.41 c ============================[ Search Statistics ]============================== 200.32/200.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.32/200.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.32/200.41 c =============================================================================== 200.32/200.41 c | 0 | 4436 45355 184653 | 15118 0 nan | 0.000 % | 200.32/200.45 c | 101 | 4435 45355 184653 | 16630 101 21 | 9.121 % | 200.32/200.47 c | 253 | 4435 45355 184653 | 18293 253 21 | 9.121 % | 200.42/200.50 c | 478 | 4430 45355 184653 | 20122 478 23 | 9.244 % | 200.42/200.55 c | 815 | 4427 45355 184653 | 22134 815 28 | 9.305 % | 200.52/200.60 c =============================================================================== 200.62/200.78 c core #145 200.62/200.78 c ============================[ Search Statistics ]============================== 200.62/200.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 200.62/200.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 200.62/200.78 c =============================================================================== 200.62/200.78 c | 0 | 4555 45379 189805 | 15126 0 nan | 0.000 % | 200.72/200.82 c | 101 | 4555 45379 189805 | 16638 101 26 | 8.571 % | 200.72/200.84 c | 252 | 4551 45379 189805 | 18302 252 23 | 8.651 % | 200.72/200.87 c | 477 | 4545 45379 189805 | 20133 477 20 | 8.812 % | 200.82/200.90 c | 819 | 4538 45379 189805 | 22146 819 17 | 9.033 % | 200.82/200.94 c | 1326 | 4538 45379 189805 | 24361 1326 18 | 9.033 % | 200.92/201.01 c | 2086 | 4538 45379 189805 | 26797 2086 17 | 9.033 % | 201.02/201.18 c | 3225 | 4532 45379 189805 | 29476 3088 23 | 9.033 % | 201.12/201.22 c =============================================================================== 201.32/201.41 c core #146 201.32/201.41 c ============================[ Search Statistics ]============================== 201.32/201.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.32/201.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.32/201.41 c =============================================================================== 201.32/201.41 c | 0 | 4680 45398 197538 | 15132 0 nan | 0.000 % | 201.32/201.45 c | 101 | 4680 45398 197538 | 16645 101 19 | 7.928 % | 201.32/201.47 c | 252 | 4674 45398 197538 | 18310 252 20 | 8.046 % | 201.32/201.48 c | 477 | 4674 45398 197538 | 20141 477 18 | 8.046 % | 201.42/201.52 c | 815 | 4674 45398 197538 | 22155 815 20 | 8.046 % | 201.42/201.57 c | 1323 | 4672 45398 197538 | 24371 1323 21 | 8.125 % | 201.52/201.66 c =============================================================================== 201.72/201.84 c core #147 201.72/201.84 c ============================[ Search Statistics ]============================== 201.72/201.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 201.72/201.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 201.72/201.84 c =============================================================================== 201.72/201.84 c | 0 | 4799 45423 204086 | 15141 0 nan | 0.000 % | 201.72/201.89 c | 100 | 4799 45423 204086 | 16655 100 21 | 7.355 % | 201.82/201.90 c | 253 | 4799 45423 204086 | 18320 253 19 | 7.355 % | 201.82/201.92 c | 478 | 4799 45423 204086 | 20152 478 17 | 7.355 % | 201.82/201.95 c | 817 | 4799 45423 204086 | 22167 817 20 | 7.355 % | 201.82/201.99 c | 1325 | 4799 45423 204086 | 24384 1325 20 | 7.355 % | 201.92/202.06 c =============================================================================== 202.12/202.25 c core #148 202.12/202.25 c ============================[ Search Statistics ]============================== 202.12/202.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 202.12/202.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 202.12/202.25 c =============================================================================== 202.12/202.25 c | 0 | 4907 45455 209195 | 15151 0 nan | 0.000 % | 202.12/202.29 c | 100 | 4906 45455 209195 | 16666 100 16 | 6.926 % | 202.23/202.30 c | 250 | 4906 45455 209195 | 18333 250 14 | 6.926 % | 202.23/202.32 c | 477 | 4906 45455 209195 | 20166 477 17 | 6.926 % | 202.23/202.35 c | 816 | 4903 45455 209195 | 22183 816 19 | 7.002 % | 202.23/202.39 c | 1322 | 4898 45455 209195 | 24401 1322 22 | 7.078 % | 202.32/202.45 c | 2081 | 4898 45455 209195 | 26842 2081 22 | 7.078 % | 202.42/202.57 c | 3220 | 4882 45455 209195 | 29526 2660 21 | 7.476 % | 202.72/202.87 c | 4932 | 4878 45455 209195 | 32478 4372 35 | 7.533 % | 203.43/203.56 c | 7496 | 4878 45455 209195 | 35726 6936 49 | 7.533 % | 204.92/205.09 c | 11340 | 4873 45455 209195 | 39299 10044 62 | 7.533 % | 208.62/208.72 c | 17109 | 4873 45455 209195 | 43229 15813 71 | 7.533 % | 214.82/214.99 c | 25758 | 4873 45455 209195 | 47552 24462 73 | 7.533 % | 223.22/223.33 c =============================================================================== 223.61/223.72 c core #149 223.61/223.72 c ============================[ Search Statistics ]============================== 223.61/223.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 223.61/223.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 223.61/223.72 c =============================================================================== 223.61/223.72 c | 0 | 5075 45463 214982 | 15154 0 nan | 0.000 % | 223.61/223.77 c | 101 | 5075 45463 214982 | 16669 101 22 | 6.400 % | 223.61/223.79 c | 253 | 5075 45463 214982 | 18336 253 25 | 6.400 % | 223.72/223.81 c | 478 | 5075 45463 214982 | 20170 478 29 | 6.400 % | 223.72/223.84 c | 816 | 5071 45463 214982 | 22187 816 26 | 6.511 % | 223.81/223.91 c | 1322 | 5070 45463 214982 | 24406 1322 26 | 6.511 % | 223.81/223.98 c | 2081 | 5070 45463 214982 | 26846 2081 24 | 6.511 % | 224.02/224.11 c | 3223 | 5069 45463 214982 | 29531 3029 24 | 6.511 % | 224.22/224.31 c | 4931 | 5069 45463 214982 | 32484 4737 24 | 6.511 % | 224.51/224.68 c | 7494 | 5069 45463 214982 | 35733 7300 26 | 6.511 % | 225.32/225.43 c | 11342 | 5069 45463 214982 | 39306 11148 32 | 6.511 % | 227.41/227.51 c | 17111 | 5069 45463 214982 | 43237 16917 43 | 6.511 % | 229.72/229.88 c | 25761 | 5069 45463 214982 | 47560 25567 42 | 6.511 % | 234.81/234.98 c | 38735 | 5066 45463 214982 | 52316 38540 42 | 6.566 % | 246.22/246.37 c | 58196 | 5049 45463 214982 | 57548 9016 24 | 6.879 % | 249.90/250.02 c =============================================================================== 250.80/250.95 c core #150 250.80/250.95 c ============================[ Search Statistics ]============================== 250.80/250.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 250.80/250.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 250.80/250.95 c =============================================================================== 250.80/250.95 c | 0 | 5280 45466 217450 | 15155 0 nan | 0.000 % | 250.90/251.00 c | 101 | 5280 45466 217450 | 16670 101 37 | 6.067 % | 250.90/251.03 c | 252 | 5280 45466 217450 | 18337 252 34 | 6.067 % | 250.90/251.06 c | 477 | 5280 45466 217450 | 20171 477 30 | 6.067 % | 251.01/251.12 c | 816 | 5280 45466 217450 | 22188 816 29 | 6.067 % | 251.01/251.16 c | 1323 | 5280 45466 217450 | 24407 1323 28 | 6.067 % | 251.10/251.24 c | 2083 | 5269 45466 217450 | 26848 2083 29 | 6.298 % | 251.10/251.25 c =============================================================================== 251.30/251.45 c core #151 251.30/251.45 c ============================[ Search Statistics ]============================== 251.30/251.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 251.30/251.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 251.30/251.45 c =============================================================================== 251.30/251.45 c | 0 | 5411 45481 223479 | 15160 0 nan | 0.000 % | 251.41/251.50 c | 102 | 5411 45481 223479 | 16676 102 27 | 5.650 % | 251.41/251.51 c | 252 | 5411 45481 223479 | 18344 252 22 | 5.650 % | 251.41/251.53 c | 477 | 5411 45481 223479 | 20178 477 19 | 5.650 % | 251.41/251.56 c | 814 | 5411 45481 223479 | 22196 814 22 | 5.650 % | 251.50/251.61 c | 1323 | 5411 45481 223479 | 24415 1323 22 | 5.650 % | 251.50/251.68 c | 2083 | 5411 45481 223479 | 26857 2083 20 | 5.650 % | 251.71/251.81 c | 3223 | 5411 45481 223479 | 29543 3223 22 | 5.650 % | 251.90/252.01 c | 4933 | 5409 45481 223479 | 32497 4930 23 | 5.684 % | 252.01/252.14 c =============================================================================== 252.20/252.36 c core #152 252.20/252.36 c ============================[ Search Statistics ]============================== 252.20/252.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 252.20/252.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 252.20/252.37 c =============================================================================== 252.20/252.37 c | 0 | 5549 45498 230190 | 15166 0 nan | 0.000 % | 252.30/252.42 c | 100 | 5549 45498 230190 | 16682 100 27 | 5.210 % | 252.30/252.43 c | 253 | 5549 45498 230190 | 18350 253 22 | 5.210 % | 252.30/252.46 c | 478 | 5549 45498 230190 | 20185 478 25 | 5.210 % | 252.30/252.46 c =============================================================================== 252.51/252.67 c core #153 252.51/252.67 c ============================[ Search Statistics ]============================== 252.51/252.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 252.51/252.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 252.51/252.67 c =============================================================================== 252.51/252.67 c | 0 | 5651 45532 236506 | 15177 0 nan | 0.000 % | 252.61/252.72 c | 100 | 5651 45532 236506 | 16695 100 46 | 4.801 % | 252.61/252.73 c | 253 | 5651 45532 236506 | 18364 253 48 | 4.801 % | 252.61/252.76 c | 478 | 5651 45532 236506 | 20201 478 49 | 4.801 % | 252.61/252.80 c | 815 | 5651 45532 236506 | 22221 815 46 | 4.801 % | 252.70/252.87 c | 1321 | 5651 45532 236506 | 24443 1321 39 | 4.801 % | 252.81/252.98 c | 2084 | 5651 45532 236506 | 26887 2084 38 | 4.801 % | 253.01/253.17 c | 3224 | 5651 45532 236506 | 29576 3224 36 | 4.801 % | 253.30/253.47 c | 4932 | 5651 45532 236506 | 32533 4932 38 | 4.801 % | 253.80/253.95 c | 7495 | 5651 45532 236506 | 35787 7495 37 | 4.801 % | 254.60/254.79 c | 11341 | 5651 45532 236506 | 39366 11341 36 | 4.801 % | 256.30/256.44 c | 17110 | 5651 45532 236506 | 43302 17110 36 | 4.801 % | 257.90/258.05 c =============================================================================== 258.31/258.43 c core #154 258.31/258.43 c ============================[ Search Statistics ]============================== 258.31/258.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 258.31/258.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 258.31/258.43 c =============================================================================== 258.31/258.43 c | 0 | 5826 45537 240952 | 15179 0 nan | 0.000 % | 258.31/258.48 c | 100 | 5826 45537 240952 | 16696 100 15 | 4.476 % | 258.31/258.49 c | 251 | 5826 45537 240952 | 18366 251 12 | 4.476 % | 258.41/258.52 c | 476 | 5826 45537 240952 | 20203 476 20 | 4.476 % | 258.41/258.57 c | 813 | 5824 45537 240952 | 22223 813 23 | 4.509 % | 258.50/258.65 c | 1321 | 5823 45537 240952 | 24445 1321 29 | 4.525 % | 258.50/258.67 c =============================================================================== 258.71/258.87 c core #155 258.71/258.87 c ============================[ Search Statistics ]============================== 258.71/258.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 258.71/258.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 258.71/258.87 c =============================================================================== 258.71/258.87 c | 0 | 5957 45556 245993 | 15185 0 nan | 0.000 % | 258.80/258.92 c | 102 | 5957 45556 245993 | 16703 102 27 | 4.136 % | 258.80/258.94 c | 252 | 5957 45556 245993 | 18374 252 24 | 4.136 % | 258.80/258.96 c | 478 | 5957 45556 245993 | 20211 478 18 | 4.136 % | 258.80/258.99 c | 816 | 5957 45556 245993 | 22232 816 19 | 4.200 % | 258.90/259.05 c | 1323 | 5950 45556 245993 | 24456 1323 21 | 4.248 % | 259.10/259.21 c | 2082 | 5950 45556 245993 | 26901 2082 30 | 4.248 % | 259.31/259.49 c | 3222 | 5950 45556 245993 | 29591 3222 33 | 4.248 % | 259.60/259.75 c | 4931 | 5950 45556 245993 | 32551 4613 35 | 4.248 % | 260.40/260.50 c | 7497 | 5950 45556 245993 | 35806 7179 37 | 4.248 % | 261.50/261.61 c | 11341 | 5950 45556 245993 | 39386 11023 38 | 4.248 % | 263.70/263.83 c | 17107 | 5948 45556 245993 | 43325 16776 40 | 4.281 % | 263.91/264.05 c =============================================================================== 264.20/264.34 c core #156 264.20/264.34 c ============================[ Search Statistics ]============================== 264.20/264.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 264.20/264.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 264.20/264.34 c =============================================================================== 264.20/264.34 c | 0 | 6135 45561 251127 | 15187 0 nan | 0.000 % | 264.30/264.40 c | 101 | 6135 45561 251127 | 16705 101 35 | 3.810 % | 264.30/264.42 c | 252 | 6135 45561 251127 | 18376 252 25 | 3.810 % | 264.30/264.43 c | 478 | 6135 45561 251127 | 20213 478 19 | 3.810 % | 264.30/264.46 c | 815 | 6135 45561 251127 | 22235 815 19 | 3.810 % | 264.40/264.51 c | 1323 | 6135 45561 251127 | 24458 1323 19 | 3.810 % | 264.40/264.58 c | 2083 | 6124 45561 251127 | 26904 2083 18 | 3.998 % | 264.60/264.71 c | 3224 | 6123 45561 251127 | 29595 2503 25 | 3.998 % | 264.91/265.01 c | 4934 | 6123 45561 251127 | 32554 4213 30 | 3.998 % | 265.40/265.52 c | 7497 | 6123 45561 251127 | 35810 6776 31 | 3.998 % | 266.20/266.30 c | 11341 | 6123 45561 251127 | 39391 10620 36 | 3.998 % | 267.30/267.49 c | 17108 | 6123 45561 251127 | 43330 16387 37 | 3.998 % | 270.20/270.35 c | 25758 | 6123 45561 251127 | 47663 25037 42 | 3.998 % | 276.80/276.97 c | 38734 | 6123 45561 251127 | 52429 38013 43 | 3.998 % | 288.39/288.52 c | 58195 | 6123 45561 251127 | 57672 21895 43 | 3.998 % | 301.49/301.66 c =============================================================================== 302.48/302.68 c core #157 302.48/302.68 c ============================[ Search Statistics ]============================== 302.48/302.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 302.48/302.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 302.48/302.68 c =============================================================================== 302.48/302.68 c | 0 | 6360 45562 252949 | 15187 0 nan | 0.000 % | 302.59/302.75 c | 100 | 6360 45562 252949 | 16706 100 27 | 3.622 % | 302.59/302.76 c | 253 | 6360 45562 252949 | 18376 253 24 | 3.622 % | 302.59/302.78 c | 478 | 6360 45562 252949 | 20214 478 22 | 3.622 % | 302.69/302.82 c | 815 | 6360 45562 252949 | 22235 815 21 | 3.622 % | 302.69/302.88 c | 1321 | 6360 45562 252949 | 24459 1321 23 | 3.622 % | 302.79/302.99 c | 2081 | 6360 45562 252949 | 26905 2081 27 | 3.622 % | 303.09/303.20 c | 3220 | 6360 45562 252949 | 29595 3220 30 | 3.622 % | 303.28/303.45 c | 4928 | 6360 45562 252949 | 32555 4928 33 | 3.622 % | 303.78/303.92 c | 7491 | 6360 45562 252949 | 35810 7491 37 | 3.622 % | 304.49/304.66 c | 11335 | 6360 45562 252949 | 39392 11335 35 | 3.622 % | 305.89/306.00 c | 17102 | 6360 45562 252949 | 43331 17102 41 | 3.622 % | 308.79/308.90 c | 25752 | 6360 45562 252949 | 47664 25752 48 | 3.622 % | 313.99/314.19 c | 38729 | 6360 45562 252949 | 52430 38729 47 | 3.622 % | 324.98/325.19 c | 58192 | 6360 45562 252949 | 57673 19124 42 | 3.622 % | 336.78/336.91 c | 87384 | 6360 45562 252949 | 63441 48316 48 | 3.622 % | 362.78/362.97 c | 131174 | 6360 45562 252949 | 69785 41817 50 | 3.622 % | 396.87/397.08 c | 196858 | 6360 45562 252949 | 76763 51298 41 | 3.622 % | 465.84/466.02 c | 295384 | 6360 45562 252949 | 84440 27316 46 | 3.622 % | 471.14/471.35 c =============================================================================== 471.65/471.86 c core #158 471.65/471.86 c ============================[ Search Statistics ]============================== 471.65/471.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 471.65/471.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 471.65/471.86 c =============================================================================== 471.65/471.86 c | 0 | 6505 45577 256623 | 15192 0 nan | 0.000 % | 471.75/471.94 c | 100 | 6505 45577 256623 | 16711 100 29 | 3.401 % | 471.75/471.96 c | 250 | 6505 45577 256623 | 18382 250 23 | 3.401 % | 471.75/471.99 c | 476 | 6505 45577 256623 | 20220 476 26 | 3.401 % | 471.83/472.03 c | 815 | 6505 45577 256623 | 22243 815 23 | 3.401 % | 471.94/472.10 c | 1321 | 6505 45577 256623 | 24467 1321 26 | 3.401 % | 471.94/472.17 c =============================================================================== 472.14/472.38 c core #159 472.14/472.38 c ============================[ Search Statistics ]============================== 472.14/472.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 472.14/472.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 472.14/472.38 c =============================================================================== 472.14/472.38 c | 0 | 6626 45604 263755 | 15201 0 nan | 0.000 % | 472.24/472.43 c | 100 | 6626 45604 263755 | 16721 100 22 | 3.001 % | 472.24/472.45 c | 251 | 6626 45604 263755 | 18393 251 26 | 3.001 % | 472.24/472.47 c | 478 | 6626 45604 263755 | 20232 478 19 | 3.001 % | 472.24/472.49 c | 817 | 6625 45604 263755 | 22256 817 19 | 3.016 % | 472.34/472.54 c | 1323 | 6625 45604 263755 | 24481 1323 20 | 3.016 % | 472.44/472.62 c | 2086 | 6625 45604 263755 | 26930 2086 24 | 3.016 % | 472.53/472.78 c | 3225 | 6625 45604 263755 | 29623 3224 28 | 3.016 % | 472.85/473.03 c | 4935 | 6625 45604 263755 | 32585 4934 33 | 3.016 % | 473.23/473.44 c | 7499 | 6625 45604 263755 | 35843 7498 33 | 3.016 % | 474.14/474.37 c | 11344 | 6625 45604 263755 | 39428 11343 48 | 3.016 % | 476.04/476.29 c | 17110 | 6625 45604 263755 | 43371 17109 61 | 3.016 % | 479.44/479.62 c | 25759 | 6625 45604 263755 | 47708 25758 60 | 3.016 % | 486.13/486.39 c | 38735 | 6625 45604 263755 | 52479 38734 57 | 3.016 % | 498.13/498.31 c | 58199 | 6625 45604 263755 | 57727 19240 56 | 3.016 % | 518.53/518.70 c | 87392 | 6625 45604 263755 | 63499 48433 60 | 3.016 % | 547.11/547.38 c | 131182 | 6625 45604 263755 | 69849 43313 48 | 3.016 % | 588.40/588.62 c | 196867 | 6625 45604 263755 | 76834 53194 73 | 3.016 % | 663.88/664.16 c | 295393 | 6625 45604 263755 | 84518 25285 68 | 3.016 % | 788.04/788.40 c | 443187 | 6625 45604 263755 | 92969 34035 53 | 3.016 % | 996.99/997.38 c | 664872 | 6625 45604 263755 | 102266 28051 52 | 3.016 % | 1325.46/1325.91 c | 997398 | 6625 45604 263755 | 112493 20437 67 | 3.016 % | 1749.73/1750.36 c =============================================================================== 1767.03/1767.66 c core #160 1767.03/1767.66 c ============================[ Search Statistics ]============================== 1767.03/1767.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 1767.03/1767.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1767.03/1767.66 c =============================================================================== 1767.03/1767.66 c | 0 | 6863 45605 264229 | 15201 0 nan | 0.000 % | 1767.13/1767.76 c | 101 | 6863 45605 264229 | 16721 101 29 | 2.900 % | 1767.13/1767.77 c | 252 | 6863 45605 264229 | 18394 252 23 | 2.900 % | 1767.22/1767.81 c | 477 | 6863 45605 264229 | 20233 477 19 | 2.900 % | 1767.32/1767.93 c | 814 | 6863 45605 264229 | 22256 814 28 | 2.900 % | 1767.32/1767.99 c | 1320 | 6863 45605 264229 | 24482 1320 28 | 2.900 % | 1767.43/1768.08 c | 2080 | 6861 45605 264229 | 26930 2064 26 | 2.929 % | 1767.72/1768.33 c | 3219 | 6861 45605 264229 | 29623 3203 32 | 2.929 % | 1767.93/1768.55 c | 4930 | 6861 45605 264229 | 32586 4914 37 | 2.929 % | 1768.13/1768.76 c =============================================================================== 1768.32/1768.97 c core #161 1768.32/1768.97 c ============================[ Search Statistics ]============================== 1768.32/1768.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 1768.32/1768.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1768.32/1768.97 c =============================================================================== 1768.32/1768.97 c | 0 | 7004 45622 267893 | 15207 0 nan | 0.000 % | 1768.42/1769.01 c | 100 | 7003 45622 267893 | 16728 100 33 | 2.736 % | 1768.42/1769.05 c | 250 | 7003 45622 267893 | 18400 250 33 | 2.736 % | 1768.42/1769.09 c | 475 | 7003 45622 267893 | 20240 475 34 | 2.736 % | 1768.52/1769.17 c | 814 | 7003 45622 267893 | 22265 814 36 | 2.736 % | 1768.72/1769.33 c | 1322 | 7003 45622 267893 | 24491 1322 44 | 2.736 % | 1769.01/1769.62 c | 2082 | 7003 45622 267893 | 26940 2082 48 | 2.736 % | 1769.42/1770.09 c | 3223 | 7003 45622 267893 | 29634 3223 49 | 2.736 % | 1770.11/1770.73 c | 4931 | 7002 45622 267893 | 32598 4929 48 | 2.736 % | 1770.91/1771.58 c | 7494 | 7002 45622 267893 | 35858 7492 46 | 2.736 % | 1772.22/1772.87 c | 11338 | 7002 45622 267893 | 39443 11336 47 | 2.736 % | 1774.91/1775.54 c | 17104 | 7002 45622 267893 | 43388 17102 46 | 2.736 % | 1777.71/1778.33 c | 25753 | 7002 45622 267893 | 47727 25751 44 | 2.736 % | 1785.01/1785.62 c | 38727 | 7002 45622 267893 | 52499 38725 45 | 2.736 % | 1795.10/1795.78 c | 58188 | 7002 45622 267893 | 57749 18488 42 | 2.736 % | 1796.11/1796.75 c =============================================================================== 1796.50/1797.12 c core #162 1796.50/1797.12 c ============================[ Search Statistics ]============================== 1796.50/1797.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 1796.50/1797.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1796.50/1797.12 c =============================================================================== 1796.50/1797.12 c | 0 | 7126 45647 273690 | 15215 0 nan | 0.000 % | 1796.61/1797.20 c | 100 | 7126 45647 273690 | 16737 100 30 | 2.424 % | 1796.61/1797.23 c | 250 | 7126 45647 273690 | 18410 250 28 | 2.424 % | 1796.61/1797.26 c | 475 | 7125 45647 273690 | 20252 475 24 | 2.451 % | 1796.61/1797.29 c | 813 | 7125 45647 273690 | 22277 813 20 | 2.451 % | 1796.72/1797.35 c | 1321 | 7125 45647 273690 | 24504 1321 21 | 2.451 % | 1796.82/1797.44 c | 2080 | 7123 45647 273690 | 26955 2080 21 | 2.478 % | 1796.90/1797.58 c | 3219 | 7122 45647 273690 | 29651 3210 27 | 2.478 % | 1797.11/1797.78 c | 4929 | 7122 45647 273690 | 32616 4920 27 | 2.478 % | 1797.51/1798.17 c | 7494 | 7122 45647 273690 | 35877 7485 29 | 2.478 % | 1798.31/1798.97 c | 11339 | 7122 45647 273690 | 39465 11330 34 | 2.478 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2655974-1276400534/watcher-2655974-1276400534 -o /tmp/evaluation-result-2655974-1276400534/solver-2655974-1276400534 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655974-1276400534.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.94 0.97 0.99 3/106 20720 /proc/meminfo: memFree=1733316/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=6080 CPUtime=0 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 411 0 0 0 0 0 0 0 20 0 1 0 15657114 6225920 330 1992294400 134512640 135751879 4287784624 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 1520 330 144 303 0 469 0 [startup+0.0685599 s] /proc/loadavg: 0.94 0.97 0.99 3/106 20720 /proc/meminfo: memFree=1733316/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=6880 CPUtime=0.06 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 709 0 0 0 6 0 0 0 20 0 1 0 15657114 7045120 628 1992294400 134512640 135751879 4287784624 18446744073709551615 135211112 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 1720 628 245 303 0 669 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 6880 [startup+0.101562 s] /proc/loadavg: 0.94 0.97 0.99 3/106 20720 /proc/meminfo: memFree=1733316/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=7392 CPUtime=0.09 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 868 0 0 0 9 0 0 0 20 0 1 0 15657114 7569408 787 1992294400 134512640 135751879 4287784624 18446744073709551615 134561778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 1848 787 304 303 0 797 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7392 [startup+0.300585 s] /proc/loadavg: 0.94 0.97 0.99 3/106 20720 /proc/meminfo: memFree=1733316/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=11384 CPUtime=0.29 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 2155 0 0 0 28 1 0 0 20 0 1 0 15657114 11657216 2074 1992294400 134512640 135751879 4287784624 18446744073709551615 134559693 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 2846 2074 593 303 0 1795 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11384 [startup+0.700629 s] /proc/loadavg: 0.94 0.97 0.99 3/106 20720 /proc/meminfo: memFree=1733316/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=14732 CPUtime=0.69 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 4052 0 0 0 67 2 0 0 21 0 1 0 15657114 15085568 3193 1992294400 134512640 135751879 4287784624 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 3683 3193 145 303 0 3378 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 14732 [startup+1.50072 s] /proc/loadavg: 0.94 0.97 0.99 2/107 20721 /proc/meminfo: memFree=1720412/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=15392 CPUtime=1.49 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 4209 0 0 0 147 2 0 0 23 0 1 0 15657114 15761408 3350 1992294400 134512640 135751879 4287784624 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 3848 3350 147 303 0 3543 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15392 [startup+3.10089 s] /proc/loadavg: 0.94 0.97 0.99 2/107 20721 /proc/meminfo: memFree=1720164/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=15520 CPUtime=3.09 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 4252 0 0 0 305 4 0 0 25 0 1 0 15657114 15892480 3393 1992294400 134512640 135751879 4287784624 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 3880 3393 147 303 0 3575 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 15520 [startup+6.30025 s] /proc/loadavg: 0.95 0.97 0.99 2/107 20721 /proc/meminfo: memFree=1717436/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=18948 CPUtime=6.29 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 5106 0 0 0 623 6 0 0 25 0 1 0 15657114 19402752 4247 1992294400 134512640 135751879 4287784624 18446744073709551615 134604825 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 4737 4247 147 303 0 4432 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18948 [startup+12.701 s] /proc/loadavg: 0.95 0.97 0.99 2/107 20721 /proc/meminfo: memFree=1711484/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=24756 CPUtime=12.68 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 6565 0 0 0 1258 10 0 0 25 0 1 0 15657114 25350144 5706 1992294400 134512640 135751879 4287784624 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 6189 5706 147 303 0 5884 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 24756 [startup+25.5014 s] /proc/loadavg: 0.96 0.97 0.99 2/107 20721 /proc/meminfo: memFree=1699580/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=35908 CPUtime=25.48 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 9358 0 0 0 2531 17 0 0 25 0 1 0 15657114 36769792 8499 1992294400 134512640 135751879 4287784624 18446744073709551615 134611278 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 8977 8499 147 303 0 8672 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35908 [startup+51.1012 s] /proc/loadavg: 0.97 0.97 0.99 2/107 20723 /proc/meminfo: memFree=1682468/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=53356 CPUtime=51.07 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 13715 0 0 0 5075 32 0 0 25 0 1 0 15657114 54636544 12856 1992294400 134512640 135751879 4287784624 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 13339 12856 148 303 0 13034 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 53356 [startup+102.308 s] /proc/loadavg: 1.04 0.99 0.99 2/107 20723 /proc/meminfo: memFree=1635968/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=99188 CPUtime=102.26 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 25165 0 0 0 10158 68 0 0 25 0 1 0 15657114 101568512 24306 1992294400 134512640 135751879 4287784624 18446744073709551615 134604644 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 24797 24306 148 303 0 24492 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 99188 [startup+162.301 s] /proc/loadavg: 1.01 0.99 0.99 2/107 20725 /proc/meminfo: memFree=1581408/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=153924 CPUtime=162.24 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 38833 0 0 0 16124 100 0 0 25 0 1 0 15657114 157618176 37974 1992294400 134512640 135751879 4287784624 18446744073709551615 134616584 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 38481 37974 148 303 0 38176 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 153924 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.99 2/107 20727 /proc/meminfo: memFree=1398012/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=336432 CPUtime=222.21 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 84629 0 0 0 22068 153 0 0 25 0 1 0 15657114 344506368 83638 1992294400 134512640 135751879 4287784624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 84108 83638 151 303 0 83803 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 336432 [startup+282.301 s] /proc/loadavg: 1.04 1.00 1.00 2/107 20729 /proc/meminfo: memFree=1372716/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=361932 CPUtime=282.19 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 90986 0 0 0 28006 213 0 0 25 0 1 0 15657114 370618368 89995 1992294400 134512640 135751879 4287784624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 90483 89995 151 303 0 90178 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 361932 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 20731 /proc/meminfo: memFree=1344940/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=389400 CPUtime=342.18 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 97844 0 0 0 33960 258 0 0 25 0 1 0 15657114 398745600 96853 1992294400 134512640 135751879 4287784624 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 97350 96853 151 303 0 97045 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 389400 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20731 /proc/meminfo: memFree=1312948/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=421604 CPUtime=402.16 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 105895 0 0 0 39915 301 0 0 25 0 1 0 15657114 431722496 104904 1992294400 134512640 135751879 4287784624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 105401 104904 151 303 0 105096 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 421604 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20733 /proc/meminfo: memFree=1286536/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=447544 CPUtime=462.14 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 112361 0 0 0 45878 336 0 0 25 0 1 0 15657114 458285056 111370 1992294400 134512640 135751879 4287784624 18446744073709551615 134602936 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 111886 111370 151 303 0 111581 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 447544 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20735 /proc/meminfo: memFree=1270912/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=462880 CPUtime=522.13 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 116309 0 0 0 51828 385 0 0 25 0 1 0 15657114 473989120 115242 1992294400 134512640 135751879 4287784624 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 115720 115242 151 303 0 115415 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 462880 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20737 /proc/meminfo: memFree=1246856/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=487168 CPUtime=582.1 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 122390 0 0 0 57784 426 0 0 25 0 1 0 15657114 498860032 121323 1992294400 134512640 135751879 4287784624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 121792 121323 151 303 0 121487 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 487168 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20739 /proc/meminfo: memFree=1216724/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=516988 CPUtime=642.1 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 129813 0 0 0 63746 464 0 0 25 0 1 0 15657114 529395712 128746 1992294400 134512640 135751879 4287784624 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 129247 128746 151 303 0 128942 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 516988 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20743 /proc/meminfo: memFree=1142200/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=591648 CPUtime=822.03 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 148437 0 0 0 81633 570 0 0 25 0 1 0 15657114 605847552 147370 1992294400 134512640 135751879 4287784624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 147912 147370 151 303 0 147607 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 591648 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20745 /proc/meminfo: memFree=1119384/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=614340 CPUtime=882.02 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 154074 0 0 0 87598 604 0 0 25 0 1 0 15657114 629084160 153007 1992294400 134512640 135751879 4287784624 18446744073709551615 134616748 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 153585 153007 151 303 0 153280 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 614340 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20747 /proc/meminfo: memFree=1099048/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=634864 CPUtime=942 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 159169 0 0 0 93565 635 0 0 25 0 1 0 15657114 650100736 158102 1992294400 134512640 135751879 4287784624 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 158716 158102 151 303 0 158411 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 634864 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20747 /proc/meminfo: memFree=1081812/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=652032 CPUtime=1001.99 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 163454 0 0 0 99539 660 0 0 25 0 1 0 15657114 667680768 162387 1992294400 134512640 135751879 4287784624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 163008 162387 151 303 0 162703 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 652032 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20749 /proc/meminfo: memFree=1062096/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=671740 CPUtime=1061.96 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 168392 0 0 0 105508 688 0 0 25 0 1 0 15657114 687861760 167325 1992294400 134512640 135751879 4287784624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 167935 167325 151 303 0 167630 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 671740 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20751 /proc/meminfo: memFree=1039404/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=694132 CPUtime=1121.95 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 174004 0 0 0 111476 719 0 0 25 0 1 0 15657114 710791168 172937 1992294400 134512640 135751879 4287784624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 173533 172937 151 303 0 173228 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 694132 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20762 /proc/meminfo: memFree=1018820/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=714640 CPUtime=1181.92 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 179123 0 0 0 117443 749 0 0 25 0 1 0 15657114 731791360 178056 1992294400 134512640 135751879 4287784624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 178660 178056 151 303 0 178355 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 714640 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20764 /proc/meminfo: memFree=1000716/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=732592 CPUtime=1241.9 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 183588 0 0 0 123414 776 0 0 25 0 1 0 15657114 750174208 182521 1992294400 134512640 135751879 4287784624 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 183148 182521 151 303 0 182843 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 732592 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20764 /proc/meminfo: memFree=978520/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=754736 CPUtime=1301.88 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 189111 0 0 0 129381 807 0 0 25 0 1 0 15657114 772849664 188044 1992294400 134512640 135751879 4287784624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 188684 188044 151 303 0 188379 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 754736 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20766 /proc/meminfo: memFree=958804/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=774568 CPUtime=1361.85 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 194079 0 0 0 135349 836 0 0 25 0 1 0 15657114 793157632 193012 1992294400 134512640 135751879 4287784624 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 193642 193012 151 303 0 193337 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 774568 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20768 /proc/meminfo: memFree=944296/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=788848 CPUtime=1421.84 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 197641 0 0 0 141324 860 0 0 25 0 1 0 15657114 807780352 196574 1992294400 134512640 135751879 4287784624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 197212 196574 151 303 0 196907 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 788848 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20770 /proc/meminfo: memFree=923836/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=809592 CPUtime=1481.82 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 202806 0 0 0 147288 894 0 0 25 0 1 0 15657114 829022208 201739 1992294400 134512640 135751879 4287784624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 202398 201739 151 303 0 202093 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 809592 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20772 /proc/meminfo: memFree=904492/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=828644 CPUtime=1541.8 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 207603 0 0 0 153259 921 0 0 25 0 1 0 15657114 848531456 206536 1992294400 134512640 135751879 4287784624 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 207161 206536 151 303 0 206856 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 828644 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20772 /proc/meminfo: memFree=884280/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=849008 CPUtime=1601.78 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 212687 0 0 0 159227 951 0 0 25 0 1 0 15657114 869384192 211620 1992294400 134512640 135751879 4287784624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 212252 211620 151 303 0 211947 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 849008 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 20774 /proc/meminfo: memFree=859356/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=873836 CPUtime=1661.75 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 218890 0 0 0 165197 978 0 0 25 0 1 0 15657114 894808064 217823 1992294400 134512640 135751879 4287784624 18446744073709551615 134616390 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 218459 217823 151 303 0 218154 0 Current children cumulated CPU time (s) 1661.75 Current children cumulated vsize (KiB) 873836 [startup+1722.3 s] /proc/loadavg: 1.05 1.01 1.00 2/107 20776 /proc/meminfo: memFree=833936/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=899460 CPUtime=1721.74 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 225262 0 0 0 171166 1008 0 0 25 0 1 0 15657114 921047040 224195 1992294400 134512640 135751879 4287784624 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 224865 224195 151 303 0 224560 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 899460 [startup+1782.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 20778 /proc/meminfo: memFree=789916/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=942436 CPUtime=1781.71 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 236082 0 0 0 177132 1039 0 0 25 0 1 0 15657114 965054464 234904 1992294400 134512640 135751879 4287784624 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 235609 234904 151 303 0 235304 0 Current children cumulated CPU time (s) 1781.71 Current children cumulated vsize (KiB) 942436 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.01 1.00 2/107 20778 /proc/meminfo: memFree=789916/2059040 swapFree=4192956/4192956 [pid=20720] ppid=20718 vsize=942436 CPUtime=1800.02 /proc/20720/stat : 20720 (wbo1.4b) R 20718 20720 13820 0 -1 4202496 236093 0 0 0 178947 1055 0 0 25 0 1 0 15657114 965054464 234915 1992294400 134512640 135751879 4287784624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20720/statm: 235609 234915 151 303 0 235304 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 942436 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): 1800.7 CPU time (s): 1800.12 CPU user time (s): 1789.47 CPU system time (s): 10.6454 CPU usage (%): 99.9675 Max. virtual memory (cumulated for all children) (KiB): 942980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.47 system time used= 10.6454 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 236093 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= 28 involuntary context switches= 23215 runsolver used 3.04954 second user time and 8.46271 second system time The end
Begin job on node005 at 2010-06-13 05:42:14 IDJOB=2655974 IDBENCH=2013 IDSOLVER=1161 FILE ID=node005/2655974-1276400534 PBS_JOBID= 11173256 Free space on /tmp= 62528 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-circ10_3.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655974-1276400534/watcher-2655974-1276400534 -o /tmp/evaluation-result-2655974-1276400534/solver-2655974-1276400534 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655974-1276400534.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 2821538067d8c071dc9bd4a000c6d040 RANDOM SEED=987190913 node005.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 : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.246 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.246 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 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 lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1733720 kB Buffers: 44608 kB Cached: 154364 kB SwapCached: 0 kB Active: 159584 kB Inactive: 98684 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1733720 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 5604 kB Writeback: 0 kB AnonPages: 59352 kB Mapped: 15464 kB Slab: 45264 kB PageTables: 4004 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180860 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62528 MiB End job on node005 at 2010-06-13 06:12:17