Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | ? (TO) | 1800.59 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib3/normalized-reduced-mps-v2-20-10-blend2.opb |
MD5SUM | 94d27ad55443aa92d0406d6e0a54bcaf |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 2944 |
Total number of constraints | 214 |
Number of constraints which are clauses | 9 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 205 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2659 |
Number of terms in the objective function | 88 |
Biggest coefficient in the objective function | 53442 |
Number of bits for the biggest coefficient in the objective function | 16 |
Sum of the numbers in the objective function | 524332 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262120 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 526376 |
Number of bits of the biggest sum of numbers | 20 |
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 c Pueblo version 1.4 (September 2005) 0.00 c Developed @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini 0.13 c starting to Solve 0.13 c #variables read: 2944 - #constraints read: 295
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node1/watcher-37780-1149363394 -o ROOT/results/node1/solver-37780-1149363394 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node1/37780-1149363394/instance-37780-1149363394.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1733776/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=2572 CPUtime=0 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 202000959 2633728 231 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 6295255 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 643 231 193 16 0 84 0 [startup+10.0025 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1711392/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=24796 CPUtime=9.99 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 5819 0 0 0 998 1 0 0 25 0 1 0 202000959 25391104 5790 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 6199 5790 205 16 0 5640 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 24796 [startup+20.0086 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1710048/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=26152 CPUtime=19.99 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 6322 0 0 0 1997 2 0 0 25 0 1 0 202000959 26779648 6125 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 6538 6125 205 16 0 5979 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 26152 [startup+30.0148 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1709408/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=26692 CPUtime=29.99 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 6815 0 0 0 2997 2 0 0 25 0 1 0 202000959 27332608 6279 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 6673 6279 205 16 0 6114 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 26692 [startup+40.021 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1709280/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=26928 CPUtime=40 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 6853 0 0 0 3998 2 0 0 25 0 1 0 202000959 27574272 6317 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528051 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 6732 6317 205 16 0 6173 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 26928 [startup+50.0272 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1708192/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=27992 CPUtime=50 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7128 0 0 0 4998 2 0 0 25 0 1 0 202000959 28663808 6592 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527944 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 6998 6592 205 16 0 6439 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 27992 [startup+60.0333 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1708576/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=27304 CPUtime=60.01 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7128 0 0 0 5998 3 0 0 25 0 1 0 202000959 27959296 6440 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 6826 6440 205 16 0 6267 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 27304 [startup+70.0395 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1708704/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=27384 CPUtime=70.01 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7237 0 0 0 6998 3 0 0 25 0 1 0 202000959 28041216 6451 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134557897 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 6846 6451 205 16 0 6287 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 27384 [startup+80.0457 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1708832/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=27052 CPUtime=80.02 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7237 0 0 0 7999 3 0 0 25 0 1 0 202000959 27701248 6377 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 6763 6377 205 16 0 6204 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 27052 [startup+90.0519 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1708640/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=27440 CPUtime=90.02 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7348 0 0 0 8999 3 0 0 25 0 1 0 202000959 28098560 6468 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517823 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 6860 6468 205 16 0 6301 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 27440 [startup+100.058 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1708448/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=27664 CPUtime=100.02 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7412 0 0 0 9999 3 0 0 25 0 1 0 202000959 28327936 6521 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 6916 6521 205 16 0 6357 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 27664 [startup+110.064 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1707552/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=28544 CPUtime=110.03 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7627 0 0 0 11000 3 0 0 25 0 1 0 202000959 29229056 6736 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7136 6736 205 16 0 6577 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 28544 [startup+120.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1707552/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=28544 CPUtime=120.03 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7632 0 0 0 12000 3 0 0 25 0 1 0 202000959 29229056 6741 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7136 6741 205 16 0 6577 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 28544 [startup+130.077 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1707552/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=28412 CPUtime=130.03 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7632 0 0 0 13000 3 0 0 25 0 1 0 202000959 29093888 6717 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7103 6717 205 16 0 6544 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 28412 [startup+140.083 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1707552/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=28532 CPUtime=140.03 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7668 0 0 0 14000 3 0 0 25 0 1 0 202000959 29216768 6741 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134520076 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7133 6741 205 16 0 6574 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 28532 [startup+150.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1707616/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=28276 CPUtime=150.04 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7668 0 0 0 15001 3 0 0 25 0 1 0 202000959 28954624 6683 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 6264487 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7069 6683 205 16 0 6510 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 28276 [startup+160.096 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1707872/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=27992 CPUtime=160.04 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7668 0 0 0 16001 3 0 0 25 0 1 0 202000959 28663808 6612 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 6998 6612 205 16 0 6439 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 27992 [startup+170.101 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1708000/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=27888 CPUtime=170.04 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7668 0 0 0 17001 3 0 0 25 0 1 0 202000959 28557312 6586 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528540 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 6972 6586 205 16 0 6413 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 27888 [startup+180.107 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1707744/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=28356 CPUtime=180.05 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 7765 0 0 0 18002 3 0 0 25 0 1 0 202000959 29036544 6683 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7089 6683 205 16 0 6530 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 28356 [startup+190.114 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1706272/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=29856 CPUtime=190.05 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 8147 0 0 0 19002 3 0 0 25 0 1 0 202000959 30572544 7065 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7464 7065 205 16 0 6905 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 29856 [startup+200.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1706208/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=29848 CPUtime=200.05 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 8147 0 0 0 20002 3 0 0 25 0 1 0 202000959 30564352 7065 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7462 7065 205 16 0 6903 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 29848 [startup+210.126 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9193 /proc/meminfo: memFree=1706208/2055920 swapFree=4181376/4192956 ################ # More data... # ################ /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9392 0 0 0 178135 12 0 0 25 0 1 0 202000959 31424512 7286 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528540 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7672 7286 205 16 0 7113 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 30688 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704984/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30688 CPUtime=1782.48 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9392 0 0 0 178236 12 0 0 25 0 1 0 202000959 31424512 7286 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7672 7286 205 16 0 7113 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 30688 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704984/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30688 CPUtime=1783.48 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9392 0 0 0 178336 12 0 0 25 0 1 0 202000959 31424512 7286 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7672 7286 205 16 0 7113 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 30688 [startup+1785.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704984/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30688 CPUtime=1784.49 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9392 0 0 0 178437 12 0 0 25 0 1 0 202000959 31424512 7286 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134557270 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7672 7286 205 16 0 7113 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 30688 [startup+1786.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704984/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1785.49 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9404 0 0 0 178537 12 0 0 25 0 1 0 202000959 31547392 7298 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528600 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7298 205 16 0 7143 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 30808 [startup+1787.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704984/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1786.5 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9404 0 0 0 178638 12 0 0 25 0 1 0 202000959 31547392 7298 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7298 205 16 0 7143 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 30808 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704984/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1787.5 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9404 0 0 0 178738 12 0 0 25 0 1 0 202000959 31547392 7298 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528681 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7298 205 16 0 7143 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 30808 [startup+1789.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704984/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1788.51 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9404 0 0 0 178839 12 0 0 25 0 1 0 202000959 31547392 7298 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7298 205 16 0 7143 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 30808 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704984/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1789.51 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9404 0 0 0 178939 12 0 0 25 0 1 0 202000959 31547392 7298 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7298 205 16 0 7143 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 30808 [startup+1791.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704984/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1790.51 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9404 0 0 0 179039 12 0 0 25 0 1 0 202000959 31547392 7298 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528637 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7298 205 16 0 7143 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 30808 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704920/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1791.52 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9408 0 0 0 179140 12 0 0 25 0 1 0 202000959 31547392 7302 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528015 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7302 205 16 0 7143 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 30808 [startup+1793.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704920/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1792.52 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9408 0 0 0 179240 12 0 0 25 0 1 0 202000959 31547392 7302 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528554 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7302 205 16 0 7143 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 30808 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704920/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1793.53 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9408 0 0 0 179341 12 0 0 25 0 1 0 202000959 31547392 7302 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528524 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7302 205 16 0 7143 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 30808 [startup+1795.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704920/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1794.53 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9408 0 0 0 179441 12 0 0 25 0 1 0 202000959 31547392 7302 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7302 205 16 0 7143 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 30808 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704920/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1795.54 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9408 0 0 0 179542 12 0 0 25 0 1 0 202000959 31547392 7302 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7302 205 16 0 7143 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 30808 [startup+1797.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704928/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1796.54 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9408 0 0 0 179642 12 0 0 25 0 1 0 202000959 31547392 7302 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134532088 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7302 205 16 0 7143 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 30808 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704928/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1797.55 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9408 0 0 0 179743 12 0 0 25 0 1 0 202000959 31547392 7302 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7302 205 16 0 7143 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 30808 [startup+1799.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704928/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1798.55 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9408 0 0 0 179843 12 0 0 25 0 1 0 202000959 31547392 7302 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528515 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7302 205 16 0 7143 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 30808 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704928/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1799.56 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9408 0 0 0 179944 12 0 0 25 0 1 0 202000959 31547392 7302 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528626 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7302 205 16 0 7143 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 30808 [startup+1801.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704928/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1800.56 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9408 0 0 0 180044 12 0 0 25 0 1 0 202000959 31547392 7302 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134528542 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7302 205 16 0 7143 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 30808 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 9388 /proc/meminfo: memFree=1704928/2055920 swapFree=4181376/4192956 [pid=9193] ppid=9191 vsize=30808 CPUtime=1800.57 /proc/9193/stat : 9193 (Pueblo13) R 9191 9193 9147 0 -1 4194304 9408 0 0 0 180045 12 0 0 25 0 1 0 202000959 31547392 7302 18446744073709551615 134512640 134579064 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0 /proc/9193/statm: 7702 7302 205 16 0 7143 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 30808 Sending SIGTERM to -9193 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.2 CPU time (s): 1800.59 CPU user time (s): 1800.45 CPU system time (s): 0.134979 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (Kb): 30808 The end
Begin job on node1 on Sat Jun 3 19:36:34 UTC 2006 FILE ID= 37780-1149363394 PBS_JOBID= 311647 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib3/normalized-reduced-mps-v2-20-10-blend2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node1/37780-1149363394/instance-37780-1149363394.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node1/watcher-37780-1149363394 -o ROOT/results/node1/solver-37780-1149363394 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node1/37780-1149363394/instance-37780-1149363394.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 94d27ad55443aa92d0406d6e0a54bcaf RANDOM SEED= 90129736 /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.231 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.231 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: 1734048 kB Buffers: 19740 kB Cached: 240116 kB SwapCached: 3236 kB Active: 75168 kB Inactive: 193456 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1734048 kB SwapTotal: 4192956 kB SwapFree: 4181376 kB Dirty: 228 kB Writeback: 0 kB Mapped: 14908 kB Slab: 39288 kB Committed_AS: 324780 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node1 on Sat Jun 3 20:06:35 UTC 2006