Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.65 | 1801.25 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/logic_synthesis/normalized-max1024.r.opb |
MD5SUM | 87c08328e44aaf86c5913a3ba08592cd |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 245 |
Best CPU time to get the best result obtained on this benchmark | 69.7164 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 245 |
Optimality of the best value was proved | YES |
Number of variables | 1264 |
Total number of constraints | 1090 |
Number of constraints which are clauses | 1090 |
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 | 20 |
Number of terms in the objective function | 1264 |
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 | 1264 |
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 | 1264 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node4/50508-1154093052/instance-50508-1154093052.opb ...... 0.04 c done parsing opb. 0.04 o 1216 0.05 o 1215 0.06 o 1211 0.06 o 1208 0.07 o 1207 0.08 o 1206 0.09 o 1205 0.10 o 1204 0.10 o 1203 0.11 o 1202 0.12 o 1201 0.13 o 1200 0.14 o 1199 0.14 o 1198 0.15 o 1197 0.16 o 1196 0.17 o 1195 0.17 o 1194 0.18 o 1193 0.19 o 1192 0.20 o 1191 0.21 o 1190 0.21 o 1189 0.22 o 1188 0.23 o 1187 0.24 o 1186 0.24 o 1185 0.25 o 1184 0.26 o 1183 0.27 o 1182 0.28 o 1181 0.28 o 1180 0.29 o 1179 0.30 o 1178 0.31 o 1177 0.31 o 1176 0.32 o 1175 0.33 o 948 0.34 o 947 10.60 o 422 10.60 o 421 10.61 o 420 10.61 o 418 10.61 o 417 10.62 o 416 10.62 o 415 10.63 o 414 10.63 o 413 10.63 o 412 10.64 o 411 10.64 o 410 10.90 o 409 10.91 o 336 10.91 o 332 10.91 o 331 10.92 o 330 10.92 o 329 10.92 o 328 10.93 o 327 10.93 o 326 10.97 o 325 10.97 o 323 10.97 o 322 10.98 o 319 10.98 o 318 10.99 o 317
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/node4/watcher-50508-1154093052 -o ROOT/results/node4/solver-50508-1154093052 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node4/50508-1154093052/instance-50508-1154093052.opb 150758468 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=845184/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=1532 CPUtime=0 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 138 0 0 0 0 0 0 0 18 0 1 0 156166633 1568768 119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599020 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 383 121 90 232 0 148 0 [startup+10.0022 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=795136/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=67324 CPUtime=9.99 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 12630 0 0 0 990 9 0 0 25 0 1 0 156166633 68939776 12596 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134594592 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 16831 12596 108 232 0 16596 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 67324 [startup+20.0079 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=789376/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=68176 CPUtime=19.99 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 14113 0 0 0 1979 20 0 0 25 0 1 0 156166633 69812224 14030 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17044 14030 108 232 0 16809 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 68176 [startup+30.0137 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=787904/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=68308 CPUtime=29.99 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 14493 0 0 0 2975 24 0 0 25 0 1 0 156166633 69947392 14410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17077 14410 108 232 0 16842 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 68308 [startup+40.0194 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=786048/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=68308 CPUtime=40 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 14942 0 0 0 3973 27 0 0 25 0 1 0 156166633 69947392 14859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549294 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17077 14859 108 232 0 16842 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 68308 [startup+50.0252 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784960/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=68308 CPUtime=50 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15231 0 0 0 4973 27 0 0 25 0 1 0 156166633 69947392 15148 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17077 15148 108 232 0 16842 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 68308 [startup+60.031 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784896/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=68436 CPUtime=60.08 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15244 0 0 0 5980 28 0 0 25 0 1 0 156166633 70078464 15161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17109 15161 108 232 0 16874 0 Current children cumulated CPU time (s) 60.08 Current children cumulated vsize (Kb) 68436 [startup+70.1147 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784768/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=68436 CPUtime=70.08 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15274 0 0 0 6980 28 0 0 25 0 1 0 156166633 70078464 15191 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17109 15191 108 232 0 16874 0 Current children cumulated CPU time (s) 70.08 Current children cumulated vsize (Kb) 68436 [startup+80.1205 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784704/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=68572 CPUtime=80.08 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15303 0 0 0 7980 28 0 0 25 0 1 0 156166633 70217728 15220 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17143 15220 108 232 0 16908 0 Current children cumulated CPU time (s) 80.08 Current children cumulated vsize (Kb) 68572 [startup+90.1262 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784576/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=68704 CPUtime=90.09 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15328 0 0 0 8980 29 0 0 25 0 1 0 156166633 70352896 15245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17176 15245 108 232 0 16941 0 Current children cumulated CPU time (s) 90.09 Current children cumulated vsize (Kb) 68704 [startup+100.132 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784448/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=68704 CPUtime=100.09 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15354 0 0 0 9980 29 0 0 25 0 1 0 156166633 70352896 15271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549309 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17176 15271 108 232 0 16941 0 Current children cumulated CPU time (s) 100.09 Current children cumulated vsize (Kb) 68704 [startup+110.138 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784256/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=69088 CPUtime=110.1 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15463 0 0 0 10980 30 0 0 25 0 1 0 156166633 70746112 15283 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17272 15283 108 232 0 17037 0 Current children cumulated CPU time (s) 110.1 Current children cumulated vsize (Kb) 69088 [startup+120.144 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784256/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=69240 CPUtime=120.1 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15482 0 0 0 11980 30 0 0 25 0 1 0 156166633 70901760 15302 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17310 15302 108 232 0 17075 0 Current children cumulated CPU time (s) 120.1 Current children cumulated vsize (Kb) 69240 [startup+130.149 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784256/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=69240 CPUtime=130.1 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15493 0 0 0 12980 30 0 0 25 0 1 0 156166633 70901760 15313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17310 15313 108 232 0 17075 0 Current children cumulated CPU time (s) 130.1 Current children cumulated vsize (Kb) 69240 [startup+140.155 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784192/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=69372 CPUtime=140.1 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15512 0 0 0 13980 30 0 0 25 0 1 0 156166633 71036928 15332 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17343 15332 108 232 0 17108 0 Current children cumulated CPU time (s) 140.1 Current children cumulated vsize (Kb) 69372 [startup+150.161 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784192/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=69372 CPUtime=150.1 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15525 0 0 0 14980 30 0 0 25 0 1 0 156166633 71036928 15345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17343 15345 108 232 0 17108 0 Current children cumulated CPU time (s) 150.1 Current children cumulated vsize (Kb) 69372 [startup+160.167 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784128/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=69372 CPUtime=160.11 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15538 0 0 0 15980 31 0 0 25 0 1 0 156166633 71036928 15358 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17343 15358 108 232 0 17108 0 Current children cumulated CPU time (s) 160.11 Current children cumulated vsize (Kb) 69372 [startup+170.173 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=784000/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=69528 CPUtime=170.11 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15566 0 0 0 16980 31 0 0 25 0 1 0 156166633 71196672 15386 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17382 15386 108 232 0 17147 0 Current children cumulated CPU time (s) 170.11 Current children cumulated vsize (Kb) 69528 [startup+180.179 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=783936/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=69528 CPUtime=180.11 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15577 0 0 0 17979 32 0 0 25 0 1 0 156166633 71196672 15397 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17382 15397 108 232 0 17147 0 Current children cumulated CPU time (s) 180.11 Current children cumulated vsize (Kb) 69528 [startup+190.186 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=783872/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=69528 CPUtime=190.12 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15588 0 0 0 18980 32 0 0 25 0 1 0 156166633 71196672 15408 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17382 15408 108 232 0 17147 0 Current children cumulated CPU time (s) 190.12 Current children cumulated vsize (Kb) 69528 [startup+200.193 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 /proc/meminfo: memFree=783808/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=69528 CPUtime=200.11 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 15612 0 0 0 19979 32 0 0 25 0 1 0 156166633 71196672 15432 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549273 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 17382 15432 108 232 0 17147 0 Current children cumulated CPU time (s) 200.11 Current children cumulated vsize (Kb) 69528 [startup+210.198 s] /proc/loadavg: 0.99 1.00 0.99 2/64 20840 ################ # More data... # ################ /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19579 0 0 0 178057 97 0 0 25 0 1 0 156166633 83238912 18052 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549262 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18052 108 232 0 20087 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (Kb) 81288 [startup+1783.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773184/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1782.54 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19580 0 0 0 178157 97 0 0 25 0 1 0 156166633 83238912 18053 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18053 108 232 0 20087 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 81288 [startup+1784.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773184/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1783.55 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19580 0 0 0 178258 97 0 0 25 0 1 0 156166633 83238912 18053 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549336 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18053 108 232 0 20087 0 Current children cumulated CPU time (s) 1783.55 Current children cumulated vsize (Kb) 81288 [startup+1785.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773184/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1784.55 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19581 0 0 0 178358 97 0 0 25 0 1 0 156166633 83238912 18054 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18054 108 232 0 20087 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 81288 [startup+1786.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773120/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1785.56 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19593 0 0 0 178459 97 0 0 25 0 1 0 156166633 83238912 18066 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18066 108 232 0 20087 0 Current children cumulated CPU time (s) 1785.56 Current children cumulated vsize (Kb) 81288 [startup+1787.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773120/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1786.56 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19595 0 0 0 178559 97 0 0 25 0 1 0 156166633 83238912 18068 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18068 108 232 0 20087 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 81288 [startup+1788.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773120/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1787.57 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19596 0 0 0 178660 97 0 0 25 0 1 0 156166633 83238912 18069 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18069 108 232 0 20087 0 Current children cumulated CPU time (s) 1787.57 Current children cumulated vsize (Kb) 81288 [startup+1789.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773120/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1788.57 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19597 0 0 0 178760 97 0 0 25 0 1 0 156166633 83238912 18070 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563477 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18070 108 232 0 20087 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 81288 [startup+1790.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773120/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1789.58 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19597 0 0 0 178861 97 0 0 25 0 1 0 156166633 83238912 18070 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18070 108 232 0 20087 0 Current children cumulated CPU time (s) 1789.58 Current children cumulated vsize (Kb) 81288 [startup+1791.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773120/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1790.58 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19598 0 0 0 178961 97 0 0 25 0 1 0 156166633 83238912 18071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18071 108 232 0 20087 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 81288 [startup+1792.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773120/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1791.58 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19598 0 0 0 179061 97 0 0 25 0 1 0 156166633 83238912 18071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549336 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18071 108 232 0 20087 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 81288 [startup+1793.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773120/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1792.59 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19599 0 0 0 179162 97 0 0 25 0 1 0 156166633 83238912 18072 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18072 108 232 0 20087 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 81288 [startup+1794.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773120/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1793.59 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19599 0 0 0 179262 97 0 0 25 0 1 0 156166633 83238912 18072 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18072 108 232 0 20087 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 81288 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 20842 /proc/meminfo: memFree=773120/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1794.6 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19600 0 0 0 179363 97 0 0 25 0 1 0 156166633 83238912 18073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18073 108 232 0 20087 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 81288 [startup+1796.2 s] /proc/loadavg: 1.08 1.02 1.01 2/64 20842 /proc/meminfo: memFree=773120/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1795.6 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19601 0 0 0 179463 97 0 0 25 0 1 0 156166633 83238912 18074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549052 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18074 108 232 0 20087 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 81288 [startup+1797.21 s] /proc/loadavg: 1.08 1.02 1.01 2/64 20842 /proc/meminfo: memFree=773056/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1796.61 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19612 0 0 0 179564 97 0 0 25 0 1 0 156166633 83238912 18085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18085 108 232 0 20087 0 Current children cumulated CPU time (s) 1796.61 Current children cumulated vsize (Kb) 81288 [startup+1798.21 s] /proc/loadavg: 1.08 1.02 1.01 2/64 20842 /proc/meminfo: memFree=773056/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1797.61 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19613 0 0 0 179664 97 0 0 25 0 1 0 156166633 83238912 18086 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549206 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18086 108 232 0 20087 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 81288 [startup+1799.22 s] /proc/loadavg: 1.08 1.02 1.01 2/64 20842 /proc/meminfo: memFree=773056/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1798.62 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19613 0 0 0 179765 97 0 0 25 0 1 0 156166633 83238912 18086 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18086 108 232 0 20087 0 Current children cumulated CPU time (s) 1798.62 Current children cumulated vsize (Kb) 81288 [startup+1800.22 s] /proc/loadavg: 1.08 1.02 1.01 2/64 20842 /proc/meminfo: memFree=773056/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1799.62 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19614 0 0 0 179865 97 0 0 25 0 1 0 156166633 83238912 18087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18087 108 232 0 20087 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 81288 [startup+1801.23 s] /proc/loadavg: 1.07 1.02 1.00 2/64 20842 /proc/meminfo: memFree=773056/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1800.62 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19615 0 0 0 179965 97 0 0 25 0 1 0 156166633 83238912 18088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18088 108 232 0 20087 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 81288 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.23 s] /proc/loadavg: 1.07 1.02 1.00 2/64 20842 /proc/meminfo: memFree=773056/2055920 swapFree=4183140/4192956 [pid=20840] ppid=20838 vsize=81288 CPUtime=1800.63 /proc/20840/stat : 20840 (PBS4L) R 20838 20840 20791 0 -1 4194304 19615 0 0 0 179966 97 0 0 25 0 1 0 156166633 83238912 18088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/20840/statm: 20322 18088 108 232 0 20087 0 Current children cumulated CPU time (s) 1800.63 Current children cumulated vsize (Kb) 81288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.25 CPU time (s): 1800.65 CPU user time (s): 1799.66 CPU system time (s): 0.990849 CPU usage (%): 99.967 Max. virtual memory (cumulated for all children) (Kb): 81288 The end
Begin job on node4 on Fri Jul 28 13:24:12 UTC 2006 FILE ID= 50508-1154093052 PBS_JOBID= 885774 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-max1024.r.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node4/50508-1154093052/instance-50508-1154093052.opb 150758468 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-50508-1154093052 -o ROOT/results/node4/solver-50508-1154093052 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node4/50508-1154093052/instance-50508-1154093052.opb 150758468 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 87c08328e44aaf86c5913a3ba08592cd RANDOM SEED= 150758468 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.256 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.256 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: 845392 kB Buffers: 47412 kB Cached: 1079216 kB SwapCached: 3804 kB Active: 441536 kB Inactive: 693864 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 845392 kB SwapTotal: 4192956 kB SwapFree: 4183140 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14820 kB Slab: 61056 kB Committed_AS: 641308 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Fri Jul 28 13:54:13 UTC 2006