Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.07 | 1800.74 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_11.opb |
MD5SUM | c19ad978a977652a94fc03b8ce63204a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 78 |
Best CPU time to get the best result obtained on this benchmark | 1798.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 74 |
Optimality of the best value was proved | NO |
Number of variables | 1288 |
Total number of constraints | 2431 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2430 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 182 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 175 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 802 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680682-1277458738.opb. 0.00/0.00 c Instance file HOME/instance-2680682-1277458738.opb 0.00/0.00 c File size is 481988 bytes. 0.10/0.10 c Highest Coefficient sum: 802 0.10/0.10 c ============================[ Problem Statistics ]============================= 0.10/0.10 c | | 0.10/0.10 c | Parsing time: 0.10 s | 0.10/0.10 c | Number Variables: 1288 | 0.10/0.10 c | Number Clauses: 1 | 0.10/0.10 c | Number Cardinality: 0 | 0.10/0.10 c | Number PB Constraints: 2430 | 0.10/0.10 c ============================[ Search Statistics ]============================== 0.10/0.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.10/0.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.10/0.10 c =============================================================================== 0.10/0.10 c | 0 | 1287 2431 61850 | 5000 0 nan | 0.000 % | 0.19/0.24 c | 100 | 1287 2431 61850 | 5500 100 22 | 0.078 % | 0.39/0.40 c | 252 | 1287 2431 61850 | 6050 252 24 | 0.078 % | 0.49/0.59 c | 477 | 1287 2431 61850 | 6655 477 27 | 0.078 % | 0.69/0.77 c | 815 | 1287 2431 61850 | 7320 815 27 | 0.078 % | 1.00/1.03 c | 1322 | 1287 2431 61850 | 8052 1322 26 | 0.078 % | 1.19/1.23 c =============================================================================== 1.19/1.23 c New solution: 120 1.19/1.23 o 120 1.19/1.23 c Elapsed CPU time: 1.22381 s Remaining CPU time: 178.776 s 1.19/1.23 c =============================================================================== 1.19/1.23 c | 1707 | 1287 2432 61858 | 5000 1707 25 | 0.078 % | 1.29/1.31 c | 1808 | 1287 2432 61858 | 5500 1808 25 | 0.078 % | 1.39/1.40 c | 1958 | 1287 2432 61858 | 6050 1958 25 | 0.078 % | 1.49/1.56 c | 2184 | 1287 2432 61858 | 6655 2184 25 | 0.078 % | 1.69/1.74 c | 2522 | 1287 2432 61858 | 7320 2522 25 | 0.078 % | 2.19/2.21 c | 3028 | 1287 2432 61858 | 8052 3028 26 | 0.078 % | 2.69/2.70 c | 3787 | 1287 2432 61858 | 8857 3787 27 | 0.078 % | 2.89/2.97 c =============================================================================== 2.89/2.97 c New solution: 116 2.89/2.97 o 116 2.89/2.97 c Elapsed CPU time: 2.95655 s Remaining CPU time: 177.043 s 2.89/2.97 c =============================================================================== 2.89/2.97 c | 4099 | 1287 2433 61866 | 5000 4099 27 | 0.078 % | 2.99/3.05 c | 4199 | 1286 2433 61866 | 5500 4156 27 | 0.155 % | 3.09/3.15 c | 4349 | 1286 2433 61866 | 6050 4306 27 | 0.155 % | 3.30/3.34 c | 4575 | 1286 2433 61866 | 6655 4532 27 | 0.155 % | 3.49/3.53 c =============================================================================== 3.49/3.53 c New solution: 115 3.49/3.53 o 115 3.49/3.53 c Elapsed CPU time: 3.51546 s Remaining CPU time: 176.485 s 3.49/3.53 c =============================================================================== 3.49/3.53 c | 4795 | 1286 2434 61874 | 5000 4752 28 | 0.155 % | 3.59/3.62 c | 4896 | 1286 2434 61874 | 5500 4853 28 | 0.155 % | 3.69/3.73 c | 5046 | 1286 2434 61874 | 6050 5003 28 | 0.155 % | 3.89/3.90 c | 5272 | 1286 2434 61874 | 6655 5229 28 | 0.155 % | 4.19/4.24 c | 5611 | 1286 2434 61874 | 7320 5568 28 | 0.155 % | 4.30/4.38 c =============================================================================== 4.30/4.38 c New solution: 102 4.30/4.38 o 102 4.30/4.38 c Elapsed CPU time: 4.35934 s Remaining CPU time: 175.641 s 4.30/4.38 c =============================================================================== 4.30/4.38 c | 5810 | 1286 2435 61882 | 5000 5767 28 | 0.155 % | 4.40/4.47 c | 5910 | 1286 2435 61882 | 5500 2984 29 | 0.155 % | 4.59/4.61 c | 6060 | 1286 2435 61882 | 6050 3134 29 | 0.155 % | 4.69/4.78 c | 6285 | 1286 2435 61882 | 6655 3359 29 | 0.155 % | 4.99/5.07 c | 6622 | 1286 2435 61882 | 7320 3696 29 | 0.155 % | 5.39/5.49 c | 7129 | 1285 2435 61882 | 8052 3984 28 | 0.233 % | 5.99/6.05 c | 7888 | 1285 2435 61882 | 8857 4743 28 | 0.233 % | 7.09/7.14 c | 9028 | 1285 2435 61882 | 9743 5883 29 | 0.233 % | 8.39/8.41 c | 10736 | 1285 2435 61882 | 10717 7591 28 | 0.233 % | 8.39/8.46 c =============================================================================== 8.39/8.46 c New solution: 101 8.39/8.46 o 101 8.39/8.46 c Elapsed CPU time: 8.41872 s Remaining CPU time: 171.581 s 8.39/8.46 c =============================================================================== 8.39/8.46 c | 10787 | 1285 2436 61890 | 5000 7642 28 | 0.233 % | 8.49/8.55 c | 10888 | 1285 2436 61890 | 5500 3922 27 | 0.233 % | 8.59/8.66 c | 11040 | 1285 2436 61890 | 6050 4074 27 | 0.233 % | 8.79/8.85 c | 11265 | 1285 2436 61890 | 6655 4299 27 | 0.233 % | 8.89/8.95 c =============================================================================== 8.89/8.95 c New solution: 99 8.89/8.95 o 99 8.89/8.95 c Elapsed CPU time: 8.90065 s Remaining CPU time: 171.099 s 8.89/8.95 c =============================================================================== 8.89/8.95 c | 11399 | 1285 2437 61898 | 5000 4433 28 | 0.233 % | 8.99/9.00 c | 11499 | 1285 2437 61898 | 5500 4533 27 | 0.233 % | 9.09/9.13 c | 11649 | 1285 2437 61898 | 6050 4683 27 | 0.233 % | 9.09/9.15 c =============================================================================== 9.09/9.15 c New solution: 97 9.09/9.15 o 97 9.09/9.15 c Elapsed CPU time: 9.10462 s Remaining CPU time: 170.895 s 9.09/9.15 c =============================================================================== 9.09/9.15 c | 11669 | 1285 2438 61906 | 5000 4703 27 | 0.233 % | 9.19/9.22 c | 11770 | 1285 2438 61906 | 5500 4804 27 | 0.233 % | 9.19/9.25 c =============================================================================== 9.19/9.25 c New solution: 94 9.19/9.25 o 94 9.19/9.25 c Elapsed CPU time: 9.1996 s Remaining CPU time: 170.8 s 9.19/9.25 c =============================================================================== 9.19/9.25 c | 11802 | 1285 2439 61914 | 5000 4836 27 | 0.233 % | 9.28/9.32 c | 11902 | 1285 2439 61914 | 5500 4936 27 | 0.233 % | 9.38/9.43 c | 12052 | 1285 2439 61914 | 6050 5086 27 | 0.233 % | 9.48/9.55 c | 12277 | 1285 2439 61914 | 6655 5311 27 | 0.233 % | 9.79/9.81 c | 12615 | 1284 2439 61914 | 7320 5636 28 | 0.311 % | 10.18/10.22 c | 13122 | 1284 2439 61914 | 8052 6143 28 | 0.311 % | 11.00/11.03 c | 13881 | 1284 2439 61914 | 8857 6902 27 | 0.311 % | 11.78/11.87 c =============================================================================== 11.78/11.87 c New solution: 91 11.78/11.87 o 91 11.78/11.87 c Elapsed CPU time: 11.8122 s Remaining CPU time: 168.188 s 11.78/11.87 c =============================================================================== 11.78/11.87 c | 14966 | 1284 2440 61922 | 5000 7987 28 | 0.311 % | 11.88/11.97 c | 15066 | 1284 2440 61922 | 5500 4094 27 | 0.311 % | 12.00/12.07 c | 15216 | 1284 2440 61922 | 6050 4244 27 | 0.311 % | 12.19/12.23 c | 15443 | 1284 2440 61922 | 6655 4471 27 | 0.311 % | 12.49/12.56 c | 15781 | 1284 2440 61922 | 7320 4809 28 | 0.311 % | 12.99/13.02 c | 16288 | 1284 2440 61922 | 8052 5316 27 | 0.311 % | 13.38/13.49 c | 17049 | 1283 2440 61922 | 8857 6072 27 | 0.388 % | 13.99/14.04 c =============================================================================== 13.99/14.04 c New solution: 88 13.99/14.04 o 88 13.99/14.04 c Elapsed CPU time: 13.9639 s Remaining CPU time: 166.036 s 13.99/14.04 c =============================================================================== 13.99/14.04 c | 17796 | 1283 2441 61930 | 5000 6819 29 | 0.388 % | 14.09/14.15 c | 17897 | 1283 2441 61930 | 5500 3511 30 | 0.388 % | 14.19/14.26 c | 18049 | 1283 2441 61930 | 6050 3663 30 | 0.388 % | 14.38/14.42 c | 18274 | 1283 2441 61930 | 6655 3888 30 | 0.388 % | 14.58/14.66 c | 18611 | 1283 2441 61930 | 7320 4225 29 | 0.388 % | 14.88/14.96 c | 19118 | 1283 2441 61930 | 8052 4732 29 | 0.388 % | 15.48/15.53 c | 19880 | 1283 2441 61930 | 8857 5494 29 | 0.388 % | 16.49/16.54 c | 21020 | 1283 2441 61930 | 9743 6634 31 | 0.388 % | 17.69/17.70 c | 22728 | 1283 2441 61930 | 10717 8342 31 | 0.388 % | 19.38/19.47 c | 25290 | 1283 2441 61930 | 11789 10904 30 | 0.388 % | 20.28/20.36 c =============================================================================== 20.28/20.36 c New solution: 86 20.28/20.36 o 86 20.28/20.36 c Elapsed CPU time: 20.2629 s Remaining CPU time: 159.737 s 20.28/20.36 c =============================================================================== 20.28/20.36 c | 26138 | 1283 2442 61938 | 5000 11752 30 | 0.388 % | 20.38/20.45 c | 26238 | 1281 2442 61938 | 5500 2992 29 | 0.544 % | 20.48/20.56 c | 26389 | 1281 2442 61938 | 6050 3143 30 | 0.544 % | 20.68/20.75 c | 26614 | 1281 2442 61938 | 6655 3368 30 | 0.544 % | 20.98/21.02 c | 26951 | 1281 2442 61938 | 7320 3705 30 | 0.544 % | 21.29/21.34 c | 27457 | 1281 2442 61938 | 8052 4211 29 | 0.544 % | 21.78/21.85 c | 28218 | 1281 2442 61938 | 8857 4972 29 | 0.544 % | 22.99/23.05 c | 29359 | 1281 2442 61938 | 9743 6113 30 | 0.544 % | 24.48/24.59 c | 31067 | 1281 2442 61938 | 10717 7821 30 | 0.544 % | 27.28/27.31 c | 33629 | 1281 2442 61938 | 11789 10383 32 | 0.544 % | 30.18/30.28 c | 37474 | 1281 2442 61938 | 12968 8191 32 | 0.544 % | 34.68/34.75 c =============================================================================== 34.68/34.75 c New solution: 84 34.68/34.75 o 84 34.68/34.75 c Elapsed CPU time: 34.5837 s Remaining CPU time: 145.416 s 34.68/34.75 c =============================================================================== 34.68/34.75 c | 42353 | 1281 2443 61946 | 5000 13070 34 | 0.544 % | 34.78/34.85 c | 42453 | 1281 2443 61946 | 5500 3368 37 | 0.544 % | 34.88/34.94 c | 42604 | 1281 2443 61946 | 6050 3519 37 | 0.544 % | 35.18/35.24 c | 42829 | 1281 2443 61946 | 6655 3744 36 | 0.544 % | 35.38/35.47 c | 43167 | 1281 2443 61946 | 7320 4082 36 | 0.544 % | 35.77/35.84 c | 43673 | 1281 2443 61946 | 8052 4588 35 | 0.544 % | 36.38/36.46 c | 44432 | 1281 2443 61946 | 8857 5347 34 | 0.544 % | 37.18/37.22 c | 45571 | 1281 2443 61946 | 9743 6486 34 | 0.544 % | 38.28/38.32 c | 47279 | 1281 2443 61946 | 10717 8194 33 | 0.544 % | 40.37/40.42 c | 49841 | 1280 2443 61946 | 11789 10755 33 | 0.621 % | 43.77/43.82 c | 53685 | 1280 2443 61946 | 12968 8429 33 | 0.621 % | 46.57/46.63 c =============================================================================== 46.57/46.63 c New solution: 80 46.57/46.63 o 80 46.57/46.63 c Elapsed CPU time: 46.4019 s Remaining CPU time: 133.598 s 46.57/46.63 c =============================================================================== 46.57/46.63 c | 56927 | 1280 2444 61954 | 5000 11671 34 | 0.621 % | 46.67/46.76 c | 57028 | 1280 2444 61954 | 5500 3019 34 | 0.621 % | 46.87/46.91 c | 57178 | 1280 2444 61954 | 6050 3169 34 | 0.621 % | 46.98/47.06 c | 57404 | 1280 2444 61954 | 6655 3395 34 | 0.621 % | 47.18/47.28 c | 57741 | 1280 2444 61954 | 7320 3732 33 | 0.621 % | 47.57/47.62 c | 58247 | 1280 2444 61954 | 8052 4238 33 | 0.621 % | 48.07/48.11 c | 59006 | 1280 2444 61954 | 8857 4997 32 | 0.621 % | 49.08/49.11 c | 60145 | 1280 2444 61954 | 9743 6136 33 | 0.621 % | 50.37/50.40 c | 61856 | 1280 2444 61954 | 10717 7847 31 | 0.621 % | 52.87/52.93 c | 64419 | 1280 2444 61954 | 11789 10410 32 | 0.621 % | 55.77/55.89 c | 68264 | 1280 2444 61954 | 12968 8220 32 | 0.621 % | 61.37/61.48 c | 74031 | 1280 2444 61954 | 14265 7303 36 | 0.621 % | 68.17/68.21 c | 82680 | 1280 2444 61954 | 15692 8658 32 | 0.621 % | 80.06/80.11 c | 95655 | 1280 2444 61954 | 17261 13472 35 | 0.621 % | 97.95/98.02 c | 115116 | 1280 2444 61954 | 18987 15405 31 | 0.621 % | 129.95/130.06 c | 144311 | 1279 2444 61954 | 20886 15353 36 | 0.699 % | 177.63/177.71 c | 188101 | 1279 2444 61954 | 22974 17048 36 | 0.699 % | 180.72/180.82 c There are 9 assigned variables. 3 in cost function. 180.82/180.99 c ============================[ Search Statistics ]============================== 180.82/180.99 c | Conflicts | ORIGINAL | LEARNT | Progress | 180.82/180.99 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 180.82/180.99 c =============================================================================== 180.82/180.99 c | 0 | 1252 2446 56195 | 5000 0 nan | 0.000 % | 181.02/181.11 c | 101 | 1252 2446 56195 | 5500 101 23 | 2.795 % | 181.12/181.23 c | 251 | 1252 2446 56195 | 6050 251 26 | 2.795 % | 181.33/181.41 c | 476 | 1252 2446 56195 | 6655 476 25 | 2.795 % | 181.52/181.64 c | 814 | 1251 2446 56195 | 7320 812 26 | 2.873 % | 181.82/181.97 c | 1320 | 1250 2446 56195 | 8052 1317 26 | 2.950 % | 182.43/182.53 c | 2079 | 1250 2446 56195 | 8857 2076 26 | 2.950 % | 183.22/183.34 c | 3220 | 1250 2446 56195 | 9743 3217 25 | 2.950 % | 184.63/184.71 c | 4928 | 1250 2446 56195 | 10717 4925 25 | 2.950 % | 186.83/186.94 c | 7492 | 1250 2446 56195 | 11789 7489 26 | 2.950 % | 190.13/190.28 c | 11336 | 1250 2446 56195 | 12968 11333 26 | 2.950 % | 196.62/196.75 c | 17102 | 1250 2446 56195 | 14265 10404 27 | 2.950 % | 205.12/205.28 c | 25753 | 1249 2446 56195 | 15692 11743 28 | 3.028 % | 218.61/218.78 c | 38728 | 1249 2446 56195 | 17261 8865 26 | 3.028 % | 239.10/239.29 c | 58189 | 1249 2446 56195 | 18987 10879 26 | 3.028 % | 268.20/268.34 c | 87381 | 1249 2446 56195 | 20886 11387 24 | 3.028 % | 315.08/315.24 c | 131171 | 1247 2446 56195 | 22974 12553 27 | 3.183 % | 385.86/386.10 c | 196856 | 1247 2446 56195 | 25272 19754 26 | 3.183 % | 490.41/490.61 c | 295383 | 1227 2446 56195 | 27799 5882 24 | 4.736 % | 537.89/538.15 c =============================================================================== 538.19/538.43 c core #1 538.19/538.43 c 538.19/538.43 c 538.19/538.43 c Core size: 17 Core Weight: 1 Total Weight: 56 538.19/538.43 c 538.19/538.43 c 538.19/538.43 c ============================[ Search Statistics ]============================== 538.19/538.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 538.19/538.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 538.19/538.43 c =============================================================================== 538.19/538.43 c | 0 | 1260 2451 56214 | 5000 0 nan | 0.000 % | 538.29/538.56 c | 100 | 1259 2451 56214 | 5500 100 22 | 2.630 % | 538.39/538.65 c | 251 | 1259 2451 56214 | 6050 251 27 | 2.630 % | 538.59/538.81 c | 476 | 1259 2451 56214 | 6655 476 27 | 2.630 % | 538.80/539.07 c | 814 | 1259 2451 56214 | 7320 814 26 | 2.630 % | 539.10/539.38 c | 1322 | 1259 2451 56214 | 8052 1321 27 | 2.630 % | 539.59/539.85 c | 2081 | 1259 2451 56214 | 8857 2080 25 | 2.630 % | 540.39/540.68 c | 3222 | 1259 2451 56214 | 9743 3221 26 | 2.630 % | 541.69/541.98 c | 4932 | 1259 2451 56214 | 10717 4931 25 | 2.630 % | 543.89/544.10 c | 7494 | 1258 2451 56214 | 11789 7491 25 | 2.707 % | 547.29/547.53 c | 11338 | 1258 2451 56214 | 12968 11335 26 | 2.707 % | 552.48/552.76 c | 17105 | 1258 2451 56214 | 14265 10482 26 | 2.707 % | 561.90/562.19 c | 25754 | 1258 2451 56214 | 15692 11903 25 | 2.707 % | 574.68/574.97 c | 38730 | 1258 2451 56214 | 17261 8761 27 | 2.707 % | 596.67/596.97 c | 58193 | 1258 2451 56214 | 18987 10714 26 | 2.707 % | 626.96/627.26 c | 87385 | 1258 2451 56214 | 20886 10988 26 | 2.707 % | 670.54/670.85 c | 131175 | 1258 2451 56214 | 22974 12343 24 | 2.707 % | 738.32/738.62 c | 196860 | 1258 2451 56214 | 25272 18559 25 | 2.707 % | 850.18/850.54 c | 295387 | 1258 2451 56214 | 27799 21722 25 | 2.707 % | 1015.62/1016.08 c | 443176 | 1258 2451 56214 | 30579 23616 24 | 2.707 % | 1276.53/1277.01 c | 664859 | 1254 2451 56214 | 33637 27991 24 | 3.016 % | 1458.84/1459.41 c =============================================================================== 1459.44/1460.02 c core #2 1459.44/1460.02 c 1459.44/1460.02 c 1459.44/1460.02 c Core size: 16 Core Weight: 1 Total Weight: 57 1459.44/1460.02 c 1459.44/1460.02 c 1459.44/1460.02 c ============================[ Search Statistics ]============================== 1459.44/1460.02 c | Conflicts | ORIGINAL | LEARNT | Progress | 1459.44/1460.02 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1459.44/1460.02 c =============================================================================== 1459.44/1460.02 c | 0 | 1268 2455 56258 | 5000 0 nan | 0.000 % | 1459.54/1460.19 c | 100 | 1267 2455 56258 | 5500 100 27 | 2.313 % | 1459.74/1460.30 c | 251 | 1267 2455 56258 | 6050 251 28 | 2.313 % | 1459.84/1460.46 c | 478 | 1267 2455 56258 | 6655 478 31 | 2.313 % | 1460.14/1460.71 c | 817 | 1267 2455 56258 | 7320 817 30 | 2.313 % | 1460.44/1461.05 c | 1323 | 1267 2455 56258 | 8052 1322 31 | 2.313 % | 1460.94/1461.57 c | 2084 | 1267 2455 56258 | 8857 2083 30 | 2.313 % | 1461.74/1462.30 c | 3226 | 1267 2455 56258 | 9743 3225 30 | 2.313 % | 1462.94/1463.60 c | 4934 | 1267 2455 56258 | 10717 4933 31 | 2.313 % | 1465.24/1465.82 c | 7497 | 1266 2455 56258 | 11789 7494 31 | 2.390 % | 1468.74/1469.36 c | 11342 | 1266 2455 56258 | 12968 11339 31 | 2.390 % | 1474.33/1474.98 c | 17109 | 1266 2455 56258 | 14265 10451 29 | 2.390 % | 1482.34/1482.99 c | 25758 | 1266 2455 56258 | 15692 11908 29 | 2.390 % | 1495.13/1495.79 c | 38732 | 1266 2455 56258 | 17261 9014 30 | 2.390 % | 1516.12/1516.77 c | 58193 | 1266 2455 56258 | 18987 11103 30 | 2.390 % | 1546.02/1546.61 c | 87387 | 1266 2455 56258 | 20886 11667 29 | 2.390 % | 1590.09/1590.71 c | 131176 | 1265 2455 56258 | 22974 13134 31 | 2.467 % | 1654.67/1655.37 c | 196861 | 1265 2455 56258 | 25272 18785 31 | 2.467 % | 1769.72/1770.43 c | 295388 | 1265 2455 56258 | 27799 23429 30 | 2.467 % |
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-2680682-1277458738/watcher-2680682-1277458738 -o /tmp/evaluation-result-2680682-1277458738/solver-2680682-1277458738 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680682-1277458738.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.08 1.03 0.95 3/106 22708 /proc/meminfo: memFree=1852804/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=3044 CPUtime=0 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 284 0 0 0 0 0 0 0 24 0 1 0 121475422 3117056 202 1992294400 134512640 135752675 4287305392 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 761 202 137 303 0 338 0 [startup+0.07523 s] /proc/loadavg: 1.08 1.03 0.95 3/106 22708 /proc/meminfo: memFree=1852804/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=4376 CPUtime=0.07 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 708 0 0 0 7 0 0 0 24 0 1 0 121475422 4481024 626 1992294400 134512640 135752675 4287305392 18446744073709551615 134559936 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 1094 626 216 303 0 671 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 4376 [startup+0.101235 s] /proc/loadavg: 1.08 1.03 0.95 3/106 22708 /proc/meminfo: memFree=1852804/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=5048 CPUtime=0.1 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 886 0 0 0 10 0 0 0 25 0 1 0 121475422 5169152 804 1992294400 134512640 135752675 4287305392 18446744073709551615 135010915 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 1262 804 247 303 0 839 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 5048 [startup+0.301278 s] /proc/loadavg: 1.08 1.03 0.95 3/106 22708 /proc/meminfo: memFree=1852804/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=4676 CPUtime=0.29 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 956 0 0 0 29 0 0 0 25 0 1 0 121475422 4788224 745 1992294400 134512640 135752675 4287305392 18446744073709551615 134605373 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 1169 745 145 303 0 864 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4676 [startup+0.701364 s] /proc/loadavg: 1.08 1.03 0.95 3/106 22708 /proc/meminfo: memFree=1852804/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=4808 CPUtime=0.69 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 960 0 0 0 69 0 0 0 25 0 1 0 121475422 4923392 749 1992294400 134512640 135752675 4287305392 18446744073709551615 134605412 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 1202 749 145 303 0 897 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4808 [startup+1.50053 s] /proc/loadavg: 1.08 1.03 0.95 2/107 22709 /proc/meminfo: memFree=1850192/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=5072 CPUtime=1.49 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 1035 0 0 0 149 0 0 0 25 0 1 0 121475422 5193728 824 1992294400 134512640 135752675 4287305392 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 1268 824 145 303 0 963 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5072 [startup+3.10088 s] /proc/loadavg: 1.08 1.03 0.95 2/107 22709 /proc/meminfo: memFree=1849572/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=5600 CPUtime=3.09 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 1155 0 0 0 308 1 0 0 25 0 1 0 121475422 5734400 944 1992294400 134512640 135752675 4287305392 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 1400 944 145 303 0 1095 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5600 [startup+6.30056 s] /proc/loadavg: 1.07 1.03 0.95 2/107 22711 /proc/meminfo: memFree=1848580/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=6392 CPUtime=6.29 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 1352 0 0 0 626 3 0 0 25 0 1 0 121475422 6545408 1141 1992294400 134512640 135752675 4287305392 18446744073709551615 134605286 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 1598 1141 145 303 0 1293 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6392 [startup+12.7009 s] /proc/loadavg: 1.07 1.02 0.95 2/107 22711 /proc/meminfo: memFree=1847092/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=7848 CPUtime=12.69 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 1732 0 0 0 1263 6 0 0 25 0 1 0 121475422 8036352 1521 1992294400 134512640 135752675 4287305392 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 1962 1521 145 303 0 1657 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 7848 [startup+25.5016 s] /proc/loadavg: 1.05 1.02 0.95 2/107 22711 /proc/meminfo: memFree=1843744/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=11148 CPUtime=25.49 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 2550 0 0 0 2537 12 0 0 25 0 1 0 121475422 11415552 2339 1992294400 134512640 135752675 4287305392 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 2787 2339 145 303 0 2482 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 11148 [startup+51.1011 s] /proc/loadavg: 1.03 1.02 0.95 2/107 22711 /proc/meminfo: memFree=1837420/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=17484 CPUtime=51.07 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 4143 0 0 0 5084 23 0 0 25 0 1 0 121475422 17903616 3932 1992294400 134512640 135752675 4287305392 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 4371 3932 145 303 0 4066 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17484 [startup+102.309 s] /proc/loadavg: 1.01 1.02 0.95 2/107 22713 /proc/meminfo: memFree=1825144/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=29396 CPUtime=102.26 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 7128 0 0 0 10180 46 0 0 25 0 1 0 121475422 30101504 6917 1992294400 134512640 135752675 4287305392 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 7349 6917 145 303 0 7044 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 29396 [startup+162.302 s] /proc/loadavg: 1.00 1.01 0.95 2/107 22715 /proc/meminfo: memFree=1812372/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=42088 CPUtime=162.23 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 10301 0 0 0 16155 68 0 0 25 0 1 0 121475422 43098112 10090 1992294400 134512640 135752675 4287305392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 10522 10090 145 303 0 10217 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 42088 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22715 /proc/meminfo: memFree=1806668/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=47800 CPUtime=222.21 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 11708 0 0 0 22132 89 0 0 25 0 1 0 121475422 48947200 11497 1992294400 134512640 135752675 4287305392 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 11950 11497 146 303 0 11645 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 47800 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22717 /proc/meminfo: memFree=1802948/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=51392 CPUtime=282.18 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 12631 0 0 0 28109 109 0 0 25 0 1 0 121475422 52625408 12420 1992294400 134512640 135752675 4287305392 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 12848 12420 146 303 0 12543 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 51392 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22719 /proc/meminfo: memFree=1793896/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=60364 CPUtime=342.16 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 14855 0 0 0 34084 132 0 0 25 0 1 0 121475422 61812736 14644 1992294400 134512640 135752675 4287305392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 15091 14644 146 303 0 14786 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 60364 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22721 /proc/meminfo: memFree=1783852/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=70612 CPUtime=402.14 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 17397 0 0 0 40059 155 0 0 25 0 1 0 121475422 72306688 17186 1992294400 134512640 135752675 4287305392 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 17653 17186 146 303 0 17348 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 70612 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22723 /proc/meminfo: memFree=1774056/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=80164 CPUtime=462.13 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 19814 0 0 0 46033 180 0 0 25 0 1 0 121475422 82087936 19603 1992294400 134512640 135752675 4287305392 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 20041 19603 146 303 0 19736 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 80164 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22723 /proc/meminfo: memFree=1764756/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=89616 CPUtime=522.1 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 22147 0 0 0 52010 200 0 0 25 0 1 0 121475422 91766784 21936 1992294400 134512640 135752675 4287305392 18446744073709551615 134605286 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 22404 21936 146 303 0 22099 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 89616 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22725 /proc/meminfo: memFree=1759796/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=94100 CPUtime=582.08 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 23304 0 0 0 57984 224 0 0 25 0 1 0 121475422 96358400 23065 1992294400 134512640 135752675 4287305392 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 23525 23065 146 303 0 23220 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 94100 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22727 /proc/meminfo: memFree=1754092/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=99880 CPUtime=642.06 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 24775 0 0 0 63961 245 0 0 25 0 1 0 121475422 102277120 24536 1992294400 134512640 135752675 4287305392 18446744073709551615 134519024 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 24970 24536 146 303 0 24665 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 99880 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22733 /proc/meminfo: memFree=1721480/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=132384 CPUtime=881.97 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 32860 0 0 0 87863 334 0 0 25 0 1 0 121475422 135561216 32621 1992294400 134512640 135752675 4287305392 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 33096 32621 146 303 0 32791 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 132384 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22735 /proc/meminfo: memFree=1712304/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=141400 CPUtime=941.95 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 35134 0 0 0 93842 353 0 0 25 0 1 0 121475422 144793600 34895 1992294400 134512640 135752675 4287305392 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 35350 34895 146 303 0 35045 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 141400 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22737 /proc/meminfo: memFree=1703004/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=150640 CPUtime=1001.92 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 37431 0 0 0 99814 378 0 0 25 0 1 0 121475422 154255360 37192 1992294400 134512640 135752675 4287305392 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 37660 37192 146 303 0 37355 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 150640 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22739 /proc/meminfo: memFree=1694076/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=159660 CPUtime=1061.91 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 39693 0 0 0 105791 400 0 0 25 0 1 0 121475422 163491840 39454 1992294400 134512640 135752675 4287305392 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 39915 39454 146 303 0 39610 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 159660 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22739 /proc/meminfo: memFree=1684776/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=168852 CPUtime=1121.88 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 41977 0 0 0 111766 422 0 0 25 0 1 0 121475422 172904448 41738 1992294400 134512640 135752675 4287305392 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 42213 41738 146 303 0 41908 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 168852 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22741 /proc/meminfo: memFree=1676716/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=176896 CPUtime=1181.86 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 43984 0 0 0 117744 442 0 0 25 0 1 0 121475422 181141504 43745 1992294400 134512640 135752675 4287305392 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 44224 43745 146 303 0 43919 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 176896 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22743 /proc/meminfo: memFree=1667912/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=185616 CPUtime=1241.83 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 46139 0 0 0 123719 464 0 0 25 0 1 0 121475422 190070784 45900 1992294400 134512640 135752675 4287305392 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 46404 45900 146 303 0 46099 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 185616 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.95 3/107 22745 /proc/meminfo: memFree=1658860/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=194336 CPUtime=1301.82 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 48350 0 0 0 129698 484 0 0 25 0 1 0 121475422 199000064 48111 1992294400 134512640 135752675 4287305392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 48584 48111 146 303 0 48279 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 194336 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22756 /proc/meminfo: memFree=1650800/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=202256 CPUtime=1361.78 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 50328 0 0 0 135675 503 0 0 25 0 1 0 121475422 207110144 50089 1992294400 134512640 135752675 4287305392 18446744073709551615 134611647 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 50564 50089 146 303 0 50259 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 202256 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22756 /proc/meminfo: memFree=1642244/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=210704 CPUtime=1421.76 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 52439 0 0 0 141650 526 0 0 25 0 1 0 121475422 215760896 52200 1992294400 134512640 135752675 4287305392 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 52676 52200 146 303 0 52371 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 210704 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22758 /proc/meminfo: memFree=1635672/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=217456 CPUtime=1481.73 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 54115 0 0 0 147626 547 0 0 25 0 1 0 121475422 222674944 53876 1992294400 134512640 135752675 4287305392 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 54364 53876 146 303 0 54059 0 Current children cumulated CPU time (s) 1481.73 Current children cumulated vsize (KiB) 217456 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22760 /proc/meminfo: memFree=1635424/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=217456 CPUtime=1541.71 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 54160 0 0 0 153603 568 0 0 25 0 1 0 121475422 222674944 53921 1992294400 134512640 135752675 4287305392 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 54364 53921 146 303 0 54059 0 Current children cumulated CPU time (s) 1541.71 Current children cumulated vsize (KiB) 217456 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22762 /proc/meminfo: memFree=1628604/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=224336 CPUtime=1601.69 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 55891 0 0 0 159580 589 0 0 25 0 1 0 121475422 229720064 55652 1992294400 134512640 135752675 4287305392 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 56084 55652 146 303 0 55779 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 224336 [startup+1662.3 s] /proc/loadavg: 1.05 1.01 0.95 2/107 22764 /proc/meminfo: memFree=1620792/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=231996 CPUtime=1661.66 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 57805 0 0 0 165557 609 0 0 25 0 1 0 121475422 237563904 57566 1992294400 134512640 135752675 4287305392 18446744073709551615 134605418 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 57999 57566 146 303 0 57694 0 Current children cumulated CPU time (s) 1661.66 Current children cumulated vsize (KiB) 231996 [startup+1722.3 s] /proc/loadavg: 1.02 1.01 0.95 2/107 22764 /proc/meminfo: memFree=1613848/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=239032 CPUtime=1721.64 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 59545 0 0 0 171533 631 0 0 25 0 1 0 121475422 244768768 59306 1992294400 134512640 135752675 4287305392 18446744073709551615 134605064 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 59758 59306 146 303 0 59453 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 239032 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22766 /proc/meminfo: memFree=1606160/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=246580 CPUtime=1781.62 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 61405 0 0 0 177507 655 0 0 25 0 1 0 121475422 252497920 61166 1992294400 134512640 135752675 4287305392 18446744073709551615 134605239 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 61645 61166 146 303 0 61340 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 246580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22766 /proc/meminfo: memFree=1603680/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=248972 CPUtime=1800.03 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 61998 0 0 0 179342 661 0 0 25 0 1 0 121475422 254947328 61759 1992294400 134512640 135752675 4287305392 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 62243 61759 146 303 0 61938 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 248972 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.95 2/107 22766 /proc/meminfo: memFree=1603680/2059040 swapFree=4139960/4192956 [pid=22708] ppid=22706 vsize=248972 CPUtime=1800.03 /proc/22708/stat : 22708 (wbo1.4b) R 22706 22708 22118 0 -1 4202496 61998 0 0 0 179342 661 0 0 25 0 1 0 121475422 254947328 61759 1992294400 134512640 135752675 4287305392 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22708/statm: 62243 61759 146 303 0 61938 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 248972 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.74 CPU time (s): 1800.07 CPU user time (s): 1793.43 CPU system time (s): 6.64099 CPU usage (%): 99.9626 Max. virtual memory (cumulated for all children) (KiB): 248972 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.43 system time used= 6.64099 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61998 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= 5 involuntary context switches= 20376 runsolver used 2.98754 second user time and 8.50271 second system time The end
Begin job on node010 at 2010-06-25 11:38:58 IDJOB=2680682 IDBENCH=2940 IDSOLVER=1190 FILE ID=node010/2680682-1277458738 PBS_JOBID= 11188148 Free space on /tmp= 62392 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_11.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680682-1277458738/watcher-2680682-1277458738 -o /tmp/evaluation-result-2680682-1277458738/solver-2680682-1277458738 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680682-1277458738.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c19ad978a977652a94fc03b8ce63204a RANDOM SEED=1356361680 node010.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.267 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.53 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.267 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1853332 kB Buffers: 31568 kB Cached: 74756 kB SwapCached: 5536 kB Active: 21856 kB Inactive: 97500 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1853332 kB SwapTotal: 4192956 kB SwapFree: 4139960 kB Dirty: 3108 kB Writeback: 0 kB AnonPages: 11596 kB Mapped: 11948 kB Slab: 64312 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182456 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= 62388 MiB End job on node010 at 2010-06-25 12:09:01