Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.12 | 1800.63 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=149-P1=79-P2=59-P3=73-P4=211-B.opb |
MD5SUM | 74c00e33b4232d137ad873ae982593f6 |
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.097984 |
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 | 96 |
Total number of constraints | 9 |
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 | 9 |
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) | 256 |
Sum of products size (including duplicates) | 512 |
Number of different products | 256 |
Sum of products size | 512 |
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/431475-1178006719/instance-431475-1178006719.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node54/watcher-431475-1178006719 -o ROOT/results/node54/solver-431475-1178006719 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/431475-1178006719/instance-431475-1178006719.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.93 0.99 0.99 3/66 2677 /proc/meminfo: memFree=1800512/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=2648 CPUtime=0 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 269 0 0 0 0 0 0 0 18 0 1 0 248046435 2711552 240 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 2285271 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 662 240 199 40 0 77 0 [startup+0.0546741 s] /proc/loadavg: 0.93 0.99 0.99 3/66 2677 /proc/meminfo: memFree=1800512/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=3308 CPUtime=0.05 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 481 0 0 0 5 0 0 0 18 0 1 0 248046435 3387392 451 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 827 451 227 40 0 242 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3308 [startup+0.101679 s] /proc/loadavg: 0.93 0.99 0.99 3/66 2677 /proc/meminfo: memFree=1800512/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=3308 CPUtime=0.09 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 481 0 0 0 9 0 0 0 18 0 1 0 248046435 3387392 451 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534674 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 827 451 227 40 0 242 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3308 [startup+0.301705 s] /proc/loadavg: 0.93 0.99 0.99 3/66 2677 /proc/meminfo: memFree=1800512/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=3396 CPUtime=0.29 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 484 0 0 0 29 0 0 0 19 0 1 0 248046435 3477504 454 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534926 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 849 454 227 40 0 264 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3396 [startup+0.701755 s] /proc/loadavg: 0.93 0.99 0.99 3/66 2677 /proc/meminfo: memFree=1800512/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=3396 CPUtime=0.69 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 493 0 0 0 69 0 0 0 22 0 1 0 248046435 3477504 463 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 849 463 227 40 0 264 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3396 [startup+1.50186 s] /proc/loadavg: 0.93 0.99 0.99 2/67 2678 /proc/meminfo: memFree=1799480/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=3444 CPUtime=1.49 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 510 0 0 0 149 0 0 0 25 0 1 0 248046435 3526656 480 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134580792 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 861 480 227 40 0 276 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 3444 [startup+3.10106 s] /proc/loadavg: 0.94 0.99 0.99 2/67 2678 /proc/meminfo: memFree=1799224/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=3576 CPUtime=3.09 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 545 0 0 0 308 1 0 0 25 0 1 0 248046435 3661824 515 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 894 515 227 40 0 309 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 3576 [startup+6.30147 s] /proc/loadavg: 0.94 0.99 0.99 2/67 2678 /proc/meminfo: memFree=1798904/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=3856 CPUtime=6.29 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 613 0 0 0 626 3 0 0 25 0 1 0 248046435 3948544 583 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 964 583 227 40 0 379 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 3856 [startup+12.7023 s] /proc/loadavg: 0.95 0.99 0.99 2/67 2678 /proc/meminfo: memFree=1798328/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=4400 CPUtime=12.69 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 753 0 0 0 1264 5 0 0 25 0 1 0 248046435 4505600 723 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 1100 723 227 40 0 515 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 4400 [startup+25.5019 s] /proc/loadavg: 0.95 0.99 0.99 2/67 2678 /proc/meminfo: memFree=1797176/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=5496 CPUtime=25.49 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 1025 0 0 0 2538 11 0 0 25 0 1 0 248046435 5627904 995 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 1374 995 227 40 0 789 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 5496 [startup+51.1012 s] /proc/loadavg: 0.97 0.99 0.99 2/67 2678 /proc/meminfo: memFree=1795192/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=7576 CPUtime=51.08 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 1580 0 0 0 5084 24 0 0 25 0 1 0 248046435 7757824 1509 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 1894 1509 227 40 0 1309 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 7576 [startup+102.306 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2678 /proc/meminfo: memFree=1791480/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=11228 CPUtime=102.26 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 2582 0 0 0 10179 47 0 0 25 0 1 0 248046435 11497472 2430 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134569768 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 2807 2430 227 40 0 2222 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 11228 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2678 /proc/meminfo: memFree=1787512/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=15744 CPUtime=162.24 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 3872 0 0 0 16149 75 0 0 25 0 1 0 248046435 16121856 3559 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 3936 3559 227 40 0 3351 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 15744 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2678 /proc/meminfo: memFree=1783544/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=19044 CPUtime=222.23 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 4693 0 0 0 22123 100 0 0 25 0 1 0 248046435 19501056 4380 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134534279 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 4761 4380 227 40 0 4176 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 19044 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2678 /proc/meminfo: memFree=1780280/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=22360 CPUtime=282.21 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 5522 0 0 0 28095 126 0 0 25 0 1 0 248046435 22896640 5209 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134537572 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 5590 5209 227 40 0 5005 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 22360 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2678 /proc/meminfo: memFree=1777400/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=25212 CPUtime=342.2 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 6235 0 0 0 34071 149 0 0 25 0 1 0 248046435 25817088 5922 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 6303 5922 227 40 0 5718 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 25212 [startup+402.302 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1773176/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=29404 CPUtime=402.18 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 7605 0 0 0 40045 173 0 0 25 0 1 0 248046435 30109696 6971 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578241 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 7351 6971 227 40 0 6766 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 29404 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1770296/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=32352 CPUtime=462.16 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 8337 0 0 0 46020 196 0 0 25 0 1 0 248046435 33128448 7703 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 8088 7703 227 40 0 7503 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 32352 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1767800/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=34804 CPUtime=522.15 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 8954 0 0 0 51999 216 0 0 25 0 1 0 248046435 35639296 8320 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134541660 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 8701 8320 227 40 0 8116 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 34804 [startup+582.302 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1765112/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=37452 CPUtime=582.13 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 9620 0 0 0 57974 239 0 0 25 0 1 0 248046435 38350848 8986 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 9363 8986 227 40 0 8778 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 37452 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1762616/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=39900 CPUtime=642.12 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 10233 0 0 0 63952 260 0 0 25 0 1 0 248046435 40857600 9599 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 9975 9599 227 40 0 9390 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 39900 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1754936/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=47616 CPUtime=822.06 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 12157 0 0 0 81886 320 0 0 25 0 1 0 248046435 48758784 11523 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 11904 11523 227 40 0 11319 0 Current children cumulated CPU time (s) 822.06 Current children cumulated vsize (KiB) 47616 [startup+882.302 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1752376/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=50108 CPUtime=882.04 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 12776 0 0 0 87866 338 0 0 25 0 1 0 248046435 51310592 12142 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 12527 12142 227 40 0 11942 0 Current children cumulated CPU time (s) 882.04 Current children cumulated vsize (KiB) 50108 [startup+942.302 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1747640/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=54832 CPUtime=942.03 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 14600 0 0 0 93846 357 0 0 25 0 1 0 248046435 56147968 13325 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578253 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 13708 13325 227 40 0 13123 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 54832 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1745336/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=57144 CPUtime=1002.01 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 15185 0 0 0 99826 375 0 0 25 0 1 0 248046435 58515456 13910 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134542120 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 14286 13910 227 40 0 13701 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 57144 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1743032/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=59448 CPUtime=1061.99 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 15757 0 0 0 105807 392 0 0 25 0 1 0 248046435 60874752 14482 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 14862 14482 227 40 0 14277 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 59448 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1740920/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=61540 CPUtime=1121.98 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 16283 0 0 0 111788 410 0 0 25 0 1 0 248046435 63016960 15008 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 15385 15008 227 40 0 14800 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 61540 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1738808/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=63716 CPUtime=1181.96 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 16823 0 0 0 117768 428 0 0 25 0 1 0 248046435 65245184 15548 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134632920 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 15929 15548 227 40 0 15344 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 63716 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1736376/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=65960 CPUtime=1241.94 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 17389 0 0 0 123746 448 0 0 25 0 1 0 248046435 67543040 16114 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578268 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 16490 16114 227 40 0 15905 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 65960 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1734008/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=68300 CPUtime=1301.93 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 17968 0 0 0 129727 466 0 0 25 0 1 0 248046435 69939200 16693 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 17075 16693 227 40 0 16490 0 Current children cumulated CPU time (s) 1301.93 Current children cumulated vsize (KiB) 68300 [startup+1362.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1731832/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=70464 CPUtime=1361.91 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 18514 0 0 0 135706 485 0 0 25 0 1 0 248046435 72155136 17239 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 17616 17239 227 40 0 17031 0 Current children cumulated CPU time (s) 1361.91 Current children cumulated vsize (KiB) 70464 [startup+1422.31 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1729656/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=72612 CPUtime=1421.9 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 19052 0 0 0 141688 502 0 0 25 0 1 0 248046435 74354688 17777 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134629196 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 18153 17777 227 40 0 17568 0 Current children cumulated CPU time (s) 1421.9 Current children cumulated vsize (KiB) 72612 [startup+1482.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1727608/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=74664 CPUtime=1481.88 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 19564 0 0 0 147673 515 0 0 25 0 1 0 248046435 76455936 18289 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 18666 18289 227 40 0 18081 0 Current children cumulated CPU time (s) 1481.88 Current children cumulated vsize (KiB) 74664 [startup+1542.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1725752/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=76560 CPUtime=1541.86 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 20036 0 0 0 153656 530 0 0 25 0 1 0 248046435 78397440 18761 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 19140 18761 227 40 0 18555 0 Current children cumulated CPU time (s) 1541.86 Current children cumulated vsize (KiB) 76560 [startup+1602.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1723832/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=78480 CPUtime=1601.84 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 20514 0 0 0 159638 546 0 0 25 0 1 0 248046435 80363520 19239 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 19620 19239 227 40 0 19035 0 Current children cumulated CPU time (s) 1601.84 Current children cumulated vsize (KiB) 78480 [startup+1662.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1721848/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=80440 CPUtime=1661.83 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 21006 0 0 0 165623 560 0 0 25 0 1 0 248046435 82370560 19731 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 20110 19731 227 40 0 19525 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 80440 [startup+1722.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1720184/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=82092 CPUtime=1721.82 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 21419 0 0 0 171607 575 0 0 25 0 1 0 248046435 84062208 20144 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 20523 20144 227 40 0 19938 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 82092 [startup+1782.3 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1718392/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=83808 CPUtime=1781.8 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 21850 0 0 0 177592 588 0 0 25 0 1 0 248046435 85819392 20575 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 20952 20575 227 40 0 20367 0 Current children cumulated CPU time (s) 1781.8 Current children cumulated vsize (KiB) 83808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.99 0.99 2/67 2680 /proc/meminfo: memFree=1717944/2055920 swapFree=4182172/4192956 [pid=2677] ppid=2675 vsize=84264 CPUtime=1800.1 /proc/2677/stat : 2677 (glpPBv3) R 2675 2677 2336 0 -1 0 21964 0 0 0 179419 591 0 0 25 0 1 0 248046435 86286336 20689 18446744073709551615 134512640 134678228 4294956704 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/2677/statm: 21066 20689 227 40 0 20481 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 84264 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.63 CPU time (s): 1800.12 CPU user time (s): 1794.19 CPU system time (s): 5.9291 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (KiB): 84264 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1794.19 system time used= 5.9291 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 21964 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= 2834 runsolver used 1.64175 second user time and 4.91725 second system time The end
Begin job on node54 on Tue May 1 08:05:19 UTC 2007 IDJOB= 431475 IDBENCH= 48054 IDSOLVER= 166 FILE ID= node54/431475-1178006719 PBS_JOBID= 4728271 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=149-P1=79-P2=59-P3=73-P4=211-B.opb COMMAND LINE= glpPBv3 /tmp/evaluation/431475-1178006719/instance-431475-1178006719.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node54/convwatcher-431475-1178006719 -o ROOT/results/node54/conversion-431475-1178006719 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/431475-1178006719/instance-431475-1178006719.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node54/watcher-431475-1178006719 -o ROOT/results/node54/solver-431475-1178006719 -C 1800 -W 3600 -M 1800 --output-limit 1,15 glpPBv3 /tmp/evaluation/431475-1178006719/instance-431475-1178006719.opb META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7 MD5SUM BENCH= 74c00e33b4232d137ad873ae982593f6 RANDOM SEED= 111801801 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: 1800920 kB Buffers: 20952 kB Cached: 170340 kB SwapCached: 3936 kB Active: 50924 kB Inactive: 150536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1800920 kB SwapTotal: 4192956 kB SwapFree: 4182172 kB Dirty: 2284 kB Writeback: 0 kB Mapped: 16304 kB Slab: 39412 kB Committed_AS: 2433480 kB PageTables: 1412 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 08:35:22 UTC 2007