Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | SAT (TO) | 41 | 1800.1 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_8_70_1.opb |
MD5SUM | 0263d0a7c5e3320bd7cce9534c14bf27 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 17 |
Best CPU time to get the best result obtained on this benchmark | 1792.56 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 32 |
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 | 1884 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 6162 |
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 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.49/0.54 c 0.491925 9.47266 1895 2812 0.49/0.54 o 1750 0.49/0.56 c 0.509922 9.63281 543 3133 0.49/0.56 o 1699 0.49/0.57 c 0.513921 9.63281 547 3263 0.49/0.57 o 1521 0.49/0.57 c 0.52092 9.63281 581 3431 0.49/0.57 o 1137 0.49/0.58 c 0.52492 9.63281 588 3554 0.49/0.58 o 1130 0.49/0.59 c 0.531919 9.63281 612 3718 0.49/0.59 o 1079 0.49/0.59 c 0.533918 9.63281 616 3845 0.49/0.59 o 1057 0.49/0.59 c 0.535918 9.63281 619 3979 0.49/0.59 o 1015 0.59/0.60 c 0.540917 9.63281 630 4114 0.59/0.60 o 1003 0.59/0.62 c 0.564914 9.63281 706 4319 0.59/0.62 o 880 0.59/0.64 c 0.575912 9.63281 758 4507 0.59/0.64 o 870 0.59/0.64 c 0.578911 9.63281 769 4646 0.59/0.64 o 735 0.59/0.65 c 0.58691 9.80859 788 4788 0.59/0.65 o 710 0.59/0.68 c 0.611906 9.80859 890 5174 0.59/0.68 o 587 0.69/0.80 c 0.712891 9.80859 1374 5936 0.69/0.80 o 573 0.79/0.80 c 0.71989 9.80859 698 6047 0.79/0.80 o 540 0.79/0.82 c 0.737887 9.80859 775 6258 0.79/0.82 o 528 0.79/0.83 c 0.741887 9.80859 778 6376 0.79/0.83 o 499 0.79/0.84 c 0.747886 9.80859 807 6565 0.79/0.84 o 493 0.79/0.84 c 0.753885 9.80859 827 6712 0.79/0.84 o 407 0.79/0.85 c 0.758884 9.80859 831 6794 0.79/0.85 o 400 0.79/0.89 c 0.798878 9.80859 994 7136 0.79/0.89 o 358 0.89/0.95 c 0.844871 9.80859 631 7544 0.89/0.95 o 299 0.89/0.98 c 0.876866 9.80859 728 7762 0.89/0.98 o 241 1.10/1.17 c 1.04984 9.80859 811 8892 1.10/1.17 o 240 1.19/1.20 c 1.07984 9.80859 916 9138 1.19/1.20 o 234 1.19/1.22 c 1.08983 9.80859 954 9251 1.19/1.22 o 232 1.69/1.77 c 1.58176 9.80859 1193 12334 1.69/1.77 o 224 1.99/2.02 c 1.80573 10.0586 1695 13948 1.99/2.02 o 167 2.39/2.44 c 2.18067 10.0586 654 16413 2.39/2.44 o 163 2.39/2.49 c 2.22566 10.0586 847 16809 2.39/2.49 o 156 3.29/3.35 c 2.98555 10.0586 773 21227 3.29/3.35 o 143 3.39/3.45 c 3.07953 10.0586 1150 22015 3.39/3.45 o 102 45.08/45.11 c 40.9348 11.1562 1058 193431 45.08/45.11 o 82 45.08/45.12 c 40.9388 11.1562 537 193550 45.08/45.12 o 80 45.08/45.13 c 40.9548 11.1562 616 193748 45.08/45.13 o 78 82.17/82.20 c 74.5057 11.3906 906 350007 82.17/82.20 o 77 104.86/104.98 c 95.1365 11.5156 1118 439016 104.86/104.98 o 73 104.96/105.01 c 95.1565 11.5156 644 439236 104.96/105.01 o 71 111.86/111.95 c 101.455 11.6445 1942 468456 111.86/111.95 o 69 111.86/111.97 c 101.473 11.6445 1044 468635 111.86/111.97 o 67 111.96/112.03 c 101.529 11.6445 753 469159 111.96/112.03 o 65 111.96/112.04 c 101.536 11.6445 770 469274 111.96/112.04 o 63 422.37/422.55 c 385.998 13.1641 1483 1724034 422.37/422.55 o 62 496.04/496.28 c 453.499 13.1641 1145 2022106 496.04/496.28 o 60 572.82/573.08 c 523.72 13.293 1613 2336060 572.82/573.08 o 59 720.77/721.00 c 659.244 13.668 2106 2901036 720.77/721.00 o 58 1331.21/1331.67 c 1217.48 14.125 1027 5352986 1331.21/1331.67 o 45 1331.21/1331.67 c 1217.48 14.125 1033 5353102 1331.21/1331.67 o 43 1331.21/1331.68 c 1217.49 14.125 1043 5353212 1331.21/1331.68 o 41 1800.08/1800.61 s SATISFIABLE 1800.08/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 41
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668777-1276615278/watcher-2668777-1276615278 -o /tmp/evaluation-result-2668777-1276615278/solver-2668777-1276615278 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668777-1276615278.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.85 0.97 0.99 2/106 10046 /proc/meminfo: memFree=1476156/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=3252 CPUtime=0 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 494 0 0 0 0 0 0 0 20 0 1 0 2820478 3330048 416 1992294400 134512640 136485738 4287912048 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 813 417 197 482 0 329 0 [startup+0.089435 s] /proc/loadavg: 0.85 0.97 0.99 2/106 10046 /proc/meminfo: memFree=1476156/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=9052 CPUtime=0.08 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 1936 0 0 0 8 0 0 0 20 0 1 0 2820478 9269248 1858 1992294400 134512640 136485738 4287912048 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 2263 1860 216 482 0 1779 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9052 [startup+0.101435 s] /proc/loadavg: 0.85 0.97 0.99 2/106 10046 /proc/meminfo: memFree=1476156/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=9184 CPUtime=0.09 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 1983 0 0 0 9 0 0 0 20 0 1 0 2820478 9404416 1905 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 2296 1905 225 482 0 1812 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9184 [startup+0.301453 s] /proc/loadavg: 0.85 0.97 0.99 2/106 10046 /proc/meminfo: memFree=1476156/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=9440 CPUtime=0.29 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 2046 0 0 0 26 3 0 0 20 0 1 0 2820478 9666560 1968 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 2360 1968 225 482 0 1876 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9440 [startup+0.701488 s] /proc/loadavg: 0.85 0.97 0.99 2/106 10046 /proc/meminfo: memFree=1476156/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=10040 CPUtime=0.69 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 2198 0 0 0 62 7 0 0 21 0 1 0 2820478 10280960 2106 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 2510 2106 243 482 0 2026 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 10040 [startup+1.50156 s] /proc/loadavg: 0.85 0.97 0.99 2/107 10047 /proc/meminfo: memFree=1468584/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=10040 CPUtime=1.49 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 2218 0 0 0 133 16 0 0 23 0 1 0 2820478 10280960 2113 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 2510 2113 243 482 0 2026 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10040 [startup+3.1017 s] /proc/loadavg: 0.85 0.97 0.99 2/107 10047 /proc/meminfo: memFree=1467964/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=10296 CPUtime=3.09 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 2299 0 0 0 274 35 0 0 25 0 1 0 2820478 10543104 2190 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 2574 2190 243 482 0 2090 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10296 [startup+6.30098 s] /proc/loadavg: 0.86 0.97 0.99 2/107 10047 /proc/meminfo: memFree=1467592/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=10556 CPUtime=6.29 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 2355 0 0 0 565 64 0 0 25 0 1 0 2820478 10809344 2244 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 2639 2244 243 482 0 2155 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10556 [startup+12.7005 s] /proc/loadavg: 0.87 0.97 0.99 2/107 10049 /proc/meminfo: memFree=1467344/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=10812 CPUtime=12.69 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 2412 0 0 0 1148 121 0 0 25 0 1 0 2820478 11071488 2301 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 2703 2301 243 482 0 2219 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 10812 [startup+25.5007 s] /proc/loadavg: 0.90 0.97 0.99 2/107 10049 /proc/meminfo: memFree=1466972/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=11172 CPUtime=25.48 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 2520 0 0 0 2311 237 0 0 25 0 1 0 2820478 11440128 2409 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 2793 2409 243 482 0 2309 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 11172 [startup+51.1009 s] /proc/loadavg: 0.93 0.97 0.99 2/107 10049 /proc/meminfo: memFree=1466724/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=11420 CPUtime=51.07 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 2583 0 0 0 4630 477 0 0 25 0 1 0 2820478 11694080 2469 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 2855 2469 243 482 0 2371 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11420 [startup+102.308 s] /proc/loadavg: 0.97 0.97 0.99 2/107 10051 /proc/meminfo: memFree=1466228/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=11788 CPUtime=102.27 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 2687 0 0 0 9272 955 0 0 25 0 1 0 2820478 12070912 2572 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 2947 2572 243 482 0 2463 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 11788 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10053 /proc/meminfo: memFree=1465608/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=12420 CPUtime=162.25 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 2838 0 0 0 14771 1454 0 0 25 0 1 0 2820478 12718080 2717 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3105 2717 243 482 0 2621 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 12420 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10053 /proc/meminfo: memFree=1465236/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=12700 CPUtime=222.23 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 2914 0 0 0 20260 1963 0 0 25 0 1 0 2820478 13004800 2793 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3175 2793 243 482 0 2691 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 12700 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10055 /proc/meminfo: memFree=1464864/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=12960 CPUtime=282.2 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 2975 0 0 0 25741 2479 0 0 25 0 1 0 2820478 13271040 2854 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3240 2854 243 482 0 2756 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 12960 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10057 /proc/meminfo: memFree=1464616/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=13220 CPUtime=342.19 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3048 0 0 0 31251 2968 0 0 25 0 1 0 2820478 13537280 2927 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3305 2927 243 482 0 2821 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 13220 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10059 /proc/meminfo: memFree=1464244/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=13476 CPUtime=402.17 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3114 0 0 0 36743 3474 0 0 25 0 1 0 2820478 13799424 2993 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3369 2993 243 482 0 2885 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 13476 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10061 /proc/meminfo: memFree=1464244/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=13476 CPUtime=462.15 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3115 0 0 0 42239 3976 0 0 25 0 1 0 2820478 13799424 2993 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3369 2993 243 482 0 2885 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 13476 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10061 /proc/meminfo: memFree=1464120/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=13608 CPUtime=522.13 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3125 0 0 0 47730 4483 0 0 25 0 1 0 2820478 13934592 3002 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3402 3002 243 482 0 2918 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 13608 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10063 /proc/meminfo: memFree=1463996/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=13608 CPUtime=582.11 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3154 0 0 0 53212 4999 0 0 25 0 1 0 2820478 13934592 3030 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3402 3030 243 482 0 2918 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 13608 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10065 /proc/meminfo: memFree=1463872/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=13740 CPUtime=642.11 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3173 0 0 0 58719 5492 0 0 25 0 1 0 2820478 14069760 3049 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3435 3049 243 482 0 2951 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 13740 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10072 /proc/meminfo: memFree=1463004/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=13992 CPUtime=822.05 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3243 0 0 0 75186 7019 0 0 25 0 1 0 2820478 14327808 3118 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3498 3118 243 482 0 3014 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 13992 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10074 /proc/meminfo: memFree=1463004/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=13992 CPUtime=882.03 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3246 0 0 0 80652 7551 0 0 25 0 1 0 2820478 14327808 3121 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3498 3121 243 482 0 3014 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 13992 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10076 /proc/meminfo: memFree=1462880/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14124 CPUtime=942.01 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3257 0 0 0 86133 8068 0 0 25 0 1 0 2820478 14462976 3132 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3531 3132 243 482 0 3047 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 14124 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10078 /proc/meminfo: memFree=1462756/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14124 CPUtime=1001.99 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3267 0 0 0 91615 8584 0 0 25 0 1 0 2820478 14462976 3142 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3531 3142 243 482 0 3047 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 14124 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10080 /proc/meminfo: memFree=1462756/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14124 CPUtime=1061.98 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3278 0 0 0 97115 9083 0 0 25 0 1 0 2820478 14462976 3153 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3531 3153 243 482 0 3047 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 14124 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10080 /proc/meminfo: memFree=1462632/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14256 CPUtime=1121.97 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3301 0 0 0 102595 9602 0 0 25 0 1 0 2820478 14598144 3176 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3564 3176 243 482 0 3080 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 14256 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10082 /proc/meminfo: memFree=1462632/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14256 CPUtime=1181.95 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3311 0 0 0 108072 10123 0 0 25 0 1 0 2820478 14598144 3186 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3564 3186 243 482 0 3080 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 14256 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10084 /proc/meminfo: memFree=1462508/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14256 CPUtime=1241.94 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3317 0 0 0 113531 10663 0 0 25 0 1 0 2820478 14598144 3192 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3564 3192 243 482 0 3080 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 14256 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10086 /proc/meminfo: memFree=1462384/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14388 CPUtime=1301.93 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3336 0 0 0 119045 11148 0 0 25 0 1 0 2820478 14733312 3211 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3597 3211 243 482 0 3113 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 14388 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10088 /proc/meminfo: memFree=1462260/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14460 CPUtime=1361.9 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3363 0 0 0 124545 11645 0 0 25 0 1 0 2820478 14807040 3235 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3615 3235 243 482 0 3131 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 14460 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10088 /proc/meminfo: memFree=1462136/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14460 CPUtime=1421.89 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3368 0 0 0 130007 12182 0 0 25 0 1 0 2820478 14807040 3240 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3615 3240 243 482 0 3131 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 14460 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10090 /proc/meminfo: memFree=1462012/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14592 CPUtime=1481.87 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3386 0 0 0 135493 12694 0 0 25 0 1 0 2820478 14942208 3258 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3648 3258 243 482 0 3164 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 14592 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10092 /proc/meminfo: memFree=1462012/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14592 CPUtime=1541.85 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3394 0 0 0 140989 13196 0 0 25 0 1 0 2820478 14942208 3266 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3648 3266 243 482 0 3164 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 14592 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10094 /proc/meminfo: memFree=1461888/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14592 CPUtime=1601.83 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3405 0 0 0 146466 13717 0 0 25 0 1 0 2820478 14942208 3277 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3648 3277 243 482 0 3164 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 14592 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10096 /proc/meminfo: memFree=1461764/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14724 CPUtime=1661.82 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3408 0 0 0 151945 14237 0 0 25 0 1 0 2820478 15077376 3280 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3681 3280 243 482 0 3197 0 Current children cumulated CPU time (s) 1661.82 Current children cumulated vsize (KiB) 14724 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10096 /proc/meminfo: memFree=1461764/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14724 CPUtime=1721.8 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3411 0 0 0 157418 14762 0 0 25 0 1 0 2820478 15077376 3283 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3681 3283 243 482 0 3197 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 14724 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10098 /proc/meminfo: memFree=1461764/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14724 CPUtime=1781.78 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3427 0 0 0 162914 15264 0 0 25 0 1 0 2820478 15077376 3299 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3681 3299 243 482 0 3197 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 14724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/107 10098 /proc/meminfo: memFree=1461764/2059040 swapFree=4192956/4192956 [pid=10046] ppid=10044 vsize=14724 CPUtime=1800.08 /proc/10046/stat : 10046 (pbct) R 10044 10046 10021 0 -1 4202496 3427 0 0 0 164587 15421 0 0 25 0 1 0 2820478 15077376 3299 1992294400 134512640 136485738 4287912048 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/10046/statm: 3681 3299 243 482 0 3197 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 14724 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.1 CPU user time (s): 1645.88 CPU system time (s): 154.221 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (KiB): 14724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1645.88 system time used= 154.221 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3427 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= 5244 runsolver used 3.06553 second user time and 8.41372 second system time The end
Begin job on node041 at 2010-06-15 17:21:18 IDJOB=2668777 IDBENCH=2920 IDSOLVER=1170 FILE ID=node041/2668777-1276615278 PBS_JOBID= 11172299 Free space on /tmp= 62084 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_8_70_1.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668777-1276615278/watcher-2668777-1276615278 -o /tmp/evaluation-result-2668777-1276615278/solver-2668777-1276615278 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668777-1276615278.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 0263d0a7c5e3320bd7cce9534c14bf27 RANDOM SEED=1565481822 node041.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.251 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.50 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.251 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.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1476560 kB Buffers: 76560 kB Cached: 366532 kB SwapCached: 0 kB Active: 200260 kB Inactive: 302084 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1476560 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2268 kB Writeback: 0 kB AnonPages: 59272 kB Mapped: 15376 kB Slab: 58252 kB PageTables: 4028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181808 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= 62084 MiB End job on node041 at 2010-06-15 17:51:21