Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.07 | 1800.73 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ roussel/factor-mod-B/factor-mod-size=7-P0=89-P1=17-P2=37-B.opb |
MD5SUM | b8556c61a91d14749acba7836969b871 |
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.035993 |
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 | 42 |
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 | 7 |
Maximum length of a constraint | 63 |
Number of terms in the objective function | 7 |
Biggest coefficient in the objective function | 64 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 127 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 8192 |
Number of bits of the biggest number in a constraint | 14 |
Biggest sum of numbers in a constraint | 32512 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 98 |
Sum of products size (including duplicates) | 196 |
Number of different products | 98 |
Sum of products size | 196 |
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/429529-1177986327/instance-429529-1177986327.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-429529-1177986327 -o ROOT/results/node67/solver-429529-1177986327 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/429529-1177986327/instance-429529-1177986327.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.85 0.97 0.97 3/64 4427 /proc/meminfo: memFree=1768016/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=2648 CPUtime=0 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 274622205 2711552 236 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7356119 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 662 236 199 40 0 77 0 [startup+0.0464001 s] /proc/loadavg: 0.85 0.97 0.97 3/64 4427 /proc/meminfo: memFree=1768016/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=2916 CPUtime=0.04 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 379 0 0 0 4 0 0 0 18 0 1 0 274622205 2985984 349 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 729 349 227 40 0 144 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 2916 [startup+0.10241 s] /proc/loadavg: 0.85 0.97 0.97 3/64 4427 /proc/meminfo: memFree=1768016/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=2916 CPUtime=0.09 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 380 0 0 0 9 0 0 0 18 0 1 0 274622205 2985984 350 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 729 350 227 40 0 144 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2916 [startup+0.302446 s] /proc/loadavg: 0.85 0.97 0.97 3/64 4427 /proc/meminfo: memFree=1768016/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=3028 CPUtime=0.29 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 391 0 0 0 29 0 0 0 19 0 1 0 274622205 3100672 361 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 757 361 227 40 0 172 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3028 [startup+0.70152 s] /proc/loadavg: 0.85 0.97 0.97 3/64 4427 /proc/meminfo: memFree=1768016/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=3028 CPUtime=0.69 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 410 0 0 0 68 1 0 0 23 0 1 0 274622205 3100672 380 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 757 380 227 40 0 172 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3028 [startup+1.50167 s] /proc/loadavg: 0.85 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1767304/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=3220 CPUtime=1.49 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 443 0 0 0 147 2 0 0 25 0 1 0 274622205 3297280 413 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 805 413 227 40 0 220 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3220 [startup+3.10196 s] /proc/loadavg: 0.86 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1766984/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=3520 CPUtime=3.09 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 522 0 0 0 305 4 0 0 25 0 1 0 274622205 3604480 492 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 880 492 227 40 0 295 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3520 [startup+6.30154 s] /proc/loadavg: 0.86 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1766224/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=4124 CPUtime=6.29 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 683 0 0 0 620 9 0 0 25 0 1 0 274622205 4222976 653 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 1031 653 227 40 0 446 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4124 [startup+12.7017 s] /proc/loadavg: 0.88 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1765024/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=5316 CPUtime=12.69 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 979 0 0 0 1252 17 0 0 25 0 1 0 274622205 5443584 949 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541654 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 1329 949 227 40 0 744 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 5316 [startup+25.5021 s] /proc/loadavg: 0.90 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1762784/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=7520 CPUtime=25.49 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 1575 0 0 0 2515 34 0 0 25 0 1 0 274622205 7700480 1504 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 1880 1504 227 40 0 1295 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 7520 [startup+51.1028 s] /proc/loadavg: 0.93 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1759136/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=11204 CPUtime=51.07 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 2571 0 0 0 5046 61 0 0 25 0 1 0 274622205 11472896 2419 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134569743 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 2801 2419 227 40 0 2216 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 11204 [startup+102.304 s] /proc/loadavg: 0.97 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1753440/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=16928 CPUtime=102.26 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 4152 0 0 0 10115 111 0 0 25 0 1 0 274622205 17334272 3839 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 4232 3839 227 40 0 3647 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 16928 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1748896/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=21468 CPUtime=162.23 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 5302 0 0 0 16061 162 0 0 25 0 1 0 274622205 21983232 4989 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 5367 4989 227 40 0 4782 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 21468 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1744096/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=26212 CPUtime=222.21 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 6489 0 0 0 22013 208 0 0 25 0 1 0 274622205 26841088 6176 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 6553 6176 227 40 0 5968 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 26212 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1738400/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=31964 CPUtime=282.19 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 8231 0 0 0 27970 249 0 0 25 0 1 0 274622205 32731136 7597 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 7991 7597 227 40 0 7406 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 31964 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1734176/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=36112 CPUtime=342.17 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 9269 0 0 0 33930 287 0 0 25 0 1 0 274622205 36978688 8635 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 9028 8635 227 40 0 8443 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 36112 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1730720/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=39528 CPUtime=402.14 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 10133 0 0 0 39894 320 0 0 25 0 1 0 274622205 40476672 9499 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 9882 9499 227 40 0 9297 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 39528 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1727584/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=42536 CPUtime=462.13 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 10886 0 0 0 45856 357 0 0 25 0 1 0 274622205 43556864 10252 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 10634 10252 227 40 0 10049 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 42536 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1724832/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=45372 CPUtime=522.1 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 11586 0 0 0 51820 390 0 0 25 0 1 0 274622205 46460928 10952 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 11343 10952 227 40 0 10758 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 45372 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1722208/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=47996 CPUtime=582.08 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 12237 0 0 0 57789 419 0 0 25 0 1 0 274622205 49147904 11603 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 11999 11603 227 40 0 11414 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 47996 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1716256/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=53800 CPUtime=642.06 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 14335 0 0 0 63757 449 0 0 25 0 1 0 274622205 55091200 13060 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 13450 13060 227 40 0 12865 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 53800 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1705376/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=64568 CPUtime=881.97 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 17041 0 0 0 87640 557 0 0 25 0 1 0 274622205 66117632 15766 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 16142 15766 227 40 0 15557 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 64568 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4428 /proc/meminfo: memFree=1703200/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=66888 CPUtime=941.95 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 17606 0 0 0 93613 582 0 0 25 0 1 0 274622205 68493312 16331 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 16722 16331 227 40 0 16137 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 66888 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4434 /proc/meminfo: memFree=1701280/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=68704 CPUtime=1001.92 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 18063 0 0 0 99592 600 0 0 25 0 1 0 274622205 70352896 16788 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 17176 16788 227 40 0 16591 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 68704 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1699104/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=70948 CPUtime=1061.9 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 18613 0 0 0 105567 623 0 0 25 0 1 0 274622205 72650752 17338 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 17737 17338 227 40 0 17152 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 70948 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1697504/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=72452 CPUtime=1121.88 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 18987 0 0 0 111548 640 0 0 25 0 1 0 274622205 74190848 17712 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 18113 17712 227 40 0 17528 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 72452 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1695392/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=74472 CPUtime=1181.85 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 19517 0 0 0 117525 660 0 0 25 0 1 0 274622205 76259328 18242 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 18618 18242 227 40 0 18033 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 74472 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1693728/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=76172 CPUtime=1241.83 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 19924 0 0 0 123504 679 0 0 25 0 1 0 274622205 78000128 18649 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 19043 18649 227 40 0 18458 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 76172 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1691936/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=77976 CPUtime=1301.82 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 20372 0 0 0 129482 700 0 0 25 0 1 0 274622205 79847424 19097 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 19494 19097 227 40 0 18909 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 77976 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1690336/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=79588 CPUtime=1361.79 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 20777 0 0 0 135459 720 0 0 25 0 1 0 274622205 81498112 19502 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 19897 19502 227 40 0 19312 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 79588 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1688736/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=81196 CPUtime=1421.77 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 21197 0 0 0 141439 738 0 0 25 0 1 0 274622205 83144704 19922 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 20299 19922 227 40 0 19714 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 81196 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1687264/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=82716 CPUtime=1481.74 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 21559 0 0 0 147419 755 0 0 25 0 1 0 274622205 84701184 20284 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 20679 20284 227 40 0 20094 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 82716 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1685536/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=84440 CPUtime=1541.73 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 21998 0 0 0 153398 775 0 0 25 0 1 0 274622205 86466560 20723 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 21110 20723 227 40 0 20525 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 84440 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1683872/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=86068 CPUtime=1601.7 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 22404 0 0 0 159378 792 0 0 25 0 1 0 274622205 88133632 21129 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 21517 21129 227 40 0 20932 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 86068 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1682272/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=87684 CPUtime=1661.68 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 22801 0 0 0 165358 810 0 0 25 0 1 0 274622205 89788416 21526 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578243 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 21921 21526 227 40 0 21336 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 87684 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1680992/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=88876 CPUtime=1721.66 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 23111 0 0 0 171336 830 0 0 25 0 1 0 274622205 91009024 21836 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 22219 21836 227 40 0 21634 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 88876 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1679712/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=90096 CPUtime=1781.64 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 23417 0 0 0 177315 849 0 0 25 0 1 0 274622205 92258304 22142 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 22524 22142 227 40 0 21939 0 Current children cumulated CPU time (s) 1781.64 Current children cumulated vsize (KiB) 90096 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.97 2/65 4436 /proc/meminfo: memFree=1679200/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=90692 CPUtime=1800.04 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 23550 0 0 0 179150 854 0 0 25 0 1 0 274622205 92868608 22275 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 22673 22275 227 40 0 22088 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 90692 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.97 0.97 2/65 4436 /proc/meminfo: memFree=1679200/2055920 swapFree=4183044/4192956 [pid=4427] ppid=4425 vsize=90692 CPUtime=1800.04 /proc/4427/stat : 4427 (glpPBv3) R 4425 4427 2335 0 -1 0 23550 0 0 0 179150 854 0 0 25 0 1 0 274622205 92868608 22275 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4427/statm: 22673 22275 227 40 0 22088 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 90692 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.73 CPU time (s): 1800.07 CPU user time (s): 1791.5 CPU system time (s): 8.5637 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (KiB): 90692 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.5 system time used= 8.5637 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23550 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= 10 involuntary context switches= 2415 runsolver used 1.38679 second user time and 3.53646 second system time The end
Begin job on node67 on Tue May 1 02:25:27 UTC 2007 IDJOB= 429529 IDBENCH= 47915 IDSOLVER= 166 FILE ID= node67/429529-1177986327 PBS_JOBID= 4727932 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=7-P0=89-P1=17-P2=37-B.opb COMMAND LINE= glpPBv3 /tmp/evaluation/429529-1177986327/instance-429529-1177986327.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node67/convwatcher-429529-1177986327 -o ROOT/results/node67/conversion-429529-1177986327 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/429529-1177986327/instance-429529-1177986327.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-429529-1177986327 -o ROOT/results/node67/solver-429529-1177986327 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/429529-1177986327/instance-429529-1177986327.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= b8556c61a91d14749acba7836969b871 RANDOM SEED= 792482913 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node67.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.263 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.263 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: 1768424 kB Buffers: 13584 kB Cached: 202928 kB SwapCached: 3808 kB Active: 51380 kB Inactive: 175448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1768424 kB SwapTotal: 4192956 kB SwapFree: 4183044 kB Dirty: 2440 kB Writeback: 0 kB Mapped: 16232 kB Slab: 46600 kB Committed_AS: 1324760 kB PageTables: 1452 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 node67 on Tue May 1 02:55:30 UTC 2007