Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.06 | 1800.51 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_1_40.opb |
MD5SUM | 3f7fb60f05fdea42d317cf95beb113ab |
Bench Category | SATUNSAT-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 40 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2496 |
Sum of products size (including duplicates) | 4992 |
Number of different products | 1248 |
Sum of products size | 2496 |
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/457590-1178370669/instance-457590-1178370669.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node60/watcher-457590-1178370669 -o ROOT/results/node60/solver-457590-1178370669 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/457590-1178370669/instance-457590-1178370669.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.99 0.97 0.91 3/64 3554 /proc/meminfo: memFree=1466448/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=2648 CPUtime=0 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 265 0 0 0 0 0 0 0 18 0 1 0 284976942 2711552 236 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134530872 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 662 238 199 40 0 77 0 [startup+0.0465811 s] /proc/loadavg: 0.99 0.97 0.91 3/64 3554 /proc/meminfo: memFree=1466448/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=3852 CPUtime=0.03 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 572 0 0 0 3 0 0 0 18 0 1 0 284976942 3944448 543 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134536856 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 963 543 201 40 0 378 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 3852 [startup+0.101585 s] /proc/loadavg: 0.99 0.97 0.91 3/64 3554 /proc/meminfo: memFree=1466448/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=4812 CPUtime=0.09 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 841 0 0 0 9 0 0 0 18 0 1 0 284976942 4927488 811 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1203 811 221 40 0 618 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4812 [startup+0.301605 s] /proc/loadavg: 0.99 0.97 0.91 3/64 3554 /proc/meminfo: memFree=1466448/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=6472 CPUtime=0.29 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 1315 0 0 0 29 0 0 0 19 0 1 0 284976942 6627328 1237 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134632679 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1618 1237 227 40 0 1033 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6472 [startup+0.701644 s] /proc/loadavg: 0.99 0.97 0.91 3/64 3554 /proc/meminfo: memFree=1466448/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=6564 CPUtime=0.69 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 1333 0 0 0 69 0 0 0 22 0 1 0 284976942 6721536 1255 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643631 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1641 1255 227 40 0 1056 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6564 [startup+1.50172 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1462216/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=6948 CPUtime=1.49 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 1515 0 0 0 148 1 0 0 25 0 1 0 284976942 7114752 1361 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134632414 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1737 1361 227 40 0 1152 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6948 [startup+3.10188 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1461640/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=6948 CPUtime=3.09 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 1515 0 0 0 308 1 0 0 25 0 1 0 284976942 7114752 1361 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1737 1361 227 40 0 1152 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6948 [startup+6.3012 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1461640/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=6948 CPUtime=6.29 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 1515 0 0 0 628 1 0 0 25 0 1 0 284976942 7114752 1361 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134629080 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1737 1361 227 40 0 1152 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6948 [startup+12.7018 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1461648/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=6948 CPUtime=12.68 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 1548 0 0 0 1266 2 0 0 25 0 1 0 284976942 7114752 1361 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134626354 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1737 1361 227 40 0 1152 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 6948 [startup+25.5011 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1461584/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=7108 CPUtime=25.49 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 1984 0 0 0 2545 4 0 0 25 0 1 0 284976942 7278592 1369 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1777 1369 227 40 0 1192 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 7108 [startup+51.1016 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1461456/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=6948 CPUtime=51.08 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 3915 0 0 0 5102 6 0 0 25 0 1 0 284976942 7114752 1361 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542128 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1737 1361 227 40 0 1152 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 6948 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1461392/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=6948 CPUtime=102.27 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 13377 0 0 0 10214 13 0 0 25 0 1 0 284976942 7114752 1361 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134543003 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1737 1361 227 40 0 1152 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 6948 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1460944/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=7060 CPUtime=162.25 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 31081 0 0 0 16201 24 0 0 25 0 1 0 284976942 7229440 1389 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1765 1389 227 40 0 1180 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 7060 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1460752/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=7936 CPUtime=222.24 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 49262 0 0 0 22188 36 0 0 25 0 1 0 284976942 8126464 1598 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1984 1598 227 40 0 1399 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 7936 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1460368/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=8180 CPUtime=282.22 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 67783 0 0 0 28174 48 0 0 25 0 1 0 284976942 8376320 1659 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643553 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2045 1659 227 40 0 1460 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 8180 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1460112/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=7784 CPUtime=342.2 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 85942 0 0 0 34163 57 0 0 25 0 1 0 284976942 7970816 1570 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134629055 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 1946 1570 227 40 0 1361 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 7784 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1460304/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=8008 CPUtime=402.19 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 104803 0 0 0 40150 69 0 0 25 0 1 0 284976942 8200192 1626 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2002 1626 227 40 0 1417 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 8008 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1460176/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=8736 CPUtime=462.18 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 123755 0 0 0 46136 82 0 0 25 0 1 0 284976942 8945664 1798 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643597 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2184 1798 227 40 0 1599 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 8736 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1459664/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=8776 CPUtime=522.16 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 143650 0 0 0 52120 96 0 0 25 0 1 0 284976942 8986624 1818 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134585716 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2194 1818 227 40 0 1609 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 8776 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1459920/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=9060 CPUtime=582.14 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 162891 0 0 0 58105 109 0 0 25 0 1 0 284976942 9277440 1879 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134586542 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2265 1879 227 40 0 1680 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 9060 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1459728/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=8644 CPUtime=642.13 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 182722 0 0 0 64091 122 0 0 25 0 1 0 284976942 8851456 1785 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643748 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2161 1785 227 40 0 1576 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 8644 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1458896/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=9236 CPUtime=882.07 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 261441 0 0 0 88028 179 0 0 25 0 1 0 284976942 9457664 1933 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643759 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2309 1933 227 40 0 1724 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 9236 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1459024/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=9836 CPUtime=942.05 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 281664 0 0 0 94013 192 0 0 25 0 1 0 284976942 10072064 2083 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134585691 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2459 2083 227 40 0 1874 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 9836 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1458896/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=10136 CPUtime=1002.04 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 298749 0 0 0 99998 206 0 0 25 0 1 0 284976942 10379264 2148 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2534 2148 227 40 0 1949 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 10136 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1458384/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=10284 CPUtime=1062.02 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 317106 0 0 0 105981 221 0 0 25 0 1 0 284976942 10530816 2185 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134605736 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2571 2185 227 40 0 1986 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 10284 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1458576/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=10436 CPUtime=1122 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 336670 0 0 0 111965 235 0 0 25 0 1 0 284976942 10686464 2223 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2609 2223 227 40 0 2024 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 10436 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1458128/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=10584 CPUtime=1182 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 355532 0 0 0 117952 248 0 0 25 0 1 0 284976942 10838016 2260 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643580 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2646 2260 227 40 0 2061 0 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (KiB) 10584 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/65 3555 /proc/meminfo: memFree=1457936/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=10128 CPUtime=1241.98 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 375517 0 0 0 123934 264 0 0 25 0 1 0 284976942 10371072 2156 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134633092 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2532 2156 227 40 0 1947 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 10128 [startup+1302.3 s] /proc/loadavg: 1.05 0.99 0.91 2/65 3555 /proc/meminfo: memFree=1457744/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=10888 CPUtime=1301.97 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 395431 0 0 0 129920 277 0 0 25 0 1 0 284976942 11149312 2336 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134585370 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2722 2336 227 40 0 2137 0 Current children cumulated CPU time (s) 1301.97 Current children cumulated vsize (KiB) 10888 [startup+1362.3 s] /proc/loadavg: 1.07 1.00 0.92 2/65 3555 /proc/meminfo: memFree=1457936/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=11032 CPUtime=1361.95 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 414331 0 0 0 135905 290 0 0 25 0 1 0 284976942 11296768 2371 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134582110 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2758 2371 227 40 0 2173 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 11032 [startup+1422.31 s] /proc/loadavg: 1.07 1.01 0.93 2/65 3555 /proc/meminfo: memFree=1457488/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=11148 CPUtime=1421.94 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 433036 0 0 0 141892 302 0 0 25 0 1 0 284976942 11415552 2401 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2787 2401 227 40 0 2202 0 Current children cumulated CPU time (s) 1421.94 Current children cumulated vsize (KiB) 11148 [startup+1482.3 s] /proc/loadavg: 1.07 1.02 0.93 2/65 3555 /proc/meminfo: memFree=1457680/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=11320 CPUtime=1481.91 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 452723 0 0 0 147877 314 0 0 25 0 1 0 284976942 11591680 2444 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2830 2444 227 40 0 2245 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 11320 [startup+1542.3 s] /proc/loadavg: 1.02 1.02 0.93 2/65 3555 /proc/meminfo: memFree=1457168/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=10908 CPUtime=1541.9 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 471090 0 0 0 153861 329 0 0 25 0 1 0 284976942 11169792 2351 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2727 2351 227 40 0 2142 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 10908 [startup+1602.3 s] /proc/loadavg: 1.01 1.01 0.93 2/65 3555 /proc/meminfo: memFree=1457104/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=11540 CPUtime=1601.89 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 490773 0 0 0 159846 343 0 0 25 0 1 0 284976942 11816960 2508 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643364 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2885 2508 227 40 0 2300 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 11540 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 0.93 2/65 3555 /proc/meminfo: memFree=1457040/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=11196 CPUtime=1661.88 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 509712 0 0 0 165832 356 0 0 25 0 1 0 284976942 11464704 2423 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2799 2423 227 40 0 2214 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 11196 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3555 /proc/meminfo: memFree=1456784/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=11760 CPUtime=1721.86 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 529659 0 0 0 171816 370 0 0 25 0 1 0 284976942 12042240 2563 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 2940 2563 227 40 0 2355 0 Current children cumulated CPU time (s) 1721.86 Current children cumulated vsize (KiB) 11760 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3555 /proc/meminfo: memFree=1457040/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=12012 CPUtime=1781.84 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 548227 0 0 0 177801 383 0 0 25 0 1 0 284976942 12300288 2617 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134605463 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 3003 2617 227 40 0 2418 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 12012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3555 /proc/meminfo: memFree=1456592/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=12056 CPUtime=1800.04 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 554180 0 0 0 179616 388 0 0 25 0 1 0 284976942 12345344 2628 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643622 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 3014 2628 227 40 0 2429 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 12056 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 0.93 2/65 3555 /proc/meminfo: memFree=1456592/2055920 swapFree=4183376/4192956 [pid=3554] ppid=3552 vsize=12056 CPUtime=1800.04 /proc/3554/stat : 3554 (glpPBv3) R 3552 3554 2242 0 -1 0 554180 0 0 0 179616 388 0 0 25 0 1 0 284976942 12345344 2628 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643622 0 0 4096 0 0 0 0 17 1 0 0 /proc/3554/statm: 3014 2628 227 40 0 2429 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 12056 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.51 CPU time (s): 1800.06 CPU user time (s): 1796.17 CPU system time (s): 3.88541 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (KiB): 12056 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.17 system time used= 3.88541 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 554180 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= 3194 runsolver used 1.44478 second user time and 3.47947 second system time The end
Begin job on node60 on Sat May 5 13:11:09 UTC 2007 IDJOB= 457590 IDBENCH= 48351 IDSOLVER= 166 FILE ID= node60/457590-1178370669 PBS_JOBID= 5189172 Free space on /tmp= 66562 MiB SOLVER NAME= glpPB 0.2 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_1_40.opb COMMAND LINE= glpPBv3 /tmp/evaluation/457590-1178370669/instance-457590-1178370669.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node60/convwatcher-457590-1178370669 -o ROOT/results/node60/conversion-457590-1178370669 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/457590-1178370669/instance-457590-1178370669.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-457590-1178370669 -o ROOT/results/node60/solver-457590-1178370669 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/457590-1178370669/instance-457590-1178370669.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 3f7fb60f05fdea42d317cf95beb113ab RANDOM SEED= 677839684 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node60.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.214 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.214 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: 1466856 kB Buffers: 58360 kB Cached: 399160 kB SwapCached: 4268 kB Active: 158056 kB Inactive: 310600 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1466856 kB SwapTotal: 4192956 kB SwapFree: 4183376 kB Dirty: 2384 kB Writeback: 0 kB Mapped: 15992 kB Slab: 106388 kB Committed_AS: 5286524 kB PageTables: 1464 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 node60 on Sat May 5 13:41:12 UTC 2007