Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | UNSAT | 1350.55 | 1350.92 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_4_30_2.opb |
MD5SUM | 1d7dd5c267917b6fb58d303c57bfa918 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 12.5021 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 31 |
Total number of constraints | 9 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 8 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 30 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 808 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2424 |
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 1350.91 c starting to Solve 1350.91 c total time = 1350.75 1350.91 s UNSATISFIABLE
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/node48/watcher-85818-1154175023 -o ROOT/results/node48/solver-85818-1154175023 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node48/85818-1154175023/instance-85818-1154175023.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.94 0.90 2/64 4708 /proc/meminfo: memFree=828480/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=2632 CPUtime=0 /proc/4708/stat : 4708 (glpPBv3) D 4706 4708 4659 0 -1 0 240 0 0 0 0 0 0 0 18 0 1 0 164373072 2695168 210 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/4708/statm: 658 210 185 40 0 75 0 [startup+10.0025 s] /proc/loadavg: 0.92 0.94 0.90 2/64 4708 /proc/meminfo: memFree=824520/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=6468 CPUtime=9.99 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 1288 0 0 0 968 31 0 0 25 0 1 0 164373072 6623232 1216 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 1617 1216 227 40 0 1034 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 6468 [startup+20.0084 s] /proc/loadavg: 0.93 0.94 0.91 2/64 4708 /proc/meminfo: memFree=823112/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=7932 CPUtime=20 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 1648 0 0 0 1948 52 0 0 25 0 1 0 164373072 8122368 1576 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 1983 1576 227 40 0 1400 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 7932 [startup+30.0153 s] /proc/loadavg: 0.94 0.94 0.91 2/64 4708 /proc/meminfo: memFree=821768/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=9184 CPUtime=30 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2050 0 0 0 2934 66 0 0 25 0 1 0 164373072 9404416 1897 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 2296 1897 227 40 0 1713 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 9184 [startup+40.0203 s] /proc/loadavg: 0.95 0.94 0.91 2/64 4708 /proc/meminfo: memFree=821064/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=9852 CPUtime=40 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2228 0 0 0 3922 78 0 0 25 0 1 0 164373072 10088448 2075 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 2463 2075 227 40 0 1880 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 9852 [startup+50.0262 s] /proc/loadavg: 0.96 0.95 0.91 2/64 4708 /proc/meminfo: memFree=820424/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=10516 CPUtime=50 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2383 0 0 0 4910 90 0 0 25 0 1 0 164373072 10768384 2230 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578236 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 2629 2230 227 40 0 2046 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 10516 [startup+60.0321 s] /proc/loadavg: 0.96 0.95 0.91 2/64 4708 /proc/meminfo: memFree=820040/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=10916 CPUtime=60.01 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2483 0 0 0 5900 101 0 0 25 0 1 0 164373072 11177984 2330 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 2729 2330 227 40 0 2146 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 10916 [startup+70.038 s] /proc/loadavg: 0.97 0.95 0.91 2/64 4708 /proc/meminfo: memFree=819400/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=11584 CPUtime=70.01 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2644 0 0 0 6890 111 0 0 25 0 1 0 164373072 11862016 2491 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 2896 2491 227 40 0 2313 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 11584 [startup+80.044 s] /proc/loadavg: 0.97 0.95 0.91 2/64 4708 /proc/meminfo: memFree=818760/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=12116 CPUtime=80.02 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2800 0 0 0 7883 119 0 0 25 0 1 0 164373072 12406784 2647 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 3029 2647 227 40 0 2446 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 12116 [startup+90.0499 s] /proc/loadavg: 0.98 0.95 0.91 2/64 4708 /proc/meminfo: memFree=818440/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=12516 CPUtime=90.02 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2875 0 0 0 8874 128 0 0 25 0 1 0 164373072 12816384 2722 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 3129 2722 227 40 0 2546 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 12516 [startup+100.055 s] /proc/loadavg: 0.98 0.95 0.91 2/64 4708 /proc/meminfo: memFree=818184/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=12780 CPUtime=100.02 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2961 0 0 0 9866 136 0 0 25 0 1 0 164373072 13086720 2808 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 3195 2808 227 40 0 2612 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 12780 [startup+110.061 s] /proc/loadavg: 0.98 0.95 0.91 2/64 4708 /proc/meminfo: memFree=817608/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=13316 CPUtime=110.02 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3098 0 0 0 10858 144 0 0 25 0 1 0 164373072 13635584 2945 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 3329 2945 227 40 0 2746 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 13316 [startup+120.067 s] /proc/loadavg: 0.98 0.95 0.91 2/64 4708 /proc/meminfo: memFree=817224/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=13716 CPUtime=120.02 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3192 0 0 0 11851 151 0 0 25 0 1 0 164373072 14045184 3039 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 3429 3039 227 40 0 2846 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 13716 [startup+130.073 s] /proc/loadavg: 0.99 0.95 0.91 2/64 4708 /proc/meminfo: memFree=816904/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=13980 CPUtime=130.03 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3261 0 0 0 12844 159 0 0 25 0 1 0 164373072 14315520 3108 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578290 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 3495 3108 227 40 0 2912 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 13980 [startup+140.078 s] /proc/loadavg: 0.99 0.95 0.91 2/64 4708 /proc/meminfo: memFree=815944/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=14888 CPUtime=140.03 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3638 0 0 0 13836 167 0 0 25 0 1 0 164373072 15245312 3324 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 3722 3324 227 40 0 3139 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 14888 [startup+150.084 s] /proc/loadavg: 0.99 0.95 0.91 2/64 4708 /proc/meminfo: memFree=815624/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=15288 CPUtime=150.04 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3744 0 0 0 14829 175 0 0 25 0 1 0 164373072 15654912 3430 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 3822 3430 227 40 0 3239 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 15288 [startup+160.09 s] /proc/loadavg: 0.99 0.96 0.91 2/64 4708 /proc/meminfo: memFree=815368/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=15552 CPUtime=160.04 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3803 0 0 0 15820 184 0 0 25 0 1 0 164373072 15925248 3489 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 3888 3489 227 40 0 3305 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 15552 [startup+170.096 s] /proc/loadavg: 0.99 0.96 0.91 2/64 4708 /proc/meminfo: memFree=815240/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=15688 CPUtime=170.05 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3838 0 0 0 16815 190 0 0 25 0 1 0 164373072 16064512 3524 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 3922 3524 227 40 0 3339 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 15688 [startup+180.102 s] /proc/loadavg: 0.99 0.96 0.91 2/64 4708 /proc/meminfo: memFree=815112/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=15820 CPUtime=180.05 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3874 0 0 0 17809 196 0 0 25 0 1 0 164373072 16199680 3560 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 3955 3560 227 40 0 3372 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 15820 [startup+190.108 s] /proc/loadavg: 0.99 0.96 0.91 2/64 4708 /proc/meminfo: memFree=814984/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=15952 CPUtime=190.04 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3903 0 0 0 18801 203 0 0 25 0 1 0 164373072 16334848 3589 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 3988 3589 227 40 0 3405 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 15952 [startup+200.114 s] /proc/loadavg: 0.99 0.96 0.91 2/64 4708 /proc/meminfo: memFree=814600/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=16220 CPUtime=200.05 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3987 0 0 0 19796 209 0 0 25 0 1 0 164373072 16609280 3673 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 4055 3673 227 40 0 3472 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 16220 [startup+210.12 s] /proc/loadavg: 0.99 0.96 0.91 2/64 4708 ################ # More data... # ################ Current children cumulated CPU time (s) 1140.35 Current children cumulated vsize (Kb) 20084 [startup+1150.67 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1150.35 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 114367 668 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134581554 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1150.35 Current children cumulated vsize (Kb) 20084 [startup+1160.67 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1160.35 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 115362 673 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1160.35 Current children cumulated vsize (Kb) 20084 [startup+1170.68 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1170.36 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 116356 680 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1170.36 Current children cumulated vsize (Kb) 20084 [startup+1180.69 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810760/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1180.36 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 117349 687 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1180.36 Current children cumulated vsize (Kb) 20084 [startup+1190.69 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810760/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1190.37 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 118343 694 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1190.37 Current children cumulated vsize (Kb) 20084 [startup+1200.7 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1200.36 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 119337 699 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1200.36 Current children cumulated vsize (Kb) 20084 [startup+1210.7 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1210.37 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 120331 706 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1210.37 Current children cumulated vsize (Kb) 20084 [startup+1220.71 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1220.37 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 121325 712 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1220.37 Current children cumulated vsize (Kb) 20084 [startup+1230.72 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1230.38 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 122318 720 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1230.38 Current children cumulated vsize (Kb) 20084 [startup+1240.72 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1240.38 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 123311 727 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1240.38 Current children cumulated vsize (Kb) 20084 [startup+1250.73 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810760/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1250.38 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 124303 735 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1250.38 Current children cumulated vsize (Kb) 20084 [startup+1260.73 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1260.39 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 125296 743 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1260.39 Current children cumulated vsize (Kb) 20084 [startup+1270.74 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1270.39 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 126287 752 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1270.39 Current children cumulated vsize (Kb) 20084 [startup+1280.74 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1280.39 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 127279 760 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1280.39 Current children cumulated vsize (Kb) 20084 [startup+1290.75 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1290.39 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 128270 769 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1290.39 Current children cumulated vsize (Kb) 20084 [startup+1300.76 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1300.4 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 129260 780 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1300.4 Current children cumulated vsize (Kb) 20084 [startup+1310.76 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810760/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1310.4 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 130247 793 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1310.4 Current children cumulated vsize (Kb) 20084 [startup+1320.77 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810760/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1320.4 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 131233 807 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1320.4 Current children cumulated vsize (Kb) 20084 [startup+1330.77 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810760/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1330.41 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 132216 825 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1330.41 Current children cumulated vsize (Kb) 20084 [startup+1340.78 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1340.41 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 133192 849 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1340.41 Current children cumulated vsize (Kb) 20084 [startup+1350.79 s] /proc/loadavg: 0.99 0.97 0.91 2/64 4708 /proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956 [pid=4708] ppid=4706 vsize=20084 CPUtime=1350.41 /proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 134160 881 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/4708/statm: 5021 4619 227 40 0 4438 0 Current children cumulated CPU time (s) 1350.41 Current children cumulated vsize (Kb) 20084 Child status: 20 Real time (s): 1350.92 CPU time (s): 1350.55 CPU user time (s): 1341.72 CPU system time (s): 8.82866 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (Kb): 20084 The end
Begin job on node48 on Sat Jul 29 12:10:23 UTC 2006 FILE ID= 85818-1154175023 PBS_JOBID= 893592 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node48/85818-1154175023/instance-85818-1154175023.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-85818-1154175023 -o ROOT/results/node48/solver-85818-1154175023 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node48/85818-1154175023/instance-85818-1154175023.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 1d7dd5c267917b6fb58d303c57bfa918 RANDOM SEED= 521904926 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.232 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.232 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: 828688 kB Buffers: 46020 kB Cached: 1098300 kB SwapCached: 4676 kB Active: 109444 kB Inactive: 1044340 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 828688 kB SwapTotal: 4192956 kB SwapFree: 4182820 kB Dirty: 200 kB Writeback: 0 kB Mapped: 14444 kB Slab: 59460 kB Committed_AS: 678572 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node48 on Sat Jul 29 12:32:54 UTC 2006