Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (exit code) | 1570.79 | 1571.36 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb |
MD5SUM | 616d60d0b9e17d59a77d69efb2609a49 |
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.133979 |
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 | 108 |
Total number of constraints | 9 |
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 | 9 |
Minimum length of a constraint | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 324 |
Sum of products size (including duplicates) | 648 |
Number of different products | 324 |
Sum of products size | 648 |
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 1570.72/1571.34 c starting to Solve 1570.72/1571.34 Assertion failed: x >= lb; file glpmip2.c; line 230
ERROR: no interpretation found !
Linearizing /tmp/evaluation/429375-1177984077/instance-429375-1177984077.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node24/watcher-429375-1177984077 -o ROOT/results/node24/solver-429375-1177984077 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/429375-1177984077/instance-429375-1177984077.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.02 1.03 0.96 3/77 24497 /proc/meminfo: memFree=1845264/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=2648 CPUtime=0 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 246325741 2711552 236 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 3071703 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 662 236 199 40 0 77 0 [startup+0.0166689 s] /proc/loadavg: 1.02 1.03 0.96 3/77 24497 /proc/meminfo: memFree=1845264/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=3124 CPUtime=0.01 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 414 0 0 0 1 0 0 0 18 0 1 0 246325741 3198976 384 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 781 384 223 40 0 196 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 3124 [startup+0.102679 s] /proc/loadavg: 1.02 1.03 0.96 3/77 24497 /proc/meminfo: memFree=1845264/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=3528 CPUtime=0.09 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 520 0 0 0 9 0 0 0 18 0 1 0 246325741 3612672 490 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 882 490 227 40 0 297 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3528 [startup+0.302699 s] /proc/loadavg: 1.02 1.03 0.96 3/77 24497 /proc/meminfo: memFree=1845264/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=3528 CPUtime=0.29 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 525 0 0 0 29 0 0 0 20 0 1 0 246325741 3612672 495 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 882 495 227 40 0 297 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3528 [startup+0.701743 s] /proc/loadavg: 1.02 1.03 0.96 3/77 24497 /proc/meminfo: memFree=1845264/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=3528 CPUtime=0.69 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 530 0 0 0 69 0 0 0 23 0 1 0 246325741 3612672 500 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 3039239 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 882 500 227 40 0 297 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3528 [startup+1.50183 s] /proc/loadavg: 1.02 1.02 0.96 2/78 24498 /proc/meminfo: memFree=1844104/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=3548 CPUtime=1.49 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 803 0 0 0 149 0 0 0 25 0 1 0 246325741 3633152 511 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636804 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 887 511 227 40 0 302 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3548 [startup+3.102 s] /proc/loadavg: 1.02 1.02 0.96 2/78 24498 /proc/meminfo: memFree=1843912/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=3664 CPUtime=3.09 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 2601 0 0 0 307 2 0 0 25 0 1 0 246325741 3751936 540 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134628982 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 916 540 227 40 0 331 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3664 [startup+6.30135 s] /proc/loadavg: 1.02 1.02 0.96 2/78 24498 /proc/meminfo: memFree=1843656/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=3916 CPUtime=6.29 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 5030 0 0 0 623 6 0 0 25 0 1 0 246325741 4009984 603 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 979 603 227 40 0 394 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 3916 [startup+12.701 s] /proc/loadavg: 1.01 1.02 0.96 2/78 24498 /proc/meminfo: memFree=1843080/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=4492 CPUtime=12.68 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 9751 0 0 0 1258 10 0 0 25 0 1 0 246325741 4599808 717 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 1123 717 227 40 0 538 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 4492 [startup+25.5014 s] /proc/loadavg: 1.01 1.02 0.96 2/78 24498 /proc/meminfo: memFree=1842248/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=5224 CPUtime=25.48 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 19073 0 0 0 2525 23 0 0 25 0 1 0 246325741 5349376 930 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134626399 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 1306 930 227 40 0 721 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 5224 [startup+51.1012 s] /proc/loadavg: 1.01 1.02 0.96 2/78 24498 /proc/meminfo: memFree=1840520/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=6960 CPUtime=51.07 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 38869 0 0 0 5058 49 0 0 25 0 1 0 246325741 7127040 1364 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 1740 1364 227 40 0 1155 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 6960 [startup+102.306 s] /proc/loadavg: 1.00 1.02 0.96 2/78 24498 /proc/meminfo: memFree=1837256/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=10164 CPUtime=102.26 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 41658 0 0 0 10157 69 0 0 25 0 1 0 246325741 10407936 2165 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134537379 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 2541 2165 227 40 0 1956 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 10164 [startup+162.301 s] /proc/loadavg: 1.00 1.01 0.96 2/78 24498 /proc/meminfo: memFree=1834120/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=13284 CPUtime=162.25 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 44648 0 0 0 16129 96 0 0 25 0 1 0 246325741 13602816 2945 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 3321 2945 227 40 0 2736 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 13284 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 24498 /proc/meminfo: memFree=1830728/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=16620 CPUtime=222.23 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 46492 0 0 0 22106 117 0 0 25 0 1 0 246325741 17018880 3779 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 4155 3779 227 40 0 3570 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 16620 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.96 2/78 24498 /proc/meminfo: memFree=1827720/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=19556 CPUtime=282.22 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 48643 0 0 0 28082 140 0 0 25 0 1 0 246325741 20025344 4513 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134569494 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 4889 4513 227 40 0 4304 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 19556 [startup+342.303 s] /proc/loadavg: 1.00 1.00 0.96 2/78 24498 /proc/meminfo: memFree=1824840/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=22456 CPUtime=342.2 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 50687 0 0 0 34059 161 0 0 25 0 1 0 246325741 22994944 5238 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 5614 5238 227 40 0 5029 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 22456 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 24498 /proc/meminfo: memFree=1822344/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=24980 CPUtime=402.19 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 52530 0 0 0 40036 183 0 0 25 0 1 0 246325741 25579520 5869 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 6245 5869 227 40 0 5660 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 24980 [startup+462.303 s] /proc/loadavg: 1.00 1.00 0.96 2/78 24498 /proc/meminfo: memFree=1818312/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=29004 CPUtime=462.17 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 55355 0 0 0 46012 205 0 0 25 0 1 0 246325741 29700096 6874 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 7251 6874 227 40 0 6666 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 29004 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 24498 /proc/meminfo: memFree=1815368/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=31932 CPUtime=522.16 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 58131 0 0 0 51984 232 0 0 25 0 1 0 246325741 32698368 7607 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541769 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 7983 7607 227 40 0 7398 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 31932 [startup+582.303 s] /proc/loadavg: 1.00 1.00 0.96 2/78 24498 /proc/meminfo: memFree=1812680/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=34764 CPUtime=582.14 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 60984 0 0 0 57958 256 0 0 25 0 1 0 246325741 35598336 8283 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134590972 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 8691 8283 227 40 0 8106 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 34764 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.96 2/78 24498 /proc/meminfo: memFree=1810056/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=37292 CPUtime=642.13 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 62969 0 0 0 63938 275 0 0 25 0 1 0 246325741 38187008 8947 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 9323 8947 227 40 0 8738 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 37292 ################ # More data... # ################ /proc/meminfo: memFree=1778176/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=46376 CPUtime=881.89 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 71349 0 0 0 87838 351 0 0 25 0 1 0 246325741 47489024 11218 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134634363 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 11594 11218 227 40 0 11009 0 Current children cumulated CPU time (s) 881.89 Current children cumulated vsize (KiB) 46376 [startup+942.302 s] /proc/loadavg: 1.05 1.03 0.98 2/78 25172 /proc/meminfo: memFree=1776384/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=48288 CPUtime=941.88 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 72160 0 0 0 93825 363 0 0 25 0 1 0 246325741 49446912 11696 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 12072 11696 227 40 0 11487 0 Current children cumulated CPU time (s) 941.88 Current children cumulated vsize (KiB) 48288 [startup+1002.3 s] /proc/loadavg: 1.02 1.02 0.98 2/78 25172 /proc/meminfo: memFree=1771648/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=52948 CPUtime=1001.86 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 75013 0 0 0 99805 381 0 0 25 0 1 0 246325741 54218752 12861 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 13237 12861 227 40 0 12652 0 Current children cumulated CPU time (s) 1001.86 Current children cumulated vsize (KiB) 52948 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 0.98 2/78 25172 /proc/meminfo: memFree=1769600/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=55152 CPUtime=1061.85 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 76373 0 0 0 105788 397 0 0 25 0 1 0 246325741 56475648 13384 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 13788 13384 227 40 0 13203 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 55152 [startup+1122.3 s] /proc/loadavg: 1.00 1.01 0.98 2/78 25172 /proc/meminfo: memFree=1767872/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=56740 CPUtime=1121.83 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 77761 0 0 0 111771 412 0 0 25 0 1 0 246325741 58101760 13809 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 14185 13809 227 40 0 13600 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 56740 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 0.98 2/78 25172 /proc/meminfo: memFree=1765832/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=58768 CPUtime=1181.81 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 79721 0 0 0 117750 431 0 0 25 0 1 0 246325741 60178432 14316 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 14692 14316 227 40 0 14107 0 Current children cumulated CPU time (s) 1181.81 Current children cumulated vsize (KiB) 58768 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1763784/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=60860 CPUtime=1241.8 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 82038 0 0 0 123733 447 0 0 25 0 1 0 246325741 62320640 14839 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534268 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 15215 14839 227 40 0 14630 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 60860 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1761800/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=62844 CPUtime=1301.79 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 84542 0 0 0 129713 466 0 0 25 0 1 0 246325741 64352256 15335 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534928 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 15711 15335 227 40 0 15126 0 Current children cumulated CPU time (s) 1301.79 Current children cumulated vsize (KiB) 62844 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1759816/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=64872 CPUtime=1361.77 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 87196 0 0 0 135692 485 0 0 25 0 1 0 246325741 66428928 15842 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 16218 15842 227 40 0 15633 0 Current children cumulated CPU time (s) 1361.77 Current children cumulated vsize (KiB) 64872 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1757832/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=66872 CPUtime=1421.76 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 89192 0 0 0 141673 503 0 0 25 0 1 0 246325741 68476928 16342 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 16718 16342 227 40 0 16133 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 66872 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1756104/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=68572 CPUtime=1481.74 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 90634 0 0 0 147658 516 0 0 25 0 1 0 246325741 70217728 16767 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 17143 16767 227 40 0 16558 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 68572 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1754056/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=70556 CPUtime=1541.72 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 92952 0 0 0 153637 535 0 0 25 0 1 0 246325741 72249344 17263 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 17639 17263 227 40 0 17054 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 70556 Solver just ended. Dumping a history of the last processes samples [startup+1548.7 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1753864/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=70744 CPUtime=1548.13 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 93164 0 0 0 154275 538 0 0 25 0 1 0 246325741 72441856 17309 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 17686 17309 227 40 0 17101 0 Current children cumulated CPU time (s) 1548.13 Current children cumulated vsize (KiB) 70744 [startup+1561.5 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1753544/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=71228 CPUtime=1560.92 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 93669 0 0 0 155551 541 0 0 25 0 1 0 246325741 72937472 17401 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 3040891 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 17807 17401 227 40 0 17222 0 Current children cumulated CPU time (s) 1560.92 Current children cumulated vsize (KiB) 71228 [startup+1567.9 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1753352/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=71276 CPUtime=1567.31 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 93888 0 0 0 156188 543 0 0 25 0 1 0 246325741 72986624 17443 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 17819 17443 227 40 0 17234 0 Current children cumulated CPU time (s) 1567.31 Current children cumulated vsize (KiB) 71276 [startup+1569.5 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1753352/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=71300 CPUtime=1568.92 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 93951 0 0 0 156348 544 0 0 25 0 1 0 246325741 73011200 17449 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 17825 17449 227 40 0 17240 0 Current children cumulated CPU time (s) 1568.92 Current children cumulated vsize (KiB) 71300 [startup+1570.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1753288/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=71340 CPUtime=1569.71 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 93987 0 0 0 156427 544 0 0 25 0 1 0 246325741 73052160 17458 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 17835 17458 227 40 0 17250 0 Current children cumulated CPU time (s) 1569.71 Current children cumulated vsize (KiB) 71340 [startup+1571.1 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1753288/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=71368 CPUtime=1570.52 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 94029 0 0 0 156507 545 0 0 25 0 1 0 246325741 73080832 17466 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 17842 17466 227 40 0 17257 0 Current children cumulated CPU time (s) 1570.52 Current children cumulated vsize (KiB) 71368 [startup+1571.3 s] /proc/loadavg: 1.00 1.00 0.98 2/78 25172 /proc/meminfo: memFree=1753288/2055920 swapFree=4143580/4192956 [pid=24497] ppid=24495 vsize=71392 CPUtime=1570.72 /proc/24497/stat : 24497 (glpPBv3) R 24495 24497 23933 0 -1 0 94055 0 0 0 156527 545 0 0 25 0 1 0 246325741 73105408 17472 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/24497/statm: 17848 17472 227 40 0 17263 0 Current children cumulated CPU time (s) 1570.72 Current children cumulated vsize (KiB) 71392 Child status: 1 Real time (s): 1571.36 CPU time (s): 1570.79 CPU user time (s): 1565.32 CPU system time (s): 5.46617 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (KiB): 71464 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1565.32 system time used= 5.46617 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 94059 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= 13 involuntary context switches= 32710 runsolver used 1.25681 second user time and 3.59445 second system time The end
Begin job on node24 on Tue May 1 01:47:57 UTC 2007 IDJOB= 429375 IDBENCH= 47904 IDSOLVER= 166 FILE ID= node24/429375-1177984077 PBS_JOBID= 4727967 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=9-P0=251-P1=139-P2=89-P3=173-P4=107-B.opb COMMAND LINE= glpPBv3 /tmp/evaluation/429375-1177984077/instance-429375-1177984077.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node24/convwatcher-429375-1177984077 -o ROOT/results/node24/conversion-429375-1177984077 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/429375-1177984077/instance-429375-1177984077.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-429375-1177984077 -o ROOT/results/node24/solver-429375-1177984077 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/429375-1177984077/instance-429375-1177984077.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 616d60d0b9e17d59a77d69efb2609a49 RANDOM SEED= 669534135 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node24.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.238 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.238 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: 1845736 kB Buffers: 33832 kB Cached: 91344 kB SwapCached: 17148 kB Active: 75660 kB Inactive: 73496 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1845736 kB SwapTotal: 4192956 kB SwapFree: 4143580 kB Dirty: 2380 kB Writeback: 0 kB Mapped: 30868 kB Slab: 46532 kB Committed_AS: 3887792 kB PageTables: 1812 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 node24 on Tue May 1 02:14:09 UTC 2007