Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1720.53 | 1721 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb |
MD5SUM | 35ffbede57b8807d38d913370f4c4486 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 448 |
Best CPU time to get the best result obtained on this benchmark | 1796.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 419 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
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 | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 495618 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 495618 |
Number of bits of the biggest sum of numbers | 19 |
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-2680573-1277451715.opb. 0.00/0.00 c Instance file HOME/instance-2680573-1277451715.opb 0.00/0.00 c File size is 17233679 bytes. 2.99/3.07 c Highest Coefficient sum: 101 2.99/3.08 c ============================[ Problem Statistics ]============================= 2.99/3.08 c | | 2.99/3.08 c | Parsing time: 3.02 s | 2.99/3.08 c | Number Variables: 10000 | 2.99/3.08 c | Number Clauses: 656900 | 2.99/3.08 c | Number Cardinality: 0 | 2.99/3.08 c | Number PB Constraints: 0 | 6.60/6.63 c ============================[ Search Statistics ]============================== 6.60/6.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.60/6.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.60/6.63 c =============================================================================== 6.60/6.63 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.69/6.71 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.79/6.84 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 7.09/7.14 c =============================================================================== 7.09/7.14 c New solution: 6534 7.09/7.14 o 6534 7.09/7.14 c Elapsed CPU time: 7.00693 s Remaining CPU time: 172.993 s 7.09/7.14 c =============================================================================== 7.09/7.14 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 7.39/7.44 c =============================================================================== 7.39/7.44 c New solution: 6495 7.39/7.44 o 6495 7.39/7.44 c Elapsed CPU time: 7.30289 s Remaining CPU time: 172.697 s 7.39/7.44 c =============================================================================== 7.39/7.44 c | 289 | 10000 656902 1353400 | 218967 289 1221 | 0.000 % | 7.49/7.53 c | 390 | 10000 656902 1353400 | 240864 390 1187 | 0.000 % | 7.60/7.65 c | 542 | 10000 656902 1353400 | 264950 542 1226 | 0.000 % | 7.79/7.82 c | 767 | 10000 656902 1353400 | 291445 767 1087 | 0.000 % | 7.99/8.07 c | 1105 | 10000 656902 1353400 | 320590 1105 1127 | 0.000 % | 8.29/8.37 c =============================================================================== 8.29/8.37 c New solution: 6202 8.29/8.37 o 6202 8.29/8.37 c Elapsed CPU time: 8.22175 s Remaining CPU time: 171.778 s 8.29/8.37 c =============================================================================== 8.29/8.37 c | 1112 | 10000 656903 1363400 | 218967 1112 1125 | 0.000 % | 8.59/8.69 c =============================================================================== 8.59/8.69 c New solution: 6193 8.59/8.69 o 6193 8.59/8.69 c Elapsed CPU time: 8.5337 s Remaining CPU time: 171.466 s 8.59/8.69 c =============================================================================== 8.59/8.69 c | 1132 | 10000 656904 1373400 | 218968 1132 1115 | 0.000 % | 8.80/8.81 c | 1232 | 10000 656904 1373400 | 240864 1232 1098 | 0.000 % | 8.89/8.98 c | 1383 | 10000 656904 1373400 | 264951 1383 1062 | 0.000 % | 9.19/9.20 c | 1610 | 10000 656904 1373400 | 291446 1610 1009 | 0.000 % | 9.49/9.55 c | 1947 | 10000 656904 1373400 | 320591 1947 1070 | 0.000 % | 9.99/10.06 c | 2453 | 10000 656904 1373400 | 352650 2453 990 | 0.000 % | 10.79/10.83 c | 3212 | 10000 656904 1373400 | 387915 3212 930 | 0.000 % | 12.29/12.37 c | 4351 | 10000 656904 1373400 | 426706 4351 842 | 0.000 % | 14.19/14.26 c | 6060 | 10000 656904 1373400 | 469377 6060 876 | 0.000 % | 15.59/15.67 c =============================================================================== 15.59/15.67 c New solution: 6191 15.59/15.67 o 6191 15.59/15.67 c Elapsed CPU time: 15.4706 s Remaining CPU time: 164.529 s 15.59/15.67 c =============================================================================== 15.59/15.67 c | 7195 | 10000 656905 1383400 | 218968 7195 843 | 0.000 % | 15.78/15.80 c | 7295 | 10000 656905 1383400 | 240865 7295 841 | 0.000 % | 16.09/16.11 c =============================================================================== 16.09/16.11 c New solution: 6150 16.09/16.11 o 6150 16.09/16.11 c Elapsed CPU time: 15.8996 s Remaining CPU time: 164.1 s 16.09/16.11 c =============================================================================== 16.09/16.11 c | 7295 | 10000 656906 1393400 | 218968 7295 841 | 0.000 % | 16.19/16.26 c | 7395 | 10000 656906 1393400 | 240865 7395 834 | 0.000 % | 16.49/16.56 c =============================================================================== 16.49/16.56 c New solution: 5566 16.49/16.56 o 5566 16.49/16.56 c Elapsed CPU time: 16.3415 s Remaining CPU time: 163.658 s 16.49/16.56 c =============================================================================== 16.49/16.56 c | 7396 | 10000 656907 1403400 | 218969 7396 834 | 0.000 % | 16.69/16.71 c | 7496 | 10000 656907 1403400 | 240865 7496 829 | 0.000 % | 16.89/16.95 c | 7646 | 10000 656907 1403400 | 264952 7646 824 | 0.000 % | 17.18/17.23 c | 7871 | 10000 656907 1403400 | 291447 7871 818 | 0.000 % | 17.69/17.72 c | 8210 | 10000 656907 1403400 | 320592 8210 801 | 0.000 % | 18.48/18.55 c | 8717 | 10000 656907 1403400 | 352651 8717 785 | 0.000 % | 19.70/19.75 c | 9477 | 10000 656907 1403400 | 387916 9477 759 | 0.000 % | 21.18/21.26 c | 10616 | 10000 656907 1403400 | 426708 10616 735 | 0.000 % | 23.58/23.69 c | 12325 | 10000 656907 1403400 | 469379 12325 702 | 0.000 % | 23.98/24.03 c =============================================================================== 23.98/24.03 c New solution: 5564 23.98/24.03 o 5564 23.98/24.03 c Elapsed CPU time: 23.7734 s Remaining CPU time: 156.227 s 23.98/24.03 c =============================================================================== 23.98/24.03 c | 12359 | 10000 656908 1413400 | 218969 12359 702 | 0.000 % | 24.09/24.16 c | 12459 | 10000 656908 1413400 | 240866 12459 703 | 0.000 % | 24.38/24.46 c | 12609 | 10000 656908 1413400 | 264952 12609 702 | 0.000 % | 24.78/24.84 c | 12834 | 10000 656908 1413400 | 291448 12834 699 | 0.000 % | 25.19/25.28 c | 13171 | 10000 656908 1413400 | 320593 13171 695 | 0.000 % | 25.88/25.95 c | 13679 | 10000 656908 1413400 | 352652 13679 694 | 0.000 % | 27.09/27.15 c | 14440 | 10000 656908 1413400 | 387917 14440 688 | 0.000 % | 28.39/28.44 c | 15580 | 10000 656908 1413400 | 426709 15580 680 | 0.000 % | 30.58/30.64 c | 17289 | 10000 656908 1413400 | 469380 17289 668 | 0.000 % | 34.18/34.21 c | 19851 | 10000 656908 1413400 | 516318 19851 653 | 0.000 % | 38.77/38.80 c | 23696 | 10000 656908 1413400 | 567950 23696 645 | 0.000 % | 46.96/47.02 c | 29462 | 10000 656908 1413400 | 624745 29462 660 | 0.000 % | 58.86/58.98 c | 38111 | 10000 656908 1413400 | 687219 38111 653 | 0.000 % | 77.65/77.70 c | 51085 | 10000 656908 1413400 | 755941 51085 637 | 0.000 % | 156.44/156.54 c | 70547 | 10000 656908 1413400 | 831535 70547 1171 | 0.000 % | 180.93/181.03 c There are 0 assigned variables. 0 in cost function. 202.82/202.99 c core #1 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 1 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #2 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 2 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #3 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 3 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #4 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 4 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #5 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 5 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #6 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 6 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #7 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 7 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #8 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 8 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #9 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 9 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #10 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 10 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #11 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 11 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #12 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 12 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #13 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 13 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #14 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 14 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #15 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 15 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #16 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 16 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #17 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 17 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #18 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 18 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #19 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 2 Total Weight: 20 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #20 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 201 Core Weight: 1 Total Weight: 21 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #21 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 22 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #22 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 23 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #23 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 24 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #24 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 25 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #25 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 26 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #26 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 27 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #27 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 28 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #28 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 29 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #29 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 30 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #30 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 31 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #31 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 3 Total Weight: 34 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #32 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 35 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #33 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 36 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #34 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 2 Total Weight: 38 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #35 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 201 Core Weight: 1 Total Weight: 39 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #36 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 40 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #37 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 41 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #38 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 42 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #39 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 43 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #40 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 44 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #41 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 2 Total Weight: 46 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #42 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 401 Core Weight: 1 Total Weight: 47 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #43 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 2 Total Weight: 49 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #44 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 50 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #45 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 51 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #46 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 52 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #47 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 53 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #48 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 54 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #49 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 5 Total Weight: 59 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #50 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 60 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #51 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 61 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #52 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 62 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #53 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 2 Total Weight: 64 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #54 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 65 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #55 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 66 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #56 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 67 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #57 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 68 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #58 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 2 Total Weight: 70 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c core #59 202.82/202.99 c 202.82/202.99 c 202.82/202.99 c Core size: 101 Core Weight: 1 Total Weight: 71 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #60 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 1201 Core Weight: 1 Total Weight: 72 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #61 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 73 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #62 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 74 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #63 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 75 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #64 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 4 Total Weight: 79 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #65 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 80 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #66 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 81 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #67 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 82 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #68 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 83 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #69 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 84 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #70 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 2901 Core Weight: 1 Total Weight: 85 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #71 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 86 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #72 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 87 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #73 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 88 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #74 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 89 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #75 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 90 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #76 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 91 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #77 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 2 Total Weight: 93 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #78 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 94 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #79 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 3 Total Weight: 97 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #80 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 98 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #81 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 99 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #82 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 901 Core Weight: 1 Total Weight: 100 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #83 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 101 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #84 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 102 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #85 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 103 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #86 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 2 Total Weight: 105 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #87 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 106 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #88 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 107 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #89 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 2 Total Weight: 109 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #90 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 301 Core Weight: 2 Total Weight: 111 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #91 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 112 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #92 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 113 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #93 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 114 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #94 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 115 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #95 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 116 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #96 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 117 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #97 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 2501 Core Weight: 1 Total Weight: 118 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #98 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 119 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #99 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 120 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #100 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 2 Total Weight: 122 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #101 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 2 Total Weight: 124 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #102 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 125 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #103 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 126 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #104 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 127 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #105 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 128 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #106 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 129 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #107 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 130 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #108 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 131 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #109 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 1586 Core Weight: 1 Total Weight: 132 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #110 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 497 Core Weight: 1 Total Weight: 133 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #111 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 2011 Core Weight: 1 Total Weight: 134 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #112 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 1724 Core Weight: 1 Total Weight: 135 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #113 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 2 Total Weight: 137 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #114 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 881 Core Weight: 1 Total Weight: 138 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #115 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 495 Core Weight: 1 Total Weight: 139 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #116 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 1635 Core Weight: 1 Total Weight: 140 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c core #117 225.62/225.76 c 225.62/225.76 c 225.62/225.76 c Core size: 101 Core Weight: 1 Total Weight: 141 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c core #118 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c Core size: 1077 Core Weight: 1 Total Weight: 142 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c core #119 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c Core size: 400 Core Weight: 1 Total Weight: 143 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c core #120 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c Core size: 1723 Core Weight: 1 Total Weight: 144 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c core #121 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c Core size: 399 Core Weight: 1 Total Weight: 145 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c core #122 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c Core size: 790 Core Weight: 1 Total Weight: 146 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c core #123 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c Core size: 695 Core Weight: 1 Total Weight: 147 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c core #124 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c Core size: 597 Core Weight: 1 Total Weight: 148 229.02/229.17 c 229.02/229.17 c 229.02/229.17 c ============================[ Search Statistics ]============================== 229.02/229.17 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.02/229.17 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.02/229.17 c =============================================================================== 229.02/229.17 c | 0 | 32941 699330 56998 | 233110 0 nan | 0.000 % | 229.02/229.19 c =============================================================================== 229.52/229.62 c core #125 229.52/229.62 c 229.52/229.62 c 229.52/229.62 c Core size: 897 Core Weight: 1 Total Weight: 149 229.52/229.62 c 229.52/229.62 c 229.52/229.62 c ============================[ Search Statistics ]============================== 229.52/229.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 229.52/229.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 229.52/229.62 c =============================================================================== 229.52/229.62 c | 0 | 33945 700179 58307 | 233393 0 nan | 0.000 % | 229.91/230.02 c =============================================================================== 230.31/230.47 c core #126 230.31/230.47 c 230.31/230.47 c 230.31/230.47 c Core size: 4565 Core Weight: 1 Total Weight: 150 230.31/230.47 c 230.31/230.47 c 230.31/230.47 c ============================[ Search Statistics ]============================== 230.31/230.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.31/230.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.31/230.47 c =============================================================================== 230.31/230.47 c | 0 | 38639 704557 64214 | 234852 0 nan | 0.000 % | 230.42/230.57 c =============================================================================== 230.83/230.99 c core #127 230.83/230.99 c 230.83/230.99 c 230.83/230.99 c Core size: 1452 Core Weight: 1 Total Weight: 151 230.83/230.99 c 230.83/230.99 c 230.83/230.99 c ============================[ Search Statistics ]============================== 230.83/230.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 230.83/230.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 230.83/230.99 c =============================================================================== 230.83/230.99 c | 0 | 40099 705931 66175 | 235310 0 nan | 0.000 % | 231.02/231.14 c | 100 | 40088 705931 66175 | 258841 97 974 | 19.319 % | 231.72/231.80 c =============================================================================== 232.12/232.27 c core #128 232.12/232.27 c 232.12/232.27 c 232.12/232.27 c Core size: 5999 Core Weight: 1 Total Weight: 152 232.12/232.27 c 232.12/232.27 c 232.12/232.27 c ============================[ Search Statistics ]============================== 232.12/232.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.12/232.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.12/232.27 c =============================================================================== 232.12/232.27 c | 0 | 46245 711529 74246 | 237176 0 nan | 0.000 % | 232.31/232.45 c | 100 | 46245 711529 74246 | 260893 100 1131 | 16.921 % | 232.71/232.86 c | 255 | 46245 711529 74246 | 286983 255 1358 | 16.921 % | 233.22/233.30 c =============================================================================== 233.62/233.76 c core #129 233.62/233.76 c 233.62/233.76 c 233.62/233.76 c Core size: 1656 Core Weight: 1 Total Weight: 153 233.62/233.76 c 233.62/233.76 c 233.62/233.76 c ============================[ Search Statistics ]============================== 233.62/233.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.62/233.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.62/233.76 c =============================================================================== 233.62/233.76 c | 0 | 47903 713065 76484 | 237688 0 nan | 0.000 % | 233.81/233.93 c | 101 | 47902 713065 76484 | 261457 100 806 | 16.413 % | 234.12/234.22 c | 251 | 47898 713065 76484 | 287602 242 1028 | 16.420 % | 234.51/234.63 c | 476 | 47894 713065 76484 | 316363 458 1069 | 16.427 % | 236.11/236.23 c =============================================================================== 236.61/236.71 c core #130 236.61/236.71 c 236.61/236.71 c 236.61/236.71 c Core size: 9096 Core Weight: 1 Total Weight: 154 236.61/236.71 c 236.61/236.71 c 236.61/236.71 c ============================[ Search Statistics ]============================== 236.61/236.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.61/236.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.61/236.71 c =============================================================================== 236.61/236.71 c | 0 | 57061 721333 88894 | 240444 0 nan | 0.000 % | 236.81/236.98 c | 100 | 57061 721333 88894 | 264488 100 1207 | 14.041 % | 237.32/237.48 c | 250 | 57061 721333 88894 | 290937 250 810 | 14.041 % | 238.12/238.25 c | 475 | 57061 721333 88894 | 320031 475 825 | 14.041 % | 239.11/239.24 c | 812 | 57061 721333 88894 | 352034 812 893 | 14.041 % | 241.21/241.39 c | 1318 | 57061 721333 88894 | 387238 1318 1067 | 14.041 % | 243.82/243.96 c | 2077 | 57061 721333 88894 | 425961 2077 1267 | 14.041 % | 248.11/248.27 c | 3216 | 57061 721333 88894 | 468557 3216 1391 | 14.041 % | 255.12/255.24 c | 4929 | 57061 721333 88894 | 515413 4929 1522 | 14.041 % | 265.60/265.78 c | 7491 | 57061 721333 88894 | 566955 7491 1610 | 14.041 % | 286.50/286.62 c | 11338 | 57057 721333 88894 | 623650 11306 2380 | 14.047 % | 319.19/319.40 c | 17107 | 57053 721333 88894 | 686015 17056 2863 | 14.054 % | 370.18/370.33 c =============================================================================== 370.88/371.06 c core #131 370.88/371.06 c 370.88/371.06 c 370.88/371.06 c Core size: 11390 Core Weight: 1 Total Weight: 155 370.88/371.06 c 370.88/371.06 c 370.88/371.06 c ============================[ Search Statistics ]============================== 370.88/371.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 370.88/371.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 370.88/371.06 c =============================================================================== 370.88/371.06 c | 0 | 68513 730538 105330 | 243512 0 nan | 0.000 % | 371.08/371.28 c | 100 | 68513 730538 105330 | 267863 100 873 | 11.875 % | 371.59/371.75 c | 251 | 68513 730538 105330 | 294650 251 485 | 11.875 % | 372.38/372.55 c | 479 | 68513 730538 105330 | 324115 479 795 | 11.875 % | 373.57/373.77 c | 818 | 68513 730538 105330 | 356526 818 855 | 11.875 % | 375.99/376.19 c | 1324 | 68513 730538 105330 | 392179 1324 1342 | 11.875 % | 378.68/378.86 c | 2085 | 68513 730538 105330 | 431397 2085 1237 | 11.875 % | 384.57/384.74 c | 3225 | 68513 730538 105330 | 474537 3225 1162 | 11.875 % | 393.98/394.16 c | 4935 | 68513 730538 105330 | 521991 4935 1225 | 11.875 % | 405.78/405.92 c | 7497 | 68513 730538 105330 | 574190 7497 1069 | 11.875 % | 429.77/429.92 c | 11341 | 68513 730538 105330 | 631609 11341 1490 | 11.875 % | 466.06/466.21 c | 17108 | 68512 730538 105330 | 694770 17105 1658 | 11.876 % | 526.14/526.34 c | 25757 | 68512 730538 105330 | 764247 25754 2112 | 11.876 % | 614.82/615.09 c | 38733 | 68512 730538 105330 | 840671 38730 2190 | 11.876 % | 785.48/785.74 c | 58195 | 68512 730538 105330 | 924738 58192 2587 | 11.876 % | 1028.01/1028.32 c | 87387 | 68512 730538 105330 | 1017212 87384 2528 | 11.876 % | 1498.98/1499.50 c | 131176 | 68512 730538 105330 | 1118934 131173 2798 | 11.876 % |
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-2680573-1277451715/watcher-2680573-1277451715 -o /tmp/evaluation-result-2680573-1277451715/solver-2680573-1277451715 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680573-1277451715.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28745 /proc/meminfo: memFree=1189136/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=20768 CPUtime=0.01 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 603 0 0 0 1 0 0 0 21 0 1 0 120775601 21266432 522 1992294400 134512640 135752675 4287307744 18446744073709551615 134609663 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 5192 522 146 303 0 679 0 [startup+0.0417499 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28745 /proc/meminfo: memFree=1189136/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=21436 CPUtime=0.03 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 767 0 0 0 3 0 0 0 21 0 1 0 120775601 21950464 686 1992294400 134512640 135752675 4287307744 18446744073709551615 135225891 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 5359 687 190 303 0 846 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 21436 [startup+0.101754 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28745 /proc/meminfo: memFree=1189136/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=22220 CPUtime=0.09 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 1066 0 0 0 9 0 0 0 21 0 1 0 120775601 22753280 985 1992294400 134512640 135752675 4287307744 18446744073709551615 135096967 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 5555 985 282 303 0 1042 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22220 [startup+0.300774 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28745 /proc/meminfo: memFree=1189136/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=24696 CPUtime=0.29 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 1938 0 0 0 29 0 0 0 21 0 1 0 120775601 25288704 1857 1992294400 134512640 135752675 4287307744 18446744073709551615 135193280 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 6174 1857 563 303 0 1661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24696 [startup+0.700815 s] /proc/loadavg: 0.00 0.00 0.00 3/106 28745 /proc/meminfo: memFree=1189136/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=28708 CPUtime=0.69 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 3448 0 0 0 68 1 0 0 22 0 1 0 120775601 29396992 3367 1992294400 134512640 135752675 4287307744 18446744073709551615 134564806 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 7177 3368 1106 303 0 2664 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 28708 [startup+1.5009 s] /proc/loadavg: 0.00 0.00 0.00 2/107 28746 /proc/meminfo: memFree=1177100/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=36716 CPUtime=1.49 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 6463 0 0 0 147 2 0 0 25 0 1 0 120775601 37597184 6382 1992294400 134512640 135752675 4287307744 18446744073709551615 135194400 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 9179 6382 2183 303 0 4666 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 36716 [startup+3.10106 s] /proc/loadavg: 0.08 0.02 0.01 2/107 28746 /proc/meminfo: memFree=1165940/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=40508 CPUtime=3.09 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 14482 0 0 0 303 6 0 0 25 0 1 0 120775601 41480192 9197 1992294400 134512640 135752675 4287307744 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 10127 9198 140 303 0 9822 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 40508 [startup+6.30139 s] /proc/loadavg: 0.08 0.02 0.01 2/107 28746 /proc/meminfo: memFree=1111504/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=81060 CPUtime=6.29 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 24627 0 0 0 617 12 0 0 25 0 1 0 120775601 83005440 19342 1992294400 134512640 135752675 4287307744 18446744073709551615 135200902 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 20265 19342 141 303 0 19960 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81060 [startup+12.701 s] /proc/loadavg: 0.22 0.05 0.02 2/107 28748 /proc/meminfo: memFree=1111752/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=81060 CPUtime=12.69 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 24637 0 0 0 1250 19 0 0 25 0 1 0 120775601 83005440 19352 1992294400 134512640 135752675 4287307744 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 20265 19352 145 303 0 19960 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81060 [startup+25.5013 s] /proc/loadavg: 0.34 0.08 0.02 2/107 28748 /proc/meminfo: memFree=1111752/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=81060 CPUtime=25.48 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 24637 0 0 0 2521 27 0 0 25 0 1 0 120775601 83005440 19352 1992294400 134512640 135752675 4287307744 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 20265 19352 145 303 0 19960 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 81060 [startup+51.101 s] /proc/loadavg: 0.56 0.15 0.05 2/107 28748 /proc/meminfo: memFree=1065748/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=128360 CPUtime=51.07 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 36450 0 0 0 5067 40 0 0 25 0 1 0 120775601 131440640 31165 1992294400 134512640 135752675 4287307744 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 32090 31165 145 303 0 31785 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 128360 [startup+102.308 s] /proc/loadavg: 0.82 0.29 0.10 2/107 28750 /proc/meminfo: memFree=939392/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=253636 CPUtime=102.25 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 67783 0 0 0 10164 61 0 0 25 0 1 0 120775601 259723264 62498 1992294400 134512640 135752675 4287307744 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 63409 62498 145 303 0 63104 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 253636 [startup+162.301 s] /proc/loadavg: 0.93 0.42 0.15 2/107 28752 /proc/meminfo: memFree=802124/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=393232 CPUtime=162.23 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 102649 0 0 0 16136 87 0 0 25 0 1 0 120775601 402669568 97364 1992294400 134512640 135752675 4287307744 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 98308 97364 145 303 0 98003 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 393232 [startup+222.301 s] /proc/loadavg: 0.97 0.52 0.20 2/107 28752 /proc/meminfo: memFree=719540/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=471784 CPUtime=222.22 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 123990 0 0 0 22123 99 0 0 25 0 1 0 120775601 483106816 117151 1992294400 134512640 135752675 4287307744 18446744073709551615 135211791 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 117946 117151 146 303 0 117641 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 471784 [startup+282.302 s] /proc/loadavg: 0.99 0.61 0.25 2/107 28754 /proc/meminfo: memFree=719416/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=471784 CPUtime=282.2 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 124026 0 0 0 28110 110 0 0 25 0 1 0 120775601 483106816 117187 1992294400 134512640 135752675 4287307744 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 117946 117187 146 303 0 117641 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 471784 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.30 2/107 28756 /proc/meminfo: memFree=719416/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=471784 CPUtime=342.18 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 124026 0 0 0 34102 116 0 0 25 0 1 0 120775601 483106816 117187 1992294400 134512640 135752675 4287307744 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 117946 117187 146 303 0 117641 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 471784 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.34 2/107 28758 /proc/meminfo: memFree=719416/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=471784 CPUtime=402.17 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 124036 0 0 0 40090 127 0 0 25 0 1 0 120775601 483106816 117197 1992294400 134512640 135752675 4287307744 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 117946 117197 146 303 0 117641 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 471784 [startup+462.301 s] /proc/loadavg: 0.99 0.78 0.38 2/107 28760 /proc/meminfo: memFree=719292/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=471784 CPUtime=462.16 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 124036 0 0 0 46082 134 0 0 25 0 1 0 120775601 483106816 117197 1992294400 134512640 135752675 4287307744 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 117946 117197 146 303 0 117641 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 471784 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.41 2/107 28760 /proc/meminfo: memFree=719292/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=471784 CPUtime=522.14 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 124036 0 0 0 52075 139 0 0 25 0 1 0 120775601 483106816 117197 1992294400 134512640 135752675 4287307744 18446744073709551615 134640701 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 117946 117197 146 303 0 117641 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 471784 [startup+582.301 s] /proc/loadavg: 0.99 0.85 0.45 2/107 28762 /proc/meminfo: memFree=719292/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=471784 CPUtime=582.12 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 124036 0 0 0 58066 146 0 0 25 0 1 0 120775601 483106816 117197 1992294400 134512640 135752675 4287307744 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 117946 117197 146 303 0 117641 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 471784 [startup+642.301 s] /proc/loadavg: 0.99 0.87 0.48 2/107 28764 /proc/meminfo: memFree=719292/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=471784 CPUtime=642.12 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 124036 0 0 0 64059 153 0 0 25 0 1 0 120775601 483106816 117197 1992294400 134512640 135752675 4287307744 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 117946 117197 146 303 0 117641 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 471784 [startup+702.301 s] ################ # More data... # ################ [startup+762.309 s] /proc/loadavg: 0.99 0.91 0.54 2/107 28768 /proc/meminfo: memFree=535152/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=656104 CPUtime=762.08 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 170113 0 0 0 76025 183 0 0 25 0 1 0 120775601 671850496 163274 1992294400 134512640 135752675 4287307744 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 164026 163274 146 303 0 163721 0 Current children cumulated CPU time (s) 762.08 Current children cumulated vsize (KiB) 656104 [startup+822.302 s] /proc/loadavg: 0.99 0.92 0.56 2/107 28768 /proc/meminfo: memFree=462364/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=729344 CPUtime=822.07 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 188391 0 0 0 82009 198 0 0 25 0 1 0 120775601 746848256 181552 1992294400 134512640 135752675 4287307744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 182336 181552 146 303 0 182031 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 729344 [startup+882.301 s] /proc/loadavg: 0.99 0.93 0.58 2/107 28770 /proc/meminfo: memFree=402720/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=788332 CPUtime=882.05 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 203157 0 0 0 87992 213 0 0 25 0 1 0 120775601 807251968 196318 1992294400 134512640 135752675 4287307744 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 197083 196318 146 303 0 196778 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 788332 [startup+942.301 s] /proc/loadavg: 0.99 0.94 0.61 2/107 28772 /proc/meminfo: memFree=352748/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=838820 CPUtime=942.03 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 215780 0 0 0 93978 225 0 0 25 0 1 0 120775601 858951680 208941 1992294400 134512640 135752675 4287307744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 209705 208941 146 303 0 209400 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 838820 [startup+1002.3 s] /proc/loadavg: 1.04 0.97 0.64 2/107 28774 /proc/meminfo: memFree=257764/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=933524 CPUtime=1002.01 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 239457 0 0 0 99960 241 0 0 25 0 1 0 120775601 955928576 232618 1992294400 134512640 135752675 4287307744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 233381 232618 146 303 0 233076 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 933524 [startup+1062.3 s] /proc/loadavg: 1.01 0.97 0.65 2/107 28776 /proc/meminfo: memFree=184480/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=1006848 CPUtime=1062 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 257817 0 0 0 105945 255 0 0 25 0 1 0 120775601 1031012352 250978 1992294400 134512640 135752675 4287307744 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 251712 250978 146 303 0 251407 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1006848 [startup+1122.3 s] /proc/loadavg: 1.00 0.97 0.67 2/107 28776 /proc/meminfo: memFree=112064/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=1079340 CPUtime=1121.99 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 275872 0 0 0 111931 268 0 0 25 0 1 0 120775601 1105244160 269033 1992294400 134512640 135752675 4287307744 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 269835 269033 146 303 0 269530 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1079340 [startup+1182.3 s] /proc/loadavg: 1.00 0.97 0.69 2/107 28787 /proc/meminfo: memFree=49568/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=1141832 CPUtime=1181.96 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 291496 0 0 0 117913 283 0 0 25 0 1 0 120775601 1169235968 284657 1992294400 134512640 135752675 4287307744 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 285458 284657 146 303 0 285153 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 1141832 [startup+1242.3 s] /proc/loadavg: 1.00 0.97 0.71 2/107 28789 /proc/meminfo: memFree=9808/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=1198996 CPUtime=1241.94 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 305783 0 0 0 123896 298 0 0 25 0 1 0 120775601 1227771904 298944 1992294400 134512640 135752675 4287307744 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 299749 298944 146 303 0 299444 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 1198996 [startup+1302.3 s] /proc/loadavg: 1.00 0.97 0.72 2/107 28791 /proc/meminfo: memFree=9944/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=1289236 CPUtime=1301.94 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 328352 0 0 0 129880 314 0 0 25 0 1 0 120775601 1320177664 321513 1992294400 134512640 135752675 4287307744 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 322309 321513 146 303 0 322004 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1289236 [startup+1362.3 s] /proc/loadavg: 1.00 0.97 0.74 2/107 28793 /proc/meminfo: memFree=10476/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=1380952 CPUtime=1361.91 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 351280 0 0 0 135862 329 0 0 25 0 1 0 120775601 1414094848 344441 1992294400 134512640 135752675 4287307744 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 345238 344441 146 303 0 344933 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 1380952 [startup+1422.31 s] /proc/loadavg: 1.00 0.97 0.75 2/107 28793 /proc/meminfo: memFree=9192/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=1480572 CPUtime=1421.91 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 376219 0 0 0 141845 346 0 0 25 0 1 0 120775601 1516105728 369380 1992294400 134512640 135752675 4287307744 18446744073709551615 134638055 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 370143 369380 146 303 0 369838 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1480572 [startup+1482.3 s] /proc/loadavg: 1.00 0.97 0.76 2/107 28795 /proc/meminfo: memFree=10116/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=1536156 CPUtime=1481.88 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 390101 0 0 0 147830 358 0 0 25 0 1 0 120775601 1573023744 383262 1992294400 134512640 135752675 4287307744 18446744073709551615 134611804 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 384039 383262 146 303 0 383734 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1536156 [startup+1542.3 s] /proc/loadavg: 1.00 0.97 0.77 2/107 28797 /proc/meminfo: memFree=10016/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=1597648 CPUtime=1541.87 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 405465 0 0 0 153817 370 0 0 25 0 1 0 120775601 1635991552 398626 1992294400 134512640 135752675 4287307744 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 399412 398626 146 303 0 399107 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1597648 [startup+1602.3 s] /proc/loadavg: 1.00 0.97 0.78 2/107 28799 /proc/meminfo: memFree=9868/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=1685596 CPUtime=1601.85 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 427415 0 0 0 159802 383 0 0 25 0 1 0 120775601 1726050304 420576 1992294400 134512640 135752675 4287307744 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 421399 420576 146 303 0 421094 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1685596 [startup+1662.3 s] /proc/loadavg: 1.00 0.97 0.80 2/107 28801 /proc/meminfo: memFree=9348/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=1765176 CPUtime=1661.84 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 447313 0 0 0 165788 396 0 0 25 0 1 0 120775601 1807540224 440474 1992294400 134512640 135752675 4287307744 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 441294 440474 146 303 0 440989 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1765176 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1720.8 s] /proc/loadavg: 1.16 1.00 0.82 2/107 28801 /proc/meminfo: memFree=9340/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=1843332 CPUtime=1720.33 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4202496 466844 0 0 0 171625 408 0 0 25 0 1 0 120775601 1887571968 460005 1992294400 134512640 135752675 4287307744 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28745/statm: 460833 460005 146 303 0 460528 0 Current children cumulated CPU time (s) 1720.33 Current children cumulated vsize (KiB) 1843332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1720.91 s] /proc/loadavg: 1.16 1.00 0.82 2/107 28801 /proc/meminfo: memFree=9340/2059040 swapFree=4135576/4192956 [pid=28745] ppid=28743 vsize=0 CPUtime=1720.43 /proc/28745/stat : 28745 (wbo1.4b) R 28743 28745 28720 0 -1 4203524 466844 0 0 0 171625 418 0 0 25 0 1 0 120775601 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28745/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1720.43 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1721 CPU time (s): 1720.53 CPU user time (s): 1716.25 CPU system time (s): 4.27935 CPU usage (%): 99.9727 Max. virtual memory (cumulated for all children) (KiB): 1843332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1716.25 system time used= 4.27935 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466844 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= 11 involuntary context switches= 6585 runsolver used 2.83257 second user time and 8.16776 second system time The end
Begin job on node002 at 2010-06-25 09:41:56 IDJOB=2680573 IDBENCH=1964 IDSOLVER=1190 FILE ID=node002/2680573-1277451715 PBS_JOBID= 11188155 Free space on /tmp= 62444 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680573-1277451715/watcher-2680573-1277451715 -o /tmp/evaluation-result-2680573-1277451715/solver-2680573-1277451715 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680573-1277451715.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 35ffbede57b8807d38d913370f4c4486 RANDOM SEED=234233814 node002.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.242 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.48 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.242 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.36 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1189664 kB Buffers: 177904 kB Cached: 579220 kB SwapCached: 9884 kB Active: 183360 kB Inactive: 586664 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1189664 kB SwapTotal: 4192956 kB SwapFree: 4135576 kB Dirty: 19716 kB Writeback: 0 kB AnonPages: 11520 kB Mapped: 8252 kB Slab: 77460 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181576 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= 62440 MiB End job on node002 at 2010-06-25 10:10:39