Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1599.87 | 1600.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_12.opb.PB06.opb |
MD5SUM | 008a49e8cb0d34e0becb5a5e15efaa2a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 182 |
Best CPU time to get the best result obtained on this benchmark | 1800.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 177 |
Optimality of the best value was proved | NO |
Number of variables | 465 |
Total number of constraints | 465 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 465 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 20 |
Number of terms in the objective function | 465 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 465 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 465 |
Number of bits of the biggest sum of numbers | 9 |
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-2655984-1276372225.opb. 0.00/0.00 c Instance file HOME/instance-2655984-1276372225.opb 0.00/0.00 c File size is 42423 bytes. 0.00/0.01 c Highest Coefficient sum: 250 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 465 | 0.00/0.01 c | Number Clauses: 0 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 465 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 465 465 4195 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 222 0.00/0.01 o 222 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 465 466 4660 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 221 0.00/0.01 o 221 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 3 | 465 467 5125 | 5000 3 231 | 0.000 % | 0.00/0.02 c | 104 | 465 467 5125 | 5500 104 231 | 0.001 % | 0.00/0.04 c | 255 | 465 467 5125 | 6050 255 230 | 0.000 % | 0.00/0.07 c | 480 | 465 467 5125 | 6655 480 230 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 220 0.00/0.07 o 220 0.00/0.07 c Elapsed CPU time: 0.071989 s Remaining CPU time: 179.928 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 502 | 465 468 5590 | 5000 502 230 | 0.000 % | 0.00/0.08 c | 602 | 465 468 5590 | 5500 602 230 | 0.000 % | 0.10/0.11 c | 754 | 465 468 5590 | 6050 754 229 | 0.001 % | 0.10/0.12 c =============================================================================== 0.10/0.12 c New solution: 219 0.10/0.12 o 219 0.10/0.12 c Elapsed CPU time: 0.117982 s Remaining CPU time: 179.882 s 0.10/0.12 c =============================================================================== 0.10/0.12 c | 851 | 465 469 6055 | 5000 851 229 | 0.001 % | 0.10/0.13 c | 951 | 465 469 6055 | 5500 951 229 | 0.002 % | 0.10/0.14 c =============================================================================== 0.10/0.14 c New solution: 218 0.10/0.14 o 218 0.10/0.14 c Elapsed CPU time: 0.134979 s Remaining CPU time: 179.865 s 0.10/0.14 c =============================================================================== 0.10/0.14 c | 970 | 465 470 6520 | 5000 970 229 | 0.002 % | 0.10/0.15 c | 1070 | 465 470 6520 | 5500 1070 229 | 0.001 % | 0.10/0.15 c =============================================================================== 0.10/0.15 c New solution: 217 0.10/0.15 o 217 0.10/0.15 c Elapsed CPU time: 0.149977 s Remaining CPU time: 179.85 s 0.10/0.15 c =============================================================================== 0.10/0.15 c | 1070 | 465 471 6985 | 5000 1070 229 | 0.001 % | 0.10/0.15 c =============================================================================== 0.10/0.15 c New solution: 216 0.10/0.15 o 216 0.10/0.15 c Elapsed CPU time: 0.151976 s Remaining CPU time: 179.848 s 0.10/0.15 c =============================================================================== 0.10/0.15 c | 1071 | 465 472 7450 | 5000 1071 229 | 0.001 % | 0.10/0.15 c =============================================================================== 0.10/0.15 c New solution: 215 0.10/0.16 o 215 0.10/0.16 c Elapsed CPU time: 0.152976 s Remaining CPU time: 179.847 s 0.10/0.16 c =============================================================================== 0.10/0.16 c | 1071 | 465 473 7915 | 5000 1071 229 | 0.001 % | 0.10/0.16 c =============================================================================== 0.10/0.16 c New solution: 214 0.10/0.16 o 214 0.10/0.16 c Elapsed CPU time: 0.154976 s Remaining CPU time: 179.845 s 0.10/0.16 c =============================================================================== 0.10/0.16 c | 1072 | 465 474 8380 | 5000 1072 229 | 0.001 % | 0.10/0.17 c | 1172 | 465 474 8380 | 5500 1172 229 | 0.001 % | 0.10/0.20 c | 1322 | 465 474 8380 | 6050 1322 229 | 0.001 % | 0.19/0.23 c | 1548 | 465 474 8380 | 6655 1548 228 | 0.001 % | 0.19/0.23 c =============================================================================== 0.19/0.23 c New solution: 213 0.19/0.23 o 213 0.19/0.23 c Elapsed CPU time: 0.229965 s Remaining CPU time: 179.77 s 0.19/0.23 c =============================================================================== 0.19/0.23 c | 1548 | 465 475 8845 | 5000 1548 228 | 0.001 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 212 0.19/0.24 o 212 0.19/0.24 c Elapsed CPU time: 0.234964 s Remaining CPU time: 179.765 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 1571 | 465 476 9310 | 5000 1571 228 | 0.001 % | 0.19/0.25 c | 1671 | 465 476 9310 | 5500 1671 228 | 0.001 % | 0.19/0.28 c | 1822 | 465 476 9310 | 6050 1822 227 | 0.000 % | 0.29/0.31 c | 2048 | 465 476 9310 | 6655 2048 227 | 0.001 % | 0.29/0.36 c | 2386 | 465 476 9310 | 7320 2386 226 | 0.000 % | 0.39/0.44 c | 2892 | 465 476 9310 | 8052 2892 226 | 0.000 % | 0.49/0.57 c | 3651 | 465 476 9310 | 8857 3651 225 | 0.000 % | 0.69/0.79 c | 4791 | 465 476 9310 | 9743 4791 225 | 0.000 % | 1.10/1.13 c | 6499 | 465 476 9310 | 10717 6499 225 | 0.000 % | 1.10/1.14 c =============================================================================== 1.10/1.14 c New solution: 211 1.10/1.14 o 211 1.10/1.14 c Elapsed CPU time: 1.10883 s Remaining CPU time: 178.891 s 1.10/1.14 c =============================================================================== 1.10/1.14 c | 6541 | 465 477 9775 | 5000 6541 225 | 0.000 % | 1.10/1.16 c | 6642 | 465 477 9775 | 5500 3372 224 | 0.000 % | 1.10/1.18 c | 6794 | 465 477 9775 | 6050 3524 224 | 0.001 % | 1.20/1.22 c | 7019 | 465 477 9775 | 6655 3749 224 | 0.001 % | 1.20/1.28 c | 7357 | 465 477 9775 | 7320 4087 224 | 0.001 % | 1.29/1.38 c | 7864 | 465 477 9775 | 8052 4594 223 | 0.001 % | 1.49/1.51 c | 8624 | 465 477 9775 | 8857 5354 224 | 0.001 % | 1.69/1.71 c | 9764 | 465 477 9775 | 9743 6494 223 | 0.000 % | 1.99/2.05 c | 11473 | 465 477 9775 | 10717 8203 223 | 0.000 % | 2.09/2.13 c =============================================================================== 2.09/2.13 c New solution: 210 2.09/2.13 o 210 2.09/2.13 c Elapsed CPU time: 2.07968 s Remaining CPU time: 177.92 s 2.09/2.13 c =============================================================================== 2.09/2.13 c | 11852 | 465 478 10240 | 5000 8582 223 | 0.000 % | 2.09/2.16 c | 11952 | 465 478 10240 | 5500 4391 222 | 0.000 % | 2.09/2.19 c | 12103 | 465 478 10240 | 6050 4542 222 | 0.001 % | 2.19/2.22 c | 12330 | 465 478 10240 | 6655 4769 222 | 0.000 % | 2.19/2.28 c | 12668 | 465 478 10240 | 7320 5107 222 | 0.001 % | 2.30/2.37 c | 13175 | 465 478 10240 | 8052 5614 222 | 0.001 % | 2.39/2.49 c | 13934 | 465 478 10240 | 8857 6373 222 | 0.001 % | 2.68/2.72 c | 15074 | 465 478 10240 | 9743 7513 222 | 0.000 % | 3.09/3.10 c | 16782 | 465 478 10240 | 10717 9221 222 | 0.000 % | 3.59/3.69 c | 19344 | 465 478 10240 | 11789 6218 221 | 0.000 % | 4.39/4.41 c | 23190 | 465 478 10240 | 12968 10064 221 | 0.001 % | 5.69/5.73 c | 28956 | 465 478 10240 | 14265 9138 224 | 0.000 % | 8.39/8.42 c | 37605 | 465 478 10240 | 15692 10448 223 | 0.000 % | 12.09/12.20 c | 50580 | 465 478 10240 | 17261 15370 222 | 0.000 % | 12.19/12.29 c =============================================================================== 12.19/12.29 c New solution: 209 12.19/12.29 o 209 12.19/12.29 c Elapsed CPU time: 12.0962 s Remaining CPU time: 167.904 s 12.19/12.29 c =============================================================================== 12.19/12.29 c | 50883 | 465 479 10705 | 5000 15673 222 | 0.000 % | 12.39/12.47 c | 50984 | 465 479 10705 | 5500 4020 220 | 0.000 % | 12.39/12.49 c | 51134 | 465 479 10705 | 6050 4170 220 | 0.001 % | 12.48/12.53 c | 51359 | 465 479 10705 | 6655 4395 220 | 0.001 % | 12.48/12.54 c =============================================================================== 12.48/12.54 c New solution: 208 12.48/12.54 o 208 12.48/12.54 c Elapsed CPU time: 12.3381 s Remaining CPU time: 167.662 s 12.48/12.54 c =============================================================================== 12.48/12.54 c | 51383 | 465 480 11170 | 5000 4419 220 | 0.001 % | 12.48/12.56 c | 51483 | 465 480 11170 | 5500 4519 220 | 0.000 % | 12.48/12.59 c | 51634 | 465 480 11170 | 6050 4670 220 | 0.001 % | 12.59/12.62 c | 51860 | 465 480 11170 | 6655 4896 220 | 0.001 % | 12.59/12.69 c | 52198 | 465 480 11170 | 7320 5234 220 | 0.000 % | 12.69/12.79 c | 52704 | 465 480 11170 | 8052 5740 219 | 0.000 % | 12.89/12.96 c | 53463 | 465 480 11170 | 8857 6499 220 | 0.000 % | 13.19/13.21 c | 54602 | 465 480 11170 | 9743 7638 220 | 0.000 % | 13.49/13.59 c | 56311 | 465 480 11170 | 10717 9347 221 | 0.000 % | 14.08/14.18 c | 58873 | 465 480 11170 | 11789 6346 222 | 0.000 % | 14.88/14.95 c | 62717 | 465 480 11170 | 12968 10190 220 | 0.000 % | 16.29/16.35 c | 68483 | 465 480 11170 | 14265 9276 218 | 0.000 % | 18.48/18.53 c | 77132 | 465 480 11170 | 15692 10591 219 | 0.000 % | 23.19/23.25 c | 90108 | 465 480 11170 | 17261 15516 224 | 0.000 % | 29.29/29.37 c | 109569 | 465 480 11170 | 18987 17303 221 | 0.000 % | 38.78/38.89 c | 138762 | 465 480 11170 | 20886 17419 223 | 0.000 % | 53.08/53.11 c | 182551 | 465 480 11170 | 22974 18597 216 | 0.000 % | 80.67/80.73 c | 248235 | 465 480 11170 | 25272 23342 226 | 0.000 % | 113.56/113.61 c | 346762 | 465 480 11170 | 27799 18989 220 | 0.000 % | 178.05/178.11 c | 494551 | 465 480 11170 | 30579 13416 223 | 0.000 % | 181.84/181.94 c There are 0 assigned variables. 0 in cost function. 183.04/183.11 c core #1 183.04/183.11 c core #2 183.04/183.11 c core #3 183.04/183.11 c core #4 183.04/183.11 c core #5 183.04/183.11 c core #6 183.04/183.11 c core #7 183.04/183.11 c core #8 183.04/183.11 c core #9 183.04/183.11 c core #10 183.04/183.11 c core #11 183.04/183.11 c core #12 183.04/183.11 c core #13 183.04/183.11 c core #14 183.04/183.11 c core #15 183.04/183.11 c core #16 183.04/183.11 c core #17 183.04/183.11 c core #18 183.04/183.11 c core #19 183.04/183.11 c core #20 183.04/183.11 c core #21 183.04/183.11 c core #22 183.04/183.11 c core #23 183.04/183.11 c core #24 183.04/183.11 c core #25 183.04/183.11 c core #26 183.04/183.11 c core #27 183.04/183.11 c core #28 183.04/183.11 c core #29 183.04/183.11 c core #30 183.04/183.11 c core #31 183.04/183.11 c core #32 183.04/183.11 c core #33 183.04/183.11 c core #34 183.04/183.11 c core #35 183.04/183.11 c core #36 183.04/183.11 c core #37 183.04/183.11 c core #38 183.04/183.11 c core #39 183.04/183.11 c core #40 183.04/183.11 c core #41 183.04/183.11 c core #42 183.04/183.11 c core #43 183.04/183.11 c core #44 183.04/183.11 c core #45 183.04/183.11 c core #46 183.04/183.11 c core #47 183.04/183.11 c core #48 183.04/183.11 c core #49 183.04/183.11 c core #50 183.04/183.11 c core #51 183.04/183.11 c core #52 183.04/183.11 c core #53 183.04/183.11 c core #54 183.04/183.11 c core #55 183.04/183.11 c core #56 183.04/183.11 c core #57 183.04/183.11 c core #58 183.04/183.11 c core #59 183.04/183.11 c core #60 183.04/183.11 c core #61 183.04/183.11 c core #62 183.04/183.11 c core #63 183.04/183.11 c core #64 183.04/183.11 c core #65 183.04/183.11 c core #66 183.04/183.11 c core #67 183.04/183.11 c core #68 183.04/183.11 c core #69 183.04/183.11 c core #70 183.04/183.11 c core #71 183.04/183.11 c core #72 183.04/183.11 c core #73 183.04/183.11 c core #74 183.04/183.11 c core #75 183.04/183.11 c core #76 183.04/183.11 c core #77 183.04/183.11 c core #78 183.04/183.11 c core #79 183.04/183.11 c core #80 183.04/183.11 c core #81 183.04/183.11 c core #82 183.04/183.11 c core #83 183.04/183.11 c core #84 183.04/183.11 c core #85 183.04/183.11 c core #86 183.04/183.11 c ============================[ Search Statistics ]============================== 183.04/183.11 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.11 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.11 c =============================================================================== 183.04/183.11 c | 0 | 967 1032 13138 | 5000 0 nan | 0.000 % | 183.04/183.11 c =============================================================================== 183.04/183.13 c core #87 183.04/183.13 c ============================[ Search Statistics ]============================== 183.04/183.13 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.13 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.13 c =============================================================================== 183.04/183.13 c | 0 | 979 1033 13162 | 5000 0 nan | 0.000 % | 183.04/183.13 c =============================================================================== 183.04/183.14 c core #88 183.04/183.14 c ============================[ Search Statistics ]============================== 183.04/183.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.14 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.14 c =============================================================================== 183.04/183.14 c | 0 | 992 1034 13188 | 5000 0 nan | 0.000 % | 183.04/183.15 c =============================================================================== 183.04/183.16 c core #89 183.04/183.16 c ============================[ Search Statistics ]============================== 183.04/183.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.16 c =============================================================================== 183.04/183.16 c | 0 | 1005 1035 13212 | 5000 0 nan | 0.000 % | 183.04/183.17 c =============================================================================== 183.04/183.18 c core #90 183.04/183.18 c ============================[ Search Statistics ]============================== 183.04/183.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.18 c =============================================================================== 183.04/183.18 c | 0 | 1041 1036 13284 | 5000 0 nan | 0.000 % | 183.04/183.19 c =============================================================================== 183.14/183.20 c core #91 183.14/183.20 c ============================[ Search Statistics ]============================== 183.14/183.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.20 c =============================================================================== 183.14/183.20 c | 0 | 1061 1037 13322 | 5000 0 nan | 0.000 % | 183.14/183.22 c =============================================================================== 183.14/183.23 c core #92 183.14/183.23 c ============================[ Search Statistics ]============================== 183.14/183.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.23 c =============================================================================== 183.14/183.23 c | 0 | 1101 1038 13402 | 5000 0 nan | 0.000 % | 183.14/183.23 c =============================================================================== 183.14/183.25 c core #93 183.14/183.25 c ============================[ Search Statistics ]============================== 183.14/183.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.25 c =============================================================================== 183.14/183.25 c | 0 | 1126 1039 13452 | 5000 0 nan | 0.000 % | 183.14/183.25 c =============================================================================== 183.14/183.27 c core #94 183.14/183.27 c ============================[ Search Statistics ]============================== 183.14/183.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.27 c =============================================================================== 183.14/183.27 c | 0 | 1153 1040 13504 | 5000 0 nan | 0.000 % | 183.14/183.27 c =============================================================================== 183.14/183.28 c core #95 183.14/183.28 c ============================[ Search Statistics ]============================== 183.14/183.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.14/183.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.14/183.28 c =============================================================================== 183.14/183.28 c | 0 | 1175 1041 13547 | 5000 0 nan | 0.000 % | 183.14/183.30 c =============================================================================== 183.24/183.31 c core #96 183.24/183.31 c ============================[ Search Statistics ]============================== 183.24/183.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.31 c =============================================================================== 183.24/183.31 c | 0 | 1219 1042 13630 | 5000 0 nan | 0.000 % | 183.24/183.31 c =============================================================================== 183.24/183.33 c core #97 183.24/183.33 c ============================[ Search Statistics ]============================== 183.24/183.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.33 c =============================================================================== 183.24/183.33 c | 0 | 1236 1043 13663 | 5000 0 nan | 0.000 % | 183.24/183.34 c =============================================================================== 183.24/183.35 c core #98 183.24/183.35 c ============================[ Search Statistics ]============================== 183.24/183.35 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.35 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.35 c =============================================================================== 183.24/183.35 c | 0 | 1274 1044 13737 | 5000 0 nan | 0.000 % | 183.24/183.36 c =============================================================================== 183.24/183.37 c core #99 183.24/183.37 c ============================[ Search Statistics ]============================== 183.24/183.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.37 c =============================================================================== 183.24/183.37 c | 0 | 1311 1045 13808 | 5000 0 nan | 0.000 % | 183.24/183.38 c =============================================================================== 183.24/183.39 c core #100 183.24/183.39 c ============================[ Search Statistics ]============================== 183.24/183.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.24/183.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.24/183.39 c =============================================================================== 183.24/183.39 c | 0 | 1337 1046 13860 | 5000 0 nan | 0.000 % | 183.35/183.40 c =============================================================================== 183.35/183.42 c core #101 183.35/183.42 c ============================[ Search Statistics ]============================== 183.35/183.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.35/183.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.35/183.42 c =============================================================================== 183.35/183.42 c | 0 | 1389 1047 13963 | 5000 0 nan | 0.000 % | 183.35/183.43 c | 101 | 1389 1047 13963 | 5500 101 11 | 1.068 % | 183.35/183.44 c | 251 | 1389 1047 13963 | 6050 251 10 | 1.140 % | 183.35/183.45 c =============================================================================== 183.35/183.46 c core #102 183.35/183.46 c ============================[ Search Statistics ]============================== 183.35/183.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.35/183.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.35/183.46 c =============================================================================== 183.35/183.46 c | 0 | 1444 1048 14073 | 5000 0 nan | 0.000 % | 183.35/183.47 c =============================================================================== 183.35/183.49 c core #103 183.35/183.49 c ============================[ Search Statistics ]============================== 183.35/183.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.35/183.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.35/183.49 c =============================================================================== 183.35/183.49 c | 0 | 1483 1049 14150 | 5000 0 nan | 0.000 % | 183.45/183.50 c | 100 | 1483 1049 14150 | 5500 100 28 | 0.935 % | 183.45/183.52 c | 252 | 1481 1049 14150 | 6050 252 25 | 1.136 % | 183.45/183.54 c | 477 | 1478 1049 14150 | 6655 473 23 | 1.269 % | 183.45/183.55 c =============================================================================== 183.45/183.57 c core #104 183.45/183.57 c ============================[ Search Statistics ]============================== 183.45/183.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.45/183.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.45/183.57 c =============================================================================== 183.45/183.57 c | 0 | 1566 1050 14313 | 5000 0 nan | 0.000 % | 183.45/183.59 c | 100 | 1566 1050 14313 | 5500 100 21 | 0.698 % | 183.54/183.60 c | 252 | 1566 1050 14313 | 6050 252 17 | 0.698 % | 183.54/183.62 c | 479 | 1566 1050 14313 | 6655 479 15 | 0.698 % | 183.54/183.64 c | 818 | 1565 1050 14313 | 7320 651 15 | 0.761 % | 183.54/183.66 c =============================================================================== 183.54/183.68 c core #105 183.54/183.68 c ============================[ Search Statistics ]============================== 183.54/183.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.68 c =============================================================================== 183.54/183.68 c | 0 | 1653 1051 14486 | 5000 0 nan | 0.000 % | 183.65/183.70 c | 101 | 1653 1051 14486 | 5500 101 34 | 0.601 % | 183.65/183.72 c | 251 | 1653 1051 14486 | 6050 251 24 | 0.601 % | 183.65/183.74 c | 476 | 1653 1051 14486 | 6655 476 20 | 0.601 % | 183.65/183.77 c | 813 | 1648 1051 14486 | 7320 810 19 | 0.902 % | 183.65/183.78 c =============================================================================== 183.65/183.80 c core #106 183.65/183.80 c ============================[ Search Statistics ]============================== 183.65/183.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.65/183.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.65/183.80 c =============================================================================== 183.65/183.80 c | 0 | 1705 1052 14590 | 5000 0 nan | 0.000 % | 183.75/183.82 c | 100 | 1705 1052 14590 | 5500 100 40 | 0.583 % | 183.75/183.83 c | 253 | 1704 1052 14590 | 6050 253 36 | 0.816 % | 183.75/183.85 c | 479 | 1701 1052 14590 | 6655 478 34 | 0.816 % | 183.75/183.89 c | 818 | 1701 1052 14590 | 7320 817 32 | 0.816 % | 183.85/183.94 c | 1325 | 1701 1052 14590 | 8052 1324 33 | 0.816 % | 183.95/184.04 c | 2084 | 1701 1052 14590 | 8857 2083 32 | 0.816 % | 184.04/184.19 c | 3224 | 1701 1052 14590 | 9743 3223 31 | 0.816 % | 184.34/184.45 c | 4932 | 1691 1052 14590 | 10717 4930 31 | 1.516 % | 184.34/184.45 c =============================================================================== 184.34/184.47 c core #107 184.34/184.47 c ============================[ Search Statistics ]============================== 184.34/184.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.34/184.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.34/184.47 c =============================================================================== 184.34/184.47 c | 0 | 1713 1053 14606 | 5000 0 nan | 0.000 % | 184.45/184.50 c | 101 | 1713 1053 14606 | 5500 101 21 | 0.580 % | 184.45/184.51 c | 251 | 1708 1053 14606 | 6050 251 19 | 1.045 % | 184.45/184.53 c | 478 | 1705 1053 14606 | 6655 477 22 | 1.045 % | 184.45/184.56 c | 816 | 1705 1053 14606 | 7320 815 22 | 1.045 % | 184.54/184.60 c | 1322 | 1705 1053 14606 | 8052 1321 22 | 1.045 % | 184.54/184.69 c | 2082 | 1705 1053 14606 | 8857 2081 26 | 1.045 % | 184.75/184.83 c | 3223 | 1705 1053 14606 | 9743 3222 28 | 1.045 % | 184.94/185.09 c | 4932 | 1705 1053 14606 | 10717 4931 30 | 1.045 % | 185.25/185.37 c =============================================================================== 185.35/185.47 c core #108 185.35/185.47 c ============================[ Search Statistics ]============================== 185.35/185.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.35/185.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.35/185.47 c =============================================================================== 185.35/185.47 c | 0 | 1805 1054 14789 | 5000 0 nan | 0.000 % | 185.45/185.50 c | 100 | 1805 1054 14789 | 5500 100 34 | 0.496 % | 185.45/185.51 c | 251 | 1805 1054 14789 | 6050 251 26 | 0.496 % | 185.45/185.53 c | 476 | 1796 1054 14789 | 6655 475 19 | 1.103 % | 185.45/185.55 c =============================================================================== 185.45/185.56 c core #109 185.45/185.56 c ============================[ Search Statistics ]============================== 185.45/185.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.45/185.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.45/185.56 c =============================================================================== 185.45/185.56 c | 0 | 1866 1055 14910 | 5000 0 nan | 0.000 % | 185.45/185.58 c | 100 | 1866 1055 14910 | 5500 100 29 | 0.427 % | 185.54/185.60 c | 251 | 1866 1055 14910 | 6050 251 24 | 0.427 % | 185.54/185.62 c | 479 | 1866 1055 14910 | 6655 479 21 | 0.427 % | 185.54/185.64 c | 819 | 1866 1055 14910 | 7320 819 26 | 0.427 % | 185.64/185.70 c | 1327 | 1866 1055 14910 | 8052 1327 27 | 0.427 % | 185.64/185.78 c | 2086 | 1866 1055 14910 | 8857 2086 32 | 0.427 % | 185.85/185.90 c | 3227 | 1866 1055 14910 | 9743 3227 32 | 0.427 % | 186.04/186.15 c | 4935 | 1866 1055 14910 | 10717 4935 34 | 0.427 % | 186.45/186.52 c | 7500 | 1854 1055 14910 | 11789 7499 32 | 1.121 % | 186.45/186.55 c =============================================================================== 186.55/186.67 c core #110 186.55/186.67 c ============================[ Search Statistics ]============================== 186.55/186.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.55/186.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.55/186.67 c =============================================================================== 186.55/186.67 c | 0 | 1964 1056 15106 | 5000 0 nan | 0.000 % | 186.55/186.69 c | 102 | 1950 1056 15106 | 5500 102 18 | 1.217 % | 186.64/186.70 c | 253 | 1950 1056 15106 | 6050 253 21 | 1.217 % | 186.64/186.72 c | 478 | 1948 1056 15106 | 6655 475 26 | 1.217 % | 186.64/186.74 c | 818 | 1948 1056 15106 | 7320 815 27 | 1.217 % | 186.64/186.79 c | 1325 | 1948 1056 15106 | 8052 1322 30 | 1.217 % | 186.75/186.86 c | 2085 | 1942 1056 15106 | 8857 2081 35 | 1.521 % | 186.95/187.01 c | 3228 | 1942 1056 15106 | 9743 3224 42 | 1.521 % | 187.14/187.29 c | 4936 | 1942 1056 15106 | 10717 4932 41 | 1.521 % | 187.64/187.70 c | 7499 | 1942 1056 15106 | 11789 7495 41 | 1.521 % | 188.44/188.50 c | 11344 | 1942 1056 15106 | 12968 11340 41 | 1.521 % | 188.74/188.80 c =============================================================================== 188.94/189.00 c core #111 188.94/189.00 c ============================[ Search Statistics ]============================== 188.94/189.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.94/189.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.94/189.00 c =============================================================================== 188.94/189.00 c | 0 | 2077 1057 15332 | 5000 0 nan | 0.000 % | 188.94/189.03 c | 100 | 2077 1057 15332 | 5500 100 22 | 0.384 % | 188.94/189.04 c | 250 | 2077 1057 15332 | 6050 250 22 | 0.384 % | 188.94/189.06 c | 479 | 2077 1057 15332 | 6655 479 34 | 0.384 % | 188.94/189.09 c | 817 | 2077 1057 15332 | 7320 817 36 | 0.384 % | 189.04/189.14 c | 1323 | 2077 1057 15332 | 8052 1323 39 | 0.384 % | 189.15/189.22 c | 2085 | 2077 1057 15332 | 8857 2085 43 | 0.384 % | 189.25/189.36 c | 3225 | 2077 1057 15332 | 9743 3225 41 | 0.384 % | 189.54/189.60 c | 4936 | 2077 1057 15332 | 10717 4936 44 | 0.384 % | 189.94/190.01 c | 7499 | 2077 1057 15332 | 11789 7499 51 | 0.384 % | 190.74/190.85 c | 11344 | 2077 1057 15332 | 12968 11344 52 | 0.384 % | 192.34/192.41 c | 17111 | 2077 1057 15332 | 14265 10568 59 | 0.384 % | 194.24/194.32 c | 25761 | 2077 1057 15332 | 15692 12034 54 | 0.385 % | 197.04/197.19 c | 38738 | 2077 1057 15332 | 17261 9067 59 | 0.384 % | 201.63/201.76 c | 58204 | 2077 1057 15332 | 18987 11117 64 | 0.384 % | 211.44/211.50 c | 87397 | 2077 1057 15332 | 20886 11572 88 | 0.384 % | 226.33/226.40 c | 131189 | 2077 1057 15332 | 22974 13140 62 | 0.384 % | 250.53/250.64 c | 196873 | 2077 1057 15332 | 25272 20976 98 | 0.384 % | 263.72/263.82 c =============================================================================== 263.93/264.09 c core #112 263.93/264.09 c ============================[ Search Statistics ]============================== 263.93/264.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 263.93/264.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 263.93/264.09 c =============================================================================== 263.93/264.09 c | 0 | 2117 1058 15412 | 5000 0 nan | 0.000 % | 264.03/264.15 c | 100 | 2117 1058 15412 | 5500 100 28 | 0.376 % | 264.03/264.16 c | 250 | 2117 1058 15412 | 6050 250 37 | 0.377 % | 264.03/264.19 c | 475 | 2117 1058 15412 | 6655 475 41 | 0.376 % | 264.12/264.23 c | 814 | 2117 1058 15412 | 7320 814 46 | 0.376 % | 264.23/264.31 c | 1320 | 2117 1058 15412 | 8052 1320 57 | 0.376 % | 264.23/264.39 c | 2079 | 2117 1058 15412 | 8857 2079 56 | 0.376 % | 264.42/264.59 c | 3219 | 2117 1058 15412 | 9743 3219 66 | 0.376 % | 264.73/264.80 c | 4931 | 2117 1058 15412 | 10717 4931 63 | 0.376 % | 265.22/265.35 c | 7495 | 2117 1058 15412 | 11789 7495 67 | 0.376 % | 266.32/266.42 c | 11344 | 2117 1058 15412 | 12968 11344 65 | 0.376 % | 267.83/267.91 c | 17115 | 2117 1058 15412 | 14265 10559 60 | 0.376 % | 270.12/270.27 c | 25764 | 2117 1058 15412 | 15692 12013 68 | 0.376 % | 273.83/273.92 c | 38739 | 2117 1058 15412 | 17261 8974 78 | 0.376 % | 280.22/280.36 c | 58203 | 2117 1058 15412 | 18987 10981 77 | 0.377 % | 290.43/290.59 c | 87399 | 2116 1058 15412 | 20886 11436 87 | 0.424 % | 307.92/308.09 c | 131189 | 2116 1058 15412 | 22974 13159 92 | 0.424 % | 329.11/329.29 c =============================================================================== 331.51/331.60 c core #113 331.51/331.60 c ============================[ Search Statistics ]============================== 331.51/331.60 c | Conflicts | ORIGINAL | LEARNT | Progress | 331.51/331.60 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 331.51/331.60 c =============================================================================== 331.51/331.60 c | 0 | 2242 1059 15661 | 5000 0 nan | 0.000 % | 331.51/331.64 c | 101 | 2242 1059 15661 | 5500 101 47 | 0.311 % | 331.51/331.66 c | 253 | 2242 1059 15661 | 6050 253 37 | 0.311 % | 331.51/331.69 c | 478 | 2242 1059 15661 | 6655 478 32 | 0.311 % | 331.61/331.73 c | 815 | 2242 1059 15661 | 7320 815 40 | 0.311 % | 331.70/331.81 c | 1323 | 2242 1059 15661 | 8052 1323 50 | 0.311 % | 331.81/331.91 c | 2082 | 2242 1059 15661 | 8857 2082 55 | 0.311 % | 331.91/332.05 c | 3221 | 2242 1059 15661 | 9743 3221 58 | 0.311 % | 332.12/332.26 c | 4931 | 2242 1059 15661 | 10717 4931 56 | 0.311 % | 332.71/332.81 c | 7494 | 2242 1059 15661 | 11789 7494 72 | 0.311 % | 333.50/333.66 c | 11339 | 2242 1059 15661 | 12968 11339 77 | 0.311 % | 335.21/335.34 c | 17106 | 2242 1059 15661 | 14265 10540 84 | 0.311 % | 338.11/338.22 c | 25755 | 2242 1059 15661 | 15692 11982 83 | 0.311 % | 341.40/341.57 c | 38730 | 2242 1059 15661 | 17261 9087 77 | 0.311 % | 347.11/347.28 c | 58197 | 2241 1059 15661 | 18987 12005 84 | 0.356 % | 358.10/358.27 c | 87391 | 2241 1059 15661 | 20886 12510 87 | 0.356 % | 365.60/365.73 c =============================================================================== 368.50/368.62 c core #114 368.50/368.62 c ============================[ Search Statistics ]============================== 368.50/368.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 368.50/368.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 368.50/368.62 c =============================================================================== 368.50/368.62 c | 0 | 2427 1060 16030 | 5000 0 nan | 0.000 % | 368.50/368.69 c | 101 | 2427 1060 16030 | 5500 101 116 | 0.247 % | 368.59/368.71 c | 251 | 2427 1060 16030 | 6050 251 69 | 0.247 % | 368.59/368.73 c | 476 | 2427 1060 16030 | 6655 476 55 | 0.247 % | 368.59/368.76 c | 813 | 2427 1060 16030 | 7320 813 49 | 0.247 % | 368.70/368.81 c | 1319 | 2427 1060 16030 | 8052 1319 47 | 0.247 % | 368.70/368.89 c | 2078 | 2427 1060 16030 | 8857 2078 52 | 0.247 % | 368.90/369.02 c | 3217 | 2427 1060 16030 | 9743 3217 62 | 0.247 % | 369.09/369.26 c | 4927 | 2427 1060 16030 | 10717 4927 62 | 0.247 % | 369.50/369.65 c | 7489 | 2427 1060 16030 | 11789 7489 68 | 0.247 % | 370.30/370.40 c | 11333 | 2427 1060 16030 | 12968 11333 71 | 0.247 % | 371.50/371.63 c | 17099 | 2427 1060 16030 | 14265 10547 84 | 0.247 % | 373.50/373.62 c | 25751 | 2427 1060 16030 | 15692 11909 97 | 0.247 % | 376.80/376.91 c | 38725 | 2427 1060 16030 | 17261 9006 67 | 0.247 % | 382.71/382.83 c | 58186 | 2425 1060 16030 | 18987 10990 83 | 0.329 % | 396.89/397.03 c | 87378 | 2425 1060 16030 | 20886 11347 114 | 0.329 % | 417.90/418.08 c | 131172 | 2425 1060 16030 | 22974 12896 130 | 0.329 % | 454.57/454.72 c | 196856 | 2425 1060 16030 | 25272 20416 102 | 0.329 % | 507.96/508.13 c | 295382 | 2425 1060 16030 | 27799 16810 94 | 0.329 % | 593.05/593.25 c | 443174 | 2425 1060 16030 | 30579 16940 127 | 0.329 % | 726.59/726.82 c | 664857 | 2425 1060 16030 | 33637 17811 136 | 0.329 % | 830.67/830.99 c =============================================================================== 844.67/844.92 c core #115 844.67/844.92 c ============================[ Search Statistics ]============================== 844.67/844.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 844.67/844.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 844.67/844.92 c =============================================================================== 844.67/844.92 c | 0 | 2612 1061 16398 | 5000 0 nan | 0.000 % | 844.76/845.03 c | 101 | 2612 1061 16398 | 5500 101 28 | 0.153 % | 844.76/845.05 c | 251 | 2612 1061 16398 | 6050 251 29 | 0.153 % | 844.76/845.08 c | 476 | 2612 1061 16398 | 6655 476 24 | 0.153 % | 844.87/845.12 c | 813 | 2612 1061 16398 | 7320 813 33 | 0.153 % | 844.87/845.18 c | 1324 | 2612 1061 16398 | 8052 1324 41 | 0.153 % | 845.07/845.30 c | 2084 | 2612 1061 16398 | 8857 2084 52 | 0.153 % | 845.17/845.46 c | 3223 | 2612 1061 16398 | 9743 3223 61 | 0.153 % | 845.47/845.72 c | 4931 | 2612 1061 16398 | 10717 4931 73 | 0.153 % | 845.87/846.11 c | 7494 | 2612 1061 16398 | 11789 7494 77 | 0.153 % | 846.57/846.83 c | 11342 | 2612 1061 16398 | 12968 11342 78 | 0.153 % | 848.27/848.52 c | 17108 | 2612 1061 16398 | 14265 10481 100 | 0.153 % | 851.27/851.57 c | 25757 | 2612 1061 16398 | 15692 11741 127 | 0.153 % | 854.97/855.20 c | 38732 | 2612 1061 16398 | 17261 8797 117 | 0.153 % | 860.07/860.39 c | 58194 | 2612 1061 16398 | 18987 10553 109 | 0.153 % | 873.36/873.67 c | 87390 | 2612 1061 16398 | 20886 10876 136 | 0.153 % | 898.75/899.05 c | 131180 | 2612 1061 16398 | 22974 12499 143 | 0.153 % | 935.74/936.08 c | 196864 | 2612 1061 16398 | 25272 20131 137 | 0.153 % | 1001.13/1001.48 c | 295390 | 2612 1061 16398 | 27799 15102 149 | 0.153 % | 1113.20/1113.55 c | 443183 | 2612 1061 16398 | 30579 15960 165 | 0.153 % | 1307.96/1308.32 c | 664868 | 2612 1061 16398 | 33637 30204 185 | 0.153 % | 1491.70/1492.14 c | 997393 | 2612 1061 16398 | 37001 33001 146 | 0.153 % |
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-2655984-1276372225/watcher-2655984-1276372225 -o /tmp/evaluation-result-2655984-1276372225/solver-2655984-1276372225 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655984-1276372225.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.93 2.10 1.81 3/106 14175 /proc/meminfo: memFree=1817884/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=2624 CPUtime=0 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 302 0 0 0 0 0 0 0 19 0 1 0 10878856 2686976 220 1992294400 134512640 135751879 4289769504 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 656 220 143 303 0 340 0 [startup+0.106283 s] /proc/loadavg: 1.93 2.10 1.81 3/106 14175 /proc/meminfo: memFree=1817884/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=3480 CPUtime=0.1 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 528 0 0 0 10 0 0 0 18 0 1 0 10878856 3563520 435 1992294400 134512640 135751879 4289769504 18446744073709551615 134611179 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 870 435 147 303 0 565 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3480 [startup+0.201293 s] /proc/loadavg: 1.93 2.10 1.81 3/106 14175 /proc/meminfo: memFree=1817884/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=4120 CPUtime=0.19 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 701 0 0 0 19 0 0 0 18 0 1 0 10878856 4218880 608 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 1030 608 147 303 0 725 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4120 [startup+0.301302 s] /proc/loadavg: 1.93 2.10 1.81 3/106 14175 /proc/meminfo: memFree=1817884/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=4760 CPUtime=0.29 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 865 0 0 0 29 0 0 0 18 0 1 0 10878856 4874240 772 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 1190 772 147 303 0 885 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4760 [startup+0.700341 s] /proc/loadavg: 1.93 2.10 1.81 3/106 14175 /proc/meminfo: memFree=1817884/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=7192 CPUtime=0.69 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 1462 0 0 0 67 2 0 0 18 0 1 0 10878856 7364608 1369 1992294400 134512640 135751879 4289769504 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 1798 1369 147 303 0 1493 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7192 [startup+1.50042 s] /proc/loadavg: 1.93 2.10 1.81 2/107 14176 /proc/meminfo: memFree=1810808/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=11300 CPUtime=1.49 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 2502 0 0 0 145 4 0 0 19 0 1 0 10878856 11571200 2409 1992294400 134512640 135751879 4289769504 18446744073709551615 134606354 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 2825 2410 148 303 0 2520 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11300 [startup+3.10057 s] /proc/loadavg: 1.93 2.10 1.81 2/107 14176 /proc/meminfo: memFree=1804856/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=19404 CPUtime=3.09 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 4523 0 0 0 302 7 0 0 23 0 1 0 10878856 19869696 4430 1992294400 134512640 135751879 4289769504 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 4851 4430 148 303 0 4546 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19404 [startup+6.30088 s] /proc/loadavg: 1.86 2.08 1.80 2/107 14176 /proc/meminfo: memFree=1789356/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=33980 CPUtime=6.29 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 8141 0 0 0 617 12 0 0 25 0 1 0 10878856 34795520 8048 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 8495 8048 148 303 0 8190 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 33980 [startup+12.7015 s] /proc/loadavg: 1.79 2.07 1.80 2/107 14176 /proc/meminfo: memFree=1767160/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=54456 CPUtime=12.69 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 13273 0 0 0 1249 20 0 0 25 0 1 0 10878856 55762944 13180 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 13614 13180 148 303 0 13309 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54456 [startup+25.5017 s] /proc/loadavg: 1.61 2.01 1.78 2/107 14176 /proc/meminfo: memFree=1720164/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=99912 CPUtime=25.49 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 24626 0 0 0 2512 37 0 0 25 0 1 0 10878856 102309888 24533 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 24978 24533 148 303 0 24673 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 99912 [startup+51.1012 s] /proc/loadavg: 1.47 1.95 1.77 2/107 14176 /proc/meminfo: memFree=1646384/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=174132 CPUtime=51.08 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 43169 0 0 0 5043 65 0 0 25 0 1 0 10878856 178311168 43076 1992294400 134512640 135751879 4289769504 18446744073709551615 134606310 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 43533 43077 148 303 0 43228 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 174132 [startup+102.301 s] /proc/loadavg: 1.27 1.81 1.73 2/107 14178 /proc/meminfo: memFree=1509488/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=309656 CPUtime=102.27 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 77049 0 0 0 10110 117 0 0 25 0 1 0 10878856 317087744 76956 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 77414 76957 148 303 0 77109 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 309656 [startup+162.302 s] /proc/loadavg: 1.16 1.68 1.69 2/107 14180 /proc/meminfo: memFree=1371724/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=448376 CPUtime=162.25 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 111665 0 0 0 16053 172 0 0 25 0 1 0 10878856 459137024 111572 1992294400 134512640 135751879 4289769504 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 112094 111572 148 303 0 111789 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 448376 [startup+222.309 s] /proc/loadavg: 1.11 1.57 1.64 2/107 14182 /proc/meminfo: memFree=1307988/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=510548 CPUtime=222.24 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 127334 0 0 0 21984 240 0 0 25 0 1 0 10878856 522801152 127213 1992294400 134512640 135751879 4289769504 18446744073709551615 134616678 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 127637 127213 151 303 0 127332 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 510548 [startup+282.301 s] /proc/loadavg: 1.17 1.49 1.61 2/107 14182 /proc/meminfo: memFree=1251072/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=567996 CPUtime=282.22 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 141693 0 0 0 27909 313 0 0 25 0 1 0 10878856 581627904 141572 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 141999 141572 151 303 0 141694 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 567996 [startup+342.301 s] /proc/loadavg: 1.06 1.40 1.57 2/107 14184 /proc/meminfo: memFree=1203208/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=615080 CPUtime=342.21 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 153456 0 0 0 33849 372 0 0 25 0 1 0 10878856 629841920 153335 1992294400 134512640 135751879 4289769504 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 153770 153335 151 303 0 153465 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 615080 [startup+402.302 s] /proc/loadavg: 1.02 1.33 1.53 2/107 14186 /proc/meminfo: memFree=1133768/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=685492 CPUtime=402.19 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 171034 0 0 0 39771 448 0 0 25 0 1 0 10878856 701943808 170913 1992294400 134512640 135751879 4289769504 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 171373 170913 151 303 0 171068 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 685492 [startup+462.302 s] /proc/loadavg: 1.01 1.26 1.50 2/107 14188 /proc/meminfo: memFree=1069164/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=749020 CPUtime=462.17 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 186896 0 0 0 45719 498 0 0 25 0 1 0 10878856 766996480 186775 1992294400 134512640 135751879 4289769504 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 187255 186775 151 303 0 186950 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 749020 [startup+522.301 s] /proc/loadavg: 1.00 1.21 1.46 2/107 14190 /proc/meminfo: memFree=1012992/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=806108 CPUtime=522.16 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 201111 0 0 0 51667 549 0 0 25 0 1 0 10878856 825454592 200990 1992294400 134512640 135751879 4289769504 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 201527 200990 151 303 0 201222 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 806108 [startup+582.301 s] /proc/loadavg: 1.00 1.17 1.43 2/107 14190 /proc/meminfo: memFree=949876/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=868496 CPUtime=582.15 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 216673 0 0 0 57615 600 0 0 25 0 1 0 10878856 889339904 216552 1992294400 134512640 135751879 4289769504 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 217124 216552 151 303 0 216819 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 868496 [startup+642.301 s] /proc/loadavg: 1.00 1.14 1.40 2/107 14201 /proc/meminfo: memFree=876780/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=941548 CPUtime=642.11 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 234952 0 0 0 63552 659 0 0 25 0 1 0 10878856 964145152 234831 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 235387 234831 151 303 0 235082 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 941548 [startup+702.301 s] /proc/loadavg: 1.00 1.11 1.37 2/107 14203 /proc/meminfo: memFree=824824/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=993296 CPUtime=702.1 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 247834 0 0 0 69514 696 0 0 25 0 1 0 10878856 1017135104 247713 1992294400 134512640 135751879 4289769504 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 248324 247713 151 303 0 248019 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 993296 [startup+762.3 s] /proc/loadavg: 1.00 1.09 1.35 2/107 14205 /proc/meminfo: memFree=778324/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1039180 CPUtime=762.09 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 259304 0 0 0 75476 733 0 0 25 0 1 0 10878856 1064120320 259183 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 259795 259183 151 303 0 259490 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1039180 [startup+822.3 s] /proc/loadavg: 1.00 1.07 1.32 2/107 14207 /proc/meminfo: memFree=732816/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1085044 CPUtime=822.07 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 270766 0 0 0 81435 772 0 0 25 0 1 0 10878856 1111085056 270645 1992294400 134512640 135751879 4289769504 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 271261 270645 151 303 0 270956 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1085044 [startup+882.308 s] /proc/loadavg: 1.00 1.05 1.30 2/107 14207 /proc/meminfo: memFree=709132/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1107628 CPUtime=882.06 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 276574 0 0 0 87389 817 0 0 25 0 1 0 10878856 1134211072 276453 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 276907 276453 151 303 0 276602 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1107628 [startup+942.301 s] /proc/loadavg: 1.00 1.04 1.28 2/107 14209 /proc/meminfo: memFree=656928/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1160480 CPUtime=942.05 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 289795 0 0 0 93342 863 0 0 25 0 1 0 10878856 1188331520 289674 1992294400 134512640 135751879 4289769504 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 290120 289674 151 303 0 289815 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1160480 [startup+1002.3 s] /proc/loadavg: 1.00 1.03 1.26 2/107 14211 /proc/meminfo: memFree=609808/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1207164 CPUtime=1002.03 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 301403 0 0 0 99300 903 0 0 25 0 1 0 10878856 1236135936 301282 1992294400 134512640 135751879 4289769504 18446744073709551615 134517425 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 301791 301282 151 303 0 301486 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1207164 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.24 2/107 14213 /proc/meminfo: memFree=558472/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1258668 CPUtime=1062.01 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 314259 0 0 0 105258 943 0 0 25 0 1 0 10878856 1288876032 314138 1992294400 134512640 135751879 4289769504 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 314667 314138 151 303 0 314362 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 1258668 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.22 2/107 14215 /proc/meminfo: memFree=499324/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1317620 CPUtime=1121.99 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 328970 0 0 0 111209 990 0 0 25 0 1 0 10878856 1349242880 328849 1992294400 134512640 135751879 4289769504 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 329405 328849 151 303 0 329100 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1317620 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.21 2/107 14215 /proc/meminfo: memFree=446872/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1370144 CPUtime=1181.98 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 342102 0 0 0 117168 1030 0 0 25 0 1 0 10878856 1403027456 341981 1992294400 134512640 135751879 4289769504 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 342536 341981 151 303 0 342231 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1370144 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.19 2/107 14217 /proc/meminfo: memFree=403968/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1412628 CPUtime=1241.97 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 352707 0 0 0 123141 1056 0 0 25 0 1 0 10878856 1446531072 352586 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 353157 352586 151 303 0 352852 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 1412628 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.17 2/107 14219 /proc/meminfo: memFree=341720/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1476528 CPUtime=1301.95 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 368643 0 0 0 129099 1096 0 0 25 0 1 0 10878856 1511964672 368522 1992294400 134512640 135751879 4289769504 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 369132 368522 151 303 0 368827 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1476528 [startup+1362.3 s] /proc/loadavg: 1.05 1.01 1.17 2/107 14221 /proc/meminfo: memFree=248720/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1568216 CPUtime=1361.94 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 391571 0 0 0 135046 1148 0 0 25 0 1 0 10878856 1605853184 391450 1992294400 134512640 135751879 4289769504 18446744073709551615 134616299 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 392054 391450 151 303 0 391749 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 1568216 [startup+1422.3 s] /proc/loadavg: 1.02 1.01 1.16 2/107 14223 /proc/meminfo: memFree=158696/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1657156 CPUtime=1421.93 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 413799 0 0 0 140988 1205 0 0 25 0 1 0 10878856 1696927744 413678 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 414289 413678 151 303 0 413984 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1657156 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.14 2/107 14223 /proc/meminfo: memFree=84916/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1731920 CPUtime=1481.91 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 432470 0 0 0 146932 1259 0 0 25 0 1 0 10878856 1773486080 432349 1992294400 134512640 135751879 4289769504 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 432980 432349 151 303 0 432675 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 1731920 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.13 2/107 14225 /proc/meminfo: memFree=27008/2059040 swapFree=4192956/4192956 [pid=14175] ppid=14173 vsize=1788756 CPUtime=1541.9 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 446683 0 0 0 152893 1297 0 0 25 0 1 0 10878856 1831686144 446562 1992294400 134512640 135751879 4289769504 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 447189 446562 151 303 0 446884 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1788756 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1600.1 s] /proc/loadavg: 1.08 1.02 1.13 2/107 14227 /proc/meminfo: memFree=9416/2059040 swapFree=4178936/4192956 [pid=14175] ppid=14173 vsize=1843208 CPUtime=1599.69 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4202496 460285 0 0 0 158633 1336 0 0 25 0 1 0 10878856 1887444992 460164 1992294400 134512640 135751879 4289769504 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/14175/statm: 460802 460164 151 303 0 460497 0 Current children cumulated CPU time (s) 1599.69 Current children cumulated vsize (KiB) 1843208 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1600.21 s] /proc/loadavg: 1.08 1.02 1.13 2/107 14227 /proc/meminfo: memFree=9416/2059040 swapFree=4178936/4192956 [pid=14175] ppid=14173 vsize=0 CPUtime=1599.79 /proc/14175/stat : 14175 (wbo1.4b) R 14173 14175 13717 0 -1 4203524 460285 0 0 0 158633 1346 0 0 25 0 1 0 10878856 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/14175/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1599.79 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1600.28 CPU time (s): 1599.87 CPU user time (s): 1586.33 CPU system time (s): 13.5319 CPU usage (%): 99.9743 Max. virtual memory (cumulated for all children) (KiB): 1843208 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1586.33 system time used= 13.5319 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460285 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= 16 involuntary context switches= 2460 runsolver used 2.80757 second user time and 7.40687 second system time The end
Begin job on node018 at 2010-06-12 21:50:25 IDJOB=2655984 IDBENCH=1960 IDSOLVER=1161 FILE ID=node018/2655984-1276372225 PBS_JOBID= 11173221 Free space on /tmp= 62292 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_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-2655984-1276372225/watcher-2655984-1276372225 -o /tmp/evaluation-result-2655984-1276372225/solver-2655984-1276372225 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655984-1276372225.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 008a49e8cb0d34e0becb5a5e15efaa2a RANDOM SEED=361033700 node018.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.248 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.49 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.248 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.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1818412 kB Buffers: 8968 kB Cached: 94532 kB SwapCached: 0 kB Active: 84784 kB Inactive: 78072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1818412 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2840 kB Writeback: 0 kB AnonPages: 59332 kB Mapped: 15444 kB Slab: 56112 kB PageTables: 3928 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181320 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= 62292 MiB End job on node018 at 2010-06-12 22:17:07