Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.11 | 1800.82 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb |
MD5SUM | 2f50a7c4db6c104684b2cc399418ffd9 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.183971 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 120 |
Total number of constraints | 11 |
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 | 11 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 320 |
Sum of products size (including duplicates) | 640 |
Number of different products | 320 |
Sum of products size | 640 |
0.00/0.00 c glpPB 0.2 (July 2006) 0.00/0.00 c An Application of GLPK 4.10 for PB Constraints 0.00/0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00/0.00 c by Hossein Sheini
ERROR: no interpretation found !
Linearizing /tmp/evaluation/431951-1178012365/instance-431951-1178012365.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node59/watcher-431951-1178012365 -o ROOT/results/node59/solver-431951-1178012365 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/431951-1178012365/instance-431951-1178012365.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: 0.91 0.98 0.99 3/64 5612 /proc/meminfo: memFree=1763968/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=2648 CPUtime=0 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 263 0 0 0 0 0 0 0 18 0 1 0 249146176 2711552 234 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134528801 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 662 234 199 40 0 77 0 [startup+0.0966201 s] /proc/loadavg: 0.91 0.98 0.99 3/64 5612 /proc/meminfo: memFree=1763968/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=3520 CPUtime=0.09 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 520 0 0 0 9 0 0 0 18 0 1 0 249146176 3604480 490 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541608 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 880 490 227 40 0 295 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3520 [startup+0.10162 s] /proc/loadavg: 0.91 0.98 0.99 3/64 5612 /proc/meminfo: memFree=1763968/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=3520 CPUtime=0.09 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 520 0 0 0 9 0 0 0 18 0 1 0 249146176 3604480 490 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636238 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 880 490 227 40 0 295 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3520 [startup+0.301658 s] /proc/loadavg: 0.91 0.98 0.99 3/64 5612 /proc/meminfo: memFree=1763968/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=3520 CPUtime=0.29 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 524 0 0 0 29 0 0 0 19 0 1 0 249146176 3604480 494 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534928 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 880 494 227 40 0 295 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3520 [startup+0.701734 s] /proc/loadavg: 0.91 0.98 0.99 3/64 5612 /proc/meminfo: memFree=1763968/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=3520 CPUtime=0.69 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 530 0 0 0 69 0 0 0 22 0 1 0 249146176 3604480 500 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 880 500 227 40 0 295 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3520 [startup+1.50189 s] /proc/loadavg: 0.91 0.98 0.99 2/65 5613 /proc/meminfo: memFree=1762808/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=3548 CPUtime=1.49 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 883 0 0 0 148 1 0 0 25 0 1 0 249146176 3633152 511 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134537237 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 887 511 227 40 0 302 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3548 [startup+3.10119 s] /proc/loadavg: 0.92 0.98 0.99 2/65 5613 /proc/meminfo: memFree=1762616/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=3796 CPUtime=3.09 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 2284 0 0 0 306 3 0 0 25 0 1 0 249146176 3887104 541 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 949 541 227 40 0 364 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3796 [startup+6.3018 s] /proc/loadavg: 0.92 0.98 0.99 2/65 5613 /proc/meminfo: memFree=1762304/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=4008 CPUtime=6.29 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 4582 0 0 0 623 6 0 0 25 0 1 0 249146176 4104192 594 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 1002 594 227 40 0 417 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4008 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/65 5613 /proc/meminfo: memFree=1761792/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=4312 CPUtime=12.69 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 9081 0 0 0 1257 12 0 0 25 0 1 0 249146176 4415488 702 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 1078 702 227 40 0 493 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 4312 [startup+25.5015 s] /proc/loadavg: 0.94 0.98 0.99 2/65 5613 /proc/meminfo: memFree=1760960/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=5152 CPUtime=25.48 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 17732 0 0 0 2525 23 0 0 25 0 1 0 249146176 5275648 912 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542221 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 1288 912 227 40 0 703 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 5152 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/65 5613 /proc/meminfo: memFree=1759360/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=6768 CPUtime=51.07 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 35721 0 0 0 5059 48 0 0 25 0 1 0 249146176 6930432 1316 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 1692 1316 227 40 0 1107 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 6768 [startup+102.304 s] /proc/loadavg: 0.98 0.98 0.99 2/65 5613 /proc/meminfo: memFree=1756224/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=9968 CPUtime=102.26 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 71093 0 0 0 10130 96 0 0 25 0 1 0 249146176 10207232 2092 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 2492 2092 227 40 0 1907 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 9968 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5615 /proc/meminfo: memFree=1753152/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=13100 CPUtime=162.23 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 108865 0 0 0 16069 154 0 0 25 0 1 0 249146176 13414400 2867 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643574 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 3275 2867 227 40 0 2690 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 13100 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5615 /proc/meminfo: memFree=1749440/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=16656 CPUtime=222.21 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 145014 0 0 0 22014 207 0 0 25 0 1 0 249146176 17055744 3788 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578236 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 4164 3788 227 40 0 3579 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 16656 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5615 /proc/meminfo: memFree=1746432/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=19656 CPUtime=282.19 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 172321 0 0 0 27965 254 0 0 25 0 1 0 249146176 20127744 4538 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 4914 4538 227 40 0 4329 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 19656 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5615 /proc/meminfo: memFree=1743744/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=22304 CPUtime=342.18 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 174273 0 0 0 33943 275 0 0 25 0 1 0 249146176 22839296 5200 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534653 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 5576 5200 227 40 0 4991 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 22304 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5615 /proc/meminfo: memFree=1740992/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=25132 CPUtime=402.16 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 176277 0 0 0 39919 297 0 0 25 0 1 0 249146176 25735168 5907 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134569956 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 6283 5907 227 40 0 5698 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 25132 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5615 /proc/meminfo: memFree=1737088/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=29032 CPUtime=462.13 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 179156 0 0 0 45898 315 0 0 25 0 1 0 249146176 29728768 6882 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 7258 6882 227 40 0 6673 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 29032 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5615 /proc/meminfo: memFree=1734400/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=31696 CPUtime=522.11 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 181113 0 0 0 51873 338 0 0 25 0 1 0 249146176 32456704 7547 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541725 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 7924 7547 227 40 0 7339 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 31696 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5615 /proc/meminfo: memFree=1731840/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=34248 CPUtime=582.09 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 183305 0 0 0 57850 359 0 0 25 0 1 0 249146176 35069952 8186 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542187 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 8562 8186 227 40 0 7977 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 34248 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5615 /proc/meminfo: memFree=1729216/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=36804 CPUtime=642.07 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 185104 0 0 0 63825 382 0 0 25 0 1 0 249146176 37687296 8825 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 9201 8825 227 40 0 8616 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 36804 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5615 /proc/meminfo: memFree=1722240/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=43800 CPUtime=822.01 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 190794 0 0 0 81763 438 0 0 25 0 1 0 249146176 44851200 10574 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 10950 10574 227 40 0 10365 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 43800 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 5615 /proc/meminfo: memFree=1720000/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=46036 CPUtime=881.98 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 192628 0 0 0 87744 454 0 0 25 0 1 0 249146176 47140864 11133 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 11509 11133 227 40 0 10924 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 46036 [startup+942.301 s] /proc/loadavg: 1.07 0.99 0.99 2/65 5615 /proc/meminfo: memFree=1718016/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=48000 CPUtime=941.97 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 194226 0 0 0 93726 471 0 0 25 0 1 0 249146176 49152000 11624 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629236 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 12000 11624 227 40 0 11415 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 48000 [startup+1002.3 s] /proc/loadavg: 1.02 0.99 0.99 2/65 5615 /proc/meminfo: memFree=1715776/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=50220 CPUtime=1001.95 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 195778 0 0 0 99707 488 0 0 25 0 1 0 249146176 51425280 12179 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534674 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 12555 12179 227 40 0 11970 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 50220 [startup+1062.3 s] /proc/loadavg: 1.01 0.99 0.99 2/65 5615 /proc/meminfo: memFree=1711168/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=54808 CPUtime=1061.93 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 197937 0 0 0 105691 502 0 0 25 0 1 0 249146176 56123392 13326 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 13702 13326 227 40 0 13117 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 54808 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5615 /proc/meminfo: memFree=1709184/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=56744 CPUtime=1121.91 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 199399 0 0 0 111674 517 0 0 25 0 1 0 249146176 58105856 13810 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 14186 13810 227 40 0 13601 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 56744 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5615 /proc/meminfo: memFree=1707328/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=58640 CPUtime=1181.89 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 200589 0 0 0 117657 532 0 0 25 0 1 0 249146176 60047360 14284 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629086 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 14660 14284 227 40 0 14075 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 58640 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5615 /proc/meminfo: memFree=1705472/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=60460 CPUtime=1241.87 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 201259 0 0 0 123643 544 0 0 25 0 1 0 249146176 61911040 14739 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 15115 14739 227 40 0 14530 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 60460 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/71 5687 /proc/meminfo: memFree=1702392/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=62136 CPUtime=1301.82 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 202423 0 0 0 129624 558 0 0 25 0 1 0 249146176 63627264 15157 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636524 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 15534 15157 227 40 0 14949 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 62136 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5813 /proc/meminfo: memFree=1701952/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=63788 CPUtime=1361.73 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 203511 0 0 0 135600 573 0 0 25 0 1 0 249146176 65318912 15571 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542150 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 15947 15571 227 40 0 15362 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 63788 [startup+1422.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5813 /proc/meminfo: memFree=1700224/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=65568 CPUtime=1421.71 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 204685 0 0 0 141584 587 0 0 25 0 1 0 249146176 67141632 16015 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 16392 16015 227 40 0 15807 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 65568 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5813 /proc/meminfo: memFree=1698496/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=67260 CPUtime=1481.68 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 205434 0 0 0 147567 601 0 0 25 0 1 0 249146176 68874240 16439 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 16815 16439 227 40 0 16230 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 67260 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5813 /proc/meminfo: memFree=1696768/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=69000 CPUtime=1541.66 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 206974 0 0 0 153549 617 0 0 25 0 1 0 249146176 70656000 16874 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 17250 16874 227 40 0 16665 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 69000 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5813 /proc/meminfo: memFree=1695104/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=70652 CPUtime=1601.65 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 208398 0 0 0 159533 632 0 0 25 0 1 0 249146176 72347648 17287 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 17663 17287 227 40 0 17078 0 Current children cumulated CPU time (s) 1601.65 Current children cumulated vsize (KiB) 70652 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5813 /proc/meminfo: memFree=1693376/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=72376 CPUtime=1661.63 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 209952 0 0 0 165518 645 0 0 25 0 1 0 249146176 74113024 17718 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 18094 17718 227 40 0 17509 0 Current children cumulated CPU time (s) 1661.63 Current children cumulated vsize (KiB) 72376 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5813 /proc/meminfo: memFree=1691648/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=74076 CPUtime=1721.61 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 211432 0 0 0 171502 659 0 0 25 0 1 0 249146176 75853824 18143 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 18519 18143 227 40 0 17934 0 Current children cumulated CPU time (s) 1721.61 Current children cumulated vsize (KiB) 74076 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5813 /proc/meminfo: memFree=1689856/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=75848 CPUtime=1781.58 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 212894 0 0 0 177484 674 0 0 25 0 1 0 249146176 77668352 18586 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 18962 18586 227 40 0 18377 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 75848 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.99 2/65 5813 /proc/meminfo: memFree=1689344/2055920 swapFree=4184616/4192956 [pid=5612] ppid=5610 vsize=76364 CPUtime=1800.09 /proc/5612/stat : 5612 (glpPBv3) R 5610 5612 4711 0 -1 0 213289 0 0 0 179329 680 0 0 25 0 1 0 249146176 78196736 18715 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/5612/statm: 19091 18715 227 40 0 18506 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 76364 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.82 CPU time (s): 1800.11 CPU user time (s): 1793.29 CPU system time (s): 6.81496 CPU usage (%): 99.9604 Max. virtual memory (cumulated for all children) (KiB): 76488 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1793.29 system time used= 6.81496 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 213289 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= 1958 runsolver used 1.42278 second user time and 3.54946 second system time The end
Begin job on node59 on Tue May 1 09:39:26 UTC 2007 IDJOB= 431951 IDBENCH= 48088 IDSOLVER= 166 FILE ID= node59/431951-1178012365 PBS_JOBID= 4728272 Free space on /tmp= 66562 MiB SOLVER NAME= glpPB 0.2 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=71-P1=29-P2=241-P3=127-P4=67-P5=23-B.opb COMMAND LINE= glpPBv3 /tmp/evaluation/431951-1178012365/instance-431951-1178012365.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node59/convwatcher-431951-1178012365 -o ROOT/results/node59/conversion-431951-1178012365 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/431951-1178012365/instance-431951-1178012365.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-431951-1178012365 -o ROOT/results/node59/solver-431951-1178012365 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/431951-1178012365/instance-431951-1178012365.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 2f50a7c4db6c104684b2cc399418ffd9 RANDOM SEED= 810624650 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node59.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.268 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.268 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: 1764448 kB Buffers: 28980 kB Cached: 183468 kB SwapCached: 2364 kB Active: 67488 kB Inactive: 155148 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1764448 kB SwapTotal: 4192956 kB SwapFree: 4184616 kB Dirty: 2324 kB Writeback: 0 kB Mapped: 16976 kB Slab: 54808 kB Committed_AS: 3243172 kB PageTables: 1472 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= 66562 MiB End job on node59 on Tue May 1 10:09:29 UTC 2007