Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | ? (TO) | 1800.07 | 1800.61 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_1.opb |
MD5SUM | ae75c4a4fdafb98542bd11b7f7eecd54 |
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 | 41 |
Total number of constraints | 11 |
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 | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40 |
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 | 1086 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3258 |
Number of bits of the biggest sum of numbers | 12 |
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.01 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.01 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.01 c type "bsolo -h" for help 0.00/0.01 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.01 c Memory Limit set to 1800 MB 0.00/0.01 c Instance file /tmp/evaluation/433526-1177960524/instance-433526-1177960524.opb 0.00/0.01 c File size is 3384 bytes. 0.00/0.01 c Highest Coefficient sum: 3258 0.00/0.01 c Parsing was ok!! 0.00/0.01 c Total parsing time: 0.001 s 0.00/0.01 c Var: 41 Constr: 11 1/0/10 Lit: 399 Watch. Lit: 137 0.00/0.01 c Obj. Vars: 1 (2.43902 % of total variables) 0.00/0.01 c Pre-processing Time: 0.002 s 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 0 40 10 398 39 142 796 0 0 0.00 0.00/0.01 c Switching off LPR mode. 1800.06/1800.60 c 100 40 110 3361 30 431 876 100 16666 0.01 1800.06/1800.60 c 250 40 260 7753 29 731 964 250 19230 0.01 1800.06/1800.60 c 475 40 485 14570 30 1183 1061 475 18269 0.03 1800.06/1800.60 c 813 40 823 24604 29 1860 1168 813 16937 0.05 1800.06/1800.60 c 1322 40 728 21567 29 1674 1285 718 15022 0.09 1800.06/1800.60 c 2085 40 832 24525 29 1877 1414 822 14479 0.14 1800.06/1800.60 c 3231 40 1241 36275 29 2688 1556 1231 13866 0.23 1800.06/1800.60 c 4952 40 1346 39031 28 2909 1712 1336 12963 0.38 1800.06/1800.60 c 7536 40 1293 38145 29 2801 1884 1283 12374 0.61 1800.06/1800.60 c 11415 40 1296 38250 29 2804 2073 1286 11695 0.98 1800.06/1800.60 c 17237 40 1808 54461 30 3831 2281 1798 10627 1.62 1800.06/1800.60 c 25975 40 1227 36534 29 2670 2510 1217 10063 2.58 1800.06/1800.60 c 39085 40 1546 44750 28 3297 2762 1536 9532 4.10 1800.06/1800.60 c 58756 40 1533 46236 30 3284 3039 1523 8840 6.65 1800.06/1800.61 c 88266 40 1683 50972 30 3583 3343 1673 8168 10.81 1800.06/1800.61 c 132536 40 1856 55911 30 3933 3678 1846 7593 17.45 1800.06/1800.61 c 198947 40 3018 91112 30 6241 4046 3008 6931 28.70 1800.06/1800.61 c 298569 40 2286 68183 29 4792 4451 2276 6528 45.73 1800.06/1800.61 c 448004 40 3159 97504 30 6534 4897 3149 6102 73.41 1800.06/1800.61 c 672163 40 4717 143428 30 9651 5387 4707 5700 117.91 1800.06/1800.61 c 1008406 40 3816 116121 30 7853 5926 3806 5271 191.28 1800.06/1800.61 c 1512778 40 3211 96343 30 6638 6519 3201 4882 309.85 1800.06/1800.61 c 2269341 40 4347 130374 29 8906 7171 4337 4481 506.34 1800.06/1800.61 c 3404192 40 5684 174369 30 11581 7889 5674 4080 834.18 1800.06/1800.61 c 5106476 40 5354 160715 30 10926 8678 5344 3746 1362.84 1800.06/1800.61 c Caught signal: 15 1800.06/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.06/1800.61 c 25 6430464 7829 6438685 6963 212284 6953 3572 1800.07 1800.06/1800.61 s UNKNOWN 1800.06/1800.61 c Total time: 1800.07 s
ERROR: no interpretation found !
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-433526-1177960524 -o ROOT/results/node5/solver-433526-1177960524 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433526-1177960524/instance-433526-1177960524.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.91 0.96 0.95 3/77 30687 /proc/meminfo: memFree=1865664/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=2380 CPUtime=0 /proc/30687/stat : 30687 (bsolo3.0.17) D 30685 30687 29886 0 -1 4194304 52 0 0 0 0 0 0 0 18 0 1 0 272090055 2437120 36 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7893924 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/30687/statm: 595 36 28 324 0 9 0 [startup+0.0797189 s] /proc/loadavg: 0.91 0.96 0.95 3/77 30687 /proc/meminfo: memFree=1865664/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=12260 CPUtime=0.06 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 524 0 0 0 6 0 0 0 18 0 1 0 272090055 12554240 493 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30687/statm: 3065 493 310 324 0 2135 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 12260 [startup+0.10172 s] /proc/loadavg: 0.91 0.96 0.95 3/77 30687 /proc/meminfo: memFree=1865664/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=12392 CPUtime=0.08 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 545 0 0 0 8 0 0 0 18 0 1 0 272090055 12689408 514 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8335140 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30687/statm: 3098 514 310 324 0 2168 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 12392 [startup+0.301742 s] /proc/loadavg: 0.91 0.96 0.95 3/77 30687 /proc/meminfo: memFree=1865664/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=12520 CPUtime=0.28 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 590 0 0 0 28 0 0 0 19 0 1 0 272090055 12820480 559 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30687/statm: 3130 559 310 324 0 2200 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 12520 [startup+0.701788 s] /proc/loadavg: 0.91 0.96 0.95 3/77 30687 /proc/meminfo: memFree=1865664/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=12776 CPUtime=0.68 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 634 0 0 0 68 0 0 0 23 0 1 0 272090055 13082624 603 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574213 0 0 4096 16384 0 0 0 17 0 0 0 /proc/30687/statm: 3194 603 310 324 0 2264 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 12776 [startup+1.50188 s] /proc/loadavg: 0.91 0.96 0.95 2/78 30688 /proc/meminfo: memFree=1864312/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=12776 CPUtime=1.48 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 664 0 0 0 148 0 0 0 25 0 1 0 272090055 13082624 633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8325025 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3194 633 310 324 0 2264 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12776 [startup+3.10106 s] /proc/loadavg: 0.91 0.96 0.95 2/78 30688 /proc/meminfo: memFree=1863800/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=13040 CPUtime=3.08 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 713 0 0 0 308 0 0 0 25 0 1 0 272090055 13352960 682 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3260 682 310 324 0 2330 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 13040 [startup+6.30142 s] /proc/loadavg: 0.92 0.96 0.95 2/78 30688 /proc/meminfo: memFree=1863480/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=13196 CPUtime=6.28 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 768 0 0 0 628 0 0 0 25 0 1 0 272090055 13512704 737 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3299 737 310 324 0 2369 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13196 [startup+12.7011 s] /proc/loadavg: 0.93 0.96 0.95 2/78 30688 /proc/meminfo: memFree=1863544/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=13500 CPUtime=12.67 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 833 0 0 0 1267 0 0 0 25 0 1 0 272090055 13824000 802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550972 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3375 802 310 324 0 2445 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 13500 [startup+25.5026 s] /proc/loadavg: 0.94 0.96 0.95 2/78 30688 /proc/meminfo: memFree=1863480/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=13708 CPUtime=25.47 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 902 0 0 0 2547 0 0 0 25 0 1 0 272090055 14036992 866 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3427 866 310 324 0 2497 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 13708 [startup+51.1025 s] /proc/loadavg: 0.96 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1863032/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=14136 CPUtime=51.07 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1034 0 0 0 5106 1 0 0 25 0 1 0 272090055 14475264 958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550902 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3534 958 310 324 0 2604 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 14136 [startup+102.305 s] /proc/loadavg: 0.98 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1862904/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=14340 CPUtime=102.25 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1100 0 0 0 10224 1 0 0 25 0 1 0 272090055 14684160 1024 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134584959 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3585 1024 310 324 0 2655 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 14340 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1862584/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=14656 CPUtime=162.23 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1178 0 0 0 16221 2 0 0 25 0 1 0 272090055 15007744 1102 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3664 1102 310 324 0 2734 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 14656 [startup+222.303 s] /proc/loadavg: 0.99 0.97 0.95 3/78 30688 /proc/meminfo: memFree=1862328/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=14840 CPUtime=222.21 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1236 0 0 0 22219 2 0 0 25 0 1 0 272090055 15196160 1149 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3710 1149 310 324 0 2780 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 14840 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1862264/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=14908 CPUtime=282.2 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1255 0 0 0 28217 3 0 0 25 0 1 0 272090055 15265792 1162 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3727 1162 310 324 0 2797 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 14908 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1861880/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15188 CPUtime=342.18 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1327 0 0 0 34214 4 0 0 25 0 1 0 272090055 15552512 1234 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521836 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3797 1234 310 324 0 2867 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 15188 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1861816/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15216 CPUtime=402.16 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1362 0 0 0 40212 4 0 0 25 0 1 0 272090055 15581184 1243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3804 1243 310 324 0 2874 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 15216 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1861816/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15216 CPUtime=462.14 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1362 0 0 0 46210 4 0 0 25 0 1 0 272090055 15581184 1243 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551039 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3804 1243 310 324 0 2874 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 15216 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1861496/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15460 CPUtime=522.12 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1429 0 0 0 52207 5 0 0 25 0 1 0 272090055 15831040 1304 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3865 1304 310 324 0 2935 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 15460 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1861368/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15544 CPUtime=582.11 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1449 0 0 0 58205 6 0 0 25 0 1 0 272090055 15917056 1324 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551359 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3886 1324 310 324 0 2956 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 15544 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1861240/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15640 CPUtime=642.09 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1470 0 0 0 64203 6 0 0 25 0 1 0 272090055 16015360 1345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8335146 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3910 1345 310 324 0 2980 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 15640 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1861048/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15640 CPUtime=822.04 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1500 0 0 0 82196 8 0 0 25 0 1 0 272090055 16015360 1349 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551353 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3910 1349 310 324 0 2980 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 15640 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1860728/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15884 CPUtime=882.01 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1561 0 0 0 88193 8 0 0 25 0 1 0 272090055 16265216 1410 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3971 1410 310 324 0 3041 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 15884 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1860664/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15944 CPUtime=942 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1565 0 0 0 94191 9 0 0 25 0 1 0 272090055 16326656 1414 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3986 1414 310 324 0 3056 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 15944 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1860472/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15944 CPUtime=1001.98 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1599 0 0 0 100189 9 0 0 25 0 1 0 272090055 16326656 1425 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326875 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3986 1425 310 324 0 3056 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 15944 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1860472/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15988 CPUtime=1061.96 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1612 0 0 0 106186 10 0 0 25 0 1 0 272090055 16371712 1436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3997 1436 310 324 0 3067 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 15988 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30688 /proc/meminfo: memFree=1860408/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15988 CPUtime=1121.94 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1612 0 0 0 112184 10 0 0 25 0 1 0 272090055 16371712 1436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3997 1436 310 324 0 3067 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 15988 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30690 /proc/meminfo: memFree=1860216/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15988 CPUtime=1181.93 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1612 0 0 0 118182 11 0 0 25 0 1 0 272090055 16371712 1436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3997 1436 310 324 0 3067 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 15988 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30690 /proc/meminfo: memFree=1860152/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15988 CPUtime=1241.91 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1612 0 0 0 124180 11 0 0 25 0 1 0 272090055 16371712 1436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3997 1436 310 324 0 3067 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 15988 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30690 /proc/meminfo: memFree=1860088/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15988 CPUtime=1301.9 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1612 0 0 0 130178 12 0 0 25 0 1 0 272090055 16371712 1436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3997 1436 310 324 0 3067 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 15988 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30690 /proc/meminfo: memFree=1860088/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=15988 CPUtime=1361.87 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1612 0 0 0 136175 12 0 0 25 0 1 0 272090055 16371712 1436 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 3997 1436 310 324 0 3067 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 15988 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30690 /proc/meminfo: memFree=1859576/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=16444 CPUtime=1421.86 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1771 0 0 0 142173 13 0 0 25 0 1 0 272090055 16838656 1550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 4111 1550 310 324 0 3181 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 16444 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30690 /proc/meminfo: memFree=1859512/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=16444 CPUtime=1481.84 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1771 0 0 0 148171 13 0 0 25 0 1 0 272090055 16838656 1550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 4111 1550 310 324 0 3181 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 16444 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.95 2/78 30690 /proc/meminfo: memFree=1859512/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=16444 CPUtime=1541.83 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1771 0 0 0 154169 14 0 0 25 0 1 0 272090055 16838656 1550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 4111 1550 310 324 0 3181 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 16444 [startup+1602.3 s] /proc/loadavg: 1.05 0.99 0.95 2/78 30690 /proc/meminfo: memFree=1859384/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=16444 CPUtime=1601.8 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1771 0 0 0 160166 14 0 0 25 0 1 0 272090055 16838656 1550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 4111 1550 310 324 0 3181 0 Current children cumulated CPU time (s) 1601.8 Current children cumulated vsize (KiB) 16444 [startup+1662.3 s] /proc/loadavg: 1.02 0.99 0.95 2/78 30690 /proc/meminfo: memFree=1859384/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=16444 CPUtime=1661.79 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1771 0 0 0 166164 15 0 0 25 0 1 0 272090055 16838656 1550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550832 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 4111 1550 310 324 0 3181 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 16444 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 30690 /proc/meminfo: memFree=1859256/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=16444 CPUtime=1721.77 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1771 0 0 0 172162 15 0 0 25 0 1 0 272090055 16838656 1550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8326900 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 4111 1550 310 324 0 3181 0 Current children cumulated CPU time (s) 1721.77 Current children cumulated vsize (KiB) 16444 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.95 2/78 30690 /proc/meminfo: memFree=1859192/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=16444 CPUtime=1781.76 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1771 0 0 0 178160 16 0 0 25 0 1 0 272090055 16838656 1550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551061 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 4111 1550 310 324 0 3181 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 16444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 0.99 0.95 2/78 30690 /proc/meminfo: memFree=1859192/2055920 swapFree=4151596/4192956 [pid=30687] ppid=30685 vsize=16444 CPUtime=1800.06 /proc/30687/stat : 30687 (bsolo3.0.17) R 30685 30687 29886 0 -1 4194304 1771 0 0 0 179990 16 0 0 25 0 1 0 272090055 16838656 1550 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30687/statm: 4111 1550 310 324 0 3181 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 16444 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 15 Real time (s): 1800.61 CPU time (s): 1800.07 CPU user time (s): 1799.9 CPU system time (s): 0.167974 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 16488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.9 system time used= 0.167974 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1775 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= 13 involuntary context switches= 1573 runsolver used 1.40878 second user time and 3.80542 second system time The end
Begin job on node5 on Mon Apr 30 19:15:24 UTC 2007 IDJOB= 433526 IDBENCH= 2913 IDSOLVER= 199 FILE ID= node5/433526-1177960524 PBS_JOBID= 4727732 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_5_40_1.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/433526-1177960524/instance-433526-1177960524.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-433526-1177960524 -o ROOT/results/node5/solver-433526-1177960524 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/433526-1177960524/instance-433526-1177960524.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= ae75c4a4fdafb98542bd11b7f7eecd54 RANDOM SEED= 133215608 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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: 1866072 kB Buffers: 16500 kB Cached: 85180 kB SwapCached: 9364 kB Active: 38684 kB Inactive: 86620 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1866072 kB SwapTotal: 4192956 kB SwapFree: 4151596 kB Dirty: 6676 kB Writeback: 0 kB Mapped: 30636 kB Slab: 50184 kB Committed_AS: 9211856 kB PageTables: 1724 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 node5 on Mon Apr 30 19:45:27 UTC 2007