Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.11 | 1800.55 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_3.opb |
MD5SUM | 58d1d1d90868b936a5ba7e034aba056d |
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 | 85 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 71 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
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 | 1000 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 48 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31622 |
Sum of products size (including duplicates) | 63244 |
Number of different products | 31622 |
Sum of products size | 63244 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702348-1278548067.opb. 0.00/0.00 c Instance file HOME/instance-2702348-1278548067.opb 0.00/0.00 c File size is 2478026 bytes. 0.39/0.42 c Highest Coefficient sum: 49 0.39/0.42 c ============================[ Problem Statistics ]============================= 0.39/0.42 c | | 0.39/0.42 c | Parsing time: 0.41 s | 0.39/0.42 c | Number Variables: 32622 | 0.39/0.42 c | Number Clauses: 32622 | 0.39/0.42 c | Number Cardinality: 0 | 0.39/0.42 c | Number PB Constraints: 31622 | 0.39/0.46 c ============================[ Search Statistics ]============================== 0.39/0.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.46 c =============================================================================== 0.39/0.46 c | 0 | 32622 64244 222354 | 21414 0 nan | 0.000 % | 0.48/0.52 c =============================================================================== 0.48/0.52 c New solution: 468 0.48/0.52 o 468 0.48/0.52 c Elapsed CPU time: 0.501923 s Remaining CPU time: 179.498 s 0.48/0.52 c =============================================================================== 0.48/0.52 c | 0 | 32622 64245 223354 | 21415 0 nan | 0.000 % | 0.48/0.56 c =============================================================================== 0.48/0.56 c New solution: 467 0.48/0.56 o 467 0.48/0.56 c Elapsed CPU time: 0.544917 s Remaining CPU time: 179.455 s 0.48/0.56 c =============================================================================== 0.48/0.56 c | 0 | 32622 64246 224354 | 21415 0 nan | 0.000 % | 0.59/0.61 c =============================================================================== 0.59/0.61 c New solution: 466 0.59/0.61 o 466 0.59/0.61 c Elapsed CPU time: 0.58691 s Remaining CPU time: 179.413 s 0.59/0.61 c =============================================================================== 0.59/0.61 c | 0 | 32622 64247 225354 | 21415 0 nan | 0.000 % | 0.59/0.65 c =============================================================================== 0.59/0.65 c New solution: 465 0.59/0.65 o 465 0.59/0.65 c Elapsed CPU time: 0.626904 s Remaining CPU time: 179.373 s 0.59/0.65 c =============================================================================== 0.59/0.65 c | 0 | 32622 64248 226354 | 21416 0 nan | 0.000 % | 0.69/0.70 c =============================================================================== 0.69/0.70 c New solution: 312 0.69/0.70 o 312 0.69/0.70 c Elapsed CPU time: 0.675897 s Remaining CPU time: 179.324 s 0.69/0.70 c =============================================================================== 0.69/0.70 c | 0 | 32622 64249 227354 | 21416 0 nan | 0.000 % | 0.69/0.74 c =============================================================================== 0.69/0.74 c New solution: 311 0.69/0.74 o 311 0.69/0.74 c Elapsed CPU time: 0.71989 s Remaining CPU time: 179.28 s 0.69/0.74 c =============================================================================== 0.69/0.74 c | 0 | 32622 64250 228354 | 21416 0 nan | 0.000 % | 0.69/0.79 c =============================================================================== 0.69/0.79 c New solution: 310 0.69/0.79 o 310 0.69/0.79 c Elapsed CPU time: 0.762884 s Remaining CPU time: 179.237 s 0.69/0.79 c =============================================================================== 0.69/0.79 c | 0 | 32622 64251 229354 | 21417 0 nan | 0.000 % | 0.79/0.84 c =============================================================================== 0.79/0.84 c New solution: 300 0.79/0.84 o 300 0.79/0.84 c Elapsed CPU time: 0.807877 s Remaining CPU time: 179.192 s 0.79/0.84 c =============================================================================== 0.79/0.84 c | 0 | 32622 64252 230354 | 21417 0 nan | 0.000 % | 0.79/0.88 c =============================================================================== 0.79/0.88 c New solution: 299 0.79/0.88 o 299 0.79/0.88 c Elapsed CPU time: 0.85287 s Remaining CPU time: 179.147 s 0.79/0.88 c =============================================================================== 0.79/0.88 c | 0 | 32622 64253 231354 | 21417 0 nan | 0.000 % | 0.89/0.93 c =============================================================================== 0.89/0.93 c New solution: 298 0.89/0.93 o 298 0.89/0.93 c Elapsed CPU time: 0.898863 s Remaining CPU time: 179.101 s 0.89/0.93 c =============================================================================== 0.89/0.93 c | 0 | 32622 64254 232354 | 21418 0 nan | 0.000 % | 0.89/0.98 c =============================================================================== 0.89/0.98 c New solution: 297 0.89/0.98 o 297 0.89/0.98 c Elapsed CPU time: 0.943856 s Remaining CPU time: 179.056 s 0.89/0.98 c =============================================================================== 0.89/0.98 c | 0 | 32622 64255 233354 | 21418 0 nan | 0.000 % | 0.99/1.03 c =============================================================================== 0.99/1.03 c New solution: 296 0.99/1.03 o 296 0.99/1.03 c Elapsed CPU time: 0.989849 s Remaining CPU time: 179.01 s 0.99/1.03 c =============================================================================== 0.99/1.03 c | 0 | 32622 64256 234354 | 21418 0 nan | 0.000 % | 0.99/1.08 c =============================================================================== 0.99/1.08 c New solution: 234 0.99/1.08 o 234 0.99/1.08 c Elapsed CPU time: 1.04384 s Remaining CPU time: 178.956 s 0.99/1.08 c =============================================================================== 0.99/1.08 c | 0 | 32622 64257 235354 | 21419 0 nan | 0.000 % | 1.10/1.13 c =============================================================================== 1.10/1.13 c New solution: 233 1.10/1.13 o 233 1.10/1.13 c Elapsed CPU time: 1.09483 s Remaining CPU time: 178.905 s 1.10/1.13 c =============================================================================== 1.10/1.13 c | 0 | 32622 64258 236354 | 21419 0 nan | 0.000 % | 2.20/2.28 c | 101 | 32622 64258 236354 | 23561 101 251 | 0.000 % | 2.29/2.34 c =============================================================================== 2.29/2.34 c New solution: 100 2.29/2.34 o 100 2.29/2.34 c Elapsed CPU time: 2.29865 s Remaining CPU time: 177.701 s 2.29/2.34 c =============================================================================== 2.29/2.34 c | 101 | 32622 64259 237354 | 21419 101 251 | 0.000 % | 2.99/3.00 c | 203 | 32622 64259 237354 | 23561 203 190 | 0.000 % | 3.09/3.19 c | 353 | 32622 64259 237354 | 25917 353 179 | 0.000 % | 3.30/3.37 c | 578 | 32622 64259 237354 | 28509 578 180 | 0.000 % | 3.39/3.43 c =============================================================================== 3.39/3.43 c New solution: 99 3.39/3.43 o 99 3.39/3.43 c Elapsed CPU time: 3.37949 s Remaining CPU time: 176.621 s 3.39/3.43 c =============================================================================== 3.39/3.43 c | 578 | 32622 64260 238354 | 21420 578 180 | 0.000 % | 3.39/3.49 c =============================================================================== 3.39/3.49 c New solution: 98 3.39/3.49 o 98 3.39/3.49 c Elapsed CPU time: 3.43448 s Remaining CPU time: 176.566 s 3.39/3.49 c =============================================================================== 3.39/3.49 c | 580 | 32622 64261 239354 | 21420 580 180 | 0.000 % | 3.49/3.55 c =============================================================================== 3.49/3.55 c New solution: 94 3.49/3.55 o 94 3.49/3.55 c Elapsed CPU time: 3.49047 s Remaining CPU time: 176.51 s 3.49/3.55 c =============================================================================== 3.49/3.55 c | 580 | 32622 64262 240354 | 21420 580 180 | 0.000 % | 3.58/3.60 c =============================================================================== 3.58/3.60 c New solution: 91 3.58/3.60 o 91 3.58/3.60 c Elapsed CPU time: 3.54646 s Remaining CPU time: 176.454 s 3.58/3.60 c =============================================================================== 3.58/3.60 c | 580 | 32622 64263 241354 | 21421 580 180 | 0.000 % | 3.58/3.66 c =============================================================================== 3.58/3.66 c New solution: 87 3.58/3.66 o 87 3.58/3.66 c Elapsed CPU time: 3.60345 s Remaining CPU time: 176.397 s 3.58/3.66 c =============================================================================== 3.58/3.66 c | 580 | 32622 64264 242354 | 21421 580 180 | 0.000 % | 3.68/3.75 c | 681 | 32622 64264 242354 | 23563 681 188 | 0.000 % | 3.78/3.86 c | 832 | 32622 64264 242354 | 25919 832 188 | 0.000 % | 3.99/4.04 c | 1058 | 32622 64264 242354 | 28511 1058 194 | 0.000 % | 4.19/4.27 c | 1395 | 32622 64264 242354 | 31362 1395 199 | 0.000 % | 4.59/4.65 c | 1901 | 32622 64264 242354 | 34499 1901 193 | 0.000 % | 5.09/5.15 c | 2660 | 32622 64264 242354 | 37949 2660 192 | 0.000 % | 5.89/5.97 c | 3800 | 32622 64264 242354 | 41744 3800 187 | 0.000 % | 7.19/7.27 c | 5508 | 32622 64264 242354 | 45918 5508 204 | 0.000 % | 8.99/9.08 c | 8071 | 32622 64264 242354 | 50510 8071 194 | 0.000 % | 11.29/11.35 c | 11915 | 32622 64264 242354 | 55561 11915 195 | 0.000 % | 15.98/16.10 c | 17681 | 32622 64264 242354 | 61117 17681 221 | 0.000 % | 23.39/23.41 c | 26330 | 32622 64264 242354 | 67229 26330 227 | 0.000 % | 34.68/34.77 c | 39305 | 32622 64264 242354 | 73952 39305 223 | 0.000 % | 54.47/54.58 c | 58767 | 32622 64264 242354 | 81347 58767 236 | 0.000 % | 87.47/87.51 c | 87959 | 32622 64264 242354 | 89482 87959 239 | 0.000 % | 147.06/147.10 c | 131748 | 32622 64264 242354 | 98430 24622 310 | 0.000 % | 181.15/181.20 c There are 0 assigned variables. 0 in cost function. 182.85/182.95 c core #1 182.85/182.95 c core #2 182.85/182.95 c core #3 182.85/182.95 c core #4 182.85/182.95 c core #5 182.85/182.95 c core #6 182.85/182.95 c core #7 182.85/182.95 c core #8 182.85/182.95 c core #9 182.85/182.95 c ============================[ Search Statistics ]============================== 182.85/182.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.85/182.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.85/182.95 c =============================================================================== 182.85/182.95 c | 0 | 10264 65274 169380 | 21758 0 nan | 0.000 % | 182.95/183.01 c =============================================================================== 183.15/183.26 c core #10 183.15/183.26 c ============================[ Search Statistics ]============================== 183.15/183.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.15/183.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.15/183.26 c =============================================================================== 183.15/183.26 c | 0 | 17351 65275 198963 | 21758 0 nan | 0.000 % | 183.55/183.63 c | 102 | 17351 65275 198963 | 23934 102 378 | 47.729 % | 184.24/184.34 c | 257 | 17351 65275 198963 | 26327 257 417 | 47.729 % | 185.54/185.62 c | 483 | 17351 65275 198963 | 28960 483 414 | 47.729 % | 187.15/187.26 c =============================================================================== 187.45/187.52 c core #11 187.45/187.52 c ============================[ Search Statistics ]============================== 187.45/187.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.45/187.52 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.45/187.52 c =============================================================================== 187.45/187.52 c | 0 | 32054 65276 241352 | 21758 0 nan | 0.000 % | 187.74/187.88 c | 102 | 32054 65276 241352 | 23934 102 434 | 5.868 % | 189.15/189.20 c | 252 | 32054 65276 241352 | 26327 252 492 | 5.867 % | 191.15/191.25 c | 483 | 32054 65276 241352 | 28960 483 556 | 5.867 % | 194.04/194.19 c | 822 | 32054 65276 241352 | 31856 822 530 | 5.867 % | 198.65/198.77 c | 1332 | 32054 65276 241352 | 35042 1332 489 | 5.867 % | 205.14/205.28 c | 2098 | 32054 65276 241352 | 38546 2098 441 | 5.867 % | 217.04/217.12 c | 3237 | 32054 65276 241352 | 42401 3237 388 | 5.867 % | 234.74/234.84 c | 4945 | 32054 65276 241352 | 46641 4945 361 | 5.867 % | 259.43/259.53 c | 7507 | 32054 65276 241352 | 51305 7507 355 | 5.867 % | 304.12/304.29 c | 11353 | 32054 65276 241352 | 56436 11353 337 | 5.867 % | 378.90/379.09 c | 17121 | 32054 65276 241352 | 62080 17121 353 | 5.867 % | 461.79/462.00 c | 25771 | 32054 65276 241352 | 68288 25771 450 | 5.867 % | 636.03/636.21 c | 38745 | 32054 65276 241352 | 75116 38745 462 | 5.867 % | 889.38/889.63 c | 58206 | 32054 65276 241352 | 82628 58206 414 | 5.867 % | 1295.48/1295.86 c | 87401 | 32054 65276 241352 | 90891 15269 528 | 5.867 % |
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-2702348-1278548067/watcher-2702348-1278548067 -o /tmp/evaluation-result-2702348-1278548067/solver-2702348-1278548067 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702348-1278548067.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.97 0.82 3/106 28364 /proc/meminfo: memFree=1699912/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=5464 CPUtime=0 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 415 0 0 0 0 0 0 0 21 0 1 0 23019838 5595136 333 1992294400 134512640 135751879 4292572416 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 1366 334 142 303 0 456 0 [startup+0.071803 s] /proc/loadavg: 0.92 0.97 0.82 3/106 28364 /proc/meminfo: memFree=1699912/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=10628 CPUtime=0.06 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 1540 0 0 0 6 0 0 0 23 0 1 0 23019838 10883072 1458 1992294400 134512640 135751879 4292572416 18446744073709551615 134564242 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 2657 1458 223 303 0 1747 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 10628 [startup+0.100806 s] /proc/loadavg: 0.92 0.97 0.82 3/106 28364 /proc/meminfo: memFree=1699912/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=11156 CPUtime=0.09 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 1713 0 0 0 9 0 0 0 23 0 1 0 23019838 11423744 1631 1992294400 134512640 135751879 4292572416 18446744073709551615 134562450 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 2789 1631 267 303 0 1879 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11156 [startup+0.300824 s] /proc/loadavg: 0.92 0.97 0.82 3/106 28364 /proc/meminfo: memFree=1699912/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=14644 CPUtime=0.29 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 2875 0 0 0 29 0 0 0 23 0 1 0 23019838 14995456 2793 1992294400 134512640 135751879 4292572416 18446744073709551615 135118809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 3661 2794 559 303 0 2751 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14644 [startup+0.700861 s] /proc/loadavg: 0.92 0.97 0.82 3/106 28364 /proc/meminfo: memFree=1699912/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=17368 CPUtime=0.69 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 4957 0 0 0 67 2 0 0 25 0 1 0 23019838 17784832 3661 1992294400 134512640 135751879 4292572416 18446744073709551615 134620789 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 4342 3661 146 303 0 4037 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17368 [startup+1.50093 s] /proc/loadavg: 0.93 0.97 0.82 2/107 28365 /proc/meminfo: memFree=1685148/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=17368 CPUtime=1.49 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 4957 0 0 0 145 4 0 0 25 0 1 0 23019838 17784832 3661 1992294400 134512640 135751879 4292572416 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 4342 3661 146 303 0 4037 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17368 [startup+3.10108 s] /proc/loadavg: 0.93 0.97 0.82 2/107 28365 /proc/meminfo: memFree=1685024/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=17368 CPUtime=3.09 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 4958 0 0 0 304 5 0 0 25 0 1 0 23019838 17784832 3662 1992294400 134512640 135751879 4292572416 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 4342 3662 147 303 0 4037 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17368 [startup+6.30137 s] /proc/loadavg: 0.93 0.97 0.82 2/107 28365 /proc/meminfo: memFree=1683908/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=20272 CPUtime=6.29 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 5676 0 0 0 622 7 0 0 25 0 1 0 23019838 20758528 4380 1992294400 134512640 135751879 4292572416 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 5068 4380 147 303 0 4763 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20272 [startup+12.701 s] /proc/loadavg: 0.94 0.97 0.82 2/107 28365 /proc/meminfo: memFree=1674980/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=29156 CPUtime=12.69 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 7880 0 0 0 1256 13 0 0 25 0 1 0 23019838 29855744 6584 1992294400 134512640 135751879 4292572416 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 7289 6584 147 303 0 6984 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29156 [startup+25.5011 s] /proc/loadavg: 0.95 0.97 0.82 2/107 28366 /proc/meminfo: memFree=1657496/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=46136 CPUtime=25.49 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 12106 0 0 0 2525 24 0 0 25 0 1 0 23019838 47243264 10810 1992294400 134512640 135751879 4292572416 18446744073709551615 134607290 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 11534 10810 147 303 0 11229 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 46136 [startup+51.1005 s] /proc/loadavg: 0.96 0.97 0.82 2/107 28366 /proc/meminfo: memFree=1628852/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=74760 CPUtime=51.08 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 19287 0 0 0 5069 39 0 0 25 0 1 0 23019838 76554240 17991 1992294400 134512640 135751879 4292572416 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 18690 17991 147 303 0 18385 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 74760 [startup+102.308 s] /proc/loadavg: 0.98 0.97 0.83 2/107 28368 /proc/meminfo: memFree=1577268/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=125924 CPUtime=102.28 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 32037 0 0 0 10158 70 0 0 25 0 1 0 23019838 128946176 30741 1992294400 134512640 135751879 4292572416 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 31481 30741 147 303 0 31176 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 125924 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.83 2/107 28369 /proc/meminfo: memFree=1518988/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=184412 CPUtime=162.25 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 46652 0 0 0 16122 103 0 0 25 0 1 0 23019838 188837888 45356 1992294400 134512640 135751879 4292572416 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 46103 45356 148 303 0 45798 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 184412 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.84 2/107 28371 /proc/meminfo: memFree=1501132/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=199936 CPUtime=222.24 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 52566 0 0 0 22104 120 0 0 25 0 1 0 23019838 204734464 49522 1992294400 134512640 135751879 4292572416 18446744073709551615 134611016 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 49984 49522 151 303 0 49679 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 199936 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.85 2/107 28375 /proc/meminfo: memFree=1500512/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=199936 CPUtime=282.22 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 52571 0 0 0 28095 127 0 0 25 0 1 0 23019838 204734464 49527 1992294400 134512640 135751879 4292572416 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 49984 49527 151 303 0 49679 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 199936 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.85 2/107 28377 /proc/meminfo: memFree=1500636/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=199936 CPUtime=342.2 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 52572 0 0 0 34089 131 0 0 25 0 1 0 23019838 204734464 49528 1992294400 134512640 135751879 4292572416 18446744073709551615 134611297 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 49984 49528 151 303 0 49679 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 199936 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.86 3/107 28379 /proc/meminfo: memFree=1500760/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=199936 CPUtime=402.19 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 52574 0 0 0 40083 136 0 0 25 0 1 0 23019838 204734464 49530 1992294400 134512640 135751879 4292572416 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 49984 49530 151 303 0 49679 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 199936 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.86 2/107 28380 /proc/meminfo: memFree=1500760/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=199936 CPUtime=462.18 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 52588 0 0 0 46074 144 0 0 25 0 1 0 23019838 204734464 49544 1992294400 134512640 135751879 4292572416 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 49984 49544 151 303 0 49679 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 199936 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.87 2/107 28382 /proc/meminfo: memFree=1499024/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=202448 CPUtime=522.16 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 53212 0 0 0 52066 150 0 0 25 0 1 0 23019838 207306752 50168 1992294400 134512640 135751879 4292572416 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 50612 50168 151 303 0 50307 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 202448 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.87 2/107 28383 /proc/meminfo: memFree=1490716/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=210664 CPUtime=582.15 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 55279 0 0 0 58058 157 0 0 25 0 1 0 23019838 215719936 52235 1992294400 134512640 135751879 4292572416 18446744073709551615 134606359 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 52666 52235 151 303 0 52361 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 210664 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.88 2/107 28385 /proc/meminfo: memFree=1480796/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=220588 CPUtime=642.14 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 57745 0 0 0 64051 163 0 0 25 0 1 0 23019838 225882112 54701 1992294400 134512640 135751879 4292572416 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 55147 54701 151 303 0 54842 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 220588 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.90 2/107 28392 /proc/meminfo: memFree=1452648/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=248564 CPUtime=882.08 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 64736 0 0 0 88017 191 0 0 25 0 1 0 23019838 254529536 61692 1992294400 134512640 135751879 4292572416 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 62141 61692 151 303 0 61836 0 Current children cumulated CPU time (s) 882.08 Current children cumulated vsize (KiB) 248564 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28393 /proc/meminfo: memFree=1442728/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=258624 CPUtime=942.06 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 67227 0 0 0 94006 200 0 0 25 0 1 0 23019838 264830976 64183 1992294400 134512640 135751879 4292572416 18446744073709551615 134616545 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 64656 64183 151 303 0 64351 0 Current children cumulated CPU time (s) 942.06 Current children cumulated vsize (KiB) 258624 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28395 /proc/meminfo: memFree=1430328/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=270796 CPUtime=1002.04 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 70265 0 0 0 99999 205 0 0 25 0 1 0 23019838 277295104 67221 1992294400 134512640 135751879 4292572416 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 67699 67221 151 303 0 67394 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 270796 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28396 /proc/meminfo: memFree=1420036/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=281244 CPUtime=1062.03 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 72860 0 0 0 105990 213 0 0 25 0 1 0 23019838 287993856 69816 1992294400 134512640 135751879 4292572416 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 70311 69816 151 303 0 70006 0 Current children cumulated CPU time (s) 1062.03 Current children cumulated vsize (KiB) 281244 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28398 /proc/meminfo: memFree=1409868/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=291188 CPUtime=1122.02 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 75351 0 0 0 111979 223 0 0 25 0 1 0 23019838 298176512 72307 1992294400 134512640 135751879 4292572416 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 72797 72307 151 303 0 72492 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 291188 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28399 /proc/meminfo: memFree=1404040/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=297028 CPUtime=1182 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 76806 0 0 0 117972 228 0 0 25 0 1 0 23019838 304156672 73762 1992294400 134512640 135751879 4292572416 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 74257 73762 151 303 0 73952 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 297028 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28401 /proc/meminfo: memFree=1388912/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=312280 CPUtime=1241.99 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 80588 0 0 0 123961 238 0 0 25 0 1 0 23019838 319774720 77544 1992294400 134512640 135751879 4292572416 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 78070 77544 151 303 0 77765 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 312280 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28403 /proc/meminfo: memFree=1373784/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=327116 CPUtime=1301.98 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 84291 0 0 0 129953 245 0 0 25 0 1 0 23019838 334966784 81247 1992294400 134512640 135751879 4292572416 18446744073709551615 134616273 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 81779 81247 151 303 0 81474 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 327116 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28404 /proc/meminfo: memFree=1361508/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=339548 CPUtime=1361.96 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 87382 0 0 0 135943 253 0 0 25 0 1 0 23019838 347697152 84338 1992294400 134512640 135751879 4292572416 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 84887 84338 151 303 0 84582 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 339548 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28406 /proc/meminfo: memFree=1348736/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=352224 CPUtime=1421.95 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 90570 0 0 0 141933 262 0 0 25 0 1 0 23019838 360677376 87526 1992294400 134512640 135751879 4292572416 18446744073709551615 134518790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 88056 87526 151 303 0 87751 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 352224 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28407 /proc/meminfo: memFree=1337576/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=363464 CPUtime=1481.92 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 93377 0 0 0 147925 267 0 0 25 0 1 0 23019838 372187136 90333 1992294400 134512640 135751879 4292572416 18446744073709551615 134616543 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 90866 90333 151 303 0 90561 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 363464 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28409 /proc/meminfo: memFree=1326416/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=374552 CPUtime=1541.91 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 96121 0 0 0 153918 273 0 0 25 0 1 0 23019838 383541248 93077 1992294400 134512640 135751879 4292572416 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 93638 93077 151 303 0 93333 0 Current children cumulated CPU time (s) 1541.91 Current children cumulated vsize (KiB) 374552 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28411 /proc/meminfo: memFree=1314512/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=386484 CPUtime=1601.9 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 99105 0 0 0 159909 281 0 0 25 0 1 0 23019838 395759616 96061 1992294400 134512640 135751879 4292572416 18446744073709551615 134608168 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 96621 96061 151 303 0 96316 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 386484 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28412 /proc/meminfo: memFree=1304468/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=396600 CPUtime=1661.88 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 101619 0 0 0 165901 287 0 0 25 0 1 0 23019838 406118400 98575 1992294400 134512640 135751879 4292572416 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 99150 98575 151 303 0 98845 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 396600 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 28414 /proc/meminfo: memFree=1291076/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=409872 CPUtime=1721.87 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 104958 0 0 0 171890 297 0 0 25 0 1 0 23019838 419708928 101914 1992294400 134512640 135751879 4292572416 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 102468 101914 151 303 0 102163 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 409872 [startup+1782.3 s] /proc/loadavg: 1.15 1.02 0.93 2/107 28415 /proc/meminfo: memFree=1277560/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=423136 CPUtime=1781.86 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 108265 0 0 0 177881 305 0 0 25 0 1 0 23019838 433291264 105221 1992294400 134512640 135751879 4292572416 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 105784 105221 151 303 0 105479 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 423136 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.11 1.02 0.93 2/107 28416 /proc/meminfo: memFree=1275328/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=425380 CPUtime=1800.06 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 108810 0 0 0 179700 306 0 0 25 0 1 0 23019838 435589120 105766 1992294400 134512640 135751879 4292572416 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 106345 105766 151 303 0 106040 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 425380 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.11 1.02 0.93 2/107 28416 /proc/meminfo: memFree=1275328/2059040 swapFree=4155928/4192956 [pid=28364] ppid=28362 vsize=425380 CPUtime=1800.06 /proc/28364/stat : 28364 (wbo1.4b) R 28362 28364 27948 0 -1 4202496 108810 0 0 0 179700 306 0 0 25 0 1 0 23019838 435589120 105766 1992294400 134512640 135751879 4292572416 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28364/statm: 106345 105766 151 303 0 106040 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 425380 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.55 CPU time (s): 1800.11 CPU user time (s): 1797 CPU system time (s): 3.10953 CPU usage (%): 99.9756 Max. virtual memory (cumulated for all children) (KiB): 425380 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797 system time used= 3.10953 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 108810 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= 7090 runsolver used 2.75558 second user time and 8.73067 second system time The end
Begin job on node014 at 2010-07-08 02:14:27 IDJOB=2702348 IDBENCH=48109 IDSOLVER=1161 FILE ID=node014/2702348-1278548067 PBS_JOBID= 11239517 Free space on /tmp= 62572 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_3.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-2702348-1278548067/watcher-2702348-1278548067 -o /tmp/evaluation-result-2702348-1278548067/solver-2702348-1278548067 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702348-1278548067.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 58d1d1d90868b936a5ba7e034aba056d RANDOM SEED=102579065 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.246 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.49 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.246 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: 1702672 kB Buffers: 61104 kB Cached: 195248 kB SwapCached: 2392 kB Active: 135340 kB Inactive: 146756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1702672 kB SwapTotal: 4192956 kB SwapFree: 4155928 kB Dirty: 3116 kB Writeback: 0 kB AnonPages: 23436 kB Mapped: 12912 kB Slab: 52284 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180020 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-2702348-1278548067.opb Free space on /tmp at the end= 62568 MiB End job on node014 at 2010-07-08 02:44:31