Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBPASSolver 2010-06-13 | ? (TO) | 1800.1 | 1800.72 |
Name | normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/ ~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb |
MD5SUM | 24c749e45d4bbd6a8ec98f3e49fb7aad |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 9663726592 |
Best CPU time to get the best result obtained on this benchmark | 0.036993 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 9663726592 |
Optimality of the best value was proved | YES |
Number of variables | 56 |
Total number of constraints | 5 |
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 | 5 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 44 |
Number of terms in the objective function | 56 |
Biggest coefficient in the objective function | 9663676416 |
Number of bits for the biggest coefficient in the objective function | 34 |
Sum of the numbers in the objective function | 19327377394 |
Number of bits of the sum of numbers in the objective function | 35 |
Biggest number in a constraint | 9663676416 |
Number of bits of the biggest number in a constraint | 34 |
Biggest sum of numbers in a constraint | 19327377394 |
Number of bits of the biggest sum of numbers | 35 |
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.07 c 56 5 0 0 0 0 0 0 0.00/0.07 c 2048 ~x69+1024 ~x68+512 ~x67+256 ~x66+128 ~x65+64 ~x64+32 ~x63+16 ~x62+8 ~x61+4 ~x60+2 ~x59+1 ~x58+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=8190 0.00/0.07 c 1024 ~x2300+512 ~x2299+256 ~x2298+128 ~x2297+64 ~x2296+32 ~x2295+16 ~x2294+8 ~x2293+4 ~x2292+2 ~x2291+1 ~x2290+1024 ~x25+512 ~x24+256 ~x23+128 ~x22+64 ~x21+32 ~x20+16 ~x19+8 ~x18+4 ~x17+2 ~x16+1 ~x15-0=4094 0.00/0.40 c 4096 ~x16502+2048 ~x16501+1024 ~x16500+512 ~x16499+256 ~x16498+128 ~x16497+64 ~x16496+32 ~x16495+16 ~x16494+8 ~x16493+4 ~x16492+2 ~x16491+1 ~x16490+2048 ~x26+1024 ~x25+512 ~x24+256 ~x23+128 ~x22+64 ~x21+32 ~x20+16 ~x19+8 ~x18+4 ~x17+2 ~x16+1 ~x15+4096 ~x14+2048 ~x13+1024 ~x12+512 ~x11+256 ~x10+128 ~x9+64 ~x8+32 ~x7+16 ~x6+8 ~x5+4 ~x4+2 ~x3+1 ~x2-0=14333 0.00/0.50 c 1073741824 ~x20573+536870912 ~x20572+268435456 ~x20571+134217728 ~x20570+67108864 ~x20569+33554432 ~x20568+16777216 ~x20567+8388608 ~x20566+4194304 ~x20565+2097152 ~x20564+1048576 ~x20563+524288 ~x20562+262144 ~x20561+131072 ~x20560+65536 ~x20559+32768 ~x20558+16384 ~x20557+8192 ~x20556+4096 ~x20555+2048 ~x20554+1024 ~x20553+512 ~x20552+256 ~x20551+128 ~x20550+64 ~x20549+32 ~x20548+16 ~x20547+8 ~x20546+4 ~x20545+2 ~x20544+1 ~x20543+1073741824 x57+536870912 x56+268435456 x55+134217728 x54+67108864 x53+33554432 x52+16777216 x51+8388608 x50+4194304 x49+2097152 x48+1048576 x47+524288 x46+262144 x45+131072 x44+65536 x43+32768 x42+16384 x41+8192 x40+4096 x39+2048 x38+1024 x37+512 x36+256 x35+128 x34+64 x33+32 x32+16 x31+8 x30+4 x29+2 x28+1 x27+4
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-2674715-1276799645/watcher-2674715-1276799645 -o /tmp/evaluation-result-2674715-1276799645/solver-2674715-1276799645 -C 1800 -W 2000 -M 1800 run HOME/instance-2674715-1276799645.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 16549 /proc/meminfo: memFree=1854644/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [startup+0.037543 s] /proc/loadavg: 0.92 0.98 0.99 3/106 16549 /proc/meminfo: memFree=1854644/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.101549 s] /proc/loadavg: 0.92 0.98 0.99 3/106 16549 /proc/meminfo: memFree=1854644/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.301571 s] /proc/loadavg: 0.92 0.98 0.99 3/106 16549 /proc/meminfo: memFree=1854644/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+0.701616 s] /proc/loadavg: 0.92 0.98 0.99 3/106 16549 /proc/meminfo: memFree=1854644/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8700 [startup+1.5017 s] /proc/loadavg: 0.92 0.98 0.99 2/108 16552 /proc/meminfo: memFree=1833176/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=26992 CPUtime=1.48 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 6340 0 0 0 145 3 0 0 25 0 1 0 55566275 27639808 5673 1992294400 134512640 134902295 4288430800 18446744073709551615 4159844884 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 6748 5673 269 96 0 5960 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 35692 [startup+3.10188 s] /proc/loadavg: 0.92 0.98 0.99 2/108 16552 /proc/meminfo: memFree=1831812/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=27388 CPUtime=3.08 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 6446 0 0 0 305 3 0 0 25 0 1 0 55566275 28045312 5779 1992294400 134512640 134902295 4288430800 18446744073709551615 4159867922 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 6847 5779 269 96 0 6059 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 36088 [startup+6.30124 s] /proc/loadavg: 0.93 0.98 0.99 2/108 16552 /proc/meminfo: memFree=1831440/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=28048 CPUtime=6.29 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 6603 0 0 0 625 4 0 0 25 0 1 0 55566275 28721152 5936 1992294400 134512640 134902295 4288430800 18446744073709551615 4159865800 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 7012 5936 269 96 0 6224 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 36748 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/108 16552 /proc/meminfo: memFree=1830076/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=29236 CPUtime=12.69 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 6888 0 0 0 1265 4 0 0 25 0 1 0 55566275 29937664 6221 1992294400 134512640 134902295 4288430800 18446744073709551615 4159863030 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 7309 6221 269 96 0 6521 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 37936 [startup+25.5014 s] /proc/loadavg: 0.95 0.98 0.99 2/108 16552 /proc/meminfo: memFree=1827844/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=31532 CPUtime=25.48 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 7457 0 0 0 2544 4 0 0 25 0 1 0 55566275 32288768 6790 1992294400 134512640 134902295 4288430800 18446744073709551615 4159844884 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 7883 6790 269 96 0 7095 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40232 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/108 16552 /proc/meminfo: memFree=1823132/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=36100 CPUtime=51.07 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 8613 0 0 0 5102 5 0 0 25 0 1 0 55566275 36966400 7946 1992294400 134512640 134902295 4288430800 18446744073709551615 4159832837 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 9025 7946 269 96 0 8237 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 44800 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/108 16554 /proc/meminfo: memFree=1816312/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=42784 CPUtime=102.26 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 10257 0 0 0 10219 7 0 0 25 0 1 0 55566275 43810816 9590 1992294400 134512640 134902295 4288430800 18446744073709551615 4159862910 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 10696 9590 269 96 0 9908 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 51484 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16556 /proc/meminfo: memFree=1809492/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=49508 CPUtime=162.23 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 11946 0 0 0 16214 9 0 0 25 0 1 0 55566275 50696192 11279 1992294400 134512640 134902295 4288430800 18446744073709551615 4159865800 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 12377 11279 269 96 0 11589 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 58208 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16558 /proc/meminfo: memFree=1804160/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=54792 CPUtime=222.21 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 13270 0 0 0 22210 11 0 0 25 0 1 0 55566275 56107008 12603 1992294400 134512640 134902295 4288430800 18446744073709551615 11698176 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 13698 12603 269 96 0 12910 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 63492 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16558 /proc/meminfo: memFree=1799944/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=59148 CPUtime=282.2 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 14343 0 0 0 28207 13 0 0 25 0 1 0 55566275 60567552 13676 1992294400 134512640 134902295 4288430800 18446744073709551615 4159865859 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 14787 13676 269 96 0 13999 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 67848 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16560 /proc/meminfo: memFree=1796472/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=62652 CPUtime=342.17 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 15190 0 0 0 34204 13 0 0 25 0 1 0 55566275 64155648 14523 1992294400 134512640 134902295 4288430800 18446744073709551615 4159865740 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 15663 14523 269 96 0 14875 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 71352 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16562 /proc/meminfo: memFree=1792876/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=66172 CPUtime=402.15 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 16090 0 0 0 40201 14 0 0 25 0 1 0 55566275 67760128 15423 1992294400 134512640 134902295 4288430800 18446744073709551615 4159844834 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 16543 15423 269 96 0 15755 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 74872 [startup+462.301 s] ################ # More data... # ################ /proc/16551/statm: 30142 28927 269 96 0 29354 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 129268 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16584 /proc/meminfo: memFree=1735588/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=122944 CPUtime=1241.9 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 30204 0 0 0 124161 29 0 0 25 0 1 0 55566275 125894656 29537 1992294400 134512640 134902295 4288430800 18446744073709551615 4159863260 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 30736 29537 269 96 0 29948 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 131644 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16586 /proc/meminfo: memFree=1733108/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=125360 CPUtime=1301.89 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 30800 0 0 0 130158 31 0 0 25 0 1 0 55566275 128368640 30133 1992294400 134512640 134902295 4288430800 18446744073709551615 4159862910 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 31340 30133 269 96 0 30552 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 134060 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16588 /proc/meminfo: memFree=1730752/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=127736 CPUtime=1361.86 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 31389 0 0 0 136155 31 0 0 25 0 1 0 55566275 130801664 30722 1992294400 134512640 134902295 4288430800 18446744073709551615 4159851353 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 31934 30722 269 96 0 31146 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 136436 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16590 /proc/meminfo: memFree=1728768/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=129716 CPUtime=1421.84 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 31897 0 0 0 142153 31 0 0 25 0 1 0 55566275 132829184 31230 1992294400 134512640 134902295 4288430800 18446744073709551615 4159870795 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 32429 31230 269 96 0 31641 0 Current children cumulated CPU time (s) 1421.84 Current children cumulated vsize (KiB) 138416 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16590 /proc/meminfo: memFree=1726660/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=131828 CPUtime=1481.82 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 32428 0 0 0 148150 32 0 0 25 0 1 0 55566275 134991872 31761 1992294400 134512640 134902295 4288430800 18446744073709551615 4159865779 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 32957 31761 269 96 0 32169 0 Current children cumulated CPU time (s) 1481.82 Current children cumulated vsize (KiB) 140528 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16592 /proc/meminfo: memFree=1724304/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=133948 CPUtime=1541.79 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 32975 0 0 0 154147 32 0 0 25 0 1 0 55566275 137162752 32308 1992294400 134512640 134902295 4288430800 18446744073709551615 4159862910 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 33487 32308 269 96 0 32699 0 Current children cumulated CPU time (s) 1541.79 Current children cumulated vsize (KiB) 142648 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16594 /proc/meminfo: memFree=1722940/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=135276 CPUtime=1601.77 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 33314 0 0 0 160145 32 0 0 25 0 1 0 55566275 138522624 32647 1992294400 134512640 134902295 4288430800 18446744073709551615 4159845033 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 33819 32647 269 96 0 33031 0 Current children cumulated CPU time (s) 1601.77 Current children cumulated vsize (KiB) 143976 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16605 /proc/meminfo: memFree=1721700/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=135276 CPUtime=1661.73 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 33316 0 0 0 166141 32 0 0 25 0 1 0 55566275 138522624 32649 1992294400 134512640 134902295 4288430800 18446744073709551615 4159832831 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 33819 32649 269 96 0 33031 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 143976 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16605 /proc/meminfo: memFree=1721700/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=135276 CPUtime=1721.71 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 33317 0 0 0 172139 32 0 0 25 0 1 0 55566275 138522624 32650 1992294400 134512640 134902295 4288430800 18446744073709551615 4159832625 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 33819 32650 269 96 0 33031 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 143976 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16607 /proc/meminfo: memFree=1721824/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=135276 CPUtime=1781.69 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 33317 0 0 0 178137 32 0 0 25 0 1 0 55566275 138522624 32650 1992294400 134512640 134902295 4288430800 18446744073709551615 4159862910 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 33819 32650 269 96 0 33031 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 143976 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16609 /proc/meminfo: memFree=1721824/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=135276 CPUtime=1800.1 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 33317 0 0 0 179978 32 0 0 25 0 1 0 55566275 138522624 32650 1992294400 134512640 134902295 4288430800 18446744073709551615 4159845376 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 33819 32650 269 96 0 33031 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 143976 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 0.99 0.98 0.99 2/108 16609 /proc/meminfo: memFree=1721824/2059040 swapFree=4139736/4192956 [pid=16549] ppid=16547 vsize=8700 CPUtime=0 /proc/16549/stat : 16549 (run) S 16547 16549 16381 0 -1 4202496 388 134 0 0 0 0 0 0 20 0 1 0 55566275 8908800 250 1992294400 4194304 4922060 140733572492496 18446744073709551615 264367611013 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/16549/statm: 2175 250 211 178 0 68 0 [pid=16551] ppid=16549 vsize=135276 CPUtime=1800.1 /proc/16551/stat : 16551 (PBPASSolver) R 16549 16549 16381 0 -1 4202496 33317 0 0 0 179978 32 0 0 25 0 1 0 55566275 138522624 32650 1992294400 134512640 134902295 4288430800 18446744073709551615 4159845376 0 0 4096 17608 0 0 0 17 1 0 0 0 /proc/16551/statm: 33819 32650 269 96 0 33031 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 143976 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 16549 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=1999 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=999 # CPU time returned by wait4() is 0.002998 # while last known CPU time is 1800.1 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.72 CPU time (s): 1800.1 CPU user time (s): 1799.78 CPU system time (s): 0.32 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (KiB): 143976 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.001999 system time used= 0.000999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 522 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= 3 involuntary context switches= 3 runsolver used 2.78058 second user time and 8.69968 second system time The end
Begin job on node009 at 2010-06-17 20:34:05 IDJOB=2674715 IDBENCH=2375 IDSOLVER=1174 FILE ID=node009/2674715-1276799645 PBS_JOBID= 11176628 Free space on /tmp= 62552 MiB SOLVER NAME= PBPASSolver 2010-06-13 BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-20-10-testprob.opb COMMAND LINE= run BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2674715-1276799645/watcher-2674715-1276799645 -o /tmp/evaluation-result-2674715-1276799645/solver-2674715-1276799645 -C 1800 -W 2000 -M 1800 run HOME/instance-2674715-1276799645.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 24c749e45d4bbd6a8ec98f3e49fb7aad RANDOM SEED=1516125377 node009.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.199 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.39 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.199 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: 1855040 kB Buffers: 27844 kB Cached: 82168 kB SwapCached: 5672 kB Active: 19216 kB Inactive: 103096 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1855040 kB SwapTotal: 4192956 kB SwapFree: 4139736 kB Dirty: 904 kB Writeback: 4 kB AnonPages: 10876 kB Mapped: 12916 kB Slab: 59688 kB PageTables: 4024 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180360 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 node009 at 2010-06-17 21:04:08