Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.78 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-van.opb |
MD5SUM | 3cd1cee71c010b0b6b20076800dc90e2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 41696 |
Best CPU time to get the best result obtained on this benchmark | 1782.87 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 39649 |
Optimality of the best value was proved | NO |
Number of variables | 135360 |
Total number of constraints | 39616 |
Number of constraints which are clauses | 128 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 39488 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 496 |
Number of terms in the objective function | 192 |
Biggest coefficient in the objective function | 3977 |
Number of bits for the biggest coefficient in the objective function | 12 |
Sum of the numbers in the objective function | 524416 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 170151 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524573 |
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 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/node38/watcher-84960-1154163798 -o ROOT/results/node38/solver-84960-1154163798 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node38/84960-1154163798/instance-84960-1154163798.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.08 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1809064/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=2632 CPUtime=0 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 241 0 0 0 0 0 0 0 18 0 1 0 163251406 2695168 211 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9070222 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 666 219 189 40 0 83 0 [startup+10.0026 s] /proc/loadavg: 1.07 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1752232/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=59416 CPUtime=9.99 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 14476 0 0 0 992 7 0 0 25 0 1 0 163251406 60841984 14446 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9066271 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 14854 14446 199 40 0 14271 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 59416 [startup+20.0097 s] /proc/loadavg: 1.06 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1627048/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=184908 CPUtime=19.99 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 46012 0 0 0 1978 21 0 0 25 0 1 0 163251406 189345792 45818 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 46227 45818 201 40 0 45644 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 184908 [startup+30.0169 s] /proc/loadavg: 1.05 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1394472/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=416708 CPUtime=29.99 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 103992 0 0 0 2953 46 0 0 25 0 1 0 163251406 426708992 103797 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587206 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 104177 103797 221 40 0 103594 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 416708 [startup+40.023 s] /proc/loadavg: 1.04 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1394472/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=416708 CPUtime=39.99 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 103992 0 0 0 3953 46 0 0 25 0 1 0 163251406 426708992 103797 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134606780 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 104177 103797 221 40 0 103594 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 416708 [startup+50.0291 s] /proc/loadavg: 1.03 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1388328/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=422916 CPUtime=50 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 106320 0 0 0 4952 48 0 0 25 0 1 0 163251406 433065984 105349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587971 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 105729 105349 221 40 0 105146 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 422916 [startup+60.0352 s] /proc/loadavg: 1.03 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1388328/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=422916 CPUtime=60 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 106320 0 0 0 5952 48 0 0 25 0 1 0 163251406 433065984 105349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589905 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 105729 105349 221 40 0 105146 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 422916 [startup+70.0414 s] /proc/loadavg: 1.02 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1388328/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=422916 CPUtime=70.01 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 106320 0 0 0 6953 48 0 0 25 0 1 0 163251406 433065984 105349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589754 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 105729 105349 221 40 0 105146 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 422916 [startup+80.0485 s] /proc/loadavg: 1.02 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1388264/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=422916 CPUtime=80.01 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 106320 0 0 0 7953 48 0 0 25 0 1 0 163251406 433065984 105349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587707 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 105729 105349 221 40 0 105146 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 422916 [startup+90.0536 s] /proc/loadavg: 1.02 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1388264/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=422916 CPUtime=90.01 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 106320 0 0 0 8953 48 0 0 25 0 1 0 163251406 433065984 105349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583859 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 105729 105349 221 40 0 105146 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 422916 [startup+100.06 s] /proc/loadavg: 1.01 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1388264/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=422916 CPUtime=100.01 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 106320 0 0 0 9953 48 0 0 25 0 1 0 163251406 433065984 105349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134580395 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 105729 105349 221 40 0 105146 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 422916 [startup+110.066 s] /proc/loadavg: 1.01 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1388264/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=422916 CPUtime=110.02 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 106320 0 0 0 10954 48 0 0 25 0 1 0 163251406 433065984 105349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589605 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 105729 105349 221 40 0 105146 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 422916 [startup+120.072 s] /proc/loadavg: 1.01 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1388264/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=422916 CPUtime=120.02 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 106320 0 0 0 11954 48 0 0 25 0 1 0 163251406 433065984 105349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134636936 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 105729 105349 221 40 0 105146 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 422916 [startup+130.078 s] /proc/loadavg: 1.01 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1388264/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=422916 CPUtime=130.03 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 106320 0 0 0 12954 49 0 0 25 0 1 0 163251406 433065984 105349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643678 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 105729 105349 221 40 0 105146 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 422916 [startup+140.085 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1388264/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=422916 CPUtime=140.04 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 106320 0 0 0 13955 49 0 0 25 0 1 0 163251406 433065984 105349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134606806 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 105729 105349 221 40 0 105146 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 422916 [startup+150.091 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1388264/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=422916 CPUtime=150.04 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 106320 0 0 0 14955 49 0 0 25 0 1 0 163251406 433065984 105349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589813 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 105729 105349 221 40 0 105146 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 422916 [startup+160.098 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1388264/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=422916 CPUtime=160.04 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 106320 0 0 0 15955 49 0 0 25 0 1 0 163251406 433065984 105349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643631 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 105729 105349 221 40 0 105146 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 422916 [startup+170.104 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1378920/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=432228 CPUtime=170.04 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 110976 0 0 0 16953 51 0 0 25 0 1 0 163251406 442601472 107677 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589901 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 108057 107677 221 40 0 107474 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 432228 [startup+180.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1378920/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=432228 CPUtime=180.05 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 110976 0 0 0 17954 51 0 0 25 0 1 0 163251406 442601472 107677 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590094 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 108057 107677 221 40 0 107474 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 432228 [startup+190.116 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1378920/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=432228 CPUtime=190.05 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 110976 0 0 0 18954 51 0 0 25 0 1 0 163251406 442601472 107677 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643286 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 108057 107677 221 40 0 107474 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 432228 [startup+200.122 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1378920/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=432228 CPUtime=200.05 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 110976 0 0 0 19954 51 0 0 25 0 1 0 163251406 442601472 107677 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590094 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 108057 107677 221 40 0 107474 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 432228 [startup+210.128 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 ################ # More data... # ################ /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 784046 0 0 0 177834 326 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1781.6 Current children cumulated vsize (Kb) 442956 [startup+1783.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1782.61 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 784436 0 0 0 177934 327 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629280 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 442956 [startup+1784.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1783.62 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 784826 0 0 0 178035 327 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1783.62 Current children cumulated vsize (Kb) 442956 [startup+1785.1 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1784.62 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 785216 0 0 0 178135 327 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 442956 [startup+1786.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1785.62 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 785801 0 0 0 178235 327 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 442956 [startup+1787.11 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1786.62 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 786191 0 0 0 178335 327 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 442956 [startup+1788.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1787.63 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 786581 0 0 0 178435 328 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 442956 [startup+1789.12 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1788.63 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 786971 0 0 0 178535 328 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629280 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 442956 [startup+1790.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1789.64 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 787556 0 0 0 178636 328 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 442956 [startup+1791.13 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1790.65 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 787946 0 0 0 178736 329 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1790.65 Current children cumulated vsize (Kb) 442956 [startup+1792.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1791.65 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 788336 0 0 0 178836 329 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629276 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 442956 [startup+1793.14 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1792.66 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 788921 0 0 0 178937 329 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1792.66 Current children cumulated vsize (Kb) 442956 [startup+1794.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1793.66 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 789311 0 0 0 179037 329 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 442956 [startup+1795.15 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1794.66 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 789701 0 0 0 179137 329 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 442956 [startup+1796.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1795.67 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 790091 0 0 0 179238 329 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 442956 [startup+1797.16 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1796.67 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 790676 0 0 0 179338 329 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542262 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 442956 [startup+1798.17 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1797.68 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 791066 0 0 0 179439 329 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 442956 [startup+1799.17 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1798.68 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 791456 0 0 0 179539 329 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 442956 [startup+1800.18 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1799.69 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 791846 0 0 0 179639 330 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 442956 [startup+1801.18 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442956 CPUtime=1800.69 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 792236 0 0 0 179739 330 0 0 25 0 1 0 163251406 453586944 110345 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110739 110345 227 40 0 110156 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 442956 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 1.00 1.00 0.92 2/64 9293 /proc/meminfo: memFree=1367464/2055920 swapFree=4183120/4192956 [pid=9293] ppid=9291 vsize=442488 CPUtime=1800.7 /proc/9293/stat : 9293 (glpPBv3) R 9291 9293 9244 0 -1 0 792313 0 0 0 179740 330 0 0 25 0 1 0 163251406 453107712 110227 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9072343 0 0 4096 0 0 0 0 17 1 0 0 /proc/9293/statm: 110661 110235 227 40 0 110078 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 442488 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.27 CPU time (s): 1800.78 CPU user time (s): 1797.4 CPU system time (s): 3.37549 CPU usage (%): 99.9728 Max. virtual memory (cumulated for all children) (Kb): 548004 The end
Begin job on node38 on Sat Jul 29 09:03:22 UTC 2006 FILE ID= 84960-1154163798 PBS_JOBID= 892734 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-van.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node38/84960-1154163798/instance-84960-1154163798.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node38/watcher-84960-1154163798 -o ROOT/results/node38/solver-84960-1154163798 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node38/84960-1154163798/instance-84960-1154163798.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 3cd1cee71c010b0b6b20076800dc90e2 RANDOM SEED= 223649547 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: 1809272 kB Buffers: 2920 kB Cached: 173848 kB SwapCached: 3704 kB Active: 79452 kB Inactive: 105980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1809272 kB SwapTotal: 4192956 kB SwapFree: 4183120 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14756 kB Slab: 47196 kB Committed_AS: 747160 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node38 on Sat Jul 29 09:33:23 UTC 2006