Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
glpPB 0.2 | ? (TO) | 1800.69 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-apex7.b.opb |
MD5SUM | a226ce89d775a348c35d29e51d9044b6 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 1800.39 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | NO |
Number of variables | 1108 |
Total number of constraints | 2313 |
Number of constraints which are clauses | 2313 |
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 | 1 |
Maximum length of a constraint | 295 |
Number of terms in the objective function | 1108 |
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 | 1108 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1108 |
Number of bits of the biggest sum of numbers | 11 |
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/node41/watcher-85800-1154174873 -o ROOT/results/node41/solver-85800-1154174873 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node41/85800-1154174873/instance-85800-1154174873.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.48 0.86 0.87 3/64 1703 /proc/meminfo: memFree=1472296/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=2376 CPUtime=0 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 200 0 0 0 0 0 0 0 18 0 1 0 164358395 2433024 170 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4160500704 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 594 180 158 40 0 11 0 [startup+10.0017 s] /proc/loadavg: 0.56 0.86 0.88 2/64 1703 /proc/meminfo: memFree=1464440/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=9.99 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 12158 0 0 0 995 4 0 0 25 0 1 0 164358395 10366976 2143 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2143 227 40 0 1948 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 10124 [startup+20.0075 s] /proc/loadavg: 0.63 0.87 0.88 2/64 1703 /proc/meminfo: memFree=1464376/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=20 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 22094 0 0 0 1991 9 0 0 25 0 1 0 164358395 10366976 2143 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2143 227 40 0 1948 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 10124 [startup+30.0134 s] /proc/loadavg: 0.68 0.87 0.88 2/64 1703 /proc/meminfo: memFree=1464440/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=30 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 35486 0 0 0 2985 15 0 0 25 0 1 0 164358395 10366976 2143 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2143 227 40 0 1948 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 10124 [startup+40.0183 s] /proc/loadavg: 0.73 0.87 0.88 2/64 1703 /proc/meminfo: memFree=1464440/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=40 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 49744 0 0 0 3979 21 0 0 25 0 1 0 164358395 10366976 2145 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2145 227 40 0 1948 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 10124 [startup+50.0241 s] /proc/loadavg: 0.77 0.88 0.88 2/64 1703 /proc/meminfo: memFree=1464504/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=50 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 67456 0 0 0 4970 30 0 0 25 0 1 0 164358395 10366976 2145 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2145 227 40 0 1948 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 10124 [startup+60.03 s] /proc/loadavg: 0.81 0.88 0.88 2/64 1703 /proc/meminfo: memFree=1464440/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=60.01 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 86896 0 0 0 5962 39 0 0 25 0 1 0 164358395 10366976 2145 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2145 227 40 0 1948 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 10124 [startup+70.0359 s] /proc/loadavg: 0.84 0.89 0.88 2/64 1703 /proc/meminfo: memFree=1464440/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=70.01 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 109801 0 0 0 6952 49 0 0 25 0 1 0 164358395 10366976 2154 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2154 227 40 0 1948 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 10124 [startup+80.0417 s] /proc/loadavg: 0.86 0.89 0.88 2/64 1703 /proc/meminfo: memFree=1464440/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=80.01 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 121897 0 0 0 7947 54 0 0 25 0 1 0 164358395 10366976 2154 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2154 227 40 0 1948 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 10124 [startup+90.0476 s] /proc/loadavg: 0.88 0.89 0.88 2/64 1703 /proc/meminfo: memFree=1464504/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=90.01 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 136585 0 0 0 8941 60 0 0 25 0 1 0 164358395 10366976 2154 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2154 227 40 0 1948 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 10124 [startup+100.052 s] /proc/loadavg: 0.90 0.89 0.88 2/64 1703 /proc/meminfo: memFree=1464504/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=100.02 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 152146 0 0 0 9934 68 0 0 25 0 1 0 164358395 10366976 2157 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2157 227 40 0 1948 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 10124 [startup+110.058 s] /proc/loadavg: 0.91 0.90 0.89 2/64 1703 /proc/meminfo: memFree=1464568/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=110.02 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 165983 0 0 0 10928 74 0 0 25 0 1 0 164358395 10366976 2157 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2157 227 40 0 1948 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 10124 [startup+120.064 s] /proc/loadavg: 0.93 0.90 0.89 2/64 1703 /proc/meminfo: memFree=1464568/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=120.02 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 175487 0 0 0 11924 78 0 0 25 0 1 0 164358395 10366976 2157 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2157 227 40 0 1948 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 10124 [startup+130.07 s] /proc/loadavg: 0.94 0.90 0.89 2/64 1703 /proc/meminfo: memFree=1464568/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=130.03 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 186296 0 0 0 12920 83 0 0 25 0 1 0 164358395 10366976 2157 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2157 227 40 0 1948 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 10124 [startup+140.076 s] /proc/loadavg: 0.95 0.91 0.89 2/64 1703 /proc/meminfo: memFree=1464568/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=140.03 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 201848 0 0 0 13913 90 0 0 25 0 1 0 164358395 10366976 2157 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2157 227 40 0 1948 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 10124 [startup+150.082 s] /proc/loadavg: 0.95 0.91 0.89 2/64 1703 /proc/meminfo: memFree=1464568/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=150.03 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 213546 0 0 0 14908 95 0 0 25 0 1 0 164358395 10366976 2157 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2157 227 40 0 1948 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 10124 [startup+160.087 s] /proc/loadavg: 0.96 0.91 0.89 2/64 1703 /proc/meminfo: memFree=1464568/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=160.04 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 226964 0 0 0 15903 101 0 0 25 0 1 0 164358395 10366976 2157 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2157 227 40 0 1948 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 10124 [startup+170.093 s] /proc/loadavg: 0.97 0.91 0.89 2/64 1703 /proc/meminfo: memFree=1464568/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=170.04 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 240154 0 0 0 16897 107 0 0 25 0 1 0 164358395 10366976 2157 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2157 227 40 0 1948 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 10124 [startup+180.098 s] /proc/loadavg: 0.97 0.92 0.89 2/64 1703 /proc/meminfo: memFree=1464568/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=180.04 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 252932 0 0 0 17891 113 0 0 25 0 1 0 164358395 10366976 2157 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2157 227 40 0 1948 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 10124 [startup+190.104 s] /proc/loadavg: 0.98 0.92 0.89 2/64 1703 /proc/meminfo: memFree=1464568/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=190.05 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 269320 0 0 0 18884 121 0 0 25 0 1 0 164358395 10366976 2157 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2157 227 40 0 1948 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 10124 [startup+200.11 s] /proc/loadavg: 0.98 0.92 0.89 2/64 1703 /proc/meminfo: memFree=1464504/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10124 CPUtime=200.04 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 281852 0 0 0 19878 126 0 0 25 0 1 0 164358395 10366976 2157 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2531 2157 227 40 0 1948 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 10124 [startup+210.116 s] /proc/loadavg: 0.98 0.92 0.90 2/64 1703 ################ # More data... # ################ /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3952002 0 0 0 176330 1829 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1781.59 Current children cumulated vsize (Kb) 10796 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=11660 CPUtime=1782.59 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3954583 0 0 0 176429 1830 0 0 25 0 1 0 164358395 11939840 2541 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134558164 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2915 2541 227 40 0 2332 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 11660 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10796 CPUtime=1783.6 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3960115 0 0 0 176528 1832 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1783.6 Current children cumulated vsize (Kb) 10796 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463032/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=12524 CPUtime=1784.6 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3961966 0 0 0 176628 1832 0 0 25 0 1 0 164358395 12824576 2757 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 3131 2757 227 40 0 2548 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 12524 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=11948 CPUtime=1785.61 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3963169 0 0 0 176728 1833 0 0 25 0 1 0 164358395 12234752 2541 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2987 2549 228 40 0 2404 0 Current children cumulated CPU time (s) 1785.61 Current children cumulated vsize (Kb) 11948 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1462520/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=11660 CPUtime=1786.61 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3967516 0 0 0 176826 1835 0 0 25 0 1 0 164358395 11939840 2541 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541987 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2915 2541 227 40 0 2332 0 Current children cumulated CPU time (s) 1786.61 Current children cumulated vsize (Kb) 11660 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10796 CPUtime=1787.62 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3969683 0 0 0 176926 1836 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1787.62 Current children cumulated vsize (Kb) 10796 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10796 CPUtime=1788.62 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3973994 0 0 0 177024 1838 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1788.62 Current children cumulated vsize (Kb) 10796 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10796 CPUtime=1789.62 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3976868 0 0 0 177123 1839 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 10796 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10796 CPUtime=1790.63 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3978287 0 0 0 177223 1840 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1790.63 Current children cumulated vsize (Kb) 10796 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1462200/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=12656 CPUtime=1791.63 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3980171 0 0 0 177322 1841 0 0 25 0 1 0 164358395 12959744 2790 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134636981 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 3164 2790 227 40 0 2581 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 12656 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10796 CPUtime=1792.64 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3981598 0 0 0 177422 1842 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 10796 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10796 CPUtime=1793.64 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3983017 0 0 0 177521 1843 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 10796 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1462008/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=12788 CPUtime=1794.64 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3990166 0 0 0 177618 1846 0 0 25 0 1 0 164358395 13094912 2798 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 3197 2798 227 40 0 2614 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 12788 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10796 CPUtime=1795.65 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3992549 0 0 0 177718 1847 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 10796 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10796 CPUtime=1796.65 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3993968 0 0 0 177817 1848 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629276 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 10796 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10796 CPUtime=1797.66 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 3995387 0 0 0 177917 1849 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134577204 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1797.66 Current children cumulated vsize (Kb) 10796 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10796 CPUtime=1798.66 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 4000644 0 0 0 178015 1851 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 10796 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=10796 CPUtime=1799.67 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 4002063 0 0 0 178115 1852 0 0 25 0 1 0 164358395 11055104 2325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2699 2325 227 40 0 2116 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 10796 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1463736/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=11948 CPUtime=1800.67 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 4007585 0 0 0 178213 1854 0 0 25 0 1 0 164358395 12234752 2554 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 2428631 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 2987 2562 227 40 0 2404 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 11948 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 1703 /proc/meminfo: memFree=1462776/2055920 swapFree=4183060/4192956 [pid=1703] ppid=1701 vsize=12524 CPUtime=1800.67 /proc/1703/stat : 1703 (glpPBv3) R 1701 1703 1651 0 -1 0 4007788 0 0 0 178213 1854 0 0 25 0 1 0 164358395 12824576 2757 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542166 0 0 4096 0 0 0 0 17 1 0 0 /proc/1703/statm: 3131 2757 227 40 0 2548 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 12524 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.17 CPU time (s): 1800.69 CPU user time (s): 1782.14 CPU system time (s): 18.5522 CPU usage (%): 99.9734 Max. virtual memory (cumulated for all children) (Kb): 12788 The end
Begin job on node41 on Sat Jul 29 12:07:53 UTC 2006 FILE ID= 85800-1154174873 PBS_JOBID= 893574 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex7.b.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node41/85800-1154174873/instance-85800-1154174873.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-85800-1154174873 -o ROOT/results/node41/solver-85800-1154174873 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node41/85800-1154174873/instance-85800-1154174873.opb MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff MD5SUM BENCH= a226ce89d775a348c35d29e51d9044b6 RANDOM SEED= 774928913 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.234 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.234 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: 1472504 kB Buffers: 37392 kB Cached: 470220 kB SwapCached: 3612 kB Active: 54424 kB Inactive: 461592 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1472504 kB SwapTotal: 4192956 kB SwapFree: 4183060 kB Dirty: 316 kB Writeback: 0 kB Mapped: 14516 kB Slab: 53348 kB Committed_AS: 709452 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node41 on Sat Jul 29 12:37:54 UTC 2006