Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (TO) | 1800.08 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb |
MD5SUM | 1d88cb7e119c66203d260e6c8e2ab364 |
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 | 0.900862 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 216 |
Total number of constraints | 17 |
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 | 17 |
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) | 648 |
Sum of products size (including duplicates) | 1296 |
Number of different products | 648 |
Sum of products size | 1296 |
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.01 c constraints 656/0 clauses 657/0 units 0 0.00/0.01 c vars 216 0.00/0.01 c objective 9 + 0 1800.06/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-2667892-1276647990/watcher-2667892-1276647990 -o /tmp/evaluation-result-2667892-1276647990/solver-2667892-1276647990 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2667892-1276647990.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 14099 /proc/meminfo: memFree=1803260/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=2340 CPUtime=0 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 295 0 0 0 0 0 0 0 25 0 1 0 6092708 2396160 218 1992294400 134512640 136485738 4288162464 18446744073709551615 135850441 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/14099/statm: 585 218 156 482 0 101 0 [startup+0.0881749 s] /proc/loadavg: 0.92 0.98 0.99 3/106 14099 /proc/meminfo: memFree=1803260/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=9244 CPUtime=0.08 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 2018 0 0 0 8 0 0 0 25 0 1 0 6092708 9465856 1941 1992294400 134512640 136485738 4288162464 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 2311 1942 198 482 0 1827 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 9244 [startup+0.101177 s] /proc/loadavg: 0.92 0.98 0.99 3/106 14099 /proc/meminfo: memFree=1803260/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=10372 CPUtime=0.09 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 2254 0 0 0 9 0 0 0 25 0 1 0 6092708 10620928 2177 1992294400 134512640 136485738 4288162464 18446744073709551615 135689025 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 2593 2178 198 482 0 2109 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 10372 [startup+0.301197 s] /proc/loadavg: 0.92 0.98 0.99 3/106 14099 /proc/meminfo: memFree=1803260/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=20736 CPUtime=0.3 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 4841 0 0 0 27 3 0 0 25 0 1 0 6092708 21233664 4764 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 5184 4764 227 482 0 4700 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 20736 [startup+0.700239 s] /proc/loadavg: 0.92 0.98 0.99 3/106 14099 /proc/meminfo: memFree=1803260/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=21768 CPUtime=0.69 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 5103 0 0 0 63 6 0 0 25 0 1 0 6092708 22290432 5026 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 5442 5026 227 482 0 4958 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 21768 [startup+1.50032 s] /proc/loadavg: 0.92 0.98 0.99 2/107 14100 /proc/meminfo: memFree=1783536/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=22544 CPUtime=1.49 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 5285 0 0 0 134 15 0 0 25 0 1 0 6092708 23085056 5208 1992294400 134512640 136485738 4288162464 18446744073709551615 135037649 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 5636 5208 227 482 0 5152 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 22544 [startup+3.10049 s] /proc/loadavg: 0.93 0.98 0.99 2/107 14100 /proc/meminfo: memFree=1782784/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=23072 CPUtime=3.09 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 5431 0 0 0 277 32 0 0 25 0 1 0 6092708 23625728 5354 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 5768 5354 227 482 0 5284 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23072 [startup+6.30082 s] /proc/loadavg: 0.93 0.98 0.99 2/107 14100 /proc/meminfo: memFree=1780924/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=24496 CPUtime=6.29 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 5774 0 0 0 566 63 0 0 25 0 1 0 6092708 25083904 5697 1992294400 134512640 136485738 4288162464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 6124 5697 227 482 0 5640 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24496 [startup+12.7015 s] /proc/loadavg: 0.93 0.98 0.99 3/107 14100 /proc/meminfo: memFree=1779196/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=26176 CPUtime=12.69 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 6200 0 0 0 1147 122 0 0 25 0 1 0 6092708 26804224 6123 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 6544 6123 227 482 0 6060 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26176 [startup+25.5018 s] /proc/loadavg: 0.95 0.98 0.99 2/107 14102 /proc/meminfo: memFree=1777708/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=27856 CPUtime=25.48 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 6609 0 0 0 2360 188 0 0 25 0 1 0 6092708 28524544 6532 1992294400 134512640 136485738 4288162464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 6964 6532 227 482 0 6480 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 27856 [startup+51.1015 s] /proc/loadavg: 0.96 0.98 0.99 2/107 14102 /proc/meminfo: memFree=1776716/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=28676 CPUtime=51.08 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 6821 0 0 0 4774 334 0 0 25 0 1 0 6092708 29364224 6744 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 7169 6744 227 482 0 6685 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 28676 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 14104 /proc/meminfo: memFree=1772128/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=33316 CPUtime=102.27 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 7951 0 0 0 9592 635 0 0 25 0 1 0 6092708 34115584 7874 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 8329 7874 227 482 0 7845 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 33316 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14104 /proc/meminfo: memFree=1770640/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=34728 CPUtime=162.24 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 8284 0 0 0 15275 949 0 0 25 0 1 0 6092708 35561472 8207 1992294400 134512640 136485738 4288162464 18446744073709551615 134880611 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 8682 8207 227 482 0 8198 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 34728 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14106 /proc/meminfo: memFree=1769152/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=36428 CPUtime=222.23 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 8686 0 0 0 20991 1232 0 0 25 0 1 0 6092708 37302272 8609 1992294400 134512640 136485738 4288162464 18446744073709551615 135725226 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 9107 8609 227 482 0 8623 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 36428 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14108 /proc/meminfo: memFree=1768284/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=37216 CPUtime=282.21 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 8893 0 0 0 26605 1616 0 0 25 0 1 0 6092708 38109184 8816 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 9304 8816 227 482 0 8820 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 37216 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14110 /proc/meminfo: memFree=1765308/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=40216 CPUtime=342.19 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 9619 0 0 0 32275 1944 0 0 25 0 1 0 6092708 41181184 9542 1992294400 134512640 136485738 4288162464 18446744073709551615 134880510 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 10054 9542 227 482 0 9570 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 40216 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14112 /proc/meminfo: memFree=1765184/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=40216 CPUtime=402.17 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 9643 0 0 0 38027 2190 0 0 25 0 1 0 6092708 41181184 9566 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 10054 9566 227 482 0 9570 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 40216 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14112 /proc/meminfo: memFree=1764688/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=40756 CPUtime=462.15 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 9766 0 0 0 43732 2483 0 0 25 0 1 0 6092708 41734144 9689 1992294400 134512640 136485738 4288162464 18446744073709551615 134880512 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 10189 9689 227 482 0 9705 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 40756 [startup+522.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14117 /proc/meminfo: memFree=1762952/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=42044 CPUtime=522.14 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 10043 0 0 0 49421 2793 0 0 25 0 1 0 6092708 43053056 9966 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 10511 9966 227 482 0 10027 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 42044 [startup+582.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14119 /proc/meminfo: memFree=1762084/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=43036 CPUtime=582.11 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 10310 0 0 0 55143 3068 0 0 25 0 1 0 6092708 44068864 10233 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 10759 10233 227 482 0 10275 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 43036 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14121 /proc/meminfo: memFree=1760720/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=44676 CPUtime=642.1 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 10651 0 0 0 60864 3346 0 0 25 0 1 0 6092708 45748224 10574 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 11169 10574 227 482 0 10685 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 44676 [startup+702.301 s] ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14125 /proc/meminfo: memFree=1756752/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=49156 CPUtime=822.05 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 11658 0 0 0 78070 4135 0 0 25 0 1 0 6092708 50335744 11581 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 12289 11581 227 482 0 11805 0 Current children cumulated CPU time (s) 822.05 Current children cumulated vsize (KiB) 49156 [startup+882.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14127 /proc/meminfo: memFree=1755636/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=50508 CPUtime=882.03 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 11977 0 0 0 83781 4422 0 0 25 0 1 0 6092708 51720192 11900 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 12627 11900 227 482 0 12143 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 50508 [startup+942.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14129 /proc/meminfo: memFree=1755388/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=50508 CPUtime=942 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 11991 0 0 0 89478 4722 0 0 25 0 1 0 6092708 51720192 11914 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 12627 11914 227 482 0 12143 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 50508 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14131 /proc/meminfo: memFree=1755264/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=50508 CPUtime=1001.99 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 11991 0 0 0 95212 4987 0 0 25 0 1 0 6092708 51720192 11914 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 12627 11914 227 482 0 12143 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 50508 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14131 /proc/meminfo: memFree=1755264/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=50652 CPUtime=1061.97 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 12008 0 0 0 100931 5266 0 0 25 0 1 0 6092708 51867648 11931 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 12663 11931 227 482 0 12179 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 50652 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14133 /proc/meminfo: memFree=1754148/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=51668 CPUtime=1121.95 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 12271 0 0 0 106662 5533 0 0 25 0 1 0 6092708 52908032 12194 1992294400 134512640 136485738 4288162464 18446744073709551615 134880631 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 12917 12194 227 482 0 12433 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 51668 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14135 /proc/meminfo: memFree=1754024/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=51820 CPUtime=1181.93 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 12296 0 0 0 112433 5760 0 0 25 0 1 0 6092708 53063680 12219 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 12955 12219 227 482 0 12471 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 51820 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14137 /proc/meminfo: memFree=1753652/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=51960 CPUtime=1241.91 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 12331 0 0 0 118192 5999 0 0 25 0 1 0 6092708 53207040 12254 1992294400 134512640 136485738 4288162464 18446744073709551615 134876184 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 12990 12254 227 482 0 12506 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 51960 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14139 /proc/meminfo: memFree=1753528/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=51960 CPUtime=1301.9 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 12343 0 0 0 123921 6269 0 0 25 0 1 0 6092708 53207040 12266 1992294400 134512640 136485738 4288162464 18446744073709551615 134880607 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 12990 12266 227 482 0 12506 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 51960 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14139 /proc/meminfo: memFree=1753404/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=52244 CPUtime=1361.88 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 12386 0 0 0 129689 6499 0 0 25 0 1 0 6092708 53497856 12309 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 13061 12309 227 482 0 12577 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 52244 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14141 /proc/meminfo: memFree=1753280/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=52404 CPUtime=1421.87 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 12446 0 0 0 135442 6745 0 0 25 0 1 0 6092708 53661696 12369 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 13101 12369 227 482 0 12617 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 52404 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14143 /proc/meminfo: memFree=1753280/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=52404 CPUtime=1481.84 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 12447 0 0 0 141195 6989 0 0 25 0 1 0 6092708 53661696 12370 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 13101 12370 227 482 0 12617 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 52404 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14145 /proc/meminfo: memFree=1752908/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=52972 CPUtime=1541.82 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 12560 0 0 0 146956 7226 0 0 25 0 1 0 6092708 54243328 12483 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 13243 12483 227 482 0 12759 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 52972 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14147 /proc/meminfo: memFree=1752660/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=52972 CPUtime=1601.81 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 12579 0 0 0 152701 7480 0 0 25 0 1 0 6092708 54243328 12502 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 13243 12502 227 482 0 12759 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 52972 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14147 /proc/meminfo: memFree=1752040/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=53548 CPUtime=1661.79 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 12715 0 0 0 158404 7775 0 0 25 0 1 0 6092708 54833152 12638 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 13387 12638 227 482 0 12903 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 53548 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14149 /proc/meminfo: memFree=1751420/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=54416 CPUtime=1721.78 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 12895 0 0 0 164118 8060 0 0 25 0 1 0 6092708 55721984 12818 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 13604 12818 227 482 0 13120 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 54416 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14151 /proc/meminfo: memFree=1749808/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=55784 CPUtime=1781.75 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 13200 0 0 0 169878 8297 0 0 25 0 1 0 6092708 57122816 13123 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 13946 13123 227 482 0 13462 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 55784 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.98 0.99 2/107 14151 /proc/meminfo: memFree=1749684/2059040 swapFree=4175448/4192956 [pid=14099] ppid=14097 vsize=55976 CPUtime=1800.06 /proc/14099/stat : 14099 (pbct) R 14097 14099 13785 0 -1 4202496 13242 0 0 0 171640 8366 0 0 25 0 1 0 6092708 57319424 13165 1992294400 134512640 136485738 4288162464 18446744073709551615 135913329 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/14099/statm: 13994 13165 227 482 0 13510 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 55976 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.08 CPU user time (s): 1716.41 CPU system time (s): 83.6743 CPU usage (%): 99.9699 Max. virtual memory (cumulated for all children) (KiB): 55976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1716.41 system time used= 83.6743 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13242 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= 4600 runsolver used 2.77858 second user time and 8.69968 second system time The end
Begin job on node083 at 2010-06-16 02:26:30 IDJOB=2667892 IDBENCH=47975 IDSOLVER=1170 FILE ID=node083/2667892-1276647990 PBS_JOBID= 11172444 Free space on /tmp= 62552 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=383-P1=149-P2=409-P3=307-P4=127-P5=191-P6=227-P7=281-P8=211-B.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2667892-1276647990/watcher-2667892-1276647990 -o /tmp/evaluation-result-2667892-1276647990/solver-2667892-1276647990 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2667892-1276647990.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1d88cb7e119c66203d260e6c8e2ab364 RANDOM SEED=1449182677 node083.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.262 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.262 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1803664 kB Buffers: 21144 kB Cached: 102228 kB SwapCached: 13528 kB Active: 86632 kB Inactive: 92572 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1803664 kB SwapTotal: 4192956 kB SwapFree: 4175448 kB Dirty: 2028 kB Writeback: 0 kB AnonPages: 42272 kB Mapped: 14308 kB Slab: 54376 kB PageTables: 3964 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181012 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= 62552 MiB End job on node083 at 2010-06-16 02:56:32