Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | ? (TO) | 1800.11 | 1800.62 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_5_40_4.opb |
MD5SUM | 153ea7f27a80a18c7caefc8ed55018be |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 41 |
Total number of constraints | 11 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 40 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1207 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3621 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 10/0 clauses 0/0 units 1 0.00/0.00 c vars 41 0.00/0.00 c objective 0 + 0 1800.10/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-2681990-1277492704/watcher-2681990-1277492704 -o /tmp/evaluation-result-2681990-1277492704/solver-2681990-1277492704 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681990-1277492704.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.92 0.98 0.99 3/106 31125 /proc/meminfo: memFree=1799992/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=3448 CPUtime=0 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 572 0 0 0 0 0 0 0 24 0 1 0 90564838 3530752 491 1992294400 134512640 136421960 4293968864 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 862 491 193 467 0 393 0 [startup+0.024096 s] /proc/loadavg: 0.92 0.98 0.99 3/106 31125 /proc/meminfo: memFree=1799992/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=4660 CPUtime=0.02 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 886 0 0 0 2 0 0 0 24 0 1 0 90564838 4771840 805 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1165 807 213 467 0 696 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4660 [startup+0.102102 s] /proc/loadavg: 0.92 0.98 0.99 3/106 31125 /proc/meminfo: memFree=1799992/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=4788 CPUtime=0.09 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 911 0 0 0 9 0 0 0 24 0 1 0 90564838 4902912 830 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1197 830 213 467 0 728 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4788 [startup+0.301118 s] /proc/loadavg: 0.92 0.98 0.99 3/106 31125 /proc/meminfo: memFree=1799992/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=4788 CPUtime=0.29 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 925 0 0 0 26 3 0 0 24 0 1 0 90564838 4902912 844 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1197 844 213 467 0 728 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4788 [startup+0.700154 s] /proc/loadavg: 0.92 0.98 0.99 3/106 31125 /proc/meminfo: memFree=1799992/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=4788 CPUtime=0.69 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 935 0 0 0 62 7 0 0 25 0 1 0 90564838 4902912 854 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1197 854 213 467 0 728 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4788 [startup+1.50022 s] /proc/loadavg: 0.92 0.98 0.99 2/107 31126 /proc/meminfo: memFree=1797256/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=4916 CPUtime=1.49 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 953 0 0 0 132 17 0 0 25 0 1 0 90564838 5033984 872 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1229 872 213 467 0 760 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4916 [startup+3.10136 s] /proc/loadavg: 0.92 0.98 0.99 2/107 31126 /proc/meminfo: memFree=1797008/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=5048 CPUtime=3.09 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 988 0 0 0 274 35 0 0 25 0 1 0 90564838 5169152 907 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1262 907 213 467 0 793 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5048 [startup+6.30164 s] /proc/loadavg: 0.93 0.98 0.99 2/107 31126 /proc/meminfo: memFree=1796760/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=5176 CPUtime=6.29 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1001 0 0 0 560 69 0 0 25 0 1 0 90564838 5300224 920 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1294 920 213 467 0 825 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 5176 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/107 31126 /proc/meminfo: memFree=1796512/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=5300 CPUtime=12.69 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1036 0 0 0 1126 143 0 0 25 0 1 0 90564838 5427200 955 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1325 955 213 467 0 856 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 5300 [startup+25.5013 s] /proc/loadavg: 0.95 0.98 0.99 2/107 31128 /proc/meminfo: memFree=1796388/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=5428 CPUtime=25.48 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1089 0 0 0 2270 278 0 0 25 0 1 0 90564838 5558272 1008 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1357 1008 213 467 0 888 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 5428 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/107 31128 /proc/meminfo: memFree=1796140/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=5688 CPUtime=51.08 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1141 0 0 0 4548 560 0 0 25 0 1 0 90564838 5824512 1060 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1422 1060 213 467 0 953 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 5688 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 31130 /proc/meminfo: memFree=1795644/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=5944 CPUtime=102.27 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1204 0 0 0 9115 1112 0 0 25 0 1 0 90564838 6086656 1123 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1486 1123 213 467 0 1017 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 5944 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31130 /proc/meminfo: memFree=1795396/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=6176 CPUtime=162.24 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1270 0 0 0 14476 1748 0 0 25 0 1 0 90564838 6324224 1189 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1544 1189 213 467 0 1075 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 6176 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31132 /proc/meminfo: memFree=1795148/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=6296 CPUtime=222.23 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1306 0 0 0 19854 2369 0 0 25 0 1 0 90564838 6447104 1225 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1574 1225 213 467 0 1105 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 6296 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31134 /proc/meminfo: memFree=1795148/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=6396 CPUtime=282.22 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1327 0 0 0 25204 3018 0 0 25 0 1 0 90564838 6549504 1246 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1599 1246 213 467 0 1130 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 6396 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31136 /proc/meminfo: memFree=1795024/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=6500 CPUtime=342.2 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1355 0 0 0 30555 3665 0 0 25 0 1 0 90564838 6656000 1274 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1625 1274 213 467 0 1156 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 6500 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31138 /proc/meminfo: memFree=1794652/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=6760 CPUtime=402.18 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1417 0 0 0 35925 4293 0 0 25 0 1 0 90564838 6922240 1336 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1690 1336 213 467 0 1221 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 6760 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31138 /proc/meminfo: memFree=1794528/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=6852 CPUtime=462.16 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1427 0 0 0 41267 4949 0 0 25 0 1 0 90564838 7016448 1346 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1713 1346 213 467 0 1244 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 6852 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31140 /proc/meminfo: memFree=1794404/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=6940 CPUtime=522.14 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1451 0 0 0 46638 5576 0 0 25 0 1 0 90564838 7106560 1370 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1735 1370 213 467 0 1266 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 6940 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31142 /proc/meminfo: memFree=1794280/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7068 CPUtime=582.12 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1483 0 0 0 51992 6220 0 0 25 0 1 0 90564838 7237632 1402 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1767 1402 213 467 0 1298 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 7068 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31144 /proc/meminfo: memFree=1794156/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7068 CPUtime=642.11 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1484 0 0 0 57358 6853 0 0 25 0 1 0 90564838 7237632 1403 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1767 1403 213 467 0 1298 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 7068 [startup+702.301 s] ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31148 /proc/meminfo: memFree=1793908/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7208 CPUtime=822.05 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1514 0 0 0 73436 8769 0 0 25 0 1 0 90564838 7380992 1433 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1802 1433 213 467 0 1333 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 7208 [startup+882.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31150 /proc/meminfo: memFree=1793660/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7360 CPUtime=882.04 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1554 0 0 0 78806 9398 0 0 25 0 1 0 90564838 7536640 1473 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1840 1473 213 467 0 1371 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 7360 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31152 /proc/meminfo: memFree=1793660/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7464 CPUtime=942.01 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1578 0 0 0 84164 10037 0 0 25 0 1 0 90564838 7643136 1497 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1866 1497 213 467 0 1397 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 7464 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 3/107 31154 /proc/meminfo: memFree=1793536/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7440 CPUtime=1002 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1579 0 0 0 89525 10675 0 0 25 0 1 0 90564838 7618560 1498 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1860 1498 213 467 0 1391 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 7440 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31154 /proc/meminfo: memFree=1793288/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7568 CPUtime=1061.99 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1619 0 0 0 94909 11290 0 0 25 0 1 0 90564838 7749632 1538 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1892 1538 213 467 0 1423 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 7568 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31156 /proc/meminfo: memFree=1793288/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7568 CPUtime=1121.97 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1620 0 0 0 100273 11924 0 0 25 0 1 0 90564838 7749632 1539 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1892 1539 213 467 0 1423 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 7568 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31158 /proc/meminfo: memFree=1793288/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7568 CPUtime=1181.96 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1620 0 0 0 105636 12560 0 0 25 0 1 0 90564838 7749632 1539 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1892 1539 213 467 0 1423 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 7568 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31160 /proc/meminfo: memFree=1793040/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7700 CPUtime=1241.93 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1644 0 0 0 111017 13176 0 0 25 0 1 0 90564838 7884800 1563 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1925 1563 213 467 0 1456 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 7700 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31162 /proc/meminfo: memFree=1792916/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7700 CPUtime=1301.93 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1644 0 0 0 116387 13806 0 0 25 0 1 0 90564838 7884800 1563 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1925 1563 213 467 0 1456 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 7700 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31162 /proc/meminfo: memFree=1792916/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7700 CPUtime=1361.91 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1645 0 0 0 121762 14429 0 0 25 0 1 0 90564838 7884800 1564 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1925 1564 213 467 0 1456 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 7700 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31164 /proc/meminfo: memFree=1792792/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7700 CPUtime=1421.89 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1646 0 0 0 127120 15069 0 0 25 0 1 0 90564838 7884800 1565 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1925 1565 213 467 0 1456 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 7700 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31166 /proc/meminfo: memFree=1792792/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7700 CPUtime=1481.88 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1659 0 0 0 132493 15695 0 0 25 0 1 0 90564838 7884800 1578 1992294400 134512640 136421960 4293968864 18446744073709551615 135006251 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1925 1578 213 467 0 1456 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 7700 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31168 /proc/meminfo: memFree=1792792/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7748 CPUtime=1541.86 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1664 0 0 0 137854 16332 0 0 25 0 1 0 90564838 7933952 1583 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1937 1583 213 467 0 1468 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 7748 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31170 /proc/meminfo: memFree=1792792/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7748 CPUtime=1601.85 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1665 0 0 0 143220 16965 0 0 25 0 1 0 90564838 7933952 1584 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1937 1584 213 467 0 1468 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 7748 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 31173 /proc/meminfo: memFree=1792296/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7812 CPUtime=1661.83 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1684 0 0 0 148610 17573 0 0 25 0 1 0 90564838 7999488 1603 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1953 1603 213 467 0 1484 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 7812 [startup+1722.3 s] /proc/loadavg: 1.10 1.03 1.01 2/107 31175 /proc/meminfo: memFree=1792296/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7864 CPUtime=1721.81 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1693 0 0 0 154014 18167 0 0 25 0 1 0 90564838 8052736 1612 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1966 1612 213 467 0 1497 0 Current children cumulated CPU time (s) 1721.81 Current children cumulated vsize (KiB) 7864 [startup+1782.3 s] /proc/loadavg: 1.15 1.05 1.01 2/107 31177 /proc/meminfo: memFree=1792172/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7964 CPUtime=1781.8 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1725 0 0 0 159407 18773 0 0 25 0 1 0 90564838 8155136 1644 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1991 1644 213 467 0 1522 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 7964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.10 1.04 1.01 3/107 31177 /proc/meminfo: memFree=1792172/2059040 swapFree=4140112/4192956 [pid=31125] ppid=31123 vsize=7956 CPUtime=1800.1 /proc/31125/stat : 31125 (pbct) R 31123 31125 30988 0 -1 4202496 1725 0 0 0 161053 18957 0 0 25 0 1 0 90564838 8146944 1644 1992294400 134512640 136421960 4293968864 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/31125/statm: 1989 1644 213 467 0 1520 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 7956 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): 1610.54 CPU system time (s): 189.572 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 7992 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1610.54 system time used= 189.572 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1727 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= 3403 runsolver used 3.21051 second user time and 8.27074 second system time The end
Begin job on node031 at 2010-06-25 21:05:04 IDJOB=2681990 IDBENCH=2929 IDSOLVER=1192 FILE ID=node031/2681990-1277492704 PBS_JOBID= 11190580 Free space on /tmp= 62420 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_4.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2681990-1277492704/watcher-2681990-1277492704 -o /tmp/evaluation-result-2681990-1277492704/solver-2681990-1277492704 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2681990-1277492704.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 153ea7f27a80a18c7caefc8ed55018be RANDOM SEED=184510272 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: 1800520 kB Buffers: 56820 kB Cached: 95680 kB SwapCached: 5404 kB Active: 57732 kB Inactive: 107860 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1800520 kB SwapTotal: 4192956 kB SwapFree: 4140112 kB Dirty: 1900 kB Writeback: 0 kB AnonPages: 11560 kB Mapped: 12060 kB Slab: 70804 kB PageTables: 4204 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 21:35:06