Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.2 Card | ? | 1798 | 1798.57 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_3.opb |
MD5SUM | 0cfcb152e5d64f6fbadc82a2b31230da |
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 | 61 |
Total number of constraints | 15 |
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 | 14 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 60 |
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 | 1901 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 5704 |
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.2 - 23/05/2010 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning 0.00/0.00 c Instance file HOME/instance-2656418-1276602296.opb 0.00/0.00 c File size is 6882 bytes. 0.00/0.00 c Highest Coefficient sum: 5704 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0.001 s 0.00/0.00 c Var: 61 Constr: 15 1/0/14 Lit: 837 Watch. Lit: 281 0.00/0.00 c Obj. Vars: 1 (1.63934 % of total variables) 0.00/0.00 c Pre-processing Time: 0.002 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 60 14 836 59 286 1672 0 0 0.00 0.00/0.00 c Switching off lower bounding mode. 1797.93/1798.56 c 100 60 144 6607 45 743 1840 130 4545 0.02 1797.93/1798.56 c 250 60 342 15388 44 1258 2025 328 4716 0.05 1797.93/1798.56 c 477 60 617 27187 44 1924 2228 603 4867 0.10 1797.93/1798.56 c 815 60 1002 43041 42 2726 2451 988 4851 0.17 1797.93/1798.56 c 1323 60 1603 68282 42 4048 2697 1589 4674 0.28 1797.93/1798.56 c 2086 60 2512 107223 42 6087 2967 2498 4505 0.46 1797.93/1798.56 c 3232 60 2361 101572 43 5488 3264 2347 4367 0.74 1797.93/1798.56 c 4954 60 2796 124985 44 6641 3591 2782 4270 1.16 1797.93/1798.56 c 7538 60 2418 110831 45 6296 3951 2404 3984 1.89 1797.93/1798.56 c 11417 60 3675 178053 48 10442 4347 3661 3750 3.04 1797.93/1798.56 c 17239 60 2905 138127 47 8141 4782 2891 3359 5.13 1797.93/1798.56 c 25976 60 4709 226107 48 12634 5261 4695 3237 8.02 1797.93/1798.56 c 39086 60 4127 199373 48 11764 5788 4113 2953 13.24 1797.93/1798.56 c 58756 60 2931 142764 48 8334 6367 2917 2680 21.92 1797.93/1798.56 c 88266 60 4884 233585 47 18675 7004 4870 2243 39.34 1797.93/1798.56 c 132537 60 5392 263713 48 20037 7705 5378 2033 65.17 1797.93/1798.56 c 198949 60 6496 321646 49 31687 8476 6482 1776 111.99 1797.93/1798.56 c 298569 60 5016 234477 46 14015 9324 5002 1679 177.76 1797.93/1798.56 c 448004 60 8482 410463 48 30065 10257 8468 1518 295.03 1797.93/1798.56 c 672162 60 8670 417696 48 27192 11283 8656 1416 474.64 1797.93/1798.56 c 1008405 60 5891 285223 48 18437 12412 5877 1295 778.13 1797.93/1798.56 c 1512776 60 6907 331813 48 23785 13654 6893 1097 1378.14 1797.93/1798.56 c Resources Exceeded 1797.93/1798.56 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.93/1798.56 c 22 2037943 24274 2063228 9260 443614 9246 1133 1798.00 1797.93/1798.56 s UNKNOWN 1797.93/1798.56 c Total time: 1798 s
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2656418-1276602296/watcher-2656418-1276602296 -o /tmp/evaluation-result-2656418-1276602296/solver-2656418-1276602296 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656418-1276602296.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.97 0.99 3/106 9450 /proc/meminfo: memFree=1547296/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=26412 CPUtime=0 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 1522092 27045888 240 1992294400 134512640 137138936 4292514864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 6603 241 192 642 0 5959 0 [startup+0.108848 s] /proc/loadavg: 0.99 0.97 0.99 3/106 9450 /proc/meminfo: memFree=1547296/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=18992 CPUtime=0.1 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 429 0 0 0 10 0 0 0 20 0 1 0 1522092 19447808 345 1992294400 134512640 137138936 4292514864 18446744073709551615 134575858 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 4748 345 192 642 0 4104 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 18992 [startup+0.201859 s] /proc/loadavg: 0.99 0.97 0.99 3/106 9450 /proc/meminfo: memFree=1547296/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=19252 CPUtime=0.19 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 511 0 0 0 19 0 0 0 20 0 1 0 1522092 19714048 427 1992294400 134512640 137138936 4292514864 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 4813 427 192 642 0 4169 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 19252 [startup+0.301874 s] /proc/loadavg: 0.99 0.97 0.99 3/106 9450 /proc/meminfo: memFree=1547296/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=19636 CPUtime=0.29 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 595 0 0 0 29 0 0 0 20 0 1 0 1522092 20107264 511 1992294400 134512640 137138936 4292514864 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 4909 511 192 642 0 4265 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 19636 [startup+0.700923 s] /proc/loadavg: 0.99 0.97 0.99 3/106 9450 /proc/meminfo: memFree=1547296/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=20544 CPUtime=0.69 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 821 0 0 0 69 0 0 0 21 0 1 0 1522092 21037056 737 1992294400 134512640 137138936 4292514864 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 5136 737 192 642 0 4492 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20544 [startup+1.50102 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9451 /proc/meminfo: memFree=1544684/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=21060 CPUtime=1.49 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 957 0 0 0 148 1 0 0 23 0 1 0 1522092 21565440 873 1992294400 134512640 137138936 4292514864 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 5265 873 192 642 0 4621 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 21060 [startup+3.10123 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9451 /proc/meminfo: memFree=1543940/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=21448 CPUtime=3.09 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 1061 0 0 0 307 2 0 0 25 0 1 0 1522092 21962752 977 1992294400 134512640 137138936 4292514864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 5362 977 192 642 0 4718 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21448 [startup+6.30163 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9451 /proc/meminfo: memFree=1543196/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=22092 CPUtime=6.29 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 1205 0 0 0 626 3 0 0 25 0 1 0 1522092 22622208 1121 1992294400 134512640 137138936 4292514864 18446744073709551615 136504091 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 5523 1121 192 642 0 4879 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22092 [startup+12.7014 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9451 /proc/meminfo: memFree=1542452/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=22480 CPUtime=12.69 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 1324 0 0 0 1263 6 0 0 25 0 1 0 1522092 23019520 1240 1992294400 134512640 137138936 4292514864 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 5620 1240 192 642 0 4976 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22480 [startup+25.5021 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9451 /proc/meminfo: memFree=1541584/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=23520 CPUtime=25.49 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 1568 0 0 0 2539 10 0 0 25 0 1 0 1522092 24084480 1484 1992294400 134512640 137138936 4292514864 18446744073709551615 134542941 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 5880 1484 192 642 0 5236 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23520 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9451 /proc/meminfo: memFree=1540716/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=24140 CPUtime=51.07 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 1740 0 0 0 5090 17 0 0 25 0 1 0 1522092 24719360 1656 1992294400 134512640 137138936 4292514864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 6035 1656 192 642 0 5391 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 24140 [startup+102.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9453 /proc/meminfo: memFree=1539848/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=24876 CPUtime=102.27 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 1913 0 0 0 10196 31 0 0 25 0 1 0 1522092 25473024 1829 1992294400 134512640 137138936 4292514864 18446744073709551615 136504051 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 6219 1829 192 642 0 5575 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 24876 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9455 /proc/meminfo: memFree=1539352/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=25396 CPUtime=162.24 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2051 0 0 0 16180 44 0 0 25 0 1 0 1522092 26005504 1967 1992294400 134512640 137138936 4292514864 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 6349 1967 192 642 0 5705 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 25396 [startup+222.309 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9457 /proc/meminfo: memFree=1538856/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=25912 CPUtime=222.23 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2161 0 0 0 22166 57 0 0 25 0 1 0 1522092 26533888 2077 1992294400 134512640 137138936 4292514864 18446744073709551615 134601161 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 6478 2077 192 642 0 5834 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 25912 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9457 /proc/meminfo: memFree=1538856/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=25908 CPUtime=282.2 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2177 0 0 0 28149 71 0 0 25 0 1 0 1522092 26529792 2093 1992294400 134512640 137138936 4292514864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 6477 2093 192 642 0 5833 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 25908 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9459 /proc/meminfo: memFree=1538112/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=26556 CPUtime=342.18 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2331 0 0 0 34134 84 0 0 25 0 1 0 1522092 27193344 2247 1992294400 134512640 137138936 4292514864 18446744073709551615 134607231 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 6639 2247 192 642 0 5995 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 26556 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9461 /proc/meminfo: memFree=1537988/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=26556 CPUtime=402.16 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2331 0 0 0 40116 100 0 0 25 0 1 0 1522092 27193344 2247 1992294400 134512640 137138936 4292514864 18446744073709551615 134542799 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 6639 2247 192 642 0 5995 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 26556 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9463 /proc/meminfo: memFree=1537988/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=26556 CPUtime=462.14 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2331 0 0 0 46100 114 0 0 25 0 1 0 1522092 27193344 2247 1992294400 134512640 137138936 4292514864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 6639 2247 192 642 0 5995 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 26556 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9465 /proc/meminfo: memFree=1537244/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=27332 CPUtime=522.13 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2526 0 0 0 52084 129 0 0 25 0 1 0 1522092 27987968 2442 1992294400 134512640 137138936 4292514864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 6833 2442 192 642 0 6189 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 27332 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9465 /proc/meminfo: memFree=1536996/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=27528 CPUtime=582.1 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2570 0 0 0 58068 142 0 0 25 0 1 0 1522092 28188672 2486 1992294400 134512640 137138936 4292514864 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 6882 2486 192 642 0 6238 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 27528 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9467 /proc/meminfo: memFree=1536872/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=27528 CPUtime=642.08 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2578 0 0 0 64052 156 0 0 25 0 1 0 1522092 28188672 2494 1992294400 134512640 137138936 4292514864 18446744073709551615 136501665 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 6882 2494 192 642 0 6238 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 27528 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28732 CPUtime=1121.93 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2886 0 0 0 111933 260 0 0 25 0 1 0 1522092 29421568 2802 1992294400 134512640 137138936 4292514864 18446744073709551615 134539304 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7183 2802 192 642 0 6539 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 28732 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9490 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28824 CPUtime=1181.91 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2891 0 0 0 117918 273 0 0 25 0 1 0 1522092 29515776 2807 1992294400 134512640 137138936 4292514864 18446744073709551615 134575829 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7206 2807 192 642 0 6562 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 28824 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9492 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28812 CPUtime=1241.89 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2891 0 0 0 123904 285 0 0 25 0 1 0 1522092 29503488 2807 1992294400 134512640 137138936 4292514864 18446744073709551615 136296993 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7203 2807 192 642 0 6559 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 28812 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9494 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28808 CPUtime=1301.87 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2891 0 0 0 129891 296 0 0 25 0 1 0 1522092 29499392 2807 1992294400 134512640 137138936 4292514864 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7202 2807 192 642 0 6558 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 28808 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9496 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28808 CPUtime=1361.85 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2891 0 0 0 135876 309 0 0 25 0 1 0 1522092 29499392 2807 1992294400 134512640 137138936 4292514864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7202 2807 192 642 0 6558 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 28808 [startup+1422.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9498 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28808 CPUtime=1421.85 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2894 0 0 0 141860 325 0 0 25 0 1 0 1522092 29499392 2810 1992294400 134512640 137138936 4292514864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7202 2810 192 642 0 6558 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 28808 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9498 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28808 CPUtime=1481.82 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2894 0 0 0 147842 340 0 0 25 0 1 0 1522092 29499392 2810 1992294400 134512640 137138936 4292514864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7202 2810 192 642 0 6558 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 28808 [startup+1542.31 s] /proc/loadavg: 0.99 0.97 0.99 2/107 9500 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28808 CPUtime=1541.82 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2894 0 0 0 153825 357 0 0 25 0 1 0 1522092 29499392 2810 1992294400 134512640 137138936 4292514864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7202 2810 192 642 0 6558 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 28808 [startup+1602.3 s] /proc/loadavg: 1.04 0.99 0.99 2/107 9502 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28920 CPUtime=1601.79 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2926 0 0 0 159809 370 0 0 25 0 1 0 1522092 29614080 2842 1992294400 134512640 137138936 4292514864 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7230 2842 192 642 0 6586 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 28920 [startup+1662.3 s] /proc/loadavg: 1.01 0.99 0.99 2/107 9504 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28920 CPUtime=1661.77 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2926 0 0 0 165793 384 0 0 25 0 1 0 1522092 29614080 2842 1992294400 134512640 137138936 4292514864 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7230 2842 192 642 0 6586 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 28920 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 9506 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28920 CPUtime=1721.75 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2926 0 0 0 171777 398 0 0 25 0 1 0 1522092 29614080 2842 1992294400 134512640 137138936 4292514864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7230 2842 192 642 0 6586 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 28920 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/107 9506 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28920 CPUtime=1781.73 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2926 0 0 0 177762 411 0 0 25 0 1 0 1522092 29614080 2842 1992294400 134512640 137138936 4292514864 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7230 2842 192 642 0 6586 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 28920 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 0.99 0.99 2/107 9508 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28920 CPUtime=1791.43 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2926 0 0 0 178731 412 0 0 25 0 1 0 1522092 29614080 2842 1992294400 134512640 137138936 4292514864 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7230 2842 192 642 0 6586 0 Current children cumulated CPU time (s) 1791.43 Current children cumulated vsize (KiB) 28920 [startup+1795.2 s] /proc/loadavg: 1.00 0.99 0.99 2/107 9508 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28920 CPUtime=1794.64 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2926 0 0 0 179050 414 0 0 25 0 1 0 1522092 29614080 2842 1992294400 134512640 137138936 4292514864 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7230 2842 192 642 0 6586 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (KiB) 28920 [startup+1796.8 s] /proc/loadavg: 1.00 0.99 0.99 2/107 9508 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28920 CPUtime=1796.23 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2926 0 0 0 179209 414 0 0 25 0 1 0 1522092 29614080 2842 1992294400 134512640 137138936 4292514864 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7230 2842 192 642 0 6586 0 Current children cumulated CPU time (s) 1796.23 Current children cumulated vsize (KiB) 28920 [startup+1797.6 s] /proc/loadavg: 1.00 0.99 0.99 2/107 9508 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28920 CPUtime=1797.03 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2926 0 0 0 179289 414 0 0 25 0 1 0 1522092 29614080 2842 1992294400 134512640 137138936 4292514864 18446744073709551615 136511127 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7230 2842 192 642 0 6586 0 Current children cumulated CPU time (s) 1797.03 Current children cumulated vsize (KiB) 28920 [startup+1798 s] /proc/loadavg: 1.00 0.99 0.99 2/107 9508 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28920 CPUtime=1797.43 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2926 0 0 0 179329 414 0 0 25 0 1 0 1522092 29614080 2842 1992294400 134512640 137138936 4292514864 18446744073709551615 136520938 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7230 2842 192 642 0 6586 0 Current children cumulated CPU time (s) 1797.43 Current children cumulated vsize (KiB) 28920 [startup+1798.4 s] /proc/loadavg: 1.00 0.99 0.99 2/107 9508 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28920 CPUtime=1797.83 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2926 0 0 0 179369 414 0 0 25 0 1 0 1522092 29614080 2842 1992294400 134512640 137138936 4292514864 18446744073709551615 134542354 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7230 2842 192 642 0 6586 0 Current children cumulated CPU time (s) 1797.83 Current children cumulated vsize (KiB) 28920 [startup+1798.5 s] /proc/loadavg: 1.00 0.99 0.99 2/107 9508 /proc/meminfo: memFree=1534392/2059040 swapFree=4192956/4192956 [pid=9450] ppid=9448 vsize=28920 CPUtime=1797.93 /proc/9450/stat : 9450 (bsolo_pb10) R 9448 9450 9348 0 -1 4202496 2926 0 0 0 179379 414 0 0 25 0 1 0 1522092 29614080 2842 1992294400 134512640 137138936 4292514864 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 1 0 0 0 /proc/9450/statm: 7230 2842 192 642 0 6586 0 Current children cumulated CPU time (s) 1797.93 Current children cumulated vsize (KiB) 28920 Child status: 0 Real time (s): 1798.57 CPU time (s): 1798 CPU user time (s): 1793.86 CPU system time (s): 4.14837 CPU usage (%): 99.9687 Max. virtual memory (cumulated for all children) (KiB): 28928 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.86 system time used= 4.14837 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2926 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= 1 involuntary context switches= 3297 runsolver used 3.06753 second user time and 8.39472 second system time The end
Begin job on node042 at 2010-06-15 13:44:56 IDJOB=2656418 IDBENCH=2909 IDSOLVER=1162 FILE ID=node042/2656418-1276602296 PBS_JOBID= 11172257 Free space on /tmp= 62580 MiB SOLVER NAME= bsolo 3.2 Card BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_3.opb COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656418-1276602296/watcher-2656418-1276602296 -o /tmp/evaluation-result-2656418-1276602296/solver-2656418-1276602296 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2656418-1276602296.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0cfcb152e5d64f6fbadc82a2b31230da RANDOM SEED=1108136621 node042.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.213 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1547700 kB Buffers: 46000 kB Cached: 339344 kB SwapCached: 0 kB Active: 191304 kB Inactive: 253468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1547700 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 3852 kB Writeback: 0 kB AnonPages: 59356 kB Mapped: 15448 kB Slab: 44724 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182872 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62576 MiB End job on node042 at 2010-06-15 14:14:55