Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.1 | 1800.81 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_200_10_5.opb |
MD5SUM | 2585c1015aa6228da840b6f61adc6732 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -52 |
Best CPU time to get the best result obtained on this benchmark | 1800.07 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -52 |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 200 |
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 | 200 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 22 |
Number of terms in the objective function | 200 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 200 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2528 |
Sum of products size (including duplicates) | 5056 |
Number of different products | 1264 |
Sum of products size | 2528 |
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/454653-1178028917/instance-454653-1178028917.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node13/watcher-454653-1178028917 -o ROOT/results/node13/solver-454653-1178028917 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/454653-1178028917/instance-454653-1178028917.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.94 0.97 0.99 3/77 30962 /proc/meminfo: memFree=1765032/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=2648 CPUtime=0 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 267 0 0 0 0 0 0 0 18 0 1 0 250809593 2711552 238 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 12345047 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 662 238 199 40 0 77 0 [startup+0.024103 s] /proc/loadavg: 0.94 0.97 0.99 3/77 30962 /proc/meminfo: memFree=1765032/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=2916 CPUtime=0.01 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 337 0 0 0 1 0 0 0 18 0 1 0 250809593 2985984 308 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 12314235 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 729 308 199 40 0 144 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2916 [startup+0.101119 s] /proc/loadavg: 0.94 0.97 0.99 3/77 30962 /proc/meminfo: memFree=1765032/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=4636 CPUtime=0.09 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 796 0 0 0 9 0 0 0 18 0 1 0 250809593 4747264 766 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 1159 766 221 40 0 574 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4636 [startup+0.301162 s] /proc/loadavg: 0.94 0.97 0.99 3/77 30962 /proc/meminfo: memFree=1765032/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=4860 CPUtime=0.29 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 852 0 0 0 29 0 0 0 19 0 1 0 250809593 4976640 822 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 1215 822 221 40 0 630 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4860 [startup+0.701246 s] /proc/loadavg: 0.94 0.97 0.99 3/77 30962 /proc/meminfo: memFree=1765032/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=5304 CPUtime=0.69 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1019 0 0 0 69 0 0 0 22 0 1 0 250809593 5431296 933 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643620 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 1326 933 221 40 0 741 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5304 [startup+1.50142 s] /proc/loadavg: 0.94 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1760224/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=7176 CPUtime=1.49 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1573 0 0 0 149 0 0 0 25 0 1 0 250809593 7348224 1413 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 1794 1413 227 40 0 1209 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7176 [startup+3.10176 s] /proc/loadavg: 0.94 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1760096/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=7176 CPUtime=3.08 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1573 0 0 0 308 0 0 0 25 0 1 0 250809593 7348224 1413 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 1794 1413 227 40 0 1209 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 7176 [startup+6.30144 s] /proc/loadavg: 0.94 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1760032/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=7176 CPUtime=6.28 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1573 0 0 0 628 0 0 0 25 0 1 0 250809593 7348224 1413 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 1794 1413 227 40 0 1209 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 7176 [startup+12.7018 s] /proc/loadavg: 0.95 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1760040/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=7196 CPUtime=12.68 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1605 0 0 0 1267 1 0 0 25 0 1 0 250809593 7368704 1423 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629279 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 1799 1423 227 40 0 1214 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 7196 [startup+25.5015 s] /proc/loadavg: 0.96 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1759976/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=7392 CPUtime=25.47 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 2696 0 0 0 2545 2 0 0 25 0 1 0 250809593 7569408 1462 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 1848 1462 227 40 0 1263 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 7392 [startup+51.102 s] /proc/loadavg: 0.97 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1759784/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=7628 CPUtime=51.07 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 11779 0 0 0 5098 9 0 0 25 0 1 0 250809593 7811072 1499 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134582202 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 1907 1499 227 40 0 1322 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 7628 [startup+102.306 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1759528/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=8008 CPUtime=102.26 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 48464 0 0 0 10199 27 0 0 25 0 1 0 250809593 8200192 1625 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 2002 1625 227 40 0 1417 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 8008 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1758888/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=8740 CPUtime=162.23 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 92651 0 0 0 16173 50 0 0 25 0 1 0 250809593 8949760 1799 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 2185 1799 227 40 0 1600 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 8740 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1757864/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=9344 CPUtime=222.21 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 138306 0 0 0 22145 76 0 0 25 0 1 0 250809593 9568256 1949 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 2336 1949 227 40 0 1751 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 9344 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1757224/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=9972 CPUtime=282.18 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 181578 0 0 0 28116 102 0 0 25 0 1 0 250809593 10211328 2106 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 2493 2106 227 40 0 1908 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 9972 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1756968/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=10568 CPUtime=342.15 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 225925 0 0 0 34088 127 0 0 25 0 1 0 250809593 10821632 2255 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 2642 2255 227 40 0 2057 0 Current children cumulated CPU time (s) 342.15 Current children cumulated vsize (KiB) 10568 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1756136/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=10572 CPUtime=402.14 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 269331 0 0 0 40061 153 0 0 25 0 1 0 250809593 10825728 2267 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632416 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 2643 2267 227 40 0 2058 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 10572 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1755432/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=11768 CPUtime=462.1 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 313902 0 0 0 46034 176 0 0 25 0 1 0 250809593 12050432 2555 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 2942 2555 227 40 0 2357 0 Current children cumulated CPU time (s) 462.1 Current children cumulated vsize (KiB) 11768 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1754792/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=12308 CPUtime=522.08 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 360507 0 0 0 52005 203 0 0 25 0 1 0 250809593 12603392 2683 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134637580 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 3077 2683 227 40 0 2492 0 Current children cumulated CPU time (s) 522.08 Current children cumulated vsize (KiB) 12308 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1754280/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=12872 CPUtime=582.06 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 405465 0 0 0 57980 226 0 0 25 0 1 0 250809593 13180928 2842 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 3218 2842 227 40 0 2633 0 Current children cumulated CPU time (s) 582.06 Current children cumulated vsize (KiB) 12872 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30963 /proc/meminfo: memFree=1754024/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=13484 CPUtime=642.04 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 450559 0 0 0 63954 250 0 0 25 0 1 0 250809593 13807616 2977 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 12345047 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 3371 2977 227 40 0 2786 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 13484 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 1.03 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1751912/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=15248 CPUtime=821.97 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 588429 0 0 0 81870 327 0 0 25 0 1 0 250809593 15613952 3435 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 3812 3435 227 40 0 3227 0 Current children cumulated CPU time (s) 821.97 Current children cumulated vsize (KiB) 15248 [startup+882.301 s] /proc/loadavg: 1.01 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1751528/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=15384 CPUtime=881.95 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 633763 0 0 0 87843 352 0 0 25 0 1 0 250809593 15753216 3470 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632895 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 3846 3470 227 40 0 3261 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 15384 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1750568/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=16536 CPUtime=941.92 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 679060 0 0 0 93816 376 0 0 25 0 1 0 250809593 16932864 3758 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 4134 3758 227 40 0 3549 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 16536 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1750184/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=16668 CPUtime=1001.89 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 724199 0 0 0 99790 399 0 0 25 0 1 0 250809593 17068032 3791 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 4167 3791 227 40 0 3582 0 Current children cumulated CPU time (s) 1001.89 Current children cumulated vsize (KiB) 16668 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1749352/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=17740 CPUtime=1061.88 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 770258 0 0 0 105763 425 0 0 25 0 1 0 250809593 18165760 4058 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 4435 4058 227 40 0 3850 0 Current children cumulated CPU time (s) 1061.88 Current children cumulated vsize (KiB) 17740 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1748712/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=18360 CPUtime=1121.85 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 815899 0 0 0 111735 450 0 0 25 0 1 0 250809593 18800640 4213 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 4590 4213 227 40 0 4005 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 18360 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1748072/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=18480 CPUtime=1181.82 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 862810 0 0 0 117707 475 0 0 25 0 1 0 250809593 18923520 4244 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134626408 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 4620 4244 227 40 0 4035 0 Current children cumulated CPU time (s) 1181.82 Current children cumulated vsize (KiB) 18480 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1747432/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=19564 CPUtime=1241.8 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 909543 0 0 0 123680 500 0 0 25 0 1 0 250809593 20033536 4514 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 4891 4514 227 40 0 4306 0 Current children cumulated CPU time (s) 1241.8 Current children cumulated vsize (KiB) 19564 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1746792/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=20308 CPUtime=1301.78 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 954517 0 0 0 129653 525 0 0 25 0 1 0 250809593 20795392 4690 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134585317 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 5077 4690 227 40 0 4492 0 Current children cumulated CPU time (s) 1301.78 Current children cumulated vsize (KiB) 20308 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1746600/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=20312 CPUtime=1361.75 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 998480 0 0 0 135625 550 0 0 25 0 1 0 250809593 20799488 4702 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134633020 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 5078 4702 227 40 0 4493 0 Current children cumulated CPU time (s) 1361.75 Current children cumulated vsize (KiB) 20312 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1745640/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=21516 CPUtime=1421.74 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1042365 0 0 0 141599 575 0 0 25 0 1 0 250809593 22032384 4992 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 5379 4992 227 40 0 4794 0 Current children cumulated CPU time (s) 1421.74 Current children cumulated vsize (KiB) 21516 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1745064/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=22112 CPUtime=1481.71 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1088809 0 0 0 147569 602 0 0 25 0 1 0 250809593 22642688 5141 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 5528 5141 227 40 0 4943 0 Current children cumulated CPU time (s) 1481.71 Current children cumulated vsize (KiB) 22112 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30963 /proc/meminfo: memFree=1745384/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=22120 CPUtime=1541.69 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1135126 0 0 0 153539 630 0 0 25 0 1 0 250809593 22650880 5143 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 5530 5143 227 40 0 4945 0 Current children cumulated CPU time (s) 1541.69 Current children cumulated vsize (KiB) 22120 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30964 /proc/meminfo: memFree=1744744/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=22464 CPUtime=1601.66 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1178168 0 0 0 159513 653 0 0 25 0 1 0 250809593 23003136 5229 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 5616 5229 227 40 0 5031 0 Current children cumulated CPU time (s) 1601.66 Current children cumulated vsize (KiB) 22464 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30965 /proc/meminfo: memFree=1744104/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=23068 CPUtime=1661.64 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1224120 0 0 0 165484 680 0 0 25 0 1 0 250809593 23621632 5359 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 5767 5359 227 40 0 5182 0 Current children cumulated CPU time (s) 1661.64 Current children cumulated vsize (KiB) 23068 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30965 /proc/meminfo: memFree=1743848/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=23040 CPUtime=1721.62 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1270417 0 0 0 171458 704 0 0 25 0 1 0 250809593 23592960 5384 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632414 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 5760 5384 227 40 0 5175 0 Current children cumulated CPU time (s) 1721.62 Current children cumulated vsize (KiB) 23040 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30965 /proc/meminfo: memFree=1742952/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=24208 CPUtime=1781.59 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1317043 0 0 0 177430 729 0 0 25 0 1 0 250809593 24788992 5660 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134639290 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 6052 5660 227 40 0 5467 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (KiB) 24208 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.99 2/78 30965 /proc/meminfo: memFree=1743080/2055920 swapFree=4159404/4192956 [pid=30962] ppid=30960 vsize=23784 CPUtime=1800.09 /proc/30962/stat : 30962 (glpPBv3) R 30960 30962 15333 0 -1 0 1330574 0 0 0 179271 738 0 0 25 0 1 0 250809593 24354816 5570 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/30962/statm: 5946 5570 227 40 0 5361 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 23784 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.81 CPU time (s): 1800.1 CPU user time (s): 1792.71 CPU system time (s): 7.38888 CPU usage (%): 99.9606 Max. virtual memory (cumulated for all children) (KiB): 24388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.71 system time used= 7.38888 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1330574 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= 3217 runsolver used 1.27981 second user time and 3.9124 second system time The end
Begin job on node13 on Tue May 1 14:15:18 UTC 2007 IDJOB= 454653 IDBENCH= 48211 IDSOLVER= 166 FILE ID= node13/454653-1178028917 PBS_JOBID= 4728342 Free space on /tmp= 66562 MiB SOLVER NAME= glpPB 0.2 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_5.opb COMMAND LINE= glpPBv3 /tmp/evaluation/454653-1178028917/instance-454653-1178028917.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-454653-1178028917 -o ROOT/results/node13/conversion-454653-1178028917 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454653-1178028917/instance-454653-1178028917.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-454653-1178028917 -o ROOT/results/node13/solver-454653-1178028917 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/454653-1178028917/instance-454653-1178028917.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 2585c1015aa6228da840b6f61adc6732 RANDOM SEED= 894020216 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node13.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.259 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.259 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: 1765512 kB Buffers: 76336 kB Cached: 116544 kB SwapCached: 12684 kB Active: 127840 kB Inactive: 97044 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1765512 kB SwapTotal: 4192956 kB SwapFree: 4159404 kB Dirty: 2460 kB Writeback: 0 kB Mapped: 38104 kB Slab: 51016 kB Committed_AS: 9392416 kB PageTables: 1892 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 node13 on Tue May 1 14:45:21 UTC 2007