Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.23 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_200_10_5.opb |
MD5SUM | 08d7a5060b972f308367859ff82f87f6 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 21 |
Best CPU time to get the best result obtained on this benchmark | 1789.48 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 23 |
Number of terms in the objective function | 200 |
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 | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2528 |
Sum of products size (including duplicates) | 5056 |
Number of different products | 2528 |
Sum of products size | 5056 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702374-1278564907.opb. 0.00/0.00 c Instance file HOME/instance-2702374-1278564907.opb 0.00/0.00 c File size is 188288 bytes. 0.00/0.03 c Highest Coefficient sum: 24 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 2728 | 0.00/0.03 c | Number Clauses: 2728 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 2528 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2728 5256 17896 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 199 0.00/0.03 o 199 0.00/0.03 c Elapsed CPU time: 0.034994 s Remaining CPU time: 179.965 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2728 5257 18096 | 5000 0 nan | 0.000 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 162 0.00/0.03 o 162 0.00/0.03 c Elapsed CPU time: 0.036994 s Remaining CPU time: 179.963 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 2728 5258 18296 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 161 0.00/0.04 o 161 0.00/0.04 c Elapsed CPU time: 0.037994 s Remaining CPU time: 179.962 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2728 5259 18496 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 160 0.00/0.04 o 160 0.00/0.04 c Elapsed CPU time: 0.039993 s Remaining CPU time: 179.96 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2728 5260 18696 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 151 0.00/0.04 o 151 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2728 5261 18896 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 136 0.00/0.04 o 136 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 2728 5262 19096 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 135 0.00/0.05 o 135 0.00/0.05 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2728 5263 19296 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 134 0.00/0.05 o 134 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2728 5264 19496 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 133 0.00/0.05 o 133 0.00/0.05 c Elapsed CPU time: 0.049992 s Remaining CPU time: 179.95 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2728 5265 19696 | 5000 0 nan | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 132 0.00/0.05 o 132 0.00/0.05 c Elapsed CPU time: 0.050992 s Remaining CPU time: 179.949 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 0 | 2728 5266 19896 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 131 0.00/0.06 o 131 0.00/0.06 c Elapsed CPU time: 0.052991 s Remaining CPU time: 179.947 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2728 5267 20096 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 130 0.00/0.06 o 130 0.00/0.06 c Elapsed CPU time: 0.053991 s Remaining CPU time: 179.946 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2728 5268 20296 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 111 0.00/0.06 o 111 0.00/0.06 c Elapsed CPU time: 0.056991 s Remaining CPU time: 179.943 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 0 | 2728 5269 20496 | 5000 0 nan | 0.000 % | 0.00/0.06 c =============================================================================== 0.00/0.06 c New solution: 110 0.00/0.06 o 110 0.00/0.06 c Elapsed CPU time: 0.058991 s Remaining CPU time: 179.941 s 0.00/0.06 c =============================================================================== 0.00/0.06 c | 2 | 2728 5270 20696 | 5000 2 111 | 0.000 % | 0.00/0.07 c =============================================================================== 0.00/0.07 c New solution: 32 0.00/0.07 o 32 0.00/0.07 c Elapsed CPU time: 0.06199 s Remaining CPU time: 179.938 s 0.00/0.07 c =============================================================================== 0.00/0.07 c | 2 | 2728 5271 20896 | 5000 2 111 | 0.000 % | 0.00/0.08 c =============================================================================== 0.00/0.08 c New solution: 31 0.00/0.08 o 31 0.00/0.08 c Elapsed CPU time: 0.070989 s Remaining CPU time: 179.929 s 0.00/0.08 c =============================================================================== 0.00/0.08 c | 63 | 2728 5272 21096 | 5000 63 58 | 0.000 % | 0.00/0.09 c | 164 | 2728 5272 21096 | 5500 164 63 | 0.000 % | 0.09/0.11 c | 314 | 2728 5272 21096 | 6050 314 65 | 0.000 % | 0.09/0.14 c | 539 | 2728 5272 21096 | 6655 539 69 | 0.000 % | 0.09/0.19 c | 876 | 2728 5272 21096 | 7320 876 70 | 0.000 % | 0.09/0.19 c =============================================================================== 0.09/0.19 c New solution: 30 0.09/0.19 o 30 0.09/0.19 c Elapsed CPU time: 0.183972 s Remaining CPU time: 179.816 s 0.09/0.19 c =============================================================================== 0.09/0.19 c | 876 | 2728 5273 21296 | 5000 876 70 | 0.000 % | 0.19/0.21 c | 976 | 2728 5273 21296 | 5500 976 70 | 0.000 % | 0.19/0.23 c | 1126 | 2728 5273 21296 | 6050 1126 70 | 0.000 % | 0.19/0.26 c | 1352 | 2728 5273 21296 | 6655 1352 68 | 0.000 % | 0.29/0.32 c | 1689 | 2728 5273 21296 | 7320 1689 67 | 0.000 % | 0.39/0.40 c | 2196 | 2728 5273 21296 | 8052 2196 68 | 0.000 % | 0.49/0.51 c | 2955 | 2728 5273 21296 | 8857 2955 69 | 0.000 % | 0.60/0.69 c | 4095 | 2728 5273 21296 | 9743 4095 70 | 0.000 % | 0.60/0.69 c =============================================================================== 0.60/0.69 c New solution: 29 0.60/0.69 o 29 0.60/0.69 c Elapsed CPU time: 0.674897 s Remaining CPU time: 179.325 s 0.60/0.69 c =============================================================================== 0.60/0.69 c | 4095 | 2728 5274 21496 | 5000 4095 70 | 0.000 % | 0.69/0.71 c | 4195 | 2728 5274 21496 | 5500 4195 69 | 0.000 % | 0.69/0.73 c | 4347 | 2728 5274 21496 | 6050 4347 70 | 0.000 % | 0.69/0.77 c | 4572 | 2728 5274 21496 | 6655 4572 70 | 0.000 % | 0.79/0.83 c | 4909 | 2728 5274 21496 | 7320 4909 70 | 0.000 % | 0.89/0.92 c | 5417 | 2728 5274 21496 | 8052 5417 70 | 0.000 % | 0.99/1.04 c | 6176 | 2728 5274 21496 | 8857 6176 69 | 0.000 % | 1.19/1.23 c | 7316 | 2728 5274 21496 | 9743 7316 70 | 0.000 % | 1.49/1.52 c | 9025 | 2728 5274 21496 | 10717 9025 70 | 0.000 % | 1.99/2.03 c | 11588 | 2728 5274 21496 | 11789 11588 71 | 0.000 % | 2.79/2.84 c | 15433 | 2728 5274 21496 | 12968 8458 73 | 0.000 % | 4.09/4.11 c | 21200 | 2728 5274 21496 | 14265 14225 73 | 0.000 % | 5.99/6.00 c | 29849 | 2728 5274 21496 | 15692 14657 70 | 0.000 % | 8.39/8.46 c =============================================================================== 8.39/8.46 c New solution: 28 8.39/8.46 o 28 8.39/8.46 c Elapsed CPU time: 8.35373 s Remaining CPU time: 171.646 s 8.39/8.46 c =============================================================================== 8.39/8.46 c | 40709 | 2728 5275 21696 | 5000 16559 71 | 0.000 % | 8.49/8.58 c | 40809 | 2728 5275 21696 | 5500 4240 79 | 0.000 % | 8.59/8.61 c | 40960 | 2728 5275 21696 | 6050 4391 79 | 0.000 % | 8.59/8.65 c | 41185 | 2728 5275 21696 | 6655 4616 79 | 0.000 % | 8.69/8.71 c | 41523 | 2728 5275 21696 | 7320 4954 79 | 0.000 % | 8.69/8.80 c | 42029 | 2728 5275 21696 | 8052 5460 79 | 0.000 % | 8.89/8.93 c | 42788 | 2728 5275 21696 | 8857 6219 77 | 0.000 % | 9.09/9.12 c | 43929 | 2728 5275 21696 | 9743 7360 77 | 0.000 % | 9.39/9.45 c | 45637 | 2728 5275 21696 | 10717 9068 76 | 0.000 % | 9.89/9.91 c | 48200 | 2728 5275 21696 | 11789 11631 72 | 0.000 % | 10.69/10.74 c | 52044 | 2728 5275 21696 | 12968 8505 66 | 0.000 % | 11.99/12.04 c | 57812 | 2728 5275 21696 | 14265 14273 69 | 0.000 % | 14.08/14.13 c | 66461 | 2728 5275 21696 | 15692 15786 76 | 0.000 % | 17.49/17.59 c | 79435 | 2728 5275 21696 | 17261 11959 75 | 0.000 % | 22.58/22.68 c | 98896 | 2728 5275 21696 | 18987 11968 93 | 0.000 % | 30.48/30.57 c | 128088 | 2728 5275 21696 | 20886 20035 59 | 0.000 % | 44.47/44.52 c | 171878 | 2728 5275 21696 | 22974 17147 70 | 0.000 % | 66.17/66.25 c | 237563 | 2728 5275 21696 | 25272 14239 67 | 0.000 % | 101.56/101.68 c | 336090 | 2728 5275 21696 | 27799 18119 78 | 0.000 % | 156.94/157.02 c | 483881 | 2728 5275 21696 | 30579 21932 80 | 0.000 % | 181.93/182.05 c There are 0 assigned variables. 0 in cost function. 182.74/182.80 c core #1 182.74/182.80 c core #2 182.74/182.80 c core #3 182.74/182.80 c core #4 182.74/182.80 c core #5 182.74/182.80 c core #6 182.74/182.80 c core #7 182.74/182.80 c ============================[ Search Statistics ]============================== 182.74/182.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.80 c =============================================================================== 182.74/182.80 c | 0 | 1563 5483 15884 | 5000 0 nan | 0.000 % | 182.74/182.81 c =============================================================================== 182.74/182.83 c core #8 182.74/182.83 c ============================[ Search Statistics ]============================== 182.74/182.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.74/182.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.74/182.83 c =============================================================================== 182.74/182.83 c | 0 | 2615 5484 21379 | 5000 0 nan | 0.000 % | 182.74/182.88 c | 101 | 2615 5484 21379 | 5500 101 103 | 11.656 % | 182.84/182.95 c | 252 | 2615 5484 21379 | 6050 252 108 | 11.655 % | 182.93/183.07 c | 483 | 2615 5484 21379 | 6655 483 118 | 11.655 % | 183.03/183.16 c =============================================================================== 183.03/183.19 c core #9 183.03/183.19 c ============================[ Search Statistics ]============================== 183.03/183.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.19 c =============================================================================== 183.03/183.19 c | 0 | 3144 5485 22919 | 5000 0 nan | 0.000 % | 183.13/183.23 c | 102 | 3144 5485 22919 | 5500 102 139 | 0.349 % | 183.23/183.32 c | 254 | 3144 5485 22919 | 6050 254 135 | 0.349 % | 183.33/183.44 c | 483 | 3144 5485 22919 | 6655 483 137 | 0.349 % | 183.53/183.63 c | 820 | 3144 5485 22919 | 7320 820 139 | 0.349 % | 183.83/183.90 c | 1327 | 3144 5485 22919 | 8052 1327 132 | 0.349 % | 184.34/184.44 c | 2089 | 3144 5485 22919 | 8857 2089 129 | 0.349 % | 185.34/185.44 c | 3228 | 3144 5485 22919 | 9743 3228 130 | 0.349 % | 186.74/186.88 c | 4936 | 3144 5485 22919 | 10717 4936 136 | 0.349 % | 189.24/189.33 c | 7503 | 3144 5485 22919 | 11789 7503 129 | 0.349 % | 193.33/193.48 c | 11351 | 3144 5485 22919 | 12968 11351 127 | 0.349 % | 199.44/199.59 c | 17122 | 3144 5485 22919 | 14265 10430 124 | 0.349 % | 209.63/209.79 c | 25777 | 3144 5485 22919 | 15692 11756 158 | 0.349 % | 216.83/216.93 c =============================================================================== 217.23/217.38 c core #10 217.23/217.38 c ============================[ Search Statistics ]============================== 217.23/217.38 c | Conflicts | ORIGINAL | LEARNT | Progress | 217.23/217.38 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 217.23/217.38 c =============================================================================== 217.23/217.38 c | 0 | 3355 5486 23350 | 5000 0 nan | 0.000 % | 217.33/217.43 c | 102 | 3355 5486 23350 | 5500 102 210 | 0.000 % | 217.33/217.49 c | 252 | 3355 5486 23350 | 6050 252 135 | 0.000 % | 217.43/217.58 c | 481 | 3355 5486 23350 | 6655 481 89 | 0.000 % | 217.63/217.74 c | 819 | 3355 5486 23350 | 7320 819 98 | 0.000 % | 217.83/217.94 c | 1331 | 3355 5486 23350 | 8052 1331 123 | 0.000 % | 218.03/218.18 c | 2090 | 3355 5486 23350 | 8857 2090 120 | 0.000 % | 218.53/218.61 c | 3230 | 3355 5486 23350 | 9743 3230 124 | 0.000 % | 219.12/219.25 c | 4938 | 3355 5486 23350 | 10717 4938 125 | 0.000 % | 220.32/220.40 c | 7502 | 3355 5486 23350 | 11789 7502 118 | 0.000 % | 222.53/222.68 c | 11346 | 3355 5486 23350 | 12968 11346 122 | 0.000 % | 226.93/227.01 c | 17112 | 3355 5486 23350 | 14265 10527 124 | 0.000 % | 233.82/233.97 c | 25761 | 3355 5486 23350 | 15692 11892 108 | 0.000 % | 245.32/245.42 c | 38738 | 3355 5486 23350 | 17261 8823 171 | 0.000 % | 265.91/266.00 c | 58200 | 3355 5486 23350 | 18987 10448 189 | 0.000 % | 302.31/302.48 c | 87392 | 3355 5486 23350 | 20886 10609 205 | 0.000 % | 357.19/357.39 c | 131186 | 3355 5486 23350 | 22974 11595 211 | 0.000 % | 449.06/449.23 c | 196877 | 3355 5486 23350 | 25272 18924 183 | 0.000 % | 585.33/585.55 c | 295406 | 3355 5486 23350 | 27799 14565 227 | 0.000 % | 824.96/825.20 c | 443195 | 3355 5486 23350 | 30579 26285 208 | 0.000 % | 1219.06/1219.41 c | 664878 | 3355 5486 23350 | 33637 15430 239 | 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-2702374-1278564907/watcher-2702374-1278564907 -o /tmp/evaluation-result-2702374-1278564907/solver-2702374-1278564907 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702374-1278564907.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.99 0.97 0.91 3/106 30913 /proc/meminfo: memFree=1701656/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=3332 CPUtime=0 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 404 0 0 0 0 0 0 0 20 0 1 0 24703873 3411968 323 1992294400 134512640 135751879 4293262576 18446744073709551615 134564443 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 833 323 145 303 0 482 0 [startup+0.109364 s] /proc/loadavg: 0.99 0.97 0.91 3/106 30913 /proc/meminfo: memFree=1701656/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=3716 CPUtime=0.09 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 680 0 0 0 9 0 0 0 20 0 1 0 24703873 3805184 495 1992294400 134512640 135751879 4293262576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 929 495 147 303 0 624 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3716 [startup+0.201375 s] /proc/loadavg: 0.99 0.97 0.91 3/106 30913 /proc/meminfo: memFree=1701656/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=3976 CPUtime=0.19 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 746 0 0 0 18 1 0 0 20 0 1 0 24703873 4071424 561 1992294400 134512640 135751879 4293262576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 994 561 147 303 0 689 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3976 [startup+0.301386 s] /proc/loadavg: 0.99 0.97 0.91 3/106 30913 /proc/meminfo: memFree=1701656/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=4236 CPUtime=0.29 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 808 0 0 0 28 1 0 0 20 0 1 0 24703873 4337664 623 1992294400 134512640 135751879 4293262576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 1059 623 147 303 0 754 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4236 [startup+0.701432 s] /proc/loadavg: 0.99 0.97 0.91 3/106 30913 /proc/meminfo: memFree=1701656/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=5284 CPUtime=0.69 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 1069 0 0 0 67 2 0 0 21 0 1 0 24703873 5410816 884 1992294400 134512640 135751879 4293262576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 1321 884 147 303 0 1016 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5284 [startup+1.50152 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30914 /proc/meminfo: memFree=1697804/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=7264 CPUtime=1.49 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 1549 0 0 0 146 3 0 0 23 0 1 0 24703873 7438336 1364 1992294400 134512640 135751879 4293262576 18446744073709551615 134606301 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 1816 1364 147 303 0 1511 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7264 [startup+3.10071 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30914 /proc/meminfo: memFree=1695200/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=10424 CPUtime=3.09 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 2337 0 0 0 304 5 0 0 25 0 1 0 24703873 10674176 2152 1992294400 134512640 135751879 4293262576 18446744073709551615 134611192 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 2606 2152 148 303 0 2301 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10424 [startup+6.30108 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30914 /proc/meminfo: memFree=1688876/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=16152 CPUtime=6.29 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 3781 0 0 0 621 8 0 0 25 0 1 0 24703873 16539648 3596 1992294400 134512640 135751879 4293262576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 4038 3596 148 303 0 3733 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16152 [startup+12.7008 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30914 /proc/meminfo: memFree=1677096/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=27808 CPUtime=12.68 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 6688 0 0 0 1252 16 0 0 25 0 1 0 24703873 28475392 6503 1992294400 134512640 135751879 4293262576 18446744073709551615 134611165 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 6952 6503 148 303 0 6647 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27808 [startup+25.5013 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30914 /proc/meminfo: memFree=1655396/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=48600 CPUtime=25.49 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 11870 0 0 0 2516 33 0 0 25 0 1 0 24703873 49766400 11685 1992294400 134512640 135751879 4293262576 18446744073709551615 134611167 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 12150 11685 148 303 0 11845 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 48600 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30914 /proc/meminfo: memFree=1621792/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=82320 CPUtime=51.07 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 20306 0 0 0 5044 63 0 0 25 0 1 0 24703873 84295680 20121 1992294400 134512640 135751879 4293262576 18446744073709551615 134603007 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 20580 20121 148 303 0 20275 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 82320 [startup+102.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30916 /proc/meminfo: memFree=1562396/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=141144 CPUtime=102.26 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 34967 0 0 0 10108 118 0 0 25 0 1 0 24703873 144531456 34782 1992294400 134512640 135751879 4293262576 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 35286 34782 148 303 0 34981 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 141144 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30918 /proc/meminfo: memFree=1501636/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=202876 CPUtime=162.24 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 50371 0 0 0 16045 179 0 0 25 0 1 0 24703873 207745024 50186 1992294400 134512640 135751879 4293262576 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 50719 50186 148 303 0 50414 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 202876 [startup+222.308 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30920 /proc/meminfo: memFree=1474232/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=228944 CPUtime=222.24 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 57006 0 0 0 22003 221 0 0 25 0 1 0 24703873 234438656 56789 1992294400 134512640 135751879 4293262576 18446744073709551615 134616299 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 57236 56789 151 303 0 56931 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 228944 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30922 /proc/meminfo: memFree=1427980/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=275768 CPUtime=282.21 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 68710 0 0 0 27961 260 0 0 25 0 1 0 24703873 282386432 68493 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 68942 68493 151 303 0 68637 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 275768 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30922 /proc/meminfo: memFree=1379868/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=323200 CPUtime=342.19 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 80550 0 0 0 33925 294 0 0 25 0 1 0 24703873 330956800 80333 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 80800 80333 151 303 0 80495 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 323200 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30933 /proc/meminfo: memFree=1337088/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=365864 CPUtime=402.18 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 91153 0 0 0 39895 323 0 0 25 0 1 0 24703873 374644736 90936 1992294400 134512640 135751879 4293262576 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 91466 90936 151 303 0 91161 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 365864 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30935 /proc/meminfo: memFree=1295424/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=407172 CPUtime=462.16 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 101484 0 0 0 45865 351 0 0 25 0 1 0 24703873 416944128 101267 1992294400 134512640 135751879 4293262576 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 101793 101267 151 303 0 101488 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 407172 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30937 /proc/meminfo: memFree=1255744/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=447232 CPUtime=522.14 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 111458 0 0 0 51833 381 0 0 25 0 1 0 24703873 457965568 111241 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 111808 111241 151 303 0 111503 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 447232 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30939 /proc/meminfo: memFree=1214328/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=488308 CPUtime=582.13 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 121725 0 0 0 57803 410 0 0 25 0 1 0 24703873 500027392 121508 1992294400 134512640 135751879 4293262576 18446744073709551615 134616350 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 122077 121508 151 303 0 121772 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 488308 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30939 /proc/meminfo: memFree=1185808/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=517040 CPUtime=642.11 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 128866 0 0 0 63779 432 0 0 25 0 1 0 24703873 529448960 128649 1992294400 134512640 135751879 4293262576 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 129260 128649 151 303 0 128955 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 517040 [startup+702.301 s] ################ # More data... # ################ [startup+882.309 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30947 /proc/meminfo: memFree=1047176/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=655500 CPUtime=882.06 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 163389 0 0 0 87667 539 0 0 25 0 1 0 24703873 671232000 163172 1992294400 134512640 135751879 4293262576 18446744073709551615 134607817 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 163875 163172 151 303 0 163570 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 655500 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30947 /proc/meminfo: memFree=1006876/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=695984 CPUtime=942.03 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 173500 0 0 0 93637 566 0 0 25 0 1 0 24703873 712687616 173283 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 173996 173283 151 303 0 173691 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 695984 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30949 /proc/meminfo: memFree=970048/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=732672 CPUtime=1002.02 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 182654 0 0 0 99608 594 0 0 25 0 1 0 24703873 750256128 182437 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 183168 182437 151 303 0 182863 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 732672 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30951 /proc/meminfo: memFree=933096/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=769864 CPUtime=1062 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 191950 0 0 0 105583 617 0 0 25 0 1 0 24703873 788340736 191733 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 192466 191733 151 303 0 192161 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 769864 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30953 /proc/meminfo: memFree=900856/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=801908 CPUtime=1121.99 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 199914 0 0 0 111561 638 0 0 25 0 1 0 24703873 821153792 199697 1992294400 134512640 135751879 4293262576 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 200477 199697 151 303 0 200172 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 801908 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30955 /proc/meminfo: memFree=861920/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=841064 CPUtime=1181.97 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 209724 0 0 0 117532 665 0 0 25 0 1 0 24703873 861249536 209507 1992294400 134512640 135751879 4293262576 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 210266 209507 151 303 0 209961 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 841064 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30955 /proc/meminfo: memFree=825960/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=876780 CPUtime=1241.95 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 218624 0 0 0 123506 689 0 0 25 0 1 0 24703873 897822720 218407 1992294400 134512640 135751879 4293262576 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 219195 218407 151 303 0 218890 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 876780 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30957 /proc/meminfo: memFree=794092/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=908456 CPUtime=1301.94 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 226546 0 0 0 129479 715 0 0 25 0 1 0 24703873 930258944 226329 1992294400 134512640 135751879 4293262576 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 227114 226329 151 303 0 226809 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 908456 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30959 /proc/meminfo: memFree=754784/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=947880 CPUtime=1361.92 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 236373 0 0 0 135447 745 0 0 25 0 1 0 24703873 970629120 236156 1992294400 134512640 135751879 4293262576 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 236970 236156 151 303 0 236665 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 947880 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30964 /proc/meminfo: memFree=717956/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=983796 CPUtime=1421.91 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 245367 0 0 0 141419 772 0 0 25 0 1 0 24703873 1007407104 245150 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 245949 245150 151 303 0 245644 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 983796 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30966 /proc/meminfo: memFree=678896/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=1023148 CPUtime=1481.88 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 255174 0 0 0 147391 797 0 0 25 0 1 0 24703873 1047703552 254957 1992294400 134512640 135751879 4293262576 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 255787 254957 151 303 0 255482 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 1023148 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30966 /proc/meminfo: memFree=641076/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=1060760 CPUtime=1541.88 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 264580 0 0 0 153363 825 0 0 25 0 1 0 24703873 1086218240 264363 1992294400 134512640 135751879 4293262576 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 265190 264363 151 303 0 264885 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 1060760 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30968 /proc/meminfo: memFree=598420/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=1104104 CPUtime=1601.85 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 275406 0 0 0 159333 852 0 0 25 0 1 0 24703873 1130602496 275189 1992294400 134512640 135751879 4293262576 18446744073709551615 134616505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 276026 275189 151 303 0 275721 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 1104104 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30970 /proc/meminfo: memFree=562956/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=1138908 CPUtime=1661.84 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 284091 0 0 0 165306 878 0 0 25 0 1 0 24703873 1166241792 283874 1992294400 134512640 135751879 4293262576 18446744073709551615 134616879 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 284727 283874 151 303 0 284422 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1138908 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30972 /proc/meminfo: memFree=531212/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=1171056 CPUtime=1721.81 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 292113 0 0 0 171282 899 0 0 25 0 1 0 24703873 1199161344 291896 1992294400 134512640 135751879 4293262576 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 292764 291896 151 303 0 292459 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 1171056 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30974 /proc/meminfo: memFree=495004/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=1207124 CPUtime=1781.8 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 301118 0 0 0 177256 924 0 0 25 0 1 0 24703873 1236094976 300901 1992294400 134512640 135751879 4293262576 18446744073709551615 134607738 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 301781 300901 151 303 0 301476 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 1207124 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30974 /proc/meminfo: memFree=485332/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=1216480 CPUtime=1800.1 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4202496 303456 0 0 0 179080 930 0 0 25 0 1 0 24703873 1245675520 303239 1992294400 134512640 135751879 4293262576 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30913/statm: 304120 303239 151 303 0 303815 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1216480 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: 0.99 0.97 0.91 2/108 30975 /proc/meminfo: memFree=1575668/2059040 swapFree=4138696/4192956 [pid=30913] ppid=30911 vsize=0 CPUtime=1800.21 /proc/30913/stat : 30913 (wbo1.4b) R 30911 30913 30691 0 -1 4203524 303456 0 0 0 179080 941 0 0 25 0 1 0 24703873 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/30913/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.21 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.72 CPU time (s): 1800.23 CPU user time (s): 1790.81 CPU system time (s): 9.42057 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 1216480 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1790.81 system time used= 9.42057 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 303456 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= 7 involuntary context switches= 1821 runsolver used 2.92355 second user time and 8.5667 second system time The end
Begin job on node011 at 2010-07-08 06:55:07 IDJOB=2702374 IDBENCH=48122 IDSOLVER=1161 FILE ID=node011/2702374-1278564907 PBS_JOBID= 11239559 Free space on /tmp= 62492 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_10_5.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-2702374-1278564907/watcher-2702374-1278564907 -o /tmp/evaluation-result-2702374-1278564907/solver-2702374-1278564907 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702374-1278564907.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 08d7a5060b972f308367859ff82f87f6 RANDOM SEED=374341198 node011.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.212 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.42 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.212 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: 1702556 kB Buffers: 74880 kB Cached: 190820 kB SwapCached: 8416 kB Active: 160644 kB Inactive: 120076 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1702556 kB SwapTotal: 4192956 kB SwapFree: 4138696 kB Dirty: 2648 kB Writeback: 0 kB AnonPages: 12484 kB Mapped: 11996 kB Slab: 53812 kB PageTables: 4136 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183088 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-2702374-1278564907.opb Free space on /tmp at the end= 62492 MiB End job on node011 at 2010-07-08 07:25:10