| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| wbo 1.6 | ? (TO) | 1800.05 | 1800.03 |
| Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo |
| MD5SUM | 014e6d9d1387f6cdb0c56035ad106b75 |
| Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
| Best result obtained on this benchmark | MOPT |
| Best cost obtained on this benchmark | 36 |
| Best CPU time to get the best result obtained on this benchmark | 1.78473 |
| 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 | 101 |
| 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 | 5180 |
| Min constraint cost | 1 |
| Max constraint cost | 99 |
| Sum of constraints costs | 5179 |
| Biggest number in a constraint | 38 |
| Number of bits of the biggest number in a constraint | 6 |
| Biggest sum of numbers in a constraint | 1266 |
| 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-3447067-1307906592.wbo. 0.00/0.00 c Instance file HOME/instance-3447067-1307906592.wbo 0.00/0.00 c File size is 10466 bytes. 0.00/0.00 c Highest Coefficient sum: 1266 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 27 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 31 | 0.004 % | 0.00/0.01 c | 479 | 169 101 1205 | 6655 479 30 | 0.004 % | 0.00/0.01 c | 816 | 169 101 1205 | 7320 816 31 | 0.004 % | 0.02/0.02 c | 1325 | 169 101 1205 | 8052 1325 32 | 0.004 % | 0.02/0.04 c | 2084 | 169 101 1205 | 8857 2084 33 | 0.004 % | 0.02/0.07 c | 3224 | 169 101 1205 | 9743 3224 32 | 0.004 % | 0.09/0.12 c | 4932 | 169 101 1205 | 10717 4932 33 | 0.004 % | 0.19/0.22 c | 7494 | 169 101 1205 | 11789 7494 36 | 0.004 % | 0.29/0.39 c | 11339 | 169 101 1205 | 12968 11339 38 | 0.004 % | 0.59/0.68 c | 17108 | 169 101 1205 | 14265 10589 41 | 0.004 % | 1.10/1.13 c | 25759 | 169 101 1205 | 15692 12049 40 | 0.004 % | 1.79/1.84 c | 38733 | 169 101 1205 | 17261 9233 43 | 0.004 % | 2.29/2.32 c =============================================================================== 2.49/2.51 c core #1 2.49/2.51 c 2.49/2.51 c 2.49/2.51 c Core size: 99 Core Weight: 1 Total Weight: 1 2.49/2.51 c Current CPU time: 2.45063 s 2.49/2.51 c 2.49/2.51 c ============================[ Search Statistics ]============================== 2.49/2.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.49/2.51 c =============================================================================== 2.49/2.51 c | 0 | 264 200 2574 | 5000 0 -nan | 0.000 % | 2.49/2.51 c | 100 | 264 200 2574 | 5500 100 33 | 0.001 % | 2.49/2.51 c | 250 | 264 200 2574 | 6050 250 36 | 0.001 % | 2.49/2.52 c | 475 | 264 200 2574 | 6655 475 32 | 0.001 % | 2.49/2.52 c | 814 | 264 200 2574 | 7320 814 32 | 0.001 % | 2.49/2.53 c | 1320 | 264 200 2574 | 8052 1320 32 | 0.001 % | 2.49/2.55 c | 2079 | 264 200 2574 | 8857 2079 33 | 0.001 % | 2.49/2.58 c | 3218 | 264 200 2574 | 9743 3218 35 | 0.001 % | 2.59/2.64 c | 4930 | 264 200 2574 | 10717 4930 36 | 0.001 % | 2.69/2.73 c | 7492 | 264 200 2574 | 11789 7492 38 | 0.001 % | 2.89/2.91 c | 11337 | 264 200 2574 | 12968 11337 39 | 0.001 % | 3.09/3.19 c | 17103 | 264 200 2574 | 14265 10562 42 | 0.001 % | 3.58/3.62 c | 25755 | 264 200 2574 | 15692 12026 42 | 0.001 % | 4.29/4.35 c | 38729 | 264 200 2574 | 17261 9221 44 | 0.001 % | 5.09/5.17 c =============================================================================== 5.29/5.40 c core #2 5.29/5.40 c 5.29/5.40 c 5.29/5.40 c Core size: 98 Core Weight: 1 Total Weight: 2 5.29/5.40 c Current CPU time: 5.30319 s 5.29/5.40 c 5.29/5.40 c ============================[ Search Statistics ]============================== 5.29/5.40 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.29/5.40 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 5.29/5.40 c =============================================================================== 5.29/5.40 c | 0 | 358 298 3928 | 5000 0 -nan | 0.000 % | 5.39/5.40 c | 100 | 358 298 3928 | 5500 100 31 | 0.001 % | 5.39/5.40 c | 250 | 358 298 3928 | 6050 250 33 | 0.001 % | 5.39/5.41 c | 476 | 358 298 3928 | 6655 476 35 | 0.001 % | 5.39/5.42 c | 813 | 358 298 3928 | 7320 813 34 | 0.001 % | 5.39/5.43 c | 1319 | 358 298 3928 | 8052 1319 32 | 0.001 % | 5.39/5.45 c | 2078 | 358 298 3928 | 8857 2078 32 | 0.001 % | 5.39/5.48 c | 3218 | 358 298 3928 | 9743 3218 32 | 0.001 % | 5.49/5.54 c | 4926 | 358 298 3928 | 10717 4926 34 | 0.001 % | 5.59/5.64 c | 7489 | 358 298 3928 | 11789 7489 36 | 0.001 % | 5.78/5.82 c | 11333 | 358 298 3928 | 12968 11333 36 | 0.001 % | 5.99/6.09 c | 17099 | 358 298 3928 | 14265 10575 37 | 0.001 % | 6.48/6.55 c | 25749 | 358 298 3928 | 15692 12036 39 | 0.001 % | 7.28/7.30 c | 38726 | 358 298 3928 | 17261 9219 47 | 0.001 % | 8.18/8.24 c =============================================================================== 8.38/8.47 c core #3 8.38/8.47 c 8.38/8.47 c 8.38/8.47 c Core size: 97 Core Weight: 3 Total Weight: 5 8.38/8.47 c Current CPU time: 8.33573 s 8.38/8.47 c 8.38/8.47 c ============================[ Search Statistics ]============================== 8.38/8.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.38/8.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.38/8.47 c =============================================================================== 8.38/8.47 c | 0 | 451 395 5278 | 5000 0 -nan | 0.000 % | 8.38/8.47 c | 102 | 451 395 5278 | 5500 102 28 | 0.000 % | 8.38/8.47 c | 252 | 451 395 5278 | 6050 252 33 | 0.000 % | 8.38/8.48 c | 477 | 451 395 5278 | 6655 477 34 | 0.000 % | 8.38/8.49 c | 818 | 451 395 5278 | 7320 818 33 | 0.000 % | 8.48/8.50 c | 1325 | 451 395 5278 | 8052 1325 32 | 0.000 % | 8.48/8.52 c | 2084 | 451 395 5278 | 8857 2084 33 | 0.000 % | 8.48/8.55 c | 3223 | 451 395 5278 | 9743 3223 35 | 0.000 % | 8.59/8.61 c | 4932 | 451 395 5278 | 10717 4932 35 | 0.000 % | 8.69/8.71 c | 7494 | 451 395 5278 | 11789 7494 36 | 0.000 % | 8.88/8.90 c | 11340 | 451 395 5278 | 12968 11340 37 | 0.000 % | 9.08/9.16 c | 17107 | 451 395 5278 | 14265 10579 40 | 0.000 % | 9.58/9.63 c | 25756 | 451 395 5278 | 15692 12037 41 | 0.000 % | 10.29/10.33 c | 38732 | 451 395 5278 | 17261 9215 43 | 0.000 % | 10.68/10.73 c =============================================================================== 10.88/10.92 c core #4 10.88/10.92 c 10.88/10.92 c 10.88/10.92 c Core size: 100 Core Weight: 1 Total Weight: 6 10.88/10.92 c Current CPU time: 10.7564 s 10.88/10.92 c 10.88/10.92 c ============================[ Search Statistics ]============================== 10.88/10.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.88/10.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 10.88/10.92 c =============================================================================== 10.88/10.92 c | 0 | 546 492 6633 | 5000 0 -nan | 0.000 % | 10.88/10.92 c | 102 | 546 492 6633 | 5500 102 39 | 0.000 % | 10.88/10.92 c | 253 | 546 492 6633 | 6050 253 36 | 0.000 % | 10.88/10.93 c | 479 | 546 492 6633 | 6655 479 31 | 0.000 % | 10.88/10.94 c | 817 | 546 492 6633 | 7320 817 31 | 0.000 % | 10.88/10.95 c | 1323 | 546 492 6633 | 8052 1323 34 | 0.000 % | 10.88/10.97 c | 2082 | 546 492 6633 | 8857 2082 36 | 0.000 % | 10.99/11.01 c | 3223 | 546 492 6633 | 9743 3223 36 | 0.000 % | 10.99/11.07 c | 4933 | 546 492 6633 | 10717 4933 35 | 0.000 % | 11.09/11.18 c | 7497 | 546 492 6633 | 11789 7497 37 | 0.000 % | 11.28/11.36 c | 11341 | 546 492 6633 | 12968 11341 38 | 0.000 % | 11.58/11.70 c | 17108 | 546 492 6633 | 14265 10578 41 | 0.000 % | 12.09/12.19 c | 25757 | 546 492 6633 | 15692 12048 40 | 0.000 % | 12.88/12.92 c | 38731 | 546 492 6633 | 17261 9235 43 | 0.000 % | 13.98/14.08 c | 58193 | 507 492 6633 | 18987 11326 46 | 7.143 % | 14.08/14.14 c =============================================================================== 14.29/14.39 c core #5 14.29/14.39 c 14.29/14.39 c 14.29/14.39 c Core size: 96 Core Weight: 1 Total Weight: 7 14.29/14.39 c Current CPU time: 14.1718 s 14.29/14.39 c 14.29/14.39 c ============================[ Search Statistics ]============================== 14.29/14.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 14.29/14.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 14.29/14.39 c =============================================================================== 14.29/14.39 c | 0 | 639 587 7956 | 5000 0 -nan | 0.000 % | 14.29/14.39 c | 100 | 639 587 7956 | 5500 100 29 | 0.000 % | 14.29/14.39 c | 250 | 639 587 7956 | 6050 250 38 | 0.000 % | 14.38/14.40 c | 478 | 639 587 7956 | 6655 478 33 | 0.000 % | 14.38/14.41 c | 816 | 639 587 7956 | 7320 816 34 | 0.000 % | 14.38/14.42 c | 1324 | 639 587 7956 | 8052 1324 32 | 0.000 % | 14.38/14.44 c | 2084 | 639 587 7956 | 8857 2084 33 | 0.000 % | 14.38/14.48 c | 3223 | 639 587 7956 | 9743 3223 35 | 0.000 % | 14.49/14.55 c | 4932 | 639 587 7956 | 10717 4932 37 | 0.000 % | 14.58/14.67 c | 7496 | 639 587 7956 | 11789 7496 37 | 0.000 % | 14.78/14.88 c | 11341 | 639 587 7956 | 12968 11341 38 | 0.000 % | 15.08/15.19 c | 17108 | 639 587 7956 | 14265 10593 42 | 0.000 % | 15.68/15.75 c | 25758 | 639 587 7956 | 15692 12061 43 | 0.000 % | 16.59/16.60 c | 38732 | 639 587 7956 | 17261 9228 46 | 0.000 % | 17.38/17.41 c =============================================================================== 17.59/17.63 c core #6 17.59/17.63 c 17.59/17.63 c 17.59/17.63 c Core size: 107 Core Weight: 1 Total Weight: 8 17.59/17.63 c Current CPU time: 17.3724 s 17.59/17.63 c 17.59/17.63 c ============================[ Search Statistics ]============================== 17.59/17.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.59/17.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.59/17.63 c =============================================================================== 17.59/17.63 c | 0 | 742 685 9331 | 5000 0 -nan | 0.000 % | 17.59/17.63 c | 100 | 742 685 9331 | 5500 100 27 | 0.000 % | 17.59/17.64 c | 250 | 742 685 9331 | 6050 250 30 | 0.000 % | 17.59/17.64 c | 475 | 742 685 9331 | 6655 475 33 | 0.000 % | 17.59/17.65 c | 816 | 742 685 9331 | 7320 816 32 | 0.000 % | 17.59/17.66 c | 1323 | 742 685 9331 | 8052 1323 33 | 0.000 % | 17.59/17.68 c | 2083 | 742 685 9331 | 8857 2083 34 | 0.000 % | 17.68/17.72 c | 3222 | 742 685 9331 | 9743 3222 32 | 0.000 % | 17.68/17.79 c | 4931 | 742 685 9331 | 10717 4931 34 | 0.000 % | 17.78/17.89 c | 7493 | 742 685 9331 | 11789 7493 35 | 0.000 % | 17.98/18.08 c | 11339 | 742 685 9331 | 12968 11339 36 | 0.000 % | 18.29/18.38 c | 17106 | 742 685 9331 | 14265 10584 39 | 0.000 % | 18.78/18.86 c | 25756 | 742 685 9331 | 15692 12063 41 | 0.000 % | 19.59/19.69 c | 38730 | 742 685 9331 | 17261 9246 43 | 0.000 % | 20.68/20.71 c =============================================================================== 20.89/20.94 c core #7 20.89/20.94 c 20.89/20.94 c 20.89/20.94 c Core size: 97 Core Weight: 1 Total Weight: 9 20.89/20.94 c Current CPU time: 20.6459 s 20.89/20.94 c 20.89/20.94 c ============================[ Search Statistics ]============================== 20.89/20.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 20.89/20.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 20.89/20.94 c =============================================================================== 20.89/20.94 c | 0 | 835 782 10673 | 5000 0 -nan | 0.000 % | 20.89/20.94 c | 100 | 835 782 10673 | 5500 100 44 | 0.000 % | 20.89/20.94 c | 250 | 835 782 10673 | 6050 250 42 | 0.000 % | 20.89/20.95 c | 476 | 835 782 10673 | 6655 476 39 | 0.000 % | 20.89/20.96 c | 813 | 835 782 10673 | 7320 813 37 | 0.000 % | 20.89/20.97 c | 1320 | 835 782 10673 | 8052 1320 37 | 0.000 % | 20.89/21.00 c | 2080 | 835 782 10673 | 8857 2080 34 | 0.000 % | 20.98/21.04 c | 3220 | 835 782 10673 | 9743 3220 34 | 0.000 % | 21.08/21.10 c | 4928 | 835 782 10673 | 10717 4928 33 | 0.000 % | 21.18/21.21 c | 7490 | 835 782 10673 | 11789 7490 34 | 0.000 % | 21.38/21.43 c | 11334 | 835 782 10673 | 12968 11334 36 | 0.000 % | 21.69/21.79 c | 17100 | 835 782 10673 | 14265 10575 39 | 0.000 % | 22.18/22.29 c | 25749 | 835 782 10673 | 15692 12038 41 | 0.000 % | 23.09/23.11 c | 38725 | 835 782 10673 | 17261 9231 45 | 0.000 % | 24.48/24.58 c | 58186 | 835 782 10673 | 18987 11344 44 | 0.000 % | 25.39/25.41 c =============================================================================== 25.68/25.72 c core #8 25.68/25.72 c 25.68/25.72 c 25.68/25.72 c Core size: 118 Core Weight: 1 Total Weight: 10 25.68/25.72 c Current CPU time: 25.3761 s 25.68/25.72 c 25.68/25.72 c ============================[ Search Statistics ]============================== 25.68/25.72 c | Conflicts | ORIGINAL | LEARNT | Progress | 25.68/25.72 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 25.68/25.72 c =============================================================================== 25.68/25.72 c | 0 | 944 877 12030 | 5000 0 -nan | 0.000 % | 25.68/25.73 c | 101 | 944 877 12030 | 5500 101 34 | 0.000 % | 25.68/25.73 c | 253 | 944 877 12030 | 6050 253 33 | 0.000 % | 25.68/25.74 c | 478 | 944 877 12030 | 6655 478 30 | 0.000 % | 25.68/25.75 c | 815 | 944 877 12030 | 7320 815 29 | 0.000 % | 25.68/25.76 c | 1321 | 944 877 12030 | 8052 1321 30 | 0.000 % | 25.68/25.79 c | 2081 | 944 877 12030 | 8857 2081 32 | 0.000 % | 25.78/25.83 c | 3221 | 944 877 12030 | 9743 3221 33 | 0.000 % | 25.78/25.89 c | 4929 | 944 877 12030 | 10717 4929 35 | 0.000 % | 25.98/26.01 c | 7492 | 944 877 12030 | 11789 7492 36 | 0.000 % | 26.19/26.21 c | 11337 | 944 877 12030 | 12968 11337 38 | 0.000 % | 26.48/26.56 c | 17103 | 944 877 12030 | 14265 10565 41 | 0.000 % | 27.08/27.15 c | 25755 | 944 877 12030 | 15692 12031 42 | 0.000 % | 28.08/28.11 c | 38730 | 944 877 12030 | 17261 9210 43 | 0.000 % | 29.48/29.59 c | 58194 | 944 877 12030 | 18987 11297 46 | 0.000 % | 29.98/30.04 c =============================================================================== 30.28/30.33 c core #9 30.28/30.33 c 30.28/30.33 c 30.28/30.33 c Core size: 98 Core Weight: 1 Total Weight: 11 30.28/30.33 c Current CPU time: 29.9245 s 30.28/30.33 c 30.28/30.33 c ============================[ Search Statistics ]============================== 30.28/30.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 30.28/30.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 30.28/30.33 c =============================================================================== 30.28/30.33 c | 0 | 1038 968 13325 | 5000 0 -nan | 0.000 % | 30.28/30.33 c | 101 | 1038 968 13325 | 5500 101 28 | 0.000 % | 30.28/30.33 c | 251 | 1038 968 13325 | 6050 251 29 | 0.000 % | 30.28/30.34 c | 477 | 1038 968 13325 | 6655 477 29 | 0.000 % | 30.28/30.35 c | 814 | 1038 968 13325 | 7320 814 31 | 0.000 % | 30.28/30.36 c | 1320 | 1038 968 13325 | 8052 1320 33 | 0.000 % | 30.28/30.39 c | 2079 | 1038 968 13325 | 8857 2079 33 | 0.000 % | 30.38/30.44 c | 3221 | 1038 968 13325 | 9743 3221 36 | 0.000 % | 30.48/30.51 c | 4929 | 1038 968 13325 | 10717 4929 35 | 0.000 % | 30.59/30.64 c | 7494 | 1038 968 13325 | 11789 7494 37 | 0.000 % | 30.79/30.87 c | 11338 | 1038 968 13325 | 12968 11338 38 | 0.000 % | 31.18/31.24 c | 17104 | 1038 968 13325 | 14265 10585 41 | 0.000 % | 31.68/31.79 c | 25756 | 1038 968 13325 | 15692 12058 43 | 0.000 % | 32.68/32.72 c | 38731 | 1038 968 13325 | 17261 9236 42 | 0.000 % | 33.98/34.04 c | 58196 | 1038 968 13325 | 18987 11336 43 | 0.000 % | 34.99/35.05 c =============================================================================== 35.29/35.38 c core #10 35.29/35.38 c 35.29/35.38 c 35.29/35.38 c Core size: 148 Core Weight: 1 Total Weight: 12 35.29/35.38 c Current CPU time: 34.9187 s 35.29/35.38 c 35.29/35.38 c ============================[ Search Statistics ]============================== 35.29/35.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 35.29/35.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 35.29/35.38 c =============================================================================== 35.29/35.38 c | 0 | 1181 1060 14725 | 5000 0 -nan | 0.000 % | 35.29/35.38 c | 100 | 1181 1060 14725 | 5500 100 37 | 0.000 % | 35.29/35.39 c | 253 | 1181 1060 14725 | 6050 253 38 | 0.000 % | 35.29/35.39 c | 478 | 1181 1060 14725 | 6655 478 35 | 0.000 % | 35.38/35.40 c | 816 | 1181 1060 14725 | 7320 816 34 | 0.000 % | 35.38/35.42 c | 1324 | 1181 1060 14725 | 8052 1324 32 | 0.000 % | 35.38/35.44 c | 2083 | 1181 1060 14725 | 8857 2083 33 | 0.000 % | 35.38/35.49 c | 3225 | 1181 1060 14725 | 9743 3225 33 | 0.000 % | 35.48/35.55 c | 4933 | 1181 1060 14725 | 10717 4933 34 | 0.000 % | 35.58/35.66 c | 7499 | 1181 1060 14725 | 11789 7499 36 | 0.000 % | 35.79/35.85 c | 11343 | 1181 1060 14725 | 12968 11343 36 | 0.000 % | 36.08/36.17 c | 17111 | 1181 1060 14725 | 14265 10582 39 | 0.000 % | 36.68/36.70 c | 25761 | 1181 1060 14725 | 15692 12043 42 | 0.000 % | 37.48/37.52 c | 38736 | 1181 1060 14725 | 17261 9217 39 | 0.000 % | 38.68/38.77 c | 58198 | 1181 1060 14725 | 18987 11253 44 | 0.000 % | 40.88/40.92 c | 87395 | 1181 1060 14725 | 20886 11805 46 | 0.000 % | 43.48/43.55 c =============================================================================== 44.08/44.14 c core #11 44.08/44.14 c 44.08/44.14 c 44.08/44.14 c Core size: 151 Core Weight: 1 Total Weight: 13 44.08/44.14 c Current CPU time: 43.5654 s 44.08/44.14 c 44.08/44.14 c ============================[ Search Statistics ]============================== 44.08/44.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 44.08/44.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 44.08/44.14 c =============================================================================== 44.08/44.14 c | 0 | 1326 1154 16147 | 5000 0 -nan | 0.000 % | 44.08/44.14 c | 100 | 1326 1154 16147 | 5500 100 36 | 0.000 % | 44.08/44.15 c | 250 | 1326 1154 16147 | 6050 250 36 | 0.000 % | 44.08/44.15 c | 475 | 1326 1154 16147 | 6655 475 32 | 0.000 % | 44.08/44.17 c | 814 | 1326 1154 16147 | 7320 814 36 | 0.000 % | 44.08/44.18 c | 1321 | 1326 1154 16147 | 8052 1321 35 | 0.000 % | 44.18/44.21 c | 2080 | 1326 1154 16147 | 8857 2080 33 | 0.000 % | 44.18/44.25 c | 3221 | 1326 1154 16147 | 9743 3221 33 | 0.000 % | 44.28/44.32 c | 4931 | 1326 1154 16147 | 10717 4931 33 | 0.000 % | 44.38/44.44 c | 7493 | 1326 1154 16147 | 11789 7493 34 | 0.000 % | 44.58/44.65 c | 11337 | 1326 1154 16147 | 12968 11337 35 | 0.000 % | 44.98/45.01 c | 17103 | 1326 1154 16147 | 14265 10569 37 | 0.000 % | 45.48/45.58 c | 25752 | 1326 1154 16147 | 15692 12030 41 | 0.000 % | 46.38/46.41 c | 38726 | 1326 1154 16147 | 17261 9205 44 | 0.000 % | 47.68/47.76 c | 58191 | 1326 1154 16147 | 18987 11303 42 | 0.000 % | 49.78/49.85 c | 87385 | 1326 1154 16147 | 20886 11873 47 | 0.000 % | 50.49/50.60 c =============================================================================== 50.98/51.05 c core #12 50.98/51.05 c 50.98/51.05 c 50.98/51.05 c Core size: 93 Core Weight: 1 Total Weight: 14 50.98/51.05 c Current CPU time: 50.4103 s 50.98/51.05 c 50.98/51.05 c ============================[ Search Statistics ]============================== 50.98/51.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 50.98/51.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 50.98/51.05 c =============================================================================== 50.98/51.05 c | 0 | 1416 1243 17416 | 5000 0 -nan | 0.000 % | 50.98/51.05 c | 101 | 1416 1243 17416 | 5500 101 37 | 0.000 % | 50.98/51.06 c | 254 | 1416 1243 17416 | 6050 254 38 | 0.000 % | 50.98/51.07 c | 482 | 1416 1243 17416 | 6655 482 41 | 0.000 % | 50.98/51.08 c | 820 | 1416 1243 17416 | 7320 820 38 | 0.000 % | 51.08/51.10 c | 1327 | 1416 1243 17416 | 8052 1327 38 | 0.000 % | 51.08/51.14 c | 2088 | 1416 1243 17416 | 8857 2088 39 | 0.000 % | 51.08/51.18 c | 3228 | 1416 1243 17416 | 9743 3228 39 | 0.000 % | 51.18/51.27 c | 4939 | 1416 1243 17416 | 10717 4939 37 | 0.000 % | 51.28/51.39 c | 7502 | 1416 1243 17416 | 11789 7502 38 | 0.000 % | 51.58/51.61 c | 11348 | 1416 1243 17416 | 12968 11348 37 | 0.000 % | 51.88/51.94 c | 17114 | 1416 1243 17416 | 14265 10583 39 | 0.000 % | 52.48/52.52 c | 25763 | 1416 1243 17416 | 15692 12045 42 | 0.000 % | 53.38/53.47 c | 38737 | 1416 1243 17416 | 17261 9207 46 | 0.000 % | 54.89/54.91 c | 58198 | 1416 1243 17416 | 18987 11321 44 | 0.000 % | 57.08/57.15 c | 87391 | 1416 1243 17416 | 20886 11865 48 | 0.000 % | 60.08/60.18 c =============================================================================== 60.68/60.79 c core #13 60.68/60.79 c 60.68/60.79 c 60.68/60.79 c Core size: 114 Core Weight: 1 Total Weight: 15 60.68/60.79 c Current CPU time: 60.0769 s 60.68/60.79 c 60.68/60.79 c ============================[ Search Statistics ]============================== 60.68/60.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 60.68/60.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 60.68/60.79 c =============================================================================== 60.68/60.79 c | 0 | 1527 1331 18715 | 5000 0 -nan | 0.000 % | 60.78/60.80 c | 102 | 1527 1331 18715 | 5500 102 49 | 0.000 % | 60.78/60.80 c | 253 | 1527 1331 18715 | 6050 253 54 | 0.000 % | 60.78/60.81 c | 479 | 1527 1331 18715 | 6655 479 48 | 0.000 % | 60.78/60.82 c | 816 | 1527 1331 18715 | 7320 816 41 | 0.000 % | 60.78/60.84 c | 1323 | 1527 1331 18715 | 8052 1323 39 | 0.000 % | 60.78/60.87 c | 2084 | 1527 1331 18715 | 8857 2084 37 | 0.000 % | 60.88/60.91 c | 3224 | 1527 1331 18715 | 9743 3224 35 | 0.000 % | 60.88/60.99 c | 4933 | 1527 1331 18715 | 10717 4933 36 | 0.000 % | 61.08/61.11 c | 7495 | 1527 1331 18715 | 11789 7495 37 | 0.000 % | 61.28/61.34 c | 11339 | 1527 1331 18715 | 12968 11339 37 | 0.000 % | 61.68/61.70 c | 17106 | 1527 1331 18715 | 14265 10572 39 | 0.000 % | 62.18/62.26 c | 25759 | 1527 1331 18715 | 15692 12035 42 | 0.000 % | 63.18/63.21 c | 38735 | 1527 1331 18715 | 17261 9213 46 | 0.000 % | 64.48/64.54 c | 58197 | 1527 1331 18715 | 18987 11322 41 | 0.000 % | 66.58/66.66 c | 87390 | 1527 1331 18715 | 20886 11882 46 | 0.000 % | 68.38/68.47 c =============================================================================== 68.88/68.97 c core #14 68.88/68.97 c 68.88/68.97 c 68.88/68.97 c Core size: 94 Core Weight: 1 Total Weight: 16 68.88/68.97 c Current CPU time: 68.1706 s 68.88/68.97 c 68.88/68.97 c ============================[ Search Statistics ]============================== 68.88/68.97 c | Conflicts | ORIGINAL | LEARNT | Progress | 68.88/68.97 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 68.88/68.97 c =============================================================================== 68.88/68.97 c | 0 | 1618 1419 19974 | 5000 0 -nan | 0.000 % | 68.88/68.98 c | 103 | 1618 1419 19974 | 5500 103 39 | 0.000 % | 68.88/68.98 c | 253 | 1618 1419 19974 | 6050 253 36 | 0.000 % | 68.88/68.99 c | 479 | 1618 1419 19974 | 6655 479 35 | 0.000 % | 68.98/69.00 c | 818 | 1618 1419 19974 | 7320 818 36 | 0.000 % | 68.98/69.02 c | 1326 | 1618 1419 19974 | 8052 1326 35 | 0.000 % | 68.98/69.05 c | 2086 | 1618 1419 19974 | 8857 2086 35 | 0.000 % | 68.98/69.10 c | 3226 | 1618 1419 19974 | 9743 3226 35 | 0.000 % | 69.08/69.17 c | 4935 | 1618 1419 19974 | 10717 4935 35 | 0.000 % | 69.18/69.29 c | 7497 | 1618 1419 19974 | 11789 7497 35 | 0.000 % | 69.48/69.50 c | 11341 | 1618 1419 19974 | 12968 11341 36 | 0.000 % | 69.78/69.87 c | 17107 | 1618 1419 19974 | 14265 10577 38 | 0.000 % | 70.39/70.40 c | 25759 | 1618 1419 19974 | 15692 12044 39 | 0.000 % | 71.18/71.30 c | 38734 | 1618 1419 19974 | 17261 9226 39 | 0.000 % | 72.49/72.58 c | 58195 | 1618 1419 19974 | 18987 11330 42 | 0.000 % | 74.69/74.80 c | 87387 | 1618 1419 19974 | 20886 11890 48 | 0.001 % | 75.68/75.71 c =============================================================================== 76.08/76.16 c core #15 76.08/76.16 c 76.08/76.16 c 76.08/76.16 c Core size: 92 Core Weight: 1 Total Weight: 17 76.08/76.16 c Current CPU time: 75.3016 s 76.08/76.16 c 76.08/76.16 c ============================[ Search Statistics ]============================== 76.08/76.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 76.08/76.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 76.08/76.16 c =============================================================================== 76.08/76.16 c | 0 | 1707 1506 21223 | 5000 0 -nan | 0.000 % | 76.08/76.17 c | 100 | 1707 1506 21223 | 5500 100 45 | 0.000 % | 76.08/76.18 c | 251 | 1707 1506 21223 | 6050 251 42 | 0.000 % | 76.08/76.18 c | 476 | 1707 1506 21223 | 6655 476 35 | 0.000 % | 76.08/76.19 c | 813 | 1707 1506 21223 | 7320 813 32 | 0.000 % | 76.18/76.21 c | 1319 | 1707 1506 21223 | 8052 1319 30 | 0.000 % | 76.18/76.24 c | 2078 | 1707 1506 21223 | 8857 2078 30 | 0.000 % | 76.18/76.28 c | 3218 | 1707 1506 21223 | 9743 3218 30 | 0.000 % | 76.28/76.37 c | 4926 | 1707 1506 21223 | 10717 4926 32 | 0.000 % | 76.48/76.50 c | 7489 | 1707 1506 21223 | 11789 7489 36 | 0.000 % | 76.68/76.75 c | 11333 | 1707 1506 21223 | 12968 11333 37 | 0.000 % | 76.98/77.09 c | 17099 | 1707 1506 21223 | 14265 10575 39 | 0.000 % | 77.58/77.69 c | 25748 | 1707 1506 21223 | 15692 12042 40 | 0.000 % | 78.58/78.61 c | 38724 | 1707 1506 21223 | 17261 9217 41 | 0.000 % | 79.88/79.94 c | 58186 | 1707 1506 21223 | 18987 11316 42 | 0.000 % | 82.18/82.26 c | 87381 | 1707 1506 21223 | 20886 11896 47 | 0.001 % | 83.28/83.33 c =============================================================================== 83.68/83.79 c core #16 83.68/83.79 c 83.68/83.79 c 83.68/83.79 c Core size: 86 Core Weight: 1 Total Weight: 18 83.68/83.79 c Current CPU time: 82.8674 s 83.68/83.79 c 83.68/83.79 c ============================[ Search Statistics ]============================== 83.68/83.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 83.68/83.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 83.68/83.79 c =============================================================================== 83.68/83.79 c | 0 | 1790 1592 22447 | 5000 0 -nan | 0.000 % | 83.78/83.80 c | 101 | 1790 1592 22447 | 5500 101 43 | 0.000 % | 83.78/83.80 c | 253 | 1790 1592 22447 | 6050 253 36 | 0.000 % | 83.78/83.81 c | 479 | 1790 1592 22447 | 6655 479 34 | 0.000 % | 83.78/83.82 c | 819 | 1790 1592 22447 | 7320 819 34 | 0.000 % | 83.78/83.84 c | 1327 | 1790 1592 22447 | 8052 1327 34 | 0.000 % | 83.78/83.87 c | 2086 | 1790 1592 22447 | 8857 2086 33 | 0.000 % | 83.88/83.92 c | 3227 | 1790 1592 22447 | 9743 3227 33 | 0.000 % | 83.98/84.00 c | 4936 | 1790 1592 22447 | 10717 4936 33 | 0.000 % | 84.08/84.14 c | 7498 | 1790 1592 22447 | 11789 7498 34 | 0.000 % | 84.29/84.36 c | 11345 | 1790 1592 22447 | 12968 11345 33 | 0.000 % | 84.68/84.71 c | 17113 | 1790 1592 22447 | 14265 10582 36 | 0.000 % | 85.18/85.27 c | 25764 | 1790 1592 22447 | 15692 12056 41 | 0.000 % | 86.08/86.16 c | 38740 | 1790 1592 22447 | 17261 9231 42 | 0.000 % | 87.48/87.51 c | 58204 | 1790 1592 22447 | 18987 11329 42 | 0.000 % | 89.58/89.64 c | 87396 | 1790 1592 22447 | 20886 11888 44 | 0.000 % | 91.28/91.32 c =============================================================================== 91.78/91.83 c core #17 91.78/91.83 c 91.78/91.83 c 91.78/91.83 c Core size: 127 Core Weight: 1 Total Weight: 19 91.78/91.83 c Current CPU time: 90.8222 s 91.78/91.83 c 91.78/91.83 c ============================[ Search Statistics ]============================== 91.78/91.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.78/91.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.78/91.83 c =============================================================================== 91.78/91.83 c | 0 | 1913 1679 23766 | 5000 0 -nan | 0.000 % | 91.78/91.84 c | 100 | 1913 1679 23766 | 5500 100 41 | 0.000 % | 91.78/91.85 c | 250 | 1913 1679 23766 | 6050 250 32 | 0.000 % | 91.78/91.86 c | 475 | 1913 1679 23766 | 6655 475 30 | 0.000 % | 91.78/91.87 c | 813 | 1913 1679 23766 | 7320 813 31 | 0.000 % | 91.78/91.89 c | 1319 | 1913 1679 23766 | 8052 1319 31 | 0.000 % | 91.89/91.92 c | 2078 | 1913 1679 23766 | 8857 2078 31 | 0.000 % | 91.89/91.97 c | 3221 | 1913 1679 23766 | 9743 3221 31 | 0.000 % | 91.98/92.05 c | 4931 | 1913 1679 23766 | 10717 4931 32 | 0.000 % | 92.08/92.18 c | 7496 | 1913 1679 23766 | 11789 7496 33 | 0.000 % | 92.29/92.40 c | 11342 | 1913 1679 23766 | 12968 11342 34 | 0.000 % | 92.68/92.78 c | 17111 | 1913 1679 23766 | 14265 10570 37 | 0.000 % | 93.28/93.36 c | 25760 | 1913 1679 23766 | 15692 12041 40 | 0.000 % | 94.08/94.19 c | 38734 | 1913 1679 23766 | 17261 9229 37 | 0.000 % | 95.38/95.48 c | 58195 | 1913 1679 23766 | 18987 11323 40 | 0.000 % | 97.68/97.70 c | 87388 | 1913 1679 23766 | 20886 11867 43 | 0.000 % | 101.28/101.35 c | 131179 | 1913 1679 23766 | 22974 13676 46 | 0.000 % | 103.98/104.07 c =============================================================================== 104.78/104.86 c core #18 104.78/104.86 c 104.78/104.86 c 104.78/104.86 c Core size: 94 Core Weight: 1 Total Weight: 20 104.78/104.86 c Current CPU time: 103.695 s 104.78/104.86 c 104.78/104.86 c ============================[ Search Statistics ]============================== 104.78/104.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 104.78/104.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 104.78/104.86 c =============================================================================== 104.78/104.86 c | 0 | 2004 1766 25020 | 5000 0 -nan | 0.000 % | 104.78/104.87 c | 101 | 2004 1766 25020 | 5500 101 44 | 0.000 % | 104.78/104.88 c | 252 | 2004 1766 25020 | 6050 252 37 | 0.000 % | 104.78/104.89 c | 479 | 2004 1766 25020 | 6655 479 35 | 0.000 % | 104.88/104.90 c | 816 | 2004 1766 25020 | 7320 816 39 | 0.000 % | 104.88/104.92 c | 1323 | 2004 1766 25020 | 8052 1323 37 | 0.000 % | 104.88/104.95 c | 2082 | 2004 1766 25020 | 8857 2082 35 | 0.000 % | 104.98/105.00 c | 3222 | 2004 1766 25020 | 9743 3222 34 | 0.000 % | 104.98/105.08 c | 4932 | 2004 1766 25020 | 10717 4932 35 | 0.000 % | 105.18/105.22 c | 7495 | 2004 1766 25020 | 11789 7495 35 | 0.000 % | 105.38/105.45 c | 11342 | 2004 1766 25020 | 12968 11342 36 | 0.000 % | 105.78/105.85 c | 17108 | 2004 1766 25020 | 14265 10580 39 | 0.000 % | 106.38/106.46 c | 25758 | 2004 1766 25020 | 15692 12042 40 | 0.000 % | 107.28/107.33 c | 38733 | 2004 1766 25020 | 17261 9217 40 | 0.000 % | 108.68/108.77 c | 58194 | 2004 1766 25020 | 18987 11309 44 | 0.000 % | 110.99/111.06 c | 87387 | 2004 1766 25020 | 20886 11869 46 | 0.000 % | 112.29/112.38 c =============================================================================== 112.79/112.86 c core #19 112.79/112.86 c 112.79/112.86 c 112.79/112.86 c Core size: 85 Core Weight: 1 Total Weight: 21 112.79/112.86 c Current CPU time: 111.639 s 112.79/112.86 c 112.79/112.86 c ============================[ Search Statistics ]============================== 112.79/112.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 112.79/112.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 112.79/112.86 c =============================================================================== 112.79/112.86 c | 0 | 2086 1848 26190 | 5000 0 -nan | 0.000 % | 112.79/112.87 c | 101 | 2086 1848 26190 | 5500 101 45 | 0.000 % | 112.79/112.88 c | 253 | 2086 1848 26190 | 6050 253 48 | 0.000 % | 112.79/112.89 c | 479 | 2086 1848 26190 | 6655 479 43 | 0.000 % | 112.89/112.90 c | 817 | 2086 1848 26190 | 7320 817 39 | 0.000 % | 112.89/112.93 c | 1323 | 2086 1848 26190 | 8052 1323 37 | 0.000 % | 112.89/112.96 c | 2082 | 2086 1848 26190 | 8857 2082 35 | 0.000 % | 112.98/113.01 c | 3221 | 2086 1848 26190 | 9743 3221 34 | 0.000 % | 113.08/113.10 c | 4931 | 2086 1848 26190 | 10717 4931 34 | 0.000 % | 113.18/113.23 c | 7494 | 2086 1848 26190 | 11789 7494 33 | 0.000 % | 113.38/113.48 c | 11338 | 2086 1848 26190 | 12968 11338 34 | 0.000 % | 113.78/113.84 c | 17106 | 2086 1848 26190 | 14265 10569 36 | 0.000 % | 114.39/114.41 c | 25757 | 2086 1848 26190 | 15692 12034 39 | 0.000 % | 115.27/115.36 c | 38734 | 2086 1848 26190 | 17261 9214 43 | 0.000 % | 116.68/116.78 c | 58200 | 2086 1848 26190 | 18987 11324 46 | 0.000 % | 119.18/119.26 c | 87392 | 2086 1848 26190 | 20886 11902 46 | 0.001 % | 120.58/120.69 c =============================================================================== 121.08/121.18 c core #20 121.08/121.18 c 121.08/121.18 c 121.08/121.18 c Core size: 132 Core Weight: 1 Total Weight: 22 121.08/121.18 c Current CPU time: 119.881 s 121.08/121.18 c 121.08/121.18 c ============================[ Search Statistics ]============================== 121.08/121.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 121.08/121.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 121.08/121.18 c =============================================================================== 121.08/121.18 c | 0 | 2214 1933 27494 | 5000 0 -nan | 0.000 % | 121.08/121.19 c | 101 | 2214 1933 27494 | 5500 101 46 | 0.000 % | 121.08/121.19 c | 253 | 2214 1933 27494 | 6050 253 39 | 0.000 % | 121.18/121.20 c | 478 | 2214 1933 27494 | 6655 478 34 | 0.000 % | 121.18/121.22 c | 816 | 2214 1933 27494 | 7320 816 34 | 0.000 % | 121.18/121.24 c | 1322 | 2214 1933 27494 | 8052 1322 34 | 0.000 % | 121.18/121.28 c | 2081 | 2214 1933 27494 | 8857 2081 33 | 0.000 % | 121.28/121.34 c | 3220 | 2214 1933 27494 | 9743 3220 34 | 0.000 % | 121.38/121.44 c | 4929 | 2214 1933 27494 | 10717 4929 35 | 0.000 % | 121.58/121.60 c | 7492 | 2214 1933 27494 | 11789 7492 37 | 0.000 % | 121.78/121.86 c | 11338 | 2214 1933 27494 | 12968 11338 39 | 0.000 % | 122.18/122.28 c | 17104 | 2214 1933 27494 | 14265 10571 42 | 0.000 % | 122.88/122.96 c | 25755 | 2214 1933 27494 | 15692 12028 43 | 0.000 % | 123.98/124.09 c | 38731 | 2214 1933 27494 | 17261 9203 43 | 0.000 % | 125.68/125.73 c | 58192 | 2214 1933 27494 | 18987 11300 46 | 0.000 % | 128.08/128.19 c | 87385 | 2214 1933 27494 | 20886 11846 49 | 0.000 % | 131.99/132.09 c | 131174 | 2214 1933 27494 | 22974 13643 48 | 0.000 % | 137.28/137.31 c =============================================================================== 138.18/138.27 c core #21 138.18/138.27 c 138.18/138.27 c 138.18/138.27 c Core size: 218 Core Weight: 1 Total Weight: 23 138.18/138.27 c Current CPU time: 136.777 s 138.18/138.27 c 138.18/138.27 c ============================[ Search Statistics ]============================== 138.18/138.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 138.18/138.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 138.18/138.27 c =============================================================================== 138.18/138.27 c | 0 | 2427 2018 28970 | 5000 0 -nan | 0.000 % | 138.18/138.28 c | 101 | 2427 2018 28970 | 5500 101 39 | 0.000 % | 138.18/138.29 c | 252 | 2427 2018 28970 | 6050 252 39 | 0.000 % | 138.27/138.30 c | 477 | 2427 2018 28970 | 6655 477 39 | 0.000 % | 138.27/138.31 c | 814 | 2427 2018 28970 | 7320 814 38 | 0.000 % | 138.27/138.33 c | 1321 | 2427 2018 28970 | 8052 1321 36 | 0.000 % | 138.27/138.37 c | 2080 | 2427 2018 28970 | 8857 2080 35 | 0.000 % | 138.38/138.44 c | 3221 | 2427 2018 28970 | 9743 3221 37 | 0.000 % | 138.48/138.53 c | 4929 | 2427 2018 28970 | 10717 4929 37 | 0.000 % | 138.58/138.68 c | 7491 | 2427 2018 28970 | 11789 7491 39 | 0.000 % | 138.88/138.95 c | 11336 | 2427 2018 28970 | 12968 11336 39 | 0.000 % | 139.28/139.35 c | 17103 | 2427 2018 28970 | 14265 10557 44 | 0.000 % | 139.87/139.98 c | 25753 | 2427 2018 28970 | 15692 12025 46 | 0.000 % | 140.88/140.99 c | 38728 | 2427 2018 28970 | 17261 9193 40 | 0.000 % | 142.48/142.56 c | 58190 | 2427 2018 28970 | 18987 11261 51 | 0.000 % | 144.98/145.05 c | 87383 | 2427 2018 28970 | 20886 11805 42 | 0.000 % | 148.88/148.99 c | 131173 | 2427 2018 28970 | 22974 13587 52 | 0.000 % | 155.27/155.32 c | 196858 | 2427 2018 28970 | 25272 21547 52 | 0.001 % | 158.38/158.48 c =============================================================================== 159.68/159.76 c core #22 159.68/159.76 c 159.68/159.76 c 159.68/159.76 c Core size: 193 Core Weight: 1 Total Weight: 24 159.68/159.76 c Current CPU time: 158.061 s 159.68/159.76 c 159.68/159.76 c ============================[ Search Statistics ]============================== 159.68/159.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 159.68/159.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 159.68/159.76 c =============================================================================== 159.68/159.76 c | 0 | 2616 2102 30383 | 5000 0 -nan | 0.000 % | 159.68/159.77 c | 101 | 2616 2102 30383 | 5500 101 40 | 0.000 % | 159.68/159.78 c | 251 | 2616 2102 30383 | 6050 251 47 | 0.000 % | 159.68/159.79 c | 476 | 2616 2102 30383 | 6655 476 40 | 0.000 % | 159.77/159.81 c | 813 | 2616 2102 30383 | 7320 813 38 | 0.000 % | 159.77/159.83 c | 1319 | 2616 2102 30383 | 8052 1319 37 | 0.000 % | 159.77/159.87 c | 2080 | 2616 2102 30383 | 8857 2080 38 | 0.000 % | 159.87/159.93 c | 3222 | 2616 2102 30383 | 9743 3222 38 | 0.000 % | 159.98/160.02 c | 4933 | 2616 2102 30383 | 10717 4933 38 | 0.000 % | 160.08/160.18 c | 7496 | 2616 2102 30383 | 11789 7496 39 | 0.000 % | 160.38/160.42 c | 11342 | 2616 2102 30383 | 12968 11342 40 | 0.000 % | 160.78/160.83 c | 17109 | 2616 2102 30383 | 14265 10567 40 | 0.000 % | 161.38/161.49 c | 25759 | 2616 2102 30383 | 15692 12033 41 | 0.000 % | 162.58/162.60 c | 38734 | 2616 2102 30383 | 17261 9206 46 | 0.000 % | 164.08/164.15 c | 58195 | 2616 2102 30383 | 18987 11301 43 | 0.000 % | 166.57/166.69 c | 87387 | 2616 2102 30383 | 20886 11861 46 | 0.000 % | 170.58/170.64 c | 131176 | 2616 2102 30383 | 22974 13676 45 | 0.000 % | 173.87/173.93 c =============================================================================== 174.78/174.82 c core #23 174.78/174.82 c 174.78/174.82 c 174.78/174.82 c Core size: 97 Core Weight: 1 Total Weight: 25 174.78/174.82 c Current CPU time: 173.027 s 174.78/174.82 c 174.78/174.83 c ============================[ Search Statistics ]============================== 174.78/174.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 174.78/174.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 174.78/174.83 c =============================================================================== 174.78/174.83 c | 0 | 2710 2183 31565 | 5000 0 -nan | 0.000 % | 174.78/174.84 c | 101 | 2710 2183 31565 | 5500 101 45 | 0.000 % | 174.78/174.84 c | 251 | 2710 2183 31565 | 6050 251 41 | 0.000 % | 174.78/174.85 c | 476 | 2710 2183 31565 | 6655 476 38 | 0.000 % | 174.78/174.87 c | 816 | 2710 2183 31565 | 7320 816 35 | 0.000 % | 174.78/174.90 c | 1322 | 2710 2183 31565 | 8052 1322 35 | 0.000 % | 174.89/174.93 c | 2081 | 2710 2183 31565 | 8857 2081 33 | 0.000 % | 174.89/174.99 c | 3221 | 2710 2183 31565 | 9743 3221 33 | 0.000 % | 174.98/175.08 c | 4931 | 2710 2183 31565 | 10717 4931 34 | 0.000 % | 175.17/175.23 c | 7493 | 2710 2183 31565 | 11789 7493 35 | 0.000 % | 175.38/175.49 c | 11339 | 2710 2183 31565 | 12968 11339 36 | 0.000 % | 175.87/175.96 c | 17106 | 2710 2183 31565 | 14265 10562 42 | 0.000 % | 176.58/176.69 c | 25756 | 2710 2183 31565 | 15692 12039 46 | 0.000 % | 177.78/177.89 c | 38730 | 2710 2183 31565 | 17261 9217 45 | 0.000 % | 179.47/179.59 c | 58192 | 2710 2183 31565 | 18987 11313 46 | 0.000 % | 182.27/182.35 c | 87384 | 2710 2183 31565 | 20886 11870 47 | 0.000 % | 186.27/186.35 c | 131175 | 2710 2183 31565 | 22974 13701 47 | 0.000 % | 190.38/190.47 c =============================================================================== 191.38/191.42 c core #24 191.38/191.42 c 191.38/191.42 c 191.38/191.42 c Core size: 225 Core Weight: 1 Total Weight: 26 191.38/191.42 c Current CPU time: 189.498 s 191.38/191.42 c 191.38/191.42 c ============================[ Search Statistics ]============================== 191.38/191.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.38/191.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.38/191.42 c =============================================================================== 191.38/191.42 c | 0 | 2931 2264 33003 | 5000 0 -nan | 0.000 % | 191.38/191.43 c | 100 | 2931 2264 33003 | 5500 100 48 | 0.000 % | 191.38/191.44 c | 250 | 2931 2264 33003 | 6050 250 38 | 0.000 % | 191.38/191.45 c | 476 | 2931 2264 33003 | 6655 476 34 | 0.000 % | 191.38/191.47 c | 813 | 2931 2264 33003 | 7320 813 34 | 0.000 % | 191.47/191.50 c | 1319 | 2931 2264 33003 | 8052 1319 32 | 0.000 % | 191.47/191.54 c | 2079 | 2931 2264 33003 | 8857 2079 32 | 0.000 % | 191.47/191.60 c | 3219 | 2931 2264 33003 | 9743 3219 32 | 0.000 % | 191.68/191.71 c | 4932 | 2931 2264 33003 | 10717 4932 33 | 0.000 % | 191.78/191.89 c | 7496 | 2931 2264 33003 | 11789 7496 34 | 0.000 % | 192.08/192.19 c | 11340 | 2931 2264 33003 | 12968 11340 34 | 0.000 % | 192.57/192.61 c | 17108 | 2931 2264 33003 | 14265 10570 37 | 0.000 % | 193.28/193.32 c | 25759 | 2931 2264 33003 | 15692 12042 41 | 0.000 % | 194.37/194.42 c | 38733 | 2931 2264 33003 | 17261 9216 44 | 0.000 % | 195.98/196.06 c | 58196 | 2931 2264 33003 | 18987 11289 42 | 0.000 % | 198.68/198.79 c | 87391 | 2931 2264 33003 | 20886 11861 47 | 0.000 % | 202.88/203.00 c | 131181 | 2931 2264 33003 | 22974 13667 46 | 0.000 % | 209.38/209.44 c | 196868 | 2931 2264 33003 | 25272 21549 51 | 0.000 % | 212.08/212.17 c =============================================================================== 213.28/213.37 c core #25 213.28/213.37 c 213.28/213.37 c 213.28/213.37 c Core size: 200 Core Weight: 1 Total Weight: 27 213.28/213.37 c Current CPU time: 211.283 s 213.28/213.37 c 213.28/213.37 c ============================[ Search Statistics ]============================== 213.28/213.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.28/213.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.28/213.37 c =============================================================================== 213.28/213.37 c | 0 | 3128 2345 34393 | 5000 0 -nan | 0.000 % | 213.28/213.38 c | 102 | 3128 2345 34393 | 5500 102 77 | 0.000 % | 213.28/213.39 c | 252 | 3128 2345 34393 | 6050 252 69 | 0.000 % | 213.28/213.40 c | 478 | 3128 2345 34393 | 6655 478 52 | 0.000 % | 213.38/213.41 c | 815 | 3128 2345 34393 | 7320 815 44 | 0.000 % | 213.38/213.44 c | 1321 | 3128 2345 34393 | 8052 1321 41 | 0.000 % | 213.38/213.47 c | 2084 | 3128 2345 34393 | 8857 2084 39 | 0.000 % | 213.47/213.53 c | 3224 | 3128 2345 34393 | 9743 3224 37 | 0.000 % | 213.57/213.63 c | 4932 | 3128 2345 34393 | 10717 4932 38 | 0.000 % | 213.68/213.78 c | 7495 | 3128 2345 34393 | 11789 7495 37 | 0.000 % | 213.97/214.03 c | 11340 | 3128 2345 34393 | 12968 11340 37 | 0.000 % | 214.38/214.46 c | 17109 | 3128 2345 34393 | 14265 10582 38 | 0.000 % | 215.07/215.16 c | 25758 | 3128 2345 34393 | 15692 12047 43 | 0.000 % | 216.18/216.20 c | 38734 | 3128 2345 34393 | 17261 9214 43 | 0.000 % | 217.78/217.86 c | 58195 | 3128 2345 34393 | 18987 11322 43 | 0.000 % | 220.38/220.42 c | 87387 | 3128 2345 34393 | 20886 11865 45 | 0.000 % | 224.47/224.54 c | 131176 | 3128 2345 34393 | 22974 13674 46 | 0.000 % | 230.68/230.76 c | 196860 | 3103 2345 34393 | 25272 21431 50 | 0.799 % | 233.28/233.33 c =============================================================================== 234.48/234.51 c core #26 234.48/234.51 c 234.48/234.51 c 234.48/234.51 c Core size: 235 Core Weight: 1 Total Weight: 28 234.48/234.51 c Current CPU time: 232.278 s 234.48/234.51 c 234.48/234.51 c ============================[ Search Statistics ]============================== 234.48/234.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.48/234.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.48/234.51 c =============================================================================== 234.48/234.51 c | 0 | 3360 2422 35810 | 5000 0 -nan | 0.000 % | 234.48/234.52 c | 100 | 3360 2422 35810 | 5500 100 45 | 0.000 % | 234.48/234.53 c | 251 | 3360 2422 35810 | 6050 251 43 | 0.000 % | 234.48/234.54 c | 477 | 3360 2422 35810 | 6655 477 39 | 0.000 % | 234.48/234.56 c | 814 | 3360 2422 35810 | 7320 814 36 | 0.000 % | 234.48/234.58 c | 1321 | 3360 2422 35810 | 8052 1321 34 | 0.000 % | 234.58/234.62 c | 2083 | 3360 2422 35810 | 8857 2083 34 | 0.000 % | 234.58/234.68 c | 3222 | 3360 2422 35810 | 9743 3222 34 | 0.000 % | 234.68/234.77 c | 4931 | 3360 2422 35810 | 10717 4931 34 | 0.000 % | 234.88/234.94 c | 7497 | 3360 2422 35810 | 11789 7497 34 | 0.000 % | 235.17/235.22 c | 11342 | 3360 2422 35810 | 12968 11342 38 | 0.000 % | 235.58/235.67 c | 17109 | 3360 2422 35810 | 14265 10561 41 | 0.000 % | 236.28/236.36 c | 25759 | 3360 2422 35810 | 15692 12040 42 | 0.000 % | 237.48/237.50 c | 38733 | 3360 2422 35810 | 17261 9221 45 | 0.000 % | 239.08/239.15 c | 58195 | 3360 2422 35810 | 18987 11303 46 | 0.000 % | 241.78/241.86 c | 87390 | 3360 2422 35810 | 20886 11873 45 | 0.000 % | 245.98/246.01 c | 131182 | 3360 2422 35810 | 22974 13676 47 | 0.000 % | 252.58/252.68 c | 196870 | 3360 2422 35810 | 25272 21517 49 | 0.000 % | 259.48/259.54 c =============================================================================== 260.98/261.01 c core #27 260.98/261.01 c 260.98/261.01 c 260.98/261.01 c Core size: 332 Core Weight: 1 Total Weight: 29 260.98/261.01 c Current CPU time: 258.545 s 260.98/261.01 c 260.98/261.01 c ============================[ Search Statistics ]============================== 260.98/261.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 260.98/261.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 260.98/261.01 c =============================================================================== 260.98/261.01 c | 0 | 3689 2500 37426 | 5000 0 -nan | 0.000 % | 260.98/261.02 c | 100 | 3689 2500 37426 | 5500 100 62 | 0.000 % | 260.98/261.03 c | 251 | 3689 2500 37426 | 6050 251 43 | 0.000 % | 260.98/261.04 c | 476 | 3689 2500 37426 | 6655 476 39 | 0.000 % | 260.98/261.05 c | 813 | 3689 2500 37426 | 7320 813 35 | 0.000 % | 260.98/261.08 c | 1321 | 3689 2500 37426 | 8052 1321 37 | 0.000 % | 261.08/261.12 c | 2080 | 3689 2500 37426 | 8857 2080 36 | 0.000 % | 261.08/261.18 c | 3221 | 3689 2500 37426 | 9743 3221 36 | 0.000 % | 261.18/261.28 c | 4931 | 3689 2500 37426 | 10717 4931 34 | 0.000 % | 261.37/261.45 c | 7494 | 3689 2500 37426 | 11789 7494 36 | 0.000 % | 261.68/261.77 c | 11339 | 3689 2500 37426 | 12968 11339 40 | 0.000 % | 262.18/262.23 c | 17107 | 3689 2500 37426 | 14265 10585 42 | 0.000 % | 262.88/262.97 c | 25760 | 3689 2500 37426 | 15692 12054 41 | 0.000 % | 264.07/264.15 c | 38735 | 3689 2500 37426 | 17261 9235 43 | 0.000 % | 266.78/266.88 c | 58196 | 3689 2500 37426 | 18987 10970 67 | 0.000 % | 271.58/271.64 c | 87388 | 3689 2500 37426 | 20886 19710 73 | 0.000 % | 275.48/275.55 c | 131180 | 3689 2500 37426 | 22974 11028 43 | 0.000 % | 285.08/285.19 c | 196865 | 3689 2500 37426 | 25272 17334 44 | 0.000 % | 303.98/304.05 c | 295391 | 3689 2500 37426 | 27799 18294 55 | 0.000 % | 322.18/322.27 c | 443182 | 3689 2500 37426 | 30579 22167 57 | 0.000 % | 368.28/368.32 c | 664866 | 3689 2500 37426 | 33637 20566 64 | 0.000 % | 384.08/384.19 c =============================================================================== 387.19/387.28 c core #28 387.19/387.28 c 387.19/387.28 c 387.19/387.28 c Core size: 385 Core Weight: 1 Total Weight: 30 387.19/387.28 c Current CPU time: 383.974 s 387.19/387.28 c 387.19/387.28 c ============================[ Search Statistics ]============================== 387.19/387.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 387.19/387.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 387.19/387.28 c =============================================================================== 387.19/387.28 c | 0 | 4066 2578 39143 | 5000 0 -nan | 0.000 % | 387.28/387.30 c | 101 | 4066 2578 39143 | 5500 101 63 | 0.000 % | 387.28/387.31 c | 252 | 4066 2578 39143 | 6050 252 48 | 0.000 % | 387.28/387.32 c | 478 | 4066 2578 39143 | 6655 478 40 | 0.000 % | 387.28/387.33 c | 818 | 4066 2578 39143 | 7320 818 38 | 0.000 % | 387.28/387.36 c | 1325 | 4066 2578 39143 | 8052 1325 36 | 0.000 % | 387.28/387.39 c | 2084 | 4066 2578 39143 | 8857 2084 34 | 0.000 % | 387.38/387.46 c | 3223 | 4066 2578 39143 | 9743 3223 35 | 0.000 % | 387.48/387.55 c | 4931 | 4066 2578 39143 | 10717 4931 34 | 0.000 % | 387.68/387.72 c | 7493 | 4066 2578 39143 | 11789 7493 35 | 0.000 % | 387.97/388.06 c | 11340 | 4066 2578 39143 | 12968 11340 36 | 0.000 % | 388.38/388.49 c | 17107 | 4066 2578 39143 | 14265 10566 40 | 0.000 % | 389.18/389.26 c | 25758 | 4066 2578 39143 | 15692 12034 43 | 0.000 % | 390.28/390.39 c | 38733 | 4066 2578 39143 | 17261 9215 42 | 0.000 % | 391.98/392.04 c | 58195 | 4066 2578 39143 | 18987 11308 44 | 0.000 % | 399.29/399.32 c | 87391 | 4066 2578 39143 | 20886 11005 82 | 0.000 % | 412.98/413.09 c | 131181 | 4066 2578 39143 | 22974 11700 81 | 0.000 % | 433.08/433.14 c | 196866 | 4066 2578 39143 | 25272 17891 85 | 0.000 % | 454.68/454.75 c | 295393 | 4066 2578 39143 | 27799 21894 42 | 0.000 % | 472.79/472.87 c | 443182 | 4066 2578 39143 | 30579 20901 88 | 0.000 % | 531.58/531.68 c | 664865 | 4066 2578 39143 | 33637 28199 42 | 0.000 % | 645.28/645.34 c | 997394 | 4066 2578 39143 | 37001 19426 98 | 0.000 % | 844.99/845.02 c | 1496187 | 4066 2578 39143 | 40701 37270 90 | 0.000 % | 1103.80/1103.88 c | 2244372 | 4066 2578 39143 | 44771 26537 91 | 0.000 % | 1396.91/1396.97 c =============================================================================== 1405.90/1405.98 c core #29 1405.90/1405.98 c 1405.90/1405.98 c 1405.90/1405.98 c Core size: 272 Core Weight: 1 Total Weight: 31 1405.90/1405.98 c Current CPU time: 1398.81 s 1405.90/1405.98 c 1405.90/1405.98 c ============================[ Search Statistics ]============================== 1405.90/1405.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 1405.90/1405.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1405.90/1405.98 c =============================================================================== 1405.90/1405.98 c | 0 | 4335 2652 40602 | 5000 0 -nan | 0.000 % | 1406.01/1406.00 c | 104 | 4335 2652 40602 | 5500 104 67 | 0.000 % | 1406.01/1406.01 c | 255 | 4335 2652 40602 | 6050 255 50 | 0.000 % | 1406.01/1406.02 c | 480 | 4335 2652 40602 | 6655 480 40 | 0.000 % | 1406.01/1406.03 c | 819 | 4335 2652 40602 | 7320 819 35 | 0.000 % | 1406.01/1406.06 c | 1325 | 4335 2652 40602 | 8052 1325 35 | 0.000 % | 1406.01/1406.09 c | 2085 | 4335 2652 40602 | 8857 2085 34 | 0.000 % | 1406.11/1406.15 c | 3225 | 4335 2652 40602 | 9743 3225 35 | 0.000 % | 1406.21/1406.24 c | 4933 | 4335 2652 40602 | 10717 4933 34 | 0.000 % | 1406.31/1406.39 c | 7495 | 4335 2652 40602 | 11789 7495 35 | 0.000 % | 1406.60/1406.68 c | 11339 | 4335 2652 40602 | 12968 11339 37 | 0.000 % | 1407.11/1407.11 c | 17108 | 4335 2652 40602 | 14265 10568 39 | 0.000 % | 1407.70/1407.79 c | 25757 | 4335 2652 40602 | 15692 12051 39 | 0.000 % | 1409.11/1409.15 c | 38733 | 4335 2652 40602 | 17261 9233 43 | 0.000 % | 1412.71/1412.77 c | 58198 | 4335 2652 40602 | 18987 10936 98 | 0.000 % | 1421.41/1421.46 c | 87390 | 4335 2652 40602 | 20886 10643 83 | 0.000 % | 1435.81/1435.80 c | 131185 | 4335 2652 40602 | 22974 11501 87 | 0.000 % | 1457.91/1457.91 c | 196874 | 4335 2652 40602 | 25272 18258 86 | 0.000 % | 1495.51/1495.56 c | 295401 | 4335 2652 40602 | 27799 24297 100 | 0.000 % | 1548.01/1548.08 c | 443190 | 4335 2652 40602 | 30579 14056 97 | 0.000 % | 1630.41/1630.47 c | 664876 | 4335 2652 40602 | 33637 18905 88 | 0.000 % | 1756.31/1756.31 c | 997404 | 4335 2652 40602 | 37001 18288 107 | 0.000 % |
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 /tmp/evaluation-result-3447067-1307906592/watcher-3447067-1307906592 -o /tmp/evaluation-result-3447067-1307906592/solver-3447067-1307906592 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447067-1307906592.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 1.99 1.87 3/177 1911 /proc/meminfo: memFree=1564788/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=1972 CPUtime=0 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 288 0 0 0 0 0 0 0 25 0 1 0 883075452 2019328 238 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1911/statm: 493 239 176 372 0 118 0 [startup+0.0267991 s] /proc/loadavg: 2.00 1.99 1.87 3/177 1911 /proc/meminfo: memFree=1564788/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=2368 CPUtime=0.02 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 406 0 0 0 2 0 0 0 25 0 1 0 883075452 2424832 356 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1911/statm: 592 357 177 372 0 217 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2368 [startup+0.100812 s] /proc/loadavg: 2.00 1.99 1.87 3/177 1911 /proc/meminfo: memFree=1564788/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=3568 CPUtime=0.09 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 681 0 0 0 9 0 0 0 25 0 1 0 883075452 3653632 631 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1911/statm: 892 631 177 372 0 517 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3568 [startup+0.300779 s] /proc/loadavg: 2.00 1.99 1.87 3/177 1911 /proc/meminfo: memFree=1564788/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=5620 CPUtime=0.29 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 1209 0 0 0 29 0 0 0 25 0 1 0 883075452 5754880 1159 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1911/statm: 1405 1159 177 372 0 1030 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5620 [startup+0.700691 s] /proc/loadavg: 2.00 1.99 1.87 3/177 1911 /proc/meminfo: memFree=1564788/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=7880 CPUtime=0.69 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 1762 0 0 0 68 1 0 0 25 0 1 0 883075452 8069120 1712 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1911/statm: 1970 1712 177 372 0 1595 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7880 [startup+1.50056 s] /proc/loadavg: 2.00 1.99 1.87 3/178 1912 /proc/meminfo: memFree=1556760/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=11448 CPUtime=1.48 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 2643 0 0 0 146 2 0 0 25 0 1 0 883075452 11722752 2593 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1911/statm: 2862 2593 177 372 0 2487 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 11448 [startup+3.10028 s] /proc/loadavg: 2.00 1.99 1.87 3/178 1912 /proc/meminfo: memFree=1551676/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=16080 CPUtime=3.09 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 3857 0 0 0 304 5 0 0 25 0 1 0 883075452 16465920 3773 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/1911/statm: 4020 3773 178 372 0 3645 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16080 [startup+6.3007 s] /proc/loadavg: 2.00 1.99 1.87 3/178 1912 /proc/meminfo: memFree=1547088/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=18456 CPUtime=6.29 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 4455 0 0 0 621 8 0 0 25 0 1 0 883075452 18898944 4371 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 4614 4371 178 372 0 4239 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 18456 [startup+12.7006 s] /proc/loadavg: 2.00 1.99 1.87 3/178 1912 /proc/meminfo: memFree=1541332/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=18996 CPUtime=12.68 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 4587 0 0 0 1252 16 0 0 25 0 1 0 883075452 19451904 4503 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 4749 4503 178 372 0 4374 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18996 [startup+25.5003 s] /proc/loadavg: 2.00 1.99 1.87 3/178 1988 /proc/meminfo: memFree=1547832/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=21588 CPUtime=25.48 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 5222 0 0 0 2517 31 0 0 25 0 1 0 883075452 22106112 5138 33554432000 4194304 5714214 140735380955200 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 5397 5138 178 372 0 5022 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 21588 [startup+51.1007 s] /proc/loadavg: 2.00 1.99 1.88 3/178 1989 /proc/meminfo: memFree=1521236/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=35516 CPUtime=51.08 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 8750 0 0 0 5050 58 0 0 25 0 1 0 883075452 36368384 8628 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 8879 8628 178 372 0 8504 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 35516 [startup+102.307 s] /proc/loadavg: 2.00 1.99 1.88 3/178 1992 /proc/meminfo: memFree=1501432/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=37140 CPUtime=102.29 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 9149 0 0 0 10124 105 0 0 25 0 1 0 883075452 38031360 9027 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 9285 9027 178 372 0 8910 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 37140 [startup+162.301 s] /proc/loadavg: 2.00 1.99 1.89 3/178 1995 /proc/meminfo: memFree=1470040/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=61040 CPUtime=162.28 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 15132 0 0 0 16069 159 0 0 25 0 1 0 883075452 62504960 15010 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 15260 15010 178 372 0 14885 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 61040 [startup+222.301 s] /proc/loadavg: 2.00 1.99 1.89 3/178 1997 /proc/meminfo: memFree=1433588/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=62748 CPUtime=222.28 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 15552 0 0 0 22026 202 0 0 25 0 1 0 883075452 64253952 15430 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 15687 15430 178 372 0 15312 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 62748 [startup+282.3 s] /proc/loadavg: 2.00 1.99 1.90 3/178 1998 /proc/meminfo: memFree=1404968/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=72308 CPUtime=282.28 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 17943 0 0 0 27986 242 0 0 25 0 1 0 883075452 74043392 17821 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 18077 17821 178 372 0 17702 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 72308 [startup+342.301 s] /proc/loadavg: 2.00 1.99 1.90 3/178 2000 /proc/meminfo: memFree=1347496/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=112032 CPUtime=342.28 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 27716 0 0 0 33960 268 0 0 25 0 1 0 883075452 114720768 27594 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 28008 27594 178 372 0 27633 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 112032 [startup+402.301 s] /proc/loadavg: 2.00 1.99 1.91 3/178 2001 /proc/meminfo: memFree=1260628/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=176788 CPUtime=402.28 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 43835 0 0 0 39933 295 0 0 25 0 1 0 883075452 181030912 43646 33554432000 4194304 5714214 140735380955200 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 44197 43646 178 372 0 43822 0 Current children cumulated CPU time (s) 402.28 Current children cumulated vsize (KiB) 176788 [startup+462.3 s] /proc/loadavg: 2.06 2.00 1.91 3/178 2003 /proc/meminfo: memFree=1242436/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=176788 CPUtime=462.28 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 43863 0 0 0 45913 315 0 0 25 0 1 0 883075452 181030912 43674 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 44197 43674 178 372 0 43822 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 176788 [startup+522.3 s] /proc/loadavg: 2.02 2.00 1.91 3/178 2004 /proc/meminfo: memFree=1217828/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=176788 CPUtime=522.28 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 43913 0 0 0 51899 329 0 0 25 0 1 0 883075452 181030912 43724 33554432000 4194304 5714214 140735380955200 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 44197 43724 178 372 0 43822 0 Current children cumulated CPU time (s) 522.28 Current children cumulated vsize (KiB) 176788 [startup+582.301 s] /proc/loadavg: 2.00 2.00 1.91 3/178 2006 /proc/meminfo: memFree=1197056/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=176788 CPUtime=582.29 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 44082 0 0 0 57880 349 0 0 25 0 1 0 883075452 181030912 43893 33554432000 4194304 5714214 140735380955200 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 44197 43893 178 372 0 43822 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 176788 [startup+642.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.00 2.00 1.91 3/178 2012 /proc/meminfo: memFree=1050116/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=253440 CPUtime=822.29 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 62787 0 0 0 81825 404 0 0 25 0 1 0 883075452 259522560 62598 33554432000 4194304 5714214 140735380955200 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 63360 62598 178 372 0 62985 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 253440 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.91 3/178 2014 /proc/meminfo: memFree=1013964/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=273704 CPUtime=882.3 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 67670 0 0 0 87815 415 0 0 25 0 1 0 883075452 280272896 67481 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 68426 67481 178 372 0 68051 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 273704 [startup+942.3 s] /proc/loadavg: 2.00 2.00 1.91 3/178 2016 /proc/meminfo: memFree=953740/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=319212 CPUtime=942.3 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 78917 0 0 0 93796 434 0 0 25 0 1 0 883075452 326873088 78728 33554432000 4194304 5714214 140735380955200 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 79803 78728 178 372 0 79428 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 319212 [startup+1002.3 s] /proc/loadavg: 2.08 2.02 1.92 3/178 2017 /proc/meminfo: memFree=916772/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=336288 CPUtime=1002.29 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 83083 0 0 0 99785 444 0 0 25 0 1 0 883075452 344358912 82894 33554432000 4194304 5714214 140735380955200 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 84072 82894 178 372 0 83697 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 336288 [startup+1062.3 s] /proc/loadavg: 2.03 2.01 1.92 3/178 2019 /proc/meminfo: memFree=887228/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=353036 CPUtime=1062.3 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 87181 0 0 0 105774 456 0 0 25 0 1 0 883075452 361508864 86992 33554432000 4194304 5714214 140735380955200 18446744073709551615 4319347 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 88259 86992 178 372 0 87884 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 353036 [startup+1122.3 s] /proc/loadavg: 2.01 2.00 1.92 3/178 2021 /proc/meminfo: memFree=829136/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=378756 CPUtime=1122.3 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 93505 0 0 0 111760 470 0 0 25 0 1 0 883075452 387846144 93316 33554432000 4194304 5714214 140735380955200 18446744073709551615 4300385 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 94689 93316 178 372 0 94314 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 378756 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 2022 /proc/meminfo: memFree=780244/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=408128 CPUtime=1182.3 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 100756 0 0 0 117742 488 0 0 25 0 1 0 883075452 417923072 100567 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 102032 100567 178 372 0 101657 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 408128 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 2024 /proc/meminfo: memFree=713040/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=460388 CPUtime=1242.3 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 113671 0 0 0 123719 511 0 0 25 0 1 0 883075452 471437312 113482 33554432000 4194304 5714214 140735380955200 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 115097 113482 178 372 0 114722 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 460388 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 2025 /proc/meminfo: memFree=683084/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=474388 CPUtime=1302.31 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 117092 0 0 0 129708 523 0 0 25 0 1 0 883075452 485773312 116903 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 118597 116903 178 372 0 118222 0 Current children cumulated CPU time (s) 1302.31 Current children cumulated vsize (KiB) 474388 [startup+1362.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 2027 /proc/meminfo: memFree=647920/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=492008 CPUtime=1362.31 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 121458 0 0 0 135698 533 0 0 25 0 1 0 883075452 503816192 121269 33554432000 4194304 5714214 140735380955200 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 123002 121269 178 372 0 122627 0 Current children cumulated CPU time (s) 1362.31 Current children cumulated vsize (KiB) 492008 [startup+1422.31 s] /proc/loadavg: 2.00 2.00 1.92 3/178 2029 /proc/meminfo: memFree=585428/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=536520 CPUtime=1422.32 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 132654 0 0 0 141681 551 0 0 25 0 1 0 883075452 549396480 132375 33554432000 4194304 5714214 140735380955200 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 134130 132375 178 372 0 133755 0 Current children cumulated CPU time (s) 1422.32 Current children cumulated vsize (KiB) 536520 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 2030 /proc/meminfo: memFree=565628/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=536520 CPUtime=1482.31 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 132670 0 0 0 147666 565 0 0 25 0 1 0 883075452 549396480 132391 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 134130 132391 178 372 0 133755 0 Current children cumulated CPU time (s) 1482.31 Current children cumulated vsize (KiB) 536520 [startup+1542.3 s] /proc/loadavg: 2.00 2.00 1.92 3/178 2032 /proc/meminfo: memFree=547372/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=536520 CPUtime=1542.31 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 132679 0 0 0 153653 578 0 0 25 0 1 0 883075452 549396480 132400 33554432000 4194304 5714214 140735380955200 18446744073709551615 4319409 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 134130 132400 178 372 0 133755 0 Current children cumulated CPU time (s) 1542.31 Current children cumulated vsize (KiB) 536520 [startup+1602.3 s] /proc/loadavg: 2.04 2.01 1.93 3/178 2033 /proc/meminfo: memFree=532620/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=536520 CPUtime=1602.32 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 132683 0 0 0 159641 591 0 0 25 0 1 0 883075452 549396480 132404 33554432000 4194304 5714214 140735380955200 18446744073709551615 4323047 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 134130 132404 178 372 0 133755 0 Current children cumulated CPU time (s) 1602.32 Current children cumulated vsize (KiB) 536520 [startup+1662.3 s] /proc/loadavg: 2.01 2.01 1.93 3/178 2035 /proc/meminfo: memFree=518212/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=536520 CPUtime=1662.31 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 132793 0 0 0 165629 602 0 0 25 0 1 0 883075452 549396480 132514 33554432000 4194304 5714214 140735380955200 18446744073709551615 4319446 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 134130 132514 178 372 0 133755 0 Current children cumulated CPU time (s) 1662.31 Current children cumulated vsize (KiB) 536520 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 2036 /proc/meminfo: memFree=504360/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=536520 CPUtime=1722.31 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 132976 0 0 0 171618 613 0 0 25 0 1 0 883075452 549396480 132697 33554432000 4194304 5714214 140735380955200 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 134130 132697 178 372 0 133755 0 Current children cumulated CPU time (s) 1722.31 Current children cumulated vsize (KiB) 536520 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.93 3/178 2038 /proc/meminfo: memFree=489472/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=536520 CPUtime=1782.32 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 133030 0 0 0 177607 625 0 0 25 0 1 0 883075452 549396480 132751 33554432000 4194304 5714214 140735380955200 18446744073709551615 4322711 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 134130 132751 178 372 0 133755 0 Current children cumulated CPU time (s) 1782.32 Current children cumulated vsize (KiB) 536520 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.00 1.93 3/178 2039 /proc/meminfo: memFree=485556/32951124 swapFree=67050916/67111528 [pid=1911] ppid=1909 vsize=536520 CPUtime=1800.02 cores=0,2,4,6 /proc/1911/stat : 1911 (wbo1.6) R 1909 1911 648 0 -1 4202496 133050 0 0 0 179374 628 0 0 25 0 1 0 883075452 549396480 132771 33554432000 4194304 5714214 140735380955200 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0 /proc/1911/statm: 134130 132771 178 372 0 133755 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 536520 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.03 CPU time (s): 1800.05 CPU user time (s): 1793.75 CPU system time (s): 6.30304 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 537004 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.75 system time used= 6.30304 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133050 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= 6 involuntary context switches= 3306 runsolver used 2.76858 second user time and 5.45717 second system time The end
Begin job on node146 at 2011-06-12 21:23:12 IDJOB=3447067 IDBENCH=79210 IDSOLVER=1943 FILE ID=node146/3447067-1307906592 RUNJOBID= node146-1307904631-1439 PBS_JOBID= 13559563 Free space on /tmp= 6548 MiB SOLVER NAME= wbo 1.6 BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110974372--soft-0-100-0.wbo COMMAND LINE= wbo1.6 -file-format=wbo -time-limit=TIMEOUT -search-mode=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3447067-1307906592/watcher-3447067-1307906592 -o /tmp/evaluation-result-3447067-1307906592/solver-3447067-1307906592 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=wbo -time-limit=1800 -search-mode=0 HOME/instance-3447067-1307906592.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 014e6d9d1387f6cdb0c56035ad106b75 RANDOM SEED=756684892 node146.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.830 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.66 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.830 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.830 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.86 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.830 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.830 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.830 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 1564968 kB Buffers: 63836 kB Cached: 30332204 kB SwapCached: 13072 kB Active: 15735948 kB Inactive: 14699804 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 1564968 kB SwapTotal: 67111528 kB SwapFree: 67050916 kB Dirty: 8780 kB Writeback: 0 kB AnonPages: 38756 kB Mapped: 9944 kB Slab: 884708 kB PageTables: 4724 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 228540 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 6544 MiB End job on node146 at 2011-06-12 21:53:14