Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.12 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-mod008.opb |
MD5SUM | 4dd9ac2644c29d272d2675c7fc366ed6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 307 |
Best CPU time to get the best result obtained on this benchmark | 0.334949 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 307 |
Optimality of the best value was proved | YES |
Number of variables | 319 |
Total number of constraints | 6 |
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 | 6 |
Minimum length of a constraint | 186 |
Maximum length of a constraint | 231 |
Number of terms in the objective function | 319 |
Biggest coefficient in the objective function | 87 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 23554 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 22000 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 1027256 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656090-1276353164.opb. 0.00/0.00 c Instance file HOME/instance-2656090-1276353164.opb 0.00/0.00 c File size is 16026 bytes. 0.00/0.00 c Highest Coefficient sum: 1.02726e+06 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 319 | 0.00/0.00 c | Number Clauses: 0 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 6 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 319 6 1243 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 604 0.00/0.00 o 604 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 319 7 1562 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 543 0.00/0.00 o 543 0.00/0.00 c Elapsed CPU time: 0.006998 s Remaining CPU time: 179.993 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 9 | 319 8 1881 | 5000 9 261 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 423 0.00/0.00 o 423 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 9 | 319 9 2200 | 5000 9 261 | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 419 0.00/0.00 o 419 0.00/0.00 c Elapsed CPU time: 0.007998 s Remaining CPU time: 179.992 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 9 | 319 10 2519 | 5000 9 261 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 418 0.00/0.01 o 418 0.00/0.01 c Elapsed CPU time: 0.009998 s Remaining CPU time: 179.99 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 17 | 319 11 2838 | 5000 17 277 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 410 0.00/0.01 o 410 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 | 38 | 319 12 3157 | 5000 38 269 | 0.000 % | 0.00/0.03 c | 139 | 319 12 3157 | 5500 139 252 | 0.001 % | 0.00/0.06 c | 293 | 319 12 3157 | 6050 293 262 | 0.001 % | 0.09/0.11 c | 518 | 319 12 3157 | 6655 518 255 | 0.001 % | 0.19/0.20 c | 858 | 319 12 3157 | 7320 858 244 | 0.001 % | 0.19/0.21 c =============================================================================== 0.19/0.21 c New solution: 385 0.19/0.21 o 385 0.19/0.21 c Elapsed CPU time: 0.205968 s Remaining CPU time: 179.794 s 0.19/0.21 c =============================================================================== 0.19/0.21 c | 887 | 319 13 3476 | 5000 887 243 | 0.001 % | 0.19/0.23 c | 992 | 319 13 3476 | 5500 992 242 | 0.001 % | 0.19/0.24 c =============================================================================== 0.19/0.24 c New solution: 377 0.19/0.24 o 377 0.19/0.24 c Elapsed CPU time: 0.238963 s Remaining CPU time: 179.761 s 0.19/0.24 c =============================================================================== 0.19/0.24 c | 1025 | 319 14 3795 | 5000 1025 242 | 0.001 % | 0.19/0.26 c =============================================================================== 0.19/0.26 c New solution: 369 0.19/0.26 o 369 0.19/0.26 c Elapsed CPU time: 0.25996 s Remaining CPU time: 179.74 s 0.19/0.26 c =============================================================================== 0.19/0.26 c | 1120 | 319 15 4114 | 5000 1120 243 | 0.001 % | 0.29/0.39 c | 1247 | 319 15 4114 | 5500 1247 239 | 0.001 % | 0.39/0.43 c | 1398 | 319 15 4114 | 6050 1398 237 | 0.001 % | 0.59/0.63 c | 1631 | 319 15 4114 | 6655 1631 230 | 0.001 % | 0.69/0.70 c | 1969 | 319 15 4114 | 7320 1969 230 | 0.001 % | 1.10/1.13 c | 2496 | 319 15 4114 | 8052 2496 222 | 0.001 % | 1.29/1.33 c | 3260 | 319 15 4114 | 8857 3260 223 | 0.001 % | 1.99/2.03 c | 4402 | 319 15 4114 | 9743 4402 225 | 0.001 % | 3.30/3.39 c | 6113 | 319 15 4114 | 10717 6113 223 | 0.001 % | 5.40/5.49 c | 8721 | 319 15 4114 | 11789 8721 222 | 0.001 % | 5.50/5.54 c =============================================================================== 5.50/5.54 c New solution: 330 5.50/5.54 o 330 5.50/5.54 c Elapsed CPU time: 5.48517 s Remaining CPU time: 174.515 s 5.50/5.54 c =============================================================================== 5.50/5.54 c | 8835 | 319 16 4433 | 5000 8835 222 | 0.001 % | 5.50/5.59 c | 8936 | 319 16 4433 | 5500 4519 220 | 0.001 % | 5.59/5.64 c | 9087 | 319 16 4433 | 6050 4670 220 | 0.001 % | 5.69/5.71 c | 9315 | 319 16 4433 | 6655 4898 221 | 0.001 % | 5.79/5.88 c | 9658 | 319 16 4433 | 7320 5241 220 | 0.001 % | 6.09/6.19 c | 10164 | 319 16 4433 | 8052 5747 220 | 0.001 % | 6.50/6.54 c | 10926 | 319 16 4433 | 8857 6509 223 | 0.001 % | 7.09/7.11 c | 12067 | 319 16 4433 | 9743 7650 225 | 0.001 % | 7.59/7.68 c | 13778 | 319 16 4433 | 10717 9361 227 | 0.001 % | 7.99/8.01 c =============================================================================== 7.99/8.01 c New solution: 323 7.99/8.01 o 323 7.99/8.01 c Elapsed CPU time: 7.9208 s Remaining CPU time: 172.079 s 7.99/8.01 c =============================================================================== 7.99/8.01 c | 14668 | 319 17 4752 | 5000 10251 228 | 0.001 % | 7.99/8.07 c | 14776 | 319 17 4752 | 5500 2671 238 | 0.001 % | 8.09/8.15 c | 14927 | 319 17 4752 | 6050 2822 237 | 0.001 % | 8.09/8.16 c =============================================================================== 8.09/8.16 c New solution: 321 8.09/8.16 o 321 8.09/8.16 c Elapsed CPU time: 8.06877 s Remaining CPU time: 171.931 s 8.09/8.16 c =============================================================================== 8.09/8.16 c | 14951 | 319 18 5071 | 5000 2846 237 | 0.001 % | 8.19/8.20 c | 15062 | 319 18 5071 | 5500 2957 236 | 0.001 % | 8.29/8.37 c | 15241 | 319 18 5071 | 6050 3136 234 | 0.001 % | 8.29/8.38 c =============================================================================== 8.29/8.38 c New solution: 316 8.29/8.38 o 316 8.29/8.38 c Elapsed CPU time: 8.28774 s Remaining CPU time: 171.712 s 8.29/8.38 c =============================================================================== 8.29/8.38 c | 15256 | 319 19 5390 | 5000 3151 234 | 0.001 % | 8.49/8.53 c | 15415 | 319 19 5390 | 5500 3310 233 | 0.001 % | 8.59/8.62 c | 15565 | 319 19 5390 | 6050 3460 233 | 0.001 % | 8.70/8.80 c | 15790 | 319 19 5390 | 6655 3685 232 | 0.001 % | 8.99/9.08 c | 16129 | 319 19 5390 | 7320 4024 232 | 0.001 % | 9.38/9.47 c | 16635 | 319 19 5390 | 8052 4530 230 | 0.001 % | 10.09/10.14 c | 17400 | 319 19 5390 | 8857 5295 230 | 0.001 % | 10.79/10.81 c | 18539 | 319 19 5390 | 9743 6434 229 | 0.001 % | 12.59/12.63 c | 20304 | 319 19 5390 | 10717 8199 229 | 0.001 % | 14.19/14.23 c | 22868 | 319 19 5390 | 11789 10763 230 | 0.001 % | 17.29/17.30 c | 26715 | 319 19 5390 | 12968 8598 230 | 0.001 % | 22.99/23.06 c | 32482 | 319 19 5390 | 14265 7770 222 | 0.001 % | 31.48/31.51 c | 41132 | 319 19 5390 | 15692 9173 222 | 0.001 % | 41.87/41.94 c | 54106 | 319 19 5390 | 17261 14173 229 | 0.001 % | 59.46/59.52 c | 73568 | 319 19 5390 | 18987 16114 227 | 0.001 % | 87.36/87.40 c | 102760 | 319 19 5390 | 20886 16463 223 | 0.001 % | 129.04/129.14 c | 146550 | 319 19 5390 | 22974 18007 233 | 0.001 % | 181.12/181.27 c There are 0 assigned variables. 0 in cost function. 181.43/181.53 c core #1 181.43/181.53 c core #2 181.43/181.53 c core #3 181.43/181.53 c core #4 181.43/181.53 c core #5 181.43/181.53 c core #6 181.43/181.53 c ============================[ Search Statistics ]============================== 181.43/181.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.43/181.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.43/181.53 c =============================================================================== 181.43/181.53 c | 0 | 1488 1693 7710 | 5000 0 nan | 0.000 % | 181.43/181.55 c =============================================================================== 181.43/181.56 c core #7 181.43/181.56 c ============================[ Search Statistics ]============================== 181.43/181.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.43/181.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.43/181.56 c =============================================================================== 181.43/181.56 c | 0 | 1759 1901 8345 | 5000 0 nan | 0.000 % | 181.52/181.62 c | 106 | 1759 1901 8345 | 5500 106 221 | 11.608 % | 181.52/181.67 c =============================================================================== 181.52/181.68 c core #8 181.52/181.68 c ============================[ Search Statistics ]============================== 181.52/181.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.52/181.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.52/181.68 c =============================================================================== 181.52/181.68 c | 0 | 2135 2191 9408 | 5000 0 nan | 0.000 % | 181.62/181.74 c | 100 | 2135 2191 9408 | 5500 100 217 | 8.604 % | 181.72/181.84 c =============================================================================== 181.72/181.85 c core #9 181.72/181.85 c ============================[ Search Statistics ]============================== 181.72/181.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.72/181.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.72/181.85 c =============================================================================== 181.72/181.85 c | 0 | 2605 2471 11116 | 5000 0 nan | 0.000 % | 181.82/181.92 c | 112 | 2605 2471 11116 | 5500 112 236 | 5.204 % | 181.91/182.02 c | 262 | 2605 2471 11116 | 6050 262 221 | 5.204 % | 182.01/182.14 c =============================================================================== 182.01/182.16 c core #10 182.01/182.16 c ============================[ Search Statistics ]============================== 182.01/182.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.01/182.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.01/182.16 c =============================================================================== 182.01/182.16 c | 0 | 3151 2843 12675 | 5000 0 nan | 0.000 % | 182.11/182.23 c | 100 | 3151 2843 12675 | 5500 100 225 | 4.021 % | 182.22/182.37 c | 252 | 3151 2843 12675 | 6050 252 205 | 4.021 % | 182.43/182.50 c =============================================================================== 182.43/182.51 c core #11 182.43/182.51 c ============================[ Search Statistics ]============================== 182.43/182.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.43/182.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.43/182.51 c =============================================================================== 182.43/182.51 c | 0 | 3610 3168 14270 | 5000 0 nan | 0.000 % | 182.43/182.58 c | 110 | 3610 3168 14270 | 5500 110 246 | 3.009 % | 182.62/182.72 c | 264 | 3610 3168 14270 | 6050 264 216 | 3.009 % | 182.82/182.92 c =============================================================================== 182.82/182.94 c core #12 182.82/182.94 c ============================[ Search Statistics ]============================== 182.82/182.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.82/182.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.82/182.94 c =============================================================================== 182.82/182.94 c | 0 | 4066 3536 15580 | 5000 0 nan | 0.000 % | 182.92/183.01 c | 101 | 4066 3536 15580 | 5500 101 238 | 2.681 % | 183.02/183.14 c | 253 | 4066 3536 15580 | 6050 253 209 | 2.681 % | 183.22/183.37 c =============================================================================== 183.22/183.39 c core #13 183.22/183.39 c ============================[ Search Statistics ]============================== 183.22/183.39 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.22/183.39 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.22/183.39 c =============================================================================== 183.22/183.39 c | 0 | 4440 3855 17230 | 5000 0 nan | 0.000 % | 183.31/183.46 c | 103 | 4440 3855 17230 | 5500 103 231 | 1.943 % | 183.41/183.59 c | 254 | 4440 3855 17230 | 6050 254 224 | 1.943 % | 183.92/184.06 c =============================================================================== 183.92/184.08 c core #14 183.92/184.08 c ============================[ Search Statistics ]============================== 183.92/184.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.92/184.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.92/184.08 c =============================================================================== 183.92/184.08 c | 0 | 4818 4179 18368 | 5000 0 nan | 0.000 % | 184.02/184.15 c | 101 | 4818 4179 18368 | 5500 101 237 | 1.794 % | 184.12/184.30 c | 251 | 4818 4179 18368 | 6050 251 207 | 1.794 % | 184.52/184.65 c =============================================================================== 184.52/184.68 c core #15 184.52/184.68 c ============================[ Search Statistics ]============================== 184.52/184.68 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.52/184.68 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.52/184.68 c =============================================================================== 184.52/184.68 c | 0 | 5158 4519 19462 | 5000 0 nan | 0.000 % | 184.62/184.76 c | 102 | 5158 4519 19462 | 5500 102 232 | 1.677 % | 184.81/184.92 c | 252 | 5158 4519 19462 | 6050 252 215 | 1.677 % | 185.21/185.33 c =============================================================================== 185.21/185.36 c core #16 185.21/185.36 c ============================[ Search Statistics ]============================== 185.21/185.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.21/185.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.21/185.36 c =============================================================================== 185.21/185.36 c | 0 | 5478 4838 20477 | 5000 0 nan | 0.000 % | 185.32/185.43 c | 102 | 5478 4838 20477 | 5500 102 241 | 1.581 % | 185.42/185.55 c | 252 | 5478 4838 20477 | 6050 252 213 | 1.581 % | 185.83/185.91 c =============================================================================== 185.83/185.94 c core #17 185.83/185.94 c ============================[ Search Statistics ]============================== 185.83/185.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.83/185.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.83/185.94 c =============================================================================== 185.83/185.94 c | 0 | 5798 5157 21519 | 5000 0 nan | 0.000 % | 185.91/186.02 c | 109 | 5798 5157 21519 | 5500 109 243 | 1.478 % | 186.11/186.22 c | 271 | 5798 5157 21519 | 6050 271 223 | 1.478 % | 186.51/186.67 c =============================================================================== 186.51/186.70 c core #18 186.51/186.70 c ============================[ Search Statistics ]============================== 186.51/186.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.51/186.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.51/186.70 c =============================================================================== 186.51/186.70 c | 0 | 6188 5466 22974 | 5000 0 nan | 0.000 % | 186.61/186.77 c | 100 | 6188 5466 22974 | 5500 100 247 | 1.229 % | 186.83/186.95 c | 260 | 6188 5466 22974 | 6050 260 219 | 1.229 % | 187.42/187.52 c =============================================================================== 187.42/187.55 c core #19 187.42/187.55 c ============================[ Search Statistics ]============================== 187.42/187.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.42/187.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.42/187.55 c =============================================================================== 187.42/187.55 c | 0 | 6722 5922 24847 | 5000 0 nan | 0.000 % | 187.51/187.64 c | 108 | 6722 5922 24847 | 5500 108 244 | 1.103 % | 187.71/187.84 c | 298 | 6722 5922 24847 | 6050 298 217 | 1.103 % | 188.21/188.31 c =============================================================================== 188.21/188.34 c core #20 188.21/188.34 c ============================[ Search Statistics ]============================== 188.21/188.34 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.21/188.34 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.21/188.34 c =============================================================================== 188.21/188.34 c | 0 | 7236 6327 26458 | 5000 0 nan | 0.000 % | 188.32/188.43 c | 100 | 7236 6327 26458 | 5500 100 232 | 1.026 % | 188.42/188.56 c | 251 | 7236 6327 26458 | 6050 251 224 | 1.026 % | 188.81/188.95 c | 492 | 7236 6327 26458 | 6655 492 206 | 1.026 % | 189.31/189.46 c | 829 | 7236 6327 26458 | 7320 829 204 | 1.026 % | 189.61/189.75 c =============================================================================== 189.61/189.79 c core #21 189.61/189.79 c ============================[ Search Statistics ]============================== 189.61/189.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 189.61/189.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 189.61/189.79 c =============================================================================== 189.61/189.79 c | 0 | 7714 6723 27979 | 5000 0 nan | 0.000 % | 189.72/189.87 c | 100 | 7714 6723 27979 | 5500 100 245 | 0.963 % | 189.92/190.08 c | 277 | 7714 6723 27979 | 6050 277 221 | 0.963 % | 190.62/190.78 c =============================================================================== 190.72/190.82 c core #22 190.72/190.82 c ============================[ Search Statistics ]============================== 190.72/190.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 190.72/190.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 190.72/190.82 c =============================================================================== 190.72/190.82 c | 0 | 8168 7153 29521 | 5000 0 nan | 0.000 % | 190.81/190.93 c | 108 | 8168 7153 29521 | 5500 108 237 | 0.910 % | 190.91/191.05 c | 258 | 8168 7153 29521 | 6050 258 227 | 0.910 % | 191.52/191.67 c =============================================================================== 191.62/191.71 c core #23 191.62/191.71 c ============================[ Search Statistics ]============================== 191.62/191.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.62/191.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.62/191.71 c =============================================================================== 191.62/191.71 c | 0 | 8627 7561 31412 | 5000 0 nan | 0.000 % | 191.71/191.80 c | 100 | 8627 7561 31412 | 5500 100 248 | 0.759 % | 191.81/191.99 c | 266 | 8627 7561 31412 | 6050 266 228 | 0.759 % | 192.32/192.41 c | 504 | 8627 7561 31412 | 6655 504 205 | 0.759 % | 192.71/192.86 c =============================================================================== 192.81/192.90 c core #24 192.81/192.90 c ============================[ Search Statistics ]============================== 192.81/192.90 c | Conflicts | ORIGINAL | LEARNT | Progress | 192.81/192.90 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 192.81/192.90 c =============================================================================== 192.81/192.90 c | 0 | 9183 7996 33245 | 5000 0 nan | 0.000 % | 192.91/193.02 c | 102 | 9183 7996 33245 | 5500 102 241 | 0.703 % | 193.01/193.16 c | 259 | 9183 7996 33245 | 6050 259 223 | 0.703 % | 193.61/193.75 c =============================================================================== 193.61/193.79 c core #25 193.61/193.79 c ============================[ Search Statistics ]============================== 193.61/193.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 193.61/193.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 193.61/193.79 c =============================================================================== 193.61/193.79 c | 0 | 9786 8409 35097 | 5000 0 nan | 0.000 % | 193.81/193.91 c | 102 | 9786 8409 35097 | 5500 102 235 | 0.660 % | 194.11/194.24 c | 283 | 9786 8409 35097 | 6050 283 197 | 0.660 % | 194.52/194.66 c =============================================================================== 194.52/194.70 c core #26 194.52/194.70 c ============================[ Search Statistics ]============================== 194.52/194.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.52/194.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.52/194.70 c =============================================================================== 194.52/194.70 c | 0 | 10238 8826 36656 | 5000 0 nan | 0.000 % | 194.72/194.82 c | 100 | 10238 8826 36656 | 5500 100 243 | 0.631 % | 194.92/195.00 c | 266 | 10238 8826 36656 | 6050 266 237 | 0.631 % | 195.22/195.37 c | 497 | 10238 8826 36656 | 6655 497 212 | 0.631 % | 195.72/195.81 c =============================================================================== 195.72/195.85 c core #27 195.72/195.85 c ============================[ Search Statistics ]============================== 195.72/195.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 195.72/195.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 195.72/195.85 c =============================================================================== 195.72/195.85 c | 0 | 10696 9281 38307 | 5000 0 nan | 0.000 % | 195.82/195.98 c | 109 | 10696 9281 38307 | 5500 109 243 | 0.604 % | 196.12/196.22 c | 294 | 10696 9281 38307 | 6050 294 204 | 0.604 % | 196.52/196.69 c =============================================================================== 196.62/196.73 c core #28 196.62/196.73 c ============================[ Search Statistics ]============================== 196.62/196.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.62/196.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.62/196.73 c =============================================================================== 196.62/196.73 c | 0 | 11144 9705 39927 | 5000 0 nan | 0.000 % | 196.72/196.86 c | 101 | 11144 9705 39927 | 5500 101 230 | 0.571 % | 197.11/197.28 c | 288 | 11144 9705 39927 | 6050 288 173 | 0.571 % | 197.41/197.55 c | 513 | 11144 9705 39927 | 6655 513 185 | 0.571 % | 197.82/198.00 c =============================================================================== 197.92/198.04 c core #29 197.92/198.04 c ============================[ Search Statistics ]============================== 197.92/198.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 197.92/198.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 197.92/198.04 c =============================================================================== 197.92/198.04 c | 0 | 11621 10090 42424 | 5000 0 nan | 0.000 % | 198.01/198.16 c | 104 | 11621 10090 42424 | 5500 104 254 | 0.394 % | 198.22/198.34 c | 272 | 11621 10090 42424 | 6050 272 223 | 0.394 % | 198.51/198.64 c | 510 | 11621 10090 42424 | 6655 510 209 | 0.394 % | 199.02/199.16 c | 854 | 11621 10090 42424 | 7320 854 199 | 0.394 % | 199.81/199.99 c =============================================================================== 199.91/200.05 c core #30 199.91/200.05 c ============================[ Search Statistics ]============================== 199.91/200.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 199.91/200.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 199.91/200.05 c =============================================================================== 199.91/200.05 c | 0 | 12297 10496 45510 | 5000 0 nan | 0.000 % | 200.02/200.19 c | 103 | 12297 10496 45510 | 5500 103 263 | 0.219 % | 200.21/200.37 c | 253 | 12297 10496 45510 | 6050 253 239 | 0.219 % | 200.51/200.64 c | 478 | 12297 10496 45510 | 6655 478 219 | 0.219 % | 201.01/201.12 c | 818 | 12297 10496 45510 | 7320 818 201 | 0.219 % | 201.81/201.90 c | 1326 | 12297 10496 45510 | 8052 1326 183 | 0.219 % | 202.81/202.90 c | 2088 | 12297 10496 45510 | 8857 2088 185 | 0.219 % | 203.11/203.20 c =============================================================================== 203.11/203.28 c core #31 203.11/203.28 c ============================[ Search Statistics ]============================== 203.11/203.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 203.11/203.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 203.11/203.28 c =============================================================================== 203.11/203.28 c | 0 | 13562 10980 48928 | 5000 0 nan | 0.000 % | 203.32/203.41 c | 100 | 13562 10980 48928 | 5500 100 260 | 0.199 % | 203.42/203.58 c | 254 | 13562 10980 48928 | 6050 254 235 | 0.199 % | 203.71/203.83 c | 480 | 13562 10980 48928 | 6655 480 221 | 0.199 % | 204.11/204.29 c | 817 | 13562 10980 48928 | 7320 817 213 | 0.199 % | 204.71/204.83 c | 1323 | 13562 10980 48928 | 8052 1323 206 | 0.199 % | 205.71/205.89 c | 2083 | 13562 10980 48928 | 8857 2083 189 | 0.199 % | 207.21/207.39 c =============================================================================== 207.31/207.48 c core #32 207.31/207.48 c ============================[ Search Statistics ]============================== 207.31/207.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 207.31/207.48 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 207.31/207.48 c =============================================================================== 207.31/207.48 c | 0 | 14759 11487 52525 | 5000 0 nan | 0.000 % | 207.51/207.64 c | 100 | 14759 11487 52525 | 5500 100 295 | 0.149 % | 207.81/207.91 c | 298 | 14759 11487 52525 | 6050 298 243 | 0.149 % | 208.01/208.12 c | 529 | 14759 11487 52525 | 6655 529 234 | 0.149 % | 208.30/208.43 c | 870 | 14759 11487 52525 | 7320 870 226 | 0.149 % | 208.92/209.01 c | 1377 | 14759 11487 52525 | 8052 1377 216 | 0.149 % | 210.11/210.29 c | 2136 | 14759 11487 52525 | 8857 2136 200 | 0.149 % | 211.71/211.83 c =============================================================================== 211.81/211.92 c core #33 211.81/211.92 c ============================[ Search Statistics ]============================== 211.81/211.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 211.81/211.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 211.81/211.92 c =============================================================================== 211.81/211.92 c | 0 | 15621 11943 55144 | 5000 0 nan | 0.000 % | 211.90/212.08 c | 100 | 15621 11943 55144 | 5500 100 265 | 0.134 % | 212.11/212.30 c | 260 | 15621 11943 55144 | 6050 260 221 | 0.134 % | 212.40/212.53 c | 488 | 15621 11943 55144 | 6655 488 229 | 0.134 % | 212.81/212.94 c | 861 | 15621 11943 55144 | 7320 861 215 | 0.134 % | 213.41/213.50 c =============================================================================== 213.41/213.56 c core #34 213.41/213.56 c ============================[ Search Statistics ]============================== 213.41/213.56 c | Conflicts | ORIGINAL | LEARNT | Progress | 213.41/213.56 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 213.41/213.56 c =============================================================================== 213.41/213.56 c | 0 | 16225 12352 58367 | 5000 0 nan | 0.000 % | 213.61/213.75 c | 105 | 16225 12352 58367 | 5500 105 267 | 0.006 % | 213.80/213.92 c | 256 | 16225 12352 58367 | 6050 256 216 | 0.006 % | 214.10/214.25 c | 483 | 16225 12352 58367 | 6655 483 208 | 0.006 % | 214.90/215.04 c =============================================================================== 215.00/215.10 c core #35 215.00/215.10 c ============================[ Search Statistics ]============================== 215.00/215.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.00/215.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.00/215.10 c =============================================================================== 215.00/215.10 c | 0 | 16693 12672 59941 | 5000 0 nan | 0.000 % | 215.10/215.25 c | 100 | 16693 12672 59941 | 5500 100 293 | 0.006 % | 215.30/215.43 c | 255 | 16693 12672 59941 | 6050 255 236 | 0.006 % | 215.60/215.74 c | 506 | 16693 12672 59941 | 6655 506 198 | 0.006 % | 216.21/216.39 c | 845 | 16693 12672 59941 | 7320 845 184 | 0.006 % | 217.01/217.19 c | 1353 | 16693 12672 59941 | 8052 1353 147 | 0.006 % | 218.10/218.29 c =============================================================================== 218.20/218.36 c core #36 218.20/218.36 c ============================[ Search Statistics ]============================== 218.20/218.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 218.20/218.36 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 218.20/218.36 c =============================================================================== 218.20/218.36 c | 0 | 18290 12889 63570 | 5000 0 nan | 0.000 % | 218.41/218.55 c | 104 | 18290 12889 63570 | 5500 104 319 | 0.005 % | 218.61/218.79 c | 312 | 18290 12889 63570 | 6050 312 231 | 0.005 % | 218.90/219.05 c | 552 | 18290 12889 63570 | 6655 552 202 | 0.005 % | 219.31/219.41 c | 892 | 18290 12889 63570 | 7320 892 181 | 0.005 % | 220.00/220.16 c | 1398 | 18290 12889 63570 | 8052 1398 179 | 0.005 % | 221.20/221.31 c | 2160 | 18290 12889 63570 | 8857 2160 180 | 0.005 % | 223.01/223.13 c | 3303 | 18290 12889 63570 | 9743 3303 179 | 0.005 % | 225.60/225.78 c | 5011 | 18290 12889 63570 | 10717 5011 181 | 0.005 % | 230.20/230.32 c | 7573 | 18290 12889 63570 | 11789 7573 187 | 0.005 % | 236.70/236.81 c | 11423 | 18290 12889 63570 | 12968 11423 174 | 0.005 % | 246.79/246.92 c =============================================================================== 246.99/247.19 c core #37 246.99/247.19 c ============================[ Search Statistics ]============================== 246.99/247.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 246.99/247.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 246.99/247.19 c =============================================================================== 246.99/247.19 c | 0 | 22769 13475 73850 | 5000 0 nan | 0.000 % | 247.19/247.38 c | 101 | 22769 13475 73850 | 5500 101 369 | 0.004 % | 247.40/247.54 c | 251 | 22769 13475 73850 | 6050 251 299 | 0.004 % | 247.59/247.76 c | 478 | 22769 13475 73850 | 6655 478 243 | 0.004 % | 248.00/248.18 c | 865 | 22769 13475 73850 | 7320 865 221 | 0.004 % | 248.50/248.62 c | 1377 | 22769 13475 73850 | 8052 1377 203 | 0.004 % | 249.29/249.42 c | 2136 | 22769 13475 73850 | 8857 2136 191 | 0.004 % | 250.90/251.02 c | 3275 | 22769 13475 73850 | 9743 3275 204 | 0.004 % | 253.79/253.94 c | 4984 | 22769 13475 73850 | 10717 4984 193 | 0.004 % | 257.49/257.62 c | 7546 | 22769 13475 73850 | 11789 7546 201 | 0.004 % | 264.90/265.07 c | 11390 | 22769 13475 73850 | 12968 11390 207 | 0.004 % | 274.39/274.53 c | 17157 | 22769 13475 73850 | 14265 10052 231 | 0.004 % | 291.58/291.75 c | 25807 | 22769 13475 73850 | 15692 11476 239 | 0.004 % | 318.47/318.66 c | 38782 | 22769 13475 73850 | 17261 16344 239 | 0.004 % | 350.15/350.30 c =============================================================================== 351.36/351.50 c core #38 351.36/351.50 c ============================[ Search Statistics ]============================== 351.36/351.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 351.36/351.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 351.36/351.50 c =============================================================================== 351.36/351.50 c | 0 | 27339 14130 84601 | 5000 0 nan | 0.000 % | 351.46/351.69 c | 103 | 27339 14130 84601 | 5500 103 309 | 0.004 % | 351.56/351.76 c | 253 | 27339 14130 84601 | 6050 253 249 | 0.004 % | 351.66/351.85 c | 480 | 27339 14130 84601 | 6655 480 235 | 0.004 % | 351.96/352.15 c | 818 | 27339 14130 84601 | 7320 818 226 | 0.004 % | 352.36/352.54 c | 1332 | 27339 14130 84601 | 8052 1332 209 | 0.004 % | 353.15/353.32 c | 2093 | 27339 14130 84601 | 8857 2093 201 | 0.004 % | 354.75/354.97 c | 3232 | 27339 14130 84601 | 9743 3232 200 | 0.004 % | 356.46/356.67 c | 4941 | 27339 14130 84601 | 10717 4941 214 | 0.004 % | 361.56/361.74 c | 7507 | 27339 14130 84601 | 11789 7507 197 | 0.004 % | 369.46/369.68 c | 11351 | 27339 14130 84601 | 12968 11351 198 | 0.004 % | 379.84/380.03 c | 17118 | 27339 14130 84601 | 14265 10543 203 | 0.004 % | 395.14/395.35 c | 25768 | 27339 14130 84601 | 15692 11946 199 | 0.004 % | 431.13/431.31 c | 38743 | 27339 14130 84601 | 17261 8984 158 | 0.004 % | 462.62/462.84 c | 58208 | 27339 14130 84601 | 18987 10932 198 | 0.004 % | 513.60/513.84 c | 87400 | 27339 14130 84601 | 20886 11329 188 | 0.004 % | 573.78/574.00 c =============================================================================== 575.78/576.09 c core #39 575.78/576.09 c ============================[ Search Statistics ]============================== 575.78/576.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 575.78/576.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 575.78/576.09 c =============================================================================== 575.78/576.09 c | 0 | 33143 14815 98047 | 5000 0 nan | 0.000 % | 575.98/576.27 c | 106 | 33143 14815 98047 | 5500 106 362 | 0.000 % | 576.18/576.44 c | 300 | 33143 14815 98047 | 6050 300 229 | 0.000 % | 576.27/576.58 c | 525 | 33143 14815 98047 | 6655 525 230 | 0.000 % | 576.47/576.72 c | 870 | 33143 14815 98047 | 7320 870 234 | 0.000 % | 576.68/576.96 c | 1377 | 33143 14815 98047 | 8052 1377 229 | 0.000 % | 577.28/577.57 c | 2190 | 33143 14815 98047 | 8857 2190 209 | 0.000 % | 578.28/578.56 c | 3335 | 33143 14815 98047 | 9743 3335 197 | 0.000 % | 579.38/579.67 c | 5044 | 33143 14815 98047 | 10717 5044 200 | 0.000 % | 582.28/582.53 c | 7607 | 33143 14815 98047 | 11789 7607 188 | 0.000 % | 588.47/588.70 c | 11471 | 33143 14815 98047 | 12968 11471 187 | 0.000 % | 597.17/597.42 c | 17238 | 33143 14815 98047 | 14265 10637 190 | 0.000 % | 605.57/605.89 c | 25887 | 33143 14815 98047 | 15692 12044 202 | 0.000 % | 629.46/629.78 c | 38861 | 33143 14815 98047 | 17261 9105 196 | 0.000 % | 671.44/671.74 c | 58325 | 33143 14815 98047 | 18987 11107 196 | 0.000 % | 741.92/742.25 c | 87536 | 33143 14815 98047 | 20886 11553 196 | 0.000 % | 826.98/827.32 c | 131332 | 33143 14815 98047 | 22974 13099 203 | 0.000 % | 942.35/942.72 c | 197017 | 33143 14815 98047 | 25272 19258 175 | 0.000 % | 1178.15/1178.60 c | 295545 | 33143 14815 98047 | 27799 19249 214 | 0.000 % | 1229.35/1229.81 c =============================================================================== 1231.64/1232.18 c core #40 1231.64/1232.18 c ============================[ Search Statistics ]============================== 1231.64/1232.18 c | Conflicts | ORIGINAL | LEARNT | Progress | 1231.64/1232.18 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1231.64/1232.18 c =============================================================================== 1231.64/1232.18 c | 0 | 36479 15428 106329 | 5142 0 nan | 0.000 % | 1231.84/1232.38 c | 100 | 36479 15428 106329 | 5656 100 357 | 0.000 % | 1231.94/1232.48 c | 250 | 36479 15428 106329 | 6222 250 300 | 0.000 % | 1232.04/1232.58 c | 476 | 36479 15428 106329 | 6844 476 244 | 0.000 % | 1232.43/1232.95 c | 841 | 36479 15428 106329 | 7529 841 220 | 0.000 % | 1232.84/1233.31 c | 1349 | 36479 15428 106329 | 8282 1349 219 | 0.000 % | 1233.33/1233.86 c | 2108 | 36479 15428 106329 | 9110 2108 202 | 0.000 % | 1234.54/1235.02 c | 3269 | 36479 15428 106329 | 10021 3269 205 | 0.000 % | 1235.64/1236.19 c | 4985 | 36479 15428 106329 | 11023 4985 199 | 0.000 % | 1238.14/1238.68 c | 7548 | 36479 15428 106329 | 12126 7548 209 | 0.000 % | 1242.84/1243.37 c | 11397 | 36479 15428 106329 | 13338 11397 204 | 0.000 % | 1250.03/1250.50 c | 17163 | 36479 15428 106329 | 14672 10379 197 | 0.000 % | 1260.63/1261.13 c | 25816 | 36479 15428 106329 | 16139 11580 203 | 0.000 % | 1279.83/1280.30 c | 38790 | 36479 15428 106329 | 17753 16371 199 | 0.000 % | 1309.81/1310.36 c | 58251 | 36479 15428 106329 | 19529 17605 203 | 0.000 % | 1381.38/1381.90 c | 87447 | 36479 15428 106329 | 21482 16893 197 | 0.000 % | 1482.44/1483.05 c | 131251 | 36479 15428 106329 | 23630 16950 183 | 0.000 % | 1590.30/1590.91 c =============================================================================== 1594.20/1594.88 c core #41 1594.20/1594.88 c ============================[ Search Statistics ]============================== 1594.20/1594.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 1594.20/1594.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1594.20/1594.88 c =============================================================================== 1594.20/1594.88 c | 0 | 41994 16074 119080 | 5358 0 nan | 0.000 % | 1594.50/1595.11 c | 101 | 41994 16074 119080 | 5893 101 336 | 0.000 % | 1594.50/1595.19 c | 255 | 41994 16074 119080 | 6483 255 255 | 0.000 % | 1594.70/1595.33 c | 480 | 41994 16074 119080 | 7131 480 238 | 0.000 % | 1595.00/1595.64 c | 826 | 41994 16074 119080 | 7844 826 222 | 0.000 % | 1595.30/1595.90 c | 1335 | 41994 16074 119080 | 8629 1335 233 | 0.000 % | 1595.70/1596.35 c | 2094 | 41994 16074 119080 | 9492 2094 234 | 0.000 % | 1596.40/1597.04 c | 3237 | 41994 16074 119080 | 10441 3237 232 | 0.000 % | 1597.91/1598.56 c | 4945 | 41994 16074 119080 | 11485 4945 217 | 0.000 % | 1599.90/1600.55 c | 7521 | 41994 16074 119080 | 12633 7521 211 | 0.000 % | 1604.90/1605.57 c | 11367 | 41994 16074 119080 | 13897 11367 214 | 0.000 % | 1612.00/1612.68 c | 17139 | 41994 16074 119080 | 15286 10117 203 | 0.000 % | 1623.39/1624.05 c | 25789 | 41994 16074 119080 | 16815 11031 208 | 0.000 % | 1636.19/1636.83 c | 38766 | 41994 16074 119080 | 18497 15472 213 | 0.000 % | 1660.18/1660.80 c | 58229 | 41994 16074 119080 | 20346 16234 193 | 0.000 % | 1702.75/1703.46 c | 87421 | 41994 16074 119080 | 22381 14697 159 | 0.000 % | 1772.02/1772.76 c | 131221 | 41994 16074 119080 | 24619 12242 214 | 0.000 % |
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-2656090-1276353164/watcher-2656090-1276353164 -o /tmp/evaluation-result-2656090-1276353164/solver-2656090-1276353164 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656090-1276353164.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.00 1.00 1.00 3/106 13014 /proc/meminfo: memFree=1370248/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=2568 CPUtime=0 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 298 0 0 0 0 0 0 0 21 0 1 0 10917813 2629632 212 1992294400 134512640 135751879 4292096688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 642 212 146 303 0 337 0 [startup+0.064974 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13014 /proc/meminfo: memFree=1370248/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=2956 CPUtime=0.06 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 394 0 0 0 6 0 0 0 21 0 1 0 10917813 3026944 308 1992294400 134512640 135751879 4292096688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 739 308 147 303 0 434 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2956 [startup+0.10098 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13014 /proc/meminfo: memFree=1370248/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=3084 CPUtime=0.09 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 437 0 0 0 9 0 0 0 21 0 1 0 10917813 3158016 351 1992294400 134512640 135751879 4292096688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 771 351 147 303 0 466 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3084 [startup+0.301015 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13014 /proc/meminfo: memFree=1370248/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=3980 CPUtime=0.29 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 641 0 0 0 29 0 0 0 21 0 1 0 10917813 4075520 555 1992294400 134512640 135751879 4292096688 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 995 555 147 303 0 690 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3980 [startup+0.701083 s] /proc/loadavg: 1.00 1.00 1.00 3/106 13014 /proc/meminfo: memFree=1370248/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=4884 CPUtime=0.69 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 862 0 0 0 68 1 0 0 22 0 1 0 10917813 5001216 776 1992294400 134512640 135751879 4292096688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 1221 776 147 303 0 916 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4884 [startup+1.50122 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13015 /proc/meminfo: memFree=1367140/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=6436 CPUtime=1.49 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 1278 0 0 0 148 1 0 0 25 0 1 0 10917813 6590464 1192 1992294400 134512640 135751879 4292096688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 1609 1192 147 303 0 1304 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6436 [startup+3.10149 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13015 /proc/meminfo: memFree=1364536/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=9144 CPUtime=3.09 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 1926 0 0 0 307 2 0 0 25 0 1 0 10917813 9363456 1840 1992294400 134512640 135751879 4292096688 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 2286 1840 147 303 0 1981 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9144 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 1.00 3/107 13015 /proc/meminfo: memFree=1359452/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=14696 CPUtime=6.29 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 3323 0 0 0 622 7 0 0 25 0 1 0 10917813 15048704 3237 1992294400 134512640 135751879 4292096688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 3674 3237 148 303 0 3369 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14696 [startup+12.7011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13015 /proc/meminfo: memFree=1346680/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=25924 CPUtime=12.69 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 6153 0 0 0 1257 12 0 0 25 0 1 0 10917813 26546176 6067 1992294400 134512640 135751879 4292096688 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 6481 6067 148 303 0 6176 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 25924 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13017 /proc/meminfo: memFree=1329196/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=43004 CPUtime=25.48 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 10408 0 0 0 2527 21 0 0 25 0 1 0 10917813 44036096 10322 1992294400 134512640 135751879 4292096688 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 10751 10322 148 303 0 10446 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 43004 [startup+51.1007 s] /proc/loadavg: 1.27 1.06 1.02 2/107 13017 /proc/meminfo: memFree=1297080/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=75432 CPUtime=51.07 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 18512 0 0 0 5069 38 0 0 25 0 1 0 10917813 77242368 18426 1992294400 134512640 135751879 4292096688 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 18858 18426 148 303 0 18553 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 75432 [startup+102.309 s] /proc/loadavg: 1.15 1.06 1.02 2/107 13019 /proc/meminfo: memFree=1235328/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=136396 CPUtime=102.25 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 33740 0 0 0 10156 69 0 0 25 0 1 0 10917813 139669504 33654 1992294400 134512640 135751879 4292096688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 34099 33654 148 303 0 33794 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 136396 [startup+162.301 s] /proc/loadavg: 1.05 1.05 1.01 3/107 13019 /proc/meminfo: memFree=1166632/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=205808 CPUtime=162.23 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 51093 0 0 0 16112 111 0 0 25 0 1 0 10917813 210747392 51007 1992294400 134512640 135751879 4292096688 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 51452 51007 148 303 0 51147 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 205808 [startup+222.301 s] /proc/loadavg: 1.02 1.04 1.01 2/107 13021 /proc/meminfo: memFree=1147288/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=224132 CPUtime=222.2 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 55698 0 0 0 22071 149 0 0 25 0 1 0 10917813 229511168 55612 1992294400 134512640 135751879 4292096688 18446744073709551615 134610764 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 56033 55612 151 303 0 55728 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 224132 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.00 2/107 13023 /proc/meminfo: memFree=1139228/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=232696 CPUtime=282.19 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 57832 0 0 0 28038 181 0 0 25 0 1 0 10917813 238280704 57746 1992294400 134512640 135751879 4292096688 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 58174 57746 151 303 0 57869 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 232696 [startup+342.302 s] /proc/loadavg: 1.00 1.02 1.00 2/107 13025 /proc/meminfo: memFree=1104508/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=266896 CPUtime=342.16 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 66320 0 0 0 34007 209 0 0 25 0 1 0 10917813 273301504 66234 1992294400 134512640 135751879 4292096688 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 66724 66234 151 303 0 66419 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 266896 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 13027 /proc/meminfo: memFree=1083924/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=287884 CPUtime=402.14 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 71474 0 0 0 39980 234 0 0 25 0 1 0 10917813 294793216 71388 1992294400 134512640 135751879 4292096688 18446744073709551615 134606342 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 71971 71388 151 303 0 71666 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 287884 [startup+462.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 13027 /proc/meminfo: memFree=1064084/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=307912 CPUtime=462.11 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 76476 0 0 0 45952 259 0 0 25 0 1 0 10917813 315301888 76390 1992294400 134512640 135751879 4292096688 18446744073709551615 134616353 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 76978 76390 151 303 0 76673 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 307912 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13029 /proc/meminfo: memFree=1036060/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=336032 CPUtime=522.1 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 83474 0 0 0 51924 286 0 0 25 0 1 0 10917813 344096768 83388 1992294400 134512640 135751879 4292096688 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 84008 83388 151 303 0 83703 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 336032 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13031 /proc/meminfo: memFree=1007292/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=364068 CPUtime=582.08 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 90872 0 0 0 57896 312 0 0 25 0 1 0 10917813 372805632 90302 1992294400 134512640 135751879 4292096688 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 91017 90302 151 303 0 90712 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 364068 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13033 /proc/meminfo: memFree=990676/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=381056 CPUtime=642.06 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 95167 0 0 0 63865 341 0 0 25 0 1 0 10917813 390201344 94597 1992294400 134512640 135751879 4292096688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 95264 94597 151 303 0 94959 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 381056 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 13039 /proc/meminfo: memFree=889864/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=482240 CPUtime=881.96 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 120332 0 0 0 87781 415 0 0 25 0 1 0 10917813 493813760 119762 1992294400 134512640 135751879 4292096688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 120560 119762 151 303 0 120255 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 482240 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13041 /proc/meminfo: memFree=856632/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=515744 CPUtime=941.94 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 128633 0 0 0 93754 440 0 0 25 0 1 0 10917813 528121856 128063 1992294400 134512640 135751879 4292096688 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 128936 128063 151 303 0 128631 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 515744 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13043 /proc/meminfo: memFree=826376/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=545644 CPUtime=1001.92 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 136106 0 0 0 99731 461 0 0 25 0 1 0 10917813 558739456 135536 1992294400 134512640 135751879 4292096688 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 136411 135536 151 303 0 136106 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 545644 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13043 /proc/meminfo: memFree=810256/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=562216 CPUtime=1061.89 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 140229 0 0 0 105714 475 0 0 25 0 1 0 10917813 575709184 139659 1992294400 134512640 135751879 4292096688 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 140554 139659 151 303 0 140249 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 562216 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13045 /proc/meminfo: memFree=790168/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=582024 CPUtime=1121.88 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 145161 0 0 0 111697 491 0 0 25 0 1 0 10917813 595992576 144591 1992294400 134512640 135751879 4292096688 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 145506 144591 151 303 0 145201 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 582024 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13047 /proc/meminfo: memFree=759044/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=613492 CPUtime=1181.85 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 153025 0 0 0 117670 515 0 0 25 0 1 0 10917813 628215808 152455 1992294400 134512640 135751879 4292096688 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 153373 152455 151 303 0 153068 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 613492 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13049 /proc/meminfo: memFree=724076/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=647040 CPUtime=1241.84 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 162022 0 0 0 123639 545 0 0 25 0 1 0 10917813 662568960 160898 1992294400 134512640 135751879 4292096688 18446744073709551615 134611216 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 161760 160898 151 303 0 161455 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 647040 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13051 /proc/meminfo: memFree=709444/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=660952 CPUtime=1301.82 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 165772 0 0 0 129612 570 0 0 25 0 1 0 10917813 676814848 164648 1992294400 134512640 135751879 4292096688 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 165238 164648 151 303 0 164933 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 660952 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13051 /proc/meminfo: memFree=682040/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=688588 CPUtime=1361.79 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 172651 0 0 0 135586 593 0 0 25 0 1 0 10917813 705114112 171527 1992294400 134512640 135751879 4292096688 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 172147 171527 151 303 0 171842 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 688588 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13053 /proc/meminfo: memFree=655256/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=715348 CPUtime=1421.77 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 179304 0 0 0 141561 616 0 0 25 0 1 0 10917813 732516352 178180 1992294400 134512640 135751879 4292096688 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 178837 178180 151 303 0 178532 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 715348 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13055 /proc/meminfo: memFree=635292/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=735792 CPUtime=1481.74 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 184378 0 0 0 147540 634 0 0 25 0 1 0 10917813 753451008 183254 1992294400 134512640 135751879 4292096688 18446744073709551615 134611181 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 183948 183254 151 303 0 183643 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 735792 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13057 /proc/meminfo: memFree=614336/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=756452 CPUtime=1541.72 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 189500 0 0 0 153521 651 0 0 25 0 1 0 10917813 774606848 188376 1992294400 134512640 135751879 4292096688 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 189113 188376 151 303 0 188808 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 756452 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13059 /proc/meminfo: memFree=582592/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=787524 CPUtime=1601.7 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 197821 0 0 0 159496 674 0 0 25 0 1 0 10917813 806424576 196126 1992294400 134512640 135751879 4292096688 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 196881 196126 151 303 0 196576 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 787524 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13059 /proc/meminfo: memFree=572548/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=797596 CPUtime=1661.68 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 200513 0 0 0 165461 707 0 0 25 0 1 0 10917813 816738304 198818 1992294400 134512640 135751879 4292096688 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 199399 198818 151 303 0 199094 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 797596 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13070 /proc/meminfo: memFree=539316/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=830836 CPUtime=1721.64 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 208791 0 0 0 171427 737 0 0 25 0 1 0 10917813 850776064 207096 1992294400 134512640 135751879 4292096688 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 207709 207096 151 303 0 207404 0 Current children cumulated CPU time (s) 1721.64 Current children cumulated vsize (KiB) 830836 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13072 /proc/meminfo: memFree=503976/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=866056 CPUtime=1781.62 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 217550 0 0 0 177397 765 0 0 25 0 1 0 10917813 886841344 215855 1992294400 134512640 135751879 4292096688 18446744073709551615 134641984 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 216514 215855 151 303 0 216209 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 866056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13072 /proc/meminfo: memFree=489716/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=880316 CPUtime=1800.03 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 221075 0 0 0 179227 776 0 0 25 0 1 0 10917813 901443584 219380 1992294400 134512640 135751879 4292096688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 220079 219380 151 303 0 219774 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 880316 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 1.00 2/107 13072 /proc/meminfo: memFree=489716/2059040 swapFree=4192956/4192956 [pid=13014] ppid=13012 vsize=880316 CPUtime=1800.03 /proc/13014/stat : 13014 (wbo1.4b) R 13012 13014 12500 0 -1 4202496 221075 0 0 0 179227 776 0 0 25 0 1 0 10917813 901443584 219380 1992294400 134512640 135751879 4292096688 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13014/statm: 220079 219380 151 303 0 219774 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 880316 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.8 CPU time (s): 1800.12 CPU user time (s): 1792.27 CPU system time (s): 7.84981 CPU usage (%): 99.9624 Max. virtual memory (cumulated for all children) (KiB): 880316 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.27 system time used= 7.84981 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 221075 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 15 involuntary context switches= 7226 runsolver used 2.80857 second user time and 8.68468 second system time The end
Begin job on node014 at 2010-06-12 16:32:44 IDJOB=2656090 IDBENCH=1854 IDSOLVER=1161 FILE ID=node014/2656090-1276353164 PBS_JOBID= 11173193 Free space on /tmp= 62464 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-mod008.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656090-1276353164/watcher-2656090-1276353164 -o /tmp/evaluation-result-2656090-1276353164/solver-2656090-1276353164 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656090-1276353164.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 4dd9ac2644c29d272d2675c7fc366ed6 RANDOM SEED=1344838768 node014.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.258 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.51 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.258 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.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1370776 kB Buffers: 129784 kB Cached: 413896 kB SwapCached: 0 kB Active: 194288 kB Inactive: 409136 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1370776 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2616 kB Writeback: 0 kB AnonPages: 59684 kB Mapped: 15464 kB Slab: 63028 kB PageTables: 3984 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181720 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= 62460 MiB End job on node014 at 2010-06-12 17:02:47