Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.02 | 1800.62 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mis/normalized-mis_100_10_1.opb |
MD5SUM | fac2f381943513d71e556a5764721ca3 |
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 | -26 |
Best CPU time to get the best result obtained on this benchmark | 204.924 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -26 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 18 |
Number of terms in the objective function | 100 |
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 | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 1248 |
Sum of products size (including duplicates) | 2496 |
Number of different products | 624 |
Sum of products size | 1248 |
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/454758-1178030669/instance-454758-1178030669.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node2/watcher-454758-1178030669 -o ROOT/results/node2/solver-454758-1178030669 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/454758-1178030669/instance-454758-1178030669.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.00 1.03 1.00 3/77 13010 /proc/meminfo: memFree=1829528/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=2648 CPUtime=0 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 279104718 2711552 236 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 11001559 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 662 236 199 40 0 77 0 [startup+0.088418 s] /proc/loadavg: 1.00 1.03 1.00 3/77 13010 /proc/meminfo: memFree=1829528/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=3784 CPUtime=0.08 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 562 0 0 0 8 0 0 0 18 0 1 0 279104718 3874816 532 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 946 532 221 40 0 361 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3784 [startup+0.101419 s] /proc/loadavg: 1.00 1.03 1.00 3/77 13010 /proc/meminfo: memFree=1829528/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=3784 CPUtime=0.09 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 562 0 0 0 9 0 0 0 18 0 1 0 279104718 3874816 532 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 946 532 221 40 0 361 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3784 [startup+0.301441 s] /proc/loadavg: 1.00 1.03 1.00 3/77 13010 /proc/meminfo: memFree=1829528/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=4724 CPUtime=0.29 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 832 0 0 0 29 0 0 0 19 0 1 0 279104718 4837376 802 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 1181 802 227 40 0 596 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4724 [startup+0.701481 s] /proc/loadavg: 1.00 1.03 1.00 3/77 13010 /proc/meminfo: memFree=1829528/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=4724 CPUtime=0.69 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 832 0 0 0 69 0 0 0 23 0 1 0 279104718 4837376 802 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632597 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 1181 802 227 40 0 596 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4724 [startup+1.50156 s] /proc/loadavg: 1.00 1.03 1.00 2/78 13011 /proc/meminfo: memFree=1827152/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=4724 CPUtime=1.49 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 833 0 0 0 149 0 0 0 25 0 1 0 279104718 4837376 803 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 1181 803 227 40 0 596 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4724 [startup+3.10173 s] /proc/loadavg: 1.00 1.03 1.00 2/78 13011 /proc/meminfo: memFree=1827024/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=4840 CPUtime=3.09 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 844 0 0 0 308 1 0 0 25 0 1 0 279104718 4956160 814 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 1210 814 227 40 0 625 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4840 [startup+6.30106 s] /proc/loadavg: 1.00 1.03 1.00 2/78 13011 /proc/meminfo: memFree=1826768/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=4840 CPUtime=6.29 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 860 0 0 0 627 2 0 0 25 0 1 0 279104718 4956160 830 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 1210 830 227 40 0 625 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4840 [startup+12.7027 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13011 /proc/meminfo: memFree=1826584/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=4840 CPUtime=12.69 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 2363 0 0 0 1264 5 0 0 25 0 1 0 279104718 4956160 834 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542146 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 1210 834 227 40 0 625 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 4840 [startup+25.5011 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13011 /proc/meminfo: memFree=1826392/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=5328 CPUtime=25.49 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 12413 0 0 0 2538 11 0 0 25 0 1 0 279104718 5455872 924 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 1332 924 227 40 0 747 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 5328 [startup+51.1017 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13011 /proc/meminfo: memFree=1825752/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=5944 CPUtime=51.07 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 33833 0 0 0 5084 23 0 0 25 0 1 0 279104718 6086656 1087 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 1486 1087 227 40 0 901 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 5944 [startup+102.305 s] /proc/loadavg: 1.00 1.02 1.00 2/78 13011 /proc/meminfo: memFree=1824792/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=6836 CPUtime=102.27 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 77398 0 0 0 10176 51 0 0 25 0 1 0 279104718 7000064 1301 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 1709 1301 227 40 0 1124 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 6836 [startup+162.301 s] /proc/loadavg: 1.00 1.01 1.00 2/78 13011 /proc/meminfo: memFree=1823448/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=8156 CPUtime=162.25 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 130067 0 0 0 16142 83 0 0 25 0 1 0 279104718 8351744 1631 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 2039 1631 227 40 0 1454 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 8156 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13011 /proc/meminfo: memFree=1822040/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=9252 CPUtime=222.23 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 183715 0 0 0 22111 112 0 0 25 0 1 0 279104718 9474048 1937 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632673 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 2313 1937 227 40 0 1728 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 9252 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13011 /proc/meminfo: memFree=1820760/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=10812 CPUtime=282.21 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 238534 0 0 0 28078 143 0 0 25 0 1 0 279104718 11071488 2295 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 2703 2295 227 40 0 2118 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 10812 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13011 /proc/meminfo: memFree=1819352/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=12104 CPUtime=342.2 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 292812 0 0 0 34047 173 0 0 25 0 1 0 279104718 12394496 2641 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 3026 2641 227 40 0 2441 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 12104 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13011 /proc/meminfo: memFree=1818072/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=13192 CPUtime=402.18 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 348642 0 0 0 40013 205 0 0 25 0 1 0 279104718 13508608 2922 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134569362 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 3332 2923 227 40 0 2747 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 13192 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13011 /proc/meminfo: memFree=1816920/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=14432 CPUtime=462.16 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 404646 0 0 0 45981 235 0 0 25 0 1 0 279104718 14778368 3232 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 3608 3232 227 40 0 3023 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 14432 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13011 /proc/meminfo: memFree=1815640/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=15976 CPUtime=522.15 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 461699 0 0 0 51948 267 0 0 25 0 1 0 279104718 16359424 3586 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 3994 3586 227 40 0 3409 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 15976 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13011 /proc/meminfo: memFree=1814424/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=17160 CPUtime=582.13 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 519407 0 0 0 57916 297 0 0 25 0 1 0 279104718 17571840 3882 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 4290 3882 227 40 0 3705 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 17160 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13011 /proc/meminfo: memFree=1813400/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=17932 CPUtime=642.12 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 579388 0 0 0 63878 334 0 0 25 0 1 0 279104718 18362368 4107 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 4483 4107 227 40 0 3898 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 17932 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13011 /proc/meminfo: memFree=1809880/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=21768 CPUtime=822.06 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 752996 0 0 0 81770 436 0 0 25 0 1 0 279104718 22290432 5044 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 5442 5044 227 40 0 4857 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 21768 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13011 /proc/meminfo: memFree=1808856/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=22708 CPUtime=882.05 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 813814 0 0 0 87733 472 0 0 25 0 1 0 279104718 23252992 5269 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 5677 5269 227 40 0 5092 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 22708 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13011 /proc/meminfo: memFree=1807960/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=23612 CPUtime=942.02 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 875632 0 0 0 93695 507 0 0 25 0 1 0 279104718 24178688 5495 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 5903 5495 227 40 0 5318 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 23612 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/84 13085 /proc/meminfo: memFree=1806240/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=24064 CPUtime=1001.98 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 942571 0 0 0 99651 547 0 0 25 0 1 0 279104718 24641536 5608 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 6016 5608 227 40 0 5431 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 24064 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1806296/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=25108 CPUtime=1061.91 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 999862 0 0 0 105606 585 0 0 25 0 1 0 279104718 25710592 5869 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 6277 5869 227 40 0 5692 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 25108 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1805272/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=25884 CPUtime=1121.88 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1058627 0 0 0 111572 616 0 0 25 0 1 0 279104718 26505216 6095 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629108 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 6471 6095 227 40 0 5886 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 25884 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1804376/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=27092 CPUtime=1181.88 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1119643 0 0 0 117534 654 0 0 25 0 1 0 279104718 27742208 6365 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 6773 6365 227 40 0 6188 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 27092 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1803480/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=27852 CPUtime=1241.86 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1184116 0 0 0 123494 692 0 0 25 0 1 0 279104718 28520448 6564 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 6963 6564 227 40 0 6378 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 27852 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1803288/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=28068 CPUtime=1301.84 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1251279 0 0 0 129454 730 0 0 25 0 1 0 279104718 28741632 6609 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 7017 6609 227 40 0 6432 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 28068 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1802712/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=28728 CPUtime=1361.82 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1315381 0 0 0 135414 768 0 0 25 0 1 0 279104718 29417472 6774 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 7182 6774 227 40 0 6597 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 28728 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1802136/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=29316 CPUtime=1421.81 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1390148 0 0 0 141373 808 0 0 25 0 1 0 279104718 30019584 6921 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 7329 6921 227 40 0 6744 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 29316 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1802136/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=29316 CPUtime=1481.79 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1461599 0 0 0 147332 847 0 0 25 0 1 0 279104718 30019584 6930 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 7329 6930 227 40 0 6744 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 29316 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1802136/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=29316 CPUtime=1541.77 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1523812 0 0 0 153294 883 0 0 25 0 1 0 279104718 30019584 6930 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 7329 6930 227 40 0 6744 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 29316 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1801368/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=30036 CPUtime=1601.75 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1584989 0 0 0 159253 922 0 0 25 0 1 0 279104718 30756864 7110 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 7509 7110 227 40 0 6924 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 30036 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1800792/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=30624 CPUtime=1661.74 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1651811 0 0 0 165210 964 0 0 25 0 1 0 279104718 31358976 7248 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 7656 7248 227 40 0 7071 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 30624 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1800216/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=31172 CPUtime=1721.72 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1721247 0 0 0 171164 1008 0 0 25 0 1 0 279104718 31920128 7394 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 7793 7394 227 40 0 7208 0 Current children cumulated CPU time (s) 1721.72 Current children cumulated vsize (KiB) 31172 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1800024/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=31084 CPUtime=1781.7 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1800212 0 0 0 177115 1055 0 0 25 0 1 0 279104718 31830016 7395 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134569956 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 7771 7395 227 40 0 7186 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 31084 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 13209 /proc/meminfo: memFree=1800024/2055920 swapFree=4148820/4192956 [pid=13010] ppid=13008 vsize=31360 CPUtime=1800 /proc/13010/stat : 13010 (glpPBv3) R 13008 13010 23996 0 -1 0 1825038 0 0 0 178931 1069 0 0 25 0 1 0 279104718 32112640 7432 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/13010/statm: 7840 7432 227 40 0 7255 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 31360 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.62 CPU time (s): 1800.02 CPU user time (s): 1789.32 CPU system time (s): 10.7024 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (KiB): 31360 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.32 system time used= 10.7024 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1825038 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= 17146 runsolver used 1.36579 second user time and 3.86541 second system time The end
Begin job on node2 on Tue May 1 14:44:29 UTC 2007 IDJOB= 454758 IDBENCH= 48218 IDSOLVER= 166 FILE ID= node2/454758-1178030669 PBS_JOBID= 4728374 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_100_10_1.opb COMMAND LINE= glpPBv3 /tmp/evaluation/454758-1178030669/instance-454758-1178030669.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node2/convwatcher-454758-1178030669 -o ROOT/results/node2/conversion-454758-1178030669 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/454758-1178030669/instance-454758-1178030669.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-454758-1178030669 -o ROOT/results/node2/solver-454758-1178030669 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/454758-1178030669/instance-454758-1178030669.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= fac2f381943513d71e556a5764721ca3 RANDOM SEED= 651397213 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node2.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.234 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.234 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: 1829872 kB Buffers: 68620 kB Cached: 64976 kB SwapCached: 12060 kB Active: 106020 kB Inactive: 55544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1829872 kB SwapTotal: 4192956 kB SwapFree: 4148820 kB Dirty: 2412 kB Writeback: 0 kB Mapped: 33268 kB Slab: 49932 kB Committed_AS: 9877460 kB PageTables: 1876 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 node2 on Tue May 1 15:14:32 UTC 2007