Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | ? (TO) | 1800.11 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb |
MD5SUM | 901fa4df755866cb23bdcc769669d554 |
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 | 9.02663 |
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 | 189 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 567 |
Sum of products size (including duplicates) | 1134 |
Number of different products | 567 |
Sum of products size | 1134 |
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 582/0 clauses 567/0 units 0 0.00/0.01 c vars 189 0.00/0.01 c objective 9 + 0 1800.09/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-2681609-1277500641/watcher-2681609-1277500641 -o /tmp/evaluation-result-2681609-1277500641/solver-2681609-1277500641 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681609-1277500641.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 1.00 3/106 31582 /proc/meminfo: memFree=1812016/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=2268 CPUtime=0 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 299 0 0 0 0 0 0 0 17 0 1 0 91358551 2322432 219 1992294400 134512640 136421960 4289029728 18446744073709551615 135811817 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/31582/statm: 567 220 146 467 0 98 0 [startup+0.0483769 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31582 /proc/meminfo: memFree=1812016/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=6540 CPUtime=0.04 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 1354 0 0 0 4 0 0 0 17 0 1 0 91358551 6696960 1274 1992294400 134512640 136421960 4289029728 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 1635 1275 193 467 0 1166 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 6540 [startup+0.101382 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31582 /proc/meminfo: memFree=1812016/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=10860 CPUtime=0.09 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 2374 0 0 0 8 1 0 0 17 0 1 0 91358551 11120640 2294 1992294400 134512640 136421960 4289029728 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 2715 2294 193 467 0 2246 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10860 [startup+0.301399 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31582 /proc/meminfo: memFree=1812016/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=18924 CPUtime=0.29 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 4382 0 0 0 26 3 0 0 17 0 1 0 91358551 19378176 4302 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 4731 4302 215 467 0 4262 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 18924 [startup+0.701433 s] /proc/loadavg: 1.00 1.00 1.00 3/106 31582 /proc/meminfo: memFree=1812016/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=19840 CPUtime=0.69 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 4636 0 0 0 62 7 0 0 17 0 1 0 91358551 20316160 4556 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 4960 4556 215 467 0 4491 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 19840 [startup+1.5015 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31583 /proc/meminfo: memFree=1794152/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=20612 CPUtime=1.49 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 4816 0 0 0 133 16 0 0 18 0 1 0 91358551 21106688 4736 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 5153 4736 215 467 0 4684 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 20612 [startup+3.10164 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31583 /proc/meminfo: memFree=1793408/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=21516 CPUtime=3.09 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 5054 0 0 0 275 34 0 0 21 0 1 0 91358551 22032384 4974 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 5379 4974 215 467 0 4910 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21516 [startup+6.30092 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31583 /proc/meminfo: memFree=1791548/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=22564 CPUtime=6.29 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 5312 0 0 0 572 57 0 0 25 0 1 0 91358551 23105536 5232 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 5641 5232 215 467 0 5172 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22564 [startup+12.7005 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31583 /proc/meminfo: memFree=1791052/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=22972 CPUtime=12.69 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 5391 0 0 0 1175 94 0 0 25 0 1 0 91358551 23523328 5311 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 5743 5311 215 467 0 5274 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22972 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31583 /proc/meminfo: memFree=1789192/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=24812 CPUtime=25.48 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 5852 0 0 0 2367 181 0 0 25 0 1 0 91358551 25407488 5772 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 6203 5772 215 467 0 5734 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 24812 [startup+51.1008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31585 /proc/meminfo: memFree=1787952/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=26012 CPUtime=51.07 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 6164 0 0 0 4768 339 0 0 25 0 1 0 91358551 26636288 6084 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 6503 6084 215 467 0 6034 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 26012 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31585 /proc/meminfo: memFree=1786092/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=27812 CPUtime=102.27 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 6590 0 0 0 9602 625 0 0 25 0 1 0 91358551 28479488 6510 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 6953 6510 215 467 0 6484 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 27812 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31587 /proc/meminfo: memFree=1782000/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=32032 CPUtime=162.24 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 7617 0 0 0 15245 979 0 0 25 0 1 0 91358551 32800768 7537 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 8008 7537 215 467 0 7539 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 32032 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31589 /proc/meminfo: memFree=1781132/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=32900 CPUtime=222.23 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 7802 0 0 0 20935 1288 0 0 25 0 1 0 91358551 33689600 7722 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 8225 7722 215 467 0 7756 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 32900 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31591 /proc/meminfo: memFree=1780760/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=33192 CPUtime=282.2 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 7897 0 0 0 26594 1626 0 0 25 0 1 0 91358551 33988608 7817 1992294400 134512640 136421960 4289029728 18446744073709551615 135006251 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 8298 7817 215 467 0 7829 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 33192 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31593 /proc/meminfo: memFree=1778528/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=35476 CPUtime=342.19 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 8441 0 0 0 32274 1945 0 0 25 0 1 0 91358551 36327424 8361 1992294400 134512640 136421960 4289029728 18446744073709551615 135032201 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 8869 8361 215 467 0 8400 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 35476 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31593 /proc/meminfo: memFree=1777908/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=36168 CPUtime=402.17 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 8581 0 0 0 38006 2211 0 0 25 0 1 0 91358551 37036032 8501 1992294400 134512640 136421960 4289029728 18446744073709551615 134861904 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 9042 8501 215 467 0 8573 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 36168 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31595 /proc/meminfo: memFree=1777412/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=36592 CPUtime=462.15 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 8706 0 0 0 43689 2526 0 0 25 0 1 0 91358551 37470208 8626 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 9148 8626 215 467 0 8679 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 36592 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31597 /proc/meminfo: memFree=1775180/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=38952 CPUtime=522.14 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 9258 0 0 0 49399 2815 0 0 25 0 1 0 91358551 39886848 9178 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 9738 9178 215 467 0 9269 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 38952 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31599 /proc/meminfo: memFree=1775056/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=38952 CPUtime=582.12 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 9259 0 0 0 55122 3090 0 0 25 0 1 0 91358551 39886848 9179 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 9738 9179 215 467 0 9269 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 38952 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31601 /proc/meminfo: memFree=1775056/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=38952 CPUtime=642.1 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 9261 0 0 0 60833 3377 0 0 25 0 1 0 91358551 39886848 9181 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 9738 9181 215 467 0 9269 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 38952 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31605 /proc/meminfo: memFree=1771336/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=42724 CPUtime=822.05 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10138 0 0 0 77829 4376 0 0 25 0 1 0 91358551 43749376 10058 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 10681 10058 215 467 0 10212 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 42724 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31610 /proc/meminfo: memFree=1770592/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=42724 CPUtime=882.03 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10150 0 0 0 83572 4631 0 0 25 0 1 0 91358551 43749376 10070 1992294400 134512640 136421960 4289029728 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 10681 10070 215 467 0 10212 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 42724 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31612 /proc/meminfo: memFree=1770220/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=43200 CPUtime=942.01 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10251 0 0 0 89335 4866 0 0 25 0 1 0 91358551 44236800 10171 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 10800 10171 215 467 0 10331 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 43200 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31612 /proc/meminfo: memFree=1769104/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=44276 CPUtime=1002 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10522 0 0 0 95023 5177 0 0 25 0 1 0 91358551 45338624 10442 1992294400 134512640 136421960 4289029728 18446744073709551615 134870298 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 11069 10442 215 467 0 10600 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 44276 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31614 /proc/meminfo: memFree=1769104/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=44416 CPUtime=1061.98 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10535 0 0 0 100745 5453 0 0 25 0 1 0 91358551 45481984 10455 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 11104 10455 215 467 0 10635 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 44416 [startup+1122.3 s] /proc/loadavg: 1.04 1.01 1.00 2/107 31616 /proc/meminfo: memFree=1768484/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=44776 CPUtime=1121.96 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10705 0 0 0 106465 5731 0 0 25 0 1 0 91358551 45850624 10567 1992294400 134512640 136421960 4289029728 18446744073709551615 134861995 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 11194 10567 215 467 0 10725 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 44776 [startup+1182.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 31618 /proc/meminfo: memFree=1768484/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=44776 CPUtime=1181.95 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10707 0 0 0 112155 6040 0 0 25 0 1 0 91358551 45850624 10569 1992294400 134512640 136421960 4289029728 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 11194 10569 215 467 0 10725 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 44776 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31620 /proc/meminfo: memFree=1768484/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=44776 CPUtime=1241.93 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10713 0 0 0 117906 6287 0 0 25 0 1 0 91358551 45850624 10575 1992294400 134512640 136421960 4289029728 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 11194 10575 215 467 0 10725 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 44776 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31620 /proc/meminfo: memFree=1768236/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=45244 CPUtime=1301.93 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10801 0 0 0 123625 6568 0 0 25 0 1 0 91358551 46329856 10663 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 11311 10663 215 467 0 10842 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 45244 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31622 /proc/meminfo: memFree=1767988/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=45524 CPUtime=1361.9 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10853 0 0 0 129372 6818 0 0 25 0 1 0 91358551 46616576 10715 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 11381 10715 215 467 0 10912 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 45524 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31624 /proc/meminfo: memFree=1767492/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=45624 CPUtime=1421.89 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10969 0 0 0 135114 7075 0 0 25 0 1 0 91358551 46718976 10769 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 11406 10769 215 467 0 10937 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 45624 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31626 /proc/meminfo: memFree=1767492/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=45624 CPUtime=1481.86 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10970 0 0 0 140783 7403 0 0 25 0 1 0 91358551 46718976 10770 1992294400 134512640 136421960 4289029728 18446744073709551615 134861902 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 11406 10770 215 467 0 10937 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 45624 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31628 /proc/meminfo: memFree=1767492/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=45764 CPUtime=1541.85 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 10993 0 0 0 146522 7663 0 0 25 0 1 0 91358551 46862336 10793 1992294400 134512640 136421960 4289029728 18446744073709551615 134902256 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 11441 10793 215 467 0 10972 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 45764 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31628 /proc/meminfo: memFree=1766748/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=46792 CPUtime=1601.83 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 11211 0 0 0 152238 7945 0 0 25 0 1 0 91358551 47915008 11011 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 11698 11011 215 467 0 11229 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 46792 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31630 /proc/meminfo: memFree=1766128/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=47532 CPUtime=1661.81 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 11381 0 0 0 157957 8224 0 0 25 0 1 0 91358551 48672768 11181 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 11883 11181 215 467 0 11414 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 47532 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31632 /proc/meminfo: memFree=1765632/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=48028 CPUtime=1721.79 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 11490 0 0 0 163692 8487 0 0 25 0 1 0 91358551 49180672 11290 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 12007 11290 215 467 0 11538 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 48028 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31634 /proc/meminfo: memFree=1765260/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=48360 CPUtime=1781.78 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 11562 0 0 0 169452 8726 0 0 25 0 1 0 91358551 49520640 11362 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 12090 11362 215 467 0 11621 0 Current children cumulated CPU time (s) 1781.78 Current children cumulated vsize (KiB) 48360 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/107 31634 /proc/meminfo: memFree=1765260/2059040 swapFree=4140112/4192956 [pid=31582] ppid=31580 vsize=48360 CPUtime=1800.09 /proc/31582/stat : 31582 (pbct) R 31580 31582 30988 0 -1 4202496 11563 0 0 0 171217 8792 0 0 25 0 1 0 91358551 49520640 11363 1992294400 134512640 136421960 4289029728 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31582/statm: 12090 11363 215 467 0 11621 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 48360 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.11 CPU user time (s): 1712.17 CPU system time (s): 87.9316 CPU usage (%): 99.9713 Max. virtual memory (cumulated for all children) (KiB): 48360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1712.17 system time used= 87.9316 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 11565 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= 3356 runsolver used 2.91856 second user time and 8.5597 second system time The end
Begin job on node031 at 2010-06-25 23:17:21 IDJOB=2681609 IDBENCH=48098 IDSOLVER=1192 FILE ID=node031/2681609-1277500641 PBS_JOBID= 11190580 Free space on /tmp= 62420 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=211-P1=317-P2=331-P3=491-P4=101-P5=283-P6=487-P7=439-B.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681609-1277500641/watcher-2681609-1277500641 -o /tmp/evaluation-result-2681609-1277500641/solver-2681609-1277500641 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681609-1277500641.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 901fa4df755866cb23bdcc769669d554 RANDOM SEED=148006897 node031.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.219 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.43 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.219 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1812544 kB Buffers: 54940 kB Cached: 85768 kB SwapCached: 5356 kB Active: 57284 kB Inactive: 96480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1812544 kB SwapTotal: 4192956 kB SwapFree: 4140112 kB Dirty: 1868 kB Writeback: 0 kB AnonPages: 11632 kB Mapped: 12024 kB Slab: 70456 kB PageTables: 4224 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181052 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= 62420 MiB End job on node031 at 2010-06-25 23:47:23