Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.19 | 1800.83 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb |
MD5SUM | fc1ab74e36340948f29ab602078975e1 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 3.07653 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 7501 |
Total number of constraints | 21961 |
Number of constraints which are clauses | 21960 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 7320 |
Number of terms in the objective function | 61 |
Biggest coefficient in the objective function | 1152921504606846976 |
Number of bits for the biggest coefficient in the objective function | 61 |
Sum of the numbers in the objective function | 2305843009213693951 |
Number of bits of the sum of numbers in the objective function | 61 |
Biggest number in a constraint | 766247770432944429179173513575154591809369561091801088 |
Number of bits of the biggest number in a constraint | 180 |
Biggest sum of numbers in a constraint | 3064991081731777715595715329186976003635521247756299664 |
Number of bits of the biggest sum of numbers | 181 |
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.19/0.29 c constraints 1/0 clauses 21960/0 units 0 0.19/0.29 c vars 7501 0.19/0.29 c objective 61 + 0 1800.07/1800.71 s UNKNOWN
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-2669471-1276627953/watcher-2669471-1276627953 -o /tmp/evaluation-result-2669471-1276627953/solver-2669471-1276627953 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669471-1276627953.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.99 2.07 1.73 3/106 6936 /proc/meminfo: memFree=1810344/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=2208 CPUtime=0 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 257 0 0 0 0 0 0 0 25 0 1 0 38396920 2260992 180 1992294400 134512640 136485738 4291295744 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6936/statm: 552 180 156 482 0 68 0 [startup+0.0969069 s] /proc/loadavg: 1.99 2.07 1.73 3/106 6936 /proc/meminfo: memFree=1810344/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=2472 CPUtime=0.09 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 332 0 0 0 9 0 0 0 25 0 1 0 38396920 2531328 255 1992294400 134512640 136485738 4291295744 18446744073709551615 135567521 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6936/statm: 618 255 156 482 0 134 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2472 [startup+0.100908 s] /proc/loadavg: 1.99 2.07 1.73 3/106 6936 /proc/meminfo: memFree=1810344/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=2472 CPUtime=0.09 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 332 0 0 0 9 0 0 0 25 0 1 0 38396920 2531328 255 1992294400 134512640 136485738 4291295744 18446744073709551615 135848132 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/6936/statm: 618 255 156 482 0 134 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2472 [startup+0.300947 s] /proc/loadavg: 1.99 2.07 1.73 3/106 6936 /proc/meminfo: memFree=1810344/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=5304 CPUtime=0.29 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 989 0 0 0 29 0 0 0 25 0 1 0 38396920 5431296 912 1992294400 134512640 136485738 4291295744 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 1326 914 194 482 0 842 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5304 [startup+0.701025 s] /proc/loadavg: 1.99 2.07 1.73 3/106 6936 /proc/meminfo: memFree=1810344/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=46736 CPUtime=0.69 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 11720 0 0 0 64 5 0 0 25 0 1 0 38396920 47857664 11141 1992294400 134512640 136485738 4291295744 18446744073709551615 135689047 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 11684 11142 198 482 0 11200 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 46736 [startup+1.50118 s] /proc/loadavg: 1.91 2.05 1.73 2/107 6937 /proc/meminfo: memFree=1744244/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=103480 CPUtime=1.49 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 26629 0 0 0 135 14 0 0 25 0 1 0 38396920 105963520 25056 1992294400 134512640 136485738 4291295744 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 25870 25056 227 482 0 25386 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 103480 [startup+3.10149 s] /proc/loadavg: 1.91 2.05 1.73 2/107 6937 /proc/meminfo: memFree=1708780/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=108348 CPUtime=3.09 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 27858 0 0 0 290 19 0 0 25 0 1 0 38396920 110948352 26285 1992294400 134512640 136485738 4291295744 18446744073709551615 134882300 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 27087 26285 228 482 0 26603 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 108348 [startup+6.30112 s] /proc/loadavg: 1.84 2.04 1.72 2/107 6937 /proc/meminfo: memFree=1698860/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=120104 CPUtime=6.29 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 30789 0 0 0 604 25 0 0 25 0 1 0 38396920 122986496 29216 1992294400 134512640 136485738 4291295744 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 30026 29216 228 482 0 29542 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 120104 [startup+12.7014 s] /proc/loadavg: 1.77 2.02 1.72 2/107 6937 /proc/meminfo: memFree=1675300/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=141260 CPUtime=12.69 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 36084 0 0 0 1236 33 0 0 25 0 1 0 38396920 144650240 34511 1992294400 134512640 136485738 4291295744 18446744073709551615 135025302 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 35315 34517 228 482 0 34831 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 141260 [startup+25.5009 s] /proc/loadavg: 1.60 1.97 1.71 2/107 6937 /proc/meminfo: memFree=1637852/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=176620 CPUtime=25.48 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 44905 0 0 0 2504 44 0 0 25 0 1 0 38396920 180858880 43332 1992294400 134512640 136485738 4291295744 18446744073709551615 135291133 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 44155 43332 228 482 0 43671 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 176620 [startup+51.1009 s] /proc/loadavg: 1.39 1.89 1.69 2/107 6937 /proc/meminfo: memFree=1589244/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=226520 CPUtime=51.07 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 57150 0 0 0 5046 61 0 0 25 0 1 0 38396920 231956480 55577 1992294400 134512640 136485738 4291295744 18446744073709551615 135024568 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 56630 55577 228 482 0 56146 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 226520 [startup+102.308 s] /proc/loadavg: 1.17 1.75 1.65 2/107 6939 /proc/meminfo: memFree=1507032/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=307840 CPUtime=102.27 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 77412 0 0 0 10133 94 0 0 25 0 1 0 38396920 315228160 75839 1992294400 134512640 136485738 4291295744 18446744073709551615 135024608 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 76960 75839 228 482 0 76476 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 307840 [startup+162.302 s] /proc/loadavg: 1.06 1.61 1.61 2/107 6941 /proc/meminfo: memFree=1422464/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=392476 CPUtime=162.23 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 98675 0 0 0 16092 131 0 0 25 0 1 0 38396920 401895424 97102 1992294400 134512640 136485738 4291295744 18446744073709551615 134880498 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 98119 97102 228 482 0 97635 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 392476 [startup+222.301 s] /proc/loadavg: 1.02 1.50 1.56 2/107 6943 /proc/meminfo: memFree=1335912/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=478168 CPUtime=222.22 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 120086 0 0 0 22055 167 0 0 25 0 1 0 38396920 489644032 118513 1992294400 134512640 136485738 4291295744 18446744073709551615 134638729 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 119542 118513 228 482 0 119058 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 478168 [startup+282.301 s] /proc/loadavg: 1.01 1.40 1.53 2/107 6943 /proc/meminfo: memFree=1256676/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=557872 CPUtime=282.2 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 139975 0 0 0 28020 200 0 0 25 0 1 0 38396920 571260928 138402 1992294400 134512640 136485738 4291295744 18446744073709551615 134880498 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 139468 138402 228 482 0 138984 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 557872 [startup+342.301 s] /proc/loadavg: 1.00 1.33 1.49 2/107 6945 /proc/meminfo: memFree=1184012/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=630228 CPUtime=342.18 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 158053 0 0 0 33992 226 0 0 25 0 1 0 38396920 645353472 156480 1992294400 134512640 136485738 4291295744 18446744073709551615 135039475 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 157557 156480 228 482 0 157073 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 630228 [startup+402.301 s] /proc/loadavg: 1.00 1.26 1.46 2/107 6947 /proc/meminfo: memFree=1110356/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=704684 CPUtime=402.15 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 176635 0 0 0 39970 245 0 0 25 0 1 0 38396920 721596416 175062 1992294400 134512640 136485738 4291295744 18446744073709551615 135044294 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 176171 175062 228 482 0 175687 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 704684 [startup+462.3 s] /proc/loadavg: 1.00 1.21 1.43 2/107 6949 /proc/meminfo: memFree=1070676/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=742920 CPUtime=462.13 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 186235 0 0 0 45935 278 0 0 25 0 1 0 38396920 760750080 184662 1992294400 134512640 136485738 4291295744 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 185730 184662 228 482 0 185246 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 742920 [startup+522.301 s] /proc/loadavg: 1.00 1.17 1.40 2/107 6960 /proc/meminfo: memFree=1069624/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=742920 CPUtime=522.1 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 186269 0 0 0 51897 313 0 0 25 0 1 0 38396920 760750080 184696 1992294400 134512640 136485738 4291295744 18446744073709551615 134880545 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 185730 184696 228 482 0 185246 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 742920 [startup+582.301 s] /proc/loadavg: 1.00 1.14 1.37 2/107 6960 /proc/meminfo: memFree=1069500/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=742920 CPUtime=582.08 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 186305 0 0 0 57877 331 0 0 25 0 1 0 38396920 760750080 184732 1992294400 134512640 136485738 4291295744 18446744073709551615 135849522 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 185730 184732 228 482 0 185246 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 742920 [startup+642.301 s] /proc/loadavg: 1.00 1.11 1.34 2/107 6962 /proc/meminfo: memFree=1069376/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=742920 CPUtime=642.06 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 186353 0 0 0 63848 358 0 0 25 0 1 0 38396920 760750080 184780 1992294400 134512640 136485738 4291295744 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 185730 184780 228 482 0 185246 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 742920 [startup+702.301 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.04 1.26 2/107 6968 /proc/meminfo: memFree=1069004/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=742920 CPUtime=881.97 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 186482 0 0 0 87789 408 0 0 25 0 1 0 38396920 760750080 184909 1992294400 134512640 136485738 4291295744 18446744073709551615 134878465 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 185730 184909 228 482 0 185246 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 742920 [startup+942.301 s] /proc/loadavg: 1.00 1.03 1.24 2/107 6970 /proc/meminfo: memFree=1000308/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=812352 CPUtime=941.95 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 203823 0 0 0 93772 423 0 0 25 0 1 0 38396920 831848448 202250 1992294400 134512640 136485738 4291295744 18446744073709551615 134659786 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 203088 202250 228 482 0 202604 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 812352 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.22 2/107 6972 /proc/meminfo: memFree=935084/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=877276 CPUtime=1001.93 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 220030 0 0 0 99756 437 0 0 25 0 1 0 38396920 898330624 218457 1992294400 134512640 136485738 4291295744 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 219319 218457 228 482 0 218835 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 877276 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.20 2/107 6974 /proc/meminfo: memFree=850144/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=962964 CPUtime=1061.91 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 241457 0 0 0 105739 452 0 0 25 0 1 0 38396920 986075136 239884 1992294400 134512640 136485738 4291295744 18446744073709551615 134878710 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 240741 239884 228 482 0 240257 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 962964 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 1.18 2/107 6976 /proc/meminfo: memFree=770660/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1041632 CPUtime=1121.89 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 261087 0 0 0 111723 466 0 0 25 0 1 0 38396920 1066631168 259514 1992294400 134512640 136485738 4291295744 18446744073709551615 135856929 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 260408 259514 228 482 0 259924 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 1041632 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.17 2/107 6976 /proc/meminfo: memFree=687332/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1125376 CPUtime=1181.87 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 282037 0 0 0 117706 481 0 0 25 0 1 0 38396920 1152385024 280464 1992294400 134512640 136485738 4291295744 18446744073709551615 134878465 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 281344 280464 228 482 0 280860 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 1125376 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.16 2/107 6978 /proc/meminfo: memFree=662532/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1148704 CPUtime=1241.85 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 287887 0 0 0 123666 519 0 0 25 0 1 0 38396920 1176272896 286314 1992294400 134512640 136485738 4291295744 18446744073709551615 135857078 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 287176 286314 228 482 0 286692 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 1148704 [startup+1302.3 s] /proc/loadavg: 1.06 1.02 1.15 2/107 6983 /proc/meminfo: memFree=661852/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1148704 CPUtime=1301.83 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 287887 0 0 0 129642 541 0 0 25 0 1 0 38396920 1176272896 286314 1992294400 134512640 136485738 4291295744 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 287176 286314 228 482 0 286692 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 1148704 [startup+1362.3 s] /proc/loadavg: 1.02 1.01 1.14 2/107 6985 /proc/meminfo: memFree=661852/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1148704 CPUtime=1361.8 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 287888 0 0 0 135614 566 0 0 25 0 1 0 38396920 1176272896 286315 1992294400 134512640 136485738 4291295744 18446744073709551615 134878449 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 287176 286315 228 482 0 286692 0 Current children cumulated CPU time (s) 1361.8 Current children cumulated vsize (KiB) 1148704 [startup+1422.31 s] /proc/loadavg: 1.01 1.00 1.13 2/107 6987 /proc/meminfo: memFree=661852/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1148704 CPUtime=1421.79 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 287892 0 0 0 141598 581 0 0 25 0 1 0 38396920 1176272896 286319 1992294400 134512640 136485738 4291295744 18446744073709551615 135028858 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 287176 286319 228 482 0 286692 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 1148704 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.12 2/107 6987 /proc/meminfo: memFree=661852/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1148704 CPUtime=1481.77 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 287895 0 0 0 147577 600 0 0 25 0 1 0 38396920 1176272896 286322 1992294400 134512640 136485738 4291295744 18446744073709551615 135848165 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 287176 286322 228 482 0 286692 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 1148704 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.11 2/107 6989 /proc/meminfo: memFree=661976/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1148704 CPUtime=1541.74 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 287897 0 0 0 153561 613 0 0 25 0 1 0 38396920 1176272896 286324 1992294400 134512640 136485738 4291295744 18446744073709551615 134878396 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 287176 286324 228 482 0 286692 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 1148704 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.10 2/107 6991 /proc/meminfo: memFree=661976/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1148704 CPUtime=1601.72 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 287899 0 0 0 159547 625 0 0 25 0 1 0 38396920 1176272896 286326 1992294400 134512640 136485738 4291295744 18446744073709551615 134880566 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 287176 286326 228 482 0 286692 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 1148704 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.09 2/107 6993 /proc/meminfo: memFree=661976/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1148704 CPUtime=1661.7 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 287899 0 0 0 165539 631 0 0 25 0 1 0 38396920 1176272896 286326 1992294400 134512640 136485738 4291295744 18446744073709551615 134878445 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 287176 286326 228 482 0 286692 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 1148704 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 6995 /proc/meminfo: memFree=661976/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1148704 CPUtime=1721.68 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 287903 0 0 0 171531 637 0 0 25 0 1 0 38396920 1176272896 286330 1992294400 134512640 136485738 4291295744 18446744073709551615 135039628 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 287176 286330 228 482 0 286692 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 1148704 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.08 2/107 6995 /proc/meminfo: memFree=661728/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1148704 CPUtime=1781.66 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 287903 0 0 0 177525 641 0 0 25 0 1 0 38396920 1176272896 286330 1992294400 134512640 136485738 4291295744 18446744073709551615 134878710 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 287176 286330 228 482 0 286692 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 1148704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.07 2/107 6997 /proc/meminfo: memFree=661728/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=1148704 CPUtime=1800.07 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4202496 287903 0 0 0 179364 643 0 0 25 0 1 0 38396920 1176272896 286330 1992294400 134512640 136485738 4291295744 18446744073709551615 134878445 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/6936/statm: 287176 286330 228 482 0 286692 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1148704 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.07 2/107 6997 /proc/meminfo: memFree=661728/2059040 swapFree=4136232/4192956 [pid=6936] ppid=6934 vsize=0 CPUtime=1800.16 /proc/6936/stat : 6936 (pbct) R 6934 6936 6069 0 -1 4194308 287903 0 0 0 179364 652 0 0 25 0 1 0 38396920 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/6936/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1800.83 CPU time (s): 1800.19 CPU user time (s): 1793.65 CPU system time (s): 6.546 CPU usage (%): 99.9645 Max. virtual memory (cumulated for all children) (KiB): 1148704 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.65 system time used= 6.546 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 287903 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= 2 involuntary context switches= 21818 runsolver used 2.90256 second user time and 8.58269 second system time The end
Begin job on node011 at 2010-06-15 20:52:34 IDJOB=2669471 IDBENCH=3030 IDSOLVER=1170 FILE ID=node011/2669471-1276627953 PBS_JOBID= 11172341 Free space on /tmp= 62360 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=120-sizeP=61-sizeQ=120-883133839.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2669471-1276627953/watcher-2669471-1276627953 -o /tmp/evaluation-result-2669471-1276627953/solver-2669471-1276627953 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2669471-1276627953.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= fc1ab74e36340948f29ab602078975e1 RANDOM SEED=1065026836 node011.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.264 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.52 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.264 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: 1810872 kB Buffers: 64572 kB Cached: 103384 kB SwapCached: 10072 kB Active: 76316 kB Inactive: 105260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1810872 kB SwapTotal: 4192956 kB SwapFree: 4136232 kB Dirty: 3044 kB Writeback: 0 kB AnonPages: 11952 kB Mapped: 9300 kB Slab: 44848 kB PageTables: 3996 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181836 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= 62360 MiB End job on node011 at 2010-06-15 21:22:36