Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.11 | 1800.58 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_8_70_1.opb |
MD5SUM | c7543821508efc06c2ce41424051ab2c |
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 | 1884 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5652 |
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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/433543-1177961074/instance-433543-1177961074.opb 0.00/0.00 c File size is 9033 bytes. 0.00/0.00 c Highest Coefficient sum: 5652 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: 1109 Watch. Lit: 357 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 1108 69 358 2216 0 0 0.01 0.00/0.00 c Switching off LPR mode. 1800.09/1800.57 c 100 70 116 6691 57 782 2438 100 7692 0.01 1800.09/1800.57 c 250 70 266 14874 55 1081 2682 250 10000 0.03 1800.09/1800.57 c 475 70 491 26990 54 1529 2951 475 10555 0.04 1800.09/1800.57 c 813 70 829 45491 54 2216 3247 813 10037 0.08 1800.09/1800.57 c 1321 70 1337 73874 55 3227 3572 1321 9435 0.14 1800.09/1800.57 c 2084 70 2100 117296 55 4766 3930 2084 8336 0.25 1800.09/1800.57 c 3230 70 3246 181696 55 7036 4324 3230 7357 0.44 1800.09/1800.57 c 4951 70 2766 157083 56 6088 4757 2750 6471 0.77 1800.09/1800.57 c 7535 70 2923 165128 56 6415 5233 2907 5682 1.33 1800.09/1800.57 c 11414 70 4135 234828 56 8834 5757 4119 4520 2.52 1800.09/1800.57 c 17236 70 4084 229944 56 8725 6333 4068 4122 4.18 1800.09/1800.57 c 25973 70 3184 181891 57 6935 6967 3168 3666 7.08 1800.09/1800.57 c 39083 70 5687 326168 57 11945 7664 5671 3405 11.48 1800.09/1800.57 c 58753 70 5946 342044 57 12464 8431 5930 3059 19.21 1800.09/1800.57 c 88263 70 5603 324612 57 11778 9275 5587 2824 31.24 1800.09/1800.57 c 132534 70 7684 431204 56 15933 10203 7668 2663 49.76 1800.09/1800.57 c 198944 70 7080 407038 57 14723 11224 7064 2486 80.00 1800.09/1800.57 c 298564 70 10404 606685 58 21381 12347 10388 2220 134.46 1800.09/1800.57 c 447999 70 10479 613706 58 21530 13582 10463 1994 224.60 1800.09/1800.57 c 672157 70 8856 523660 59 18275 14941 8840 1809 371.56 1800.09/1800.57 c 1008400 70 14255 805562 56 29071 16436 14239 1647 612.20 1800.09/1800.57 c 1512771 70 14360 793814 55 29265 18080 14344 1492 1013.45 1800.09/1800.57 c 2269334 70 16667 920684 55 33891 19889 16651 1370 1655.94 1800.09/1800.57 c Caught signal: 15 1800.09/1800.57 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.09/1800.57 c 23 2411533 2364 2414609 18930 1079052 18914 1339 1800.10 1800.09/1800.57 s UNKNOWN 1800.09/1800.57 c Total time: 1800.1 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node63/watcher-433543-1177961074 -o ROOT/results/node63/solver-433543-1177961074 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433543-1177961074/instance-433543-1177961074.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.95 3/64 15005 /proc/meminfo: memFree=1787916/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=3828 CPUtime=0 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 272097337 3919872 140 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 2934675 0 0 4096 0 0 0 0 17 1 0 0 /proc/15005/statm: 957 141 119 324 0 15 0 [startup+0.072318 s] /proc/loadavg: 0.92 0.98 0.95 3/64 15005 /proc/meminfo: memFree=1787916/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=12380 CPUtime=0.06 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 541 0 0 0 6 0 0 0 18 0 1 0 272097337 12677120 508 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 3095 508 310 324 0 2165 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12380 [startup+0.10232 s] /proc/loadavg: 0.92 0.98 0.95 3/64 15005 /proc/meminfo: memFree=1787916/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=12508 CPUtime=0.09 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 596 0 0 0 9 0 0 0 18 0 1 0 272097337 12808192 563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 3127 563 310 324 0 2197 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12508 [startup+0.30134 s] /proc/loadavg: 0.92 0.98 0.95 3/64 15005 /proc/meminfo: memFree=1787916/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=13804 CPUtime=0.29 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 892 0 0 0 29 0 0 0 19 0 1 0 272097337 14135296 859 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403545 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 3451 859 310 324 0 2521 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 13804 [startup+0.702383 s] /proc/loadavg: 0.92 0.98 0.95 3/64 15005 /proc/meminfo: memFree=1787916/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=15352 CPUtime=0.69 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 1310 0 0 0 69 0 0 0 22 0 1 0 272097337 15720448 1277 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 3838 1277 310 324 0 2908 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 15352 [startup+1.50147 s] /proc/loadavg: 0.92 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1783940/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=15868 CPUtime=1.49 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 1412 0 0 0 149 0 0 0 25 0 1 0 272097337 16248832 1379 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 3967 1379 310 324 0 3037 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15868 [startup+3.10164 s] /proc/loadavg: 0.93 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1782980/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=16644 CPUtime=3.09 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 1620 0 0 0 309 0 0 0 25 0 1 0 272097337 17043456 1587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 4161 1587 310 324 0 3231 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16644 [startup+6.30198 s] /proc/loadavg: 0.93 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1781836/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=17156 CPUtime=6.29 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 1749 0 0 0 629 0 0 0 25 0 1 0 272097337 17567744 1716 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 4289 1716 310 324 0 3359 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17156 [startup+12.7017 s] /proc/loadavg: 0.94 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1781196/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=18324 CPUtime=12.68 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 2037 0 0 0 1268 0 0 0 25 0 1 0 272097337 18763776 2004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 4581 2004 310 324 0 3651 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 18324 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1780044/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=18972 CPUtime=25.48 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 2215 0 0 0 2548 0 0 0 25 0 1 0 272097337 19427328 2182 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403204 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 4743 2182 310 324 0 3813 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 18972 [startup+51.1017 s] /proc/loadavg: 0.96 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1778892/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=20392 CPUtime=51.08 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 2555 0 0 0 5107 1 0 0 25 0 1 0 272097337 20881408 2522 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 5098 2522 310 324 0 4168 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 20392 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1777548/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=21488 CPUtime=102.27 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 2848 0 0 0 10226 1 0 0 25 0 1 0 272097337 22003712 2811 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 5372 2811 310 324 0 4442 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 21488 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1776524/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=22548 CPUtime=162.24 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 3101 0 0 0 16223 1 0 0 25 0 1 0 272097337 23089152 3064 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 5637 3064 310 324 0 4707 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 22548 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1776460/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=22544 CPUtime=222.23 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 3101 0 0 0 22222 1 0 0 25 0 1 0 272097337 23085056 3064 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 5636 3064 310 324 0 4706 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 22544 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1775372/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=23616 CPUtime=282.22 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 3367 0 0 0 28220 2 0 0 25 0 1 0 272097337 24182784 3330 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 5904 3330 310 324 0 4974 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 23616 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1775308/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=23648 CPUtime=342.2 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 3382 0 0 0 34218 2 0 0 25 0 1 0 272097337 24215552 3345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403548 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 5912 3345 310 324 0 4982 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 23648 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1774220/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=24676 CPUtime=402.18 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 3643 0 0 0 40216 2 0 0 25 0 1 0 272097337 25268224 3606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3411659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6169 3606 310 324 0 5239 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 24676 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1774220/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=24676 CPUtime=462.17 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 3643 0 0 0 46215 2 0 0 25 0 1 0 272097337 25268224 3606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6169 3606 310 324 0 5239 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 24676 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1774156/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=24676 CPUtime=522.15 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 3643 0 0 0 52213 2 0 0 25 0 1 0 272097337 25268224 3606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6169 3606 310 324 0 5239 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 24676 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1774156/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=24676 CPUtime=582.14 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 3643 0 0 0 58212 2 0 0 25 0 1 0 272097337 25268224 3606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403503 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6169 3606 310 324 0 5239 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 24676 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1773324/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=25540 CPUtime=642.12 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 3846 0 0 0 64210 2 0 0 25 0 1 0 272097337 26152960 3809 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6385 3809 310 324 0 5455 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 25540 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1773068/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=25696 CPUtime=882.06 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 3893 0 0 0 88204 2 0 0 25 0 1 0 272097337 26312704 3856 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6424 3856 310 324 0 5494 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 25696 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1773068/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=25696 CPUtime=942.04 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 3893 0 0 0 94202 2 0 0 25 0 1 0 272097337 26312704 3856 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551104 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6424 3856 310 324 0 5494 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 25696 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1773068/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=25696 CPUtime=1002.03 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 3893 0 0 0 100201 2 0 0 25 0 1 0 272097337 26312704 3856 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6424 3856 310 324 0 5494 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 25696 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15006 /proc/meminfo: memFree=1772044/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=26668 CPUtime=1062.02 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4134 0 0 0 106199 3 0 0 25 0 1 0 272097337 27308032 4097 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403828 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6667 4097 310 324 0 5737 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 26668 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1771852/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=26832 CPUtime=1122 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4184 0 0 0 112197 3 0 0 25 0 1 0 272097337 27475968 4147 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6708 4147 310 324 0 5778 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 26832 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1771852/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=26920 CPUtime=1181.99 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4192 0 0 0 118196 3 0 0 25 0 1 0 272097337 27566080 4155 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6730 4155 310 324 0 5800 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 26920 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1771788/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=26864 CPUtime=1241.97 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4192 0 0 0 124194 3 0 0 25 0 1 0 272097337 27508736 4155 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6716 4155 310 324 0 5786 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 26864 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1771788/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=26836 CPUtime=1301.96 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4192 0 0 0 130193 3 0 0 25 0 1 0 272097337 27480064 4148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6709 4148 310 324 0 5779 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 26836 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1771788/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=26836 CPUtime=1361.94 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4192 0 0 0 136191 3 0 0 25 0 1 0 272097337 27480064 4148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3403489 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6709 4148 310 324 0 5779 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 26836 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1771660/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=26944 CPUtime=1421.93 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4216 0 0 0 142190 3 0 0 25 0 1 0 272097337 27590656 4171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6736 4171 310 324 0 5806 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 26944 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1771596/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=26944 CPUtime=1481.91 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4216 0 0 0 148188 3 0 0 25 0 1 0 272097337 27590656 4171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6736 4171 310 324 0 5806 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 26944 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1771596/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=26944 CPUtime=1541.89 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4216 0 0 0 154186 3 0 0 25 0 1 0 272097337 27590656 4171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6736 4171 310 324 0 5806 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 26944 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1771596/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=26944 CPUtime=1601.88 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4216 0 0 0 160185 3 0 0 25 0 1 0 272097337 27590656 4171 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 6736 4171 310 324 0 5806 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 26944 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1770252/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=28232 CPUtime=1661.86 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4542 0 0 0 166183 3 0 0 25 0 1 0 272097337 28909568 4497 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 7058 4497 310 324 0 6128 0 Current children cumulated CPU time (s) 1661.86 Current children cumulated vsize (KiB) 28232 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1769676/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=28840 CPUtime=1721.84 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4681 0 0 0 172181 3 0 0 25 0 1 0 272097337 29532160 4636 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 7210 4636 310 324 0 6280 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 28840 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1769676/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=28692 CPUtime=1781.83 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4681 0 0 0 178180 3 0 0 25 0 1 0 272097337 29380608 4612 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551493 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 7173 4612 310 324 0 6243 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 28692 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1769740/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=28692 CPUtime=1800.09 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4681 0 0 0 180006 3 0 0 25 0 1 0 272097337 29380608 4612 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3401028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 7173 4612 310 324 0 6243 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 28692 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: 0.99 0.98 0.95 2/65 15008 /proc/meminfo: memFree=1769740/2055920 swapFree=4182900/4192956 [pid=15005] ppid=15003 vsize=28692 CPUtime=1800.09 /proc/15005/stat : 15005 (bsolo3.0.17) R 15003 15005 14301 0 -1 4194304 4681 0 0 0 180006 3 0 0 25 0 1 0 272097337 29380608 4612 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3401028 0 0 4096 16384 0 0 0 17 1 0 0 /proc/15005/statm: 7173 4612 310 324 0 6243 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 28692 Child status: 15 Real time (s): 1800.58 CPU time (s): 1800.11 CPU user time (s): 1800.07 CPU system time (s): 0.039993 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 28840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.07 system time used= 0.039993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4685 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= 11 involuntary context switches= 4556 runsolver used 1.40978 second user time and 3.51647 second system time The end
Begin job on node63 on Mon Apr 30 19:24:34 UTC 2007 IDJOB= 433543 IDBENCH= 2930 IDSOLVER= 199 FILE ID= node63/433543-1177961074 PBS_JOBID= 4727723 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_8_70_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433543-1177961074/instance-433543-1177961074.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node63/watcher-433543-1177961074 -o ROOT/results/node63/solver-433543-1177961074 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433543-1177961074/instance-433543-1177961074.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= c7543821508efc06c2ce41424051ab2c RANDOM SEED= 116294153 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: 1788260 kB Buffers: 15552 kB Cached: 176292 kB SwapCached: 3860 kB Active: 79208 kB Inactive: 122276 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1788260 kB SwapTotal: 4192956 kB SwapFree: 4182900 kB Dirty: 6592 kB Writeback: 0 kB Mapped: 15608 kB Slab: 52112 kB Committed_AS: 2356892 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= 66558 MiB End job on node63 on Mon Apr 30 19:54:37 UTC 2007