Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.08 | 1800.72 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_6_50_2.opb |
MD5SUM | 25ec3c4431eaa97f8c8dfc7dcac7b55c |
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 | 51 |
Total number of constraints | 13 |
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 | 12 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 50 |
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 | 1293 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3879 |
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 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.00/0.00 c constraints 12/0 clauses 0/0 units 1 0.00/0.00 c vars 51 0.00/0.00 c objective 0 + 0 1800.07/1800.71 s UNKNOWN
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2668393-1276613707/watcher-2668393-1276613707 -o /tmp/evaluation-result-2668393-1276613707/solver-2668393-1276613707 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668393-1276613707.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 5012 /proc/meminfo: memFree=1785972/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=3512 CPUtime=0 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 564 0 0 0 0 0 0 0 20 0 1 0 35026995 3596288 487 1992294400 134512640 136485738 4292520944 18446744073709551615 134669961 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 878 488 197 482 0 394 0 [startup+0.0901991 s] /proc/loadavg: 0.92 0.98 0.99 3/106 5012 /proc/meminfo: memFree=1785972/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=5516 CPUtime=0.08 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1087 0 0 0 8 0 0 0 20 0 1 0 35026995 5648384 1010 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1379 1010 225 482 0 895 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5516 [startup+0.1012 s] /proc/loadavg: 0.92 0.98 0.99 3/106 5012 /proc/meminfo: memFree=1785972/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=5516 CPUtime=0.09 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1091 0 0 0 9 0 0 0 20 0 1 0 35026995 5648384 1014 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1379 1014 225 482 0 895 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5516 [startup+0.301238 s] /proc/loadavg: 0.92 0.98 0.99 3/106 5012 /proc/meminfo: memFree=1785972/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=5644 CPUtime=0.29 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1114 0 0 0 27 2 0 0 20 0 1 0 35026995 5779456 1037 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1411 1037 225 482 0 927 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5644 [startup+0.701312 s] /proc/loadavg: 0.92 0.98 0.99 3/106 5012 /proc/meminfo: memFree=1785972/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=5780 CPUtime=0.69 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1139 0 0 0 62 7 0 0 20 0 1 0 35026995 5918720 1062 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1445 1062 225 482 0 961 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5780 [startup+1.50146 s] /proc/loadavg: 0.92 0.98 0.99 2/107 5013 /proc/meminfo: memFree=1782492/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=5780 CPUtime=1.49 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1164 0 0 0 134 15 0 0 23 0 1 0 35026995 5918720 1087 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1445 1087 225 482 0 961 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 5780 [startup+3.10076 s] /proc/loadavg: 0.93 0.98 0.99 2/107 5013 /proc/meminfo: memFree=1782244/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=5908 CPUtime=3.09 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1180 0 0 0 275 34 0 0 25 0 1 0 35026995 6049792 1103 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1477 1103 225 482 0 993 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5908 [startup+6.30136 s] /proc/loadavg: 0.93 0.98 0.99 2/107 5013 /proc/meminfo: memFree=1781996/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=6036 CPUtime=6.29 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1204 0 0 0 563 66 0 0 25 0 1 0 35026995 6180864 1127 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1509 1127 225 482 0 1025 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6036 [startup+12.7006 s] /proc/loadavg: 0.94 0.98 0.99 2/107 5013 /proc/meminfo: memFree=1781624/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=6164 CPUtime=12.69 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1241 0 0 0 1135 134 0 0 25 0 1 0 35026995 6311936 1164 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1541 1164 225 482 0 1057 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6164 [startup+25.5009 s] /proc/loadavg: 1.02 1.00 1.00 2/107 5013 /proc/meminfo: memFree=1781624/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=6416 CPUtime=25.48 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1317 0 0 0 2279 269 0 0 25 0 1 0 35026995 6569984 1240 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1604 1240 225 482 0 1120 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 6416 [startup+51.1017 s] /proc/loadavg: 1.01 1.00 1.00 2/107 5013 /proc/meminfo: memFree=1781004/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=6808 CPUtime=51.07 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1420 0 0 0 4561 546 0 0 25 0 1 0 35026995 6971392 1343 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1702 1343 225 482 0 1218 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 6808 [startup+102.308 s] /proc/loadavg: 1.05 1.01 1.00 2/107 5015 /proc/meminfo: memFree=1780632/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=7064 CPUtime=102.26 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1486 0 0 0 9127 1099 0 0 25 0 1 0 35026995 7233536 1409 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1766 1409 225 482 0 1282 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 7064 [startup+162.301 s] /proc/loadavg: 1.06 1.02 1.00 2/107 5017 /proc/meminfo: memFree=1780260/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=7480 CPUtime=162.23 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1581 0 0 0 14482 1741 0 0 25 0 1 0 35026995 7659520 1504 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1870 1504 225 482 0 1386 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 7480 [startup+222.301 s] /proc/loadavg: 1.02 1.02 1.00 2/107 5019 /proc/meminfo: memFree=1780012/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=7604 CPUtime=222.22 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1604 0 0 0 19860 2362 0 0 25 0 1 0 35026995 7786496 1527 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1901 1527 225 482 0 1417 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 7604 [startup+282.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5021 /proc/meminfo: memFree=1780012/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=7732 CPUtime=282.19 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1635 0 0 0 25224 2995 0 0 25 0 1 0 35026995 7917568 1558 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1933 1558 225 482 0 1449 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 7732 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 2/107 5021 /proc/meminfo: memFree=1779764/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=7864 CPUtime=342.18 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1671 0 0 0 30590 3628 0 0 25 0 1 0 35026995 8052736 1594 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 1966 1594 225 482 0 1482 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 7864 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5032 /proc/meminfo: memFree=1778524/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=8128 CPUtime=402.13 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1724 0 0 0 35960 4253 0 0 25 0 1 0 35026995 8323072 1647 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2032 1647 225 482 0 1548 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 8128 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5034 /proc/meminfo: memFree=1778524/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=8260 CPUtime=462.12 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1754 0 0 0 41326 4886 0 0 25 0 1 0 35026995 8458240 1677 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2065 1677 225 482 0 1581 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 8260 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5036 /proc/meminfo: memFree=1778524/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=8260 CPUtime=522.09 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1765 0 0 0 46707 5502 0 0 25 0 1 0 35026995 8458240 1688 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2065 1688 225 482 0 1581 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 8260 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5038 /proc/meminfo: memFree=1778524/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=8260 CPUtime=582.07 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1774 0 0 0 52074 6133 0 0 25 0 1 0 35026995 8458240 1697 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2065 1697 225 482 0 1581 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 8260 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5038 /proc/meminfo: memFree=1778524/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=8260 CPUtime=642.06 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1778 0 0 0 57450 6756 0 0 25 0 1 0 35026995 8458240 1701 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2065 1701 225 482 0 1581 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 8260 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5046 /proc/meminfo: memFree=1778400/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=8628 CPUtime=881.97 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1871 0 0 0 78948 9249 0 0 25 0 1 0 35026995 8835072 1794 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2157 1794 225 482 0 1673 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 8628 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5046 /proc/meminfo: memFree=1778400/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=8752 CPUtime=941.95 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1900 0 0 0 84331 9864 0 0 25 0 1 0 35026995 8962048 1823 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2188 1823 225 482 0 1704 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 8752 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5048 /proc/meminfo: memFree=1778276/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=8872 CPUtime=1001.93 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1916 0 0 0 89717 10476 0 0 25 0 1 0 35026995 9084928 1839 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2218 1839 225 482 0 1734 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 8872 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5050 /proc/meminfo: memFree=1778276/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=8872 CPUtime=1061.91 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1927 0 0 0 95093 11098 0 0 25 0 1 0 35026995 9084928 1850 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2218 1850 225 482 0 1734 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 8872 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5052 /proc/meminfo: memFree=1778152/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9020 CPUtime=1121.89 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1950 0 0 0 100464 11725 0 0 25 0 1 0 35026995 9236480 1873 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2255 1873 225 482 0 1771 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 9020 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5054 /proc/meminfo: memFree=1778152/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9020 CPUtime=1181.87 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1960 0 0 0 105838 12349 0 0 25 0 1 0 35026995 9236480 1883 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2255 1883 225 482 0 1771 0 Current children cumulated CPU time (s) 1181.87 Current children cumulated vsize (KiB) 9020 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5054 /proc/meminfo: memFree=1777904/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9020 CPUtime=1241.85 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1962 0 0 0 111222 12963 0 0 25 0 1 0 35026995 9236480 1885 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2255 1885 225 482 0 1771 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 9020 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5056 /proc/meminfo: memFree=1777904/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9020 CPUtime=1301.83 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1962 0 0 0 116598 13585 0 0 25 0 1 0 35026995 9236480 1885 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2255 1885 225 482 0 1771 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 9020 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5058 /proc/meminfo: memFree=1777780/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9148 CPUtime=1361.81 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1993 0 0 0 121978 14203 0 0 25 0 1 0 35026995 9367552 1916 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2287 1916 225 482 0 1803 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 9148 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5060 /proc/meminfo: memFree=1777780/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9148 CPUtime=1421.8 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 1997 0 0 0 127360 14820 0 0 25 0 1 0 35026995 9367552 1920 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2287 1920 225 482 0 1803 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 9148 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5062 /proc/meminfo: memFree=1777780/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9296 CPUtime=1481.77 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 2008 0 0 0 132738 15439 0 0 25 0 1 0 35026995 9519104 1931 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2324 1931 225 482 0 1840 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 9296 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5062 /proc/meminfo: memFree=1777656/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9296 CPUtime=1541.74 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 2013 0 0 0 138113 16061 0 0 25 0 1 0 35026995 9519104 1936 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2324 1936 225 482 0 1840 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 9296 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5064 /proc/meminfo: memFree=1777656/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9296 CPUtime=1601.72 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 2013 0 0 0 143506 16666 0 0 25 0 1 0 35026995 9519104 1936 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2324 1936 225 482 0 1840 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 9296 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5066 /proc/meminfo: memFree=1777656/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9296 CPUtime=1661.7 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 2013 0 0 0 148899 17271 0 0 25 0 1 0 35026995 9519104 1936 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2324 1936 225 482 0 1840 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 9296 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5068 /proc/meminfo: memFree=1777532/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9296 CPUtime=1721.68 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 2036 0 0 0 154273 17895 0 0 25 0 1 0 35026995 9519104 1959 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2324 1959 225 482 0 1840 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 9296 [startup+1782.3 s] /proc/loadavg: 1.06 1.01 1.00 2/107 5070 /proc/meminfo: memFree=1777284/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9296 CPUtime=1781.66 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 2037 0 0 0 159651 18515 0 0 25 0 1 0 35026995 9519104 1960 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2324 1960 225 482 0 1840 0 Current children cumulated CPU time (s) 1781.66 Current children cumulated vsize (KiB) 9296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.04 1.01 1.00 2/107 5070 /proc/meminfo: memFree=1777284/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9296 CPUtime=1800.07 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 2037 0 0 0 161304 18703 0 0 25 0 1 0 35026995 9519104 1960 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2324 1960 225 482 0 1840 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.04 1.01 1.00 2/107 5070 /proc/meminfo: memFree=1777284/2059040 swapFree=4140448/4192956 [pid=5012] ppid=5010 vsize=9296 CPUtime=1800.07 /proc/5012/stat : 5012 (pbct) R 5010 5012 4987 0 -1 4202496 2037 0 0 0 161304 18703 0 0 25 0 1 0 35026995 9519104 1960 1992294400 134512640 136485738 4292520944 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5012/statm: 2324 1960 225 482 0 1840 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 9296 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.08 CPU user time (s): 1613.04 CPU system time (s): 187.041 CPU usage (%): 99.9648 Max. virtual memory (cumulated for all children) (KiB): 9296 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1613.04 system time used= 187.041 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2037 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2 involuntary context switches= 5793 runsolver used 3.2785 second user time and 8.20075 second system time The end
Begin job on node019 at 2010-06-15 16:55:07 IDJOB=2668393 IDBENCH=2915 IDSOLVER=1170 FILE ID=node019/2668393-1276613707 PBS_JOBID= 11172293 Free space on /tmp= 62416 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_6_50_2.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668393-1276613707/watcher-2668393-1276613707 -o /tmp/evaluation-result-2668393-1276613707/solver-2668393-1276613707 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668393-1276613707.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 25ec3c4431eaa97f8c8dfc7dcac7b55c RANDOM SEED=458466598 node019.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.52 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.264 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1786500 kB Buffers: 56840 kB Cached: 126188 kB SwapCached: 6072 kB Active: 89708 kB Inactive: 106576 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1786500 kB SwapTotal: 4192956 kB SwapFree: 4140448 kB Dirty: 2104 kB Writeback: 0 kB AnonPages: 11512 kB Mapped: 13112 kB Slab: 54572 kB PageTables: 4084 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181636 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= 62412 MiB End job on node019 at 2010-06-15 17:25:09