Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1461.98 | 1462.38 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb |
MD5SUM | fad34197fa8b5ebd519d12750a352ad5 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 668 |
Best CPU time to get the best result obtained on this benchmark | 1800.54 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 480 |
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 | 495457 |
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 | 495457 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655940-1276382841.opb. 0.00/0.00 c Instance file HOME/instance-2655940-1276382841.opb 0.00/0.00 c File size is 17233664 bytes. 2.59/2.65 c Highest Coefficient sum: 101 2.59/2.66 c ============================[ Problem Statistics ]============================= 2.59/2.66 c | | 2.59/2.66 c | Parsing time: 2.61 s | 2.59/2.66 c | Number Variables: 10000 | 2.59/2.66 c | Number Clauses: 656900 | 2.59/2.66 c | Number Cardinality: 0 | 2.59/2.66 c | Number PB Constraints: 0 | 6.09/6.14 c ============================[ Search Statistics ]============================== 6.09/6.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.09/6.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.09/6.14 c =============================================================================== 6.09/6.14 c | 0 | 10000 656900 1333400 | 218966 0 nan | 0.000 % | 6.19/6.21 c | 100 | 10000 656900 1333400 | 240863 100 958 | 0.000 % | 6.29/6.34 c | 251 | 10000 656900 1333400 | 264949 251 1339 | 0.000 % | 6.60/6.65 c =============================================================================== 6.60/6.65 c New solution: 6690 6.60/6.65 o 6690 6.60/6.65 c Elapsed CPU time: 6.53201 s Remaining CPU time: 173.468 s 6.60/6.65 c =============================================================================== 6.60/6.65 c | 283 | 10000 656901 1343400 | 218967 283 1242 | 0.000 % | 6.89/6.95 c =============================================================================== 6.89/6.95 c New solution: 6686 6.89/6.95 o 6686 6.89/6.95 c Elapsed CPU time: 6.83196 s Remaining CPU time: 173.168 s 6.89/6.95 c =============================================================================== 6.89/6.95 c | 300 | 10000 656902 1353400 | 218967 300 1192 | 0.000 % | 7.19/7.25 c =============================================================================== 7.19/7.25 c New solution: 6543 7.19/7.25 o 6543 7.19/7.25 c Elapsed CPU time: 7.12492 s Remaining CPU time: 172.875 s 7.19/7.25 c =============================================================================== 7.19/7.25 c | 304 | 10000 656903 1363400 | 218967 304 1187 | 0.000 % | 7.29/7.35 c | 404 | 10000 656903 1363400 | 240864 404 1127 | 0.000 % | 7.48/7.52 c | 554 | 10000 656903 1363400 | 264950 554 974 | 0.000 % | 7.60/7.70 c | 779 | 10000 656903 1363400 | 291445 779 1100 | 0.000 % | 7.99/8.02 c | 1117 | 10000 656903 1363400 | 320590 1117 1207 | 0.000 % | 8.28/8.32 c =============================================================================== 8.28/8.32 c New solution: 6143 8.28/8.32 o 6143 8.28/8.32 c Elapsed CPU time: 8.17876 s Remaining CPU time: 171.821 s 8.28/8.32 c =============================================================================== 8.28/8.32 c | 1117 | 10000 656904 1373400 | 218968 1117 1207 | 0.000 % | 8.59/8.63 c =============================================================================== 8.59/8.63 c New solution: 6085 8.59/8.63 o 6085 8.59/8.63 c Elapsed CPU time: 8.48371 s Remaining CPU time: 171.516 s 8.59/8.63 c =============================================================================== 8.59/8.63 c | 1136 | 10000 656905 1383400 | 218968 1136 1198 | 0.000 % | 8.69/8.73 c | 1238 | 10000 656905 1383400 | 240865 1238 1179 | 0.000 % | 8.79/8.89 c | 1389 | 10000 656905 1383400 | 264951 1389 1130 | 0.000 % | 9.19/9.22 c =============================================================================== 9.19/9.22 c New solution: 6061 9.19/9.22 o 6061 9.19/9.22 c Elapsed CPU time: 9.06962 s Remaining CPU time: 170.93 s 9.19/9.22 c =============================================================================== 9.19/9.22 c | 1439 | 10000 656906 1393400 | 218968 1439 1123 | 0.000 % | 9.29/9.34 c | 1539 | 10000 656906 1393400 | 240865 1539 1086 | 0.000 % | 9.49/9.53 c | 1689 | 10000 656906 1393400 | 264952 1689 1049 | 0.000 % | 9.68/9.76 c | 1915 | 10000 656906 1393400 | 291447 1915 1044 | 0.000 % | 10.19/10.25 c | 2252 | 10000 656906 1393400 | 320592 2252 991 | 0.000 % | 10.89/10.93 c | 2760 | 10000 656906 1393400 | 352651 2760 925 | 0.000 % | 11.69/11.77 c | 3519 | 10000 656906 1393400 | 387916 3519 936 | 0.000 % | 13.20/13.25 c | 4659 | 10000 656906 1393400 | 426707 4659 867 | 0.000 % | 15.49/15.55 c | 6368 | 10000 656906 1393400 | 469378 6368 821 | 0.000 % | 18.59/18.67 c | 8931 | 10000 656906 1393400 | 516316 8931 822 | 0.000 % | 19.89/19.94 c =============================================================================== 19.89/19.94 c New solution: 6048 19.89/19.94 o 6048 19.89/19.94 c Elapsed CPU time: 19.733 s Remaining CPU time: 160.267 s 19.89/19.94 c =============================================================================== 19.89/19.94 c | 9795 | 10000 656907 1403400 | 218969 9795 820 | 0.000 % | 20.28/20.33 c =============================================================================== 20.28/20.33 c New solution: 6039 20.28/20.33 o 6039 20.28/20.33 c Elapsed CPU time: 20.1219 s Remaining CPU time: 159.878 s 20.28/20.33 c =============================================================================== 20.28/20.33 c | 9856 | 10000 656908 1413400 | 218969 9856 819 | 0.000 % | 20.59/20.63 c =============================================================================== 20.59/20.63 c New solution: 5995 20.59/20.63 o 5995 20.59/20.63 c Elapsed CPU time: 20.4169 s Remaining CPU time: 159.583 s 20.59/20.63 c =============================================================================== 20.59/20.63 c | 9857 | 10000 656909 1423400 | 218969 9857 819 | 0.000 % | 20.89/20.93 c =============================================================================== 20.89/20.93 c New solution: 5888 20.89/20.93 o 5888 20.89/20.93 c Elapsed CPU time: 20.7129 s Remaining CPU time: 159.287 s 20.89/20.93 c =============================================================================== 20.89/20.93 c | 9858 | 10000 656910 1433400 | 218970 9858 819 | 0.000 % | 20.98/21.06 c | 9958 | 10000 656910 1433400 | 240867 9958 817 | 0.000 % | 21.29/21.36 c =============================================================================== 21.29/21.36 c New solution: 5787 21.29/21.36 o 5787 21.29/21.36 c Elapsed CPU time: 21.1368 s Remaining CPU time: 158.863 s 21.29/21.36 c =============================================================================== 21.29/21.36 c | 9958 | 10000 656911 1443400 | 218970 9958 817 | 0.000 % | 21.58/21.66 c =============================================================================== 21.58/21.66 c New solution: 5678 21.58/21.66 o 5678 21.58/21.66 c Elapsed CPU time: 21.4317 s Remaining CPU time: 158.568 s 21.58/21.66 c =============================================================================== 21.58/21.66 c | 9959 | 10000 656912 1453400 | 218970 9959 817 | 0.000 % | 21.89/21.96 c =============================================================================== 21.89/21.96 c New solution: 5650 21.89/21.96 o 5650 21.89/21.96 c Elapsed CPU time: 21.7297 s Remaining CPU time: 158.27 s 21.89/21.96 c =============================================================================== 21.89/21.96 c | 9959 | 10000 656913 1463400 | 218971 9959 817 | 0.000 % | 22.29/22.30 c =============================================================================== 22.29/22.30 c New solution: 5648 22.29/22.30 o 5648 22.29/22.30 c Elapsed CPU time: 22.0666 s Remaining CPU time: 157.933 s 22.29/22.30 c =============================================================================== 22.29/22.30 c | 9984 | 10000 656914 1473400 | 218971 9984 818 | 0.000 % | 22.48/22.50 c | 10085 | 10000 656914 1473400 | 240868 10085 815 | 0.000 % | 22.59/22.70 c | 10235 | 10000 656914 1473400 | 264955 10235 810 | 0.000 % | 22.99/23.07 c | 10460 | 10000 656914 1473400 | 291450 10460 803 | 0.000 % | 23.48/23.59 c | 10798 | 10000 656914 1473400 | 320595 10798 821 | 0.000 % | 24.48/24.57 c | 11304 | 10000 656914 1473400 | 352655 11304 819 | 0.000 % | 25.58/25.63 c | 12064 | 10000 656914 1473400 | 387921 12064 813 | 0.000 % | 27.19/27.25 c | 13203 | 10000 656914 1473400 | 426713 13203 802 | 0.000 % | 30.69/30.72 c | 14911 | 10000 656914 1473400 | 469384 14911 788 | 0.000 % | 32.28/32.38 c =============================================================================== 32.28/32.38 c New solution: 5644 32.28/32.38 o 5644 32.28/32.38 c Elapsed CPU time: 32.0591 s Remaining CPU time: 147.941 s 32.28/32.38 c =============================================================================== 32.28/32.38 c | 15600 | 10000 656915 1483400 | 218971 15600 780 | 0.000 % | 32.49/32.58 c | 15700 | 10000 656915 1483400 | 240868 15700 780 | 0.000 % | 32.99/33.07 c =============================================================================== 32.99/33.07 c New solution: 5641 32.99/33.07 o 5641 32.99/33.07 c Elapsed CPU time: 32.743 s Remaining CPU time: 147.257 s 32.99/33.07 c =============================================================================== 32.99/33.07 c | 15787 | 10000 656916 1493400 | 218972 15787 779 | 0.000 % | 33.18/33.27 c | 15888 | 10000 656916 1493400 | 240869 15888 777 | 0.000 % | 33.48/33.59 c | 16039 | 10000 656916 1493400 | 264956 16039 776 | 0.000 % | 33.99/34.04 c | 16266 | 10000 656916 1493400 | 291451 16266 772 | 0.000 % | 34.58/34.63 c | 16603 | 10000 656916 1493400 | 320596 16603 766 | 0.000 % | 35.58/35.65 c | 17111 | 10000 656916 1493400 | 352656 17111 762 | 0.000 % | 37.09/37.13 c | 17871 | 10000 656916 1493400 | 387922 17871 755 | 0.000 % | 39.09/39.16 c | 19011 | 10000 656916 1493400 | 426714 19011 749 | 0.000 % | 42.08/42.19 c | 20720 | 10000 656916 1493400 | 469385 20720 735 | 0.000 % | 47.29/47.31 c | 23283 | 10000 656916 1493400 | 516324 23283 743 | 0.000 % | 54.88/54.95 c | 27127 | 10000 656916 1493400 | 567956 27127 739 | 0.000 % | 65.28/65.38 c | 32893 | 10000 656916 1493400 | 624752 32893 740 | 0.000 % | 83.66/83.79 c | 41542 | 10000 656916 1493400 | 687227 41542 778 | 0.000 % | 107.26/107.35 c | 54517 | 10000 656916 1493400 | 755950 54517 780 | 0.000 % | 156.45/156.51 c | 73979 | 10000 656916 1493400 | 831545 73979 980 | 0.000 % | 163.25/163.39 c =============================================================================== 163.25/163.39 c New solution: 5640 163.25/163.39 o 5640 163.25/163.39 c Elapsed CPU time: 162.451 s Remaining CPU time: 17.5487 s 163.25/163.39 c =============================================================================== 163.25/163.39 c | 76500 | 10000 656917 1503400 | 218972 76500 1021 | 0.000 % | 163.55/163.69 c | 76600 | 10000 656917 1503400 | 240869 76600 1021 | 0.000 % | 163.95/164.02 c | 76750 | 10000 656917 1503400 | 264956 76750 1020 | 0.000 % | 164.55/164.64 c | 76975 | 10000 656917 1503400 | 291452 76975 1019 | 0.000 % | 165.25/165.34 c | 77313 | 10000 656917 1503400 | 320597 77313 1017 | 0.000 % | 166.25/166.34 c | 77819 | 10000 656917 1503400 | 352657 77819 1013 | 0.000 % | 168.44/168.57 c | 78578 | 10000 656917 1503400 | 387922 78578 1008 | 0.000 % | 170.64/170.71 c | 79718 | 10000 656917 1503400 | 426715 79718 1002 | 0.000 % | 174.55/174.66 c | 81428 | 10000 656917 1503400 | 469386 81428 992 | 0.000 % | 180.54/180.63 c | 83991 | 10000 656917 1503400 | 516325 83991 980 | 0.000 % | 180.95/181.02 c There are 0 assigned variables. 0 in cost function. 231.13/231.25 c core #1 231.13/231.25 c core #2 231.13/231.25 c core #3 231.13/231.25 c core #4 231.13/231.25 c core #5 231.13/231.25 c core #6 231.13/231.25 c core #7 231.13/231.25 c core #8 231.13/231.25 c core #9 231.13/231.25 c core #10 231.13/231.25 c core #11 231.13/231.25 c core #12 231.13/231.25 c core #13 231.13/231.25 c core #14 231.13/231.25 c core #15 231.13/231.25 c core #16 231.13/231.25 c core #17 231.13/231.25 c core #18 231.13/231.25 c core #19 231.13/231.25 c core #20 231.13/231.25 c core #21 231.13/231.25 c core #22 231.13/231.25 c core #23 231.13/231.25 c core #24 231.13/231.25 c core #25 231.13/231.25 c core #26 231.13/231.25 c core #27 231.13/231.25 c core #28 231.13/231.25 c core #29 231.13/231.25 c core #30 231.13/231.25 c core #31 231.13/231.25 c core #32 231.13/231.25 c core #33 231.13/231.25 c core #34 231.13/231.25 c core #35 231.13/231.25 c core #36 231.13/231.25 c core #37 231.13/231.25 c core #38 231.13/231.25 c core #39 231.13/231.25 c core #40 231.13/231.25 c core #41 231.13/231.25 c core #42 231.13/231.25 c core #43 231.13/231.25 c core #44 231.13/231.25 c core #45 231.13/231.25 c core #46 231.13/231.25 c core #47 231.13/231.25 c core #48 231.13/231.25 c core #49 231.13/231.25 c core #50 231.13/231.25 c core #51 231.13/231.25 c core #52 231.13/231.25 c core #53 231.13/231.25 c core #54 231.13/231.25 c core #55 231.13/231.25 c core #56 231.13/231.25 c core #57 231.13/231.25 c core #58 231.13/231.25 c core #59 231.13/231.25 c core #60 231.13/231.25 c core #61 231.13/231.25 c core #62 231.13/231.25 c core #63 231.13/231.25 c core #64 231.13/231.25 c core #65 231.13/231.25 c core #66 231.13/231.25 c core #67 231.13/231.25 c core #68 231.13/231.25 c core #69 231.13/231.25 c core #70 231.13/231.25 c core #71 231.13/231.25 c core #72 231.13/231.25 c core #73 231.13/231.25 c core #74 231.13/231.25 c core #75 231.13/231.25 c core #76 231.13/231.25 c core #77 231.13/231.25 c core #78 231.13/231.25 c core #79 231.13/231.25 c core #80 231.13/231.25 c core #81 231.13/231.25 c core #82 231.13/231.25 c core #83 231.13/231.25 c core #84 231.13/231.25 c core #85 231.13/231.25 c core #86 231.13/231.25 c core #87 231.13/231.25 c core #88 231.13/231.25 c core #89 231.13/231.25 c core #90 231.13/231.25 c core #91 231.13/231.25 c core #92 231.13/231.25 c core #93 231.13/231.25 c core #94 231.13/231.25 c core #95 231.13/231.25 c core #96 231.13/231.25 c core #97 231.13/231.25 c core #98 231.13/231.25 c core #99 231.13/231.25 c core #100 231.13/231.25 c core #101 231.13/231.25 c core #102 231.13/231.25 c core #103 231.13/231.25 c core #104 231.13/231.25 c core #105 231.13/231.25 c core #106 231.13/231.25 c core #107 231.13/231.25 c core #108 231.13/231.25 c core #109 231.13/231.25 c core #110 231.13/231.25 c core #111 231.13/231.25 c core #112 231.13/231.25 c core #113 231.13/231.25 c core #114 231.13/231.25 c core #115 231.13/231.25 c core #116 231.13/231.25 c core #117 231.13/231.25 c core #118 231.13/231.25 c core #119 231.13/231.25 c core #120 231.13/231.25 c core #121 231.13/231.25 c core #122 231.13/231.25 c core #123 231.13/231.25 c core #124 231.13/231.25 c core #125 231.13/231.25 c core #126 231.13/231.25 c core #127 231.13/231.25 c core #128 231.13/231.25 c core #129 231.13/231.25 c core #130 231.13/231.25 c ============================[ Search Statistics ]============================== 231.13/231.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.13/231.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.13/231.25 c =============================================================================== 231.13/231.25 c | 0 | 29655 695934 53255 | 231978 0 nan | 0.000 % | 231.13/231.26 c =============================================================================== 231.63/231.70 c core #131 231.63/231.70 c ============================[ Search Statistics ]============================== 231.63/231.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 231.63/231.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 231.63/231.70 c =============================================================================== 231.63/231.70 c | 0 | 30352 696601 54069 | 232200 0 nan | 0.000 % | 231.63/231.74 c =============================================================================== 232.04/232.15 c core #132 232.04/232.15 c ============================[ Search Statistics ]============================== 232.04/232.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.04/232.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.04/232.15 c =============================================================================== 232.04/232.15 c | 0 | 31330 697538 55321 | 232512 0 nan | 0.000 % | 232.04/232.19 c =============================================================================== 232.53/232.62 c core #133 232.53/232.62 c ============================[ Search Statistics ]============================== 232.53/232.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 232.53/232.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 232.53/232.62 c =============================================================================== 232.53/232.62 c | 0 | 32427 698469 56941 | 232823 0 nan | 0.000 % | 232.63/232.75 c =============================================================================== 233.04/233.18 c core #134 233.04/233.18 c ============================[ Search Statistics ]============================== 233.04/233.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.04/233.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.04/233.18 c =============================================================================== 233.04/233.18 c | 0 | 34384 700272 59733 | 233424 0 nan | 0.000 % | 233.43/233.55 c =============================================================================== 233.93/234.01 c core #135 233.93/234.01 c ============================[ Search Statistics ]============================== 233.93/234.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 233.93/234.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 233.93/234.01 c =============================================================================== 233.93/234.01 c | 0 | 38061 703770 64253 | 234590 0 nan | 0.000 % | 234.03/234.12 c | 104 | 38061 703770 64253 | 258049 104 509 | 19.932 % | 234.24/234.34 c =============================================================================== 234.63/234.75 c core #136 234.63/234.75 c ============================[ Search Statistics ]============================== 234.63/234.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 234.63/234.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 234.63/234.75 c =============================================================================== 234.63/234.75 c | 0 | 40425 706003 67286 | 235334 0 nan | 0.000 % | 234.73/234.88 c | 100 | 40425 706003 67286 | 258867 100 818 | 18.951 % | 234.93/235.09 c | 251 | 40424 706003 67286 | 284754 248 1663 | 18.953 % | 235.83/235.98 c =============================================================================== 236.33/236.46 c core #137 236.33/236.46 c ============================[ Search Statistics ]============================== 236.33/236.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 236.33/236.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 236.33/236.46 c =============================================================================== 236.33/236.46 c | 0 | 46687 711799 75719 | 237266 0 nan | 0.000 % | 236.53/236.60 c | 101 | 46687 711799 75719 | 260992 101 705 | 16.734 % | 236.73/236.89 c | 252 | 46687 711799 75719 | 287092 252 863 | 16.734 % | 237.23/237.31 c | 477 | 46687 711799 75719 | 315801 477 839 | 16.734 % | 238.12/238.25 c | 817 | 46687 711799 75719 | 347381 817 1279 | 16.734 % | 239.93/240.07 c | 1324 | 46686 711799 75719 | 382119 1321 1902 | 16.736 % | 242.13/242.24 c | 2086 | 46686 711799 75719 | 420331 2083 2044 | 16.736 % | 245.83/245.98 c =============================================================================== 246.33/246.47 c core #138 246.33/246.47 c ============================[ Search Statistics ]============================== 246.33/246.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 246.33/246.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 246.33/246.47 c =============================================================================== 246.33/246.47 c | 0 | 56918 720681 89791 | 240227 0 nan | 0.000 % | 246.53/246.67 c | 101 | 56918 720681 89791 | 264249 101 1452 | 14.041 % | 247.23/247.34 c | 251 | 56918 720681 89791 | 290674 251 1650 | 14.041 % | 248.43/248.51 c | 478 | 56918 720681 89791 | 319742 478 1954 | 14.041 % | 249.53/249.63 c | 816 | 56918 720681 89791 | 351716 816 1497 | 14.041 % | 251.22/251.39 c | 1322 | 56918 720681 89791 | 386887 1322 1190 | 14.041 % | 254.52/254.68 c | 2081 | 56918 720681 89791 | 425576 2081 1199 | 14.041 % | 258.43/258.51 c | 3221 | 56918 720681 89791 | 468134 3221 1109 | 14.041 % | 264.32/264.44 c | 4929 | 56916 720681 89791 | 514947 4922 1107 | 14.044 % | 274.52/274.66 c | 7492 | 56686 720681 89791 | 566442 4867 994 | 14.391 % | 286.12/286.27 c =============================================================================== 286.72/286.87 c core #139 286.72/286.87 c ============================[ Search Statistics ]============================== 286.72/286.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 286.72/286.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 286.72/286.87 c =============================================================================== 286.72/286.87 c | 0 | 66491 728769 103528 | 242923 0 nan | 0.000 % | 286.92/287.09 c | 101 | 66491 728769 103528 | 267215 101 698 | 12.171 % | 287.52/287.66 c | 254 | 66491 728769 103528 | 293936 254 636 | 12.171 % | 288.22/288.35 c | 482 | 66491 728769 103528 | 323330 482 755 | 12.171 % | 289.41/289.56 c | 822 | 66491 728769 103528 | 355663 822 723 | 12.171 % | 291.51/291.65 c | 1328 | 66491 728769 103528 | 391229 1328 589 | 12.171 % | 294.51/294.64 c | 2088 | 66491 728769 103528 | 430352 2088 1006 | 12.171 % | 298.41/298.53 c | 3228 | 66491 728769 103528 | 473388 3228 934 | 12.171 % | 305.81/305.92 c | 4936 | 66491 728769 103528 | 520727 4936 962 | 12.171 % | 326.20/326.36 c | 7500 | 66491 728769 103528 | 572799 7500 1473 | 12.171 % | 358.50/358.63 c | 11345 | 66491 728769 103528 | 630079 11345 2260 | 12.171 % | 423.08/423.20 c | 17111 | 66491 728769 103528 | 693087 17111 2803 | 12.171 % | 483.66/483.83 c | 25760 | 66491 728769 103528 | 762396 25760 3440 | 12.171 % | 625.02/625.22 c | 38736 | 66491 728769 103528 | 838636 38736 4004 | 12.171 % | 871.35/871.67 c | 58197 | 66491 728769 103528 | 922499 58197 4295 | 12.171 % |
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-2655940-1276382841/watcher-2655940-1276382841 -o /tmp/evaluation-result-2655940-1276382841/solver-2655940-1276382841 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655940-1276382841.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.12 1.10 1.05 2/106 12398 /proc/meminfo: memFree=1791984/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=20280 CPUtime=0 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 464 0 0 0 0 0 0 0 20 0 1 0 13885981 20766720 382 1992294400 134512640 135751879 4291866496 18446744073709551615 135228447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 5070 384 140 303 0 557 0 [startup+0.0971011 s] /proc/loadavg: 1.12 1.10 1.05 2/106 12398 /proc/meminfo: memFree=1791984/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=22224 CPUtime=0.08 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 1075 0 0 0 8 0 0 0 23 0 1 0 13885981 22757376 993 1992294400 134512640 135751879 4291866496 18446744073709551615 135211064 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 5556 993 287 303 0 1043 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 22224 [startup+0.101101 s] /proc/loadavg: 1.12 1.10 1.05 2/106 12398 /proc/meminfo: memFree=1791984/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=22356 CPUtime=0.09 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 1099 0 0 0 9 0 0 0 23 0 1 0 13885981 22892544 1017 1992294400 134512640 135751879 4291866496 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 5589 1017 293 303 0 1076 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 22356 [startup+0.301123 s] /proc/loadavg: 1.12 1.10 1.05 2/106 12398 /proc/meminfo: memFree=1791984/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=24964 CPUtime=0.29 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 2067 0 0 0 29 0 0 0 24 0 1 0 13885981 25563136 1985 1992294400 134512640 135751879 4291866496 18446744073709551615 135220953 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 6241 1985 617 303 0 1728 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24964 [startup+0.701167 s] /proc/loadavg: 1.12 1.10 1.05 2/106 12398 /proc/meminfo: memFree=1791984/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=29768 CPUtime=0.69 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 3892 0 0 0 69 0 0 0 25 0 1 0 13885981 30482432 3810 1992294400 134512640 135751879 4291866496 18446744073709551615 135379892 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 7442 3810 1252 303 0 2929 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29768 [startup+1.50126 s] /proc/loadavg: 1.12 1.10 1.05 2/107 12399 /proc/meminfo: memFree=1778336/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=39228 CPUtime=1.49 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 7472 0 0 0 148 1 0 0 25 0 1 0 13885981 40169472 7390 1992294400 134512640 135751879 4291866496 18446744073709551615 135225251 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 9807 7390 2532 303 0 5294 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 39228 [startup+3.10143 s] /proc/loadavg: 1.12 1.10 1.05 2/107 12399 /proc/meminfo: memFree=1765192/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=70872 CPUtime=3.09 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 22052 0 0 0 301 8 0 0 25 0 1 0 13885981 72572928 16766 1992294400 134512640 135751879 4291866496 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 17718 16767 143 303 0 17413 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 70872 [startup+6.30079 s] /proc/loadavg: 1.11 1.10 1.05 2/107 12399 /proc/meminfo: memFree=1714476/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=81064 CPUtime=6.29 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 24641 0 0 0 618 11 0 0 25 0 1 0 13885981 83009536 19355 1992294400 134512640 135751879 4291866496 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 20266 19355 147 303 0 19961 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 81064 [startup+12.7015 s] /proc/loadavg: 1.10 1.10 1.05 2/107 12399 /proc/meminfo: memFree=1714476/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=81064 CPUtime=12.69 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 24641 0 0 0 1251 18 0 0 25 0 1 0 13885981 83009536 19355 1992294400 134512640 135751879 4291866496 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 20266 19355 147 303 0 19961 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 81064 [startup+25.5009 s] /proc/loadavg: 1.08 1.09 1.05 2/107 12399 /proc/meminfo: memFree=1713484/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=82780 CPUtime=25.48 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 25074 0 0 0 2521 27 0 0 25 0 1 0 13885981 84766720 19788 1992294400 134512640 135751879 4291866496 18446744073709551615 134606351 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 20695 19788 147 303 0 20390 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 82780 [startup+51.1007 s] /proc/loadavg: 1.05 1.08 1.04 2/107 12401 /proc/meminfo: memFree=1677648/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=118908 CPUtime=51.08 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 34099 0 0 0 5066 42 0 0 25 0 1 0 13885981 121761792 28813 1992294400 134512640 135751879 4291866496 18446744073709551615 134606320 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 29727 28813 147 303 0 29422 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 118908 [startup+102.308 s] /proc/loadavg: 1.02 1.07 1.04 2/107 12403 /proc/meminfo: memFree=1587128/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=208604 CPUtime=102.27 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 56526 0 0 0 10166 61 0 0 25 0 1 0 13885981 213610496 51240 1992294400 134512640 135751879 4291866496 18446744073709551615 134606387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 52151 51240 147 303 0 51846 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 208604 [startup+162.301 s] /proc/loadavg: 1.00 1.05 1.03 2/107 12403 /proc/meminfo: memFree=1441428/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=356680 CPUtime=162.25 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 93526 0 0 0 16136 89 0 0 25 0 1 0 13885981 365240320 88240 1992294400 134512640 135751879 4291866496 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 89170 88240 147 303 0 88865 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 356680 [startup+222.301 s] /proc/loadavg: 1.00 1.04 1.03 2/107 12405 /proc/meminfo: memFree=1397780/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=396304 CPUtime=222.23 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 105144 0 0 0 22124 99 0 0 25 0 1 0 13885981 405815296 98304 1992294400 134512640 135751879 4291866496 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 99076 98304 150 303 0 98771 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 396304 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.02 2/107 12407 /proc/meminfo: memFree=1397656/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=396304 CPUtime=282.22 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 105181 0 0 0 28112 110 0 0 25 0 1 0 13885981 405815296 98341 1992294400 134512640 135751879 4291866496 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 99076 98341 151 303 0 98771 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 396304 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.02 2/107 12409 /proc/meminfo: memFree=1397532/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=396304 CPUtime=342.2 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 105189 0 0 0 34099 121 0 0 25 0 1 0 13885981 405815296 98349 1992294400 134512640 135751879 4291866496 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 99076 98349 151 303 0 98771 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 396304 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.01 2/107 12409 /proc/meminfo: memFree=1397408/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=396304 CPUtime=402.18 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 105189 0 0 0 40095 123 0 0 25 0 1 0 13885981 405815296 98349 1992294400 134512640 135751879 4291866496 18446744073709551615 134610747 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 99076 98349 151 303 0 98771 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 396304 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12411 /proc/meminfo: memFree=1283080/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=512120 CPUtime=462.17 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 134135 0 0 0 46076 141 0 0 25 0 1 0 13885981 524410880 127295 1992294400 134512640 135751879 4291866496 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 128030 127295 151 303 0 127725 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 512120 [startup+522.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 12413 /proc/meminfo: memFree=1155112/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=640836 CPUtime=522.15 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 166289 0 0 0 52058 157 0 0 25 0 1 0 13885981 656216064 159449 1992294400 134512640 135751879 4291866496 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 160209 159449 151 303 0 159904 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 640836 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12415 /proc/meminfo: memFree=1039420/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=755332 CPUtime=582.14 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 194925 0 0 0 58043 171 0 0 25 0 1 0 13885981 773459968 188085 1992294400 134512640 135751879 4291866496 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 188833 188085 151 303 0 188528 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 755332 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12417 /proc/meminfo: memFree=942700/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=850572 CPUtime=642.13 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 218719 0 0 0 64029 184 0 0 25 0 1 0 13885981 870985728 211879 1992294400 134512640 135751879 4291866496 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 212643 211879 151 303 0 212338 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 850572 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12417 /proc/meminfo: memFree=841640/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=952796 CPUtime=702.11 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 244274 0 0 0 70012 199 0 0 25 0 1 0 13885981 975663104 237434 1992294400 134512640 135751879 4291866496 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 238199 237434 151 303 0 237894 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 952796 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12419 /proc/meminfo: memFree=756700/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=1036084 CPUtime=762.1 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 265091 0 0 0 76001 209 0 0 25 0 1 0 13885981 1060950016 258251 1992294400 134512640 135751879 4291866496 18446744073709551615 134616503 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 259021 258251 151 303 0 258716 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1036084 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12430 /proc/meminfo: memFree=667420/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=1126136 CPUtime=822.07 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 287595 0 0 0 81983 224 0 0 25 0 1 0 13885981 1153163264 280755 1992294400 134512640 135751879 4291866496 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 281534 280755 151 303 0 281229 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1126136 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12432 /proc/meminfo: memFree=583224/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=1209432 CPUtime=882.05 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 308444 0 0 0 87969 236 0 0 25 0 1 0 13885981 1238458368 301604 1992294400 134512640 135751879 4291866496 18446744073709551615 134606444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 302358 301604 151 303 0 302053 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1209432 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12434 /proc/meminfo: memFree=509568/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=1283544 CPUtime=942.04 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 326942 0 0 0 93958 246 0 0 25 0 1 0 13885981 1314349056 320102 1992294400 134512640 135751879 4291866496 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 320886 320102 151 303 0 320581 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 1283544 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12434 /proc/meminfo: memFree=423016/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=1369240 CPUtime=1002.02 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 348348 0 0 0 99945 257 0 0 25 0 1 0 13885981 1402101760 341508 1992294400 134512640 135751879 4291866496 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 342310 341508 151 303 0 342005 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 1369240 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12436 /proc/meminfo: memFree=339688/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=1452932 CPUtime=1062 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 369292 0 0 0 105932 268 0 0 25 0 1 0 13885981 1487802368 362452 1992294400 134512640 135751879 4291866496 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 363233 362452 151 303 0 362928 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1452932 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12438 /proc/meminfo: memFree=264048/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=1527828 CPUtime=1121.99 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 388008 0 0 0 111922 277 0 0 25 0 1 0 13885981 1564495872 381168 1992294400 134512640 135751879 4291866496 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 381957 381168 151 303 0 381652 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1527828 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12440 /proc/meminfo: memFree=205644/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=1587580 CPUtime=1181.97 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 402965 0 0 0 117913 284 0 0 25 0 1 0 13885981 1625681920 396125 1992294400 134512640 135751879 4291866496 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 396895 396125 151 303 0 396590 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1587580 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12442 /proc/meminfo: memFree=144264/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=1647220 CPUtime=1241.96 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 417850 0 0 0 123904 292 0 0 25 0 1 0 13885981 1686753280 411010 1992294400 134512640 135751879 4291866496 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 411805 411010 151 303 0 411500 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 1647220 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12444 /proc/meminfo: memFree=90944/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=1699912 CPUtime=1301.94 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 431039 0 0 0 129894 300 0 0 25 0 1 0 13885981 1740709888 424199 1992294400 134512640 135751879 4291866496 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 424978 424199 151 303 0 424673 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 1699912 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12444 /proc/meminfo: memFree=32540/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=1759244 CPUtime=1361.92 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 445863 0 0 0 135884 308 0 0 25 0 1 0 13885981 1801465856 439023 1992294400 134512640 135751879 4291866496 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 439811 439023 151 303 0 439506 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1759244 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12446 /proc/meminfo: memFree=10632/2059040 swapFree=4192956/4192956 [pid=12398] ppid=12396 vsize=1807124 CPUtime=1421.91 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 457834 0 0 0 141876 315 0 0 25 0 1 0 13885981 1850494976 450994 1992294400 134512640 135751879 4291866496 18446744073709551615 134642014 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 451781 450994 151 303 0 451476 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 1807124 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1462.2 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12448 /proc/meminfo: memFree=10672/2059040 swapFree=4164952/4192956 [pid=12398] ppid=12396 vsize=1843292 CPUtime=1461.8 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4202496 466877 0 0 0 145860 320 0 0 25 0 1 0 13885981 1887531008 460037 1992294400 134512640 135751879 4291866496 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/12398/statm: 460823 460037 151 303 0 460518 0 Current children cumulated CPU time (s) 1461.8 Current children cumulated vsize (KiB) 1843292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1462.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 12448 /proc/meminfo: memFree=10672/2059040 swapFree=4164952/4192956 [pid=12398] ppid=12396 vsize=0 CPUtime=1461.9 /proc/12398/stat : 12398 (wbo1.4b) R 12396 12398 12283 0 -1 4203524 466877 0 0 0 145860 330 0 0 25 0 1 0 13885981 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/12398/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1461.9 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1462.38 CPU time (s): 1461.98 CPU user time (s): 1458.61 CPU system time (s): 3.37649 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (KiB): 1843292 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1458.61 system time used= 3.37649 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 466877 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= 15 involuntary context switches= 18409 runsolver used 2.44463 second user time and 6.89095 second system time The end
Begin job on node009 at 2010-06-13 00:47:22 IDJOB=2655940 IDBENCH=1974 IDSOLVER=1161 FILE ID=node009/2655940-1276382841 PBS_JOBID= 11173247 Free space on /tmp= 62428 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655940-1276382841/watcher-2655940-1276382841 -o /tmp/evaluation-result-2655940-1276382841/solver-2655940-1276382841 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655940-1276382841.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fad34197fa8b5ebd519d12750a352ad5 RANDOM SEED=3644244 node009.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.199 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.39 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.199 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1792512 kB Buffers: 17972 kB Cached: 121584 kB SwapCached: 0 kB Active: 125020 kB Inactive: 73688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1792512 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 19568 kB Writeback: 0 kB AnonPages: 59144 kB Mapped: 15448 kB Slab: 46072 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181552 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= 62424 MiB End job on node009 at 2010-06-13 01:11:46