Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.7 | 1801.21 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-pdc.r.opb |
MD5SUM | 1b7a4ba09fe0e6b5976c5bba841ee84f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 103 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 94 |
Optimality of the best value was proved | YES |
Number of variables | 19021 |
Total number of constraints | 6904 |
Number of constraints which are clauses | 6904 |
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 | 403 |
Number of terms in the objective function | 19021 |
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 | 19021 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 19021 |
Number of bits of the biggest sum of numbers | 15 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node56/50473-1154085779/instance-50473-1154085779.opb ...... 5.37 c done parsing opb. 5.37 o 18805 7.61 o 18786 9.86 o 18785 12.20 o 18777 14.54 o 18771 16.88 o 18770 19.22 o 18769 21.59 o 18768 23.96 o 18767 26.38 o 18766 28.70 o 18407 31.00 o 18406 33.28 o 18404 35.57 o 18394 37.86 o 18393 40.15 o 18392 42.46 o 18379 44.77 o 18378 47.07 o 18377 49.38 o 18376 51.67 o 18375 53.95 o 18374 56.24 o 18373 58.52 o 18372 60.82 o 18371 63.13 o 18370 65.44 o 18369 67.75 o 18368 70.04 o 18367 72.33 o 18366 74.61 o 18365 76.89 o 18364 79.18 o 18363 81.48 o 18362 83.79 o 18361 86.09 o 18360 88.40 o 18359 90.69 o 18358 92.98 o 18357 95.26 o 18356 97.50 o 18093 99.73 o 18091 101.99 o 18090 104.25 o 18089 106.51 o 18088 108.77 o 18087 111.01 o 18086 113.24 o 18071 115.48 o 18070 117.71 o 18069 119.95 o 18068 122.21 o 18067 124.47 o 18066 126.72 o 18065 128.98 o 18064 131.22 o 18063 133.45 o 18062 135.68 o 18061 137.91 o 18060 140.16 o 18059 142.41 o 18058 144.67 o 18057 146.93 o 18056 149.18 o 18055 151.41 o 18054 153.64 o 18053 155.87 o 18052 158.10 o 18051 160.35 o 18050 162.60 o 18049 164.86 o 18048 167.12 o 18047 169.37 o 18046 171.60 o 18045 173.83 o 18044 176.05 o 18043 178.28 o 18042 180.53 o 18041 182.79 o 18040 185.04 o 18039 187.28 o 18038 189.65 o 18037 191.61 o 16057 193.51 o 16056 195.42 o 16055 197.32 o 16054 199.23 o 16053 201.15 o 16052 203.07 o 16051 205.00 o 16050 206.92 o 16049 208.84 o 16048 210.76 o 16047 212.66 o 16046 214.57 o 16045 216.47 o 16037 218.37 o 16036 220.28 o 16021 222.20 o 16020 224.12 o 16019 226.04 o 16018 227.96 o 16017 229.86 o 16016 231.76 o 16015 233.66 o 16014 235.57 o 16013 237.46 o 16012 239.36 o 16011 241.28 o 16010 243.20 o 16009 245.12 o 16008 247.04 o 16007 248.97 o 16006 250.87 o 16005 252.78 o 16004 254.68 o 16003 256.58 o 16002 258.47 o 16001 260.79 o 16000 262.35 o 12930 263.85 o 12929 265.34 o 12928 266.83 o 12927 268.33 o 12926 269.83 o 12925 271.31 o 12924 272.79 o 12923 274.27 o 12922 275.74 o 12845 277.21 o 12844 278.67 o 12843 280.15 o 12842 281.63 o 12841 283.68 o 12840 284.60 o 7130 285.41 o 7129 286.21 o 7125 287.01 o 7124 287.82 o 7123 288.63 o 7122 289.43 o 7121 290.23 o 7120 291.03 o 7119 291.82 o 7118 292.62 o 7117 293.41 o 7116 294.21 o 7115 295.01 o 7114 295.81 o 7113 296.61 o 7112 297.41 o 7111 298.20 o 7110 299.00 o 7109 299.80 o 7108 300.60 o 7107 301.40 o 7106 302.20 o 7105 303.01 o 7104
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/node56/watcher-50473-1154085779 -o ROOT/results/node56/solver-50473-1154085779 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/50473-1154085779/instance-50473-1154085779.opb 826367455 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/64 2390 /proc/meminfo: memFree=1507288/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=3184 CPUtime=0 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 212 0 0 0 0 0 0 0 18 0 1 0 155447888 3260416 195 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 796 196 90 232 0 561 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.95 0.98 2/64 2390 /proc/meminfo: memFree=1499352/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=9680 CPUtime=9.99 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2336 0 0 0 994 5 0 0 25 0 1 0 155447888 9912320 2108 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2420 2108 107 232 0 2185 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9680 [startup+20.0096 s] /proc/loadavg: 0.94 0.96 0.98 2/64 2390 /proc/meminfo: memFree=1499480/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=9680 CPUtime=19.99 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2336 0 0 0 1989 10 0 0 25 0 1 0 155447888 9912320 2108 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2420 2108 107 232 0 2185 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 9680 [startup+30.0156 s] /proc/loadavg: 0.95 0.96 0.98 2/64 2390 /proc/meminfo: memFree=1498904/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=30 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 2982 18 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 10268 [startup+40.0216 s] /proc/loadavg: 0.95 0.96 0.98 2/64 2390 /proc/meminfo: memFree=1498904/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=40 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 3976 24 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 10268 [startup+50.0276 s] /proc/loadavg: 0.96 0.96 0.98 2/64 2390 /proc/meminfo: memFree=1498904/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=50 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 4971 29 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 10268 [startup+60.0335 s] /proc/loadavg: 0.97 0.96 0.98 2/64 2390 /proc/meminfo: memFree=1498968/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=60 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 5964 36 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 10268 [startup+70.0395 s] /proc/loadavg: 0.97 0.96 0.98 2/64 2390 /proc/meminfo: memFree=1498968/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=70.01 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 6959 42 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 10268 [startup+80.0465 s] /proc/loadavg: 0.98 0.96 0.98 2/64 2390 /proc/meminfo: memFree=1498968/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=80.01 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 7952 49 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 10268 [startup+90.0515 s] /proc/loadavg: 0.98 0.96 0.98 2/64 2390 /proc/meminfo: memFree=1498968/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=90.01 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 8946 55 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 10268 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.98 2/64 2390 /proc/meminfo: memFree=1498968/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=100.01 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 9939 62 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 10268 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.98 2/64 2390 /proc/meminfo: memFree=1498968/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=110.02 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 10933 69 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 10268 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2390 /proc/meminfo: memFree=1498904/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=120.02 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 11924 78 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 10268 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2390 /proc/meminfo: memFree=1498904/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=130.02 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 12918 84 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 10268 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2390 /proc/meminfo: memFree=1498968/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=140.03 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 13912 91 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 10268 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2390 /proc/meminfo: memFree=1498968/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=150.03 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 14904 99 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 10268 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2390 /proc/meminfo: memFree=1498968/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=160.04 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 15897 107 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 10268 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2390 /proc/meminfo: memFree=1498968/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=170.04 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 16892 112 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 10268 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2390 /proc/meminfo: memFree=1498968/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=180.04 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2504 0 0 0 17885 119 0 0 25 0 1 0 155447888 10514432 2276 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2276 108 232 0 2332 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 10268 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2390 /proc/meminfo: memFree=1498776/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=190.04 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2539 0 0 0 18879 125 0 0 25 0 1 0 155447888 10514432 2311 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2311 108 232 0 2332 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 10268 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2390 /proc/meminfo: memFree=1498776/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=10268 CPUtime=200.05 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 2541 0 0 0 19873 132 0 0 25 0 1 0 155447888 10514432 2313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 2567 2313 108 232 0 2332 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 10268 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2390 ################ # More data... # ################ /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 48839 0 0 0 177901 255 0 0 25 0 1 0 155447888 275795968 48562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48562 108 232 0 67098 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 269332 [startup+1783.07 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1312728/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1782.57 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 48867 0 0 0 178002 255 0 0 25 0 1 0 155447888 275795968 48590 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48590 108 232 0 67098 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 269332 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1312600/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1783.57 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 48894 0 0 0 178102 255 0 0 25 0 1 0 155447888 275795968 48617 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48617 108 232 0 67098 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 269332 [startup+1785.08 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1312472/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1784.58 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 48922 0 0 0 178203 255 0 0 25 0 1 0 155447888 275795968 48645 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48645 108 232 0 67098 0 Current children cumulated CPU time (s) 1784.58 Current children cumulated vsize (Kb) 269332 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1312344/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1785.58 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 48950 0 0 0 178303 255 0 0 25 0 1 0 155447888 275795968 48673 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48673 108 232 0 67098 0 Current children cumulated CPU time (s) 1785.58 Current children cumulated vsize (Kb) 269332 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1312216/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1786.59 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 48992 0 0 0 178404 255 0 0 25 0 1 0 155447888 275795968 48715 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48715 108 232 0 67098 0 Current children cumulated CPU time (s) 1786.59 Current children cumulated vsize (Kb) 269332 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1312088/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1787.59 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49019 0 0 0 178504 255 0 0 25 0 1 0 155447888 275795968 48742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48742 108 232 0 67098 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (Kb) 269332 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1311960/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1788.6 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49047 0 0 0 178605 255 0 0 25 0 1 0 155447888 275795968 48770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48770 108 232 0 67098 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 269332 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1311896/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1789.6 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49075 0 0 0 178705 255 0 0 25 0 1 0 155447888 275795968 48798 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48798 108 232 0 67098 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 269332 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1311768/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1790.61 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49104 0 0 0 178806 255 0 0 25 0 1 0 155447888 275795968 48827 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48827 108 232 0 67098 0 Current children cumulated CPU time (s) 1790.61 Current children cumulated vsize (Kb) 269332 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1311576/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1791.61 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49145 0 0 0 178906 255 0 0 25 0 1 0 155447888 275795968 48868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48868 108 232 0 67098 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 269332 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1311448/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1792.61 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49173 0 0 0 179006 255 0 0 25 0 1 0 155447888 275795968 48896 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48896 108 232 0 67098 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 269332 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1311384/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1793.62 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49201 0 0 0 179107 255 0 0 25 0 1 0 155447888 275795968 48924 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48924 108 232 0 67098 0 Current children cumulated CPU time (s) 1793.62 Current children cumulated vsize (Kb) 269332 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1311256/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1794.62 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49228 0 0 0 179207 255 0 0 25 0 1 0 155447888 275795968 48951 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48951 108 232 0 67098 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 269332 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1311128/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1795.63 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49256 0 0 0 179308 255 0 0 25 0 1 0 155447888 275795968 48979 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 48979 108 232 0 67098 0 Current children cumulated CPU time (s) 1795.63 Current children cumulated vsize (Kb) 269332 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1311000/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1796.63 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49284 0 0 0 179408 255 0 0 25 0 1 0 155447888 275795968 49007 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 49007 108 232 0 67098 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 269332 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1310872/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1797.64 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49326 0 0 0 179509 255 0 0 25 0 1 0 155447888 275795968 49049 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 49049 108 232 0 67098 0 Current children cumulated CPU time (s) 1797.64 Current children cumulated vsize (Kb) 269332 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1310744/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1798.64 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49353 0 0 0 179609 255 0 0 25 0 1 0 155447888 275795968 49076 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 49076 108 232 0 67098 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 269332 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1310616/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1799.65 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49381 0 0 0 179710 255 0 0 25 0 1 0 155447888 275795968 49104 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 49104 108 232 0 67098 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 269332 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1310488/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1800.65 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49423 0 0 0 179810 255 0 0 25 0 1 0 155447888 275795968 49146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 49146 108 232 0 67098 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 269332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 2392 /proc/meminfo: memFree=1310488/2055920 swapFree=4183496/4192956 [pid=2390] ppid=2388 vsize=269332 CPUtime=1800.65 /proc/2390/stat : 2390 (PBS4L) R 2388 2390 2341 0 -1 4194304 49423 0 0 0 179810 255 0 0 25 0 1 0 155447888 275795968 49146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/2390/statm: 67333 49146 108 232 0 67098 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 269332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.21 CPU time (s): 1800.7 CPU user time (s): 1798.11 CPU system time (s): 2.59161 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (Kb): 269332 The end
Begin job on node56 on Fri Jul 28 11:22:59 UTC 2006 FILE ID= 50473-1154085779 PBS_JOBID= 885319 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-pdc.r.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/50473-1154085779/instance-50473-1154085779.opb 826367455 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-50473-1154085779 -o ROOT/results/node56/solver-50473-1154085779 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/50473-1154085779/instance-50473-1154085779.opb 826367455 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 1b7a4ba09fe0e6b5976c5bba841ee84f RANDOM SEED= 826367455 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: 1507560 kB Buffers: 31608 kB Cached: 443536 kB SwapCached: 3168 kB Active: 67488 kB Inactive: 416100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1507560 kB SwapTotal: 4192956 kB SwapFree: 4183496 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14492 kB Slab: 50744 kB Committed_AS: 700524 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 node56 on Fri Jul 28 11:53:00 UTC 2006