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/roussel/factor-mod-B/ factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb |
MD5SUM | 12f1f3305860fafcd361cd1c61e0d104 |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.175972 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 168 |
Total number of constraints | 15 |
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 | 15 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
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/430957-1178001231/instance-430957-1178001231.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-430957-1178001231 -o ROOT/results/node54/solver-430957-1178001231 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/430957-1178001231/instance-430957-1178001231.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.98 0.99 3/66 1745 /proc/meminfo: memFree=1804416/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=2648 CPUtime=0 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 269 0 0 0 0 0 0 0 18 0 1 0 247497586 2711552 240 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 2285271 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 662 240 199 40 0 77 0 [startup+0.070436 s] /proc/loadavg: 0.99 0.98 0.99 3/66 1745 /proc/meminfo: memFree=1804416/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=3848 CPUtime=0.06 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 605 0 0 0 6 0 0 0 18 0 1 0 247497586 3940352 575 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629216 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 962 575 227 40 0 377 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 3848 [startup+0.10144 s] /proc/loadavg: 0.99 0.98 0.99 3/66 1745 /proc/meminfo: memFree=1804416/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=3848 CPUtime=0.09 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 614 0 0 0 9 0 0 0 18 0 1 0 247497586 3940352 584 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 962 584 227 40 0 377 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3848 [startup+0.301465 s] /proc/loadavg: 0.99 0.98 0.99 3/66 1745 /proc/meminfo: memFree=1804416/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=3848 CPUtime=0.29 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 614 0 0 0 29 0 0 0 19 0 1 0 247497586 3940352 584 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134626354 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 962 584 227 40 0 377 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3848 [startup+0.701516 s] /proc/loadavg: 0.99 0.98 0.99 3/66 1745 /proc/meminfo: memFree=1804416/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=3848 CPUtime=0.69 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 616 0 0 0 69 0 0 0 22 0 1 0 247497586 3940352 586 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 962 586 227 40 0 377 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3848 [startup+1.50162 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1802872/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=3888 CPUtime=1.49 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 637 0 0 0 149 0 0 0 25 0 1 0 247497586 3981312 596 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134555420 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 972 596 227 40 0 387 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3888 [startup+3.10182 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1802680/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=4048 CPUtime=3.09 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 5865 0 0 0 307 2 0 0 25 0 1 0 247497586 4145152 602 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 2254405 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 1012 609 227 40 0 427 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4048 [startup+6.30123 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1802424/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=4212 CPUtime=6.29 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 20969 0 0 0 620 9 0 0 25 0 1 0 247497586 4313088 657 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 2254459 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 1053 657 227 40 0 468 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4212 [startup+12.701 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1802104/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=4384 CPUtime=12.68 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 50331 0 0 0 1249 19 0 0 25 0 1 0 247497586 4489216 720 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 1129 726 227 40 0 544 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 4384 [startup+25.5027 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1801464/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=5036 CPUtime=25.49 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 106747 0 0 0 2505 44 0 0 25 0 1 0 247497586 5156864 883 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 1259 883 227 40 0 674 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 5036 [startup+51.1029 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1800248/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=6384 CPUtime=51.08 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 215788 0 0 0 5019 89 0 0 25 0 1 0 247497586 6537216 1203 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134643656 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 1596 1203 227 40 0 1011 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 6384 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1797880/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=8712 CPUtime=102.27 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 442311 0 0 0 10045 182 0 0 25 0 1 0 247497586 8921088 1783 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134606864 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 2178 1783 227 40 0 1593 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 8712 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1795064/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=11340 CPUtime=162.25 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 688533 0 0 0 15938 287 0 0 25 0 1 0 247497586 11612160 2459 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534279 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 2835 2459 227 40 0 2250 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 11340 [startup+222.303 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1792696/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=13644 CPUtime=222.23 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 927535 0 0 0 21833 390 0 0 25 0 1 0 247497586 13971456 3035 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 3411 3035 227 40 0 2826 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 13644 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1789752/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=16688 CPUtime=282.21 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 1163148 0 0 0 27726 495 0 0 25 0 1 0 247497586 17088512 3779 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134586378 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 4172 3779 227 40 0 3587 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 16688 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1787640/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=18740 CPUtime=342.2 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 1390060 0 0 0 33621 599 0 0 25 0 1 0 247497586 19189760 4292 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134587141 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 4685 4292 227 40 0 4100 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 18740 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1785656/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=20768 CPUtime=402.18 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 1613463 0 0 0 39521 697 0 0 25 0 1 0 247497586 21266432 4796 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 2254459 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 5192 4796 227 40 0 4607 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 20768 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1783672/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=22588 CPUtime=462.16 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 1833431 0 0 0 45423 793 0 0 25 0 1 0 247497586 23130112 5271 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541542 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 5647 5271 227 40 0 5062 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 22588 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1781752/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=24500 CPUtime=522.14 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 2049461 0 0 0 51325 889 0 0 25 0 1 0 247497586 25088000 5749 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541716 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 6125 5749 227 40 0 5540 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 24500 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1779832/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=26512 CPUtime=582.13 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 2250635 0 0 0 57236 977 0 0 25 0 1 0 247497586 27148288 6242 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 2254459 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 6628 6242 227 40 0 6043 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 26512 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1776696/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=29480 CPUtime=642.12 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 2446864 0 0 0 63148 1064 0 0 25 0 1 0 247497586 30187520 6994 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 7370 6994 227 40 0 6785 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 29480 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1771448/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=34900 CPUtime=822.06 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 3022907 0 0 0 80888 1318 0 0 25 0 1 0 247497586 35737600 8326 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636524 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 8725 8326 227 40 0 8140 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 34900 [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1769464/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=36688 CPUtime=882.04 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 3216114 0 0 0 86801 1403 0 0 25 0 1 0 247497586 37568512 8796 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 9172 8796 227 40 0 8587 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 36688 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1767672/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=38464 CPUtime=942.03 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 3405673 0 0 0 92715 1488 0 0 25 0 1 0 247497586 39387136 9240 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 9616 9240 227 40 0 9031 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 38464 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1765880/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=40172 CPUtime=1002.01 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 3591841 0 0 0 98629 1572 0 0 25 0 1 0 247497586 41136128 9667 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534279 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 10043 9667 227 40 0 9458 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 40172 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1764600/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=41740 CPUtime=1062 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 3767770 0 0 0 104546 1654 0 0 25 0 1 0 247497586 42741760 10036 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134636851 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 10435 10036 227 40 0 9850 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 41740 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1762808/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=43284 CPUtime=1121.97 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 3941205 0 0 0 110467 1730 0 0 25 0 1 0 247497586 44322816 10445 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 10821 10445 227 40 0 10236 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 43284 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1761080/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=45016 CPUtime=1181.96 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 4116770 0 0 0 116389 1807 0 0 25 0 1 0 247497586 46096384 10878 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134568941 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 11254 10878 227 40 0 10669 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 45016 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1759544/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=46536 CPUtime=1241.95 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 4281132 0 0 0 122312 1883 0 0 25 0 1 0 247497586 47652864 11258 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 11634 11258 227 40 0 11049 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 46536 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1757816/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=48368 CPUtime=1301.93 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 4450365 0 0 0 128241 1952 0 0 25 0 1 0 247497586 49528832 11699 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 12059 11683 227 40 0 11474 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 48368 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1756216/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=50028 CPUtime=1361.91 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 4618816 0 0 0 134164 2027 0 0 25 0 1 0 247497586 51228672 12112 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 12507 12112 227 40 0 11922 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 50028 [startup+1422.31 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1751992/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=54124 CPUtime=1421.9 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 4790176 0 0 0 140088 2102 0 0 25 0 1 0 247497586 55422976 13131 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 2254459 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 13531 13131 227 40 0 12946 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 54124 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1750392/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=55608 CPUtime=1481.87 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 4960532 0 0 0 146008 2179 0 0 25 0 1 0 247497586 56942592 13526 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 13902 13526 227 40 0 13317 0 Current children cumulated CPU time (s) 1481.87 Current children cumulated vsize (KiB) 55608 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1748856/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=57168 CPUtime=1541.86 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 5126031 0 0 0 151935 2251 0 0 25 0 1 0 247497586 58540032 13916 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534928 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 14292 13916 227 40 0 13707 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 57168 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/67 1746 /proc/meminfo: memFree=1747320/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=58716 CPUtime=1601.85 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 5289095 0 0 0 157862 2323 0 0 25 0 1 0 247497586 60125184 14281 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 2254459 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 14679 14281 227 40 0 14094 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 58716 [startup+1662.3 s] /proc/loadavg: 1.09 1.01 1.00 2/73 1922 /proc/meminfo: memFree=1744840/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=59880 CPUtime=1661.76 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 5445861 0 0 0 163782 2394 0 0 25 0 1 0 247497586 61317120 14594 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 14970 14594 227 40 0 14385 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 59880 [startup+1722.3 s] /proc/loadavg: 1.03 1.01 1.00 2/67 1957 /proc/meminfo: memFree=1744696/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=61008 CPUtime=1721.71 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 5595827 0 0 0 169716 2455 0 0 25 0 1 0 247497586 62472192 14876 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 15252 14876 227 40 0 14667 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 61008 [startup+1782.3 s] /proc/loadavg: 1.01 1.00 1.00 2/67 1957 /proc/meminfo: memFree=1743352/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=62480 CPUtime=1781.7 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 5747215 0 0 0 175649 2521 0 0 25 0 1 0 247497586 63979520 15227 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 15620 15227 227 40 0 15035 0 Current children cumulated CPU time (s) 1781.7 Current children cumulated vsize (KiB) 62480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.00 1.00 2/67 1957 /proc/meminfo: memFree=1742904/2055920 swapFree=4182172/4192956 [pid=1745] ppid=1743 vsize=62948 CPUtime=1800.01 /proc/1745/stat : 1745 (glpPBv3) R 1743 1745 642 0 -1 0 5796606 0 0 0 177460 2541 0 0 25 0 1 0 247497586 64458752 15335 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 2254459 0 0 4096 0 0 0 0 17 1 0 0 /proc/1745/statm: 15737 15339 227 40 0 15152 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 62948 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): 1774.6 CPU system time (s): 25.4201 CPU usage (%): 99.9668 Max. virtual memory (cumulated for all children) (KiB): 62948 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1774.6 system time used= 25.4201 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 5796610 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= 3079 runsolver used 1.71474 second user time and 4.84726 second system time The end
Begin job on node54 on Tue May 1 06:33:51 UTC 2007 IDJOB= 430957 IDBENCH= 48017 IDSOLVER= 166 FILE ID= node54/430957-1178001231 PBS_JOBID= 4728221 Free space on /tmp= 66562 MiB SOLVER NAME= glpPB 0.2 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb COMMAND LINE= glpPBv3 /tmp/evaluation/430957-1178001231/instance-430957-1178001231.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node54/convwatcher-430957-1178001231 -o ROOT/results/node54/conversion-430957-1178001231 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/430957-1178001231/instance-430957-1178001231.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-430957-1178001231 -o ROOT/results/node54/solver-430957-1178001231 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/430957-1178001231/instance-430957-1178001231.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 12f1f3305860fafcd361cd1c61e0d104 RANDOM SEED= 954258656 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node54.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: 1804824 kB Buffers: 19344 kB Cached: 167868 kB SwapCached: 3936 kB Active: 47952 kB Inactive: 149716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1804824 kB SwapTotal: 4192956 kB SwapFree: 4182172 kB Dirty: 2312 kB Writeback: 0 kB Mapped: 16604 kB Slab: 39368 kB Committed_AS: 2422648 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 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 node54 on Tue May 1 07:03:54 UTC 2007