Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB/CT 0.1 fixed | ? (TO) | 1800.12 | 1800.61 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_50_2__8_45__512.opb |
MD5SUM | d0ffef5b15f9518c13edbe4c212527f5 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 45008 |
Best CPU time to get the best result obtained on this benchmark | 15.8036 |
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 | 51248 |
Total number of constraints | 150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 102 |
Number of constraints which are nor clauses,nor cardinality constraints | 48 |
Minimum length of a constraint | 512 |
Maximum length of a constraint | 4609 |
Number of terms in the objective function | 51200 |
Biggest coefficient in the objective function | 126454 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 1718545920 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 126454 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 1718545920 |
Number of bits of the biggest sum of numbers | 31 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PB/CT 0.1.1 http://www.residual.se/pbct 0.00/0.00 c Based on OpenSMT/CT 20091015 0.59/0.63 c constraints 150/0 clauses 0/0 units 0 0.59/0.63 c vars 51248 0.59/0.63 c objective 51200 + 0 1800.01/1800.50 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-2683097-1277506740/watcher-2683097-1277506740 -o /tmp/evaluation-result-2683097-1277506740/solver-2683097-1277506740 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2683097-1277506740.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.95 0.98 0.99 2/106 25258 /proc/meminfo: memFree=1813504/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=2416 CPUtime=0 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 294 0 0 0 0 0 0 0 23 0 1 0 126277717 2473984 213 1992294400 134512640 136421960 4291491248 18446744073709551615 135160329 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25258/statm: 604 213 135 467 0 135 0 [startup+0.0918611 s] /proc/loadavg: 0.95 0.98 0.99 2/106 25258 /proc/meminfo: memFree=1813504/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=5864 CPUtime=0.08 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 1300 0 0 0 8 0 0 0 23 0 1 0 126277717 6004736 846 1992294400 134512640 136421960 4291491248 18446744073709551615 135372727 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25258/statm: 1466 847 135 467 0 997 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 5864 [startup+0.101861 s] /proc/loadavg: 0.95 0.98 0.99 2/106 25258 /proc/meminfo: memFree=1813504/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=5864 CPUtime=0.09 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 1338 0 0 0 9 0 0 0 23 0 1 0 126277717 6004736 884 1992294400 134512640 136421960 4291491248 18446744073709551615 135154820 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25258/statm: 1466 884 135 467 0 997 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5864 [startup+0.300884 s] /proc/loadavg: 0.95 0.98 0.99 2/106 25258 /proc/meminfo: memFree=1813504/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=9236 CPUtime=0.29 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 2140 0 0 0 29 0 0 0 23 0 1 0 126277717 9457664 1686 1992294400 134512640 136421960 4291491248 18446744073709551615 135818456 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/25258/statm: 2309 1686 141 467 0 1840 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9236 [startup+0.70093 s] /proc/loadavg: 0.95 0.98 0.99 2/106 25258 /proc/meminfo: memFree=1813504/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=26108 CPUtime=0.69 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 6091 0 0 0 66 3 0 0 25 0 1 0 126277717 26734592 5637 1992294400 134512640 136421960 4291491248 18446744073709551615 134632331 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 6527 5637 193 467 0 6058 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 26108 [startup+1.50102 s] /proc/loadavg: 0.95 0.98 0.99 2/107 25259 /proc/meminfo: memFree=1763524/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=91560 CPUtime=1.49 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 22633 0 0 0 140 9 0 0 25 0 1 0 126277717 93757440 21664 1992294400 134512640 136421960 4291491248 18446744073709551615 135811817 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 22890 21665 193 467 0 22421 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 91560 [startup+3.10119 s] /proc/loadavg: 0.95 0.98 0.99 2/107 25259 /proc/meminfo: memFree=1687140/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=199308 CPUtime=3.09 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 51105 0 0 0 287 22 0 0 25 0 1 0 126277717 204091392 48530 1992294400 134512640 136421960 4291491248 18446744073709551615 135503330 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 49827 48531 193 467 0 49358 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 199308 [startup+6.30155 s] /proc/loadavg: 0.96 0.98 0.99 2/107 25259 /proc/meminfo: memFree=1478200/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=400876 CPUtime=6.29 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 105541 0 0 0 582 47 0 0 25 0 1 0 126277717 410497024 99248 1992294400 134512640 136421960 4291491248 18446744073709551615 134707209 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 100219 99249 193 467 0 99750 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 400876 [startup+12.7013 s] /proc/loadavg: 0.96 0.98 0.99 2/107 25259 /proc/meminfo: memFree=896888/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=952220 CPUtime=12.68 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 250319 0 0 0 1163 105 0 0 25 0 1 0 126277717 975073280 231777 1992294400 134512640 136421960 4291491248 18446744073709551615 134929592 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 238055 231777 203 467 0 237586 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 952220 [startup+25.5017 s] /proc/loadavg: 0.97 0.98 0.99 2/107 25259 /proc/meminfo: memFree=833028/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1007912 CPUtime=25.48 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265219 0 0 0 2295 253 0 0 25 0 1 0 126277717 1032101888 244742 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 251978 244742 216 467 0 251509 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 1007912 [startup+51.1015 s] /proc/loadavg: 0.98 0.98 0.99 2/107 25261 /proc/meminfo: memFree=832780/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1008044 CPUtime=51.08 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265254 0 0 0 4514 594 0 0 25 0 1 0 126277717 1032237056 244777 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252011 244777 216 467 0 251542 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 1008044 [startup+102.309 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25261 /proc/meminfo: memFree=831788/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1008704 CPUtime=102.27 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265486 0 0 0 8990 1237 0 0 25 0 1 0 126277717 1032912896 245009 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252176 245009 216 467 0 251707 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 1008704 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25272 /proc/meminfo: memFree=830920/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1008704 CPUtime=162.24 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265486 0 0 0 14292 1932 0 0 25 0 1 0 126277717 1032912896 245009 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252176 245009 216 467 0 251707 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 1008704 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25274 /proc/meminfo: memFree=830920/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1008704 CPUtime=222.22 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265489 0 0 0 19622 2600 0 0 25 0 1 0 126277717 1032912896 245012 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252176 245012 216 467 0 251707 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 1008704 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25276 /proc/meminfo: memFree=830920/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1008836 CPUtime=282.2 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265531 0 0 0 24925 3295 0 0 25 0 1 0 126277717 1033048064 245054 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252209 245054 216 467 0 251740 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 1008836 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25276 /proc/meminfo: memFree=830920/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1008836 CPUtime=342.19 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265531 0 0 0 30269 3950 0 0 25 0 1 0 126277717 1033048064 245054 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252209 245054 216 467 0 251740 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 1008836 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25278 /proc/meminfo: memFree=830920/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1008836 CPUtime=402.17 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265542 0 0 0 35601 4616 0 0 25 0 1 0 126277717 1033048064 245065 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252209 245065 216 467 0 251740 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 1008836 [startup+462.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25280 /proc/meminfo: memFree=830796/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1008836 CPUtime=462.15 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265542 0 0 0 40938 5277 0 0 25 0 1 0 126277717 1033048064 245065 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252209 245065 216 467 0 251740 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 1008836 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25282 /proc/meminfo: memFree=830796/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1008968 CPUtime=522.14 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265593 0 0 0 46274 5940 0 0 25 0 1 0 126277717 1033183232 245116 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252242 245116 216 467 0 251773 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1008968 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25284 /proc/meminfo: memFree=830672/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009100 CPUtime=582.12 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265599 0 0 0 51610 6602 0 0 25 0 1 0 126277717 1033318400 245122 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252275 245122 216 467 0 251806 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 1009100 [startup+642.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25284 /proc/meminfo: memFree=830548/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009100 CPUtime=642.12 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265599 0 0 0 56951 7261 0 0 25 0 1 0 126277717 1033318400 245122 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252275 245122 216 467 0 251806 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1009100 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25292 /proc/meminfo: memFree=830300/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009232 CPUtime=882.05 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265653 0 0 0 78298 9907 0 0 25 0 1 0 126277717 1033453568 245176 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252308 245176 216 467 0 251839 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1009232 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25295 /proc/meminfo: memFree=829556/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009364 CPUtime=942.03 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265680 0 0 0 83641 10562 0 0 25 0 1 0 126277717 1033588736 245203 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252341 245203 216 467 0 251872 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1009364 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25297 /proc/meminfo: memFree=829556/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009364 CPUtime=1002.01 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265680 0 0 0 88981 11220 0 0 25 0 1 0 126277717 1033588736 245203 1992294400 134512640 136421960 4291491248 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252341 245203 216 467 0 251872 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1009364 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25299 /proc/meminfo: memFree=829556/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009364 CPUtime=1062 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265692 0 0 0 94333 11867 0 0 25 0 1 0 126277717 1033588736 245215 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252341 245215 216 467 0 251872 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1009364 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 3/107 25301 /proc/meminfo: memFree=829556/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009364 CPUtime=1121.98 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265692 0 0 0 99672 12526 0 0 25 0 1 0 126277717 1033588736 245215 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252341 245215 216 467 0 251872 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 1009364 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25303 /proc/meminfo: memFree=829556/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009496 CPUtime=1181.97 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265708 0 0 0 105024 13173 0 0 25 0 1 0 126277717 1033723904 245231 1992294400 134512640 136421960 4291491248 18446744073709551615 134870295 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252374 245231 216 467 0 251905 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1009496 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25303 /proc/meminfo: memFree=829556/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009628 CPUtime=1241.95 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265747 0 0 0 110380 13815 0 0 25 0 1 0 126277717 1033859072 245270 1992294400 134512640 136421960 4291491248 18446744073709551615 135005992 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252407 245270 216 467 0 251938 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 1009628 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25305 /proc/meminfo: memFree=829432/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009628 CPUtime=1301.95 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265747 0 0 0 115728 14467 0 0 25 0 1 0 126277717 1033859072 245270 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252407 245270 216 467 0 251938 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 1009628 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25307 /proc/meminfo: memFree=829432/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009628 CPUtime=1361.92 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265747 0 0 0 121071 15121 0 0 25 0 1 0 126277717 1033859072 245270 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252407 245270 216 467 0 251938 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 1009628 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25309 /proc/meminfo: memFree=829432/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009628 CPUtime=1421.92 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265747 0 0 0 126424 15768 0 0 25 0 1 0 126277717 1033859072 245270 1992294400 134512640 136421960 4291491248 18446744073709551615 135005960 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252407 245270 216 467 0 251938 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 1009628 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25311 /proc/meminfo: memFree=829308/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009628 CPUtime=1481.89 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265771 0 0 0 131757 16432 0 0 25 0 1 0 126277717 1033859072 245294 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252407 245294 216 467 0 251938 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 1009628 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25311 /proc/meminfo: memFree=829308/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009628 CPUtime=1541.87 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265771 0 0 0 137107 17080 0 0 25 0 1 0 126277717 1033859072 245294 1992294400 134512640 136421960 4291491248 18446744073709551615 135006000 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252407 245294 216 467 0 251938 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 1009628 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25313 /proc/meminfo: memFree=829184/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009628 CPUtime=1601.86 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265771 0 0 0 142453 17733 0 0 25 0 1 0 126277717 1033859072 245294 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252407 245294 216 467 0 251938 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 1009628 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25315 /proc/meminfo: memFree=829060/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009760 CPUtime=1661.84 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265783 0 0 0 147801 18383 0 0 25 0 1 0 126277717 1033994240 245306 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252440 245306 216 467 0 251971 0 Current children cumulated CPU time (s) 1661.84 Current children cumulated vsize (KiB) 1009760 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25317 /proc/meminfo: memFree=829060/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009760 CPUtime=1721.82 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265794 0 0 0 153150 19032 0 0 25 0 1 0 126277717 1033994240 245317 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252440 245317 216 467 0 251971 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 1009760 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25319 /proc/meminfo: memFree=828688/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009892 CPUtime=1781.81 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265812 0 0 0 158482 19699 0 0 25 0 1 0 126277717 1034129408 245335 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252473 245335 216 467 0 252004 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 1009892 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25319 /proc/meminfo: memFree=828688/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009892 CPUtime=1800.01 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265812 0 0 0 160102 19899 0 0 25 0 1 0 126277717 1034129408 245335 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252473 245335 216 467 0 252004 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1009892 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/107 25319 /proc/meminfo: memFree=828688/2059040 swapFree=4139932/4192956 [pid=25258] ppid=25256 vsize=1009892 CPUtime=1800.01 /proc/25258/stat : 25258 (pbct) R 25256 25258 25203 0 -1 4202496 265812 0 0 0 160102 19899 0 0 25 0 1 0 126277717 1034129408 245335 1992294400 134512640 136421960 4291491248 18446744073709551615 135874657 0 0 4096 16387 0 0 0 17 1 0 0 0 /proc/25258/statm: 252473 245335 216 467 0 252004 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 1009892 Child status: 0 Real time (s): 1800.61 CPU time (s): 1800.12 CPU user time (s): 1601.03 CPU system time (s): 199.091 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 1009892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1601.03 system time used= 199.091 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 265814 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= 4610 runsolver used 2.96655 second user time and 8.5137 second system time The end
Begin job on node005 at 2010-06-26 00:59:00 IDJOB=2683097 IDBENCH=71871 IDSOLVER=1192 FILE ID=node005/2683097-1277506740 PBS_JOBID= 11190644 Free space on /tmp= 62528 MiB SOLVER NAME= PB/CT 0.1 fixed BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_50_2__8_45__512.opb COMMAND LINE= HOME/pbct --model BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2683097-1277506740/watcher-2683097-1277506740 -o /tmp/evaluation-result-2683097-1277506740/solver-2683097-1277506740 -C 1800 -W 2000 -M 1800 HOME/pbct --model HOME/instance-2683097-1277506740.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d0ffef5b15f9518c13edbe4c212527f5 RANDOM SEED=2086790690 node005.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.246 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.49 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.246 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1814032 kB Buffers: 51820 kB Cached: 94600 kB SwapCached: 5480 kB Active: 69904 kB Inactive: 89360 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1814032 kB SwapTotal: 4192956 kB SwapFree: 4139932 kB Dirty: 4124 kB Writeback: 0 kB AnonPages: 11564 kB Mapped: 11956 kB Slab: 63684 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182732 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= 62524 MiB End job on node005 at 2010-06-26 01:29:02