Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | SAT (TO) | 42 | 1800.05 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_2.opb |
MD5SUM | 1d334f36842eecbe8db395477b7c6bcb |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 15 |
Best CPU time to get the best result obtained on this benchmark | 1791.89 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | NO |
Number of variables | 198 |
Total number of constraints | 16 |
Number of constraints which are clauses | 0 |
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 | 85 |
Maximum length of a constraint | 86 |
Number of terms in the objective function | 128 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 4080 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1943 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6340 |
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 PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 16/0 clauses 0/0 units 0 0.00/0.00 c vars 198 0.00/0.00 c objective 128 + 0 0.09/0.14 c 0.12598 9.05078 255 635 0.09/0.14 o 1946 0.09/0.14 c 0.12898 9.20703 256 750 0.09/0.14 o 1843 0.09/0.15 c 0.131979 9.20703 259 868 0.09/0.15 o 1799 0.09/0.15 c 0.134979 9.20703 277 1003 0.09/0.15 o 1701 0.09/0.16 c 0.143978 9.20703 316 1143 0.09/0.16 o 1700 0.09/0.20 c 0.176973 9.20703 452 1482 0.09/0.20 o 591 0.19/0.20 c 0.181972 9.20703 474 1624 0.19/0.20 o 589 0.19/0.23 c 0.204968 9.33203 554 1777 0.19/0.23 o 587 0.19/0.23 c 0.209968 9.33203 562 1887 0.19/0.23 o 531 0.19/0.26 c 0.235964 9.33203 666 2204 0.19/0.26 o 529 0.19/0.27 c 0.237963 9.33203 667 2321 0.19/0.27 o 525 0.19/0.27 c 0.238963 9.33203 669 2434 0.19/0.27 o 523 0.19/0.28 c 0.246962 9.33203 693 2595 0.19/0.28 o 507 0.19/0.29 c 0.255961 9.46094 732 2749 0.19/0.29 o 478 0.29/0.32 c 0.277957 9.46094 845 3098 0.29/0.32 o 471 0.29/0.32 c 0.285956 9.46094 878 3217 0.29/0.32 o 465 0.29/0.33 c 0.288956 9.46094 878 3319 0.29/0.33 o 464 0.29/0.33 c 0.292955 9.46094 887 3479 0.29/0.33 o 338 0.29/0.34 c 0.298954 9.46094 911 3646 0.29/0.34 o 336 0.29/0.35 c 0.304953 9.46094 930 3753 0.29/0.35 o 315 0.29/0.36 c 0.316951 9.58984 958 3945 0.29/0.36 o 313 0.39/0.40 c 0.349946 9.58984 554 4259 0.39/0.40 o 311 0.39/0.40 c 0.354946 9.58984 561 4353 0.39/0.40 o 290 0.39/0.43 c 0.384941 9.58984 673 4668 0.39/0.43 o 289 0.39/0.48 c 0.426935 9.58984 810 5051 0.39/0.48 o 276 0.39/0.48 c 0.431934 9.58984 820 5152 0.39/0.48 o 200 0.49/0.56 c 0.502923 9.58984 1087 5730 0.49/0.56 o 196 0.79/0.81 c 0.733888 9.58984 843 7323 0.79/0.81 o 186 0.79/0.83 c 0.745886 9.58984 902 7497 0.79/0.83 o 172 0.79/0.83 c 0.750885 9.58984 914 7609 0.79/0.83 o 170 0.79/0.86 c 0.776881 9.58984 1030 7917 0.79/0.86 o 168 2.39/2.45 c 2.18267 10.0938 1919 15641 2.39/2.45 o 166 2.50/2.59 c 2.30865 10.0938 928 16709 2.50/2.59 o 133 2.69/2.72 c 2.43463 10.0938 810 17550 2.69/2.72 o 113 5.89/5.91 c 5.30319 10.0938 1016 33375 5.89/5.91 o 111 6.60/6.62 c 5.95109 10.3438 1235 37053 6.60/6.62 o 108 12.19/12.25 c 11.0873 10.4688 1049 64474 12.19/12.25 o 71 12.49/12.58 c 11.3923 10.4688 818 66237 12.49/12.58 o 69 12.49/12.59 c 11.4003 10.4688 837 66332 12.49/12.59 o 67 67.27/67.32 c 60.8977 11.7344 2038 307689 67.27/67.32 o 65 83.36/83.48 c 75.6235 11.7344 1042 370222 83.36/83.48 o 64 113.56/113.68 c 103.324 11.8555 1383 508235 113.56/113.68 o 63 573.21/573.40 c 525.207 13.6953 1526 2488383 573.21/573.40 o 61 723.05/723.32 c 662.687 13.6953 1344 3139289 723.05/723.32 o 59 723.05/723.37 c 662.73 13.6953 835 3139645 723.05/723.37 o 57 760.04/760.34 c 696.691 13.6953 1241 3305086 760.04/760.34 o 56 760.04/760.35 c 696.709 13.6953 703 3305270 760.04/760.35 o 54 760.04/760.36 c 696.717 13.6953 724 3305357 760.04/760.36 o 52 760.04/760.37 c 696.722 13.6953 733 3305425 760.04/760.37 o 50 1747.63/1748.25 c 1602.54 14.5 2046 7543368 1747.63/1748.25 o 44 1747.63/1748.26 c 1602.55 14.5 1043 7543493 1747.63/1748.26 o 42 1800.03/1800.61 s SATISFIABLE 1800.03/1800.61 v -x1 x2 x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 x129 -x130 -x131 x132 x133 x134 x135 x136 x137 -x138 -x139 -x140 x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 x149 -x150 x151 -x152 x153 x154 x155 x156 x157 -x158 x159 x160 x161 -x162 x163 -x164 -x165 x166 -x167 -x168 x169 x170 -x171 -x172 -x173 -x174 x175 x176 x177 x178 x179 x180 x181 x182 -x183 -x184 x185 -x186 -x187 x188 -x189 -x190 -x191 -x192 x193 -x194 -x195 -x196 x197 -x198
OK 42
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2682376-1277491901/watcher-2682376-1277491901 -o /tmp/evaluation-result-2682376-1277491901/solver-2682376-1277491901 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682376-1277491901.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: 1.00 1.00 0.94 3/105 30235 /proc/meminfo: memFree=1859388/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=3312 CPUtime=0 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 542 0 0 0 0 0 0 0 25 0 1 0 90483774 3391488 461 1992294400 134512640 136421960 4288203440 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 828 463 193 467 0 359 0 [startup+0.05435 s] /proc/loadavg: 1.00 1.00 0.94 3/105 30235 /proc/meminfo: memFree=1859388/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=7304 CPUtime=0.04 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 1517 0 0 0 4 0 0 0 25 0 1 0 90483774 7479296 1436 1992294400 134512640 136421960 4288203440 18446744073709551615 134730122 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 1826 1441 194 467 0 1357 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 7304 [startup+0.101355 s] /proc/loadavg: 1.00 1.00 0.94 3/105 30235 /proc/meminfo: memFree=1859388/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=9136 CPUtime=0.09 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 1997 0 0 0 9 0 0 0 25 0 1 0 90483774 9355264 1916 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 2284 1916 213 467 0 1815 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9136 [startup+0.301377 s] /proc/loadavg: 1.00 1.00 0.94 3/105 30235 /proc/meminfo: memFree=1859388/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=9684 CPUtime=0.29 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2132 0 0 0 26 3 0 0 25 0 1 0 90483774 9916416 2037 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 2421 2037 236 467 0 1952 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9684 [startup+0.701421 s] /proc/loadavg: 1.00 1.00 0.94 3/105 30235 /proc/meminfo: memFree=1859388/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=9816 CPUtime=0.69 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2201 0 0 0 63 6 0 0 25 0 1 0 90483774 10051584 2093 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 2454 2093 236 467 0 1985 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9816 [startup+1.50151 s] /proc/loadavg: 1.00 1.00 0.94 2/106 30236 /proc/meminfo: memFree=1851692/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=9944 CPUtime=1.5 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2235 0 0 0 133 17 0 0 25 0 1 0 90483774 10182656 2123 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 2486 2123 236 467 0 2017 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 9944 [startup+3.10169 s] /proc/loadavg: 1.00 1.00 0.94 2/106 30236 /proc/meminfo: memFree=1851196/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=10332 CPUtime=3.09 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2312 0 0 0 276 33 0 0 25 0 1 0 90483774 10579968 2197 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 2583 2197 236 467 0 2114 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10332 [startup+6.30104 s] /proc/loadavg: 1.00 1.00 0.94 2/106 30236 /proc/meminfo: memFree=1850948/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=10588 CPUtime=6.29 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2380 0 0 0 565 64 0 0 25 0 1 0 90483774 10842112 2264 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 2647 2264 236 467 0 2178 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10588 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 0.94 2/106 30236 /proc/meminfo: memFree=1850452/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=10716 CPUtime=12.69 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2439 0 0 0 1149 120 0 0 25 0 1 0 90483774 10973184 2319 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 2679 2319 236 467 0 2210 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10716 [startup+25.5012 s] /proc/loadavg: 1.07 1.02 0.94 2/106 30236 /proc/meminfo: memFree=1849956/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=11228 CPUtime=25.48 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2560 0 0 0 2309 239 0 0 25 0 1 0 90483774 11497472 2440 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 2807 2440 236 467 0 2338 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11228 [startup+51.101 s] /proc/loadavg: 1.05 1.01 0.94 2/106 30236 /proc/meminfo: memFree=1849584/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=11752 CPUtime=51.08 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2683 0 0 0 4626 482 0 0 25 0 1 0 90483774 12034048 2563 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 2938 2563 236 467 0 2469 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 11752 [startup+102.309 s] /proc/loadavg: 1.07 1.02 0.95 2/106 30238 /proc/meminfo: memFree=1848964/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=12136 CPUtime=102.27 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2771 0 0 0 9287 940 0 0 25 0 1 0 90483774 12427264 2649 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3034 2649 236 467 0 2565 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 12136 [startup+162.301 s] /proc/loadavg: 1.07 1.03 0.95 2/106 30240 /proc/meminfo: memFree=1848592/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=12312 CPUtime=162.24 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2854 0 0 0 14792 1432 0 0 25 0 1 0 90483774 12607488 2721 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3078 2721 236 467 0 2609 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 12312 [startup+222.301 s] /proc/loadavg: 1.06 1.04 0.96 2/106 30242 /proc/meminfo: memFree=1848220/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=12692 CPUtime=222.22 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2946 0 0 0 20297 1925 0 0 25 0 1 0 90483774 12996608 2813 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3173 2813 236 467 0 2704 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 12692 [startup+282.302 s] /proc/loadavg: 1.06 1.04 0.96 2/106 30244 /proc/meminfo: memFree=1847972/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=12820 CPUtime=282.21 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 2981 0 0 0 25801 2420 0 0 25 0 1 0 90483774 13127680 2848 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3205 2848 236 467 0 2736 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 12820 [startup+342.301 s] /proc/loadavg: 1.06 1.05 0.97 2/106 30244 /proc/meminfo: memFree=1847600/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=13172 CPUtime=342.19 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3068 0 0 0 31302 2917 0 0 25 0 1 0 90483774 13488128 2932 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3293 2932 236 467 0 2824 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 13172 [startup+402.301 s] /proc/loadavg: 1.06 1.05 0.97 2/106 30246 /proc/meminfo: memFree=1847600/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=13304 CPUtime=402.17 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3078 0 0 0 36809 3408 0 0 25 0 1 0 90483774 13623296 2942 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3326 2942 236 467 0 2857 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 13304 [startup+462.302 s] /proc/loadavg: 1.12 1.07 0.98 2/106 30248 /proc/meminfo: memFree=1847476/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=13408 CPUtime=462.15 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3125 0 0 0 42323 3892 0 0 25 0 1 0 90483774 13729792 2989 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3352 2989 236 467 0 2883 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 13408 [startup+522.301 s] /proc/loadavg: 1.12 1.07 0.99 3/106 30250 /proc/meminfo: memFree=1847228/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=13624 CPUtime=522.13 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3177 0 0 0 47833 4380 0 0 25 0 1 0 90483774 13950976 3036 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3406 3036 236 467 0 2937 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 13624 [startup+582.301 s] /proc/loadavg: 1.10 1.07 1.00 2/106 30261 /proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14020 CPUtime=582.09 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3264 0 0 0 53335 4874 0 0 25 0 1 0 90483774 14356480 3122 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3505 3122 236 467 0 3036 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 14020 [startup+642.301 s] /proc/loadavg: 1.09 1.07 1.00 2/106 30261 /proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14020 CPUtime=642.09 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3265 0 0 0 58827 5382 0 0 25 0 1 0 90483774 14356480 3123 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3505 3123 236 467 0 3036 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 14020 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.11 1.08 1.01 2/106 30267 /proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14020 CPUtime=822.02 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3291 0 0 0 75351 6851 0 0 25 0 1 0 90483774 14356480 3143 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3505 3143 236 467 0 3036 0 Current children cumulated CPU time (s) 822.02 Current children cumulated vsize (KiB) 14020 [startup+882.301 s] /proc/loadavg: 1.08 1.08 1.01 2/106 30269 /proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14128 CPUtime=882 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3300 0 0 0 80866 7334 0 0 25 0 1 0 90483774 14467072 3152 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3532 3152 236 467 0 3063 0 Current children cumulated CPU time (s) 882 Current children cumulated vsize (KiB) 14128 [startup+942.302 s] /proc/loadavg: 1.11 1.09 1.01 2/106 30269 /proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14128 CPUtime=941.98 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3301 0 0 0 86358 7840 0 0 25 0 1 0 90483774 14467072 3153 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3532 3153 236 467 0 3063 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 14128 [startup+1002.3 s] /proc/loadavg: 1.04 1.07 1.01 2/106 30271 /proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14128 CPUtime=1001.96 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3303 0 0 0 91870 8326 0 0 25 0 1 0 90483774 14467072 3155 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3532 3155 236 467 0 3063 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 14128 [startup+1062.3 s] /proc/loadavg: 1.01 1.06 1.00 2/106 30273 /proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14128 CPUtime=1061.95 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3318 0 0 0 97349 8846 0 0 25 0 1 0 90483774 14467072 3170 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3532 3170 236 467 0 3063 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 14128 [startup+1122.3 s] /proc/loadavg: 1.00 1.04 1.00 2/106 30275 /proc/meminfo: memFree=1846236/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14260 CPUtime=1121.93 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3333 0 0 0 102851 9342 0 0 25 0 1 0 90483774 14602240 3185 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3565 3185 236 467 0 3096 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 14260 [startup+1182.3 s] /proc/loadavg: 1.00 1.03 1.00 2/106 30277 /proc/meminfo: memFree=1846112/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14260 CPUtime=1181.91 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3338 0 0 0 108365 9826 0 0 25 0 1 0 90483774 14602240 3190 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3565 3190 236 467 0 3096 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 14260 [startup+1242.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 30277 /proc/meminfo: memFree=1845988/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14260 CPUtime=1241.89 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3347 0 0 0 113861 10328 0 0 25 0 1 0 90483774 14602240 3199 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3565 3199 236 467 0 3096 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 14260 [startup+1302.3 s] /proc/loadavg: 1.00 1.02 1.00 2/106 30279 /proc/meminfo: memFree=1845740/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14448 CPUtime=1301.88 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3364 0 0 0 119332 10856 0 0 25 0 1 0 90483774 14794752 3216 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3612 3216 236 467 0 3143 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 14448 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.00 2/106 30281 /proc/meminfo: memFree=1845616/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14448 CPUtime=1361.85 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3382 0 0 0 124819 11366 0 0 25 0 1 0 90483774 14794752 3234 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3612 3234 236 467 0 3143 0 Current children cumulated CPU time (s) 1361.85 Current children cumulated vsize (KiB) 14448 [startup+1422.31 s] /proc/loadavg: 1.00 1.01 1.00 2/106 30283 /proc/meminfo: memFree=1845616/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14448 CPUtime=1421.85 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3397 0 0 0 130335 11850 0 0 25 0 1 0 90483774 14794752 3249 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3612 3249 236 467 0 3143 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 14448 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30285 /proc/meminfo: memFree=1845368/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14712 CPUtime=1481.82 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3434 0 0 0 135835 12347 0 0 25 0 1 0 90483774 15065088 3286 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3678 3286 236 467 0 3209 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 14712 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30285 /proc/meminfo: memFree=1845368/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14712 CPUtime=1541.8 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3447 0 0 0 141334 12846 0 0 25 0 1 0 90483774 15065088 3299 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3678 3299 236 467 0 3209 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 14712 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30287 /proc/meminfo: memFree=1845244/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14844 CPUtime=1601.78 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3474 0 0 0 146839 13339 0 0 25 0 1 0 90483774 15200256 3326 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3711 3326 236 467 0 3242 0 Current children cumulated CPU time (s) 1601.78 Current children cumulated vsize (KiB) 14844 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30289 /proc/meminfo: memFree=1845120/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14844 CPUtime=1661.76 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3491 0 0 0 152349 13827 0 0 25 0 1 0 90483774 15200256 3343 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3711 3343 236 467 0 3242 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 14844 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30291 /proc/meminfo: memFree=1845120/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14844 CPUtime=1721.75 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3497 0 0 0 157870 14305 0 0 25 0 1 0 90483774 15200256 3349 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3711 3349 236 467 0 3242 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 14844 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30293 /proc/meminfo: memFree=1844872/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14980 CPUtime=1781.72 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3508 0 0 0 163372 14800 0 0 25 0 1 0 90483774 15339520 3358 1992294400 134512640 136421960 4288203440 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3745 3358 236 467 0 3276 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 14980 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/106 30293 /proc/meminfo: memFree=1844872/2059040 swapFree=4135840/4192956 [pid=30235] ppid=30233 vsize=14980 CPUtime=1800.03 /proc/30235/stat : 30235 (pbct) R 30233 30235 30131 0 -1 4202496 3510 0 0 0 165046 14957 0 0 25 0 1 0 90483774 15339520 3360 1992294400 134512640 136421960 4288203440 18446744073709551615 135028324 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/30235/statm: 3745 3360 236 467 0 3276 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 14980 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.62 CPU time (s): 1800.05 CPU user time (s): 1650.47 CPU system time (s): 149.579 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (KiB): 14980 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1650.47 system time used= 149.579 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3511 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= 11729 runsolver used 3.04454 second user time and 8.44072 second system time The end
Begin job on node086 at 2010-06-25 20:51:41 IDJOB=2682376 IDBENCH=2895 IDSOLVER=1192 FILE ID=node086/2682376-1277491901 PBS_JOBID= 11190546 Free space on /tmp= 62340 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_2.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2682376-1277491901/watcher-2682376-1277491901 -o /tmp/evaluation-result-2682376-1277491901/solver-2682376-1277491901 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2682376-1277491901.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d334f36842eecbe8db395477b7c6bcb RANDOM SEED=2064597816 node086.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.244 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.48 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.244 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1859916 kB Buffers: 12916 kB Cached: 99768 kB SwapCached: 9936 kB Active: 69660 kB Inactive: 55896 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1859916 kB SwapTotal: 4192956 kB SwapFree: 4135840 kB Dirty: 1868 kB Writeback: 0 kB AnonPages: 11340 kB Mapped: 8292 kB Slab: 51752 kB PageTables: 4108 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182032 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= 62340 MiB End job on node086 at 2010-06-25 21:21:43