Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.19 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_1.opb |
MD5SUM | fac2f381943513d71e556a5764721ca3 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -26 |
Best CPU time to get the best result obtained on this benchmark | 1688.21 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -26 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1248 |
Sum of products size (including duplicates) | 2496 |
Number of different products | 624 |
Sum of products size | 1248 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702567-1278570242.opb. 0.00/0.00 c Instance file HOME/instance-2702567-1278570242.opb 0.00/0.00 c File size is 49316 bytes. 0.00/0.00 c Highest Coefficient sum: 18 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 724 | 0.00/0.01 c | Number Clauses: 624 | 0.00/0.01 c | Number Cardinality: 200 | 0.00/0.01 c | Number PB Constraints: 624 | 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 | 100 1448 2978 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 0 0.00/0.01 o 0 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1449 3078 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: -1 0.00/0.01 o -1 0.00/0.01 c Elapsed CPU time: 0.011998 s Remaining CPU time: 179.988 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1450 3178 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: -2 0.00/0.01 o -2 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1451 3278 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: -3 0.00/0.01 o -3 0.00/0.01 c Elapsed CPU time: 0.012998 s Remaining CPU time: 179.987 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 100 1452 3378 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: -4 0.00/0.01 o -4 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 2 | 100 1453 3478 | 5000 2 97 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: -5 0.00/0.01 o -5 0.00/0.01 c Elapsed CPU time: 0.013997 s Remaining CPU time: 179.986 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 3 | 100 1454 3578 | 5000 3 97 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: -6 0.00/0.01 o -6 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 4 | 100 1455 3678 | 5000 4 96 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: -7 0.00/0.01 o -7 0.00/0.01 c Elapsed CPU time: 0.014997 s Remaining CPU time: 179.985 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 4 | 100 1456 3778 | 5000 4 96 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: -8 0.00/0.01 o -8 0.00/0.01 c Elapsed CPU time: 0.015997 s Remaining CPU time: 179.984 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 14 | 100 1457 3878 | 5000 14 95 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: -9 0.00/0.01 o -9 0.00/0.01 c Elapsed CPU time: 0.016997 s Remaining CPU time: 179.983 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 18 | 100 1458 3978 | 5000 18 95 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: -10 0.00/0.01 o -10 0.00/0.01 c Elapsed CPU time: 0.017997 s Remaining CPU time: 179.982 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 40 | 100 1459 4078 | 5000 40 94 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -11 0.00/0.02 o -11 0.00/0.02 c Elapsed CPU time: 0.019996 s Remaining CPU time: 179.98 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 75 | 100 1460 4178 | 5000 75 94 | 0.000 % | 0.00/0.02 c =============================================================================== 0.00/0.02 c New solution: -12 0.00/0.02 o -12 0.00/0.02 c Elapsed CPU time: 0.022996 s Remaining CPU time: 179.977 s 0.00/0.02 c =============================================================================== 0.00/0.02 c | 132 | 100 1461 4278 | 5000 132 93 | 0.000 % | 0.00/0.02 c | 232 | 100 1461 4278 | 5500 232 92 | 86.188 % | 0.03/0.03 c =============================================================================== 0.03/0.03 c New solution: -13 0.03/0.03 o -13 0.03/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.03/0.03 c =============================================================================== 0.03/0.03 c | 338 | 100 1462 4378 | 5000 338 91 | 86.188 % | 0.03/0.04 c | 439 | 100 1462 4378 | 5500 439 91 | 86.188 % | 0.03/0.05 c =============================================================================== 0.03/0.05 c New solution: -14 0.03/0.05 o -14 0.03/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.03/0.05 c =============================================================================== 0.03/0.05 c | 556 | 100 1463 4478 | 5000 556 91 | 86.188 % | 0.03/0.06 c | 656 | 100 1463 4478 | 5500 656 91 | 86.188 % | 0.03/0.06 c =============================================================================== 0.03/0.06 c New solution: -15 0.03/0.06 o -15 0.03/0.06 c Elapsed CPU time: 0.06299 s Remaining CPU time: 179.937 s 0.03/0.06 c =============================================================================== 0.03/0.06 c | 704 | 100 1464 4578 | 5000 704 91 | 86.188 % | 0.03/0.07 c | 807 | 100 1464 4578 | 5500 807 91 | 86.188 % | 0.03/0.09 c | 958 | 100 1464 4578 | 6050 958 92 | 86.188 % | 0.09/0.11 c =============================================================================== 0.09/0.11 c New solution: -16 0.09/0.11 o -16 0.09/0.11 c Elapsed CPU time: 0.116982 s Remaining CPU time: 179.883 s 0.09/0.11 c =============================================================================== 0.09/0.11 c | 1101 | 100 1465 4678 | 5000 1101 92 | 86.188 % | 0.09/0.13 c | 1201 | 100 1465 4678 | 5500 1201 93 | 86.188 % | 0.09/0.15 c | 1351 | 100 1465 4678 | 6050 1351 93 | 86.188 % | 0.09/0.19 c | 1577 | 100 1465 4678 | 6655 1577 92 | 86.188 % | 0.19/0.23 c | 1914 | 100 1465 4678 | 7320 1914 93 | 86.188 % | 0.19/0.30 c | 2422 | 100 1465 4678 | 8052 2422 93 | 86.188 % | 0.39/0.43 c | 3181 | 100 1465 4678 | 8857 3181 92 | 86.188 % | 0.69/0.76 c | 4321 | 100 1465 4678 | 9743 4321 90 | 86.188 % | 1.00/1.08 c | 6031 | 100 1465 4678 | 10717 6031 89 | 86.188 % | 1.29/1.36 c =============================================================================== 1.29/1.36 c New solution: -17 1.29/1.36 o -17 1.29/1.36 c Elapsed CPU time: 1.3458 s Remaining CPU time: 178.654 s 1.29/1.36 c =============================================================================== 1.29/1.36 c | 6961 | 100 1466 4778 | 5000 6961 89 | 86.188 % | 1.39/1.41 c | 7065 | 100 1466 4778 | 5500 3585 87 | 86.188 % | 1.39/1.44 c | 7217 | 100 1466 4778 | 6050 3737 87 | 86.188 % | 1.49/1.50 c | 7444 | 100 1466 4778 | 6655 3964 88 | 86.188 % | 1.49/1.59 c | 7781 | 100 1466 4778 | 7320 4301 88 | 86.188 % | 1.69/1.71 c =============================================================================== 1.69/1.71 c New solution: -18 1.69/1.71 o -18 1.69/1.71 c Elapsed CPU time: 1.69774 s Remaining CPU time: 178.302 s 1.69/1.71 c =============================================================================== 1.69/1.71 c | 8238 | 100 1467 4878 | 5000 4758 88 | 86.188 % | 1.69/1.72 c | 8338 | 100 1467 4878 | 5500 4858 88 | 86.188 % | 1.69/1.76 c | 8488 | 100 1467 4878 | 6050 5008 88 | 86.188 % | 1.80/1.82 c | 8713 | 100 1467 4878 | 6655 5233 88 | 86.188 % | 1.90/1.94 c | 9053 | 100 1467 4878 | 7320 5573 87 | 86.188 % | 1.99/2.08 c | 9559 | 100 1467 4878 | 8052 6079 87 | 86.188 % | 2.10/2.17 c | 10319 | 100 1467 4878 | 8857 6839 87 | 86.188 % | 2.39/2.49 c | 11458 | 100 1467 4878 | 9743 7978 87 | 86.188 % | 2.89/2.99 c | 13166 | 100 1467 4878 | 10717 9686 88 | 86.188 % | 3.69/3.72 c | 15728 | 100 1467 4878 | 11789 6542 91 | 86.188 % | 3.99/4.04 c =============================================================================== 3.99/4.04 c New solution: -19 3.99/4.04 o -19 3.99/4.04 c Elapsed CPU time: 3.99739 s Remaining CPU time: 176.003 s 3.99/4.04 c =============================================================================== 3.99/4.04 c | 17089 | 100 1468 4978 | 5000 7903 90 | 86.188 % | 3.99/4.08 c | 17191 | 100 1468 4978 | 5500 4054 91 | 86.188 % | 4.09/4.11 c | 17341 | 100 1468 4978 | 6050 4204 92 | 86.188 % | 4.09/4.16 c | 17567 | 100 1468 4978 | 6655 4430 91 | 86.188 % | 4.19/4.23 c | 17904 | 100 1468 4978 | 7320 4767 91 | 86.188 % | 4.30/4.36 c | 18410 | 100 1468 4978 | 8052 5273 90 | 86.188 % | 4.40/4.48 c =============================================================================== 4.40/4.48 c New solution: -20 4.40/4.48 o -20 4.40/4.48 c Elapsed CPU time: 4.44032 s Remaining CPU time: 175.56 s 4.40/4.48 c =============================================================================== 4.40/4.48 c | 19020 | 100 1469 5078 | 5000 5883 90 | 86.188 % | 4.49/4.52 c | 19122 | 100 1469 5078 | 5500 3044 87 | 86.188 % | 4.49/4.53 c | 19272 | 100 1469 5078 | 6050 3194 87 | 86.188 % | 4.49/4.57 c | 19498 | 100 1469 5078 | 6655 3420 88 | 86.188 % | 4.59/4.64 c | 19838 | 100 1469 5078 | 7320 3760 87 | 86.188 % | 4.69/4.75 c | 20346 | 100 1469 5078 | 8052 4268 87 | 86.188 % | 4.89/4.91 c | 21106 | 100 1469 5078 | 8857 5028 88 | 86.188 % | 5.19/5.22 c | 22246 | 100 1469 5078 | 9743 6168 92 | 86.188 % | 5.50/5.52 c | 23954 | 100 1469 5078 | 10717 7876 90 | 86.188 % | 5.79/5.88 c | 26519 | 100 1469 5078 | 11789 10441 88 | 86.188 % | 7.49/7.50 c | 30367 | 100 1469 5078 | 12968 8041 84 | 86.188 % | 11.88/11.93 c | 36134 | 100 1469 5078 | 14265 6972 87 | 86.188 % | 16.29/16.32 c | 44784 | 100 1469 5078 | 15692 8136 85 | 86.188 % | 20.68/20.76 c | 57759 | 100 1469 5078 | 17261 12912 84 | 86.188 % | 27.68/27.75 c | 77223 | 100 1469 5078 | 18987 14412 84 | 86.188 % | 36.68/36.71 c | 106417 | 100 1469 5078 | 20886 14069 84 | 86.188 % | 62.97/63.03 c | 150207 | 100 1469 5078 | 22974 14144 84 | 86.188 % | 109.36/109.47 c | 215892 | 100 1469 5078 | 25272 15183 84 | 86.188 % | 111.76/111.89 c =============================================================================== 111.76/111.89 c New solution: -21 111.76/111.89 o -21 111.76/111.89 c Elapsed CPU time: 111.137 s Remaining CPU time: 68.8629 s 111.76/111.89 c =============================================================================== 111.76/111.89 c | 220034 | 100 1470 5178 | 5000 19325 84 | 86.188 % | 111.96/112.05 c | 220136 | 100 1470 5178 | 5500 4934 85 | 86.188 % | 112.06/112.10 c | 220287 | 100 1470 5178 | 6050 5085 85 | 86.188 % | 112.06/112.15 c | 220512 | 100 1470 5178 | 6655 5310 85 | 86.188 % | 112.16/112.27 c | 220849 | 100 1470 5178 | 7320 5647 85 | 86.188 % | 112.36/112.44 c | 221357 | 100 1470 5178 | 8052 6155 85 | 86.188 % | 112.66/112.76 c | 222117 | 100 1470 5178 | 8857 6915 86 | 86.188 % | 113.05/113.16 c | 223256 | 100 1470 5178 | 9743 8054 91 | 86.188 % | 113.56/113.62 c | 224965 | 100 1470 5178 | 10717 9763 99 | 86.188 % | 114.06/114.12 c | 227529 | 100 1470 5178 | 11789 6616 116 | 86.188 % | 115.26/115.32 c | 231374 | 100 1470 5178 | 12968 10461 120 | 86.188 % | 117.96/118.02 c | 237142 | 100 1470 5178 | 14265 9394 117 | 86.188 % | 121.96/122.01 c | 245792 | 100 1470 5178 | 15692 10562 105 | 86.188 % | 125.85/125.93 c | 258768 | 100 1470 5178 | 17261 15340 103 | 86.188 % | 131.95/132.02 c =============================================================================== 131.95/132.02 c New solution: -22 131.95/132.02 o -22 131.95/132.02 c Elapsed CPU time: 131.106 s Remaining CPU time: 48.8939 s 131.95/132.02 c =============================================================================== 131.95/132.02 c | 269017 | 100 1471 5278 | 5000 16609 110 | 86.188 % | 132.05/132.13 c | 269117 | 100 1471 5278 | 5500 4253 102 | 86.188 % | 132.05/132.19 c | 269267 | 100 1471 5278 | 6050 4403 101 | 86.188 % | 132.16/132.22 c | 269494 | 100 1471 5278 | 6655 4630 101 | 86.188 % | 132.25/132.32 c | 269832 | 100 1471 5278 | 7320 4968 102 | 86.188 % | 132.35/132.44 c | 270338 | 100 1471 5278 | 8052 5474 106 | 86.188 % | 132.55/132.64 c | 271097 | 100 1471 5278 | 8857 6233 119 | 86.188 % | 132.96/133.01 c | 272237 | 100 1471 5278 | 9743 7373 130 | 86.188 % | 133.65/133.71 c | 273945 | 100 1471 5278 | 10717 9081 150 | 86.188 % | 134.64/134.73 c | 276508 | 100 1471 5278 | 11789 5934 181 | 86.188 % | 135.65/135.73 c | 280353 | 100 1471 5278 | 12968 9779 145 | 86.188 % | 137.85/137.95 c | 286122 | 100 1471 5278 | 14265 8714 96 | 86.188 % | 141.95/142.02 c | 294771 | 100 1471 5278 | 15692 9881 102 | 86.188 % | 148.74/148.87 c | 307747 | 100 1471 5278 | 17261 14661 89 | 86.188 % | 160.84/160.90 c | 327210 | 100 1471 5278 | 18987 16175 97 | 86.188 % | 179.93/180.04 c | 356403 | 100 1471 5278 | 20886 15834 137 | 86.188 % | 181.13/181.27 c There are 624 assigned variables. 0 in cost function. 181.64/181.76 c core #1 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -99 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #2 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -98 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #3 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -97 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #4 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -96 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #5 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -95 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #6 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -94 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #7 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -93 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #8 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -92 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #9 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -91 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #10 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -90 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #11 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -89 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #12 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -88 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #13 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -87 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #14 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -86 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #15 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -85 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #16 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -84 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #17 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -83 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #18 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -82 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #19 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -81 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #20 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -80 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #21 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -79 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #22 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -78 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #23 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -77 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #24 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -76 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #25 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -75 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #26 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -74 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #27 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -73 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #28 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -72 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #29 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -71 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #30 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -70 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #31 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -69 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #32 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -68 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #33 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -67 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #34 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -66 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #35 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -65 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #36 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -64 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #37 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -63 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #38 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -62 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #39 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -61 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #40 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -60 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #41 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -59 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #42 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -58 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #43 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -57 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #44 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -56 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #45 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -55 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #46 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 3 Core Weight: 1 Total Weight: -54 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #47 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 7 Core Weight: 1 Total Weight: -53 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #48 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 7 Core Weight: 1 Total Weight: -52 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #49 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 7 Core Weight: 1 Total Weight: -51 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c core #50 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 11 Core Weight: 1 Total Weight: -50 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c ============================[ Search Statistics ]============================== 181.64/181.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.76 c =============================================================================== 181.64/181.76 c | 0 | 210 1421 3868 | 5000 0 nan | 0.000 % | 181.64/181.76 c =============================================================================== 181.64/181.76 c core #51 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 14 Core Weight: 1 Total Weight: -49 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c ============================[ Search Statistics ]============================== 181.64/181.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.76 c =============================================================================== 181.64/181.76 c | 0 | 218 1422 3884 | 5000 0 nan | 0.000 % | 181.64/181.76 c =============================================================================== 181.64/181.76 c core #52 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c Core size: 23 Core Weight: 1 Total Weight: -48 181.64/181.76 c 181.64/181.76 c 181.64/181.76 c ============================[ Search Statistics ]============================== 181.64/181.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.76 c =============================================================================== 181.64/181.76 c | 0 | 236 1423 3920 | 5000 0 nan | 0.000 % | 181.64/181.76 c =============================================================================== 181.64/181.77 c core #53 181.64/181.77 c 181.64/181.77 c 181.64/181.77 c Core size: 35 Core Weight: 1 Total Weight: -47 181.64/181.77 c 181.64/181.77 c 181.64/181.77 c ============================[ Search Statistics ]============================== 181.64/181.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.77 c =============================================================================== 181.64/181.77 c | 0 | 264 1424 3976 | 5000 0 nan | 0.000 % | 181.64/181.77 c =============================================================================== 181.64/181.77 c core #54 181.64/181.77 c 181.64/181.77 c 181.64/181.77 c Core size: 14 Core Weight: 1 Total Weight: -46 181.64/181.77 c 181.64/181.77 c 181.64/181.77 c ============================[ Search Statistics ]============================== 181.64/181.77 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.77 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.77 c =============================================================================== 181.64/181.77 c | 0 | 272 1425 3992 | 5000 0 nan | 0.000 % | 181.64/181.77 c =============================================================================== 181.64/181.78 c core #55 181.64/181.78 c 181.64/181.78 c 181.64/181.78 c Core size: 10 Core Weight: 1 Total Weight: -45 181.64/181.78 c 181.64/181.78 c 181.64/181.78 c ============================[ Search Statistics ]============================== 181.64/181.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.78 c =============================================================================== 181.64/181.78 c | 0 | 278 1426 4004 | 5000 0 nan | 0.000 % | 181.64/181.78 c =============================================================================== 181.64/181.78 c core #56 181.64/181.78 c 181.64/181.78 c 181.64/181.78 c Core size: 14 Core Weight: 1 Total Weight: -44 181.64/181.78 c 181.64/181.78 c 181.64/181.78 c ============================[ Search Statistics ]============================== 181.64/181.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.78 c =============================================================================== 181.64/181.78 c | 0 | 286 1427 4020 | 5000 0 nan | 0.000 % | 181.64/181.78 c =============================================================================== 181.64/181.78 c core #57 181.64/181.78 c 181.64/181.78 c 181.64/181.78 c Core size: 18 Core Weight: 1 Total Weight: -43 181.64/181.78 c 181.64/181.78 c 181.64/181.78 c ============================[ Search Statistics ]============================== 181.64/181.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.79 c =============================================================================== 181.64/181.79 c | 0 | 296 1428 4040 | 5000 0 nan | 0.000 % | 181.64/181.79 c =============================================================================== 181.64/181.79 c core #58 181.64/181.79 c 181.64/181.79 c 181.64/181.79 c Core size: 18 Core Weight: 1 Total Weight: -42 181.64/181.79 c 181.64/181.79 c 181.64/181.79 c ============================[ Search Statistics ]============================== 181.64/181.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.79 c =============================================================================== 181.64/181.79 c | 0 | 306 1429 4060 | 5000 0 nan | 0.000 % | 181.64/181.79 c =============================================================================== 181.64/181.79 c core #59 181.64/181.79 c 181.64/181.79 c 181.64/181.79 c Core size: 14 Core Weight: 1 Total Weight: -41 181.64/181.79 c 181.64/181.79 c 181.64/181.79 c ============================[ Search Statistics ]============================== 181.64/181.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.64/181.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.64/181.79 c =============================================================================== 181.64/181.79 c | 0 | 316 1430 4080 | 5000 0 nan | 0.000 % | 181.64/181.79 c =============================================================================== 181.74/181.80 c core #60 181.74/181.80 c 181.74/181.80 c 181.74/181.80 c Core size: 23 Core Weight: 1 Total Weight: -40 181.74/181.80 c 181.74/181.80 c 181.74/181.80 c ============================[ Search Statistics ]============================== 181.74/181.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.80 c =============================================================================== 181.74/181.80 c | 0 | 334 1431 4116 | 5000 0 nan | 0.000 % | 181.74/181.81 c | 100 | 334 1431 4116 | 5500 100 7 | 65.136 % | 181.74/181.81 c =============================================================================== 181.74/181.81 c core #61 181.74/181.81 c 181.74/181.81 c 181.74/181.81 c Core size: 45 Core Weight: 1 Total Weight: -39 181.74/181.81 c 181.74/181.81 c 181.74/181.81 c ============================[ Search Statistics ]============================== 181.74/181.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.81 c =============================================================================== 181.74/181.81 c | 0 | 366 1432 4180 | 5000 0 nan | 0.000 % | 181.74/181.82 c | 100 | 366 1432 4180 | 5500 100 11 | 63.030 % | 181.74/181.83 c =============================================================================== 181.74/181.84 c core #62 181.74/181.84 c 181.74/181.84 c 181.74/181.84 c Core size: 37 Core Weight: 1 Total Weight: -38 181.74/181.84 c 181.74/181.84 c 181.74/181.84 c ============================[ Search Statistics ]============================== 181.74/181.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.84 c =============================================================================== 181.74/181.84 c | 0 | 394 1433 4236 | 5000 0 nan | 0.000 % | 181.74/181.85 c | 101 | 394 1433 4236 | 5500 101 26 | 61.297 % | 181.74/181.86 c | 252 | 394 1433 4236 | 6050 252 32 | 61.297 % | 181.74/181.89 c | 478 | 394 1433 4236 | 6655 478 29 | 61.297 % | 181.83/181.92 c | 815 | 394 1433 4236 | 7320 815 28 | 61.297 % | 181.83/181.99 c | 1321 | 394 1433 4236 | 8052 1321 27 | 61.297 % | 181.93/182.09 c | 2081 | 394 1433 4236 | 8857 2081 26 | 61.297 % | 182.14/182.27 c | 3224 | 383 1433 4236 | 9743 1782 25 | 62.378 % | 182.14/182.29 c =============================================================================== 182.24/182.33 c core #63 182.24/182.33 c 182.24/182.33 c 182.24/182.33 c Core size: 93 Core Weight: 1 Total Weight: -37 182.24/182.33 c 182.24/182.33 c 182.24/182.33 c ============================[ Search Statistics ]============================== 182.24/182.33 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.24/182.33 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.24/182.33 c =============================================================================== 182.24/182.33 c | 0 | 466 1434 4380 | 5000 0 nan | 0.000 % | 182.24/182.34 c | 100 | 466 1434 4380 | 5500 100 28 | 57.248 % | 182.24/182.35 c | 251 | 466 1434 4380 | 6050 251 24 | 57.248 % | 182.24/182.37 c | 477 | 466 1434 4380 | 6655 477 47 | 57.248 % | 182.34/182.40 c | 814 | 466 1434 4380 | 7320 814 56 | 57.248 % | 182.34/182.45 c | 1320 | 466 1434 4380 | 8052 1320 61 | 57.248 % | 182.44/182.53 c | 2080 | 466 1434 4380 | 8857 2080 64 | 57.248 % | 182.54/182.68 c | 3221 | 466 1434 4380 | 9743 3221 65 | 57.248 % | 182.84/182.94 c | 4929 | 466 1434 4380 | 10717 4929 67 | 57.248 % | 183.24/183.32 c | 7491 | 466 1434 4380 | 11789 7491 69 | 57.248 % | 184.14/184.24 c | 11336 | 466 1434 4380 | 12968 11336 71 | 57.248 % | 185.94/186.09 c | 17105 | 466 1434 4380 | 14265 10273 73 | 57.248 % | 187.94/188.10 c | 25756 | 466 1434 4380 | 15692 11440 72 | 57.248 % | 192.83/192.91 c | 38731 | 466 1434 4380 | 17261 16215 72 | 57.248 % | 198.53/198.68 c | 58193 | 466 1434 4380 | 18987 17717 73 | 57.248 % | 211.03/211.11 c | 87386 | 466 1434 4380 | 20886 17390 73 | 57.248 % | 225.03/225.10 c | 131175 | 466 1434 4380 | 22974 17427 73 | 57.248 % | 249.91/250.06 c | 196860 | 466 1434 4380 | 25272 18500 73 | 57.248 % | 292.90/293.02 c | 295388 | 466 1434 4380 | 27799 11275 72 | 57.248 % | 350.89/351.00 c | 443177 | 466 1434 4380 | 30579 18550 72 | 57.248 % | 466.16/466.39 c | 664861 | 465 1434 4380 | 33637 18216 72 | 57.340 % | 505.85/506.07 c =============================================================================== 507.44/507.61 c core #64 507.44/507.61 c 507.44/507.61 c 507.44/507.61 c Core size: 112 Core Weight: 1 Total Weight: -36 507.44/507.61 c 507.44/507.61 c 507.44/507.61 c ============================[ Search Statistics ]============================== 507.44/507.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 507.44/507.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 507.44/507.61 c =============================================================================== 507.44/507.61 c | 0 | 540 1435 4528 | 5000 0 nan | 0.000 % | 507.55/507.72 c | 102 | 540 1435 4528 | 5500 102 36 | 53.608 % | 507.55/507.75 c | 252 | 540 1435 4528 | 6050 252 55 | 53.608 % | 507.55/507.77 c | 479 | 540 1435 4528 | 6655 479 60 | 53.608 % | 507.64/507.81 c | 817 | 540 1435 4528 | 7320 817 63 | 53.608 % | 507.64/507.86 c | 1323 | 540 1435 4528 | 8052 1323 63 | 53.608 % | 507.74/507.93 c | 2082 | 540 1435 4528 | 8857 2082 62 | 53.608 % | 507.84/508.04 c | 3223 | 540 1435 4528 | 9743 3223 61 | 53.608 % | 507.94/508.19 c | 4933 | 540 1435 4528 | 10717 4933 60 | 53.608 % | 508.24/508.47 c | 7495 | 540 1435 4528 | 11789 7495 60 | 53.608 % | 509.24/509.40 c | 11340 | 540 1435 4528 | 12968 11340 61 | 53.608 % | 511.34/511.58 c | 17106 | 540 1435 4528 | 14265 10270 67 | 53.608 % | 515.34/515.53 c | 25756 | 540 1435 4528 | 15692 11439 69 | 53.608 % | 521.04/521.20 c | 38731 | 540 1435 4528 | 17261 16217 70 | 53.608 % | 526.93/527.16 c | 58193 | 540 1435 4528 | 18987 17713 67 | 53.608 % | 535.44/535.63 c | 87387 | 540 1435 4528 | 20886 17372 68 | 53.608 % | 552.72/552.91 c | 131178 | 540 1435 4528 | 22974 17431 63 | 53.608 % | 575.42/575.66 c | 196864 | 540 1435 4528 | 25272 18463 66 | 53.608 % | 644.31/644.50 c | 295391 | 540 1435 4528 | 27799 11206 73 | 53.608 % | 718.68/718.94 c | 443181 | 540 1435 4528 | 30579 18689 70 | 53.608 % | 817.95/818.29 c | 664865 | 540 1435 4528 | 33637 17526 68 | 53.608 % | 968.81/969.19 c | 997392 | 540 1435 4528 | 37001 25047 56 | 53.608 % | 1363.79/1364.20 c | 1496184 | 540 1435 4528 | 40701 22030 72 | 53.608 % |
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-2702567-1278570242/watcher-2702567-1278570242 -o /tmp/evaluation-result-2702567-1278570242/solver-2702567-1278570242 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702567-1278570242.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29494 /proc/meminfo: memFree=1789464/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=2760 CPUtime=0 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 312 0 0 0 0 0 0 0 20 0 1 0 25235725 2826240 230 1992294400 134512640 135752675 4289976592 18446744073709551615 135162549 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 690 230 141 303 0 372 0 [startup+0.035226 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29494 /proc/meminfo: memFree=1789464/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=2924 CPUtime=0.03 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 391 0 0 0 3 0 0 0 20 0 1 0 25235725 2994176 296 1992294400 134512640 135752675 4289976592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 731 296 145 303 0 426 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2924 [startup+0.101235 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29494 /proc/meminfo: memFree=1789464/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=3316 CPUtime=0.09 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 473 0 0 0 9 0 0 0 20 0 1 0 25235725 3395584 378 1992294400 134512640 135752675 4289976592 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 829 378 145 303 0 524 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3316 [startup+0.301264 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29494 /proc/meminfo: memFree=1789464/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=3960 CPUtime=0.29 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 651 0 0 0 29 0 0 0 20 0 1 0 25235725 4055040 556 1992294400 134512640 135752675 4289976592 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 990 556 145 303 0 685 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3960 [startup+0.70132 s] /proc/loadavg: 0.92 0.98 0.99 3/106 29494 /proc/meminfo: memFree=1789464/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=4756 CPUtime=0.69 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 857 0 0 0 69 0 0 0 20 0 1 0 25235725 4870144 762 1992294400 134512640 135752675 4289976592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 1189 762 145 303 0 884 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4756 [startup+1.50143 s] /proc/loadavg: 0.92 0.98 0.99 2/107 29495 /proc/meminfo: memFree=1786728/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=6364 CPUtime=1.49 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 1263 0 0 0 148 1 0 0 22 0 1 0 25235725 6516736 1168 1992294400 134512640 135752675 4289976592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 1591 1168 145 303 0 1286 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6364 [startup+3.10066 s] /proc/loadavg: 0.92 0.98 0.99 2/107 29495 /proc/meminfo: memFree=1784620/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=9296 CPUtime=3.09 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 1987 0 0 0 307 2 0 0 25 0 1 0 25235725 9519104 1892 1992294400 134512640 135752675 4289976592 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 2324 1892 145 303 0 2019 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9296 [startup+6.30112 s] /proc/loadavg: 0.93 0.98 0.99 2/107 29495 /proc/meminfo: memFree=1778172/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=16232 CPUtime=6.29 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 3697 0 0 0 622 7 0 0 25 0 1 0 25235725 16621568 3602 1992294400 134512640 135752675 4289976592 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 4058 3602 145 303 0 3753 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16232 [startup+12.701 s] /proc/loadavg: 0.93 0.98 0.99 2/107 29495 /proc/meminfo: memFree=1771724/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=21332 CPUtime=12.69 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 4960 0 0 0 1259 10 0 0 25 0 1 0 25235725 21843968 4865 1992294400 134512640 135752675 4289976592 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 5333 4865 145 303 0 5028 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 21332 [startup+25.5008 s] /proc/loadavg: 0.95 0.98 0.99 2/107 29495 /proc/meminfo: memFree=1756844/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=35156 CPUtime=25.48 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 8413 0 0 0 2528 20 0 0 25 0 1 0 25235725 35999744 8318 1992294400 134512640 135752675 4289976592 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 8789 8318 145 303 0 8484 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 35156 [startup+51.1015 s] /proc/loadavg: 1.04 1.00 1.00 2/107 29497 /proc/meminfo: memFree=1728944/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=63128 CPUtime=51.08 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 15393 0 0 0 5069 39 0 0 25 0 1 0 25235725 64643072 15298 1992294400 134512640 135752675 4289976592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 15782 15298 145 303 0 15477 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 63128 [startup+102.309 s] /proc/loadavg: 1.09 1.02 1.01 2/107 29497 /proc/meminfo: memFree=1695588/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=96328 CPUtime=102.26 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 23668 0 0 0 10159 67 0 0 25 0 1 0 25235725 98639872 23573 1992294400 134512640 135752675 4289976592 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 24082 23573 145 303 0 23777 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 96328 [startup+162.301 s] /proc/loadavg: 1.03 1.01 1.00 2/107 29499 /proc/meminfo: memFree=1633960/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=158668 CPUtime=162.24 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 39241 0 0 0 16115 109 0 0 25 0 1 0 25235725 162476032 39146 1992294400 134512640 135752675 4289976592 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 39667 39146 145 303 0 39362 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 158668 [startup+222.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 29501 /proc/meminfo: memFree=1584112/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=207652 CPUtime=222.23 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 51526 0 0 0 22064 159 0 0 25 0 1 0 25235725 212635648 51431 1992294400 134512640 135752675 4289976592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 51913 51431 146 303 0 51608 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 207652 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29503 /proc/meminfo: memFree=1535008/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=257456 CPUtime=282.21 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 63931 0 0 0 28014 207 0 0 25 0 1 0 25235725 263634944 63836 1992294400 134512640 135752675 4289976592 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 64364 63836 146 303 0 64059 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 257456 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29505 /proc/meminfo: memFree=1490616/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=301620 CPUtime=342.19 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 74927 0 0 0 33969 250 0 0 25 0 1 0 25235725 308858880 74832 1992294400 134512640 135752675 4289976592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 75405 74832 146 303 0 75100 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 301620 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29505 /proc/meminfo: memFree=1458500/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=334240 CPUtime=402.17 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 83058 0 0 0 39931 286 0 0 25 0 1 0 25235725 342261760 82963 1992294400 134512640 135752675 4289976592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 83560 82963 146 303 0 83255 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 334240 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29507 /proc/meminfo: memFree=1408404/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=382984 CPUtime=462.15 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 95244 0 0 0 45887 328 0 0 25 0 1 0 25235725 392175616 95149 1992294400 134512640 135752675 4289976592 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 95746 95149 146 303 0 95441 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 382984 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29509 /proc/meminfo: memFree=1359424/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=431664 CPUtime=522.13 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 107605 0 0 0 51835 378 0 0 25 0 1 0 25235725 442023936 107449 1992294400 134512640 135752675 4289976592 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 107916 107449 146 303 0 107611 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 431664 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29511 /proc/meminfo: memFree=1310196/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=480388 CPUtime=582.12 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 119742 0 0 0 57784 428 0 0 25 0 1 0 25235725 491917312 119586 1992294400 134512640 135752675 4289976592 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 120097 119586 146 303 0 119792 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 480388 [startup+642.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29513 /proc/meminfo: memFree=1282296/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=508204 CPUtime=642.11 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 126682 0 0 0 63752 459 0 0 25 0 1 0 25235725 520400896 126526 1992294400 134512640 135752675 4289976592 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 127051 126526 146 303 0 126746 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 508204 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29519 /proc/meminfo: memFree=1139076/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=651328 CPUtime=882.03 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 162386 0 0 0 87596 607 0 0 25 0 1 0 25235725 666959872 162230 1992294400 134512640 135752675 4289976592 18446744073709551615 134605408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 162832 162230 146 303 0 162527 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 651328 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29521 /proc/meminfo: memFree=1092328/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=698180 CPUtime=942.02 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 174074 0 0 0 93545 657 0 0 25 0 1 0 25235725 714936320 173918 1992294400 134512640 135752675 4289976592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 174545 173918 146 303 0 174240 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 698180 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29521 /proc/meminfo: memFree=1049300/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=740916 CPUtime=1002 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 184746 0 0 0 99501 699 0 0 25 0 1 0 25235725 758697984 184590 1992294400 134512640 135752675 4289976592 18446744073709551615 134603215 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 185229 184590 146 303 0 184924 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 740916 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29523 /proc/meminfo: memFree=1013960/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=776640 CPUtime=1061.98 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 193666 0 0 0 105466 732 0 0 25 0 1 0 25235725 795279360 193510 1992294400 134512640 135752675 4289976592 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 194160 193510 146 303 0 193855 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 776640 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29525 /proc/meminfo: memFree=995732/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=794372 CPUtime=1121.96 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 198081 0 0 0 111443 753 0 0 25 0 1 0 25235725 813436928 197925 1992294400 134512640 135752675 4289976592 18446744073709551615 134611759 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 198593 197925 146 303 0 198288 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 794372 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29527 /proc/meminfo: memFree=973040/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=817532 CPUtime=1181.94 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 203862 0 0 0 117420 774 0 0 25 0 1 0 25235725 837152768 203706 1992294400 134512640 135752675 4289976592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 204383 203706 146 303 0 204078 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 817532 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29529 /proc/meminfo: memFree=949976/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=840152 CPUtime=1241.92 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 209497 0 0 0 123397 795 0 0 25 0 1 0 25235725 860315648 209341 1992294400 134512640 135752675 4289976592 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 210038 209341 146 303 0 209733 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 840152 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29529 /proc/meminfo: memFree=930880/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=858796 CPUtime=1301.91 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 214181 0 0 0 129375 816 0 0 25 0 1 0 25235725 879407104 214025 1992294400 134512640 135752675 4289976592 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 214699 214025 146 303 0 214394 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 858796 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29531 /proc/meminfo: memFree=905460/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=884668 CPUtime=1361.89 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 220630 0 0 0 135345 844 0 0 25 0 1 0 25235725 905900032 220474 1992294400 134512640 135752675 4289976592 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 221167 220474 146 303 0 220862 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 884668 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29533 /proc/meminfo: memFree=876320/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=913424 CPUtime=1421.88 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 227815 0 0 0 141316 872 0 0 25 0 1 0 25235725 935346176 227659 1992294400 134512640 135752675 4289976592 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 228356 227659 146 303 0 228051 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 913424 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29535 /proc/meminfo: memFree=853876/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=935864 CPUtime=1481.85 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 233426 0 0 0 147289 896 0 0 25 0 1 0 25235725 958324736 233270 1992294400 134512640 135752675 4289976592 18446744073709551615 134603250 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 233966 233270 146 303 0 233661 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 935864 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29537 /proc/meminfo: memFree=827960/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=961620 CPUtime=1541.84 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 239865 0 0 0 153262 922 0 0 25 0 1 0 25235725 984698880 239709 1992294400 134512640 135752675 4289976592 18446744073709551615 134612042 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 240405 239709 146 303 0 240100 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 961620 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29537 /proc/meminfo: memFree=800432/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=989312 CPUtime=1601.82 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 246764 0 0 0 159230 952 0 0 25 0 1 0 25235725 1013055488 246608 1992294400 134512640 135752675 4289976592 18446744073709551615 134603238 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 247328 246608 146 303 0 247023 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 989312 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29539 /proc/meminfo: memFree=757528/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=1032004 CPUtime=1661.8 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 257426 0 0 0 165192 988 0 0 25 0 1 0 25235725 1056772096 257270 1992294400 134512640 135752675 4289976592 18446744073709551615 134603340 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 258001 257270 146 303 0 257696 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1032004 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29541 /proc/meminfo: memFree=731860/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=1057976 CPUtime=1721.79 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 263923 0 0 0 171167 1012 0 0 25 0 1 0 25235725 1083367424 263767 1992294400 134512640 135752675 4289976592 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 264494 263767 146 303 0 264189 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1057976 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29543 /proc/meminfo: memFree=699372/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=1089872 CPUtime=1781.76 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 271872 0 0 0 177135 1041 0 0 25 0 1 0 25235725 1116028928 271716 1992294400 134512640 135752675 4289976592 18446744073709551615 134611750 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 272468 271716 146 303 0 272163 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1089872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29543 /proc/meminfo: memFree=689080/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=1100160 CPUtime=1800.07 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4202496 274439 0 0 0 178956 1051 0 0 25 0 1 0 25235725 1126563840 274283 1992294400 134512640 135752675 4289976592 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/29494/statm: 275040 274283 146 303 0 274735 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1100160 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29543 /proc/meminfo: memFree=689080/2059040 swapFree=4082496/4192956 [pid=29494] ppid=29492 vsize=0 CPUtime=1800.17 /proc/29494/stat : 29494 (wbo1.4b) R 29492 29494 28921 0 -1 4203524 274439 0 0 0 178956 1061 0 0 25 0 1 0 25235725 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/29494/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.17 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.19 CPU user time (s): 1789.57 CPU system time (s): 10.6194 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 1100160 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.57 system time used= 10.6194 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 274439 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= 17 involuntary context switches= 1360 runsolver used 2.79157 second user time and 8.69568 second system time The end
Begin job on node029 at 2010-07-08 08:24:02 IDJOB=2702567 IDBENCH=48218 IDSOLVER=1190 FILE ID=node029/2702567-1278570242 PBS_JOBID= 11239554 Free space on /tmp= 62560 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702567-1278570242/watcher-2702567-1278570242 -o /tmp/evaluation-result-2702567-1278570242/solver-2702567-1278570242 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702567-1278570242.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fac2f381943513d71e556a5764721ca3 RANDOM SEED=1556108162 node029.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1790612 kB Buffers: 44464 kB Cached: 93556 kB SwapCached: 64844 kB Active: 87972 kB Inactive: 117288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1790612 kB SwapTotal: 4192956 kB SwapFree: 4082496 kB Dirty: 2620 kB Writeback: 0 kB AnonPages: 11268 kB Mapped: 8380 kB Slab: 41280 kB PageTables: 4140 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181912 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702567-1278570242.opb Free space on /tmp at the end= 62556 MiB End job on node029 at 2010-07-08 08:54:05