Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.03 | 1800.42 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_8.opb |
MD5SUM | a6271c60ac3da107dd19024b50d39967 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 1800.3 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 18 |
Optimality of the best value was proved | YES |
Number of variables | 4318 |
Total number of constraints | 15120 |
Number of constraints which are clauses | 15112 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 7 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 490 |
Number of terms in the objective function | 490 |
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 | 490 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 28 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 518 |
Number of bits of the biggest sum of numbers | 10 |
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.09/0.18 c constraints 1/0 clauses 15114/0 units 5 0.09/0.18 c vars 4318 0.09/0.18 c objective 485 + 5 1800.00/1800.40 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-2668252-1276640966/watcher-2668252-1276640966 -o /tmp/evaluation-result-2668252-1276640966/solver-2668252-1276640966 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668252-1276640966.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 11792 /proc/meminfo: memFree=1834628/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=2208 CPUtime=0 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 265 0 0 0 0 0 0 0 20 0 1 0 5392037 2260992 187 1992294400 134512640 136485738 4287084368 18446744073709551615 135178952 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11792/statm: 552 187 157 482 0 68 0 [startup+0.0529951 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11792 /proc/meminfo: memFree=1834628/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=2340 CPUtime=0.05 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 302 0 0 0 5 0 0 0 20 0 1 0 5392037 2396160 224 1992294400 134512640 136485738 4287084368 18446744073709551615 135177435 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11792/statm: 585 224 157 482 0 101 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2340 [startup+0.100998 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11792 /proc/meminfo: memFree=1834628/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=2612 CPUtime=0.09 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 344 0 0 0 9 0 0 0 20 0 1 0 5392037 2674688 266 1992294400 134512640 136485738 4287084368 18446744073709551615 135171302 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11792/statm: 653 266 157 482 0 169 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2612 [startup+0.301011 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11792 /proc/meminfo: memFree=1834628/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=17276 CPUtime=0.29 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 3928 0 0 0 27 2 0 0 20 0 1 0 5392037 17690624 3818 1992294400 134512640 136485738 4287084368 18446744073709551615 135868589 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 4319 3825 194 482 0 3835 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 17276 [startup+0.701035 s] /proc/loadavg: 1.00 1.00 1.00 3/106 11792 /proc/meminfo: memFree=1834628/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=46952 CPUtime=0.69 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 11770 0 0 0 62 7 0 0 20 0 1 0 5392037 48078848 11050 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 11738 11050 226 482 0 11254 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 46952 [startup+1.50108 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11793 /proc/meminfo: memFree=1790972/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=47084 CPUtime=1.49 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 11814 0 0 0 129 20 0 0 22 0 1 0 5392037 48214016 11094 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 11771 11094 226 482 0 11287 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 47084 [startup+3.10118 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11793 /proc/meminfo: memFree=1790724/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=47348 CPUtime=3.09 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 11868 0 0 0 264 45 0 0 25 0 1 0 5392037 48484352 11148 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 11837 11148 226 482 0 11353 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 47348 [startup+6.30038 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11793 /proc/meminfo: memFree=1790104/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=47876 CPUtime=6.29 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 11992 0 0 0 536 93 0 0 25 0 1 0 5392037 49025024 11272 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 11969 11272 226 482 0 11485 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 47876 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11793 /proc/meminfo: memFree=1788988/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=48668 CPUtime=12.69 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 12209 0 0 0 1083 186 0 0 25 0 1 0 5392037 49836032 11489 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 12167 11489 226 482 0 11683 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48668 [startup+25.5006 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11793 /proc/meminfo: memFree=1787500/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=50260 CPUtime=25.49 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 12580 0 0 0 2173 376 0 0 25 0 1 0 5392037 51466240 11860 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 12565 11860 226 482 0 12081 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50260 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11793 /proc/meminfo: memFree=1786880/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=50804 CPUtime=51.08 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 12729 0 0 0 4361 747 0 0 25 0 1 0 5392037 52023296 12009 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 12701 12009 226 482 0 12217 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 50804 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11795 /proc/meminfo: memFree=1783160/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=54396 CPUtime=102.28 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 13624 0 0 0 8748 1480 0 0 25 0 1 0 5392037 55701504 12904 1992294400 134512640 136485738 4287084368 18446744073709551615 134880477 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 13599 12904 226 482 0 13115 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 54396 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11800 /proc/meminfo: memFree=1778696/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=58500 CPUtime=162.25 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 14603 0 0 0 13955 2270 0 0 25 0 1 0 5392037 59904000 13883 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 14625 13883 226 482 0 14141 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 58500 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11800 /proc/meminfo: memFree=1777332/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=59792 CPUtime=222.24 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 14948 0 0 0 19163 3061 0 0 25 0 1 0 5392037 61227008 14228 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 14948 14228 226 482 0 14464 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 59792 [startup+282.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11802 /proc/meminfo: memFree=1776712/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=60584 CPUtime=282.23 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 15121 0 0 0 24346 3877 0 0 25 0 1 0 5392037 62038016 14401 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 15146 14401 226 482 0 14662 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 60584 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11804 /proc/meminfo: memFree=1776712/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=60584 CPUtime=342.21 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 15140 0 0 0 29552 4669 0 0 25 0 1 0 5392037 62038016 14420 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 15146 14420 226 482 0 14662 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 60584 [startup+402.301 s] /proc/loadavg: 1.05 1.01 1.00 2/107 11806 /proc/meminfo: memFree=1776712/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=60584 CPUtime=402.2 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 15140 0 0 0 34749 5471 0 0 25 0 1 0 5392037 62038016 14420 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 15146 14420 226 482 0 14662 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 60584 [startup+462.301 s] /proc/loadavg: 1.02 1.01 1.00 2/107 11808 /proc/meminfo: memFree=1776712/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=60584 CPUtime=462.19 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 15140 0 0 0 39945 6274 0 0 25 0 1 0 5392037 62038016 14420 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 15146 14420 226 482 0 14662 0 Current children cumulated CPU time (s) 462.19 Current children cumulated vsize (KiB) 60584 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11808 /proc/meminfo: memFree=1776588/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=60904 CPUtime=522.18 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 15209 0 0 0 45143 7075 0 0 25 0 1 0 5392037 62365696 14489 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 15226 14489 226 482 0 14742 0 Current children cumulated CPU time (s) 522.18 Current children cumulated vsize (KiB) 60904 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11810 /proc/meminfo: memFree=1774604/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=62892 CPUtime=582.17 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 15706 0 0 0 50346 7871 0 0 25 0 1 0 5392037 64401408 14986 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 15723 14986 226 482 0 15239 0 Current children cumulated CPU time (s) 582.17 Current children cumulated vsize (KiB) 62892 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11812 /proc/meminfo: memFree=1772992/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=64640 CPUtime=642.16 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 16110 0 0 0 55558 8658 0 0 25 0 1 0 5392037 66191360 15390 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 16160 15390 226 482 0 15676 0 Current children cumulated CPU time (s) 642.16 Current children cumulated vsize (KiB) 64640 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11816 /proc/meminfo: memFree=1772620/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=64784 CPUtime=822.11 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 16166 0 0 0 71142 11069 0 0 25 0 1 0 5392037 66338816 15446 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 16196 15446 226 482 0 15712 0 Current children cumulated CPU time (s) 822.11 Current children cumulated vsize (KiB) 64784 [startup+882.301 s] /proc/loadavg: 1.13 1.04 1.01 2/107 11818 /proc/meminfo: memFree=1769768/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=67624 CPUtime=882.1 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 16865 0 0 0 76333 11877 0 0 25 0 1 0 5392037 69246976 16145 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 16906 16145 226 482 0 16422 0 Current children cumulated CPU time (s) 882.1 Current children cumulated vsize (KiB) 67624 [startup+942.301 s] /proc/loadavg: 1.12 1.05 1.01 2/107 11820 /proc/meminfo: memFree=1769644/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=67624 CPUtime=942.09 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 16870 0 0 0 81534 12675 0 0 25 0 1 0 5392037 69246976 16150 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 16906 16150 226 482 0 16422 0 Current children cumulated CPU time (s) 942.09 Current children cumulated vsize (KiB) 67624 [startup+1002.3 s] /proc/loadavg: 1.04 1.03 1.00 2/107 11822 /proc/meminfo: memFree=1769644/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=67624 CPUtime=1002.07 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 16870 0 0 0 86731 13476 0 0 25 0 1 0 5392037 69246976 16150 1992294400 134512640 136485738 4287084368 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 16906 16150 226 482 0 16422 0 Current children cumulated CPU time (s) 1002.07 Current children cumulated vsize (KiB) 67624 [startup+1062.3 s] /proc/loadavg: 1.01 1.03 1.00 2/107 11824 /proc/meminfo: memFree=1769520/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=67624 CPUtime=1062.06 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 16872 0 0 0 91922 14284 0 0 25 0 1 0 5392037 69246976 16152 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 16906 16152 226 482 0 16422 0 Current children cumulated CPU time (s) 1062.06 Current children cumulated vsize (KiB) 67624 [startup+1122.3 s] /proc/loadavg: 1.00 1.02 1.00 2/107 11824 /proc/meminfo: memFree=1769520/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=67624 CPUtime=1122.05 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 16872 0 0 0 97133 15072 0 0 25 0 1 0 5392037 69246976 16152 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 16906 16152 226 482 0 16422 0 Current children cumulated CPU time (s) 1122.05 Current children cumulated vsize (KiB) 67624 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11826 /proc/meminfo: memFree=1769272/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=67624 CPUtime=1182.04 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 16872 0 0 0 102315 15889 0 0 25 0 1 0 5392037 69246976 16152 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 16906 16152 226 482 0 16422 0 Current children cumulated CPU time (s) 1182.04 Current children cumulated vsize (KiB) 67624 [startup+1242.3 s] /proc/loadavg: 1.00 1.01 1.00 2/107 11828 /proc/meminfo: memFree=1769148/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=67624 CPUtime=1242.02 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 16873 0 0 0 107522 16680 0 0 25 0 1 0 5392037 69246976 16153 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 16906 16153 226 482 0 16422 0 Current children cumulated CPU time (s) 1242.02 Current children cumulated vsize (KiB) 67624 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11830 /proc/meminfo: memFree=1762452/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=74492 CPUtime=1302.01 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 18599 0 0 0 112752 17449 0 0 25 0 1 0 5392037 76279808 17879 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 18623 17879 226 482 0 18139 0 Current children cumulated CPU time (s) 1302.01 Current children cumulated vsize (KiB) 74492 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11832 /proc/meminfo: memFree=1762204/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=74772 CPUtime=1362 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 18655 0 0 0 118071 18129 0 0 25 0 1 0 5392037 76566528 17935 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 18693 17935 226 482 0 18209 0 Current children cumulated CPU time (s) 1362 Current children cumulated vsize (KiB) 74772 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11832 /proc/meminfo: memFree=1762204/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=74924 CPUtime=1421.99 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 18674 0 0 0 123310 18889 0 0 25 0 1 0 5392037 76722176 17954 1992294400 134512640 136485738 4287084368 18446744073709551615 134880448 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 18731 17954 226 482 0 18247 0 Current children cumulated CPU time (s) 1421.99 Current children cumulated vsize (KiB) 74924 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11834 /proc/meminfo: memFree=1762080/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=74924 CPUtime=1481.97 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 18676 0 0 0 128536 19661 0 0 25 0 1 0 5392037 76722176 17956 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 18731 17956 226 482 0 18247 0 Current children cumulated CPU time (s) 1481.97 Current children cumulated vsize (KiB) 74924 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11836 /proc/meminfo: memFree=1762080/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=74924 CPUtime=1541.95 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 18676 0 0 0 133756 20439 0 0 25 0 1 0 5392037 76722176 17956 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 18731 17956 226 482 0 18247 0 Current children cumulated CPU time (s) 1541.95 Current children cumulated vsize (KiB) 74924 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11838 /proc/meminfo: memFree=1761956/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=74924 CPUtime=1601.94 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 18676 0 0 0 138994 21200 0 0 25 0 1 0 5392037 76722176 17956 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 18731 17956 226 482 0 18247 0 Current children cumulated CPU time (s) 1601.94 Current children cumulated vsize (KiB) 74924 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11840 /proc/meminfo: memFree=1761832/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=74924 CPUtime=1661.93 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 18679 0 0 0 144236 21957 0 0 25 0 1 0 5392037 76722176 17959 1992294400 134512640 136485738 4287084368 18446744073709551615 134886561 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 18731 17959 226 482 0 18247 0 Current children cumulated CPU time (s) 1661.93 Current children cumulated vsize (KiB) 74924 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11840 /proc/meminfo: memFree=1761708/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=74924 CPUtime=1721.91 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 18679 0 0 0 149450 22741 0 0 25 0 1 0 5392037 76722176 17959 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 18731 17959 226 482 0 18247 0 Current children cumulated CPU time (s) 1721.91 Current children cumulated vsize (KiB) 74924 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11842 /proc/meminfo: memFree=1761460/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=74924 CPUtime=1781.9 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 18680 0 0 0 154684 23506 0 0 25 0 1 0 5392037 76722176 17960 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 18731 17960 226 482 0 18247 0 Current children cumulated CPU time (s) 1781.9 Current children cumulated vsize (KiB) 74924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.4 s] /proc/loadavg: 1.00 1.00 1.00 2/107 11844 /proc/meminfo: memFree=1761460/2059040 swapFree=4164944/4192956 [pid=11792] ppid=11790 vsize=74924 CPUtime=1800 /proc/11792/stat : 11792 (pbct) R 11790 11792 10758 0 -1 4202496 18680 0 0 0 156261 23739 0 0 25 0 1 0 5392037 76722176 17960 1992294400 134512640 136485738 4287084368 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/11792/statm: 18731 17960 226 482 0 18247 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 74924 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.42 CPU time (s): 1800.03 CPU user time (s): 1562.62 CPU system time (s): 237.407 CPU usage (%): 99.9783 Max. virtual memory (cumulated for all children) (KiB): 74924 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1562.62 system time used= 237.407 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18680 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= 4798 runsolver used 2.99754 second user time and 8.47371 second system time The end
Begin job on node029 at 2010-06-16 00:29:26 IDJOB=2668252 IDBENCH=25017 IDSOLVER=1170 FILE ID=node029/2668252-1276640966 PBS_JOBID= 11172353 Free space on /tmp= 62576 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_8.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668252-1276640966/watcher-2668252-1276640966 -o /tmp/evaluation-result-2668252-1276640966/solver-2668252-1276640966 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668252-1276640966.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a6271c60ac3da107dd19024b50d39967 RANDOM SEED=1766482172 node029.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.221 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.44 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.221 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1835156 kB Buffers: 28484 kB Cached: 97488 kB SwapCached: 1508 kB Active: 93844 kB Inactive: 66248 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1835156 kB SwapTotal: 4192956 kB SwapFree: 4164944 kB Dirty: 2384 kB Writeback: 0 kB AnonPages: 32552 kB Mapped: 15204 kB Slab: 42020 kB PageTables: 3952 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183348 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= 62572 MiB End job on node029 at 2010-06-16 00:59:29