Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.01 | 1800.81 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-ssa7552-038.opb |
MD5SUM | 8eb6af86f71dc4b72baf669ed918f50c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1448 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1448 |
Optimality of the best value was proved | NO |
Number of variables | 3002 |
Total number of constraints | 5076 |
Number of constraints which are clauses | 5076 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 6 |
Number of terms in the objective function | 3002 |
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 | 3002 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 3002 |
Number of bits of the biggest sum of numbers | 12 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
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 !
/tmp/evaluation/353062-1176652043/instance-353062-1176652043.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node33/watcher-353062-1176652043 -o ROOT/results/node33/solver-353062-1176652043 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/353062-1176652043/instance-353062-1176652043.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.99 3/77 18052 /proc/meminfo: memFree=1472896/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=2644 CPUtime=0 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 258 0 0 0 0 0 0 0 18 0 1 0 113119766 2707456 228 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 11411159 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 661 230 192 40 0 76 0 [startup+0.053333 s] /proc/loadavg: 0.99 0.97 0.99 3/77 18052 /proc/meminfo: memFree=1472896/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=3448 CPUtime=0.05 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 470 0 0 0 5 0 0 0 18 0 1 0 113119766 3530752 440 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 11411159 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 862 440 199 40 0 277 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3448 [startup+0.101343 s] /proc/loadavg: 0.99 0.97 0.99 3/77 18052 /proc/meminfo: memFree=1472896/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=6216 CPUtime=0.09 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 1202 0 0 0 9 0 0 0 18 0 1 0 113119766 6365184 1156 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 1554 1156 221 40 0 969 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6216 [startup+0.301384 s] /proc/loadavg: 0.99 0.97 0.99 3/77 18052 /proc/meminfo: memFree=1472896/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=6280 CPUtime=0.29 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 1248 0 0 0 29 0 0 0 20 0 1 0 113119766 6430720 1188 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 1570 1188 221 40 0 985 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6280 [startup+0.701465 s] /proc/loadavg: 0.99 0.97 0.99 3/77 18052 /proc/meminfo: memFree=1472896/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=6280 CPUtime=0.69 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 1269 0 0 0 69 0 0 0 24 0 1 0 113119766 6430720 1188 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 1570 1188 221 40 0 985 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6280 [startup+1.50163 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1468920/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=6688 CPUtime=1.49 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 1485 0 0 0 149 0 0 0 25 0 1 0 113119766 6848512 1290 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 1672 1290 221 40 0 1087 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6688 [startup+3.10296 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1468408/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=6688 CPUtime=3.09 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 1485 0 0 0 309 0 0 0 25 0 1 0 113119766 6848512 1290 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134638798 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 1672 1290 221 40 0 1087 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6688 [startup+6.30161 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1468280/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=6688 CPUtime=6.29 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 1485 0 0 0 628 1 0 0 25 0 1 0 113119766 6848512 1290 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 1672 1290 221 40 0 1087 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 6688 [startup+12.7019 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465848/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=9112 CPUtime=12.69 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 2386 0 0 0 1267 2 0 0 25 0 1 0 113119766 9330688 1902 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2278 1902 227 40 0 1693 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 9112 [startup+25.5015 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465720/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=9112 CPUtime=25.49 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 2794 0 0 0 2546 3 0 0 25 0 1 0 113119766 9330688 1902 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2278 1902 227 40 0 1693 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 9112 [startup+51.1018 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465784/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=9112 CPUtime=51.07 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 3596 0 0 0 5104 3 0 0 25 0 1 0 113119766 9330688 1902 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2278 1902 227 40 0 1693 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 9112 [startup+102.305 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465720/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=9112 CPUtime=102.25 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 7154 0 0 0 10220 5 0 0 25 0 1 0 113119766 9330688 1902 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134626338 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2278 1902 227 40 0 1693 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 9112 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465720/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=9112 CPUtime=162.23 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 12486 0 0 0 16214 9 0 0 25 0 1 0 113119766 9330688 1902 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134626435 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2278 1902 227 40 0 1693 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 9112 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465784/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=9428 CPUtime=222.21 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 21606 0 0 0 22206 15 0 0 25 0 1 0 113119766 9654272 1973 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2357 1973 227 40 0 1772 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 9428 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465784/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=9112 CPUtime=282.18 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 36508 0 0 0 28195 23 0 0 25 0 1 0 113119766 9330688 1902 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134629229 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2278 1902 227 40 0 1693 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 9112 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465848/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=9112 CPUtime=342.16 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 49544 0 0 0 34185 31 0 0 25 0 1 0 113119766 9330688 1902 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2278 1902 227 40 0 1693 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 9112 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465400/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=9792 CPUtime=402.13 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 217806 0 0 0 40097 116 0 0 25 0 1 0 113119766 10027008 2064 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2448 2064 227 40 0 1863 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 9792 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465208/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=9896 CPUtime=462.12 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 508751 0 0 0 45954 258 0 0 25 0 1 0 113119766 10133504 2085 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134642542 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2474 2085 227 40 0 1889 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 9896 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465208/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=10120 CPUtime=522.09 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 813624 0 0 0 51809 400 0 0 25 0 1 0 113119766 10362880 2145 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2530 2145 227 40 0 1945 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 10120 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465080/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=9476 CPUtime=582.07 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 1120707 0 0 0 57651 556 0 0 25 0 1 0 113119766 9703424 1986 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2369 1986 227 40 0 1784 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 9476 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18053 /proc/meminfo: memFree=1465528/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=9588 CPUtime=642.04 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 1389272 0 0 0 63512 692 0 0 25 0 1 0 113119766 9818112 2014 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134629055 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2397 2014 227 40 0 1812 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 9588 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.99 2/84 18119 /proc/meminfo: memFree=1463288/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=10784 CPUtime=821.94 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 2240946 0 0 0 81084 1110 0 0 25 0 1 0 113119766 11042816 2288 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 11411159 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2696 2288 227 40 0 2111 0 Current children cumulated CPU time (s) 821.94 Current children cumulated vsize (KiB) 10784 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18251 /proc/meminfo: memFree=1464552/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=11364 CPUtime=881.85 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 2535900 0 0 0 86929 1256 0 0 25 0 1 0 113119766 11636736 2457 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2841 2457 227 40 0 2256 0 Current children cumulated CPU time (s) 881.85 Current children cumulated vsize (KiB) 11364 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18251 /proc/meminfo: memFree=1464304/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=11648 CPUtime=941.83 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 2820264 0 0 0 92783 1400 0 0 25 0 1 0 113119766 11927552 2528 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2912 2528 227 40 0 2327 0 Current children cumulated CPU time (s) 941.83 Current children cumulated vsize (KiB) 11648 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18251 /proc/meminfo: memFree=1464176/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=10884 CPUtime=1001.8 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 2900035 0 0 0 98743 1437 0 0 25 0 1 0 113119766 11145216 2337 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134628974 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2721 2337 227 40 0 2136 0 Current children cumulated CPU time (s) 1001.8 Current children cumulated vsize (KiB) 10884 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18251 /proc/meminfo: memFree=1464240/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=10900 CPUtime=1061.78 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 3010978 0 0 0 104680 1498 0 0 25 0 1 0 113119766 11161600 2341 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643284 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2725 2341 227 40 0 2140 0 Current children cumulated CPU time (s) 1061.78 Current children cumulated vsize (KiB) 10900 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18251 /proc/meminfo: memFree=1463600/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=11720 CPUtime=1121.76 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 3168365 0 0 0 110602 1574 0 0 25 0 1 0 113119766 12001280 2546 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2930 2546 227 40 0 2345 0 Current children cumulated CPU time (s) 1121.76 Current children cumulated vsize (KiB) 11720 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18251 /proc/meminfo: memFree=1463792/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=10864 CPUtime=1181.73 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 3469285 0 0 0 116457 1716 0 0 25 0 1 0 113119766 11124736 2340 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2716 2340 227 40 0 2131 0 Current children cumulated CPU time (s) 1181.73 Current children cumulated vsize (KiB) 10864 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 18251 /proc/meminfo: memFree=1463800/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=11720 CPUtime=1241.72 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 3783147 0 0 0 122307 1865 0 0 25 0 1 0 113119766 12001280 2546 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2930 2546 227 40 0 2345 0 Current children cumulated CPU time (s) 1241.72 Current children cumulated vsize (KiB) 11720 [startup+1302.3 s] /proc/loadavg: 1.05 0.99 0.99 2/78 18251 /proc/meminfo: memFree=1463800/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=11720 CPUtime=1301.69 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 4091082 0 0 0 128150 2019 0 0 25 0 1 0 113119766 12001280 2546 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134585319 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2930 2546 227 40 0 2345 0 Current children cumulated CPU time (s) 1301.69 Current children cumulated vsize (KiB) 11720 [startup+1362.3 s] /proc/loadavg: 1.02 0.99 0.99 2/78 18251 /proc/meminfo: memFree=1464504/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=11576 CPUtime=1361.67 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 4395805 0 0 0 133994 2173 0 0 25 0 1 0 113119766 11853824 2518 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2894 2518 227 40 0 2309 0 Current children cumulated CPU time (s) 1361.67 Current children cumulated vsize (KiB) 11576 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.99 2/78 18251 /proc/meminfo: memFree=1464504/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=11816 CPUtime=1421.65 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 4685088 0 0 0 139848 2317 0 0 25 0 1 0 113119766 12099584 2518 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2894 2518 227 40 0 2309 0 Current children cumulated CPU time (s) 1421.65 Current children cumulated vsize (KiB) 11816 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 18251 /proc/meminfo: memFree=1463800/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=11032 CPUtime=1481.62 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 4970567 0 0 0 145713 2449 0 0 25 0 1 0 113119766 11296768 2375 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134629115 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2758 2375 227 40 0 2173 0 Current children cumulated CPU time (s) 1481.62 Current children cumulated vsize (KiB) 11032 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 18251 /proc/meminfo: memFree=1463672/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=11232 CPUtime=1541.59 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 5257418 0 0 0 151570 2589 0 0 25 0 1 0 113119766 11501568 2432 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134541710 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2808 2432 227 40 0 2223 0 Current children cumulated CPU time (s) 1541.59 Current children cumulated vsize (KiB) 11232 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 18251 /proc/meminfo: memFree=1463352/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=11540 CPUtime=1601.58 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 5548925 0 0 0 157426 2732 0 0 25 0 1 0 113119766 11816960 2502 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134643505 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2885 2502 227 40 0 2300 0 Current children cumulated CPU time (s) 1601.58 Current children cumulated vsize (KiB) 11540 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 18251 /proc/meminfo: memFree=1463096/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=12520 CPUtime=1661.55 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 5836592 0 0 0 163285 2870 0 0 25 0 1 0 113119766 12820480 2741 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134636637 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 3130 2741 227 40 0 2545 0 Current children cumulated CPU time (s) 1661.55 Current children cumulated vsize (KiB) 12520 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 18251 /proc/meminfo: memFree=1463608/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=11848 CPUtime=1721.53 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 6060888 0 0 0 169176 2977 0 0 25 0 1 0 113119766 12132352 2578 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2962 2578 227 40 0 2377 0 Current children cumulated CPU time (s) 1721.53 Current children cumulated vsize (KiB) 11848 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 18251 /proc/meminfo: memFree=1463096/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=12604 CPUtime=1781.5 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 6219946 0 0 0 175093 3057 0 0 25 0 1 0 113119766 12906496 2763 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134636770 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 3151 2763 227 40 0 2566 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (KiB) 12604 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 1.00 0.99 0.99 2/78 18251 /proc/meminfo: memFree=1463736/2055920 swapFree=4150172/4192956 [pid=18052] ppid=18050 vsize=11848 CPUtime=1800 /proc/18052/stat : 18052 (glpPBv3) R 18050 18052 17931 0 -1 0 6312429 0 0 0 176898 3102 0 0 25 0 1 0 113119766 12132352 2578 18446744073709551615 134512640 134678228 4294956720 18446744073709551615 134543003 0 0 4096 0 0 0 0 17 1 0 0 /proc/18052/statm: 2962 2578 227 40 0 2377 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 11848 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.01 CPU user time (s): 1768.99 CPU system time (s): 31.0243 CPU usage (%): 99.9559 Max. virtual memory (cumulated for all children) (KiB): 12800 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1768.99 system time used= 31.0243 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 6312429 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= 38475 runsolver used 2.08468 second user time and 4.26335 second system time The end
Begin job on node33 on Sun Apr 15 15:47:23 UTC 2007 IDJOB= 353062 IDBENCH= 2145 IDSOLVER= 166 FILE ID= node33/353062-1176652043 PBS_JOBID= 4559871 Free space on /tmp= 66562 MiB SOLVER NAME= glpPB 0.2 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ssa7552-038.opb COMMAND LINE= glpPBv3 /tmp/evaluation/353062-1176652043/instance-353062-1176652043.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node33/convwatcher-353062-1176652043 -o ROOT/results/node33/conversion-353062-1176652043 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353062-1176652043/instance-353062-1176652043.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-353062-1176652043 -o ROOT/results/node33/solver-353062-1176652043 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/353062-1176652043/instance-353062-1176652043.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 8eb6af86f71dc4b72baf669ed918f50c RANDOM SEED= 404573411 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node33.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.272 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.272 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: 1473368 kB Buffers: 65900 kB Cached: 259824 kB SwapCached: 2376 kB Active: 176352 kB Inactive: 308460 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1473368 kB SwapTotal: 4192956 kB SwapFree: 4150172 kB Dirty: 2532 kB Writeback: 0 kB Mapped: 155160 kB Slab: 83056 kB Committed_AS: 1349104 kB PageTables: 1992 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 node33 on Sun Apr 15 16:17:26 UTC 2007