Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | ? (TO) | 1800.02 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb |
MD5SUM | 747af0da1666dabab7e7b60330c37a87 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 7.38288 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 19 |
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 | 19 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
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 | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 576 |
Sum of products size (including duplicates) | 1152 |
Number of different products | 576 |
Sum of products size | 1152 |
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.01 c constraints 595/0 clauses 576/0 units 0 0.00/0.01 c vars 216 0.00/0.01 c objective 8 + 0 1800.01/1800.61 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-2681496-1277498938/watcher-2681496-1277498938 -o /tmp/evaluation-result-2681496-1277498938/solver-2681496-1277498938 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681496-1277498938.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.06 1.03 1.01 3/106 29178 /proc/meminfo: memFree=1846044/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=2268 CPUtime=0 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 298 0 0 0 0 0 0 0 18 0 1 0 91181889 2322432 217 1992294400 134512640 136421960 4291617792 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/29178/statm: 567 217 146 467 0 98 0 [startup+0.0607071 s] /proc/loadavg: 1.06 1.03 1.01 3/106 29178 /proc/meminfo: memFree=1846044/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=7556 CPUtime=0.05 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 1590 0 0 0 4 1 0 0 20 0 1 0 91181889 7737344 1509 1992294400 134512640 136421960 4291617792 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 1889 1510 193 467 0 1420 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 7556 [startup+0.100712 s] /proc/loadavg: 1.06 1.03 1.01 3/106 29178 /proc/meminfo: memFree=1846044/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=10740 CPUtime=0.09 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 2361 0 0 0 8 1 0 0 20 0 1 0 91181889 10997760 2280 1992294400 134512640 136421960 4291617792 18446744073709551615 135064579 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 2685 2282 193 467 0 2216 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10740 [startup+0.30074 s] /proc/loadavg: 1.06 1.03 1.01 3/106 29178 /proc/meminfo: memFree=1846044/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=18968 CPUtime=0.29 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 4416 0 0 0 25 4 0 0 20 0 1 0 91181889 19423232 4335 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 4742 4335 215 467 0 4273 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18968 [startup+0.700797 s] /proc/loadavg: 1.06 1.03 1.01 3/106 29178 /proc/meminfo: memFree=1846044/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=20140 CPUtime=0.69 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 4699 0 0 0 61 8 0 0 20 0 1 0 91181889 20623360 4618 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 5035 4619 215 467 0 4566 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 20140 [startup+1.50091 s] /proc/loadavg: 1.06 1.03 1.01 2/107 29179 /proc/meminfo: memFree=1828180/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=20400 CPUtime=1.49 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 4777 0 0 0 132 17 0 0 23 0 1 0 91181889 20889600 4696 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 5100 4696 215 467 0 4631 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20400 [startup+3.10114 s] /proc/loadavg: 1.06 1.03 1.01 2/107 29179 /proc/meminfo: memFree=1827436/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=21300 CPUtime=3.09 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 4977 0 0 0 274 35 0 0 25 0 1 0 91181889 21811200 4896 1992294400 134512640 136421960 4291617792 18446744073709551615 135028852 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 5325 4896 215 467 0 4856 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21300 [startup+6.30159 s] /proc/loadavg: 1.05 1.03 1.00 2/107 29179 /proc/meminfo: memFree=1826196/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=22108 CPUtime=6.29 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 5182 0 0 0 569 60 0 0 25 0 1 0 91181889 22638592 5101 1992294400 134512640 136421960 4291617792 18446744073709551615 135028344 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 5527 5101 215 467 0 5058 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22108 [startup+12.7015 s] /proc/loadavg: 1.05 1.03 1.00 2/107 29179 /proc/meminfo: memFree=1824832/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=23176 CPUtime=12.69 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 5464 0 0 0 1159 110 0 0 25 0 1 0 91181889 23732224 5383 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 5794 5383 215 467 0 5325 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 23176 [startup+25.5003 s] /proc/loadavg: 1.04 1.03 1.00 2/107 29179 /proc/meminfo: memFree=1824088/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=23976 CPUtime=25.48 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 5647 0 0 0 2342 206 0 0 25 0 1 0 91181889 24551424 5566 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 5994 5566 215 467 0 5525 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 23976 [startup+51.101 s] /proc/loadavg: 1.02 1.03 1.00 2/107 29179 /proc/meminfo: memFree=1822228/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=25880 CPUtime=51.07 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 6105 0 0 0 4699 408 0 0 25 0 1 0 91181889 26501120 6024 1992294400 134512640 136421960 4291617792 18446744073709551615 134857228 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 6470 6024 215 467 0 6001 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 25880 [startup+102.308 s] /proc/loadavg: 1.01 1.02 1.00 2/107 29181 /proc/meminfo: memFree=1820864/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=27232 CPUtime=102.27 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 6457 0 0 0 9456 771 0 0 25 0 1 0 91181889 27885568 6376 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 6808 6376 215 467 0 6339 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 27232 [startup+162.301 s] /proc/loadavg: 1.00 1.02 1.00 2/107 29183 /proc/meminfo: memFree=1818012/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=30016 CPUtime=162.24 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 7128 0 0 0 15036 1188 0 0 25 0 1 0 91181889 30736384 7047 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 7504 7047 215 467 0 7035 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 30016 [startup+222.301 s] /proc/loadavg: 1.00 1.01 1.00 2/107 29185 /proc/meminfo: memFree=1817020/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=30840 CPUtime=222.22 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 7342 0 0 0 20631 1591 0 0 25 0 1 0 91181889 31580160 7261 1992294400 134512640 136421960 4291617792 18446744073709551615 134862010 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 7710 7261 215 467 0 7241 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 30840 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29185 /proc/meminfo: memFree=1814912/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=33164 CPUtime=282.2 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 7883 0 0 0 26265 1955 0 0 25 0 1 0 91181889 33959936 7802 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 8291 7802 215 467 0 7822 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 33164 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29187 /proc/meminfo: memFree=1814416/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=33420 CPUtime=342.18 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 7973 0 0 0 31862 2356 0 0 25 0 1 0 91181889 34222080 7892 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 8355 7892 215 467 0 7886 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 33420 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29189 /proc/meminfo: memFree=1814168/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=33844 CPUtime=402.16 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 8063 0 0 0 37487 2729 0 0 25 0 1 0 91181889 34656256 7982 1992294400 134512640 136421960 4291617792 18446744073709551615 134857228 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 8461 7982 215 467 0 7992 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 33844 [startup+462.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29191 /proc/meminfo: memFree=1810820/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=37272 CPUtime=462.14 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 8884 0 0 0 43114 3100 0 0 25 0 1 0 91181889 38166528 8803 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 9318 8803 215 467 0 8849 0 Current children cumulated CPU time (s) 462.14 Current children cumulated vsize (KiB) 37272 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29193 /proc/meminfo: memFree=1810076/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=38044 CPUtime=522.12 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 9039 0 0 0 48733 3479 0 0 25 0 1 0 91181889 38957056 8958 1992294400 134512640 136421960 4291617792 18446744073709551615 135686625 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 9511 8958 215 467 0 9042 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 38044 [startup+582.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29193 /proc/meminfo: memFree=1809704/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=38468 CPUtime=582.1 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 9129 0 0 0 54333 3877 0 0 25 0 1 0 91181889 39391232 9048 1992294400 134512640 136421960 4291617792 18446744073709551615 134861888 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 9617 9048 215 467 0 9148 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 38468 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29195 /proc/meminfo: memFree=1807844/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=40224 CPUtime=642.08 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 9567 0 0 0 60035 4173 0 0 25 0 1 0 91181889 41189376 9486 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 10056 9486 215 467 0 9587 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 40224 [startup+702.3 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29210 /proc/meminfo: memFree=1805488/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=42320 CPUtime=822.01 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 10043 0 0 0 76985 5216 0 0 25 0 1 0 91181889 43335680 9962 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 10580 9962 215 467 0 10111 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 42320 [startup+882.301 s] /proc/loadavg: 1.08 1.02 1.01 2/107 29210 /proc/meminfo: memFree=1805364/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=42484 CPUtime=881.99 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 10068 0 0 0 82646 5553 0 0 25 0 1 0 91181889 43503616 9987 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 10621 9987 215 467 0 10152 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 42484 [startup+942.3 s] /proc/loadavg: 1.03 1.01 1.00 2/107 29212 /proc/meminfo: memFree=1805364/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=42660 CPUtime=941.98 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 10095 0 0 0 88296 5902 0 0 25 0 1 0 91181889 43683840 10014 1992294400 134512640 136421960 4291617792 18446744073709551615 134862027 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 10665 10014 215 467 0 10196 0 Current children cumulated CPU time (s) 941.98 Current children cumulated vsize (KiB) 42660 [startup+1002.3 s] /proc/loadavg: 1.01 1.00 1.00 2/107 29214 /proc/meminfo: memFree=1804744/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=43292 CPUtime=1001.95 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 10260 0 0 0 93987 6208 0 0 25 0 1 0 91181889 44331008 10179 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 10823 10179 215 467 0 10354 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 43292 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29216 /proc/meminfo: memFree=1804744/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=43292 CPUtime=1061.93 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 10261 0 0 0 99649 6544 0 0 25 0 1 0 91181889 44331008 10180 1992294400 134512640 136421960 4291617792 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 10823 10180 215 467 0 10354 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 43292 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29218 /proc/meminfo: memFree=1804620/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=43292 CPUtime=1121.91 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 10262 0 0 0 105314 6877 0 0 25 0 1 0 91181889 44331008 10181 1992294400 134512640 136421960 4291617792 18446744073709551615 134861995 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 10823 10181 215 467 0 10354 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 43292 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29218 /proc/meminfo: memFree=1804496/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=43292 CPUtime=1181.89 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 10267 0 0 0 110998 7191 0 0 25 0 1 0 91181889 44331008 10186 1992294400 134512640 136421960 4291617792 18446744073709551615 135020784 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 10823 10186 215 467 0 10354 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 43292 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29220 /proc/meminfo: memFree=1804372/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=43292 CPUtime=1241.87 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 10282 0 0 0 116644 7543 0 0 25 0 1 0 91181889 44331008 10201 1992294400 134512640 136421960 4291617792 18446744073709551615 134862018 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/29178/statm: 10823 10201 215 467 0 10354 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 43292 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29222 /proc/meminfo: memFree=1804248/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=43292 CPUtime=1301.85 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 10282 0 0 0 122296 7889 0 0 25 0 1 0 91181889 44331008 10201 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 10823 10201 215 467 0 10354 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 43292 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29224 /proc/meminfo: memFree=1804000/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=43632 CPUtime=1361.83 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 10355 0 0 0 127990 8193 0 0 25 0 1 0 91181889 44679168 10274 1992294400 134512640 136421960 4291617792 18446744073709551615 134861950 0 0 4096 16387 0 0 0 17 0 0 0 0 /proc/29178/statm: 10908 10274 215 467 0 10439 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 43632 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29226 /proc/meminfo: memFree=1803380/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=44568 CPUtime=1421.82 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 10532 0 0 0 133653 8529 0 0 25 0 1 0 91181889 45637632 10451 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 11142 10451 215 467 0 10673 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 44568 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 29226 /proc/meminfo: memFree=1801148/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=46516 CPUtime=1481.79 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 11057 0 0 0 139277 8902 0 0 25 0 1 0 91181889 47632384 10976 1992294400 134512640 136421960 4291617792 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 11629 10976 215 467 0 11160 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 46516 [startup+1542.3 s] /proc/loadavg: 1.07 1.02 1.00 2/107 29228 /proc/meminfo: memFree=1801148/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=46516 CPUtime=1541.77 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 11063 0 0 0 144975 9202 0 0 25 0 1 0 91181889 47632384 10982 1992294400 134512640 136421960 4291617792 18446744073709551615 134862315 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 11629 10982 215 467 0 11160 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 46516 [startup+1602.3 s] /proc/loadavg: 1.14 1.04 1.01 2/107 29230 /proc/meminfo: memFree=1801148/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=46648 CPUtime=1601.75 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 11080 0 0 0 150600 9575 0 0 25 0 1 0 91181889 47767552 10999 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 11662 10999 215 467 0 11193 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 46648 [startup+1662.3 s] /proc/loadavg: 1.12 1.05 1.01 2/107 29232 /proc/meminfo: memFree=1800776/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=46944 CPUtime=1661.73 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 11129 0 0 0 156218 9955 0 0 25 0 1 0 91181889 48070656 11048 1992294400 134512640 136421960 4291617792 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 11736 11048 215 467 0 11267 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 46944 [startup+1722.3 s] /proc/loadavg: 1.10 1.05 1.01 2/107 29234 /proc/meminfo: memFree=1800652/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=47132 CPUtime=1721.71 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 11156 0 0 0 161925 10246 0 0 25 0 1 0 91181889 48263168 11075 1992294400 134512640 136421960 4291617792 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 11783 11075 215 467 0 11314 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 47132 [startup+1782.3 s] /proc/loadavg: 1.09 1.06 1.01 2/107 29234 /proc/meminfo: memFree=1800156/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=47276 CPUtime=1781.69 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 11203 0 0 0 167582 10587 0 0 25 0 1 0 91181889 48410624 11122 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 11819 11122 215 467 0 11350 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 47276 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.07 1.05 1.01 2/107 29236 /proc/meminfo: memFree=1800156/2059040 swapFree=4139696/4192956 [pid=29178] ppid=29176 vsize=47276 CPUtime=1800.01 /proc/29178/stat : 29178 (pbct) R 29176 29178 28667 0 -1 4202496 11203 0 0 0 169317 10684 0 0 25 0 1 0 91181889 48410624 11122 1992294400 134512640 136421960 4291617792 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/29178/statm: 11819 11122 215 467 0 11350 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 47276 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.02 CPU user time (s): 1693.17 CPU system time (s): 106.847 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (KiB): 47276 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1693.17 system time used= 106.847 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11205 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= 4594 runsolver used 2.88356 second user time and 8.59569 second system time The end
Begin job on node049 at 2010-06-25 22:48:58 IDJOB=2681496 IDBENCH=47985 IDSOLVER=1192 FILE ID=node049/2681496-1277498938 PBS_JOBID= 11190583 Free space on /tmp= 62456 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=211-P1=113-P2=103-P3=37-P4=167-P5=5-P6=191-P7=13-P8=223-P9=137-B.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681496-1277498938/watcher-2681496-1277498938 -o /tmp/evaluation-result-2681496-1277498938/solver-2681496-1277498938 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681496-1277498938.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 747af0da1666dabab7e7b60330c37a87 RANDOM SEED=1241969763 node049.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 : 5599.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1846572 kB Buffers: 30380 kB Cached: 84580 kB SwapCached: 6412 kB Active: 34256 kB Inactive: 93988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1846572 kB SwapTotal: 4192956 kB SwapFree: 4139696 kB Dirty: 1848 kB Writeback: 8 kB AnonPages: 11804 kB Mapped: 11836 kB Slab: 61920 kB PageTables: 4212 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184420 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62452 MiB End job on node049 at 2010-06-25 23:19:01