Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.12 | 1800.82 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-cm42a.opb |
MD5SUM | fbb7284250700e8b461b63d83ddce719 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 694 |
Best CPU time to get the best result obtained on this benchmark | 0.020996 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 694 |
Optimality of the best value was proved | YES |
Number of variables | 99 |
Total number of constraints | 185 |
Number of constraints which are clauses | 185 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 99 |
Biggest coefficient in the objective function | 60 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 4087 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 60 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 4087 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680750-1277453283.opb. 0.00/0.00 c Instance file HOME/instance-2680750-1277453283.opb 0.00/0.00 c File size is 6607 bytes. 0.00/0.00 c Highest Coefficient sum: 21 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: 99 | 0.00/0.00 c | Number Clauses: 185 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 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 | 95 189 626 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 939 0.00/0.00 o 939 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 95 190 725 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 924 0.00/0.00 o 924 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 2 | 95 191 824 | 5000 2 27 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 756 0.00/0.00 o 756 0.00/0.00 c Elapsed CPU time: 0.001999 s Remaining CPU time: 179.998 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 2 | 95 192 923 | 5000 2 27 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 730 0.00/0.00 o 730 0.00/0.00 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 101 | 95 193 1022 | 5000 101 25 | 0.000 % | 0.00/0.00 c | 202 | 95 193 1022 | 5500 202 25 | 4.051 % | 0.00/0.01 c | 352 | 95 193 1022 | 6050 352 24 | 4.051 % | 0.00/0.02 c | 577 | 95 193 1022 | 6655 577 24 | 4.051 % | 0.00/0.03 c | 916 | 95 193 1022 | 7320 916 24 | 4.051 % | 0.03/0.04 c | 1422 | 95 193 1022 | 8052 1422 24 | 4.051 % | 0.03/0.07 c | 2181 | 95 193 1022 | 8857 2181 24 | 4.082 % | 0.09/0.11 c | 3320 | 95 193 1022 | 9743 3320 24 | 4.081 % | 0.09/0.18 c | 5029 | 95 193 1022 | 10717 5029 24 | 4.051 % | 0.29/0.32 c | 7592 | 95 193 1022 | 11789 7592 23 | 4.051 % | 0.49/0.54 c | 11436 | 95 193 1022 | 12968 11436 23 | 4.051 % | 0.89/0.96 c | 17202 | 95 193 1022 | 14265 10687 23 | 4.051 % | 1.49/1.57 c | 25851 | 95 193 1022 | 15692 12170 24 | 4.051 % | 2.59/2.60 c | 38826 | 95 193 1022 | 17261 9392 26 | 4.051 % | 4.09/4.14 c | 58288 | 95 193 1022 | 18987 11529 24 | 4.051 % | 6.39/6.44 c | 87480 | 95 193 1022 | 20886 12152 24 | 4.081 % | 11.00/11.06 c | 131269 | 95 193 1022 | 22974 14051 25 | 4.051 % | 17.38/17.40 c | 196954 | 95 193 1022 | 25272 19351 24 | 4.051 % | 28.59/28.65 c | 295482 | 95 193 1022 | 27799 17910 25 | 4.051 % | 48.47/48.51 c | 443272 | 95 193 1022 | 30579 18454 29 | 4.051 % | 53.67/53.77 c =============================================================================== 53.67/53.77 c New solution: 721 53.67/53.77 o 721 53.67/53.77 c Elapsed CPU time: 52.422 s Remaining CPU time: 127.578 s 53.67/53.77 c =============================================================================== 53.67/53.77 c | 474908 | 95 194 1121 | 5000 30593 25 | 4.051 % | 53.97/54.09 c | 475008 | 95 194 1121 | 5500 3017 23 | 4.051 % | 53.97/54.09 c | 475159 | 95 194 1121 | 6050 3168 23 | 4.051 % | 54.07/54.10 c | 475387 | 95 194 1121 | 6655 3396 23 | 4.051 % | 54.07/54.12 c | 475725 | 95 194 1121 | 7320 3734 23 | 4.051 % | 54.07/54.14 c | 476231 | 95 194 1121 | 8052 4240 23 | 4.082 % | 54.07/54.17 c | 476991 | 95 194 1121 | 8857 5000 24 | 4.071 % | 54.16/54.23 c | 478131 | 95 194 1121 | 9743 6140 24 | 4.051 % | 54.27/54.31 c | 479839 | 95 194 1121 | 10717 7848 24 | 4.072 % | 54.37/54.46 c | 482404 | 95 194 1121 | 11789 10413 24 | 4.051 % | 54.67/54.72 c | 486248 | 95 194 1121 | 12968 8331 24 | 4.112 % | 55.07/55.13 c | 492015 | 95 194 1121 | 14265 7581 25 | 4.051 % | 55.16/55.23 c =============================================================================== 55.16/55.23 c New solution: 716 55.16/55.23 o 716 55.16/55.23 c Elapsed CPU time: 53.8238 s Remaining CPU time: 126.176 s 55.16/55.23 c =============================================================================== 55.16/55.23 c | 493834 | 95 195 1220 | 5000 9400 25 | 4.051 % | 55.16/55.25 c | 493934 | 95 195 1220 | 5500 4800 24 | 4.051 % | 55.16/55.26 c | 494084 | 95 195 1220 | 6050 4950 24 | 4.071 % | 55.16/55.27 c | 494309 | 95 195 1220 | 6655 5175 24 | 4.051 % | 55.16/55.29 c | 494646 | 95 195 1220 | 7320 5512 24 | 4.051 % | 55.27/55.31 c | 495153 | 95 195 1220 | 8052 6019 24 | 4.051 % | 55.27/55.35 c | 495913 | 95 195 1220 | 8857 6779 24 | 4.051 % | 55.37/55.41 c | 497052 | 95 195 1220 | 9743 7918 24 | 4.051 % | 55.47/55.52 c | 498760 | 95 195 1220 | 10717 9626 24 | 4.051 % | 55.57/55.69 c | 501322 | 95 195 1220 | 11789 6801 25 | 4.051 % | 55.87/55.92 c | 505166 | 95 195 1220 | 12968 10645 24 | 4.051 % | 56.27/56.32 c | 510932 | 95 195 1220 | 14265 9896 23 | 4.051 % | 56.97/57.00 c | 519582 | 95 195 1220 | 15692 11379 23 | 4.051 % | 58.07/58.14 c | 532557 | 95 195 1220 | 17261 8602 24 | 4.051 % | 59.86/59.97 c | 552018 | 95 195 1220 | 18987 10747 22 | 4.071 % | 62.46/62.53 c | 581211 | 95 195 1220 | 20886 11385 24 | 4.051 % | 67.26/67.33 c | 625001 | 95 195 1220 | 22974 13287 24 | 4.051 % | 75.66/75.76 c | 690685 | 95 195 1220 | 25272 19981 24 | 4.051 % | 87.96/88.04 c | 789212 | 95 195 1220 | 27799 18246 23 | 4.051 % | 108.24/108.37 c | 937001 | 95 195 1220 | 30579 17085 24 | 4.051 % | 139.84/139.98 c | 1158684 | 95 195 1220 | 33637 25583 27 | 4.051 % | 184.22/184.36 c There are 4 assigned variables. 4 in cost function. 185.72/185.83 c core #1 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 8 Core Weight: 32 Total Weight: 132 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #2 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 17 Core Weight: 16 Total Weight: 148 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #3 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 17 Core Weight: 12 Total Weight: 160 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #4 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 7 Core Weight: 32 Total Weight: 192 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #5 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 11 Core Weight: 12 Total Weight: 204 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #6 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 7 Core Weight: 32 Total Weight: 236 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #7 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 5 Core Weight: 16 Total Weight: 252 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #8 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 6 Core Weight: 32 Total Weight: 284 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #9 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 5 Core Weight: 16 Total Weight: 300 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #10 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 7 Core Weight: 32 Total Weight: 332 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #11 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 5 Core Weight: 16 Total Weight: 348 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #12 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 6 Core Weight: 32 Total Weight: 380 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #13 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 5 Core Weight: 16 Total Weight: 396 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #14 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 7 Core Weight: 32 Total Weight: 428 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #15 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 5 Core Weight: 16 Total Weight: 444 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #16 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 6 Core Weight: 32 Total Weight: 476 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #17 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 5 Core Weight: 16 Total Weight: 492 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #18 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 7 Core Weight: 32 Total Weight: 524 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #19 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 5 Core Weight: 12 Total Weight: 536 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #20 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 7 Core Weight: 32 Total Weight: 568 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #21 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 5 Core Weight: 12 Total Weight: 580 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #22 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 31 Core Weight: 3 Total Weight: 583 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #23 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 36 Core Weight: 1 Total Weight: 584 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #24 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 36 Core Weight: 3 Total Weight: 587 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #25 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 39 Core Weight: 3 Total Weight: 590 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #26 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 39 Core Weight: 6 Total Weight: 596 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #27 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 16 Core Weight: 3 Total Weight: 599 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #28 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 19 Core Weight: 9 Total Weight: 608 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #29 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 29 Core Weight: 3 Total Weight: 611 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c core #30 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 29 Core Weight: 6 Total Weight: 617 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c ============================[ Search Statistics ]============================== 185.72/185.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.83 c =============================================================================== 185.72/185.83 c | 0 | 337 500 1535 | 5000 0 nan | 0.000 % | 185.72/185.83 c =============================================================================== 185.72/185.83 c core #31 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 18 Core Weight: 3 Total Weight: 620 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c ============================[ Search Statistics ]============================== 185.72/185.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.83 c =============================================================================== 185.72/185.83 c | 0 | 351 509 1559 | 5000 0 nan | 0.000 % | 185.72/185.83 c =============================================================================== 185.72/185.83 c core #32 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 35 Core Weight: 3 Total Weight: 623 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c ============================[ Search Statistics ]============================== 185.72/185.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.83 c =============================================================================== 185.72/185.83 c | 0 | 375 527 1604 | 5000 0 nan | 0.000 % | 185.72/185.83 c =============================================================================== 185.72/185.83 c core #33 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c Core size: 33 Core Weight: 1 Total Weight: 624 185.72/185.83 c 185.72/185.83 c 185.72/185.83 c ============================[ Search Statistics ]============================== 185.72/185.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.83 c =============================================================================== 185.72/185.83 c | 0 | 402 547 1664 | 5000 0 nan | 0.000 % | 185.72/185.83 c =============================================================================== 185.72/185.84 c core #34 185.72/185.84 c 185.72/185.84 c 185.72/185.84 c Core size: 50 Core Weight: 1 Total Weight: 625 185.72/185.84 c 185.72/185.84 c 185.72/185.84 c ============================[ Search Statistics ]============================== 185.72/185.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.84 c =============================================================================== 185.72/185.84 c | 0 | 441 582 1810 | 5000 0 nan | 0.000 % | 185.72/185.84 c =============================================================================== 185.72/185.84 c core #35 185.72/185.84 c 185.72/185.84 c 185.72/185.84 c Core size: 34 Core Weight: 1 Total Weight: 626 185.72/185.84 c 185.72/185.84 c 185.72/185.84 c ============================[ Search Statistics ]============================== 185.72/185.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.84 c =============================================================================== 185.72/185.84 c | 0 | 473 605 1921 | 5000 0 nan | 0.000 % | 185.72/185.84 c =============================================================================== 185.72/185.84 c core #36 185.72/185.84 c 185.72/185.84 c 185.72/185.84 c Core size: 45 Core Weight: 1 Total Weight: 627 185.72/185.84 c 185.72/185.84 c 185.72/185.84 c ============================[ Search Statistics ]============================== 185.72/185.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.84 c =============================================================================== 185.72/185.84 c | 0 | 508 628 2044 | 5000 0 nan | 0.000 % | 185.72/185.84 c =============================================================================== 185.72/185.85 c core #37 185.72/185.85 c 185.72/185.85 c 185.72/185.85 c Core size: 67 Core Weight: 1 Total Weight: 628 185.72/185.85 c 185.72/185.85 c 185.72/185.85 c ============================[ Search Statistics ]============================== 185.72/185.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.85 c =============================================================================== 185.72/185.85 c | 0 | 555 673 2196 | 5000 0 nan | 0.000 % | 185.72/185.85 c =============================================================================== 185.72/185.85 c core #38 185.72/185.85 c 185.72/185.85 c 185.72/185.85 c Core size: 40 Core Weight: 1 Total Weight: 629 185.72/185.85 c 185.72/185.85 c 185.72/185.85 c ============================[ Search Statistics ]============================== 185.72/185.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.85 c =============================================================================== 185.72/185.85 c | 0 | 592 709 2329 | 5000 0 nan | 0.000 % | 185.72/185.85 c =============================================================================== 185.72/185.85 c core #39 185.72/185.85 c 185.72/185.85 c 185.72/185.85 c Core size: 67 Core Weight: 1 Total Weight: 630 185.72/185.85 c 185.72/185.85 c 185.72/185.85 c ============================[ Search Statistics ]============================== 185.72/185.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.85 c =============================================================================== 185.72/185.85 c | 0 | 638 749 2478 | 5000 0 nan | 0.000 % | 185.72/185.85 c =============================================================================== 185.72/185.86 c core #40 185.72/185.86 c 185.72/185.86 c 185.72/185.86 c Core size: 67 Core Weight: 1 Total Weight: 631 185.72/185.86 c 185.72/185.86 c 185.72/185.86 c ============================[ Search Statistics ]============================== 185.72/185.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.86 c =============================================================================== 185.72/185.86 c | 0 | 685 778 2630 | 5000 0 nan | 0.000 % | 185.72/185.86 c =============================================================================== 185.72/185.86 c core #41 185.72/185.86 c 185.72/185.86 c 185.72/185.86 c Core size: 68 Core Weight: 1 Total Weight: 632 185.72/185.86 c 185.72/185.86 c 185.72/185.86 c ============================[ Search Statistics ]============================== 185.72/185.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.86 c =============================================================================== 185.72/185.86 c | 0 | 743 822 2833 | 5000 0 nan | 0.000 % | 185.72/185.86 c =============================================================================== 185.72/185.87 c core #42 185.72/185.87 c 185.72/185.87 c 185.72/185.87 c Core size: 72 Core Weight: 1 Total Weight: 633 185.72/185.87 c 185.72/185.87 c 185.72/185.87 c ============================[ Search Statistics ]============================== 185.72/185.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.87 c =============================================================================== 185.72/185.87 c | 0 | 799 864 2990 | 5000 0 nan | 0.000 % | 185.72/185.87 c =============================================================================== 185.72/185.87 c core #43 185.72/185.87 c 185.72/185.87 c 185.72/185.87 c Core size: 79 Core Weight: 1 Total Weight: 634 185.72/185.87 c 185.72/185.87 c 185.72/185.87 c ============================[ Search Statistics ]============================== 185.72/185.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.87 c =============================================================================== 185.72/185.87 c | 0 | 871 902 3249 | 5000 0 nan | 0.000 % | 185.72/185.87 c =============================================================================== 185.72/185.88 c core #44 185.72/185.88 c 185.72/185.88 c 185.72/185.88 c Core size: 25 Core Weight: 3 Total Weight: 637 185.72/185.88 c 185.72/185.88 c 185.72/185.88 c ============================[ Search Statistics ]============================== 185.72/185.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.88 c =============================================================================== 185.72/185.88 c | 0 | 893 919 3307 | 5000 0 nan | 0.000 % | 185.72/185.88 c =============================================================================== 185.72/185.88 c core #45 185.72/185.88 c 185.72/185.88 c 185.72/185.88 c Core size: 53 Core Weight: 1 Total Weight: 638 185.72/185.88 c 185.72/185.88 c 185.72/185.88 c ============================[ Search Statistics ]============================== 185.72/185.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.88 c =============================================================================== 185.72/185.88 c | 0 | 937 952 3473 | 5000 0 nan | 0.000 % | 185.72/185.89 c =============================================================================== 185.72/185.89 c core #46 185.72/185.89 c 185.72/185.89 c 185.72/185.89 c Core size: 60 Core Weight: 1 Total Weight: 639 185.72/185.89 c 185.72/185.89 c 185.72/185.89 c ============================[ Search Statistics ]============================== 185.72/185.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.89 c =============================================================================== 185.72/185.89 c | 0 | 986 993 3627 | 5000 0 nan | 0.000 % | 185.72/185.89 c =============================================================================== 185.72/185.90 c core #47 185.72/185.90 c 185.72/185.90 c 185.72/185.90 c Core size: 113 Core Weight: 1 Total Weight: 640 185.72/185.90 c 185.72/185.90 c 185.72/185.90 c ============================[ Search Statistics ]============================== 185.72/185.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.72/185.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.72/185.90 c =============================================================================== 185.72/185.90 c | 0 | 1098 1033 4108 | 5000 0 nan | 0.000 % | 185.83/185.90 c =============================================================================== 185.83/185.91 c core #48 185.83/185.91 c 185.83/185.91 c 185.83/185.91 c Core size: 103 Core Weight: 1 Total Weight: 641 185.83/185.91 c 185.83/185.91 c 185.83/185.91 c ============================[ Search Statistics ]============================== 185.83/185.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.91 c =============================================================================== 185.83/185.91 c | 0 | 1192 1084 4406 | 5000 0 nan | 0.000 % | 185.83/185.92 c | 101 | 1183 1084 4406 | 5500 89 8 | 3.594 % | 185.83/185.92 c =============================================================================== 185.83/185.92 c core #49 185.83/185.92 c 185.83/185.92 c 185.83/185.92 c Core size: 154 Core Weight: 1 Total Weight: 642 185.83/185.92 c 185.83/185.92 c 185.83/185.92 c ============================[ Search Statistics ]============================== 185.83/185.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.92 c =============================================================================== 185.83/185.92 c | 0 | 1336 1123 4783 | 5000 0 nan | 0.000 % | 185.83/185.93 c =============================================================================== 185.83/185.94 c core #50 185.83/185.94 c 185.83/185.94 c 185.83/185.94 c Core size: 95 Core Weight: 1 Total Weight: 643 185.83/185.94 c 185.83/185.94 c 185.83/185.94 c ============================[ Search Statistics ]============================== 185.83/185.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.94 c =============================================================================== 185.83/185.94 c | 0 | 1428 1171 5076 | 5000 0 nan | 0.000 % | 185.83/185.94 c =============================================================================== 185.83/185.94 c core #51 185.83/185.94 c 185.83/185.94 c 185.83/185.94 c Core size: 44 Core Weight: 1 Total Weight: 644 185.83/185.94 c 185.83/185.94 c 185.83/185.94 c ============================[ Search Statistics ]============================== 185.83/185.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.94 c =============================================================================== 185.83/185.94 c | 0 | 1466 1207 5196 | 5000 0 nan | 0.000 % | 185.83/185.95 c | 101 | 1461 1207 5196 | 5500 100 12 | 2.475 % | 185.83/185.95 c =============================================================================== 185.83/185.96 c core #52 185.83/185.96 c 185.83/185.96 c 185.83/185.96 c Core size: 53 Core Weight: 1 Total Weight: 645 185.83/185.96 c 185.83/185.96 c 185.83/185.96 c ============================[ Search Statistics ]============================== 185.83/185.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.96 c =============================================================================== 185.83/185.96 c | 0 | 1516 1245 5373 | 5000 0 nan | 0.000 % | 185.83/185.97 c | 102 | 1516 1245 5373 | 5500 102 15 | 1.814 % | 185.83/185.97 c =============================================================================== 185.83/185.98 c core #53 185.83/185.98 c 185.83/185.98 c 185.83/185.98 c Core size: 146 Core Weight: 1 Total Weight: 646 185.83/185.98 c 185.83/185.98 c 185.83/185.98 c ============================[ Search Statistics ]============================== 185.83/185.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.98 c =============================================================================== 185.83/185.98 c | 0 | 1645 1293 5699 | 5000 0 nan | 0.000 % | 185.83/185.99 c =============================================================================== 185.83/185.99 c core #54 185.83/185.99 c 185.83/185.99 c 185.83/185.99 c Core size: 140 Core Weight: 1 Total Weight: 647 185.83/185.99 c 185.83/185.99 c 185.83/185.99 c ============================[ Search Statistics ]============================== 185.83/185.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.99 c =============================================================================== 185.83/185.99 c | 0 | 1775 1335 6037 | 5000 0 nan | 0.000 % | 185.91/186.00 c | 100 | 1774 1335 6037 | 5500 99 13 | 1.665 % | 185.91/186.02 c =============================================================================== 185.91/186.02 c core #55 185.91/186.02 c 185.91/186.02 c 185.91/186.02 c Core size: 165 Core Weight: 1 Total Weight: 648 185.91/186.02 c 185.91/186.02 c 185.91/186.02 c ============================[ Search Statistics ]============================== 185.91/186.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.91/186.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.91/186.02 c =============================================================================== 185.91/186.02 c | 0 | 1930 1383 6407 | 5000 0 nan | 0.000 % | 185.91/186.03 c | 102 | 1930 1383 6407 | 5500 102 26 | 1.380 % | 185.91/186.05 c | 252 | 1930 1383 6407 | 6050 252 18 | 1.380 % | 185.91/186.07 c | 478 | 1772 1383 6407 | 6655 252 17 | 10.220 % | 185.91/186.08 c =============================================================================== 185.91/186.08 c core #56 185.91/186.08 c 185.91/186.08 c 185.91/186.08 c Core size: 367 Core Weight: 1 Total Weight: 649 185.91/186.08 c 185.91/186.08 c 185.91/186.08 c ============================[ Search Statistics ]============================== 185.91/186.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.91/186.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.91/186.08 c =============================================================================== 185.91/186.08 c | 0 | 2269 1441 7203 | 5000 0 nan | 0.000 % | 186.02/186.10 c | 103 | 2269 1441 7203 | 5500 103 19 | 1.090 % | 186.02/186.11 c =============================================================================== 186.02/186.11 c core #57 186.02/186.11 c 186.02/186.11 c 186.02/186.11 c Core size: 62 Core Weight: 1 Total Weight: 650 186.02/186.11 c 186.02/186.11 c 186.02/186.11 c ============================[ Search Statistics ]============================== 186.02/186.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.02/186.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.02/186.11 c =============================================================================== 186.02/186.11 c | 0 | 2328 1475 7450 | 5000 0 nan | 0.000 % | 186.02/186.13 c | 100 | 2328 1475 7450 | 5500 100 27 | 0.810 % | 186.02/186.15 c | 251 | 2328 1475 7450 | 6050 251 18 | 0.810 % | 186.02/186.15 c =============================================================================== 186.02/186.16 c core #58 186.02/186.16 c 186.02/186.16 c 186.02/186.16 c Core size: 89 Core Weight: 1 Total Weight: 651 186.02/186.16 c 186.02/186.16 c 186.02/186.16 c ============================[ Search Statistics ]============================== 186.02/186.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.02/186.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.02/186.16 c =============================================================================== 186.02/186.16 c | 0 | 2409 1510 7669 | 5000 0 nan | 0.000 % | 186.02/186.17 c | 101 | 2409 1510 7669 | 5500 101 27 | 0.783 % | 186.02/186.19 c | 252 | 2406 1510 7669 | 6050 248 19 | 0.906 % | 186.12/186.22 c | 477 | 2406 1510 7669 | 6655 470 16 | 0.906 % | 186.12/186.25 c | 814 | 2406 1510 7669 | 7320 807 15 | 0.906 % | 186.21/186.30 c | 1322 | 2405 1510 7669 | 8052 1298 14 | 0.947 % | 186.21/186.37 c =============================================================================== 186.21/186.39 c core #59 186.21/186.39 c 186.21/186.39 c 186.21/186.39 c Core size: 273 Core Weight: 1 Total Weight: 652 186.21/186.39 c 186.21/186.39 c 186.21/186.39 c ============================[ Search Statistics ]============================== 186.21/186.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.21/186.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.21/186.39 c =============================================================================== 186.21/186.39 c | 0 | 2673 1560 8280 | 5000 0 nan | 0.000 % | 186.32/186.41 c | 103 | 2673 1560 8280 | 5500 103 38 | 0.706 % | 186.32/186.43 c | 253 | 2647 1560 8280 | 6050 176 26 | 1.672 % | 186.32/186.43 c =============================================================================== 186.32/186.43 c core #60 186.32/186.43 c 186.32/186.43 c 186.32/186.43 c Core size: 121 Core Weight: 1 Total Weight: 653 186.32/186.43 c 186.32/186.43 c 186.32/186.43 c ============================[ Search Statistics ]============================== 186.32/186.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.32/186.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.32/186.43 c =============================================================================== 186.32/186.43 c | 0 | 2788 1601 8635 | 5000 0 nan | 0.000 % | 186.32/186.45 c | 101 | 2788 1601 8635 | 5500 101 32 | 0.606 % | 186.32/186.46 c | 251 | 2788 1601 8635 | 6050 251 21 | 0.606 % | 186.32/186.48 c | 478 | 2787 1601 8635 | 6655 477 19 | 0.642 % | 186.42/186.50 c | 815 | 2787 1601 8635 | 7320 814 18 | 0.642 % | 186.42/186.55 c | 1321 | 2787 1601 8635 | 8052 1320 16 | 0.642 % | 186.52/186.64 c | 2080 | 2773 1601 8635 | 8857 1174 14 | 1.141 % | 186.72/186.81 c | 3222 | 2773 1601 8635 | 9743 2316 15 | 1.141 % | 186.92/187.09 c | 4932 | 2744 1601 8635 | 10717 2100 13 | 2.175 % | 187.02/187.19 c =============================================================================== 187.12/187.25 c core #61 187.12/187.25 c 187.12/187.25 c 187.12/187.25 c Core size: 513 Core Weight: 1 Total Weight: 654 187.12/187.25 c 187.12/187.25 c 187.12/187.25 c ============================[ Search Statistics ]============================== 187.12/187.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.12/187.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.12/187.25 c =============================================================================== 187.12/187.25 c | 0 | 3287 1677 9760 | 5000 0 nan | 0.000 % | 187.12/187.27 c | 100 | 3287 1677 9760 | 5500 100 39 | 0.515 % | 187.12/187.29 c | 250 | 3287 1677 9760 | 6050 250 23 | 0.515 % | 187.22/187.33 c | 478 | 3287 1677 9760 | 6655 478 20 | 0.515 % | 187.22/187.38 c | 818 | 3287 1677 9760 | 7320 818 20 | 0.515 % | 187.31/187.46 c | 1325 | 3287 1677 9760 | 8052 1325 21 | 0.515 % | 187.42/187.57 c | 2090 | 3287 1677 9760 | 8857 2090 22 | 0.515 % | 187.72/187.80 c | 3230 | 3287 1677 9760 | 9743 3230 25 | 0.515 % | 187.93/188.07 c | 4940 | 3287 1677 9760 | 10717 4940 24 | 0.515 % | 188.41/188.56 c | 7505 | 3287 1677 9760 | 11789 7505 24 | 0.515 % | 189.42/189.56 c | 11350 | 3286 1677 9760 | 12968 11348 25 | 0.545 % | 191.02/191.12 c | 17116 | 3286 1677 9760 | 14265 10576 25 | 0.545 % | 193.52/193.60 c | 25767 | 3286 1677 9760 | 15692 11990 25 | 0.545 % | 195.62/195.80 c =============================================================================== 196.11/196.28 c core #62 196.11/196.28 c 196.11/196.28 c 196.11/196.28 c Core size: 587 Core Weight: 1 Total Weight: 655 196.11/196.28 c 196.11/196.28 c 196.11/196.28 c ============================[ Search Statistics ]============================== 196.11/196.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.11/196.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.11/196.28 c =============================================================================== 196.11/196.28 c | 0 | 3864 1763 11069 | 5000 0 nan | 0.000 % | 196.21/196.32 c | 102 | 3864 1763 11069 | 5500 102 59 | 0.438 % | 196.21/196.35 c | 252 | 3863 1763 11069 | 6050 251 31 | 0.464 % | 196.32/196.40 c | 478 | 3863 1763 11069 | 6655 477 27 | 0.464 % | 196.32/196.46 c | 815 | 3863 1763 11069 | 7320 814 22 | 0.464 % | 196.41/196.55 c | 1321 | 3863 1763 11069 | 8052 1320 26 | 0.464 % | 196.52/196.66 c | 2082 | 3863 1763 11069 | 8857 2081 22 | 0.464 % | 196.72/196.90 c | 3221 | 3863 1763 11069 | 9743 3220 19 | 0.464 % | 197.12/197.28 c | 4930 | 3863 1763 11069 | 10717 4929 21 | 0.464 % | 197.72/197.88 c | 7492 | 3863 1763 11069 | 11789 7491 25 | 0.464 % | 198.82/198.98 c | 11337 | 3863 1763 11069 | 12968 11336 25 | 0.464 % | 200.52/200.60 c | 17103 | 3863 1763 11069 | 14265 10515 29 | 0.464 % | 203.21/203.37 c | 25755 | 3863 1763 11069 | 15692 11922 40 | 0.464 % | 207.21/207.32 c | 38733 | 3849 1763 11069 | 17261 8828 34 | 0.825 % | 213.81/213.90 c | 58197 | 3849 1763 11069 | 18987 10587 44 | 0.825 % | 228.61/228.74 c | 87390 | 3849 1763 11069 | 20886 10543 44 | 0.825 % | 248.10/248.22 c | 131179 | 3849 1763 11069 | 22974 12043 46 | 0.825 % | 281.78/281.92 c | 196863 | 3849 1763 11069 | 25272 19441 56 | 0.825 % | 337.26/337.40 c | 295390 | 3822 1763 11069 | 27799 14712 54 | 1.520 % | 380.45/380.65 c =============================================================================== 384.86/385.09 c core #63 384.86/385.09 c 384.86/385.09 c 384.86/385.09 c Core size: 725 Core Weight: 1 Total Weight: 656 384.86/385.09 c 384.86/385.09 c 384.86/385.09 c ============================[ Search Statistics ]============================== 384.86/385.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 384.86/385.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 384.86/385.09 c =============================================================================== 384.86/385.09 c | 0 | 4575 1826 12613 | 5000 0 nan | 0.000 % | 384.95/385.19 c | 100 | 4575 1826 12613 | 5500 100 66 | 0.349 % | 385.04/385.23 c | 250 | 4575 1826 12613 | 6050 250 49 | 0.349 % | 385.15/385.30 c | 475 | 4575 1826 12613 | 6655 475 35 | 0.349 % | 385.15/385.36 c | 814 | 4575 1826 12613 | 7320 814 28 | 0.349 % | 385.25/385.46 c | 1320 | 4575 1826 12613 | 8052 1320 27 | 0.349 % | 385.44/385.66 c | 2079 | 4575 1826 12613 | 8857 2079 23 | 0.349 % | 385.74/385.94 c | 3219 | 4574 1826 12613 | 9743 3218 29 | 0.370 % | 386.14/386.38 c | 4927 | 4574 1826 12613 | 10717 4926 31 | 0.370 % | 386.74/386.98 c | 7490 | 4574 1826 12613 | 11789 7489 30 | 0.370 % | 388.04/388.27 c | 11336 | 4574 1826 12613 | 12968 11335 35 | 0.370 % | 389.34/389.56 c | 17103 | 4574 1826 12613 | 14265 10424 37 | 0.370 % | 392.55/392.75 c | 25753 | 4574 1826 12613 | 15692 11545 51 | 0.370 % | 397.14/397.30 c | 38731 | 4574 1826 12613 | 17261 16295 65 | 0.370 % | 404.34/404.54 c | 58192 | 4574 1826 12613 | 18987 18197 37 | 0.370 % | 420.83/421.08 c | 87384 | 4574 1826 12613 | 20886 17350 73 | 0.370 % | 437.53/437.70 c | 131173 | 4574 1826 12613 | 22974 18252 36 | 0.370 % | 463.31/463.56 c | 196858 | 4572 1826 12613 | 25272 12171 83 | 0.414 % | 531.29/531.54 c | 295385 | 4552 1826 12613 | 27799 23080 108 | 0.849 % | 632.45/632.77 c | 443174 | 4551 1826 12613 | 30579 20382 83 | 0.871 % | 773.30/773.68 c | 664859 | 4551 1826 12613 | 33637 26814 93 | 0.871 % | 1002.72/1003.20 c | 997385 | 4550 1826 12613 | 37001 32004 68 | 0.893 % | 1442.94/1443.59 c | 1496175 | 4540 1826 12613 | 40701 37414 73 | 1.111 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680750-1277453283/watcher-2680750-1277453283 -o /tmp/evaluation-result-2680750-1277453283/solver-2680750-1277453283 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680750-1277453283.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.06 1.00 0.78 3/106 20786 /proc/meminfo: memFree=1861932/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=2576 CPUtime=0 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 118984600 2637824 194 1992294400 134512640 135752675 4291454736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 644 194 144 303 0 339 0 [startup+0.0439371 s] /proc/loadavg: 1.06 1.00 0.78 3/106 20786 /proc/meminfo: memFree=1861932/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=2836 CPUtime=0.03 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 341 0 0 0 3 0 0 0 20 0 1 0 118984600 2904064 258 1992294400 134512640 135752675 4291454736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 709 258 145 303 0 404 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2836 [startup+0.100947 s] /proc/loadavg: 1.06 1.00 0.78 3/106 20786 /proc/meminfo: memFree=1861932/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=3096 CPUtime=0.09 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 430 0 0 0 9 0 0 0 20 0 1 0 118984600 3170304 347 1992294400 134512640 135752675 4291454736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 774 347 145 303 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3096 [startup+0.300984 s] /proc/loadavg: 1.06 1.00 0.78 3/106 20786 /proc/meminfo: memFree=1861932/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=4008 CPUtime=0.29 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 657 0 0 0 27 2 0 0 20 0 1 0 118984600 4104192 574 1992294400 134512640 135752675 4291454736 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 1002 574 145 303 0 697 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4008 [startup+0.701058 s] /proc/loadavg: 1.06 1.00 0.78 3/106 20786 /proc/meminfo: memFree=1861932/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=5348 CPUtime=0.69 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 974 0 0 0 66 3 0 0 20 0 1 0 118984600 5476352 891 1992294400 134512640 135752675 4291454736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 1337 891 145 303 0 1032 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5348 [startup+1.50121 s] /proc/loadavg: 1.06 1.00 0.78 2/107 20787 /proc/meminfo: memFree=1857956/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=7688 CPUtime=1.49 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 1567 0 0 0 143 6 0 0 22 0 1 0 118984600 7872512 1484 1992294400 134512640 135752675 4291454736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 1922 1484 145 303 0 1617 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7688 [startup+3.10051 s] /proc/loadavg: 1.06 1.00 0.78 2/107 20787 /proc/meminfo: memFree=1854484/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=12244 CPUtime=3.09 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 2692 0 0 0 298 11 0 0 25 0 1 0 118984600 12537856 2609 1992294400 134512640 135752675 4291454736 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 3061 2609 145 303 0 2756 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12244 [startup+6.3011 s] /proc/loadavg: 1.06 1.00 0.78 2/107 20787 /proc/meminfo: memFree=1845680/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=20320 CPUtime=6.28 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 4708 0 0 0 605 23 0 0 25 0 1 0 118984600 20807680 4625 1992294400 134512640 135752675 4291454736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 5080 4625 145 303 0 4775 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 20320 [startup+12.7003 s] /proc/loadavg: 1.05 1.00 0.79 2/107 20787 /proc/meminfo: memFree=1832660/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=32788 CPUtime=12.68 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 7824 0 0 0 1227 41 0 0 25 0 1 0 118984600 33574912 7741 1992294400 134512640 135752675 4291454736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 8197 7741 145 303 0 7892 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 32788 [startup+25.5017 s] /proc/loadavg: 1.04 1.00 0.79 2/107 20789 /proc/meminfo: memFree=1806868/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=57784 CPUtime=25.48 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 14055 0 0 0 2475 73 0 0 25 0 1 0 118984600 59170816 13972 1992294400 134512640 135752675 4291454736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 14446 13972 145 303 0 14141 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57784 [startup+51.1015 s] /proc/loadavg: 1.10 1.02 0.80 2/107 20789 /proc/meminfo: memFree=1768056/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=97276 CPUtime=51.07 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 23911 0 0 0 4978 129 0 0 25 0 1 0 118984600 99610624 23828 1992294400 134512640 135752675 4291454736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 24319 23828 145 303 0 24014 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 97276 [startup+102.309 s] /proc/loadavg: 1.11 1.03 0.81 2/107 20791 /proc/meminfo: memFree=1681132/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=183040 CPUtime=102.26 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 45352 0 0 0 9973 253 0 0 25 0 1 0 118984600 187432960 45269 1992294400 134512640 135752675 4291454736 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 45760 45269 145 303 0 45455 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 183040 [startup+162.301 s] /proc/loadavg: 1.12 1.04 0.83 2/107 20791 /proc/meminfo: memFree=1596936/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=268216 CPUtime=162.22 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 66629 0 0 0 15841 381 0 0 25 0 1 0 118984600 274653184 66546 1992294400 134512640 135752675 4291454736 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 67054 66546 145 303 0 66749 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 268216 [startup+222.301 s] /proc/loadavg: 1.10 1.04 0.84 2/107 20793 /proc/meminfo: memFree=1561348/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=302172 CPUtime=222.2 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 75212 0 0 0 21750 470 0 0 25 0 1 0 118984600 309424128 75096 1992294400 134512640 135752675 4291454736 18446744073709551615 134611679 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 75543 75096 146 303 0 75238 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 302172 [startup+282.301 s] /proc/loadavg: 1.10 1.05 0.85 2/107 20795 /proc/meminfo: memFree=1535308/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=328540 CPUtime=282.18 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 81781 0 0 0 27701 517 0 0 25 0 1 0 118984600 336424960 81665 1992294400 134512640 135752675 4291454736 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 82135 81665 146 303 0 81830 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 328540 [startup+342.302 s] /proc/loadavg: 1.08 1.05 0.86 2/107 20797 /proc/meminfo: memFree=1507160/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=356180 CPUtime=342.16 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 88700 0 0 0 33654 562 0 0 25 0 1 0 118984600 364728320 88584 1992294400 134512640 135752675 4291454736 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 89045 88584 146 303 0 88740 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 356180 [startup+402.301 s] /proc/loadavg: 1.08 1.06 0.87 2/107 20799 /proc/meminfo: memFree=1485212/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=378360 CPUtime=402.13 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 94261 0 0 0 39606 607 0 0 25 0 1 0 118984600 387440640 94145 1992294400 134512640 135752675 4291454736 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 94590 94145 146 303 0 94285 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 378360 [startup+462.301 s] /proc/loadavg: 1.07 1.06 0.88 3/107 20799 /proc/meminfo: memFree=1455948/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=407596 CPUtime=462.12 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 101512 0 0 0 45559 653 0 0 25 0 1 0 118984600 417378304 101396 1992294400 134512640 135752675 4291454736 18446744073709551615 134604972 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 101899 101396 146 303 0 101594 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 407596 [startup+522.301 s] /proc/loadavg: 1.07 1.06 0.89 2/107 20801 /proc/meminfo: memFree=1424576/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=439124 CPUtime=522.09 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 109401 0 0 0 51520 689 0 0 25 0 1 0 118984600 449662976 109285 1992294400 134512640 135752675 4291454736 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 109781 109285 146 303 0 109476 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 439124 [startup+582.301 s] /proc/loadavg: 1.06 1.06 0.91 2/107 20803 /proc/meminfo: memFree=1393080/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=470560 CPUtime=582.07 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 117215 0 0 0 57483 724 0 0 25 0 1 0 118984600 481853440 117099 1992294400 134512640 135752675 4291454736 18446744073709551615 134611753 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 117640 117099 146 303 0 117335 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 470560 [startup+642.301 s] /proc/loadavg: 1.40 1.14 0.94 2/107 20805 /proc/meminfo: memFree=1356500/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=506508 CPUtime=642.05 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 126226 0 0 0 63440 765 0 0 25 0 1 0 118984600 518664192 126110 1992294400 134512640 135752675 4291454736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 126627 126110 146 303 0 126322 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 506508 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.01 1.07 0.95 2/107 20811 /proc/meminfo: memFree=1238576/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=624272 CPUtime=881.95 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 155616 0 0 0 87277 918 0 0 25 0 1 0 118984600 639254528 155500 1992294400 134512640 135752675 4291454736 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 156068 155500 146 303 0 155763 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 624272 [startup+942.301 s] /proc/loadavg: 1.00 1.06 0.95 2/107 20813 /proc/meminfo: memFree=1213404/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=649708 CPUtime=941.93 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 161958 0 0 0 93243 950 0 0 25 0 1 0 118984600 665300992 161842 1992294400 134512640 135752675 4291454736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 162427 161842 146 303 0 162122 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 649708 [startup+1002.3 s] /proc/loadavg: 1.00 1.04 0.95 2/107 20815 /proc/meminfo: memFree=1185876/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=676932 CPUtime=1001.91 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 168762 0 0 0 99206 985 0 0 25 0 1 0 118984600 693178368 168646 1992294400 134512640 135752675 4291454736 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 169233 168646 146 303 0 168928 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 676932 [startup+1062.3 s] /proc/loadavg: 1.00 1.03 0.95 2/107 20815 /proc/meminfo: memFree=1152396/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=710844 CPUtime=1061.89 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 177243 0 0 0 105165 1024 0 0 25 0 1 0 118984600 727904256 177127 1992294400 134512640 135752675 4291454736 18446744073709551615 134611933 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 177711 177127 146 303 0 177406 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 710844 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 0.95 2/107 20817 /proc/meminfo: memFree=1121892/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=741052 CPUtime=1121.87 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 184739 0 0 0 111132 1055 0 0 25 0 1 0 118984600 758837248 184623 1992294400 134512640 135752675 4291454736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 185263 184623 146 303 0 184958 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 741052 [startup+1182.3 s] /proc/loadavg: 1.00 1.02 0.95 2/107 20819 /proc/meminfo: memFree=1092628/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=770840 CPUtime=1181.84 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 192151 0 0 0 117100 1084 0 0 25 0 1 0 118984600 789340160 192035 1992294400 134512640 135752675 4291454736 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 192710 192035 146 303 0 192405 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 770840 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 0.95 2/107 20821 /proc/meminfo: memFree=1066464/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=796484 CPUtime=1241.81 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 198543 0 0 0 123069 1112 0 0 25 0 1 0 118984600 815599616 198427 1992294400 134512640 135752675 4291454736 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 199121 198427 146 303 0 198816 0 Current children cumulated CPU time (s) 1241.81 Current children cumulated vsize (KiB) 796484 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 0.95 2/107 20823 /proc/meminfo: memFree=1044888/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=817956 CPUtime=1301.8 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 203878 0 0 0 129044 1136 0 0 25 0 1 0 118984600 837586944 203762 1992294400 134512640 135752675 4291454736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 204489 203762 146 303 0 204184 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 817956 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20823 /proc/meminfo: memFree=1019344/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=843728 CPUtime=1361.77 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 210321 0 0 0 135012 1165 0 0 25 0 1 0 118984600 863977472 210205 1992294400 134512640 135752675 4291454736 18446744073709551615 134611702 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 210932 210205 146 303 0 210627 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 843728 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20825 /proc/meminfo: memFree=986360/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=876508 CPUtime=1421.75 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 218499 0 0 0 140974 1201 0 0 25 0 1 0 118984600 897544192 218383 1992294400 134512640 135752675 4291454736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 219127 218383 146 303 0 218822 0 Current children cumulated CPU time (s) 1421.75 Current children cumulated vsize (KiB) 876508 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20827 /proc/meminfo: memFree=953748/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=909360 CPUtime=1481.72 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 226688 0 0 0 146939 1233 0 0 25 0 1 0 118984600 931184640 226572 1992294400 134512640 135752675 4291454736 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 227340 226572 146 303 0 227035 0 Current children cumulated CPU time (s) 1481.72 Current children cumulated vsize (KiB) 909360 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20829 /proc/meminfo: memFree=921012/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=941884 CPUtime=1541.69 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 234791 0 0 0 152903 1266 0 0 25 0 1 0 118984600 964489216 234675 1992294400 134512640 135752675 4291454736 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 235471 234675 146 303 0 235166 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 941884 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20831 /proc/meminfo: memFree=891252/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=971696 CPUtime=1601.67 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 242239 0 0 0 158872 1295 0 0 25 0 1 0 118984600 995016704 242123 1992294400 134512640 135752675 4291454736 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 242924 242123 146 303 0 242619 0 Current children cumulated CPU time (s) 1601.67 Current children cumulated vsize (KiB) 971696 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20831 /proc/meminfo: memFree=863352/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=999628 CPUtime=1661.65 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 249199 0 0 0 164842 1323 0 0 25 0 1 0 118984600 1023619072 249083 1992294400 134512640 135752675 4291454736 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 249907 249083 146 303 0 249602 0 Current children cumulated CPU time (s) 1661.65 Current children cumulated vsize (KiB) 999628 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20833 /proc/meminfo: memFree=835824/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=1027188 CPUtime=1721.63 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 256083 0 0 0 170812 1351 0 0 25 0 1 0 118984600 1051840512 255967 1992294400 134512640 135752675 4291454736 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 256797 255967 146 303 0 256492 0 Current children cumulated CPU time (s) 1721.63 Current children cumulated vsize (KiB) 1027188 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20835 /proc/meminfo: memFree=811024/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=1051708 CPUtime=1781.6 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 262203 0 0 0 176782 1378 0 0 25 0 1 0 118984600 1076948992 262087 1992294400 134512640 135752675 4291454736 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 262927 262087 146 303 0 262622 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (KiB) 1051708 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20835 /proc/meminfo: memFree=802344/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=1060024 CPUtime=1800.01 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4202496 264305 0 0 0 178613 1388 0 0 25 0 1 0 118984600 1085464576 264189 1992294400 134512640 135752675 4291454736 18446744073709551615 134602452 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20786/statm: 265006 264189 146 303 0 264701 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1060024 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.95 2/107 20835 /proc/meminfo: memFree=802344/2059040 swapFree=4140004/4192956 [pid=20786] ppid=20784 vsize=0 CPUtime=1800.1 /proc/20786/stat : 20786 (wbo1.4b) R 20784 20786 20682 0 -1 4203524 264305 0 0 0 178613 1397 0 0 25 0 1 0 118984600 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/20786/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.82 CPU time (s): 1800.12 CPU user time (s): 1786.13 CPU system time (s): 13.9839 CPU usage (%): 99.9612 Max. virtual memory (cumulated for all children) (KiB): 1060024 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.13 system time used= 13.9839 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 264305 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= 7 involuntary context switches= 4105 runsolver used 3.00054 second user time and 8.49671 second system time The end
Begin job on node019 at 2010-06-25 10:08:03 IDJOB=2680750 IDBENCH=2019 IDSOLVER=1190 FILE ID=node019/2680750-1277453283 PBS_JOBID= 11188140 Free space on /tmp= 62276 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-cm42a.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680750-1277453283/watcher-2680750-1277453283 -o /tmp/evaluation-result-2680750-1277453283/solver-2680750-1277453283 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680750-1277453283.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fbb7284250700e8b461b63d83ddce719 RANDOM SEED=1504451790 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1863244 kB Buffers: 12360 kB Cached: 95840 kB SwapCached: 5532 kB Active: 22224 kB Inactive: 99092 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1863244 kB SwapTotal: 4192956 kB SwapFree: 4140004 kB Dirty: 2656 kB Writeback: 0 kB AnonPages: 11816 kB Mapped: 11948 kB Slab: 52620 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182236 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62276 MiB End job on node019 at 2010-06-25 10:38:06