Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.73 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_1.opb |
MD5SUM | 5bf563c7058af01702ea80887f1d43ad |
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 | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | NO |
Number of variables | 120 |
Total number of constraints | 10 |
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 | 10 |
Minimum length of a constraint | 55 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
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 | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1086 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 3768 |
Number of bits of the biggest sum of numbers | 12 |
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 glpPB 0.2 (July 2006) 0.00 c An Application of GLPK 4.10 for PB Constraints 0.00 c Done @ University of Michigan, Ann Arbor, MI 0.00 c by Hossein Sheini
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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node15/watcher-85840-1154175533 -o ROOT/results/node15/solver-85840-1154175533 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node15/85840-1154175533/instance-85840-1154175533.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.97 0.91 3/64 32398 /proc/meminfo: memFree=995792/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=268 CPUtime=0 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 34 0 0 0 0 0 0 0 19 0 1 0 164414082 274432 19 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7449547 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 67 23 18 40 0 2 0 [startup+10.0021 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=991376/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=6764 CPUtime=9.99 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 1339 0 0 0 981 18 0 0 25 0 1 0 164414082 6926336 1308 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 1691 1308 227 40 0 1108 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6764 [startup+20.008 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=988176/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=10036 CPUtime=19.99 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 2184 0 0 0 1968 31 0 0 25 0 1 0 164414082 10276864 2112 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 2509 2112 227 40 0 1926 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 10036 [startup+30.014 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=985296/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=12912 CPUtime=30 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 2982 0 0 0 2959 41 0 0 25 0 1 0 164414082 13221888 2829 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 3228 2829 227 40 0 2645 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 12912 [startup+40.0199 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=984080/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=14196 CPUtime=40 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 3293 0 0 0 3949 51 0 0 25 0 1 0 164414082 14536704 3140 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543409 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 3549 3140 227 40 0 2966 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 14196 [startup+50.0258 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=982416/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=15764 CPUtime=50 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 3714 0 0 0 4942 58 0 0 25 0 1 0 164414082 16142336 3561 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 3941 3561 227 40 0 3358 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 15764 [startup+60.0317 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=982416/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=15764 CPUtime=60 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 3714 0 0 0 5936 64 0 0 25 0 1 0 164414082 16142336 3561 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134573008 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 3941 3561 227 40 0 3358 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 15764 [startup+70.0377 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=982416/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=15764 CPUtime=70.01 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 3714 0 0 0 6931 70 0 0 25 0 1 0 164414082 16142336 3561 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 3941 3561 227 40 0 3358 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 15764 [startup+80.0436 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=982288/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=15896 CPUtime=80.02 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 3742 0 0 0 7927 75 0 0 25 0 1 0 164414082 16277504 3589 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572926 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 3974 3589 227 40 0 3391 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 15896 [startup+90.0495 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=982032/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=16148 CPUtime=90.01 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 3808 0 0 0 8922 79 0 0 25 0 1 0 164414082 16535552 3655 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 4037 3655 227 40 0 3454 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 16148 [startup+100.055 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=981584/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=16664 CPUtime=100.02 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 3922 0 0 0 9917 85 0 0 25 0 1 0 164414082 17063936 3769 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578068 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 4166 3769 227 40 0 3583 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 16664 [startup+110.061 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=981008/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=17172 CPUtime=110.02 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 4059 0 0 0 10913 89 0 0 25 0 1 0 164414082 17584128 3906 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 4293 3906 227 40 0 3710 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 17172 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=979664/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=18580 CPUtime=120.03 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 4556 0 0 0 11910 93 0 0 25 0 1 0 164414082 19025920 4242 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 4645 4242 227 40 0 4062 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 18580 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=978960/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=19224 CPUtime=130.03 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 4731 0 0 0 12906 97 0 0 25 0 1 0 164414082 19685376 4417 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 4806 4417 227 40 0 4223 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 19224 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=978256/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=19992 CPUtime=140.03 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 4907 0 0 0 13902 101 0 0 25 0 1 0 164414082 20471808 4593 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 4998 4593 227 40 0 4415 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 19992 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=977488/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=20768 CPUtime=150.04 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 5103 0 0 0 14898 106 0 0 25 0 1 0 164414082 21266432 4789 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 5192 4789 227 40 0 4609 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 20768 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=976784/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=21420 CPUtime=160.05 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 5267 0 0 0 15895 110 0 0 25 0 1 0 164414082 21934080 4953 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 5355 4953 227 40 0 4772 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 21420 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=976144/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=22076 CPUtime=170.05 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 5450 0 0 0 16891 114 0 0 25 0 1 0 164414082 22605824 5136 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 5519 5136 227 40 0 4936 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 22076 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=975504/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=22712 CPUtime=180.05 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 5608 0 0 0 17889 116 0 0 25 0 1 0 164414082 23257088 5294 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 5678 5294 227 40 0 5095 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 22712 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=974800/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=23480 CPUtime=190.05 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 5773 0 0 0 18886 119 0 0 25 0 1 0 164414082 24043520 5459 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 5870 5459 227 40 0 5287 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 23480 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 /proc/meminfo: memFree=974160/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=24120 CPUtime=200.06 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 5934 0 0 0 19883 123 0 0 25 0 1 0 164414082 24698880 5620 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 6030 5620 227 40 0 5447 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 24120 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.91 2/64 32398 ################ # More data... # ################ /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14614 0 0 0 177761 400 0 0 25 0 1 0 164414082 58875904 13979 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134557459 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13979 227 40 0 13791 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 57496 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940432/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57496 CPUtime=1782.62 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14616 0 0 0 177862 400 0 0 25 0 1 0 164414082 58875904 13981 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578445 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13981 227 40 0 13791 0 Current children cumulated CPU time (s) 1782.62 Current children cumulated vsize (Kb) 57496 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940432/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57496 CPUtime=1783.63 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14616 0 0 0 177962 401 0 0 25 0 1 0 164414082 58875904 13981 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13981 227 40 0 13791 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (Kb) 57496 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940432/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57496 CPUtime=1784.63 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14616 0 0 0 178062 401 0 0 25 0 1 0 164414082 58875904 13981 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578423 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13981 227 40 0 13791 0 Current children cumulated CPU time (s) 1784.63 Current children cumulated vsize (Kb) 57496 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940432/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57496 CPUtime=1785.64 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14618 0 0 0 178163 401 0 0 25 0 1 0 164414082 58875904 13983 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13983 227 40 0 13791 0 Current children cumulated CPU time (s) 1785.64 Current children cumulated vsize (Kb) 57496 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940432/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57496 CPUtime=1786.64 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14620 0 0 0 178263 401 0 0 25 0 1 0 164414082 58875904 13985 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572926 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13985 227 40 0 13791 0 Current children cumulated CPU time (s) 1786.64 Current children cumulated vsize (Kb) 57496 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57496 CPUtime=1787.64 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14622 0 0 0 178363 401 0 0 25 0 1 0 164414082 58875904 13987 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13987 227 40 0 13791 0 Current children cumulated CPU time (s) 1787.64 Current children cumulated vsize (Kb) 57496 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57496 CPUtime=1788.65 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14624 0 0 0 178464 401 0 0 25 0 1 0 164414082 58875904 13989 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13989 227 40 0 13791 0 Current children cumulated CPU time (s) 1788.65 Current children cumulated vsize (Kb) 57496 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57496 CPUtime=1789.65 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14624 0 0 0 178564 401 0 0 25 0 1 0 164414082 58875904 13989 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578445 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13989 227 40 0 13791 0 Current children cumulated CPU time (s) 1789.65 Current children cumulated vsize (Kb) 57496 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57496 CPUtime=1790.66 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14626 0 0 0 178665 401 0 0 25 0 1 0 164414082 58875904 13991 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13991 227 40 0 13791 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (Kb) 57496 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57496 CPUtime=1791.66 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14626 0 0 0 178765 401 0 0 25 0 1 0 164414082 58875904 13991 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13991 227 40 0 13791 0 Current children cumulated CPU time (s) 1791.66 Current children cumulated vsize (Kb) 57496 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57496 CPUtime=1792.67 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14628 0 0 0 178866 401 0 0 25 0 1 0 164414082 58875904 13993 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578445 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13993 227 40 0 13791 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 57496 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57496 CPUtime=1793.67 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14628 0 0 0 178966 401 0 0 25 0 1 0 164414082 58875904 13993 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572926 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14374 13993 227 40 0 13791 0 Current children cumulated CPU time (s) 1793.67 Current children cumulated vsize (Kb) 57496 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57624 CPUtime=1794.67 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14630 0 0 0 179066 401 0 0 25 0 1 0 164414082 59006976 13995 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14406 13995 227 40 0 13823 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 57624 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57624 CPUtime=1795.68 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14630 0 0 0 179167 401 0 0 25 0 1 0 164414082 59006976 13995 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14406 13995 227 40 0 13823 0 Current children cumulated CPU time (s) 1795.68 Current children cumulated vsize (Kb) 57624 [startup+1797.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57624 CPUtime=1796.68 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14632 0 0 0 179267 401 0 0 25 0 1 0 164414082 59006976 13997 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14406 13997 227 40 0 13823 0 Current children cumulated CPU time (s) 1796.68 Current children cumulated vsize (Kb) 57624 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57624 CPUtime=1797.69 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14634 0 0 0 179367 402 0 0 25 0 1 0 164414082 59006976 13999 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14406 13999 227 40 0 13823 0 Current children cumulated CPU time (s) 1797.69 Current children cumulated vsize (Kb) 57624 [startup+1799.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57624 CPUtime=1798.7 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14636 0 0 0 179468 402 0 0 25 0 1 0 164414082 59006976 14001 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578436 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14406 14001 227 40 0 13823 0 Current children cumulated CPU time (s) 1798.7 Current children cumulated vsize (Kb) 57624 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57624 CPUtime=1799.7 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14636 0 0 0 179568 402 0 0 25 0 1 0 164414082 59006976 14001 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14406 14001 227 40 0 13823 0 Current children cumulated CPU time (s) 1799.7 Current children cumulated vsize (Kb) 57624 [startup+1801.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57624 CPUtime=1800.7 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14636 0 0 0 179668 402 0 0 25 0 1 0 164414082 59006976 14001 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14406 14001 227 40 0 13823 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 57624 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 32400 /proc/meminfo: memFree=940368/2055920 swapFree=4182804/4192956 [pid=32398] ppid=32396 vsize=57624 CPUtime=1800.71 /proc/32398/stat : 32398 (glpPBv3) R 32396 32398 32349 0 -1 0 14636 0 0 0 179669 402 0 0 25 0 1 0 164414082 59006976 14001 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572865 0 0 4096 0 0 0 0 17 1 0 0 /proc/32398/statm: 14406 14001 227 40 0 13823 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 57624 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.17 CPU time (s): 1800.73 CPU user time (s): 1796.69 CPU system time (s): 4.03639 CPU usage (%): 99.9752 Max. virtual memory (cumulated for all children) (Kb): 57624 The end
Begin job on node15 on Sat Jul 29 12:18:53 UTC 2006 FILE ID= 85840-1154175533 PBS_JOBID= 893614 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node15/85840-1154175533/instance-85840-1154175533.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-85840-1154175533 -o ROOT/results/node15/solver-85840-1154175533 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node15/85840-1154175533/instance-85840-1154175533.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 5bf563c7058af01702ea80887f1d43ad RANDOM SEED= 866414462 TIMEOUT= 1800 seconds /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.227 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.227 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: 996000 kB Buffers: 32436 kB Cached: 951344 kB SwapCached: 3852 kB Active: 178572 kB Inactive: 813844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 996000 kB SwapTotal: 4192956 kB SwapFree: 4182804 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14512 kB Slab: 53524 kB Committed_AS: 778036 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node15 on Sat Jul 29 12:48:54 UTC 2006