Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
Pueblo 1.3 | SAT | 0 | 1783.13 | 1783.65 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb |
MD5SUM | 11ee19baa608345f86d8483767b8a181 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -2 |
Best CPU time to get the best result obtained on this benchmark | 1804.54 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2 |
Optimality of the best value was proved | NO |
Number of variables | 309773 |
Total number of constraints | 5980 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 16 |
Number of constraints which are nor clauses,nor cardinality constraints | 5964 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 24690 |
Number of terms in the objective function | 212680 |
Biggest coefficient in the objective function | 244 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 711535 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 711535 |
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 |
OK 0
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/node19/watcher-37749-1149362242 -o ROOT/results/node19/solver-37749-1149362242 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node19/37749-1149362242/instance-37749-1149362242.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 12993 /proc/meminfo: memFree=1731368/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=2572 CPUtime=0 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 201887262 2633728 231 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 643 231 193 16 0 84 0 [startup+10.0022 s] /proc/loadavg: 0.93 0.95 0.98 2/64 12993 /proc/meminfo: memFree=1639680/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=114652 CPUtime=9.98 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 1309365 0 0 0 641 357 0 0 25 0 1 0 201887262 117403648 23199 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 28663 23207 205 16 0 28104 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 114652 [startup+20.0092 s] /proc/loadavg: 0.94 0.96 0.98 2/64 12993 /proc/meminfo: memFree=1592080/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=161636 CPUtime=20 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171134 0 0 0 1100 900 0 0 25 0 1 0 201887262 165515264 35040 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7918271 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 40409 35040 206 16 0 39850 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 161636 [startup+30.0153 s] /proc/loadavg: 0.95 0.96 0.98 2/64 12993 /proc/meminfo: memFree=1590352/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=164708 CPUtime=29.99 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 2099 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 41177 35504 206 16 0 40618 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 164708 [startup+40.0214 s] /proc/loadavg: 0.95 0.96 0.98 2/64 12993 /proc/meminfo: memFree=1590352/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=164708 CPUtime=40 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 3100 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 41177 35504 206 16 0 40618 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 164708 [startup+50.0275 s] /proc/loadavg: 0.96 0.96 0.98 2/64 12993 /proc/meminfo: memFree=1590416/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=164708 CPUtime=50 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 4100 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 41177 35504 206 16 0 40618 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 164708 [startup+60.0336 s] /proc/loadavg: 0.97 0.96 0.98 2/64 12993 /proc/meminfo: memFree=1590416/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=164708 CPUtime=60 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 5100 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 41177 35504 206 16 0 40618 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 164708 [startup+70.0397 s] /proc/loadavg: 0.97 0.96 0.98 2/64 12993 /proc/meminfo: memFree=1590416/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=164708 CPUtime=70 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 6100 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 41177 35504 206 16 0 40618 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 164708 [startup+80.0458 s] /proc/loadavg: 0.98 0.96 0.98 2/64 12993 /proc/meminfo: memFree=1590416/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=164708 CPUtime=80.01 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 7101 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 41177 35504 206 16 0 40618 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 164708 [startup+90.0519 s] /proc/loadavg: 0.98 0.96 0.98 2/64 12993 /proc/meminfo: memFree=1590416/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=164708 CPUtime=90.01 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 8101 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 41177 35504 206 16 0 40618 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 164708 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.98 2/64 12993 /proc/meminfo: memFree=1590416/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=164708 CPUtime=100.02 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 9102 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 41177 35504 206 16 0 40618 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 164708 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.98 2/64 12993 /proc/meminfo: memFree=1590096/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=165072 CPUtime=110.02 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171688 0 0 0 10101 901 0 0 25 0 1 0 201887262 169033728 35594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 41268 35594 206 16 0 40709 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 165072 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12993 /proc/meminfo: memFree=1589072/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=165948 CPUtime=120.03 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171939 0 0 0 11102 901 0 0 25 0 1 0 201887262 169930752 35845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528537 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 41487 35845 206 16 0 40928 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 165948 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12993 /proc/meminfo: memFree=1588112/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=166892 CPUtime=130.03 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3172175 0 0 0 12102 901 0 0 25 0 1 0 201887262 170897408 36081 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 41723 36081 206 16 0 41164 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 166892 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12993 /proc/meminfo: memFree=1587088/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=168024 CPUtime=140.03 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3172426 0 0 0 13102 901 0 0 25 0 1 0 201887262 172056576 36332 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 42006 36332 206 16 0 41447 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 168024 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12993 /proc/meminfo: memFree=1586192/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=168968 CPUtime=150.03 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3172661 0 0 0 14102 901 0 0 25 0 1 0 201887262 173023232 36567 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 42242 36567 206 16 0 41683 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 168968 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12993 /proc/meminfo: memFree=1585552/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=169488 CPUtime=160.04 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3172809 0 0 0 15102 902 0 0 25 0 1 0 201887262 173555712 36715 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 42372 36715 206 16 0 41813 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 169488 [startup+170.102 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12993 /proc/meminfo: memFree=1584656/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=170316 CPUtime=170.04 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3173141 0 0 0 16102 902 0 0 25 0 1 0 201887262 174403584 36936 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 42579 36936 206 16 0 42020 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 170316 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12993 /proc/meminfo: memFree=1582736/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=172272 CPUtime=180.05 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3174058 0 0 0 17102 903 0 0 25 0 1 0 201887262 176406528 37393 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 43068 37393 206 16 0 42509 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 172272 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12993 /proc/meminfo: memFree=1581712/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=173264 CPUtime=190.05 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3174450 0 0 0 18102 903 0 0 25 0 1 0 201887262 177422336 37674 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 43316 37674 206 16 0 42757 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 173264 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12993 /proc/meminfo: memFree=1580496/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=174328 CPUtime=200.05 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3174776 0 0 0 19102 903 0 0 25 0 1 0 201887262 178511872 37939 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 43582 37939 206 16 0 43023 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 174328 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.98 2/64 12993 /proc/meminfo: memFree=1578576/2055920 swapFree=4181416/4192956 ################ # More data... # ################ /proc/12993/statm: 226168 220497 206 16 0 225609 0 Current children cumulated CPU time (s) 1590.59 Current children cumulated vsize (Kb) 904672 [startup+1601.07 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=834648/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=918416 CPUtime=1600.59 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3386598 0 0 0 159048 1011 0 0 25 0 1 0 201887262 940457984 223953 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527966 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 229604 223953 206 16 0 229045 0 Current children cumulated CPU time (s) 1600.59 Current children cumulated vsize (Kb) 918416 [startup+1611.07 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=820568/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=932480 CPUtime=1610.6 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3390115 0 0 0 160048 1012 0 0 25 0 1 0 201887262 954859520 227470 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528554 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 233120 227470 206 16 0 232561 0 Current children cumulated CPU time (s) 1610.6 Current children cumulated vsize (Kb) 932480 [startup+1621.08 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=806168/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=946904 CPUtime=1620.61 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3393703 0 0 0 161047 1014 0 0 25 0 1 0 201887262 969629696 231058 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 236726 231058 206 16 0 236167 0 Current children cumulated CPU time (s) 1620.61 Current children cumulated vsize (Kb) 946904 [startup+1631.09 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=788952/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=964136 CPUtime=1630.61 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3398014 0 0 0 162045 1016 0 0 25 0 1 0 201887262 987275264 235369 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 241034 235369 206 16 0 240475 0 Current children cumulated CPU time (s) 1630.61 Current children cumulated vsize (Kb) 964136 [startup+1641.09 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=770968/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=981972 CPUtime=1640.61 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3402489 0 0 0 163044 1017 0 0 25 0 1 0 201887262 1005539328 239844 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 245493 239844 206 16 0 244934 0 Current children cumulated CPU time (s) 1640.61 Current children cumulated vsize (Kb) 981972 [startup+1651.1 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=754264/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=998764 CPUtime=1650.61 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3406902 0 0 0 164042 1019 0 0 25 0 1 0 201887262 1022734336 244024 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 249691 244024 206 16 0 249132 0 Current children cumulated CPU time (s) 1650.61 Current children cumulated vsize (Kb) 998764 [startup+1661.11 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=738392/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1014524 CPUtime=1660.61 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3410920 0 0 0 165040 1021 0 0 25 0 1 0 201887262 1038872576 247982 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 253631 247982 206 16 0 253072 0 Current children cumulated CPU time (s) 1660.61 Current children cumulated vsize (Kb) 1014524 [startup+1671.11 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=722776/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1030112 CPUtime=1670.62 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3414817 0 0 0 166039 1023 0 0 25 0 1 0 201887262 1054834688 251879 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 257528 251879 206 16 0 256969 0 Current children cumulated CPU time (s) 1670.62 Current children cumulated vsize (Kb) 1030112 [startup+1681.12 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=706584/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1046316 CPUtime=1680.62 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3418849 0 0 0 167037 1025 0 0 25 0 1 0 201887262 1071427584 255911 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 261579 255911 206 16 0 261020 0 Current children cumulated CPU time (s) 1680.62 Current children cumulated vsize (Kb) 1046316 [startup+1691.12 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=688792/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1064028 CPUtime=1690.62 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3423279 0 0 0 168036 1026 0 0 25 0 1 0 201887262 1089564672 260341 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 266007 260341 206 16 0 265448 0 Current children cumulated CPU time (s) 1690.62 Current children cumulated vsize (Kb) 1064028 [startup+1701.13 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=670808/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1081968 CPUtime=1700.62 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3427767 0 0 0 169034 1028 0 0 25 0 1 0 201887262 1107935232 264829 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 270492 264829 206 16 0 269933 0 Current children cumulated CPU time (s) 1700.62 Current children cumulated vsize (Kb) 1081968 [startup+1711.14 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=652696/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1100108 CPUtime=1710.63 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3432359 0 0 0 170032 1031 0 0 25 0 1 0 201887262 1126510592 269361 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528528 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 275027 269361 206 16 0 274468 0 Current children cumulated CPU time (s) 1710.63 Current children cumulated vsize (Kb) 1100108 [startup+1721.14 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=635800/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1116868 CPUtime=1720.63 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3436553 0 0 0 171031 1032 0 0 25 0 1 0 201887262 1143672832 273555 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 279217 273555 206 16 0 278658 0 Current children cumulated CPU time (s) 1720.63 Current children cumulated vsize (Kb) 1116868 [startup+1731.15 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=618584/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1133996 CPUtime=1730.64 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3440850 0 0 0 172030 1034 0 0 25 0 1 0 201887262 1161211904 277852 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 283499 277852 206 16 0 282940 0 Current children cumulated CPU time (s) 1730.64 Current children cumulated vsize (Kb) 1133996 [startup+1741.15 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=600728/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1151832 CPUtime=1740.64 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3445309 0 0 0 173028 1036 0 0 25 0 1 0 201887262 1179475968 282311 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528537 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 287958 282311 206 16 0 287399 0 Current children cumulated CPU time (s) 1740.64 Current children cumulated vsize (Kb) 1151832 [startup+1751.16 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=582552/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1169980 CPUtime=1750.64 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3449846 0 0 0 174026 1038 0 0 25 0 1 0 201887262 1198059520 286848 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 292495 286848 206 16 0 291936 0 Current children cumulated CPU time (s) 1750.64 Current children cumulated vsize (Kb) 1169980 [startup+1761.17 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=566104/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1186400 CPUtime=1760.64 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3453951 0 0 0 175024 1040 0 0 25 0 1 0 201887262 1214873600 290953 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 296600 290953 206 16 0 296041 0 Current children cumulated CPU time (s) 1760.64 Current children cumulated vsize (Kb) 1186400 [startup+1771.17 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=548696/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1203800 CPUtime=1770.65 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3458286 0 0 0 176023 1042 0 0 25 0 1 0 201887262 1232691200 295288 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 300950 295288 206 16 0 300391 0 Current children cumulated CPU time (s) 1770.65 Current children cumulated vsize (Kb) 1203800 [startup+1781.18 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=530776/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1221752 CPUtime=1780.65 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3462774 0 0 0 177021 1044 0 0 25 0 1 0 201887262 1251074048 299776 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528592 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 305438 299776 206 16 0 304879 0 Current children cumulated CPU time (s) 1780.65 Current children cumulated vsize (Kb) 1221752 [startup+1782.18 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=529176/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1223288 CPUtime=1781.65 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3463158 0 0 0 177121 1044 0 0 25 0 1 0 201887262 1252646912 300160 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 305822 300160 206 16 0 305263 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (Kb) 1223288 [startup+1783.19 s] /proc/loadavg: 1.00 0.99 0.98 2/64 12995 /proc/meminfo: memFree=527320/2055920 swapFree=4181416/4192956 [pid=12993] ppid=12991 vsize=1225180 CPUtime=1782.66 /proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3463631 0 0 0 177222 1044 0 0 25 0 1 0 201887262 1254584320 300633 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528592 0 0 4096 0 0 0 0 17 1 0 0 /proc/12993/statm: 306295 300633 206 16 0 305736 0 Current children cumulated CPU time (s) 1782.66 Current children cumulated vsize (Kb) 1225180 Child status: 10 Real time (s): 1783.65 CPU time (s): 1783.13 CPU user time (s): 1772.46 CPU system time (s): 10.6634 CPU usage (%): 99.9706 Max. virtual memory (cumulated for all children) (Kb): 1225180
Begin job on node19 on Sat Jun 3 19:17:22 UTC 2006 FILE ID= 37749-1149362242 PBS_JOBID= 311582 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node19/37749-1149362242/instance-37749-1149362242.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-37749-1149362242 -o ROOT/results/node19/solver-37749-1149362242 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node19/37749-1149362242/instance-37749-1149362242.opb MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1 MD5SUM BENCH= 11ee19baa608345f86d8483767b8a181 RANDOM SEED= 762176646 /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.236 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.236 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: 1731576 kB Buffers: 4120 kB Cached: 259540 kB SwapCached: 3104 kB Active: 31632 kB Inactive: 240612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1731576 kB SwapTotal: 4192956 kB SwapFree: 4181416 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14732 kB Slab: 38064 kB Committed_AS: 394432 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node19 on Sat Jun 3 19:47:06 UTC 2006