Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.16 | ? | 1800.01 | 1800.58 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_3.opb |
MD5SUM | dc0a3aac3e055af09a2312e5ef9f2aef |
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 | 1782 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5346 |
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/349868-1176724628/instance-349868-1176724628.opb 0.00/0.00 c File size is 8963 bytes. 0.00/0.00 c Highest Coefficient sum: 5346 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: 1099 Watch. Lit: 355 0.00/0.00 c Obj. Vars: 1 (1.40845 % of total variables) 0.00/0.00 c Pre-processing Time: 0.005 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 70 16 1098 68 357 2196 0 0 0.01 0.00/0.00 c Switching off LPR mode. 1799.92/1800.57 c 100 70 116 6334 54 753 2416 100 8333 0.01 1799.92/1800.57 c 250 70 266 14233 53 1064 2658 250 10000 0.03 1799.92/1800.57 c 476 70 492 26076 53 1517 2924 476 10347 0.05 1799.92/1800.57 c 814 70 830 43936 52 2194 3217 814 10303 0.08 1799.92/1800.57 c 1322 70 1338 70089 52 3203 3539 1322 9792 0.14 1799.92/1800.57 c 2085 70 2101 109302 52 4721 3893 2085 9308 0.22 1799.92/1800.57 c 3231 70 3247 171343 52 7035 4283 3231 8138 0.40 1799.92/1800.57 c 4952 70 2773 142709 51 6066 4712 2757 7413 0.67 1799.92/1800.57 c 7537 70 2948 153384 52 6430 5184 2932 6883 1.09 1799.92/1800.57 c 11416 70 4178 226667 54 8906 5703 4162 6420 1.78 1799.92/1800.57 c 17238 70 4204 236599 56 8960 6274 4188 5525 3.12 1799.92/1800.57 c 25975 70 3367 183094 54 7278 6902 3351 4585 5.66 1799.92/1800.57 c 39085 70 5959 338352 56 12464 7593 5943 4095 9.54 1799.92/1800.57 c 58756 70 6378 358128 56 13315 8353 6362 3654 16.08 1799.92/1800.57 c 88266 70 6328 339610 53 13212 9189 6312 3180 27.75 1799.92/1800.57 c 132536 70 8777 503003 57 18112 10108 8761 2840 46.66 1799.92/1800.57 c 198946 70 8854 498099 56 18267 11119 8838 2520 78.94 1799.92/1800.57 c 298567 70 7490 415199 55 15527 12231 7474 2230 133.87 1799.92/1800.57 c 448003 70 9044 521099 57 18647 13455 9028 1984 225.70 1799.92/1800.57 c 672161 70 9532 549702 57 19618 14801 9516 1781 377.31 1799.92/1800.57 c 1008404 70 10528 598461 56 21609 16282 10512 1627 619.79 1799.92/1800.57 c 1512775 70 15251 864200 56 31053 17911 15235 1463 1033.81 1799.92/1800.57 c 2269338 70 15431 874364 56 31418 19703 15415 1303 1741.45 1799.92/1800.57 c Resources Exceeded 1799.92/1800.57 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1799.92/1800.57 c 23 2332006 1756 2334463 18701 1059166 18685 1295 1800.00 1799.92/1800.57 s UNKNOWN 1799.92/1800.57 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/node63/watcher-349868-1176724628 -o ROOT/results/node63/solver-349868-1176724628 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349868-1176724628/instance-349868-1176724628.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.93 1.00 0.99 3/64 12357 /proc/meminfo: memFree=1783668/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=19560 CPUtime=0 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 148452734 20029440 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 4890 335 282 324 0 3956 0 [startup+0.0469631 s] /proc/loadavg: 0.93 1.00 0.99 3/64 12357 /proc/meminfo: memFree=1783668/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=12124 CPUtime=0.04 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 494 0 0 0 4 0 0 0 18 0 1 0 148452734 12414976 459 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 3031 459 312 324 0 2100 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 12124 [startup+0.101967 s] /proc/loadavg: 0.93 1.00 0.99 3/64 12357 /proc/meminfo: memFree=1783668/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=12516 CPUtime=0.09 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 598 0 0 0 9 0 0 0 18 0 1 0 148452734 12816384 563 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 3129 563 312 324 0 2198 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12516 [startup+0.301988 s] /proc/loadavg: 0.93 1.00 0.99 3/64 12357 /proc/meminfo: memFree=1783668/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=13808 CPUtime=0.29 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 913 0 0 0 29 0 0 0 19 0 1 0 148452734 14139392 878 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 3452 878 312 324 0 2521 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13808 [startup+0.701032 s] /proc/loadavg: 0.93 1.00 0.99 3/64 12357 /proc/meminfo: memFree=1783668/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=15100 CPUtime=0.68 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 1249 0 0 0 68 0 0 0 22 0 1 0 148452734 15462400 1214 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 3775 1214 312 324 0 2844 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 15100 [startup+1.50112 s] /proc/loadavg: 0.93 1.00 0.99 2/65 12358 /proc/meminfo: memFree=1779628/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=15876 CPUtime=1.48 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 1444 0 0 0 147 1 0 0 25 0 1 0 148452734 16257024 1409 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 3969 1409 312 324 0 3038 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 15876 [startup+3.10129 s] /proc/loadavg: 0.94 1.00 0.99 2/65 12358 /proc/meminfo: memFree=1778348/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=16528 CPUtime=3.09 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 1600 0 0 0 307 2 0 0 25 0 1 0 148452734 16924672 1565 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 4132 1565 312 324 0 3201 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16528 [startup+6.30163 s] /proc/loadavg: 0.94 1.00 0.99 2/65 12358 /proc/meminfo: memFree=1777772/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=17044 CPUtime=6.29 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 1717 0 0 0 626 3 0 0 25 0 1 0 148452734 17453056 1682 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 4261 1682 312 324 0 3330 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17044 [startup+12.7013 s] /proc/loadavg: 0.95 1.00 0.99 2/65 12358 /proc/meminfo: memFree=1776684/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=18208 CPUtime=12.69 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 2013 0 0 0 1264 5 0 0 25 0 1 0 148452734 18644992 1978 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 4552 1978 312 324 0 3621 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 18208 [startup+25.5017 s] /proc/loadavg: 0.95 1.00 0.99 2/65 12358 /proc/meminfo: memFree=1776172/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=18728 CPUtime=25.48 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 2140 0 0 0 2541 7 0 0 25 0 1 0 148452734 19177472 2105 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 4682 2105 312 324 0 3751 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18728 [startup+51.1014 s] /proc/loadavg: 0.97 1.00 0.99 2/65 12358 /proc/meminfo: memFree=1774444/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=20380 CPUtime=51.08 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 2561 0 0 0 5096 12 0 0 25 0 1 0 148452734 20869120 2526 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 5095 2526 312 324 0 4164 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20380 [startup+102.306 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12358 /proc/meminfo: memFree=1773676/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=21248 CPUtime=102.27 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 2779 0 0 0 10206 21 0 0 25 0 1 0 148452734 21757952 2744 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 5312 2744 312 324 0 4381 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21248 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12358 /proc/meminfo: memFree=1772780/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=22080 CPUtime=162.25 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 2995 0 0 0 16194 31 0 0 25 0 1 0 148452734 22609920 2960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 5520 2960 312 324 0 4589 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 22080 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12358 /proc/meminfo: memFree=1772780/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=22052 CPUtime=222.23 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 2995 0 0 0 22183 40 0 0 25 0 1 0 148452734 22581248 2954 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 5513 2954 312 324 0 4582 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22052 [startup+282.302 s] /proc/loadavg: 0.99 1.00 0.99 2/71 12536 /proc/meminfo: memFree=1770100/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=23300 CPUtime=282.13 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3306 0 0 0 28163 50 0 0 25 0 1 0 148452734 23859200 3265 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550992 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 5825 3265 312 324 0 4894 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 23300 [startup+342.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1771044/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=23376 CPUtime=342.09 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3324 0 0 0 34151 58 0 0 25 0 1 0 148452734 23937024 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 5844 3283 312 324 0 4913 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 23376 [startup+402.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1770212/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=24364 CPUtime=402.08 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3555 0 0 0 40141 67 0 0 25 0 1 0 148452734 24948736 3514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6091 3514 312 324 0 5160 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 24364 [startup+462.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1770276/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=24356 CPUtime=462.07 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3555 0 0 0 46132 75 0 0 25 0 1 0 148452734 24940544 3514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6089 3514 312 324 0 5158 0 Current children cumulated CPU time (s) 462.07 Current children cumulated vsize (KiB) 24356 [startup+522.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1770276/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=24348 CPUtime=522.05 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3555 0 0 0 52122 83 0 0 25 0 1 0 148452734 24932352 3514 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6087 3514 312 324 0 5156 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 24348 [startup+582.302 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1770212/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=24436 CPUtime=582.03 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3573 0 0 0 58110 93 0 0 25 0 1 0 148452734 25022464 3532 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6109 3532 312 324 0 5178 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 24436 [startup+642.301 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1769068/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=25500 CPUtime=642.02 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 3847 0 0 0 64100 102 0 0 25 0 1 0 148452734 26112000 3806 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6375 3806 312 324 0 5444 0 Current children cumulated CPU time (s) 642.02 Current children cumulated vsize (KiB) 25500 ################ # More data... # ################ /proc/meminfo: memFree=1767276/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=27256 CPUtime=1061.91 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4300 0 0 0 106038 153 0 0 25 0 1 0 148452734 27910144 4247 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6814 4247 312 324 0 5883 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 27256 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1767212/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=27340 CPUtime=1121.89 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 112028 161 0 0 25 0 1 0 148452734 27996160 4267 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6835 4267 312 324 0 5904 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 27340 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1767212/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=27332 CPUtime=1181.87 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 118019 168 0 0 25 0 1 0 148452734 27987968 4267 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6833 4267 312 324 0 5902 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 27332 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=27272 CPUtime=1241.86 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 124011 175 0 0 25 0 1 0 148452734 27926528 4259 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6818 4259 312 324 0 5887 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 27272 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=27268 CPUtime=1301.85 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 130003 182 0 0 25 0 1 0 148452734 27922432 4258 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6817 4258 312 324 0 5886 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 27268 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=27264 CPUtime=1361.83 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 135994 189 0 0 25 0 1 0 148452734 27918336 4257 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6816 4257 312 324 0 5885 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 27264 [startup+1422.31 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=27260 CPUtime=1421.82 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 141987 195 0 0 25 0 1 0 148452734 27914240 4256 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6815 4256 312 324 0 5884 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 27260 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=27252 CPUtime=1481.8 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 147977 203 0 0 25 0 1 0 148452734 27906048 4254 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3403468 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6813 4254 312 324 0 5882 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 27252 [startup+1542.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=27248 CPUtime=1541.78 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 153969 209 0 0 25 0 1 0 148452734 27901952 4253 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6812 4253 312 324 0 5881 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 27248 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=27244 CPUtime=1601.77 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 159960 217 0 0 25 0 1 0 148452734 27897856 4252 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550930 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6811 4252 312 324 0 5880 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 27244 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=27244 CPUtime=1661.76 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 165951 225 0 0 25 0 1 0 148452734 27897856 4252 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6811 4252 312 324 0 5880 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 27244 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1767148/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=27240 CPUtime=1721.74 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4320 0 0 0 171941 233 0 0 25 0 1 0 148452734 27893760 4251 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 6810 4251 312 324 0 5879 0 Current children cumulated CPU time (s) 1721.74 Current children cumulated vsize (KiB) 27240 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=28364 CPUtime=1781.72 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4598 0 0 0 177933 239 0 0 25 0 1 0 148452734 29044736 4529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 7091 4529 312 324 0 6160 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 28364 Solver just ended. Dumping a history of the last processes samples [startup+1791.9 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=28364 CPUtime=1791.32 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4598 0 0 0 178892 240 0 0 25 0 1 0 148452734 29044736 4529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 7091 4529 312 324 0 6160 0 Current children cumulated CPU time (s) 1791.32 Current children cumulated vsize (KiB) 28364 [startup+1795.1 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=28440 CPUtime=1794.52 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4607 0 0 0 179212 240 0 0 25 0 1 0 148452734 29122560 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 7110 4538 312 324 0 6179 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (KiB) 28440 [startup+1798.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=28440 CPUtime=1797.72 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4607 0 0 0 179531 241 0 0 25 0 1 0 148452734 29122560 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 7110 4538 312 324 0 6179 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (KiB) 28440 [startup+1799.9 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=28440 CPUtime=1799.32 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4607 0 0 0 179691 241 0 0 25 0 1 0 148452734 29122560 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 7110 4538 312 324 0 6179 0 Current children cumulated CPU time (s) 1799.32 Current children cumulated vsize (KiB) 28440 [startup+1800.3 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=28440 CPUtime=1799.72 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4607 0 0 0 179731 241 0 0 25 0 1 0 148452734 29122560 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551079 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 7110 4538 312 324 0 6179 0 Current children cumulated CPU time (s) 1799.72 Current children cumulated vsize (KiB) 28440 [startup+1800.5 s] /proc/loadavg: 0.99 1.00 0.99 2/65 12556 /proc/meminfo: memFree=1765996/2055920 swapFree=4184508/4192956 [pid=12357] ppid=12355 vsize=28440 CPUtime=1799.92 /proc/12357/stat : 12357 (bsolo3.0.16) R 12355 12357 11912 0 -1 4194304 4607 0 0 0 179751 241 0 0 25 0 1 0 148452734 29122560 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0 /proc/12357/statm: 7110 4538 312 324 0 6179 0 Current children cumulated CPU time (s) 1799.92 Current children cumulated vsize (KiB) 28440 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.01 CPU user time (s): 1797.59 CPU system time (s): 2.41963 CPU usage (%): 99.9681 Max. virtual memory (cumulated for all children) (KiB): 28440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.59 system time used= 2.41963 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4608 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= 12 involuntary context switches= 2445 runsolver used 1.2998 second user time and 3.67444 second system time The end
Begin job on node63 on Mon Apr 16 11:57:08 UTC 2007 IDJOB= 349868 IDBENCH= 2893 IDSOLVER= 163 FILE ID= node63/349868-1176724628 PBS_JOBID= 4559498 Free space on /tmp= 66550 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_3.opb COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349868-1176724628/instance-349868-1176724628.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-349868-1176724628 -o ROOT/results/node63/solver-349868-1176724628 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/349868-1176724628/instance-349868-1176724628.opb META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482 MD5SUM BENCH= dc0a3aac3e055af09a2312e5ef9f2aef RANDOM SEED= 616178640 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node63.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: 1784012 kB Buffers: 16024 kB Cached: 184732 kB SwapCached: 2564 kB Active: 95264 kB Inactive: 116016 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1784012 kB SwapTotal: 4192956 kB SwapFree: 4184508 kB Dirty: 4392 kB Writeback: 0 kB Mapped: 16824 kB Slab: 46568 kB Committed_AS: 1922344 kB PageTables: 1460 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= 66550 MiB End job on node63 on Mon Apr 16 12:27:09 UTC 2007