Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.74 | 1801.28 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb |
MD5SUM | 03ac75ce62b4fa0384fbdccf34acdc82 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 9.36458 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 4500 |
Total number of constraints | 674250 |
Number of constraints which are clauses | 672750 |
Number of constraints which are cardinality constraints (but not clauses) | 1500 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 6 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 5 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 11 |
Number of bits of the biggest sum of numbers | 4 |
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-84713-1154158677 -o ROOT/results/node15/solver-84713-1154158677 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node15/84713-1154158677/instance-84713-1154158677.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.94 0.81 3/64 30381 /proc/meminfo: memFree=1059464/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=2420 CPUtime=0 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 70 0 0 0 0 0 0 0 18 0 1 0 162729023 2478080 53 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 7514765 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 606 65 52 40 0 11 0 [startup+10.003 s] /proc/loadavg: 0.87 0.94 0.81 2/64 30381 /proc/meminfo: memFree=975256/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=86860 CPUtime=9.98 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 21326 0 0 0 989 9 0 0 25 0 1 0 162729023 88944640 21296 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134531069 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 21715 21296 199 40 0 21132 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 86860 [startup+20.0089 s] /proc/loadavg: 0.89 0.94 0.81 2/64 30381 /proc/meminfo: memFree=736152/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=325624 CPUtime=19.99 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 85830 0 0 0 1964 35 0 0 25 0 1 0 162729023 333438976 80981 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 81406 80981 204 40 0 80823 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 325624 [startup+30.0158 s] /proc/loadavg: 0.90 0.94 0.82 2/64 30381 /proc/meminfo: memFree=432472/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=29.99 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 184715 0 0 0 2919 80 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643505 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 628748 [startup+40.0217 s] /proc/loadavg: 0.92 0.94 0.82 2/64 30381 /proc/meminfo: memFree=432280/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=40 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 189986 0 0 0 3917 83 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583732 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 628748 [startup+50.0276 s] /proc/loadavg: 0.93 0.94 0.82 2/64 30381 /proc/meminfo: memFree=411352/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=649832 CPUtime=50 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 200528 0 0 0 4911 89 0 0 25 0 1 0 162729023 665427968 162050 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639282 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 162458 162050 221 40 0 161875 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 649832 [startup+60.0335 s] /proc/loadavg: 0.94 0.95 0.82 2/64 30381 /proc/meminfo: memFree=432344/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=60.01 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 205799 0 0 0 5909 92 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643505 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 628748 [startup+70.0415 s] /proc/loadavg: 0.95 0.95 0.82 2/64 30381 /proc/meminfo: memFree=432344/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=70.01 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 211070 0 0 0 6906 95 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643498 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 628748 [startup+80.0474 s] /proc/loadavg: 0.96 0.95 0.82 2/64 30381 /proc/meminfo: memFree=432344/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=80.01 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 216341 0 0 0 7904 97 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134582226 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 628748 [startup+90.0533 s] /proc/loadavg: 0.96 0.95 0.82 2/64 30381 /proc/meminfo: memFree=411416/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=649832 CPUtime=90.02 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 226883 0 0 0 8900 102 0 0 25 0 1 0 162729023 665427968 162050 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134637281 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 162458 162050 221 40 0 161875 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 649832 [startup+100.059 s] /proc/loadavg: 0.97 0.95 0.82 2/64 30381 /proc/meminfo: memFree=432344/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=100.02 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 232154 0 0 0 9897 105 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643502 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 628748 [startup+110.065 s] /proc/loadavg: 0.97 0.95 0.83 2/64 30381 /proc/meminfo: memFree=432280/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=110.03 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 237425 0 0 0 10895 108 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643555 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 628748 [startup+120.071 s] /proc/loadavg: 0.98 0.95 0.83 2/64 30381 /proc/meminfo: memFree=432280/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=120.03 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 242696 0 0 0 11892 111 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134589633 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 628748 [startup+130.077 s] /proc/loadavg: 0.98 0.95 0.83 2/64 30381 /proc/meminfo: memFree=432280/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=130.03 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 247967 0 0 0 12890 113 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583573 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 628748 [startup+140.083 s] /proc/loadavg: 0.98 0.95 0.83 2/64 30381 /proc/meminfo: memFree=411416/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=649832 CPUtime=140.04 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 258509 0 0 0 13886 118 0 0 25 0 1 0 162729023 665427968 162050 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639282 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 162458 162050 221 40 0 161875 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 649832 [startup+150.089 s] /proc/loadavg: 0.98 0.95 0.83 2/64 30381 /proc/meminfo: memFree=432280/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=150.04 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 263780 0 0 0 14883 121 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643684 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 628748 [startup+160.095 s] /proc/loadavg: 0.99 0.96 0.83 2/64 30381 /proc/meminfo: memFree=432344/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=160.05 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 269051 0 0 0 15881 124 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 628748 [startup+170.102 s] /proc/loadavg: 0.99 0.96 0.83 2/64 30381 /proc/meminfo: memFree=432344/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=170.05 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 274322 0 0 0 16879 126 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643172 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 628748 [startup+180.109 s] /proc/loadavg: 0.99 0.96 0.83 2/64 30383 /proc/meminfo: memFree=432344/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=180.06 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 279593 0 0 0 17877 129 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583573 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 180.06 Current children cumulated vsize (Kb) 628748 [startup+190.115 s] /proc/loadavg: 0.99 0.96 0.83 2/64 30383 /proc/meminfo: memFree=432344/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=628748 CPUtime=190.05 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 284864 0 0 0 18874 131 0 0 25 0 1 0 162729023 643837952 156779 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134606864 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 157187 156779 221 40 0 156604 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 628748 [startup+200.121 s] /proc/loadavg: 0.99 0.96 0.83 2/64 30383 /proc/meminfo: memFree=411416/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=649832 CPUtime=200.06 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 295406 0 0 0 19869 137 0 0 25 0 1 0 162729023 665427968 162050 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639282 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 162458 162050 221 40 0 161875 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 649832 [startup+210.127 s] /proc/loadavg: 0.99 0.96 0.83 2/64 30383 ################ # More data... # ################ /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 909460 0 0 0 177697 455 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584591 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 707776 [startup+1783.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1782.53 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 909460 0 0 0 177798 455 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643347 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 707776 [startup+1784.07 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1783.53 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 909460 0 0 0 177898 455 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643626 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 707776 [startup+1785.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1784.54 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 909460 0 0 0 177999 455 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134587136 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 707776 [startup+1786.08 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=331864/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=728860 CPUtime=1785.55 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 178097 458 0 0 25 0 1 0 162729023 746352640 181807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639282 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 182215 181807 221 40 0 181632 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 728860 [startup+1787.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=331864/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=728860 CPUtime=1786.56 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 178198 458 0 0 25 0 1 0 162729023 746352640 181807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639282 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 182215 181807 221 40 0 181632 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 728860 [startup+1788.09 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=331864/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=728860 CPUtime=1787.56 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 178298 458 0 0 25 0 1 0 162729023 746352640 181807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639189 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 182215 181807 221 40 0 181632 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 728860 [startup+1789.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=331864/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=728860 CPUtime=1788.57 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 178399 458 0 0 25 0 1 0 162729023 746352640 181807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639273 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 182215 181807 221 40 0 181632 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 728860 [startup+1790.1 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1789.57 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 178499 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643626 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 707776 [startup+1791.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1790.57 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 178599 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584099 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 707776 [startup+1792.11 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1791.58 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 178700 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134590000 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 707776 [startup+1793.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1792.58 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 178800 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643626 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 707776 [startup+1794.12 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1793.59 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 178901 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134584109 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 707776 [startup+1795.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1794.59 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 179001 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134606793 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 707776 [startup+1796.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1795.6 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 179102 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643626 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 707776 [startup+1797.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1796.6 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 179202 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134583887 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 707776 [startup+1798.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1797.61 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 179303 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134607193 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 707776 [startup+1799.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1798.61 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 179403 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643580 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 707776 [startup+1800.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1799.62 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 179504 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643684 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 707776 [startup+1801.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1800.62 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 179604 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643620 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 707776 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 30581 /proc/meminfo: memFree=352728/2055920 swapFree=4182804/4192956 [pid=30381] ppid=30379 vsize=707776 CPUtime=1800.62 /proc/30381/stat : 30381 (glpPBv3) R 30379 30381 30332 0 -1 0 914731 0 0 0 179604 458 0 0 25 0 1 0 162729023 724762624 176536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643626 0 0 4096 0 0 0 0 17 1 0 0 /proc/30381/statm: 176944 176536 221 40 0 176361 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 707776 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.28 CPU time (s): 1800.74 CPU user time (s): 1796.05 CPU system time (s): 4.69229 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (Kb): 728860 The end
Begin job on node15 on Sat Jul 29 07:38:01 UTC 2006 FILE ID= 84713-1154158677 PBS_JOBID= 892487 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k3_l6_n1500.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node15/84713-1154158677/instance-84713-1154158677.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-84713-1154158677 -o ROOT/results/node15/solver-84713-1154158677 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node15/84713-1154158677/instance-84713-1154158677.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= 03ac75ce62b4fa0384fbdccf34acdc82 RANDOM SEED= 15379527 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: 1059672 kB Buffers: 31804 kB Cached: 888192 kB SwapCached: 3852 kB Active: 224956 kB Inactive: 703692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1059672 kB SwapTotal: 4192956 kB SwapFree: 4182804 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14512 kB Slab: 53544 kB Committed_AS: 775600 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 08:08:04 UTC 2006