Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.08 | 1800.61 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ primes-dimacs-cnf/normalized-par16-3-c.opb |
MD5SUM | 995cbcff162892786ed2539630dc8f6e |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 334 |
Best CPU time to get the best result obtained on this benchmark | 1.21681 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 334 |
Optimality of the best value was proved | YES |
Number of variables | 668 |
Total number of constraints | 1666 |
Number of constraints which are clauses | 1666 |
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 | 2 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 668 |
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 | 668 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 668 |
Number of bits of the biggest sum of numbers | 10 |
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/364454-1177040435/instance-364454-1177040435.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node55/watcher-364454-1177040435 -o ROOT/results/node55/solver-364454-1177040435 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/364454-1177040435/instance-364454-1177040435.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.79 0.92 0.97 3/64 14977 /proc/meminfo: memFree=1659948/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=2644 CPUtime=0 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 258 0 0 0 0 0 0 0 18 0 1 0 151953577 2707456 228 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7315159 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 661 230 192 40 0 76 0 [startup+0.0228799 s] /proc/loadavg: 0.79 0.92 0.97 3/64 14977 /proc/meminfo: memFree=1659948/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=2916 CPUtime=0.01 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 332 0 0 0 1 0 0 0 18 0 1 0 151953577 2985984 302 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534660 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 729 303 201 40 0 144 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2916 [startup+0.101888 s] /proc/loadavg: 0.79 0.92 0.97 3/64 14977 /proc/meminfo: memFree=1659948/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=3796 CPUtime=0.09 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 578 0 0 0 9 0 0 0 18 0 1 0 151953577 3887104 547 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 949 547 221 40 0 364 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3796 [startup+0.301906 s] /proc/loadavg: 0.79 0.92 0.97 3/64 14977 /proc/meminfo: memFree=1659948/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=3936 CPUtime=0.29 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 613 0 0 0 29 0 0 0 19 0 1 0 151953577 4030464 582 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134580395 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 984 582 221 40 0 399 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3936 [startup+0.701944 s] /proc/loadavg: 0.79 0.92 0.97 3/64 14977 /proc/meminfo: memFree=1659948/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=3936 CPUtime=0.69 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 613 0 0 0 69 0 0 0 22 0 1 0 151953577 4030464 582 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 984 582 221 40 0 399 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3936 [startup+1.50202 s] /proc/loadavg: 0.81 0.92 0.97 2/65 14978 /proc/meminfo: memFree=1658596/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=4780 CPUtime=1.49 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 858 0 0 0 149 0 0 0 25 0 1 0 151953577 4894720 818 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1195 818 227 40 0 610 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4780 [startup+3.10117 s] /proc/loadavg: 0.81 0.92 0.97 2/65 14978 /proc/meminfo: memFree=1657508/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=4816 CPUtime=3.09 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 862 0 0 0 308 1 0 0 25 0 1 0 151953577 4931584 822 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542997 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1204 822 227 40 0 619 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4816 [startup+6.30147 s] /proc/loadavg: 0.81 0.92 0.97 2/65 14978 /proc/meminfo: memFree=1657508/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=4816 CPUtime=6.29 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 866 0 0 0 628 1 0 0 25 0 1 0 151953577 4931584 826 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643689 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1204 826 227 40 0 619 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4816 [startup+12.7011 s] /proc/loadavg: 0.84 0.93 0.97 2/65 14978 /proc/meminfo: memFree=1657444/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=4816 CPUtime=12.68 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 951 0 0 0 1266 2 0 0 25 0 1 0 151953577 4931584 828 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643491 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1204 828 227 40 0 619 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 4816 [startup+25.5013 s] /proc/loadavg: 0.86 0.93 0.97 2/65 14978 /proc/meminfo: memFree=1657444/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=4816 CPUtime=25.48 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1735 0 0 0 2544 4 0 0 25 0 1 0 151953577 4931584 828 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1204 828 227 40 0 619 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 4816 [startup+51.1017 s] /proc/loadavg: 0.91 0.93 0.97 2/65 14978 /proc/meminfo: memFree=1657316/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=4816 CPUtime=51.07 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 13112 0 0 0 5097 10 0 0 25 0 1 0 151953577 4931584 828 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134605482 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1204 828 227 40 0 619 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 4816 [startup+102.305 s] /proc/loadavg: 0.96 0.94 0.97 2/65 14978 /proc/meminfo: memFree=1657252/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5144 CPUtime=102.26 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 50798 0 0 0 10196 30 0 0 25 0 1 0 151953577 5267456 908 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636938 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1286 908 227 40 0 701 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 5144 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.97 2/65 14978 /proc/meminfo: memFree=1657124/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5208 CPUtime=162.25 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 100290 0 0 0 16167 58 0 0 25 0 1 0 151953577 5332992 910 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1302 910 227 40 0 717 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 5208 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.97 2/65 14978 /proc/meminfo: memFree=1657124/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5260 CPUtime=222.23 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 152179 0 0 0 22140 83 0 0 25 0 1 0 151953577 5386240 937 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1315 937 227 40 0 730 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 5260 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.97 2/65 14978 /proc/meminfo: memFree=1657060/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5084 CPUtime=282.21 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 204058 0 0 0 28113 108 0 0 25 0 1 0 151953577 5206016 895 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134626408 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1271 895 227 40 0 686 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 5084 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656996/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5108 CPUtime=342.2 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 255506 0 0 0 34086 134 0 0 25 0 1 0 151953577 5230592 901 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643294 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1277 901 227 40 0 692 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 5108 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656868/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5444 CPUtime=402.19 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 309143 0 0 0 40060 159 0 0 25 0 1 0 151953577 5574656 969 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1361 969 227 40 0 776 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 5444 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656932/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5496 CPUtime=462.17 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 369228 0 0 0 46030 187 0 0 25 0 1 0 151953577 5627904 968 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636117 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1374 968 227 40 0 789 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 5496 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656932/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5448 CPUtime=522.16 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 420768 0 0 0 52003 213 0 0 25 0 1 0 151953577 5578752 971 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1362 971 227 40 0 777 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 5448 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656932/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5224 CPUtime=582.15 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 475835 0 0 0 57974 241 0 0 25 0 1 0 151953577 5349376 930 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1306 930 227 40 0 721 0 Current children cumulated CPU time (s) 582.15 Current children cumulated vsize (KiB) 5224 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656932/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5448 CPUtime=642.13 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 528360 0 0 0 63948 265 0 0 25 0 1 0 151953577 5578752 971 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1362 971 227 40 0 777 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 5448 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656804/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5520 CPUtime=822.08 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 690422 0 0 0 81861 347 0 0 25 0 1 0 151953577 5652480 1002 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1380 1002 227 40 0 795 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 5520 [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656740/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5364 CPUtime=882.07 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 744795 0 0 0 87835 372 0 0 25 0 1 0 151953577 5492736 965 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632414 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1341 965 227 40 0 756 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 5364 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656676/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5404 CPUtime=942.05 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 800564 0 0 0 93807 398 0 0 25 0 1 0 151953577 5533696 975 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543009 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1351 975 227 40 0 766 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 5404 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656676/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5404 CPUtime=1002.04 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 854099 0 0 0 99778 426 0 0 25 0 1 0 151953577 5533696 975 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643502 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1351 975 227 40 0 766 0 Current children cumulated CPU time (s) 1002.04 Current children cumulated vsize (KiB) 5404 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656676/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5644 CPUtime=1062.02 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 909429 0 0 0 105750 452 0 0 25 0 1 0 151953577 5779456 1019 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1411 1019 227 40 0 826 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 5644 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656676/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5552 CPUtime=1122.01 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 968561 0 0 0 111719 482 0 0 25 0 1 0 151953577 5685248 1003 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 7315159 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1388 1011 227 40 0 803 0 Current children cumulated CPU time (s) 1122.01 Current children cumulated vsize (KiB) 5552 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 14978 /proc/meminfo: memFree=1656676/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5432 CPUtime=1181.99 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1021372 0 0 0 117693 506 0 0 25 0 1 0 151953577 5562368 982 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629078 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1358 982 227 40 0 773 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 5432 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/71 15086 /proc/meminfo: memFree=1655412/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5432 CPUtime=1241.94 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1074751 0 0 0 123662 532 0 0 25 0 1 0 151953577 5562368 982 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543281 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1358 982 227 40 0 773 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 5432 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 15176 /proc/meminfo: memFree=1656292/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5552 CPUtime=1301.89 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1129166 0 0 0 129632 557 0 0 25 0 1 0 151953577 5685248 1012 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1388 1012 227 40 0 803 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 5552 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 15176 /proc/meminfo: memFree=1656292/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5876 CPUtime=1361.86 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1182107 0 0 0 135605 581 0 0 25 0 1 0 151953577 6017024 1078 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1469 1078 227 40 0 884 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 5876 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/65 15176 /proc/meminfo: memFree=1656292/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5876 CPUtime=1421.86 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1237995 0 0 0 141575 611 0 0 25 0 1 0 151953577 6017024 1078 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1469 1078 227 40 0 884 0 Current children cumulated CPU time (s) 1421.86 Current children cumulated vsize (KiB) 5876 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 15176 /proc/meminfo: memFree=1656356/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5892 CPUtime=1481.84 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1287733 0 0 0 147549 635 0 0 25 0 1 0 151953577 6033408 1095 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1473 1095 227 40 0 888 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 5892 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 15176 /proc/meminfo: memFree=1656292/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5932 CPUtime=1541.82 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1338761 0 0 0 153520 662 0 0 25 0 1 0 151953577 6074368 1105 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1483 1105 227 40 0 898 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 5932 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 15176 /proc/meminfo: memFree=1656292/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5724 CPUtime=1601.81 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1390918 0 0 0 159493 688 0 0 25 0 1 0 151953577 5861376 1055 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1431 1055 227 40 0 846 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 5724 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 15176 /proc/meminfo: memFree=1656292/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5992 CPUtime=1661.79 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1444938 0 0 0 165465 714 0 0 25 0 1 0 151953577 6135808 1092 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134580369 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1498 1092 227 40 0 913 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 5992 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 15176 /proc/meminfo: memFree=1656292/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5724 CPUtime=1721.78 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1506132 0 0 0 171436 742 0 0 25 0 1 0 151953577 5861376 1055 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1431 1055 227 40 0 846 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 5724 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/65 15176 /proc/meminfo: memFree=1656228/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5988 CPUtime=1781.76 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1556845 0 0 0 177408 768 0 0 25 0 1 0 151953577 6131712 1105 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1497 1105 227 40 0 912 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 5988 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.97 2/65 15176 /proc/meminfo: memFree=1656228/2055920 swapFree=4184496/4192956 [pid=14977] ppid=14975 vsize=5788 CPUtime=1800.07 /proc/14977/stat : 14977 (glpPBv3) R 14975 14977 14841 0 -1 0 1571810 0 0 0 179231 776 0 0 25 0 1 0 151953577 5926912 1071 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643782 0 0 4096 0 0 0 0 17 1 0 0 /proc/14977/statm: 1447 1071 227 40 0 862 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 5788 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.61 CPU time (s): 1800.08 CPU user time (s): 1792.32 CPU system time (s): 7.76282 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (KiB): 6048 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1792.32 system time used= 7.76282 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1571810 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= 3304 runsolver used 1.19182 second user time and 3.78642 second system time The end
Begin job on node55 on Fri Apr 20 03:40:35 UTC 2007 IDJOB= 364454 IDBENCH= 2115 IDSOLVER= 166 FILE ID= node55/364454-1177040435 PBS_JOBID= 4640124 Free space on /tmp= 66353 MiB SOLVER NAME= glpPB 0.2 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par16-3-c.opb COMMAND LINE= glpPBv3 /tmp/evaluation/364454-1177040435/instance-364454-1177040435.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node55/convwatcher-364454-1177040435 -o ROOT/results/node55/conversion-364454-1177040435 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/364454-1177040435/instance-364454-1177040435.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-364454-1177040435 -o ROOT/results/node55/solver-364454-1177040435 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/364454-1177040435/instance-364454-1177040435.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 995cbcff162892786ed2539630dc8f6e RANDOM SEED= 736963933 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node55.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.216 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.216 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: 1660548 kB Buffers: 29452 kB Cached: 292032 kB SwapCached: 2196 kB Active: 147000 kB Inactive: 183816 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1660548 kB SwapTotal: 4192956 kB SwapFree: 4184496 kB Dirty: 2688 kB Writeback: 0 kB Mapped: 15856 kB Slab: 50660 kB Committed_AS: 1176340 kB PageTables: 1380 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= 66353 MiB End job on node55 on Fri Apr 20 04:10:38 UTC 2007