Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 | ? (MO) | 1543.47 | 1544.08 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb |
MD5SUM | 80cd942b10c7098d47a9e31c7b11aaed |
Bench Category | OPT-BIGINT (optimisation, big 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 | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 24751 |
Total number of constraints | 73261 |
Number of constraints which are clauses | 73260 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 24420 |
Number of terms in the objective function | 111 |
Biggest coefficient in the objective function | 1298074214633706907132624082305024 |
Number of bits for the biggest coefficient in the objective function | 111 |
Sum of the numbers in the objective function | 2596148429267413814265248164610047 |
Number of bits of the sum of numbers in the objective function | 111 |
Biggest number in a constraint | 1093625362391505962186251113558810682676584715446606218212885303204976499599687961611756588511526912 |
Number of bits of the biggest number in a constraint | 330 |
Biggest sum of numbers in a constraint | 4374501449566023848745004454235241283418574603663113591819857963636207601588942656194290280593199415 |
Number of bits of the biggest sum of numbers | 331 |
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.99/1.01 c constraints 1/0 clauses 73260/0 units 0 0.99/1.01 c vars 24751 0.99/1.01 c objective 111 + -2596148429267413814265248164610047 1543.28/1543.90 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-2668800-1276624228/watcher-2668800-1276624228 -o /tmp/evaluation-result-2668800-1276624228/solver-2668800-1276624228 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668800-1276624228.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 2/106 5832 /proc/meminfo: memFree=1907556/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=2208 CPUtime=0 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 257 0 0 0 0 0 0 0 20 0 1 0 38026253 2260992 180 1992294400 134512640 136485738 4288563680 18446744073709551615 135332318 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5832/statm: 552 180 156 482 0 68 0 [startup+0.0424559 s] /proc/loadavg: 1.00 1.00 1.00 2/106 5832 /proc/meminfo: memFree=1907556/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=2340 CPUtime=0.04 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 283 0 0 0 4 0 0 0 20 0 1 0 38026253 2396160 206 1992294400 134512640 136485738 4288563680 18446744073709551615 134549123 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5832/statm: 585 206 156 482 0 101 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2340 [startup+0.100466 s] /proc/loadavg: 1.00 1.00 1.00 2/106 5832 /proc/meminfo: memFree=1907556/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=2472 CPUtime=0.09 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 333 0 0 0 9 0 0 0 20 0 1 0 38026253 2531328 256 1992294400 134512640 136485738 4288563680 18446744073709551615 135849275 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5832/statm: 618 256 156 482 0 134 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2472 [startup+0.300502 s] /proc/loadavg: 1.00 1.00 1.00 2/106 5832 /proc/meminfo: memFree=1907556/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=3132 CPUtime=0.29 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 481 0 0 0 29 0 0 0 20 0 1 0 38026253 3207168 404 1992294400 134512640 136485738 4288563680 18446744073709551615 135856849 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5832/statm: 783 404 156 482 0 299 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3132 [startup+0.700576 s] /proc/loadavg: 1.00 1.00 1.00 2/106 5832 /proc/meminfo: memFree=1907556/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=4316 CPUtime=0.69 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 821 0 0 0 69 0 0 0 21 0 1 0 38026253 4419584 711 1992294400 134512640 136485738 4288563680 18446744073709551615 134524809 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/5832/statm: 1079 711 156 482 0 595 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4316 [startup+1.50072 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5833 /proc/meminfo: memFree=1902340/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=58840 CPUtime=1.49 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 14497 0 0 0 143 6 0 0 23 0 1 0 38026253 60252160 14225 1992294400 134512640 136485738 4288563680 18446744073709551615 135850441 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 14710 14227 194 482 0 14226 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 58840 [startup+3.10102 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5833 /proc/meminfo: memFree=1792724/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=191052 CPUtime=3.09 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 49809 0 0 0 287 22 0 0 25 0 1 0 38026253 195637248 46654 1992294400 134512640 136485738 4288563680 18446744073709551615 136086046 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 47796 46655 198 482 0 47312 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 191052 [startup+6.30061 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5833 /proc/meminfo: memFree=1577088/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=340860 CPUtime=6.29 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 88924 0 0 0 588 41 0 0 25 0 1 0 38026253 349040640 82669 1992294400 134512640 136485738 4288563680 18446744073709551615 134878726 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 85215 82669 227 482 0 84731 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 340860 [startup+12.7008 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5833 /proc/meminfo: memFree=1574360/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=343536 CPUtime=12.69 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 89600 0 0 0 1228 41 0 0 25 0 1 0 38026253 351780864 83345 1992294400 134512640 136485738 4288563680 18446744073709551615 134878712 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 85884 83345 227 482 0 85400 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 343536 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5833 /proc/meminfo: memFree=1565432/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=352812 CPUtime=25.49 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 91895 0 0 0 2504 45 0 0 25 0 1 0 38026253 361279488 85640 1992294400 134512640 136485738 4288563680 18446744073709551615 135028869 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 88203 85640 228 482 0 87719 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 352812 [startup+51.1009 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5833 /proc/meminfo: memFree=1508144/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=410564 CPUtime=51.07 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 106250 0 0 0 5042 65 0 0 25 0 1 0 38026253 420417536 99995 1992294400 134512640 136485738 4288563680 18446744073709551615 135192987 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 102641 99995 228 482 0 102157 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 410564 [startup+102.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5835 /proc/meminfo: memFree=1419856/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=498356 CPUtime=102.26 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 128097 0 0 0 10132 94 0 0 25 0 1 0 38026253 510316544 121842 1992294400 134512640 136485738 4288563680 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 124589 121842 228 482 0 124105 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 498356 [startup+162.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5837 /proc/meminfo: memFree=1311108/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=610344 CPUtime=162.22 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 155617 0 0 0 16109 113 0 0 25 0 1 0 38026253 624992256 149362 1992294400 134512640 136485738 4288563680 18446744073709551615 135185407 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 152586 149362 228 482 0 152102 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 610344 [startup+222.302 s] /proc/loadavg: 1.08 1.02 1.01 2/107 5839 /proc/meminfo: memFree=1219224/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=702468 CPUtime=222.21 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 178397 0 0 0 22078 143 0 0 25 0 1 0 38026253 719327232 172142 1992294400 134512640 136485738 4288563680 18446744073709551615 135039472 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 175617 172142 228 482 0 175133 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 702468 [startup+282.302 s] /proc/loadavg: 1.03 1.01 1.00 2/107 5841 /proc/meminfo: memFree=1128456/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=791560 CPUtime=282.18 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 200798 0 0 0 28052 166 0 0 25 0 1 0 38026253 810557440 194543 1992294400 134512640 136485738 4288563680 18446744073709551615 134878726 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 197890 194543 228 482 0 197406 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 791560 [startup+342.301 s] /proc/loadavg: 1.01 1.00 1.00 2/107 5841 /proc/meminfo: memFree=1098944/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=820740 CPUtime=342.15 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 208125 0 0 0 34046 169 0 0 25 0 1 0 38026253 840437760 201870 1992294400 134512640 136485738 4288563680 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 205185 201870 228 482 0 204701 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 820740 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5843 /proc/meminfo: memFree=1081212/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=838532 CPUtime=402.14 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 212558 0 0 0 40043 171 0 0 25 0 1 0 38026253 858656768 206303 1992294400 134512640 136485738 4288563680 18446744073709551615 135039472 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 209633 206303 228 482 0 209149 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 838532 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5845 /proc/meminfo: memFree=1033348/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=886224 CPUtime=462.11 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 224498 0 0 0 46033 178 0 0 25 0 1 0 38026253 907493376 218243 1992294400 134512640 136485738 4288563680 18446744073709551615 135039472 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 221556 218243 228 482 0 221072 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 886224 [startup+522.302 s] /proc/loadavg: 1.03 1.01 1.00 2/107 5847 /proc/meminfo: memFree=1002100/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=917748 CPUtime=522.09 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 232368 0 0 0 52027 182 0 0 25 0 1 0 38026253 939773952 226113 1992294400 134512640 136485738 4288563680 18446744073709551615 134878465 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 229437 226113 228 482 0 228953 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 917748 [startup+582.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 5849 /proc/meminfo: memFree=970604/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=948740 CPUtime=582.07 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 240122 0 0 0 58022 185 0 0 25 0 1 0 38026253 971509760 233867 1992294400 134512640 136485738 4288563680 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 237185 233867 228 482 0 236701 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 948740 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5858 /proc/meminfo: memFree=843692/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1074904 CPUtime=642.04 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 271557 0 0 0 63981 223 0 0 25 0 1 0 38026253 1100701696 265302 1992294400 134512640 136485738 4288563680 18446744073709551615 135860656 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 268726 265302 228 482 0 268242 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 1074904 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5860 /proc/meminfo: memFree=725148/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1195240 CPUtime=702 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 301480 0 0 0 69952 248 0 0 25 0 1 0 38026253 1223925760 295225 1992294400 134512640 136485738 4288563680 18446744073709551615 134880603 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 298810 295225 228 482 0 298326 0 Current children cumulated CPU time (s) 702 Current children cumulated vsize (KiB) 1195240 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5862 /proc/meminfo: memFree=634256/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1285132 CPUtime=761.99 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 323809 0 0 0 75922 277 0 0 25 0 1 0 38026253 1315975168 317554 1992294400 134512640 136485738 4288563680 18446744073709551615 134878449 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 321283 317554 228 482 0 320799 0 Current children cumulated CPU time (s) 761.99 Current children cumulated vsize (KiB) 1285132 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5864 /proc/meminfo: memFree=514596/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1406928 CPUtime=821.97 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 354074 0 0 0 81877 320 0 0 25 0 1 0 38026253 1440694272 347819 1992294400 134512640 136485738 4288563680 18446744073709551615 135039472 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 351732 347819 228 482 0 351248 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 1406928 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5866 /proc/meminfo: memFree=423084/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1498588 CPUtime=881.94 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 376854 0 0 0 87859 335 0 0 25 0 1 0 38026253 1534554112 370599 1992294400 134512640 136485738 4288563680 18446744073709551615 135028854 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 374647 370599 228 482 0 374163 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 1498588 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5866 /proc/meminfo: memFree=333432/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1589024 CPUtime=941.92 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 399092 0 0 0 93845 347 0 0 25 0 1 0 38026253 1627160576 392837 1992294400 134512640 136485738 4288563680 18446744073709551615 135186832 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 397256 392837 228 482 0 396772 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 1589024 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5868 /proc/meminfo: memFree=304416/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1618672 CPUtime=1001.89 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 406230 0 0 0 99839 350 0 0 25 0 1 0 38026253 1657520128 399975 1992294400 134512640 136485738 4288563680 18446744073709551615 134878465 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 404668 399975 228 482 0 404184 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 1618672 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5870 /proc/meminfo: memFree=276516/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1647760 CPUtime=1061.87 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 413231 0 0 0 105834 353 0 0 25 0 1 0 38026253 1687306240 406976 1992294400 134512640 136485738 4288563680 18446744073709551615 135856846 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 411940 406976 228 482 0 411456 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 1647760 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5872 /proc/meminfo: memFree=253948/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1671004 CPUtime=1121.84 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 418795 0 0 0 111829 355 0 0 25 0 1 0 38026253 1711108096 412540 1992294400 134512640 136485738 4288563680 18446744073709551615 134878449 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 417751 412540 228 482 0 417267 0 Current children cumulated CPU time (s) 1121.84 Current children cumulated vsize (KiB) 1671004 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5874 /proc/meminfo: memFree=232248/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1694276 CPUtime=1181.83 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 424351 0 0 0 117825 358 0 0 25 0 1 0 38026253 1734938624 418096 1992294400 134512640 136485738 4288563680 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 423569 418096 228 482 0 423085 0 Current children cumulated CPU time (s) 1181.83 Current children cumulated vsize (KiB) 1694276 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5874 /proc/meminfo: memFree=207820/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1718896 CPUtime=1241.8 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 430294 0 0 0 123819 361 0 0 25 0 1 0 38026253 1760149504 424039 1992294400 134512640 136485738 4288563680 18446744073709551615 134878360 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 429724 424039 228 482 0 429240 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 1718896 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5876 /proc/meminfo: memFree=187236/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1739692 CPUtime=1301.78 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 435350 0 0 0 129815 363 0 0 25 0 1 0 38026253 1781444608 429095 1992294400 134512640 136485738 4288563680 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 434923 429095 228 482 0 434439 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 1739692 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5878 /proc/meminfo: memFree=167272/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1760136 CPUtime=1361.75 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 440334 0 0 0 135811 364 0 0 25 0 1 0 38026253 1802379264 434079 1992294400 134512640 136485738 4288563680 18446744073709551615 134878715 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 440034 434079 228 482 0 439550 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 1760136 [startup+1422.31 s] /proc/loadavg: 1.05 1.01 1.00 2/107 5883 /proc/meminfo: memFree=104356/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1782624 CPUtime=1421.74 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 445861 0 0 0 141807 367 0 0 25 0 1 0 38026253 1825406976 439606 1992294400 134512640 136485738 4288563680 18446744073709551615 134878471 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 445656 439606 228 482 0 445172 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 1782624 [startup+1482.3 s] /proc/loadavg: 1.02 1.01 1.00 2/107 5885 /proc/meminfo: memFree=89724/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1797588 CPUtime=1481.71 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 449527 0 0 0 147802 369 0 0 25 0 1 0 38026253 1840730112 443272 1992294400 134512640 136485738 4288563680 18446744073709551615 134878460 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 449397 443272 228 482 0 448913 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 1797588 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5885 /proc/meminfo: memFree=45952/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1840216 CPUtime=1541.68 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 460555 0 0 0 153783 385 0 0 25 0 1 0 38026253 1884381184 454300 1992294400 134512640 136485738 4288563680 18446744073709551615 134880626 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 460054 454300 228 482 0 459570 0 Current children cumulated CPU time (s) 1541.68 Current children cumulated vsize (KiB) 1840216 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1543.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5885 /proc/meminfo: memFree=42604/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=1843216 CPUtime=1543.28 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4202496 461294 0 0 0 153943 385 0 0 25 0 1 0 38026253 1887453184 455039 1992294400 134512640 136485738 4288563680 18446744073709551615 134880611 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/5832/statm: 460804 455039 228 482 0 460320 0 Current children cumulated CPU time (s) 1543.28 Current children cumulated vsize (KiB) 1843216 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1544.01 s] /proc/loadavg: 1.00 1.00 1.00 2/107 5885 /proc/meminfo: memFree=42604/2059040 swapFree=4140132/4192956 [pid=5832] ppid=5830 vsize=0 CPUtime=1543.38 /proc/5832/stat : 5832 (pbct) R 5830 5832 5668 0 -1 4194308 461294 0 0 0 153943 395 0 0 25 0 1 0 38026253 0 0 1992294400 0 0 0 0 0 0 16384 4096 16387 18446744073709551615 0 0 17 1 0 0 0 /proc/5832/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1543.38 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1544.08 CPU time (s): 1543.47 CPU user time (s): 1539.44 CPU system time (s): 4.03039 CPU usage (%): 99.9604 Max. virtual memory (cumulated for all children) (KiB): 1843216 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1539.44 system time used= 4.03039 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461294 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= 18412 runsolver used 2.57361 second user time and 7.2649 second system time The end
Begin job on node007 at 2010-06-15 19:50:28 IDJOB=2668800 IDBENCH=2963 IDSOLVER=1170 FILE ID=node007/2668800-1276624228 PBS_JOBID= 11172342 Free space on /tmp= 62484 MiB SOLVER NAME= PB/CT 0.1 BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=220-sizeP=111-sizeQ=220-687342390-max.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2668800-1276624228/watcher-2668800-1276624228 -o /tmp/evaluation-result-2668800-1276624228/solver-2668800-1276624228 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2668800-1276624228.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 80cd942b10c7098d47a9e31c7b11aaed RANDOM SEED=1707923522 node007.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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1908208 kB Buffers: 4196 kB Cached: 59176 kB SwapCached: 6424 kB Active: 42568 kB Inactive: 34256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1908208 kB SwapTotal: 4192956 kB SwapFree: 4140132 kB Dirty: 5252 kB Writeback: 0 kB AnonPages: 11784 kB Mapped: 13008 kB Slab: 52248 kB PageTables: 4016 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180752 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= 62484 MiB End job on node007 at 2010-06-15 20:16:14