Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.08 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb |
MD5SUM | 9984e76947bf9addca42277d72ff7107 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -40 |
Best CPU time to get the best result obtained on this benchmark | 785.031 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
Optimality of the best value was proved | YES |
Number of variables | 760 |
Total number of constraints | 41314 |
Number of constraints which are clauses | 41314 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 760 |
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 | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.01 c glpPB 0.2 (July 2006) 0.00/0.01 c An Application of GLPK 4.10 for PB Constraints 0.00/0.01 c Done @ University of Michigan, Ann Arbor, MI 0.00/0.01 c by Hossein Sheini
ERROR: no interpretation found !
/tmp/evaluation/353452-1176666431/instance-353452-1176666431.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node15/watcher-353452-1176666431 -o ROOT/results/node15/solver-353452-1176666431 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/353452-1176666431/instance-353452-1176666431.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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.03 1.03 1.00 3/77 17817 /proc/meminfo: memFree=1807856/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=1200 CPUtime=0 /proc/17817/stat : 17817 (glpPBv3) D 17815 17817 17055 0 -1 0 56 0 0 0 0 0 0 0 18 0 1 0 114560771 1228800 39 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7512868 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/17817/statm: 300 39 30 40 0 8 0 [startup+0.0425411 s] /proc/loadavg: 1.03 1.03 1.00 3/77 17817 /proc/meminfo: memFree=1807856/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=3048 CPUtime=0.02 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 372 0 0 0 2 0 0 0 18 0 1 0 114560771 3121152 342 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7978711 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 762 342 199 40 0 177 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 3048 [startup+0.101544 s] /proc/loadavg: 1.03 1.03 1.00 3/77 17817 /proc/meminfo: memFree=1807856/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=3980 CPUtime=0.08 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 595 0 0 0 8 0 0 0 18 0 1 0 114560771 4075520 565 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7978711 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 995 565 199 40 0 410 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3980 [startup+0.301561 s] /proc/loadavg: 1.03 1.03 1.00 3/77 17817 /proc/meminfo: memFree=1807856/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=6912 CPUtime=0.28 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 1343 0 0 0 28 0 0 0 19 0 1 0 114560771 7077888 1313 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134518691 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 1728 1313 199 40 0 1143 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 6912 [startup+0.701599 s] /proc/loadavg: 1.03 1.03 1.00 3/77 17817 /proc/meminfo: memFree=1807856/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=26084 CPUtime=0.68 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 7169 0 0 0 65 3 0 0 23 0 1 0 114560771 26710016 6109 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134605658 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 6521 6109 221 40 0 5936 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 26084 [startup+1.50167 s] /proc/loadavg: 1.03 1.03 1.00 2/78 17818 /proc/meminfo: memFree=1782696/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=27392 CPUtime=1.47 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 7823 0 0 0 144 3 0 0 25 0 1 0 114560771 28049408 6436 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134642666 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 6848 6436 221 40 0 6263 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 27392 [startup+3.10188 s] /proc/loadavg: 1.03 1.03 1.00 2/78 17818 /proc/meminfo: memFree=1783720/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=28512 CPUtime=3.07 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 10019 0 0 0 303 4 0 0 25 0 1 0 114560771 29196288 6716 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134583593 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 7128 6716 221 40 0 6543 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 28512 [startup+6.30111 s] /proc/loadavg: 1.11 1.05 1.01 2/78 17818 /proc/meminfo: memFree=1770664/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39240 CPUtime=6.28 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 88228 0 0 0 593 35 0 0 25 0 1 0 114560771 40181760 9410 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9810 9410 227 40 0 9225 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 39240 [startup+12.7017 s] /proc/loadavg: 1.10 1.05 1.00 2/78 17818 /proc/meminfo: memFree=1770792/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39240 CPUtime=12.67 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 414325 0 0 0 1107 160 0 0 25 0 1 0 114560771 40181760 9412 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9810 9412 227 40 0 9225 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 39240 [startup+25.5019 s] /proc/loadavg: 1.08 1.05 1.00 2/78 17818 /proc/meminfo: memFree=1770856/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=38752 CPUtime=25.47 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 1075508 0 0 0 2128 419 0 0 25 0 1 0 114560771 39682048 9270 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7978711 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9688 9280 227 40 0 9103 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 38752 [startup+51.1012 s] /proc/loadavg: 1.05 1.04 1.00 2/78 17818 /proc/meminfo: memFree=1770920/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39240 CPUtime=51.05 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 2352562 0 0 0 4187 918 0 0 25 0 1 0 114560771 40181760 9412 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9810 9412 227 40 0 9225 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 39240 [startup+102.306 s] /proc/loadavg: 1.02 1.03 1.00 2/78 17818 /proc/meminfo: memFree=1770664/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39240 CPUtime=102.23 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 4787148 0 0 0 8363 1860 0 0 25 0 1 0 114560771 40181760 9412 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9810 9412 227 40 0 9225 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 39240 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/78 17818 /proc/meminfo: memFree=1770792/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39240 CPUtime=162.18 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 7453199 0 0 0 13330 2888 0 0 25 0 1 0 114560771 40181760 9414 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9810 9414 227 40 0 9225 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 39240 [startup+222.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 17818 /proc/meminfo: memFree=1770728/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39240 CPUtime=222.15 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 10092971 0 0 0 18309 3906 0 0 25 0 1 0 114560771 40181760 9416 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7978711 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9810 9416 227 40 0 9225 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 39240 [startup+282.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17818 /proc/meminfo: memFree=1770728/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39240 CPUtime=282.11 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 12491856 0 0 0 23374 4837 0 0 25 0 1 0 114560771 40181760 9422 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9810 9422 227 40 0 9225 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 39240 [startup+342.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17818 /proc/meminfo: memFree=1770920/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=38428 CPUtime=342.08 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 14782973 0 0 0 28485 5723 0 0 25 0 1 0 114560771 39350272 9219 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9688 9225 227 40 0 9103 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 38428 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17818 /proc/meminfo: memFree=1765736/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39240 CPUtime=402.05 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 16770610 0 0 0 33705 6500 0 0 25 0 1 0 114560771 40181760 9429 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7978711 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9810 9429 227 40 0 9225 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 39240 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17818 /proc/meminfo: memFree=1766376/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39032 CPUtime=462.02 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 19626796 0 0 0 38589 7613 0 0 25 0 1 0 114560771 39968768 9315 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7978711 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9758 9325 227 40 0 9173 0 Current children cumulated CPU time (s) 462.02 Current children cumulated vsize (KiB) 39032 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17818 /proc/meminfo: memFree=1770600/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=44440 CPUtime=521.97 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 22236795 0 0 0 43577 8620 0 0 25 0 1 0 114560771 45506560 10709 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134581963 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 11110 10709 227 40 0 10525 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 44440 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17818 /proc/meminfo: memFree=1770600/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39356 CPUtime=581.95 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 24457871 0 0 0 48702 9493 0 0 25 0 1 0 114560771 40300544 9446 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9839 9446 227 40 0 9254 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 39356 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17818 /proc/meminfo: memFree=1770536/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39356 CPUtime=641.92 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 27243262 0 0 0 53601 10591 0 0 25 0 1 0 114560771 40300544 9452 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9839 9452 227 40 0 9254 0 Current children cumulated CPU time (s) 641.92 Current children cumulated vsize (KiB) 39356 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/84 17994 /proc/meminfo: memFree=1769080/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39152 CPUtime=881.78 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 37208237 0 0 0 73693 14485 0 0 25 0 1 0 114560771 40091648 9365 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7978711 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9788 9376 227 40 0 9203 0 Current children cumulated CPU time (s) 881.78 Current children cumulated vsize (KiB) 39152 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1770408/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=43088 CPUtime=941.74 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 39961524 0 0 0 78616 15558 0 0 25 0 1 0 114560771 44122112 10375 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134539448 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 10772 10375 227 40 0 10187 0 Current children cumulated CPU time (s) 941.74 Current children cumulated vsize (KiB) 43088 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1765224/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=44560 CPUtime=1001.7 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 42427758 0 0 0 83653 16517 0 0 25 0 1 0 114560771 45629440 10745 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643557 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 11140 10745 227 40 0 10555 0 Current children cumulated CPU time (s) 1001.7 Current children cumulated vsize (KiB) 44560 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1765224/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39476 CPUtime=1061.67 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 44667863 0 0 0 88776 17391 0 0 25 0 1 0 114560771 40423424 9479 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643272 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9869 9479 227 40 0 9284 0 Current children cumulated CPU time (s) 1061.67 Current children cumulated vsize (KiB) 39476 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1770280/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39476 CPUtime=1121.65 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 47134415 0 0 0 93802 18363 0 0 25 0 1 0 114560771 40423424 9474 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7978711 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9869 9484 227 40 0 9284 0 Current children cumulated CPU time (s) 1121.65 Current children cumulated vsize (KiB) 39476 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1770280/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39476 CPUtime=1181.63 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 49715604 0 0 0 98795 19368 0 0 25 0 1 0 114560771 40423424 9492 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9869 9492 227 40 0 9284 0 Current children cumulated CPU time (s) 1181.63 Current children cumulated vsize (KiB) 39476 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1770216/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=38784 CPUtime=1241.58 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 52020644 0 0 0 103896 20262 0 0 25 0 1 0 114560771 39714816 9295 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134568938 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9696 9295 227 40 0 9111 0 Current children cumulated CPU time (s) 1241.58 Current children cumulated vsize (KiB) 38784 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1770152/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39596 CPUtime=1301.55 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 54487706 0 0 0 108930 21225 0 0 25 0 1 0 114560771 40546304 9504 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629076 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9899 9504 227 40 0 9314 0 Current children cumulated CPU time (s) 1301.55 Current children cumulated vsize (KiB) 39596 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1770216/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39596 CPUtime=1361.52 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 57181129 0 0 0 113877 22275 0 0 25 0 1 0 114560771 40546304 9506 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9899 9506 227 40 0 9314 0 Current children cumulated CPU time (s) 1361.52 Current children cumulated vsize (KiB) 39596 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1770152/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39596 CPUtime=1421.48 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 59405622 0 0 0 119005 23143 0 0 25 0 1 0 114560771 40546304 9512 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629076 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9899 9512 227 40 0 9314 0 Current children cumulated CPU time (s) 1421.48 Current children cumulated vsize (KiB) 39596 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1770088/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39596 CPUtime=1481.45 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 61870402 0 0 0 124041 24104 0 0 25 0 1 0 114560771 40546304 9518 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9899 9518 227 40 0 9314 0 Current children cumulated CPU time (s) 1481.45 Current children cumulated vsize (KiB) 39596 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1770088/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39596 CPUtime=1541.42 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 64518709 0 0 0 129022 25120 0 0 25 0 1 0 114560771 40546304 9520 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9899 9520 227 40 0 9314 0 Current children cumulated CPU time (s) 1541.42 Current children cumulated vsize (KiB) 39596 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1770664/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39724 CPUtime=1601.37 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 66952038 0 0 0 134079 26058 0 0 25 0 1 0 114560771 40677376 9526 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643512 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9931 9526 227 40 0 9346 0 Current children cumulated CPU time (s) 1601.37 Current children cumulated vsize (KiB) 39724 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1769832/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=44808 CPUtime=1661.34 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 69021449 0 0 0 139269 26865 0 0 25 0 1 0 114560771 45883392 10802 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134581584 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 11202 10802 227 40 0 10617 0 Current children cumulated CPU time (s) 1661.34 Current children cumulated vsize (KiB) 44808 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1770152/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39724 CPUtime=1721.31 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 71743844 0 0 0 144216 27915 0 0 25 0 1 0 114560771 40677376 9533 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9931 9533 227 40 0 9346 0 Current children cumulated CPU time (s) 1721.31 Current children cumulated vsize (KiB) 39724 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1769768/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39724 CPUtime=1781.27 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 74357474 0 0 0 149198 28929 0 0 25 0 1 0 114560771 40677376 9537 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9931 9537 227 40 0 9346 0 Current children cumulated CPU time (s) 1781.27 Current children cumulated vsize (KiB) 39724 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1769960/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39724 CPUtime=1800.07 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 75083398 0 0 0 150794 29213 0 0 25 0 1 0 114560771 40677376 9541 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9931 9541 227 40 0 9346 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 39724 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.1 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18016 /proc/meminfo: memFree=1769960/2055920 swapFree=4169120/4192956 [pid=17817] ppid=17815 vsize=39724 CPUtime=1800.07 /proc/17817/stat : 17817 (glpPBv3) R 17815 17817 17055 0 -1 0 75083398 0 0 0 150794 29213 0 0 25 0 1 0 114560771 40677376 9541 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 0 0 0 /proc/17817/statm: 9931 9541 227 40 0 9346 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 39724 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.08 CPU user time (s): 1507.94 CPU system time (s): 292.14 CPU usage (%): 99.9393 Max. virtual memory (cumulated for all children) (KiB): 46116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1507.94 system time used= 292.14 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 75083398 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= 11 involuntary context switches= 35989 runsolver used 1.86572 second user time and 4.71328 second system time The end
Begin job on node15 on Sun Apr 15 19:47:12 UTC 2007 IDJOB= 353452 IDBENCH= 2243 IDSOLVER= 166 FILE ID= node15/353452-1176666431 PBS_JOBID= 4559370 Free space on /tmp= 66554 MiB SOLVER NAME= glpPB 0.2 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-1.opb COMMAND LINE= glpPBv3 /tmp/evaluation/353452-1176666431/instance-353452-1176666431.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node15/convwatcher-353452-1176666431 -o ROOT/results/node15/conversion-353452-1176666431 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353452-1176666431/instance-353452-1176666431.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-353452-1176666431 -o ROOT/results/node15/solver-353452-1176666431 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/353452-1176666431/instance-353452-1176666431.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 9984e76947bf9addca42277d72ff7107 RANDOM SEED= 735316529 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node15.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.227 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 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.227 cache size : 2048 KB 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 pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1808264 kB Buffers: 32428 kB Cached: 128504 kB SwapCached: 2404 kB Active: 91864 kB Inactive: 92688 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1808264 kB SwapTotal: 4192956 kB SwapFree: 4169120 kB Dirty: 3264 kB Writeback: 0 kB Mapped: 30940 kB Slab: 48540 kB Committed_AS: 6069556 kB PageTables: 1872 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66554 MiB End job on node15 on Sun Apr 15 20:17:15 UTC 2007