Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.6 | ? (TO) | 1800.06 | 1800.02 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110968898--soft-66-100-0.wbo |
MD5SUM | 994f94b5e00e9f32d6033ad27b9df019 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 80 |
Best CPU time to get the best result obtained on this benchmark | 1.27281 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 28 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 1415 |
Min constraint cost | 1 |
Max constraint cost | 98 |
Sum of constraints costs | 1414 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1261 |
Number of bits of the biggest sum of numbers | 11 |
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.6 beta - 20110321 0.00/0.00 c Parsing wbo file format. File HOME/instance-3446926-1307905118.wbo. 0.00/0.00 c Instance file HOME/instance-3446926-1307905118.wbo 0.00/0.00 c File size is 10107 bytes. 0.00/0.00 c Highest Coefficient sum: 1261 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 169 101 1205 | 5000 0 -nan | 0.000 % | 0.00/0.00 c | 100 | 169 101 1205 | 5500 100 30 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 37 | 0.004 % | 0.00/0.00 c | 478 | 169 101 1205 | 6655 478 35 | 0.004 % | 0.00/0.01 c | 817 | 169 101 1205 | 7320 817 36 | 0.004 % | 0.00/0.02 c | 1325 | 169 101 1205 | 8052 1325 34 | 0.004 % | 0.00/0.04 c | 2086 | 169 101 1205 | 8857 2086 33 | 0.004 % | 0.00/0.06 c | 3226 | 169 101 1205 | 9743 3226 36 | 0.004 % | 0.09/0.11 c | 4934 | 169 101 1205 | 10717 4934 37 | 0.004 % | 0.19/0.20 c | 7496 | 169 101 1205 | 11789 7496 38 | 0.004 % | 0.29/0.36 c | 11342 | 169 101 1205 | 12968 11342 39 | 0.004 % | 0.59/0.61 c | 17108 | 169 101 1205 | 14265 10596 41 | 0.004 % | 0.99/1.05 c | 25759 | 169 101 1205 | 15692 12045 45 | 0.004 % | 1.79/1.85 c | 38736 | 169 101 1205 | 17261 9236 44 | 0.004 % | 2.90/2.96 c | 58198 | 101 101 1205 | 18987 11323 47 | 40.240 % | 2.90/2.98 c =============================================================================== 3.09/3.19 c core #1 3.09/3.19 c 3.09/3.19 c 3.09/3.19 c Core size: 42 Core Weight: 1 Total Weight: 1 3.09/3.19 c Current CPU time: 3.10953 s 3.09/3.19 c 3.09/3.19 c ============================[ Search Statistics ]============================== 3.09/3.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.19 c =============================================================================== 3.09/3.19 c | 0 | 196 129 1699 | 5000 0 -nan | 0.000 % | 3.09/3.19 c | 101 | 196 129 1699 | 5500 101 29 | 0.003 % | 3.09/3.19 c | 252 | 196 129 1699 | 6050 252 37 | 0.003 % | 3.09/3.20 c | 477 | 196 129 1699 | 6655 477 37 | 0.003 % | 3.20/3.20 c | 815 | 196 129 1699 | 7320 815 35 | 0.003 % | 3.20/3.21 c | 1321 | 196 129 1699 | 8052 1321 33 | 0.003 % | 3.20/3.23 c | 2080 | 196 129 1699 | 8857 2080 35 | 0.003 % | 3.20/3.26 c | 3221 | 196 129 1699 | 9743 3221 37 | 0.003 % | 3.30/3.31 c | 4929 | 196 129 1699 | 10717 4929 38 | 0.003 % | 3.39/3.41 c | 7493 | 196 129 1699 | 11789 7493 39 | 0.003 % | 3.49/3.58 c | 11338 | 196 129 1699 | 12968 11338 41 | 0.003 % | 3.79/3.87 c | 17104 | 196 129 1699 | 14265 10574 42 | 0.003 % | 4.30/4.34 c | 25755 | 196 129 1699 | 15692 12033 45 | 0.003 % | 5.19/5.22 c | 38729 | 196 129 1699 | 17261 9211 49 | 0.003 % | 6.39/6.48 c | 58190 | 153 129 1699 | 18987 11311 47 | 21.941 % | 6.69/6.77 c =============================================================================== 6.99/7.00 c core #2 6.99/7.00 c 6.99/7.00 c 6.99/7.00 c Core size: 44 Core Weight: 5 Total Weight: 6 6.99/7.00 c Current CPU time: 6.87895 s 6.99/7.00 c 6.99/7.00 c ============================[ Search Statistics ]============================== 6.99/7.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.99/7.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.99/7.00 c =============================================================================== 6.99/7.00 c | 0 | 222 155 2172 | 5000 0 -nan | 0.000 % | 6.99/7.00 c | 103 | 222 155 2172 | 5500 103 33 | 0.002 % | 6.99/7.01 c | 255 | 222 155 2172 | 6050 255 34 | 0.002 % | 6.99/7.01 c | 481 | 222 155 2172 | 6655 481 34 | 0.002 % | 6.99/7.02 c | 822 | 222 155 2172 | 7320 822 32 | 0.002 % | 6.99/7.03 c | 1328 | 222 155 2172 | 8052 1328 31 | 0.002 % | 6.99/7.05 c | 2089 | 222 155 2172 | 8857 2089 33 | 0.002 % | 6.99/7.08 c | 3229 | 222 155 2172 | 9743 3229 36 | 0.002 % | 7.09/7.13 c | 4937 | 222 155 2172 | 10717 4937 37 | 0.002 % | 7.19/7.23 c | 7500 | 222 155 2172 | 11789 7500 38 | 0.002 % | 7.39/7.40 c | 11345 | 222 155 2172 | 12968 11345 41 | 0.002 % | 7.59/7.69 c | 17112 | 222 155 2172 | 14265 10574 45 | 0.002 % | 8.19/8.21 c | 25762 | 222 155 2172 | 15692 12037 48 | 0.002 % | 9.09/9.12 c | 38737 | 222 155 2172 | 17261 9209 46 | 0.002 % | 10.39/10.40 c | 58200 | 222 155 2172 | 18987 11317 48 | 0.002 % | 10.79/10.87 c =============================================================================== 11.09/11.13 c core #3 11.09/11.13 c 11.09/11.13 c 11.09/11.13 c Core size: 43 Core Weight: 1 Total Weight: 7 11.09/11.13 c Current CPU time: 10.9453 s 11.09/11.13 c 11.09/11.13 c ============================[ Search Statistics ]============================== 11.09/11.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.09/11.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.09/11.13 c =============================================================================== 11.09/11.13 c | 0 | 250 183 2670 | 5000 0 -nan | 0.000 % | 11.09/11.13 c | 100 | 250 183 2670 | 5500 100 31 | 0.002 % | 11.09/11.13 c | 250 | 250 183 2670 | 6050 250 31 | 0.002 % | 11.09/11.13 c | 475 | 250 183 2670 | 6655 475 30 | 0.002 % | 11.09/11.14 c | 813 | 250 183 2670 | 7320 813 30 | 0.002 % | 11.09/11.15 c | 1319 | 250 183 2670 | 8052 1319 34 | 0.002 % | 11.09/11.17 c | 2080 | 250 183 2670 | 8857 2080 36 | 0.002 % | 11.19/11.20 c | 3219 | 250 183 2670 | 9743 3219 38 | 0.002 % | 11.19/11.25 c | 4928 | 250 183 2670 | 10717 4928 40 | 0.002 % | 11.29/11.35 c | 7490 | 250 183 2670 | 11789 7490 40 | 0.002 % | 11.49/11.52 c | 11337 | 250 183 2670 | 12968 11337 41 | 0.002 % | 11.79/11.84 c | 17103 | 250 183 2670 | 14265 10567 45 | 0.002 % | 12.30/12.31 c | 25752 | 250 183 2670 | 15692 12034 46 | 0.002 % | 13.10/13.11 c | 38727 | 250 183 2670 | 17261 9231 47 | 0.002 % | 14.29/14.35 c | 58191 | 250 183 2670 | 18987 11342 47 | 0.002 % | 14.99/15.03 c =============================================================================== 15.19/15.30 c core #4 15.19/15.30 c 15.19/15.30 c 15.19/15.30 c Core size: 39 Core Weight: 4 Total Weight: 11 15.19/15.30 c Current CPU time: 15.0677 s 15.19/15.30 c 15.19/15.30 c ============================[ Search Statistics ]============================== 15.19/15.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 15.19/15.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 15.19/15.30 c =============================================================================== 15.19/15.30 c | 0 | 276 209 3143 | 5000 0 -nan | 0.000 % | 15.19/15.30 c | 100 | 276 209 3143 | 5500 100 33 | 0.001 % | 15.19/15.30 c | 250 | 276 209 3143 | 6050 250 34 | 0.001 % | 15.30/15.30 c | 475 | 276 209 3143 | 6655 475 36 | 0.001 % | 15.30/15.31 c | 813 | 276 209 3143 | 7320 813 33 | 0.001 % | 15.30/15.32 c | 1322 | 276 209 3143 | 8052 1322 36 | 0.001 % | 15.30/15.34 c | 2082 | 276 209 3143 | 8857 2082 37 | 0.001 % | 15.30/15.37 c | 3222 | 276 209 3143 | 9743 3222 40 | 0.001 % | 15.39/15.43 c | 4930 | 276 209 3143 | 10717 4930 40 | 0.001 % | 15.49/15.53 c | 7494 | 276 209 3143 | 11789 7494 40 | 0.001 % | 15.69/15.71 c | 11339 | 276 209 3143 | 12968 11339 42 | 0.001 % | 15.99/16.01 c | 17106 | 276 209 3143 | 14265 10585 45 | 0.001 % | 16.40/16.50 c | 25755 | 276 209 3143 | 15692 12056 47 | 0.001 % | 17.29/17.33 c | 38729 | 276 209 3143 | 17261 9231 49 | 0.001 % | 18.60/18.68 c | 58191 | 276 209 3143 | 18987 11327 48 | 0.001 % | 20.30/20.35 c =============================================================================== 20.59/20.68 c core #5 20.59/20.68 c 20.59/20.68 c 20.59/20.68 c Core size: 47 Core Weight: 1 Total Weight: 12 20.59/20.68 c Current CPU time: 20.3859 s 20.59/20.68 c 20.59/20.68 c ============================[ Search Statistics ]============================== 20.59/20.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.59/20.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.59/20.68 c =============================================================================== 20.59/20.68 c | 0 | 304 235 3620 | 5000 0 -nan | 0.000 % | 20.59/20.68 c | 100 | 304 235 3620 | 5500 100 43 | 0.001 % | 20.59/20.68 c | 251 | 304 235 3620 | 6050 251 44 | 0.001 % | 20.59/20.69 c | 476 | 304 235 3620 | 6655 476 42 | 0.001 % | 20.69/20.70 c | 813 | 304 235 3620 | 7320 813 39 | 0.001 % | 20.69/20.71 c | 1321 | 304 235 3620 | 8052 1321 37 | 0.001 % | 20.69/20.73 c | 2082 | 304 235 3620 | 8857 2082 35 | 0.001 % | 20.69/20.76 c | 3224 | 304 235 3620 | 9743 3224 35 | 0.001 % | 20.80/20.82 c | 4934 | 304 235 3620 | 10717 4934 36 | 0.001 % | 20.90/20.92 c | 7496 | 304 235 3620 | 11789 7496 37 | 0.001 % | 21.09/21.13 c | 11344 | 304 235 3620 | 12968 11344 40 | 0.001 % | 21.39/21.43 c | 17111 | 304 235 3620 | 14265 10587 46 | 0.001 % | 21.79/21.89 c | 25762 | 304 235 3620 | 15692 12057 46 | 0.001 % | 22.59/22.67 c | 38738 | 304 235 3620 | 17261 9258 48 | 0.001 % | 23.89/23.97 c | 58199 | 304 235 3620 | 18987 11353 47 | 0.001 % | 24.29/24.38 c =============================================================================== 24.59/24.62 c core #6 24.59/24.62 c 24.59/24.62 c 24.59/24.62 c Core size: 35 Core Weight: 1 Total Weight: 13 24.59/24.62 c Current CPU time: 24.2713 s 24.59/24.62 c 24.59/24.62 c ============================[ Search Statistics ]============================== 24.59/24.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.59/24.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.59/24.62 c =============================================================================== 24.59/24.62 c | 0 | 328 260 4076 | 5000 0 -nan | 0.000 % | 24.59/24.62 c | 101 | 328 260 4076 | 5500 101 29 | 0.001 % | 24.59/24.63 c | 251 | 328 260 4076 | 6050 251 30 | 0.001 % | 24.59/24.63 c | 477 | 328 260 4076 | 6655 477 32 | 0.001 % | 24.59/24.64 c | 815 | 328 260 4076 | 7320 815 31 | 0.001 % | 24.59/24.65 c | 1323 | 328 260 4076 | 8052 1323 32 | 0.001 % | 24.59/24.67 c | 2082 | 328 260 4076 | 8857 2082 37 | 0.001 % | 24.69/24.70 c | 3222 | 328 260 4076 | 9743 3222 39 | 0.001 % | 24.69/24.76 c | 4932 | 328 260 4076 | 10717 4932 40 | 0.001 % | 24.80/24.86 c | 7494 | 328 260 4076 | 11789 7494 40 | 0.001 % | 24.99/25.07 c | 11338 | 328 260 4076 | 12968 11338 41 | 0.001 % | 25.39/25.40 c | 17106 | 328 260 4076 | 14265 10590 44 | 0.001 % | 25.89/25.90 c | 25757 | 328 260 4076 | 15692 12060 45 | 0.001 % | 26.59/26.69 c | 38733 | 328 260 4076 | 17261 9250 47 | 0.001 % | 27.99/28.06 c | 58194 | 328 260 4076 | 18987 11338 49 | 0.001 % | 30.09/30.16 c | 87390 | 287 260 4076 | 20886 11885 54 | 12.501 % | 30.19/30.23 c =============================================================================== 30.59/30.60 c core #7 30.59/30.60 c 30.59/30.60 c 30.59/30.60 c Core size: 47 Core Weight: 1 Total Weight: 14 30.59/30.60 c Current CPU time: 30.1694 s 30.59/30.60 c 30.59/30.60 c ============================[ Search Statistics ]============================== 30.59/30.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.59/30.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.59/30.60 c =============================================================================== 30.59/30.60 c | 0 | 358 289 4595 | 5000 0 -nan | 0.000 % | 30.59/30.60 c | 101 | 358 289 4595 | 5500 101 41 | 0.001 % | 30.59/30.61 c | 251 | 358 289 4595 | 6050 251 41 | 0.001 % | 30.59/30.61 c | 476 | 358 289 4595 | 6655 476 38 | 0.001 % | 30.59/30.62 c | 815 | 358 289 4595 | 7320 815 37 | 0.001 % | 30.59/30.63 c | 1321 | 358 289 4595 | 8052 1321 35 | 0.001 % | 30.59/30.65 c | 2081 | 358 289 4595 | 8857 2081 33 | 0.001 % | 30.59/30.68 c | 3220 | 358 289 4595 | 9743 3220 33 | 0.001 % | 30.69/30.73 c | 4928 | 358 289 4595 | 10717 4928 36 | 0.001 % | 30.80/30.83 c | 7490 | 358 289 4595 | 11789 7490 36 | 0.001 % | 30.99/31.02 c | 11334 | 358 289 4595 | 12968 11334 38 | 0.001 % | 31.29/31.36 c | 17100 | 358 289 4595 | 14265 10571 43 | 0.001 % | 31.80/31.86 c | 25750 | 358 289 4595 | 15692 12042 45 | 0.001 % | 32.60/32.63 c | 38724 | 358 289 4595 | 17261 9218 42 | 0.001 % | 33.79/33.80 c | 58185 | 358 289 4595 | 18987 11294 49 | 0.001 % | 35.10/35.17 c =============================================================================== 35.39/35.48 c core #8 35.39/35.48 c 35.39/35.48 c 35.39/35.48 c Core size: 40 Core Weight: 3 Total Weight: 17 35.39/35.48 c Current CPU time: 35.0027 s 35.39/35.48 c 35.39/35.48 c ============================[ Search Statistics ]============================== 35.39/35.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.39/35.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.39/35.48 c =============================================================================== 35.39/35.48 c | 0 | 385 314 5062 | 5000 0 -nan | 0.000 % | 35.39/35.49 c | 102 | 385 314 5062 | 5500 102 36 | 0.001 % | 35.39/35.49 c | 254 | 385 314 5062 | 6050 254 38 | 0.001 % | 35.49/35.50 c | 479 | 385 314 5062 | 6655 479 39 | 0.001 % | 35.49/35.50 c | 816 | 385 314 5062 | 7320 816 35 | 0.001 % | 35.49/35.52 c | 1322 | 385 314 5062 | 8052 1322 33 | 0.001 % | 35.49/35.53 c | 2081 | 385 314 5062 | 8857 2081 34 | 0.001 % | 35.49/35.57 c | 3221 | 385 314 5062 | 9743 3221 35 | 0.001 % | 35.59/35.62 c | 4932 | 385 314 5062 | 10717 4932 37 | 0.001 % | 35.69/35.73 c | 7494 | 385 314 5062 | 11789 7494 38 | 0.001 % | 35.90/35.91 c | 11338 | 385 314 5062 | 12968 11338 39 | 0.001 % | 36.09/36.20 c | 17104 | 385 314 5062 | 14265 10562 42 | 0.001 % | 36.59/36.67 c | 25756 | 385 314 5062 | 15692 12025 44 | 0.001 % | 37.39/37.41 c | 38730 | 385 314 5062 | 17261 9213 45 | 0.001 % | 38.60/38.60 c | 58193 | 385 314 5062 | 18987 11309 48 | 0.001 % | 40.49/40.55 c | 87385 | 385 314 5062 | 20886 11839 48 | 0.001 % | 41.59/41.66 c =============================================================================== 41.99/42.09 c core #9 41.99/42.09 c 41.99/42.09 c 41.99/42.09 c Core size: 49 Core Weight: 1 Total Weight: 18 41.99/42.09 c Current CPU time: 41.5447 s 41.99/42.09 c 41.99/42.09 c ============================[ Search Statistics ]============================== 41.99/42.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 41.99/42.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 41.99/42.09 c =============================================================================== 41.99/42.09 c | 0 | 425 343 5596 | 5000 0 -nan | 0.000 % | 42.09/42.10 c | 102 | 425 343 5596 | 5500 102 29 | 0.001 % | 42.09/42.10 c | 252 | 425 343 5596 | 6050 252 31 | 0.001 % | 42.09/42.10 c | 478 | 425 343 5596 | 6655 478 31 | 0.001 % | 42.09/42.11 c | 815 | 425 343 5596 | 7320 815 31 | 0.001 % | 42.09/42.12 c | 1324 | 425 343 5596 | 8052 1324 31 | 0.001 % | 42.09/42.14 c | 2083 | 425 343 5596 | 8857 2083 31 | 0.001 % | 42.09/42.17 c | 3222 | 425 343 5596 | 9743 3222 32 | 0.001 % | 42.19/42.22 c | 4932 | 425 343 5596 | 10717 4932 34 | 0.001 % | 42.29/42.31 c | 7495 | 425 343 5596 | 11789 7495 36 | 0.001 % | 42.49/42.52 c | 11340 | 425 343 5596 | 12968 11340 39 | 0.001 % | 42.80/42.83 c | 17107 | 425 343 5596 | 14265 10580 42 | 0.001 % | 43.29/43.32 c | 25758 | 425 343 5596 | 15692 12069 44 | 0.001 % | 44.09/44.16 c | 38735 | 425 343 5596 | 17261 9236 43 | 0.001 % | 45.39/45.47 c | 58197 | 425 343 5596 | 18987 11343 50 | 0.001 % | 47.59/47.69 c | 87390 | 425 343 5596 | 20886 11894 48 | 0.001 % | 48.90/48.92 c =============================================================================== 49.30/49.36 c core #10 49.30/49.36 c 49.30/49.36 c 49.30/49.36 c Core size: 45 Core Weight: 1 Total Weight: 19 49.30/49.36 c Current CPU time: 48.7326 s 49.30/49.36 c 49.30/49.36 c ============================[ Search Statistics ]============================== 49.30/49.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 49.30/49.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 49.30/49.36 c =============================================================================== 49.30/49.36 c | 0 | 457 374 6144 | 5000 0 -nan | 0.000 % | 49.30/49.36 c | 100 | 457 374 6144 | 5500 100 34 | 0.000 % | 49.30/49.36 c | 250 | 457 374 6144 | 6050 250 33 | 0.000 % | 49.30/49.37 c | 475 | 457 374 6144 | 6655 475 34 | 0.000 % | 49.30/49.37 c | 813 | 457 374 6144 | 7320 813 35 | 0.000 % | 49.30/49.39 c | 1319 | 457 374 6144 | 8052 1319 34 | 0.000 % | 49.40/49.41 c | 2079 | 457 374 6144 | 8857 2079 37 | 0.000 % | 49.40/49.44 c | 3221 | 457 374 6144 | 9743 3221 39 | 0.000 % | 49.40/49.49 c | 4932 | 457 374 6144 | 10717 4932 38 | 0.000 % | 49.50/49.59 c | 7495 | 457 374 6144 | 11789 7495 38 | 0.000 % | 49.69/49.75 c | 11339 | 457 374 6144 | 12968 11339 40 | 0.000 % | 50.00/50.06 c | 17105 | 457 374 6144 | 14265 10572 42 | 0.000 % | 50.49/50.55 c | 25758 | 457 374 6144 | 15692 12051 49 | 0.000 % | 51.39/51.46 c | 38734 | 457 374 6144 | 17261 9219 49 | 0.000 % | 52.90/52.94 c | 58196 | 457 374 6144 | 18987 11306 51 | 0.000 % | 54.90/54.99 c | 87389 | 420 374 6144 | 20886 11858 50 | 8.097 % | 55.80/55.87 c =============================================================================== 56.30/56.30 c core #11 56.30/56.30 c 56.30/56.30 c 56.30/56.30 c Core size: 46 Core Weight: 1 Total Weight: 20 56.30/56.30 c Current CPU time: 55.6155 s 56.30/56.30 c 56.30/56.30 c ============================[ Search Statistics ]============================== 56.30/56.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.30/56.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.30/56.30 c =============================================================================== 56.30/56.30 c | 0 | 488 401 6642 | 5000 0 -nan | 0.000 % | 56.30/56.30 c | 100 | 488 401 6642 | 5500 100 30 | 0.000 % | 56.30/56.30 c | 250 | 488 401 6642 | 6050 250 32 | 0.000 % | 56.30/56.31 c | 475 | 488 401 6642 | 6655 475 33 | 0.000 % | 56.30/56.32 c | 813 | 488 401 6642 | 7320 813 35 | 0.000 % | 56.30/56.33 c | 1319 | 488 401 6642 | 8052 1319 35 | 0.000 % | 56.30/56.35 c | 2078 | 488 401 6642 | 8857 2078 36 | 0.000 % | 56.30/56.38 c | 3217 | 488 401 6642 | 9743 3217 37 | 0.000 % | 56.39/56.45 c | 4925 | 488 401 6642 | 10717 4925 40 | 0.000 % | 56.49/56.56 c | 7487 | 488 401 6642 | 11789 7487 40 | 0.000 % | 56.69/56.75 c | 11331 | 488 401 6642 | 12968 11331 40 | 0.000 % | 56.99/57.03 c | 17098 | 488 401 6642 | 14265 10554 42 | 0.000 % | 57.39/57.49 c | 25748 | 488 401 6642 | 15692 12045 44 | 0.000 % | 58.19/58.26 c | 38722 | 488 401 6642 | 17261 9204 46 | 0.000 % | 59.30/59.40 c | 58183 | 488 401 6642 | 18987 11279 46 | 0.000 % | 61.40/61.45 c | 87376 | 488 401 6642 | 20886 11820 48 | 0.000 % | 63.09/63.14 c =============================================================================== 63.49/63.58 c core #12 63.49/63.58 c 63.49/63.58 c 63.49/63.58 c Core size: 70 Core Weight: 1 Total Weight: 21 63.49/63.58 c Current CPU time: 62.8125 s 63.49/63.58 c 63.49/63.58 c ============================[ Search Statistics ]============================== 63.49/63.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 63.49/63.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 63.49/63.58 c =============================================================================== 63.49/63.58 c | 0 | 539 428 7182 | 5000 0 -nan | 0.000 % | 63.49/63.59 c | 102 | 539 428 7182 | 5500 102 31 | 0.000 % | 63.49/63.59 c | 252 | 539 428 7182 | 6050 252 34 | 0.000 % | 63.49/63.59 c | 478 | 539 428 7182 | 6655 478 33 | 0.000 % | 63.59/63.60 c | 815 | 539 428 7182 | 7320 815 32 | 0.000 % | 63.59/63.61 c | 1323 | 539 428 7182 | 8052 1323 34 | 0.000 % | 63.59/63.64 c | 2082 | 539 428 7182 | 8857 2082 35 | 0.000 % | 63.59/63.67 c | 3222 | 539 428 7182 | 9743 3222 36 | 0.000 % | 63.69/63.72 c | 4931 | 539 428 7182 | 10717 4931 37 | 0.000 % | 63.80/63.82 c | 7493 | 539 428 7182 | 11789 7493 40 | 0.000 % | 64.00/64.02 c | 11337 | 539 428 7182 | 12968 11337 42 | 0.000 % | 64.29/64.34 c | 17103 | 539 428 7182 | 14265 10555 46 | 0.000 % | 64.80/64.84 c | 25752 | 539 428 7182 | 15692 12034 43 | 0.000 % | 65.60/65.61 c | 38728 | 539 428 7182 | 17261 9214 47 | 0.000 % | 66.90/66.96 c | 58190 | 539 428 7182 | 18987 11312 46 | 0.000 % | 69.09/69.12 c | 87384 | 539 428 7182 | 20886 11868 50 | 0.000 % | 69.89/69.99 c =============================================================================== 70.30/70.38 c core #13 70.30/70.38 c 70.30/70.38 c 70.30/70.38 c Core size: 64 Core Weight: 1 Total Weight: 22 70.30/70.38 c Current CPU time: 69.5514 s 70.30/70.38 c 70.30/70.38 c ============================[ Search Statistics ]============================== 70.30/70.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 70.30/70.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 70.30/70.38 c =============================================================================== 70.30/70.38 c | 0 | 583 454 7698 | 5000 0 -nan | 0.000 % | 70.30/70.39 c | 103 | 583 454 7698 | 5500 103 34 | 0.000 % | 70.30/70.39 c | 257 | 583 454 7698 | 6050 257 39 | 0.000 % | 70.30/70.40 c | 483 | 583 454 7698 | 6655 483 35 | 0.000 % | 70.40/70.40 c | 821 | 583 454 7698 | 7320 821 34 | 0.000 % | 70.40/70.42 c | 1327 | 583 454 7698 | 8052 1327 35 | 0.000 % | 70.40/70.44 c | 2089 | 583 454 7698 | 8857 2089 35 | 0.000 % | 70.40/70.47 c | 3229 | 583 454 7698 | 9743 3229 37 | 0.000 % | 70.49/70.53 c | 4937 | 583 454 7698 | 10717 4937 38 | 0.000 % | 70.59/70.63 c | 7499 | 583 454 7698 | 11789 7499 42 | 0.000 % | 70.79/70.83 c | 11343 | 583 454 7698 | 12968 11343 42 | 0.000 % | 71.09/71.14 c | 17111 | 583 454 7698 | 14265 10580 42 | 0.000 % | 71.59/71.67 c | 25761 | 583 454 7698 | 15692 12033 46 | 0.000 % | 72.50/72.52 c | 38736 | 583 454 7698 | 17261 9196 48 | 0.000 % | 73.79/73.84 c | 58198 | 583 454 7698 | 18987 11307 47 | 0.000 % | 75.79/75.89 c | 87391 | 550 454 7698 | 20886 11871 50 | 5.661 % | 76.09/76.17 c =============================================================================== 76.49/76.53 c core #14 76.49/76.53 c 76.49/76.53 c 76.49/76.53 c Core size: 40 Core Weight: 1 Total Weight: 23 76.49/76.53 c Current CPU time: 75.6405 s 76.49/76.53 c 76.49/76.53 c ============================[ Search Statistics ]============================== 76.49/76.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.49/76.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.49/76.53 c =============================================================================== 76.49/76.53 c | 0 | 612 479 8170 | 5000 0 -nan | 0.000 % | 76.49/76.54 c | 101 | 612 479 8170 | 5500 101 31 | 0.000 % | 76.49/76.54 c | 253 | 612 479 8170 | 6050 253 39 | 0.000 % | 76.49/76.55 c | 481 | 612 479 8170 | 6655 481 41 | 0.000 % | 76.49/76.56 c | 818 | 612 479 8170 | 7320 818 38 | 0.000 % | 76.49/76.57 c | 1326 | 612 479 8170 | 8052 1326 37 | 0.000 % | 76.49/76.59 c | 2086 | 612 479 8170 | 8857 2086 37 | 0.000 % | 76.59/76.63 c | 3225 | 612 479 8170 | 9743 3225 36 | 0.000 % | 76.59/76.69 c | 4933 | 612 479 8170 | 10717 4933 37 | 0.000 % | 76.79/76.81 c | 7496 | 612 479 8170 | 11789 7496 39 | 0.000 % | 77.00/77.01 c | 11340 | 612 479 8170 | 12968 11340 39 | 0.000 % | 77.30/77.30 c | 17106 | 612 479 8170 | 14265 10563 41 | 0.000 % | 77.79/77.80 c | 25755 | 612 479 8170 | 15692 12028 41 | 0.000 % | 78.49/78.57 c | 38729 | 612 479 8170 | 17261 9210 41 | 0.000 % | 79.79/79.81 c | 58191 | 612 479 8170 | 18987 11301 46 | 0.000 % | 81.80/81.80 c =============================================================================== 82.10/82.14 c core #15 82.10/82.14 c 82.10/82.14 c 82.10/82.14 c Core size: 49 Core Weight: 1 Total Weight: 24 82.10/82.14 c Current CPU time: 81.1767 s 82.10/82.14 c 82.10/82.14 c ============================[ Search Statistics ]============================== 82.10/82.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 82.10/82.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 82.10/82.14 c =============================================================================== 82.10/82.14 c | 0 | 645 502 8623 | 5000 0 -nan | 0.000 % | 82.10/82.14 c | 100 | 645 502 8623 | 5500 100 34 | 0.000 % | 82.10/82.15 c | 253 | 645 502 8623 | 6050 253 33 | 0.000 % | 82.10/82.15 c | 478 | 645 502 8623 | 6655 478 33 | 0.000 % | 82.10/82.16 c | 815 | 645 502 8623 | 7320 815 35 | 0.000 % | 82.10/82.18 c | 1322 | 645 502 8623 | 8052 1322 34 | 0.000 % | 82.19/82.20 c | 2081 | 645 502 8623 | 8857 2081 35 | 0.000 % | 82.19/82.24 c | 3221 | 645 502 8623 | 9743 3221 36 | 0.000 % | 82.19/82.29 c | 4929 | 645 502 8623 | 10717 4929 36 | 0.000 % | 82.29/82.39 c | 7491 | 645 502 8623 | 11789 7491 38 | 0.000 % | 82.49/82.55 c | 11335 | 645 502 8623 | 12968 11335 38 | 0.000 % | 82.80/82.84 c | 17105 | 645 502 8623 | 14265 10576 40 | 0.000 % | 83.29/83.33 c | 25755 | 645 502 8623 | 15692 12048 42 | 0.000 % | 84.19/84.21 c | 38729 | 645 502 8623 | 17261 9223 45 | 0.000 % | 85.39/85.44 c | 58191 | 645 502 8623 | 18987 11307 50 | 0.000 % | 87.59/87.62 c | 87384 | 645 502 8623 | 20886 11856 48 | 0.000 % | 89.09/89.17 c =============================================================================== 89.60/89.60 c core #16 89.60/89.60 c 89.60/89.60 c 89.60/89.60 c Core size: 69 Core Weight: 1 Total Weight: 25 89.60/89.60 c Current CPU time: 88.5565 s 89.60/89.60 c 89.60/89.60 c ============================[ Search Statistics ]============================== 89.60/89.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.60/89.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.60/89.60 c =============================================================================== 89.60/89.60 c | 0 | 698 527 9144 | 5000 0 -nan | 0.000 % | 89.60/89.61 c | 100 | 698 527 9144 | 5500 100 31 | 0.000 % | 89.60/89.61 c | 252 | 698 527 9144 | 6050 252 35 | 0.000 % | 89.60/89.62 c | 478 | 698 527 9144 | 6655 478 32 | 0.000 % | 89.60/89.62 c | 815 | 698 527 9144 | 7320 815 33 | 0.000 % | 89.60/89.64 c | 1321 | 698 527 9144 | 8052 1321 32 | 0.000 % | 89.60/89.66 c | 2081 | 698 527 9144 | 8857 2081 32 | 0.000 % | 89.60/89.69 c | 3220 | 698 527 9144 | 9743 3220 32 | 0.000 % | 89.70/89.75 c | 4928 | 698 527 9144 | 10717 4928 35 | 0.000 % | 89.79/89.87 c | 7491 | 698 527 9144 | 11789 7491 36 | 0.000 % | 89.99/90.06 c | 11337 | 698 527 9144 | 12968 11337 39 | 0.000 % | 90.29/90.36 c | 17103 | 698 527 9144 | 14265 10560 43 | 0.000 % | 90.79/90.80 c | 25757 | 698 527 9144 | 15692 12034 43 | 0.000 % | 91.59/91.66 c | 38731 | 698 527 9144 | 17261 9202 46 | 0.000 % | 92.89/92.91 c | 58193 | 698 527 9144 | 18987 11294 48 | 0.000 % | 94.89/94.91 c | 87385 | 698 527 9144 | 20886 11832 51 | 0.000 % | 96.40/96.45 c =============================================================================== 96.80/96.89 c core #17 96.80/96.89 c 96.80/96.89 c 96.80/96.89 c Core size: 62 Core Weight: 1 Total Weight: 26 96.80/96.89 c Current CPU time: 95.7684 s 96.80/96.89 c 96.80/96.89 c ============================[ Search Statistics ]============================== 96.80/96.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 96.80/96.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 96.80/96.89 c =============================================================================== 96.80/96.89 c | 0 | 739 552 9641 | 5000 0 -nan | 0.000 % | 96.80/96.89 c | 102 | 739 552 9641 | 5500 102 42 | 0.000 % | 96.80/96.89 c | 252 | 739 552 9641 | 6050 252 42 | 0.000 % | 96.89/96.90 c | 477 | 739 552 9641 | 6655 477 36 | 0.000 % | 96.89/96.91 c | 814 | 739 552 9641 | 7320 814 36 | 0.000 % | 96.89/96.92 c | 1321 | 739 552 9641 | 8052 1321 37 | 0.000 % | 96.89/96.94 c | 2080 | 739 552 9641 | 8857 2080 40 | 0.000 % | 96.89/96.98 c | 3219 | 739 552 9641 | 9743 3219 38 | 0.000 % | 96.99/97.04 c | 4927 | 739 552 9641 | 10717 4927 38 | 0.000 % | 97.09/97.16 c | 7492 | 739 552 9641 | 11789 7492 42 | 0.000 % | 97.30/97.35 c | 11340 | 739 552 9641 | 12968 11340 44 | 0.000 % | 97.69/97.70 c | 17109 | 739 552 9641 | 14265 10577 48 | 0.000 % | 98.19/98.23 c | 25759 | 739 552 9641 | 15692 12050 46 | 0.000 % | 99.00/99.05 c | 38735 | 739 552 9641 | 17261 9261 45 | 0.000 % | 100.39/100.42 c | 58197 | 739 552 9641 | 18987 11356 48 | 0.000 % | 102.49/102.54 c | 87392 | 739 552 9641 | 20886 11910 54 | 0.000 % | 105.90/105.94 c | 131181 | 739 552 9641 | 22974 13716 54 | 0.000 % | 106.70/106.72 c =============================================================================== 107.29/107.34 c core #18 107.29/107.34 c 107.29/107.34 c 107.29/107.34 c Core size: 47 Core Weight: 1 Total Weight: 27 107.29/107.34 c Current CPU time: 106.094 s 107.29/107.34 c 107.29/107.34 c ============================[ Search Statistics ]============================== 107.29/107.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.29/107.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 107.29/107.34 c =============================================================================== 107.29/107.34 c | 0 | 770 576 10104 | 5000 0 -nan | 0.000 % | 107.29/107.35 c | 101 | 770 576 10104 | 5500 101 40 | 0.000 % | 107.29/107.35 c | 251 | 770 576 10104 | 6050 251 41 | 0.000 % | 107.29/107.35 c | 477 | 770 576 10104 | 6655 477 37 | 0.000 % | 107.29/107.36 c | 815 | 770 576 10104 | 7320 815 35 | 0.000 % | 107.29/107.37 c | 1321 | 770 576 10104 | 8052 1321 32 | 0.000 % | 107.40/107.40 c | 2082 | 770 576 10104 | 8857 2082 33 | 0.000 % | 107.40/107.43 c | 3221 | 770 576 10104 | 9743 3221 33 | 0.000 % | 107.40/107.48 c | 4929 | 770 576 10104 | 10717 4929 35 | 0.000 % | 107.50/107.59 c | 7492 | 770 576 10104 | 11789 7492 36 | 0.000 % | 107.70/107.76 c | 11338 | 770 576 10104 | 12968 11338 37 | 0.000 % | 107.99/108.07 c | 17105 | 770 576 10104 | 14265 10577 39 | 0.000 % | 108.50/108.54 c | 25755 | 770 576 10104 | 15692 12045 46 | 0.000 % | 109.29/109.34 c | 38729 | 770 576 10104 | 17261 9213 48 | 0.000 % | 110.59/110.67 c | 58193 | 770 576 10104 | 18987 11325 46 | 0.000 % | 112.69/112.76 c | 87387 | 770 576 10104 | 20886 11886 49 | 0.000 % | 114.50/114.56 c =============================================================================== 114.99/115.01 c core #19 114.99/115.01 c 114.99/115.01 c 114.99/115.01 c Core size: 45 Core Weight: 1 Total Weight: 28 114.99/115.01 c Current CPU time: 113.689 s 114.99/115.01 c 114.99/115.01 c ============================[ Search Statistics ]============================== 114.99/115.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 114.99/115.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 114.99/115.01 c =============================================================================== 114.99/115.01 c | 0 | 799 599 10549 | 5000 0 -nan | 0.000 % | 114.99/115.02 c | 100 | 799 599 10549 | 5500 100 38 | 0.000 % | 114.99/115.02 c | 250 | 799 599 10549 | 6050 250 42 | 0.000 % | 114.99/115.03 c | 477 | 799 599 10549 | 6655 477 39 | 0.000 % | 114.99/115.03 c | 819 | 799 599 10549 | 7320 819 37 | 0.000 % | 114.99/115.05 c | 1325 | 799 599 10549 | 8052 1325 35 | 0.000 % | 114.99/115.07 c | 2084 | 799 599 10549 | 8857 2084 35 | 0.000 % | 115.09/115.11 c | 3224 | 799 599 10549 | 9743 3224 36 | 0.000 % | 115.09/115.17 c | 4932 | 799 599 10549 | 10717 4932 36 | 0.000 % | 115.19/115.28 c | 7494 | 799 599 10549 | 11789 7494 38 | 0.000 % | 115.40/115.45 c | 11339 | 799 599 10549 | 12968 11339 38 | 0.000 % | 115.69/115.75 c | 17106 | 799 599 10549 | 14265 10549 42 | 0.000 % | 116.19/116.22 c | 25756 | 799 599 10549 | 15692 12009 46 | 0.000 % | 116.99/117.03 c | 38733 | 799 599 10549 | 17261 9185 47 | 0.000 % | 118.29/118.37 c | 58195 | 799 599 10549 | 18987 11280 51 | 0.000 % | 120.49/120.52 c | 87388 | 799 599 10549 | 20886 11825 47 | 0.000 % | 122.29/122.32 c =============================================================================== 122.69/122.79 c core #20 122.69/122.79 c 122.69/122.79 c 122.69/122.79 c Core size: 35 Core Weight: 2 Total Weight: 30 122.69/122.79 c Current CPU time: 121.39 s 122.69/122.79 c 122.69/122.79 c ============================[ Search Statistics ]============================== 122.69/122.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 122.69/122.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 122.69/122.79 c =============================================================================== 122.69/122.79 c | 0 | 819 620 10957 | 5000 0 -nan | 0.000 % | 122.79/122.80 c | 101 | 819 620 10957 | 5500 101 41 | 0.000 % | 122.79/122.80 c | 252 | 819 620 10957 | 6050 252 40 | 0.000 % | 122.79/122.81 c | 479 | 819 620 10957 | 6655 479 37 | 0.000 % | 122.79/122.82 c | 817 | 819 620 10957 | 7320 817 38 | 0.000 % | 122.79/122.83 c | 1324 | 819 620 10957 | 8052 1324 39 | 0.000 % | 122.79/122.85 c | 2085 | 819 620 10957 | 8857 2085 40 | 0.000 % | 122.79/122.89 c | 3224 | 819 620 10957 | 9743 3224 40 | 0.000 % | 122.89/122.94 c | 4934 | 819 620 10957 | 10717 4934 38 | 0.000 % | 123.00/123.04 c | 7497 | 819 620 10957 | 11789 7497 38 | 0.000 % | 123.20/123.22 c | 11342 | 819 620 10957 | 12968 11342 37 | 0.000 % | 123.49/123.54 c | 17108 | 819 620 10957 | 14265 10584 39 | 0.000 % | 124.00/124.04 c | 25757 | 819 620 10957 | 15692 12047 44 | 0.000 % | 124.79/124.82 c | 38734 | 819 620 10957 | 17261 9235 44 | 0.000 % | 125.99/126.05 c | 58195 | 819 620 10957 | 18987 11335 47 | 0.000 % | 128.10/128.12 c | 87388 | 819 620 10957 | 20886 11888 47 | 0.000 % | 130.80/130.86 c =============================================================================== 131.29/131.36 c core #21 131.29/131.36 c 131.29/131.36 c 131.29/131.36 c Core size: 64 Core Weight: 1 Total Weight: 31 131.29/131.36 c Current CPU time: 129.881 s 131.29/131.36 c 131.29/131.36 c ============================[ Search Statistics ]============================== 131.29/131.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 131.29/131.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 131.29/131.36 c =============================================================================== 131.29/131.36 c | 0 | 869 644 11443 | 5000 0 -nan | 0.000 % | 131.29/131.37 c | 101 | 869 644 11443 | 5500 101 33 | 0.000 % | 131.29/131.37 c | 251 | 869 644 11443 | 6050 251 31 | 0.000 % | 131.29/131.37 c | 476 | 869 644 11443 | 6655 476 29 | 0.000 % | 131.29/131.38 c | 813 | 869 644 11443 | 7320 813 30 | 0.000 % | 131.29/131.39 c | 1319 | 869 644 11443 | 8052 1319 32 | 0.000 % | 131.39/131.42 c | 2078 | 869 644 11443 | 8857 2078 34 | 0.000 % | 131.39/131.45 c | 3218 | 869 644 11443 | 9743 3218 37 | 0.000 % | 131.50/131.51 c | 4926 | 869 644 11443 | 10717 4926 37 | 0.000 % | 131.60/131.61 c | 7488 | 869 644 11443 | 11789 7488 41 | 0.000 % | 131.70/131.79 c | 11332 | 869 644 11443 | 12968 11332 42 | 0.000 % | 132.09/132.12 c | 17098 | 869 644 11443 | 14265 10564 44 | 0.000 % | 132.60/132.65 c | 25750 | 869 644 11443 | 15692 12030 45 | 0.000 % | 133.49/133.52 c | 38725 | 869 644 11443 | 17261 9187 50 | 0.000 % | 134.89/134.92 c | 58186 | 869 644 11443 | 18987 11288 50 | 0.000 % | 136.99/137.06 c | 87379 | 869 644 11443 | 20886 11837 52 | 0.000 % | 140.10/140.16 c =============================================================================== 140.60/140.65 c core #22 140.60/140.65 c 140.60/140.65 c 140.60/140.65 c Core size: 44 Core Weight: 1 Total Weight: 32 140.60/140.65 c Current CPU time: 139.076 s 140.60/140.65 c 140.60/140.65 c ============================[ Search Statistics ]============================== 140.60/140.65 c | Conflicts | ORIGINAL | LEARNT | Progress | 140.60/140.65 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 140.60/140.65 c =============================================================================== 140.60/140.65 c | 0 | 900 667 11878 | 5000 0 -nan | 0.000 % | 140.60/140.66 c | 103 | 900 667 11878 | 5500 103 36 | 0.000 % | 140.60/140.66 c | 253 | 900 667 11878 | 6050 253 36 | 0.000 % | 140.60/140.67 c | 479 | 900 667 11878 | 6655 479 34 | 0.000 % | 140.60/140.67 c | 816 | 900 667 11878 | 7320 816 35 | 0.000 % | 140.60/140.69 c | 1322 | 900 667 11878 | 8052 1322 33 | 0.000 % | 140.70/140.71 c | 2081 | 900 667 11878 | 8857 2081 34 | 0.000 % | 140.70/140.75 c | 3220 | 900 667 11878 | 9743 3220 32 | 0.000 % | 140.80/140.81 c | 4931 | 900 667 11878 | 10717 4931 34 | 0.000 % | 140.89/140.90 c | 7493 | 900 667 11878 | 11789 7493 35 | 0.000 % | 140.99/141.08 c | 11338 | 900 667 11878 | 12968 11338 36 | 0.000 % | 141.29/141.39 c | 17106 | 900 667 11878 | 14265 10560 40 | 0.000 % | 141.80/141.88 c | 25756 | 900 667 11878 | 15692 12031 45 | 0.000 % | 142.69/142.73 c | 38730 | 900 667 11878 | 17261 9205 48 | 0.000 % | 143.99/144.06 c | 58192 | 900 667 11878 | 18987 11307 48 | 0.000 % | 146.09/146.19 c | 87384 | 900 667 11878 | 20886 11848 53 | 0.000 % | 149.29/149.37 c =============================================================================== 149.79/149.89 c core #23 149.79/149.89 c 149.79/149.89 c 149.79/149.89 c Core size: 74 Core Weight: 1 Total Weight: 33 149.79/149.89 c Current CPU time: 148.219 s 149.79/149.89 c 149.79/149.89 c ============================[ Search Statistics ]============================== 149.79/149.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 149.79/149.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 149.79/149.89 c =============================================================================== 149.79/149.89 c | 0 | 956 694 12419 | 5000 0 -nan | 0.000 % | 149.89/149.90 c | 101 | 956 694 12419 | 5500 101 39 | 0.000 % | 149.89/149.90 c | 251 | 956 694 12419 | 6050 251 38 | 0.000 % | 149.89/149.91 c | 476 | 956 694 12419 | 6655 476 40 | 0.000 % | 149.89/149.92 c | 816 | 956 694 12419 | 7320 816 37 | 0.000 % | 149.89/149.93 c | 1323 | 956 694 12419 | 8052 1323 37 | 0.000 % | 149.89/149.96 c | 2086 | 956 694 12419 | 8857 2086 35 | 0.000 % | 150.00/150.00 c | 3225 | 956 694 12419 | 9743 3225 36 | 0.000 % | 150.00/150.06 c | 4933 | 956 694 12419 | 10717 4933 37 | 0.000 % | 150.10/150.17 c | 7497 | 956 694 12419 | 11789 7497 39 | 0.000 % | 150.29/150.38 c | 11341 | 956 694 12419 | 12968 11341 39 | 0.000 % | 150.59/150.69 c | 17108 | 956 694 12419 | 14265 10567 41 | 0.000 % | 151.19/151.23 c | 25757 | 956 694 12419 | 15692 12039 44 | 0.000 % | 152.00/152.09 c | 38733 | 956 694 12419 | 17261 9238 45 | 0.000 % | 153.39/153.43 c | 58197 | 956 694 12419 | 18987 11308 48 | 0.000 % | 155.40/155.41 c | 87389 | 956 694 12419 | 20886 11852 54 | 0.000 % | 158.40/158.42 c =============================================================================== 158.90/158.90 c core #24 158.90/158.90 c 158.90/158.90 c 158.90/158.90 c Core size: 53 Core Weight: 1 Total Weight: 34 158.90/158.90 c Current CPU time: 157.132 s 158.90/158.90 c 158.90/158.90 c ============================[ Search Statistics ]============================== 158.90/158.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 158.90/158.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 158.90/158.90 c =============================================================================== 158.90/158.90 c | 0 | 990 718 12890 | 5000 0 -nan | 0.000 % | 158.90/158.91 c | 100 | 990 718 12890 | 5500 100 48 | 0.000 % | 158.90/158.91 c | 251 | 990 718 12890 | 6050 251 52 | 0.000 % | 158.90/158.92 c | 477 | 990 718 12890 | 6655 477 45 | 0.000 % | 158.90/158.92 c | 814 | 990 718 12890 | 7320 814 41 | 0.000 % | 158.90/158.94 c | 1320 | 990 718 12890 | 8052 1320 39 | 0.000 % | 158.90/158.96 c | 2079 | 990 718 12890 | 8857 2079 36 | 0.000 % | 158.99/159.00 c | 3218 | 990 718 12890 | 9743 3218 35 | 0.000 % | 158.99/159.06 c | 4928 | 990 718 12890 | 10717 4928 36 | 0.000 % | 159.09/159.17 c | 7493 | 990 718 12890 | 11789 7493 37 | 0.000 % | 159.30/159.37 c | 11338 | 990 718 12890 | 12968 11338 39 | 0.000 % | 159.70/159.70 c | 17104 | 990 718 12890 | 14265 10568 40 | 0.000 % | 160.09/160.19 c | 25755 | 990 718 12890 | 15692 12040 38 | 0.000 % | 160.89/160.93 c | 38732 | 990 718 12890 | 17261 9220 45 | 0.000 % | 162.19/162.21 c | 58193 | 990 718 12890 | 18987 11313 44 | 0.000 % | 164.29/164.32 c | 87386 | 990 718 12890 | 20886 11873 50 | 0.000 % | 167.49/167.59 c | 131175 | 965 718 12890 | 22974 13674 49 | 2.525 % | 168.20/168.25 c =============================================================================== 168.79/168.82 c core #25 168.79/168.82 c 168.79/168.82 c 168.79/168.82 c Core size: 44 Core Weight: 1 Total Weight: 35 168.79/168.82 c Current CPU time: 166.946 s 168.79/168.82 c 168.79/168.82 c ============================[ Search Statistics ]============================== 168.79/168.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 168.79/168.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 168.79/168.82 c =============================================================================== 168.79/168.82 c | 0 | 1022 740 13337 | 5000 0 -nan | 0.000 % | 168.79/168.83 c | 100 | 1022 740 13337 | 5500 100 37 | 0.000 % | 168.79/168.83 c | 250 | 1022 740 13337 | 6050 250 37 | 0.000 % | 168.79/168.84 c | 475 | 1022 740 13337 | 6655 475 33 | 0.000 % | 168.79/168.85 c | 814 | 1022 740 13337 | 7320 814 34 | 0.000 % | 168.79/168.86 c | 1321 | 1022 740 13337 | 8052 1321 34 | 0.000 % | 168.79/168.88 c | 2080 | 1022 740 13337 | 8857 2080 34 | 0.000 % | 168.89/168.92 c | 3219 | 1022 740 13337 | 9743 3219 34 | 0.000 % | 168.89/168.97 c | 4927 | 1022 740 13337 | 10717 4927 36 | 0.000 % | 168.99/169.08 c | 7493 | 1022 740 13337 | 11789 7493 38 | 0.000 % | 169.19/169.30 c | 11339 | 1022 740 13337 | 12968 11339 40 | 0.000 % | 169.60/169.64 c | 17106 | 1022 740 13337 | 14265 10566 43 | 0.000 % | 170.09/170.16 c | 25755 | 1022 740 13337 | 15692 12038 44 | 0.000 % | 170.89/170.99 c | 38729 | 1022 740 13337 | 17261 9224 44 | 0.000 % | 172.10/172.16 c | 58190 | 1022 740 13337 | 18987 11315 45 | 0.000 % | 174.09/174.15 c | 87384 | 1022 740 13337 | 20886 11850 51 | 0.000 % | 177.29/177.36 c | 131173 | 939 740 13337 | 22974 13655 57 | 8.513 % | 177.29/177.37 c =============================================================================== 177.79/177.88 c core #26 177.79/177.88 c 177.79/177.88 c 177.79/177.88 c Core size: 48 Core Weight: 1 Total Weight: 36 177.79/177.88 c Current CPU time: 175.908 s 177.79/177.88 c 177.79/177.88 c ============================[ Search Statistics ]============================== 177.79/177.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 177.79/177.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 177.79/177.88 c =============================================================================== 177.79/177.88 c | 0 | 1050 760 13760 | 5000 0 -nan | 0.000 % | 177.79/177.89 c | 100 | 1050 760 13760 | 5500 100 46 | 0.000 % | 177.79/177.89 c | 251 | 1050 760 13760 | 6050 251 39 | 0.000 % | 177.89/177.90 c | 477 | 1050 760 13760 | 6655 477 38 | 0.000 % | 177.89/177.91 c | 815 | 1050 760 13760 | 7320 815 38 | 0.000 % | 177.89/177.92 c | 1322 | 1050 760 13760 | 8052 1322 37 | 0.000 % | 177.89/177.94 c | 2082 | 1050 760 13760 | 8857 2082 35 | 0.000 % | 177.89/177.98 c | 3222 | 1050 760 13760 | 9743 3222 37 | 0.000 % | 177.99/178.05 c | 4931 | 1050 760 13760 | 10717 4931 38 | 0.000 % | 178.09/178.16 c | 7494 | 1050 760 13760 | 11789 7494 40 | 0.000 % | 178.30/178.36 c | 11339 | 1050 760 13760 | 12968 11339 40 | 0.000 % | 178.59/178.68 c | 17105 | 1050 760 13760 | 14265 10572 39 | 0.000 % | 179.10/179.16 c | 25754 | 1050 760 13760 | 15692 12038 40 | 0.000 % | 179.89/179.96 c | 38729 | 1050 760 13760 | 17261 9217 46 | 0.000 % | 181.19/181.26 c | 58190 | 1050 760 13760 | 18987 11296 48 | 0.000 % | 183.20/183.23 c | 87387 | 1050 760 13760 | 20886 11851 48 | 0.000 % | 186.59/186.61 c | 131177 | 1013 760 13760 | 22974 13646 55 | 3.524 % | 187.19/187.23 c =============================================================================== 187.69/187.76 c core #27 187.69/187.76 c 187.69/187.76 c 187.69/187.76 c Core size: 62 Core Weight: 1 Total Weight: 37 187.69/187.76 c Current CPU time: 185.689 s 187.69/187.76 c 187.69/187.76 c ============================[ Search Statistics ]============================== 187.69/187.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.69/187.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.69/187.76 c =============================================================================== 187.69/187.76 c | 0 | 1092 781 14203 | 5000 0 -nan | 0.000 % | 187.69/187.77 c | 101 | 1092 781 14203 | 5500 101 48 | 0.000 % | 187.69/187.78 c | 251 | 1092 781 14203 | 6050 251 50 | 0.000 % | 187.69/187.78 c | 477 | 1092 781 14203 | 6655 477 45 | 0.000 % | 187.69/187.79 c | 814 | 1092 781 14203 | 7320 814 41 | 0.000 % | 187.79/187.81 c | 1320 | 1092 781 14203 | 8052 1320 37 | 0.000 % | 187.79/187.83 c | 2080 | 1092 781 14203 | 8857 2080 36 | 0.000 % | 187.79/187.87 c | 3220 | 1092 781 14203 | 9743 3220 35 | 0.000 % | 187.90/187.93 c | 4930 | 1092 781 14203 | 10717 4930 37 | 0.000 % | 188.00/188.04 c | 7492 | 1092 781 14203 | 11789 7492 37 | 0.000 % | 188.19/188.22 c | 11338 | 1092 781 14203 | 12968 11338 38 | 0.000 % | 188.49/188.50 c | 17105 | 1092 781 14203 | 14265 10579 37 | 0.000 % | 188.89/188.99 c | 25754 | 1092 781 14203 | 15692 12043 41 | 0.000 % | 189.69/189.78 c | 38728 | 1092 781 14203 | 17261 9260 44 | 0.000 % | 191.00/191.01 c | 58192 | 1092 781 14203 | 18987 11363 46 | 0.000 % | 192.99/193.00 c | 87385 | 1092 781 14203 | 20886 11915 46 | 0.000 % | 194.89/194.97 c =============================================================================== 195.29/195.39 c core #28 195.29/195.39 c 195.29/195.39 c 195.29/195.39 c Core size: 50 Core Weight: 1 Total Weight: 38 195.29/195.39 c Current CPU time: 193.24 s 195.29/195.39 c 195.29/195.39 c ============================[ Search Statistics ]============================== 195.29/195.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.29/195.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.29/195.39 c =============================================================================== 195.29/195.39 c | 0 | 1124 803 14629 | 5000 0 -nan | 0.000 % | 195.39/195.40 c | 102 | 1124 803 14629 | 5500 102 44 | 0.000 % | 195.39/195.40 c | 254 | 1124 803 14629 | 6050 254 37 | 0.000 % | 195.39/195.41 c | 482 | 1124 803 14629 | 6655 482 36 | 0.000 % | 195.39/195.42 c | 819 | 1124 803 14629 | 7320 819 34 | 0.000 % | 195.39/195.43 c | 1326 | 1124 803 14629 | 8052 1326 35 | 0.000 % | 195.39/195.45 c | 2086 | 1124 803 14629 | 8857 2086 34 | 0.000 % | 195.39/195.49 c | 3225 | 1124 803 14629 | 9743 3225 32 | 0.000 % | 195.49/195.56 c | 4934 | 1124 803 14629 | 10717 4934 35 | 0.000 % | 195.59/195.67 c | 7497 | 1124 803 14629 | 11789 7497 35 | 0.000 % | 195.80/195.89 c | 11343 | 1124 803 14629 | 12968 11343 39 | 0.000 % | 196.20/196.21 c | 17111 | 1124 803 14629 | 14265 10570 46 | 0.000 % | 196.69/196.74 c | 25762 | 1124 803 14629 | 15692 12035 44 | 0.000 % | 197.59/197.61 c | 38737 | 1124 803 14629 | 17261 9215 45 | 0.000 % | 198.89/198.96 c | 58202 | 1124 803 14629 | 18987 11340 45 | 0.000 % | 201.10/201.19 c | 87395 | 1124 803 14629 | 20886 11918 53 | 0.000 % | 204.19/204.29 c =============================================================================== 204.69/204.76 c core #29 204.69/204.76 c 204.69/204.76 c 204.69/204.76 c Core size: 44 Core Weight: 1 Total Weight: 39 204.69/204.76 c Current CPU time: 202.506 s 204.69/204.76 c 204.69/204.76 c ============================[ Search Statistics ]============================== 204.69/204.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.69/204.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.69/204.76 c =============================================================================== 204.69/204.76 c | 0 | 1147 822 15028 | 5000 0 -nan | 0.000 % | 204.69/204.77 c | 101 | 1147 822 15028 | 5500 101 39 | 0.000 % | 204.69/204.77 c | 252 | 1147 822 15028 | 6050 252 38 | 0.000 % | 204.69/204.78 c | 479 | 1147 822 15028 | 6655 479 39 | 0.000 % | 204.69/204.79 c | 817 | 1147 822 15028 | 7320 817 35 | 0.000 % | 204.80/204.80 c | 1323 | 1147 822 15028 | 8052 1323 33 | 0.000 % | 204.80/204.82 c | 2082 | 1147 822 15028 | 8857 2082 32 | 0.000 % | 204.80/204.86 c | 3221 | 1147 822 15028 | 9743 3221 32 | 0.000 % | 204.89/204.92 c | 4929 | 1147 822 15028 | 10717 4929 34 | 0.000 % | 205.00/205.03 c | 7491 | 1147 822 15028 | 11789 7491 37 | 0.000 % | 205.19/205.22 c | 11335 | 1147 822 15028 | 12968 11335 39 | 0.000 % | 205.49/205.52 c | 17104 | 1147 822 15028 | 14265 10565 43 | 0.000 % | 206.00/206.05 c | 25753 | 1147 822 15028 | 15692 12042 44 | 0.000 % | 206.90/206.94 c | 38728 | 1147 822 15028 | 17261 9237 49 | 0.000 % | 208.29/208.31 c | 58193 | 1147 822 15028 | 18987 11319 49 | 0.000 % | 210.50/210.54 c | 87387 | 1147 822 15028 | 20886 11870 54 | 0.000 % | 213.70/213.79 c | 131176 | 1147 822 15028 | 22974 13687 48 | 0.000 % | 216.50/216.50 c =============================================================================== 217.19/217.21 c core #30 217.19/217.21 c 217.19/217.21 c 217.19/217.21 c Core size: 65 Core Weight: 1 Total Weight: 40 217.19/217.21 c Current CPU time: 214.791 s 217.19/217.21 c 217.19/217.21 c ============================[ Search Statistics ]============================== 217.19/217.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.19/217.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.19/217.21 c =============================================================================== 217.19/217.21 c | 0 | 1195 841 15457 | 5000 0 -nan | 0.000 % | 217.19/217.22 c | 104 | 1195 841 15457 | 5500 104 56 | 0.000 % | 217.19/217.22 c | 254 | 1195 841 15457 | 6050 254 52 | 0.000 % | 217.19/217.23 c | 481 | 1195 841 15457 | 6655 481 45 | 0.000 % | 217.19/217.24 c | 818 | 1195 841 15457 | 7320 818 43 | 0.000 % | 217.19/217.26 c | 1325 | 1195 841 15457 | 8052 1325 42 | 0.000 % | 217.19/217.28 c | 2084 | 1195 841 15457 | 8857 2084 42 | 0.000 % | 217.29/217.32 c | 3223 | 1195 841 15457 | 9743 3223 42 | 0.000 % | 217.29/217.39 c | 4932 | 1195 841 15457 | 10717 4932 42 | 0.000 % | 217.50/217.51 c | 7495 | 1195 841 15457 | 11789 7495 42 | 0.000 % | 217.70/217.73 c | 11340 | 1195 841 15457 | 12968 11340 42 | 0.000 % | 217.99/218.07 c | 17107 | 1195 841 15457 | 14265 10567 43 | 0.000 % | 218.59/218.61 c | 25757 | 1195 841 15457 | 15692 12033 46 | 0.000 % | 219.50/219.53 c | 38732 | 1195 841 15457 | 17261 9207 48 | 0.000 % | 220.89/220.94 c | 58193 | 1195 841 15457 | 18987 11297 51 | 0.000 % | 223.20/223.21 c | 87385 | 1195 841 15457 | 20886 11857 47 | 0.000 % | 226.50/226.54 c =============================================================================== 227.00/227.09 c core #31 227.00/227.09 c 227.00/227.09 c 227.00/227.09 c Core size: 121 Core Weight: 1 Total Weight: 41 227.00/227.09 c Current CPU time: 224.568 s 227.00/227.09 c 227.00/227.09 c ============================[ Search Statistics ]============================== 227.00/227.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.00/227.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.00/227.09 c =============================================================================== 227.00/227.09 c | 0 | 1301 866 16109 | 5000 0 -nan | 0.000 % | 227.10/227.10 c | 101 | 1301 866 16109 | 5500 101 34 | 0.000 % | 227.10/227.10 c | 251 | 1301 866 16109 | 6050 251 36 | 0.000 % | 227.10/227.11 c | 477 | 1301 866 16109 | 6655 477 36 | 0.000 % | 227.10/227.12 c | 814 | 1301 866 16109 | 7320 814 34 | 0.000 % | 227.10/227.13 c | 1320 | 1301 866 16109 | 8052 1320 35 | 0.000 % | 227.10/227.16 c | 2079 | 1301 866 16109 | 8857 2079 36 | 0.000 % | 227.19/227.20 c | 3218 | 1301 866 16109 | 9743 3218 36 | 0.000 % | 227.19/227.27 c | 4927 | 1301 866 16109 | 10717 4927 37 | 0.000 % | 227.29/227.38 c | 7490 | 1301 866 16109 | 11789 7490 38 | 0.000 % | 227.50/227.59 c | 11336 | 1301 866 16109 | 12968 11336 37 | 0.000 % | 227.89/227.94 c | 17103 | 1301 866 16109 | 14265 10566 41 | 0.000 % | 228.40/228.48 c | 25752 | 1301 866 16109 | 15692 12047 48 | 0.000 % | 229.29/229.39 c | 38727 | 1301 866 16109 | 17261 9226 49 | 0.000 % | 230.79/230.86 c | 58188 | 1301 866 16109 | 18987 11318 51 | 0.000 % | 232.99/233.06 c | 87381 | 1301 866 16109 | 20886 11859 50 | 0.000 % | 236.80/236.88 c | 131171 | 1301 866 16109 | 22974 13647 53 | 0.000 % | 240.30/240.39 c =============================================================================== 241.10/241.12 c core #32 241.10/241.12 c 241.10/241.12 c 241.10/241.12 c Core size: 72 Core Weight: 1 Total Weight: 42 241.10/241.12 c Current CPU time: 238.445 s 241.10/241.12 c 241.10/241.12 c ============================[ Search Statistics ]============================== 241.10/241.12 c | Conflicts | ORIGINAL | LEARNT | Progress | 241.10/241.12 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 241.10/241.12 c =============================================================================== 241.10/241.12 c | 0 | 1360 889 16640 | 5000 0 -nan | 0.000 % | 241.10/241.13 c | 100 | 1360 889 16640 | 5500 100 45 | 0.000 % | 241.10/241.14 c | 250 | 1360 889 16640 | 6050 250 42 | 0.000 % | 241.10/241.14 c | 475 | 1360 889 16640 | 6655 475 41 | 0.000 % | 241.10/241.15 c | 813 | 1360 889 16640 | 7320 813 38 | 0.000 % | 241.10/241.17 c | 1321 | 1360 889 16640 | 8052 1321 34 | 0.000 % | 241.10/241.19 c | 2080 | 1360 889 16640 | 8857 2080 33 | 0.000 % | 241.20/241.22 c | 3222 | 1360 889 16640 | 9743 3222 34 | 0.000 % | 241.20/241.29 c | 4932 | 1360 889 16640 | 10717 4932 35 | 0.000 % | 241.40/241.41 c | 7495 | 1360 889 16640 | 11789 7495 36 | 0.000 % | 241.60/241.62 c | 11339 | 1360 889 16640 | 12968 11339 36 | 0.000 % | 241.90/241.93 c | 17105 | 1360 889 16640 | 14265 10577 38 | 0.000 % | 242.40/242.47 c | 25754 | 1360 889 16640 | 15692 12057 40 | 0.000 % | 243.30/243.36 c | 38729 | 1360 889 16640 | 17261 9232 46 | 0.000 % | 244.60/244.67 c | 58193 | 1360 889 16640 | 18987 11321 46 | 0.000 % | 246.60/246.63 c | 87385 | 1360 889 16640 | 20886 11900 48 | 0.000 % | 249.00/249.03 c =============================================================================== 249.40/249.47 c core #33 249.40/249.47 c 249.40/249.47 c 249.40/249.47 c Core size: 43 Core Weight: 1 Total Weight: 43 249.40/249.47 c Current CPU time: 246.712 s 249.40/249.47 c 249.40/249.47 c ============================[ Search Statistics ]============================== 249.40/249.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 249.40/249.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 249.40/249.47 c =============================================================================== 249.40/249.47 c | 0 | 1388 910 17069 | 5000 0 -nan | 0.000 % | 249.40/249.47 c | 101 | 1388 910 17069 | 5500 101 34 | 0.000 % | 249.40/249.48 c | 255 | 1388 910 17069 | 6050 255 35 | 0.000 % | 249.40/249.48 c | 480 | 1388 910 17069 | 6655 480 36 | 0.000 % | 249.40/249.50 c | 818 | 1388 910 17069 | 7320 818 35 | 0.000 % | 249.50/249.51 c | 1325 | 1388 910 17069 | 8052 1325 34 | 0.000 % | 249.50/249.54 c | 2086 | 1388 910 17069 | 8857 2086 34 | 0.000 % | 249.50/249.58 c | 3228 | 1388 910 17069 | 9743 3228 36 | 0.000 % | 249.60/249.65 c | 4936 | 1388 910 17069 | 10717 4936 36 | 0.000 % | 249.70/249.77 c | 7498 | 1388 910 17069 | 11789 7498 38 | 0.000 % | 249.89/249.96 c | 11343 | 1388 910 17069 | 12968 11343 38 | 0.000 % | 250.20/250.29 c | 17112 | 1388 910 17069 | 14265 10573 39 | 0.000 % | 250.70/250.79 c | 25761 | 1388 910 17069 | 15692 12033 41 | 0.000 % | 251.69/251.70 c | 38736 | 1388 910 17069 | 17261 9219 44 | 0.000 % | 253.00/253.06 c | 58197 | 1388 910 17069 | 18987 11320 43 | 0.000 % | 255.10/255.17 c | 87392 | 1388 910 17069 | 20886 11864 48 | 0.001 % | 257.70/257.76 c =============================================================================== 258.20/258.23 c core #34 258.20/258.23 c 258.20/258.23 c 258.20/258.23 c Core size: 71 Core Weight: 1 Total Weight: 44 258.20/258.23 c Current CPU time: 255.371 s 258.20/258.23 c 258.20/258.23 c ============================[ Search Statistics ]============================== 258.20/258.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 258.20/258.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 258.20/258.23 c =============================================================================== 258.20/258.23 c | 0 | 1428 931 17530 | 5000 0 -nan | 0.000 % | 258.20/258.24 c | 104 | 1428 931 17530 | 5500 104 47 | 0.000 % | 258.20/258.24 c | 257 | 1428 931 17530 | 6050 257 41 | 0.000 % | 258.20/258.25 c | 482 | 1428 931 17530 | 6655 482 38 | 0.000 % | 258.20/258.26 c | 821 | 1428 931 17530 | 7320 821 34 | 0.000 % | 258.20/258.27 c | 1329 | 1428 931 17530 | 8052 1329 37 | 0.000 % | 258.29/258.30 c | 2088 | 1428 931 17530 | 8857 2088 39 | 0.000 % | 258.29/258.34 c | 3229 | 1428 931 17530 | 9743 3229 41 | 0.000 % | 258.40/258.41 c | 4939 | 1428 931 17530 | 10717 4939 39 | 0.000 % | 258.50/258.53 c | 7502 | 1428 931 17530 | 11789 7502 41 | 0.000 % | 258.69/258.77 c | 11346 | 1428 931 17530 | 12968 11346 41 | 0.000 % | 259.10/259.13 c | 17112 | 1428 931 17530 | 14265 10577 43 | 0.000 % | 259.60/259.68 c | 25761 | 1428 931 17530 | 15692 12035 46 | 0.000 % | 260.50/260.53 c | 38736 | 1428 931 17530 | 17261 9211 43 | 0.000 % | 261.90/261.96 c | 58198 | 1428 931 17530 | 18987 11295 47 | 0.000 % | 264.09/264.14 c | 87390 | 1428 931 17530 | 20886 11847 48 | 0.000 % | 267.40/267.48 c =============================================================================== 268.00/268.00 c core #35 268.00/268.00 c 268.00/268.00 c 268.00/268.00 c Core size: 52 Core Weight: 1 Total Weight: 45 268.00/268.00 c Current CPU time: 265.051 s 268.00/268.00 c 268.00/268.00 c ============================[ Search Statistics ]============================== 268.00/268.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 268.00/268.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 268.00/268.00 c =============================================================================== 268.00/268.00 c | 0 | 1468 947 17934 | 5000 0 -nan | 0.000 % | 268.00/268.01 c | 100 | 1468 947 17934 | 5500 100 34 | 0.000 % | 268.00/268.02 c | 252 | 1468 947 17934 | 6050 252 36 | 0.000 % | 268.00/268.02 c | 478 | 1468 947 17934 | 6655 478 34 | 0.000 % | 268.00/268.03 c | 817 | 1468 947 17934 | 7320 817 35 | 0.000 % | 268.00/268.05 c | 1323 | 1468 947 17934 | 8052 1323 38 | 0.000 % | 268.00/268.08 c | 2083 | 1468 947 17934 | 8857 2083 37 | 0.000 % | 268.09/268.12 c | 3222 | 1468 947 17934 | 9743 3222 38 | 0.000 % | 268.09/268.19 c | 4933 | 1468 947 17934 | 10717 4933 38 | 0.000 % | 268.31/268.31 c | 7495 | 1468 947 17934 | 11789 7495 38 | 0.000 % | 268.50/268.50 c | 11339 | 1468 947 17934 | 12968 11339 39 | 0.000 % | 268.79/268.84 c | 17106 | 1468 947 17934 | 14265 10573 40 | 0.000 % | 269.30/269.40 c | 25757 | 1468 947 17934 | 15692 12049 43 | 0.000 % | 270.30/270.30 c | 38732 | 1468 947 17934 | 17261 9225 42 | 0.000 % | 271.70/271.71 c | 58195 | 1468 947 17934 | 18987 11311 47 | 0.000 % | 273.80/273.82 c | 87388 | 1468 947 17934 | 20886 11879 47 | 0.000 % | 276.10/276.13 c =============================================================================== 276.59/276.60 c core #36 276.59/276.60 c 276.59/276.60 c 276.59/276.60 c Core size: 73 Core Weight: 1 Total Weight: 46 276.59/276.60 c Current CPU time: 273.574 s 276.59/276.60 c 276.59/276.60 c ============================[ Search Statistics ]============================== 276.59/276.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 276.59/276.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 276.59/276.60 c =============================================================================== 276.59/276.60 c | 0 | 1525 963 18372 | 5000 0 -nan | 0.000 % | 276.59/276.61 c | 100 | 1525 963 18372 | 5500 100 43 | 0.000 % | 276.59/276.62 c | 251 | 1525 963 18372 | 6050 251 43 | 0.000 % | 276.59/276.62 c | 476 | 1525 963 18372 | 6655 476 39 | 0.000 % | 276.59/276.63 c | 813 | 1525 963 18372 | 7320 813 34 | 0.000 % | 276.59/276.65 c | 1319 | 1525 963 18372 | 8052 1319 33 | 0.000 % | 276.59/276.67 c | 2078 | 1525 963 18372 | 8857 2078 34 | 0.000 % | 276.70/276.71 c | 3217 | 1525 963 18372 | 9743 3217 34 | 0.000 % | 276.70/276.78 c | 4926 | 1525 963 18372 | 10717 4926 35 | 0.000 % | 276.80/276.89 c | 7489 | 1525 963 18372 | 11789 7489 37 | 0.000 % | 276.99/277.09 c | 11336 | 1525 963 18372 | 12968 11336 39 | 0.000 % | 277.40/277.44 c | 17102 | 1525 963 18372 | 14265 10580 46 | 0.000 % | 278.00/278.05 c | 25751 | 1525 963 18372 | 15692 12044 49 | 0.000 % | 278.90/278.97 c | 38727 | 1525 963 18372 | 17261 9231 48 | 0.000 % | 280.30/280.37 c | 58190 | 1525 963 18372 | 18987 11329 47 | 0.000 % | 282.49/282.50 c | 87385 | 1525 963 18372 | 20886 11881 49 | 0.000 % | 285.40/285.45 c =============================================================================== 285.91/285.95 c core #37 285.91/285.95 c 285.91/285.95 c 285.91/285.95 c Core size: 78 Core Weight: 1 Total Weight: 47 285.91/285.95 c Current CPU time: 282.815 s 285.91/285.95 c 285.91/285.95 c ============================[ Search Statistics ]============================== 285.91/285.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 285.91/285.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 285.91/285.95 c =============================================================================== 285.91/285.95 c | 0 | 1590 979 18826 | 5000 0 -nan | 0.000 % | 285.91/285.96 c | 103 | 1590 979 18826 | 5500 103 57 | 0.000 % | 285.91/285.96 c | 253 | 1590 979 18826 | 6050 253 55 | 0.000 % | 285.91/285.97 c | 478 | 1590 979 18826 | 6655 478 44 | 0.000 % | 285.91/285.98 c | 815 | 1590 979 18826 | 7320 815 41 | 0.000 % | 285.91/285.99 c | 1321 | 1590 979 18826 | 8052 1321 37 | 0.000 % | 286.01/286.02 c | 2081 | 1590 979 18826 | 8857 2081 37 | 0.000 % | 286.01/286.05 c | 3223 | 1590 979 18826 | 9743 3223 38 | 0.000 % | 286.10/286.12 c | 4932 | 1590 979 18826 | 10717 4932 39 | 0.000 % | 286.19/286.24 c | 7494 | 1590 979 18826 | 11789 7494 38 | 0.000 % | 286.39/286.46 c | 11340 | 1590 979 18826 | 12968 11340 40 | 0.000 % | 286.79/286.84 c | 17107 | 1590 979 18826 | 14265 10575 42 | 0.000 % | 287.39/287.40 c | 25757 | 1590 979 18826 | 15692 12036 47 | 0.000 % | 288.20/288.25 c | 38732 | 1590 979 18826 | 17261 9221 47 | 0.000 % | 289.49/289.56 c | 58193 | 1590 979 18826 | 18987 11331 46 | 0.000 % | 291.80/291.84 c | 87385 | 1590 979 18826 | 20886 11868 47 | 0.000 % | 295.30/295.35 c =============================================================================== 295.81/295.90 c core #38 295.81/295.90 c 295.81/295.90 c 295.81/295.90 c Core size: 132 Core Weight: 1 Total Weight: 48 295.81/295.90 c Current CPU time: 292.678 s 295.81/295.90 c 295.81/295.90 c ============================[ Search Statistics ]============================== 295.81/295.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 295.81/295.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 295.81/295.90 c =============================================================================== 295.81/295.90 c | 0 | 1695 997 19380 | 5000 0 -nan | 0.000 % | 295.91/295.90 c | 100 | 1695 997 19380 | 5500 100 66 | 0.000 % | 295.91/295.91 c | 251 | 1695 997 19380 | 6050 251 59 | 0.000 % | 295.91/295.92 c | 476 | 1695 997 19380 | 6655 476 49 | 0.000 % | 295.91/295.93 c | 813 | 1695 997 19380 | 7320 813 42 | 0.000 % | 295.91/295.94 c | 1320 | 1695 997 19380 | 8052 1320 39 | 0.000 % | 295.91/295.97 c | 2079 | 1695 997 19380 | 8857 2079 37 | 0.000 % | 296.00/296.01 c | 3219 | 1695 997 19380 | 9743 3219 37 | 0.000 % | 296.00/296.07 c | 4928 | 1695 997 19380 | 10717 4928 37 | 0.000 % | 296.10/296.19 c | 7490 | 1695 997 19380 | 11789 7490 38 | 0.000 % | 296.40/296.41 c | 11336 | 1695 997 19380 | 12968 11336 39 | 0.000 % | 296.70/296.74 c | 17102 | 1695 997 19380 | 14265 10560 41 | 0.000 % | 297.19/297.28 c | 25755 | 1695 997 19380 | 15692 12049 40 | 0.000 % | 298.20/298.20 c | 38732 | 1695 997 19380 | 17261 9214 47 | 0.000 % | 299.49/299.53 c | 58193 | 1695 997 19380 | 18987 11305 44 | 0.000 % | 301.50/301.59 c | 87385 | 1695 997 19380 | 20886 11851 46 | 0.000 % | 304.89/304.98 c | 131178 | 1656 997 19380 | 22974 13559 54 | 2.301 % | 305.60/305.61 c =============================================================================== 306.10/306.17 c core #39 306.10/306.17 c 306.10/306.17 c 306.10/306.17 c Core size: 152 Core Weight: 1 Total Weight: 49 306.10/306.17 c Current CPU time: 302.82 s 306.10/306.17 c 306.10/306.17 c ============================[ Search Statistics ]============================== 306.10/306.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 306.10/306.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 306.10/306.17 c =============================================================================== 306.10/306.17 c | 0 | 1826 1012 19953 | 5000 0 -nan | 0.000 % | 306.10/306.18 c | 101 | 1826 1012 19953 | 5500 101 47 | 0.000 % | 306.10/306.18 c | 251 | 1826 1012 19953 | 6050 251 47 | 0.000 % | 306.10/306.19 c | 478 | 1826 1012 19953 | 6655 478 46 | 0.000 % | 306.20/306.20 c | 815 | 1826 1012 19953 | 7320 815 41 | 0.000 % | 306.20/306.22 c | 1323 | 1826 1012 19953 | 8052 1323 36 | 0.000 % | 306.20/306.25 c | 2082 | 1826 1012 19953 | 8857 2082 37 | 0.000 % | 306.20/306.29 c | 3222 | 1826 1012 19953 | 9743 3222 38 | 0.000 % | 306.29/306.35 c | 4931 | 1826 1012 19953 | 10717 4931 39 | 0.000 % | 306.39/306.47 c | 7493 | 1826 1012 19953 | 11789 7493 40 | 0.000 % | 306.60/306.67 c | 11338 | 1826 1012 19953 | 12968 11338 41 | 0.000 % | 307.00/307.07 c | 17106 | 1826 1012 19953 | 14265 10568 45 | 0.000 % | 307.60/307.65 c | 25756 | 1826 1012 19953 | 15692 12039 47 | 0.000 % | 308.50/308.56 c | 38734 | 1826 1012 19953 | 17261 9220 44 | 0.000 % | 310.49/310.55 c | 58195 | 1826 1012 19953 | 18987 10056 64 | 0.000 % | 312.89/312.97 c | 87389 | 1826 1012 19953 | 20886 10324 48 | 0.000 % | 319.00/319.06 c | 131178 | 1826 1012 19953 | 22974 20544 84 | 0.000 % | 325.90/325.98 c | 196866 | 1826 1012 19953 | 25272 16200 88 | 0.000 % | 341.40/341.46 c | 295395 | 1787 1012 19953 | 27799 18897 78 | 2.137 % | 385.20/385.22 c | 443188 | 1787 1012 19953 | 30579 15093 91 | 2.136 % | 385.60/385.66 c =============================================================================== 387.40/387.41 c core #40 387.40/387.41 c 387.40/387.41 c 387.40/387.41 c Core size: 238 Core Weight: 1 Total Weight: 50 387.40/387.41 c Current CPU time: 383.55 s 387.40/387.41 c 387.40/387.41 c ============================[ Search Statistics ]============================== 387.40/387.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 387.40/387.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 387.40/387.41 c =============================================================================== 387.40/387.41 c | 0 | 2041 1032 20757 | 5000 0 -nan | 0.000 % | 387.40/387.42 c | 101 | 2041 1032 20757 | 5500 101 55 | 0.000 % | 387.40/387.43 c | 253 | 2041 1032 20757 | 6050 253 50 | 0.000 % | 387.40/387.43 c | 478 | 2041 1032 20757 | 6655 478 41 | 0.000 % | 387.40/387.44 c | 816 | 2041 1032 20757 | 7320 816 38 | 0.000 % | 387.40/387.46 c | 1322 | 2041 1032 20757 | 8052 1322 37 | 0.000 % | 387.40/387.49 c | 2082 | 2041 1032 20757 | 8857 2082 39 | 0.000 % | 387.50/387.53 c | 3221 | 2041 1032 20757 | 9743 3221 37 | 0.000 % | 387.60/387.60 c | 4929 | 2041 1032 20757 | 10717 4929 36 | 0.000 % | 387.70/387.72 c | 7492 | 2041 1032 20757 | 11789 7492 37 | 0.000 % | 387.90/387.96 c | 11337 | 2041 1032 20757 | 12968 11337 39 | 0.000 % | 388.21/388.30 c | 17104 | 2041 1032 20757 | 14265 10573 42 | 0.000 % | 388.80/388.81 c | 25753 | 2041 1032 20757 | 15692 12037 42 | 0.000 % | 389.60/389.69 c | 38729 | 2041 1032 20757 | 17261 9217 46 | 0.000 % | 390.90/390.98 c | 58190 | 2041 1032 20757 | 18987 11298 47 | 0.000 % | 393.10/393.16 c | 87387 | 2041 1032 20757 | 20886 11833 48 | 0.000 % | 397.20/397.28 c | 131177 | 2002 1032 20757 | 22974 13378 111 | 1.912 % | 417.00/417.02 c | 196862 | 2002 1032 20757 | 25272 20269 114 | 1.911 % | 436.40/436.40 c | 295391 | 1979 1032 20757 | 27799 24293 88 | 3.039 % | 478.60/478.65 c | 443181 | 1979 1032 20757 | 30579 20939 104 | 3.038 % | 571.70/571.78 c | 664865 | 1958 1032 20757 | 33637 26412 125 | 4.067 % | 696.21/696.29 c | 997393 | 1958 1032 20757 | 37001 33014 108 | 4.067 % | 892.61/892.68 c | 1496181 | 1958 1032 20757 | 40701 35121 101 | 4.067 % | 1118.02/1118.05 c =============================================================================== 1128.62/1128.64 c core #41 1128.62/1128.64 c 1128.62/1128.64 c 1128.62/1128.64 c Core size: 138 Core Weight: 1 Total Weight: 51 1128.62/1128.64 c Current CPU time: 1121.87 s 1128.62/1128.64 c 1128.62/1128.64 c ============================[ Search Statistics ]============================== 1128.62/1128.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 1128.62/1128.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1128.62/1128.64 c =============================================================================== 1128.62/1128.64 c | 0 | 2153 1052 21341 | 5000 0 -nan | 0.000 % | 1128.62/1128.65 c | 100 | 2153 1052 21341 | 5500 100 59 | 0.000 % | 1128.62/1128.66 c | 250 | 2153 1052 21341 | 6050 250 47 | 0.000 % | 1128.62/1128.67 c | 475 | 2153 1052 21341 | 6655 475 38 | 0.000 % | 1128.62/1128.68 c | 812 | 2153 1052 21341 | 7320 812 35 | 0.000 % | 1128.62/1128.69 c | 1318 | 2153 1052 21341 | 8052 1318 34 | 0.000 % | 1128.71/1128.72 c | 2079 | 2153 1052 21341 | 8857 2079 35 | 0.000 % | 1128.71/1128.76 c | 3221 | 2153 1052 21341 | 9743 3221 35 | 0.000 % | 1128.81/1128.83 c | 4930 | 2153 1052 21341 | 10717 4930 36 | 0.000 % | 1128.92/1128.95 c | 7493 | 2153 1052 21341 | 11789 7493 36 | 0.000 % | 1129.12/1129.16 c | 11337 | 2153 1052 21341 | 12968 11337 37 | 0.000 % | 1129.51/1129.50 c | 17104 | 2153 1052 21341 | 14265 10581 38 | 0.000 % | 1130.01/1130.06 c | 25754 | 2153 1052 21341 | 15692 12050 43 | 0.000 % | 1130.92/1130.99 c | 38729 | 2153 1052 21341 | 17261 9241 44 | 0.000 % | 1132.41/1132.42 c | 58190 | 2153 1052 21341 | 18987 11345 45 | 0.000 % | 1134.61/1134.70 c | 87383 | 2153 1052 21341 | 20886 11905 46 | 0.000 % | 1139.72/1139.76 c | 131174 | 2153 1052 21341 | 22974 13343 139 | 0.000 % | 1147.23/1147.22 c | 196862 | 2153 1052 21341 | 25272 19564 98 | 0.000 % | 1175.62/1175.67 c | 295388 | 2153 1052 21341 | 27799 13299 92 | 0.000 % | 1203.43/1203.44 c | 443178 | 2122 1052 21341 | 30579 16540 111 | 1.441 % | 1281.53/1281.54 c | 664862 | 2122 1052 21341 | 33637 23959 123 | 1.440 % | 1402.12/1402.15 c | 997387 | 2084 1052 21341 | 37001 26295 95 | 3.205 % | 1604.93/1604.95 c | 1496178 | 2084 1052 21341 | 40701 21235 114 | 3.205 % |
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) 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 /var/tmp/evaluation-result-3446926-1307905118/watcher-3446926-1307905118 -o /var/tmp/evaluation-result-3446926-1307905118/solver-3446926-1307905118 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446926-1307905118.wbo running on 4 cores: 0,2,4,6 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): 1900 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: 2.00 2.00 1.95 2/177 4322 /proc/meminfo: memFree=1181456/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=2104 CPUtime=0 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 311 0 0 0 0 0 0 0 25 0 1 0 980742551 2154496 260 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 526 260 177 372 0 151 0 [startup+0.00852496 s] /proc/loadavg: 2.00 2.00 1.95 2/177 4322 /proc/meminfo: memFree=1181456/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=2104 CPUtime=0 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 326 0 0 0 0 0 0 0 25 0 1 0 980742551 2154496 275 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 526 275 177 372 0 151 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2104 [startup+0.100623 s] /proc/loadavg: 2.00 2.00 1.95 2/177 4322 /proc/meminfo: memFree=1181456/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=3556 CPUtime=0.09 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 676 0 0 0 9 0 0 0 25 0 1 0 980742551 3641344 625 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 889 625 177 372 0 514 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3556 [startup+0.300582 s] /proc/loadavg: 2.00 2.00 1.95 2/177 4322 /proc/meminfo: memFree=1181456/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=5584 CPUtime=0.29 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 1198 0 0 0 29 0 0 0 25 0 1 0 980742551 5718016 1147 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 1396 1148 177 372 0 1021 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5584 [startup+0.700516 s] /proc/loadavg: 2.00 2.00 1.95 2/177 4322 /proc/meminfo: memFree=1181456/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=7708 CPUtime=0.69 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 1724 0 0 0 68 1 0 0 25 0 1 0 980742551 7892992 1673 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 1927 1674 177 372 0 1552 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7708 [startup+1.50038 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4323 /proc/meminfo: memFree=1168228/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=10484 CPUtime=1.49 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 2428 0 0 0 147 2 0 0 25 0 1 0 980742551 10735616 2377 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 2621 2377 177 372 0 2246 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10484 [startup+3.10104 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4323 /proc/meminfo: memFree=1160416/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=16980 CPUtime=3.09 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 4045 0 0 0 303 6 0 0 25 0 1 0 980742551 17387520 3994 33554432000 4194304 5714214 140737280838752 18446744073709551615 4967703 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 4245 3994 177 372 0 3870 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16980 [startup+6.30053 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4324 /proc/meminfo: memFree=1152608/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=16836 CPUtime=6.29 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 4056 0 0 0 620 9 0 0 24 0 1 0 980742551 17240064 3971 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 4209 3971 178 372 0 3834 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16836 [startup+12.7004 s] /proc/loadavg: 2.00 2.00 1.95 4/178 4324 /proc/meminfo: memFree=1148004/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=20532 CPUtime=12.69 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 4979 0 0 0 1251 18 0 0 20 0 1 0 980742551 21024768 4894 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 5133 4894 178 372 0 4758 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 20532 [startup+25.5012 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4324 /proc/meminfo: memFree=1142424/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=23180 CPUtime=25.49 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 5628 0 0 0 2516 33 0 0 25 0 1 0 980742551 23736320 5543 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 5795 5543 178 372 0 5420 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23180 [startup+51.1007 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4325 /proc/meminfo: memFree=1130556/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=29124 CPUtime=51.1 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 7111 0 0 0 5050 60 0 0 25 0 1 0 980742551 29822976 7026 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 7281 7026 178 372 0 6906 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 29124 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4326 /proc/meminfo: memFree=1093436/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=29124 CPUtime=102.3 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 7111 0 0 0 10117 113 0 0 25 0 1 0 980742551 29822976 7026 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 7281 7026 178 372 0 6906 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 29124 [startup+162.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4337 /proc/meminfo: memFree=1059760/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=35104 CPUtime=162.29 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 8598 0 0 0 16054 175 0 0 25 0 1 0 980742551 35946496 8513 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 8776 8513 178 372 0 8401 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 35104 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4338 /proc/meminfo: memFree=1047152/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=40140 CPUtime=222.3 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 9860 0 0 0 21989 241 0 0 25 0 1 0 980742551 41103360 9775 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 10035 9775 178 372 0 9660 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 40140 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4340 /proc/meminfo: memFree=1036808/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=43244 CPUtime=282.3 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 10630 0 0 0 27926 304 0 0 25 0 1 0 980742551 44281856 10545 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 10811 10545 178 372 0 10436 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 43244 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4341 /proc/meminfo: memFree=980100/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=63360 CPUtime=342.3 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 15553 0 0 0 33879 351 0 0 25 0 1 0 980742551 64880640 15468 33554432000 4194304 5714214 140737280838752 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 15840 15468 178 372 0 15465 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 63360 [startup+402.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4343 /proc/meminfo: memFree=908240/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=103852 CPUtime=402.29 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 25587 0 0 0 39849 380 0 0 25 0 1 0 980742551 106344448 25294 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 25963 25294 178 372 0 25588 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 103852 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4345 /proc/meminfo: memFree=888820/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=103852 CPUtime=462.3 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 25805 0 0 0 45830 400 0 0 25 0 1 0 980742551 106344448 25512 33554432000 4194304 5714214 140737280838752 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 25963 25512 178 372 0 25588 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 103852 [startup+522.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4346 /proc/meminfo: memFree=862212/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=115664 CPUtime=522.3 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 28790 0 0 0 51815 415 0 0 25 0 1 0 980742551 118439936 28497 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 28916 28497 178 372 0 28541 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 115664 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4348 /proc/meminfo: memFree=824080/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=137760 CPUtime=582.3 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 34014 0 0 0 57799 431 0 0 25 0 1 0 980742551 141066240 33721 33554432000 4194304 5714214 140737280838752 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 34440 33721 178 372 0 34065 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 137760 [startup+642.3 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4354 /proc/meminfo: memFree=670948/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=227948 CPUtime=822.31 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 56013 0 0 0 81732 499 0 0 25 0 1 0 980742551 233418752 55720 33554432000 4194304 5714214 140737280838752 18446744073709551615 4319806 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 56987 55720 178 372 0 56612 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 227948 [startup+882.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4356 /proc/meminfo: memFree=634436/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=249500 CPUtime=882.31 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 61364 0 0 0 87718 513 0 0 25 0 1 0 980742551 255488000 61071 33554432000 4194304 5714214 140737280838752 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 62375 61071 178 372 0 62000 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 249500 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4357 /proc/meminfo: memFree=592216/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=270464 CPUtime=942.31 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 66563 0 0 0 93705 526 0 0 25 0 1 0 980742551 276955136 66270 33554432000 4194304 5714214 140737280838752 18446744073709551615 4319373 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 67616 66270 178 372 0 67241 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 270464 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4359 /proc/meminfo: memFree=552844/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=290916 CPUtime=1002.32 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 71563 0 0 0 99689 543 0 0 25 0 1 0 980742551 297897984 71270 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 72729 71270 178 372 0 72354 0 Current children cumulated CPU time (s) 1002.32 Current children cumulated vsize (KiB) 290916 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4361 /proc/meminfo: memFree=516352/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=312972 CPUtime=1062.32 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 76972 0 0 0 105672 560 0 0 25 0 1 0 980742551 320483328 76679 33554432000 4194304 5714214 140737280838752 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 78243 76679 178 372 0 77868 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 312972 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4362 /proc/meminfo: memFree=436676/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=380848 CPUtime=1122.32 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 93839 0 0 0 111657 575 0 0 25 0 1 0 980742551 389988352 93546 33554432000 4194304 5714214 140737280838752 18446744073709551615 4198827 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 95212 93546 178 372 0 94837 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 380848 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4364 /proc/meminfo: memFree=410816/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=387708 CPUtime=1182.31 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 95671 0 0 0 117624 607 0 0 25 0 1 0 980742551 397012992 95297 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 96927 95297 178 372 0 96552 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 387708 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.95 3/178 4365 /proc/meminfo: memFree=395628/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=387708 CPUtime=1242.32 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 95731 0 0 0 123608 624 0 0 25 0 1 0 980742551 397012992 95357 33554432000 4194304 5714214 140737280838752 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 96927 95357 178 372 0 96552 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 387708 [startup+1302.3 s] /proc/loadavg: 2.04 2.01 1.96 3/178 4367 /proc/meminfo: memFree=378684/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=387708 CPUtime=1302.33 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 95950 0 0 0 129590 643 0 0 25 0 1 0 980742551 397012992 95576 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 96927 95576 178 372 0 96552 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 387708 [startup+1362.3 s] /proc/loadavg: 2.01 2.01 1.96 3/178 4369 /proc/meminfo: memFree=363404/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=387708 CPUtime=1362.33 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 96079 0 0 0 135580 653 0 0 25 0 1 0 980742551 397012992 95705 33554432000 4194304 5714214 140737280838752 18446744073709551615 4322711 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 96927 95705 178 372 0 96552 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 387708 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.96 3/178 4370 /proc/meminfo: memFree=351900/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=387708 CPUtime=1422.32 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 96123 0 0 0 141566 666 0 0 25 0 1 0 980742551 397012992 95749 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 96927 95749 178 372 0 96552 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 387708 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 4372 /proc/meminfo: memFree=335288/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=387708 CPUtime=1482.32 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 96218 0 0 0 147551 681 0 0 25 0 1 0 980742551 397012992 95844 33554432000 4194304 5714214 140737280838752 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 96927 95844 178 372 0 96552 0 Current children cumulated CPU time (s) 1482.32 Current children cumulated vsize (KiB) 387708 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 4373 /proc/meminfo: memFree=320140/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=387708 CPUtime=1542.32 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 96339 0 0 0 153538 694 0 0 25 0 1 0 980742551 397012992 95965 33554432000 4194304 5714214 140737280838752 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 96927 95965 178 372 0 96552 0 Current children cumulated CPU time (s) 1542.32 Current children cumulated vsize (KiB) 387708 [startup+1602.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 4375 /proc/meminfo: memFree=289468/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=387708 CPUtime=1602.32 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 96519 0 0 0 159524 708 0 0 25 0 1 0 980742551 397012992 96145 33554432000 4194304 5714214 140737280838752 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 96927 96145 178 372 0 96552 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 387708 [startup+1662.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 4377 /proc/meminfo: memFree=277292/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=387708 CPUtime=1662.33 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 96548 0 0 0 165508 725 0 0 25 0 1 0 980742551 397012992 96174 33554432000 4194304 5714214 140737280838752 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 96927 96174 178 372 0 96552 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 387708 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.96 3/178 4378 /proc/meminfo: memFree=275816/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=387708 CPUtime=1722.33 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 96712 0 0 0 171494 739 0 0 25 0 1 0 980742551 397012992 96338 33554432000 4194304 5714214 140737280838752 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 96927 96338 178 372 0 96552 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 387708 [startup+1782.3 s] /proc/loadavg: 2.07 2.02 1.96 3/178 4380 /proc/meminfo: memFree=260416/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=387708 CPUtime=1782.33 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 96781 0 0 0 177483 750 0 0 25 0 1 0 980742551 397012992 96407 33554432000 4194304 5714214 140737280838752 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 96927 96407 178 372 0 96552 0 Current children cumulated CPU time (s) 1782.33 Current children cumulated vsize (KiB) 387708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.05 2.01 1.96 3/179 4381 /proc/meminfo: memFree=348860/32950940 swapFree=67053420/67111528 [pid=4322] ppid=4320 vsize=387708 CPUtime=1800.04 cores=0,2,4,6 /proc/4322/stat : 4322 (wbo1.6) R 4320 4322 3459 0 -1 4202496 96790 0 0 0 179251 753 0 0 25 0 1 0 980742551 397012992 96416 33554432000 4194304 5714214 140737280838752 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/4322/statm: 96927 96416 178 372 0 96552 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 387708 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.02 CPU time (s): 1800.06 CPU user time (s): 1792.51 CPU system time (s): 7.55085 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 388192 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.51 system time used= 7.55085 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 96790 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= 10 involuntary context switches= 2228 runsolver used 2.6486 second user time and 5.55915 second system time The end
Begin job on node117 at 2011-06-12 20:58:38 IDJOB=3446926 IDBENCH=78852 IDSOLVER=1943 FILE ID=node117/3446926-1307905118 RUNJOBID= node117-1307903316-4165 PBS_JOBID= 13559588 Free space on /var/tmp= 2880 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110968898--soft-66-100-0.wbo COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3446926-1307905118/watcher-3446926-1307905118 -o /var/tmp/evaluation-result-3446926-1307905118/solver-3446926-1307905118 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3446926-1307905118.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 994f94b5e00e9f32d6033ad27b9df019 RANDOM SEED=783205745 node117.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.849 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.69 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.849 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.849 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.74 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.849 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.849 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.75 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.849 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.74 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.849 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.849 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 : 5267.44 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 1182132 kB Buffers: 57288 kB Cached: 30735420 kB SwapCached: 10872 kB Active: 15195088 kB Inactive: 15615816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 1182132 kB SwapTotal: 67111528 kB SwapFree: 67053420 kB Dirty: 8548 kB Writeback: 0 kB AnonPages: 16284 kB Mapped: 12588 kB Slab: 891944 kB PageTables: 4244 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 188480 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 /var/tmp at the end= 2876 MiB End job on node117 at 2011-06-12 21:28:40