Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.4 | ? (TO) | 1800.5 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb |
MD5SUM | 99a4e5b0ce7b98bffc278cf1f6704eb9 |
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 | 14265 |
Total number of constraints | 290 |
Number of constraints which are clauses | 27 |
Number of constraints which are cardinality constraints (but not clauses) | 5 |
Number of constraints which are nor clauses,nor cardinality constraints | 258 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 420 |
Number of terms in the objective function | 14235 |
Biggest coefficient in the objective function | 5488 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 535829 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262125 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 535829 |
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.21 c starting to Solve 0.21 c #variables read: 14265 - #constraints read: 369
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/node89/watcher-36556-1149351499 -o ROOT/results/node89/solver-36556-1149351499 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node89/36556-1149351499/instance-36556-1149351499.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/68 28668 /proc/meminfo: memFree=1851544/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=2576 CPUtime=0 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 257 0 0 0 0 0 0 0 18 0 1 0 200788973 2637824 229 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134546758 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 644 229 191 16 0 84 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.90 2/68 28668 /proc/meminfo: memFree=1841688/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=12256 CPUtime=9.99 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 2662 0 0 0 998 1 0 0 25 0 1 0 200788973 12550144 2634 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 3064 2634 206 16 0 2504 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 12256 [startup+20.0081 s] /proc/loadavg: 0.94 0.96 0.91 2/68 28668 /proc/meminfo: memFree=1839512/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=14436 CPUtime=19.99 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 3218 0 0 0 1998 1 0 0 25 0 1 0 200788973 14782464 3190 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 3609 3190 206 16 0 3049 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 14436 [startup+30.014 s] /proc/loadavg: 0.95 0.96 0.91 2/68 28668 /proc/meminfo: memFree=1839576/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=14436 CPUtime=29.99 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 3218 0 0 0 2998 1 0 0 25 0 1 0 200788973 14782464 3190 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 3609 3190 206 16 0 3049 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 14436 [startup+40.0198 s] /proc/loadavg: 0.95 0.96 0.91 2/68 28668 /proc/meminfo: memFree=1839576/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=14436 CPUtime=39.99 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 3218 0 0 0 3998 1 0 0 25 0 1 0 200788973 14782464 3190 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 3609 3190 206 16 0 3049 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 14436 [startup+50.0257 s] /proc/loadavg: 0.96 0.96 0.91 2/68 28668 /proc/meminfo: memFree=1838168/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=15916 CPUtime=50 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 3582 0 0 0 4999 1 0 0 25 0 1 0 200788973 16297984 3554 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558845 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 3979 3554 206 16 0 3419 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 15916 [startup+60.0316 s] /proc/loadavg: 0.97 0.96 0.91 2/68 28668 /proc/meminfo: memFree=1836184/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=17872 CPUtime=60.01 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 4084 0 0 0 5999 2 0 0 25 0 1 0 200788973 18300928 4056 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559559 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 4468 4056 206 16 0 3908 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 17872 [startup+70.0374 s] /proc/loadavg: 0.97 0.96 0.91 2/68 28668 /proc/meminfo: memFree=1835864/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=18184 CPUtime=70.01 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 4178 0 0 0 6999 2 0 0 25 0 1 0 200788973 18620416 4134 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 4546 4134 206 16 0 3986 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 18184 [startup+80.0433 s] /proc/loadavg: 0.98 0.96 0.91 2/68 28668 /proc/meminfo: memFree=1835864/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=18184 CPUtime=80.01 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 4178 0 0 0 7999 2 0 0 25 0 1 0 200788973 18620416 4134 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528351 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 4546 4134 206 16 0 3986 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 18184 [startup+90.0491 s] /proc/loadavg: 0.98 0.96 0.91 2/68 28668 /proc/meminfo: memFree=1835672/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=18440 CPUtime=90.01 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 4214 0 0 0 8999 2 0 0 25 0 1 0 200788973 18882560 4170 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 4610 4170 206 16 0 4050 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 18440 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.91 2/68 28668 /proc/meminfo: memFree=1835032/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=19064 CPUtime=100.01 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 4380 0 0 0 9999 2 0 0 25 0 1 0 200788973 19521536 4336 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 4766 4336 206 16 0 4206 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 19064 [startup+110.061 s] /proc/loadavg: 0.98 0.96 0.91 2/68 28668 /proc/meminfo: memFree=1834648/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=19444 CPUtime=110.02 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 4489 0 0 0 11000 2 0 0 25 0 1 0 200788973 19910656 4445 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 4861 4445 206 16 0 4301 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 19444 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28668 /proc/meminfo: memFree=1834584/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=19444 CPUtime=120.02 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 4493 0 0 0 12000 2 0 0 25 0 1 0 200788973 19910656 4449 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 4861 4449 206 16 0 4301 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 19444 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28668 /proc/meminfo: memFree=1834584/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=19444 CPUtime=130.02 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 4493 0 0 0 13000 2 0 0 25 0 1 0 200788973 19910656 4449 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 4861 4449 206 16 0 4301 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 19444 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28668 /proc/meminfo: memFree=1834584/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=19444 CPUtime=140.02 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 4493 0 0 0 14000 2 0 0 25 0 1 0 200788973 19910656 4449 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 4861 4449 206 16 0 4301 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 19444 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28668 /proc/meminfo: memFree=1832472/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=21620 CPUtime=150.02 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 5025 0 0 0 15000 2 0 0 25 0 1 0 200788973 22138880 4981 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557413 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 5405 4981 206 16 0 4845 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 21620 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28668 /proc/meminfo: memFree=1830744/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=23300 CPUtime=160.02 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 5447 0 0 0 16000 2 0 0 25 0 1 0 200788973 23859200 5403 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 5825 5403 206 16 0 5265 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 23300 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28668 /proc/meminfo: memFree=1830744/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=23300 CPUtime=170.02 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 5447 0 0 0 17000 2 0 0 25 0 1 0 200788973 23859200 5403 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 5825 5403 206 16 0 5265 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 23300 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28668 /proc/meminfo: memFree=1830744/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=23300 CPUtime=180.02 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 5447 0 0 0 18000 2 0 0 25 0 1 0 200788973 23859200 5403 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558609 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 5825 5403 206 16 0 5265 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 23300 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28668 /proc/meminfo: memFree=1830744/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=23300 CPUtime=190.03 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 5447 0 0 0 19001 2 0 0 25 0 1 0 200788973 23859200 5403 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 5825 5403 206 16 0 5265 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 23300 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28668 /proc/meminfo: memFree=1830744/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=23300 CPUtime=200.03 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 5447 0 0 0 20001 2 0 0 25 0 1 0 200788973 23859200 5403 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 5825 5403 206 16 0 5265 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 23300 [startup+210.119 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28668 /proc/meminfo: memFree=1830680/2055892 swapFree=4085352/4096564 ################ # More data... # ################ /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 11753 0 0 0 178134 6 0 0 25 0 1 0 200788973 46178304 10842 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11274 10842 206 16 0 10714 0 Current children cumulated CPU time (s) 1781.4 Current children cumulated vsize (Kb) 45096 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1808408/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=45096 CPUtime=1782.4 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 11753 0 0 0 178234 6 0 0 25 0 1 0 200788973 46178304 10842 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11274 10842 206 16 0 10714 0 Current children cumulated CPU time (s) 1782.4 Current children cumulated vsize (Kb) 45096 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1808408/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=45096 CPUtime=1783.41 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 11753 0 0 0 178335 6 0 0 25 0 1 0 200788973 46178304 10842 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11274 10842 206 16 0 10714 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 45096 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1808408/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=45096 CPUtime=1784.41 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 11753 0 0 0 178435 6 0 0 25 0 1 0 200788973 46178304 10842 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559555 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11274 10842 206 16 0 10714 0 Current children cumulated CPU time (s) 1784.41 Current children cumulated vsize (Kb) 45096 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1808408/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=45096 CPUtime=1785.41 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 11753 0 0 0 178535 6 0 0 25 0 1 0 200788973 46178304 10842 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11274 10842 206 16 0 10714 0 Current children cumulated CPU time (s) 1785.41 Current children cumulated vsize (Kb) 45096 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1808664/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=44868 CPUtime=1786.42 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 11753 0 0 0 178636 6 0 0 25 0 1 0 200788973 45944832 10785 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11217 10785 206 16 0 10657 0 Current children cumulated CPU time (s) 1786.42 Current children cumulated vsize (Kb) 44868 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1808664/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=44868 CPUtime=1787.42 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 11753 0 0 0 178736 6 0 0 25 0 1 0 200788973 45944832 10785 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11217 10785 206 16 0 10657 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 44868 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1808664/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=44868 CPUtime=1788.43 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 11753 0 0 0 178837 6 0 0 25 0 1 0 200788973 45944832 10785 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11217 10785 206 16 0 10657 0 Current children cumulated CPU time (s) 1788.43 Current children cumulated vsize (Kb) 44868 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1808664/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=44868 CPUtime=1789.43 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 11753 0 0 0 178937 6 0 0 25 0 1 0 200788973 45944832 10785 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11217 10785 206 16 0 10657 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 44868 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1807512/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=46280 CPUtime=1790.44 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 12088 0 0 0 179038 6 0 0 25 0 1 0 200788973 47390720 11120 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11570 11120 206 16 0 11010 0 Current children cumulated CPU time (s) 1790.44 Current children cumulated vsize (Kb) 46280 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1806680/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=47160 CPUtime=1791.44 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 12295 0 0 0 179138 6 0 0 25 0 1 0 200788973 48291840 11327 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11790 11327 206 16 0 11230 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (Kb) 47160 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1806680/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=47160 CPUtime=1792.44 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 12295 0 0 0 179238 6 0 0 25 0 1 0 200788973 48291840 11327 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11790 11327 206 16 0 11230 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 47160 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1806680/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=47160 CPUtime=1793.45 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 12295 0 0 0 179339 6 0 0 25 0 1 0 200788973 48291840 11327 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519973 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11790 11327 206 16 0 11230 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 47160 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1806680/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=47160 CPUtime=1794.45 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 12295 0 0 0 179439 6 0 0 25 0 1 0 200788973 48291840 11327 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11790 11327 206 16 0 11230 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 47160 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1806680/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=47160 CPUtime=1795.46 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 12295 0 0 0 179540 6 0 0 25 0 1 0 200788973 48291840 11327 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11790 11327 206 16 0 11230 0 Current children cumulated CPU time (s) 1795.46 Current children cumulated vsize (Kb) 47160 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1806680/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=47160 CPUtime=1796.46 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 12295 0 0 0 179640 6 0 0 25 0 1 0 200788973 48291840 11327 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11790 11327 206 16 0 11230 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 47160 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1806680/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=47156 CPUtime=1797.47 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 12295 0 0 0 179741 6 0 0 25 0 1 0 200788973 48287744 11327 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11789 11327 206 16 0 11229 0 Current children cumulated CPU time (s) 1797.47 Current children cumulated vsize (Kb) 47156 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1806680/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=47156 CPUtime=1798.47 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 12295 0 0 0 179841 6 0 0 25 0 1 0 200788973 48287744 11327 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11789 11327 206 16 0 11229 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 47156 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1806680/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=47148 CPUtime=1799.48 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 12295 0 0 0 179942 6 0 0 25 0 1 0 200788973 48279552 11327 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11787 11327 206 16 0 11227 0 Current children cumulated CPU time (s) 1799.48 Current children cumulated vsize (Kb) 47148 [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1806680/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=47148 CPUtime=1800.48 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 12295 0 0 0 180042 6 0 0 25 0 1 0 200788973 48279552 11327 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11787 11327 206 16 0 11227 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 47148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 28670 /proc/meminfo: memFree=1806680/2055892 swapFree=4085352/4096564 [pid=28668] ppid=28666 vsize=47148 CPUtime=1800.48 /proc/28668/stat : 28668 (Pueblo) R 28666 28668 28622 0 -1 4194304 12295 0 0 0 180042 6 0 0 25 0 1 0 200788973 48279552 11327 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0 /proc/28668/statm: 11787 11327 206 16 0 11227 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 47148 Sending SIGTERM to -28668 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.5 CPU user time (s): 1800.43 CPU system time (s): 0.074988 CPU usage (%): 99.9636 Max. virtual memory (cumulated for all children) (Kb): 47160 The end
Begin job on node89 on Sat Jun 3 16:18:19 UTC 2006 FILE ID= 36556-1149351499 PBS_JOBID= 311028 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-dcmulti.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node89/36556-1149351499/instance-36556-1149351499.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node89/watcher-36556-1149351499 -o ROOT/results/node89/solver-36556-1149351499 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node89/36556-1149351499/instance-36556-1149351499.opb MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff MD5SUM BENCH= 99a4e5b0ce7b98bffc278cf1f6704eb9 RANDOM SEED= 203948288 /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.265 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 : 6006.16 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1851688 kB Buffers: 26388 kB Cached: 116680 kB SwapCached: 2384 kB Active: 50492 kB Inactive: 101192 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1851688 kB SwapTotal: 4096564 kB SwapFree: 4085352 kB Dirty: 172 kB Writeback: 0 kB Mapped: 16524 kB Slab: 39056 kB Committed_AS: 365044 kB PageTables: 1300 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node89 on Sat Jun 3 16:48:21 UTC 2006