Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.01 | 1800.45 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_4.opb |
MD5SUM | d78f5121f87a7bad7fc74d5d3eacc32f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 71 |
Total number of constraints | 17 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 70 |
Number of terms in the objective function | 1 |
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 | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1881 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5644 |
Number of bits of the biggest sum of numbers | 13 |
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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/350011-1176733823/instance-350011-1176733823.opb 0.00/0.00 c File size is 9055 bytes. 0.00/0.00 c Highest Coefficient sum: 5644 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.002 s 0.00/0.00 c Var: 71 Constr: 17 1/0/16 Lit: 1113 Watch. Lit: 355 0.00/0.00 c Obj. Vars: 1 (1.40845 % of total variables) 0.00/0.01 c Pre-processing Time: 0.004 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 70 16 1112 69 360 2224 0 0 0.00 0.00/0.01 c Switching off LPR mode. 1799.96/1800.43 c 100 70 116 6626 57 797 2447 100 7692 0.01 1799.96/1800.43 c 250 70 266 15130 56 1093 2692 250 9615 0.03 1799.96/1800.43 c 475 70 491 27541 56 1547 2962 475 10106 0.05 1799.96/1800.43 c 815 70 831 46295 55 2218 3259 815 10061 0.08 1799.96/1800.43 c 1323 70 1339 74116 55 3227 3585 1323 9947 0.13 1799.96/1800.43 c 2086 70 2102 117951 56 4759 3944 2086 9230 0.23 1799.96/1800.43 c 3232 70 3248 182199 56 7049 4339 3232 8394 0.39 1799.96/1800.43 c 4953 70 2744 155947 56 6035 4773 2728 7199 0.69 1799.96/1800.43 c 7538 70 2884 163239 56 6338 5251 2868 6682 1.13 1799.96/1800.43 c 11420 70 4083 227889 55 8738 5777 4067 5957 1.92 1799.96/1800.43 c 17242 70 4018 228177 56 8575 6355 4002 5126 3.36 1799.96/1800.43 c 25979 70 6286 361668 57 13148 6991 6270 4322 6.01 1799.96/1800.43 c 39090 70 5199 289885 55 10955 7691 5183 3834 10.20 1799.96/1800.43 c 58760 70 5411 297844 55 11381 8461 5395 3352 17.53 1799.96/1800.43 c 88270 70 4959 282763 57 10495 9308 4943 2910 30.33 1799.96/1800.43 c 132541 70 6896 392696 56 14354 10239 6880 2583 51.31 1799.96/1800.43 c 198951 70 6095 339683 55 12746 11263 6079 2434 81.73 1799.96/1800.43 c 298572 70 9131 518950 56 18822 12390 9115 2230 133.85 1799.96/1800.43 c 448007 70 8746 485526 55 18043 13630 8730 2086 214.68 1799.96/1800.43 c 672165 70 13273 726235 54 27106 14994 13257 1892 355.11 1799.96/1800.43 c 1008409 70 9898 562343 56 20370 16494 9882 1643 613.43 1799.96/1800.43 c 1512780 70 16481 946347 57 33536 18144 16465 1453 1040.74 1799.96/1800.43 c 2269343 70 16012 920763 57 32588 19959 15996 1318 1721.05 1799.96/1800.43 c Resources Exceeded 1799.96/1800.43 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.96/1800.43 c 23 2352314 297 2353293 18742 1082960 18726 1306 1800.00 1799.96/1800.43 s UNKNOWN 1799.96/1800.43 c Total time: 1800 s
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-350011-1176733823 -o ROOT/results/node41/solver-350011-1176733823 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350011-1176733823/instance-350011-1176733823.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28364 /proc/meminfo: memFree=1654328/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=19548 CPUtime=0 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 335 0 1 0 0 0 0 0 18 0 1 0 121294210 20017152 304 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 4887 307 276 324 0 3956 0 [startup+0.023854 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28364 /proc/meminfo: memFree=1654328/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=11868 CPUtime=0.01 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 437 0 1 0 1 0 0 0 18 0 1 0 121294210 12152832 403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 2967 403 312 324 0 2036 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 11868 [startup+0.101861 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28364 /proc/meminfo: memFree=1654328/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=12512 CPUtime=0.09 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 601 0 1 0 9 0 0 0 18 0 1 0 121294210 12812288 567 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 3128 568 312 324 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12512 [startup+0.30188 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28364 /proc/meminfo: memFree=1654328/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=13940 CPUtime=0.29 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 948 0 1 0 29 0 0 0 19 0 1 0 121294210 14274560 914 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 3485 914 312 324 0 2554 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13940 [startup+0.701913 s] /proc/loadavg: 0.92 0.98 0.99 3/77 28364 /proc/meminfo: memFree=1654328/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=15496 CPUtime=0.69 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 1321 0 1 0 68 1 0 0 23 0 1 0 121294210 15867904 1287 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 3874 1287 312 324 0 2943 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15496 [startup+1.50198 s] /proc/loadavg: 0.92 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1649840/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=15880 CPUtime=1.49 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 1418 0 1 0 148 1 0 0 25 0 1 0 121294210 16261120 1384 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 3970 1384 312 324 0 3039 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15880 [startup+3.10112 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1649072/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=16652 CPUtime=3.09 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 1626 0 1 0 307 2 0 0 25 0 1 0 121294210 17051648 1592 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 4163 1592 312 324 0 3232 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16652 [startup+6.3014 s] /proc/loadavg: 0.93 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1648056/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=17800 CPUtime=6.28 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 1896 0 1 0 626 2 0 0 25 0 1 0 121294210 18227200 1862 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 4450 1862 312 324 0 3519 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17800 [startup+12.702 s] /proc/loadavg: 0.94 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1647288/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=18192 CPUtime=12.69 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 2004 0 1 0 1265 4 0 0 25 0 1 0 121294210 18628608 1970 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 4548 1970 312 324 0 3617 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18192 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1646520/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=19064 CPUtime=25.48 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 2217 0 1 0 2541 7 0 0 25 0 1 0 121294210 19521536 2183 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573358 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 4766 2183 312 324 0 3835 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 19064 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1645752/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=19800 CPUtime=51.08 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 2402 0 1 0 5096 12 0 0 25 0 1 0 121294210 20275200 2368 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 4950 2368 312 324 0 4019 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19800 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1644280/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=21224 CPUtime=102.27 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 2779 0 1 0 10205 22 0 0 25 0 1 0 121294210 21733376 2745 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 5306 2745 312 324 0 4375 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21224 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1643320/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=22128 CPUtime=162.25 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 3004 0 1 0 16192 33 0 0 25 0 1 0 121294210 22659072 2970 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 5532 2970 312 324 0 4601 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 22128 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1642424/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=23156 CPUtime=222.23 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 3254 0 1 0 22180 43 0 0 25 0 1 0 121294210 23711744 3220 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 5789 3220 312 324 0 4858 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 23156 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1642168/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=23408 CPUtime=282.22 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 3313 0 1 0 28170 52 0 0 25 0 1 0 121294210 23969792 3279 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 5852 3279 312 324 0 4921 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 23408 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1642104/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=23404 CPUtime=342.21 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 3313 0 1 0 34159 62 0 0 25 0 1 0 121294210 23965696 3279 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 5851 3279 312 324 0 4920 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 23404 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1640824/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=24652 CPUtime=402.19 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 3624 0 1 0 40148 71 0 0 25 0 1 0 121294210 25243648 3590 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6163 3590 312 324 0 5232 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 24652 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28365 /proc/meminfo: memFree=1640824/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=24644 CPUtime=462.18 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 3624 0 1 0 46140 78 0 0 25 0 1 0 121294210 25235456 3590 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6161 3590 312 324 0 5230 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 24644 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28367 /proc/meminfo: memFree=1640760/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=24740 CPUtime=522.17 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 3643 0 1 0 52129 88 0 0 25 0 1 0 121294210 25333760 3609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6185 3609 312 324 0 5254 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 24740 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 28367 /proc/meminfo: memFree=1640504/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=24856 CPUtime=582.15 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 3681 0 1 0 58120 95 0 0 25 0 1 0 121294210 25452544 3647 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6214 3647 312 324 0 5283 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 24856 [startup+642.302 s] /proc/loadavg: 1.04 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1639672/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=25744 CPUtime=642.14 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 3899 0 1 0 64111 103 0 0 25 0 1 0 121294210 26361856 3865 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6436 3865 312 324 0 5505 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 25744 ################ # More data... # ################ /proc/meminfo: memFree=1637944/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=27340 CPUtime=1122.02 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4299 0 1 0 112034 168 0 0 25 0 1 0 121294210 27996160 4265 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6835 4265 312 324 0 5904 0 Current children cumulated CPU time (s) 1122.02 Current children cumulated vsize (KiB) 27340 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1637880/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=27408 CPUtime=1182 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4313 0 1 0 118024 176 0 0 25 0 1 0 121294210 28065792 4279 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6852 4279 312 324 0 5921 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 27408 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1637816/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=27336 CPUtime=1241.99 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4313 0 1 0 124015 184 0 0 25 0 1 0 121294210 27992064 4275 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6834 4275 312 324 0 5903 0 Current children cumulated CPU time (s) 1241.99 Current children cumulated vsize (KiB) 27336 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1637752/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=27400 CPUtime=1301.98 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4318 0 1 0 130007 191 0 0 25 0 1 0 121294210 28057600 4280 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527354 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6850 4280 312 324 0 5919 0 Current children cumulated CPU time (s) 1301.98 Current children cumulated vsize (KiB) 27400 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1637752/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=27400 CPUtime=1361.96 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4318 0 1 0 135997 199 0 0 25 0 1 0 121294210 28057600 4280 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6850 4280 312 324 0 5919 0 Current children cumulated CPU time (s) 1361.96 Current children cumulated vsize (KiB) 27400 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1637752/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=27400 CPUtime=1421.96 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4318 0 1 0 141987 209 0 0 25 0 1 0 121294210 28057600 4280 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6850 4280 312 324 0 5919 0 Current children cumulated CPU time (s) 1421.96 Current children cumulated vsize (KiB) 27400 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1637752/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=27340 CPUtime=1481.93 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4318 0 1 0 147978 215 0 0 25 0 1 0 121294210 27996160 4276 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6835 4276 312 324 0 5904 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 27340 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1637688/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=27408 CPUtime=1541.92 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4326 0 1 0 153968 224 0 0 25 0 1 0 121294210 28065792 4284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6852 4284 312 324 0 5921 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 27408 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1637624/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=27408 CPUtime=1601.9 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4326 0 1 0 159959 231 0 0 25 0 1 0 121294210 28065792 4284 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6852 4284 312 324 0 5921 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 27408 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1637560/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=27424 CPUtime=1661.9 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4340 0 1 0 165950 240 0 0 25 0 1 0 121294210 28082176 4288 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6856 4288 312 324 0 5925 0 Current children cumulated CPU time (s) 1661.9 Current children cumulated vsize (KiB) 27424 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1637560/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=27420 CPUtime=1721.88 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4340 0 1 0 171941 247 0 0 25 0 1 0 121294210 28078080 4288 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 6855 4288 312 324 0 5924 0 Current children cumulated CPU time (s) 1721.88 Current children cumulated vsize (KiB) 27420 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1636152/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=28824 CPUtime=1781.86 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4691 0 1 0 177932 254 0 0 25 0 1 0 121294210 29515776 4639 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 7206 4639 312 324 0 6275 0 Current children cumulated CPU time (s) 1781.86 Current children cumulated vsize (KiB) 28824 Solver just ended. Dumping a history of the last processes samples [startup+1791.91 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1636088/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=28892 CPUtime=1791.47 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4703 0 1 0 178892 255 0 0 25 0 1 0 121294210 29585408 4651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 7223 4651 312 324 0 6292 0 Current children cumulated CPU time (s) 1791.47 Current children cumulated vsize (KiB) 28892 [startup+1795.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1636088/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=28892 CPUtime=1794.66 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4703 0 1 0 179211 255 0 0 25 0 1 0 121294210 29585408 4651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 7223 4651 312 324 0 6292 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (KiB) 28892 [startup+1798.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1636088/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=28892 CPUtime=1797.86 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4703 0 1 0 179530 256 0 0 25 0 1 0 121294210 29585408 4651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 7223 4651 312 324 0 6292 0 Current children cumulated CPU time (s) 1797.86 Current children cumulated vsize (KiB) 28892 [startup+1799.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1636088/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=28892 CPUtime=1798.66 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4703 0 1 0 179610 256 0 0 25 0 1 0 121294210 29585408 4651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 7223 4651 312 324 0 6292 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (KiB) 28892 [startup+1799.9 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1636088/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=28892 CPUtime=1799.46 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4703 0 1 0 179690 256 0 0 25 0 1 0 121294210 29585408 4651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 7223 4651 312 324 0 6292 0 Current children cumulated CPU time (s) 1799.46 Current children cumulated vsize (KiB) 28892 [startup+1800.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1636088/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=28892 CPUtime=1799.86 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4703 0 1 0 179730 256 0 0 25 0 1 0 121294210 29585408 4651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 7223 4651 312 324 0 6292 0 Current children cumulated CPU time (s) 1799.86 Current children cumulated vsize (KiB) 28892 [startup+1800.4 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28367 /proc/meminfo: memFree=1636088/2055920 swapFree=4184540/4192956 [pid=28364] ppid=28362 vsize=28892 CPUtime=1799.96 /proc/28364/stat : 28364 (bsolo3.0.16) R 28362 28364 26963 0 -1 4194304 4703 0 1 0 179740 256 0 0 25 0 1 0 121294210 29585408 4651 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28364/statm: 7223 4651 312 324 0 6292 0 Current children cumulated CPU time (s) 1799.96 Current children cumulated vsize (KiB) 28892 Child status: 0 Real time (s): 1800.45 CPU time (s): 1800.01 CPU user time (s): 1797.44 CPU system time (s): 2.56861 CPU usage (%): 99.9755 Max. virtual memory (cumulated for all children) (KiB): 28900 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.44 system time used= 2.56861 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4704 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 13 involuntary context switches= 1178 runsolver used 2.11068 second user time and 4.36834 second system time The end
Begin job on node41 on Mon Apr 16 14:30:23 UTC 2007 IDJOB= 350011 IDBENCH= 2922 IDSOLVER= 163 FILE ID= node41/350011-1176733823 PBS_JOBID= 4559501 Free space on /tmp= 66522 MiB SOLVER NAME= bsolo 3.0.16 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_4.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350011-1176733823/instance-350011-1176733823.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-350011-1176733823 -o ROOT/results/node41/solver-350011-1176733823 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/350011-1176733823/instance-350011-1176733823.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= d78f5121f87a7bad7fc74d5d3eacc32f RANDOM SEED= 435618535 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.232 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.232 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1654736 kB Buffers: 28156 kB Cached: 177956 kB SwapCached: 3056 kB Active: 201044 kB Inactive: 141756 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1654736 kB SwapTotal: 4192956 kB SwapFree: 4184540 kB Dirty: 4396 kB Writeback: 0 kB Mapped: 151240 kB Slab: 43736 kB Committed_AS: 2568284 kB PageTables: 1972 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66522 MiB End job on node41 on Mon Apr 16 15:00:24 UTC 2007