Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.69 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb |
MD5SUM | 13c1b3915f4d316b882a7e551b1f0496 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 505 |
Best CPU time to get the best result obtained on this benchmark | 1800.51 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 502 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 498884 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 498884 |
Number of bits of the biggest sum of numbers | 19 |
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/node27/watcher-85203-1154166791 -o ROOT/results/node27/solver-85203-1154166791 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node27/85203-1154166791/instance-85203-1154166791.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.91 3/64 2501 /proc/meminfo: memFree=1039288/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=2424 CPUtime=0 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 85 0 0 0 0 0 0 0 18 0 1 0 95547398 2482176 67 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1436641 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 606 85 71 40 0 11 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.97 0.91 2/64 2501 /proc/meminfo: memFree=845560/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=196004 CPUtime=9.98 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 53369 0 0 0 974 24 0 0 25 0 1 0 95547398 200708096 48597 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541987 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 49001 48597 204 40 0 48418 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 196004 [startup+20.0081 s] /proc/loadavg: 0.94 0.97 0.91 2/64 2501 /proc/meminfo: memFree=649144/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=392136 CPUtime=19.99 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 115330 0 0 0 1948 51 0 0 25 0 1 0 95547398 401547264 97647 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 98034 97647 221 40 0 97451 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 392136 [startup+30.0152 s] /proc/loadavg: 0.95 0.97 0.91 2/64 2501 /proc/meminfo: memFree=649272/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=392136 CPUtime=29.99 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 115330 0 0 0 2948 51 0 0 25 0 1 0 95547398 401547264 97647 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582304 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 98034 97647 221 40 0 97451 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 392136 [startup+40.0212 s] /proc/loadavg: 0.95 0.97 0.91 2/64 2501 /proc/meminfo: memFree=649144/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=392136 CPUtime=40 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 120466 0 0 0 3946 54 0 0 25 0 1 0 95547398 401547264 97647 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583865 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 98034 97647 221 40 0 97451 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 392136 [startup+50.0272 s] /proc/loadavg: 0.96 0.97 0.91 2/64 2501 /proc/meminfo: memFree=649144/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=392136 CPUtime=50 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 120466 0 0 0 4946 54 0 0 25 0 1 0 95547398 401547264 97647 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583859 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 98034 97647 221 40 0 97451 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 392136 [startup+60.0333 s] /proc/loadavg: 0.97 0.97 0.91 2/64 2501 /proc/meminfo: memFree=649144/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=392136 CPUtime=60 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 120466 0 0 0 5946 54 0 0 25 0 1 0 95547398 401547264 97647 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584430 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 98034 97647 221 40 0 97451 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 392136 [startup+70.0393 s] /proc/loadavg: 0.97 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667384/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=70 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 130125 0 0 0 6941 59 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590088 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 373892 [startup+80.0453 s] /proc/loadavg: 0.98 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667384/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=80.01 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 140397 0 0 0 7936 65 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 373892 [startup+90.0514 s] /proc/loadavg: 0.98 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667448/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=90.01 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 145533 0 0 0 8934 67 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590088 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 373892 [startup+100.057 s] /proc/loadavg: 0.98 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667448/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=100.01 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 150669 0 0 0 9931 70 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134581963 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 373892 [startup+110.063 s] /proc/loadavg: 0.98 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667384/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=110.02 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 160941 0 0 0 10926 76 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134605668 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 373892 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667384/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=120.02 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 166077 0 0 0 11923 79 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643498 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 373892 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2501 /proc/meminfo: memFree=647096/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=394436 CPUtime=130.02 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 176349 0 0 0 12919 83 0 0 25 0 1 0 95547398 403902464 98222 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134638844 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 98609 98222 221 40 0 98026 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 394436 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667384/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=140.03 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 181485 0 0 0 13917 86 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643512 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 373892 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667384/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=150.04 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 186621 0 0 0 14915 89 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643272 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 373892 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667384/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=160.03 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 191757 0 0 0 15912 91 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643626 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 373892 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667384/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=170.04 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 202029 0 0 0 16907 97 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582110 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 373892 [startup+180.107 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667384/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=180.05 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 207165 0 0 0 17905 100 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643291 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 373892 [startup+190.113 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667384/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=190.05 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 212301 0 0 0 18903 102 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643172 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 373892 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2501 /proc/meminfo: memFree=667384/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=373892 CPUtime=200.05 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 217437 0 0 0 19901 104 0 0 25 0 1 0 95547398 382865408 93086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643635 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 93473 93086 221 40 0 92890 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 373892 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2501 ################ # More data... # ################ /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11616674 0 0 0 172343 5808 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 504996 [startup+1783.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1782.51 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11626304 0 0 0 172438 5813 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629060 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1782.51 Current children cumulated vsize (Kb) 504996 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1783.52 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11632724 0 0 0 172536 5816 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 504996 [startup+1785.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1784.52 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11642354 0 0 0 172632 5820 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 504996 [startup+1786.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1785.53 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11651984 0 0 0 172728 5825 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 504996 [startup+1787.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1786.53 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11658404 0 0 0 172825 5828 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 1239 40 0 125666 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 504996 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1787.54 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11668034 0 0 0 172921 5833 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 504996 [startup+1789.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1788.54 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11677664 0 0 0 173017 5837 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1788.54 Current children cumulated vsize (Kb) 504996 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1789.55 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11687294 0 0 0 173112 5843 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643286 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 504996 [startup+1791.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1790.55 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11693714 0 0 0 173209 5846 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 504996 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1791.55 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11703344 0 0 0 173305 5850 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1791.55 Current children cumulated vsize (Kb) 504996 [startup+1793.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1792.56 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11712974 0 0 0 173400 5856 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 504996 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1793.56 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11719394 0 0 0 173497 5859 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1793.56 Current children cumulated vsize (Kb) 504996 [startup+1795.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1794.57 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11729024 0 0 0 173593 5864 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 504996 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1795.57 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11738654 0 0 0 173688 5869 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1795.57 Current children cumulated vsize (Kb) 504996 [startup+1797.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1796.58 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11745074 0 0 0 173786 5872 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 504996 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1797.59 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11754704 0 0 0 173882 5877 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 504996 [startup+1799.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1798.59 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11764334 0 0 0 173977 5882 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 504996 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1799.59 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11770754 0 0 0 174074 5885 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 821 40 0 125666 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 504996 [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1800.6 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11780384 0 0 0 174170 5890 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 504996 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 2699 /proc/meminfo: memFree=535992/2055920 swapFree=4183212/4192956 [pid=2501] ppid=2499 vsize=504996 CPUtime=1800.6 /proc/2501/stat : 2501 (glpPBv3) R 2499 2501 2452 0 -1 0 11780384 0 0 0 174170 5890 0 0 25 0 1 0 95547398 517115904 125875 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/2501/statm: 126249 125875 227 40 0 125666 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 504996 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.69 CPU user time (s): 1741.71 CPU system time (s): 58.983 CPU usage (%): 99.9679 Max. virtual memory (cumulated for all children) (Kb): 585752 The end
Begin job on node27 on Sat Jul 29 09:53:12 UTC 2006 FILE ID= 85203-1154166791 PBS_JOBID= 892977 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node27/85203-1154166791/instance-85203-1154166791.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-85203-1154166791 -o ROOT/results/node27/solver-85203-1154166791 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node27/85203-1154166791/instance-85203-1154166791.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496 RANDOM SEED= 165161035 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.222 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.222 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: 1039496 kB Buffers: 33544 kB Cached: 905484 kB SwapCached: 3452 kB Active: 129380 kB Inactive: 818180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1039496 kB SwapTotal: 4192956 kB SwapFree: 4183212 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14496 kB Slab: 54912 kB Committed_AS: 302916 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 node27 on Sat Jul 29 10:23:14 UTC 2006