Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | SAT (TO) | 183 | 1800.55 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb |
MD5SUM | 1e2b8f542cc5dec610d6e9b4663a878b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 183 |
Best CPU time to get the best result obtained on this benchmark | 1800.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 183 |
Optimality of the best value was proved | NO |
Number of variables | 473 |
Total number of constraints | 472 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 472 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 473 |
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 | 473 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 473 |
Number of bits of the biggest sum of numbers | 9 |
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 0.00 c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel) 0.00 c Developed by L. Liuand M. Truszczynski 0.00 c Last built on Tue 23 May 2006 09:33:09 PM EDT 0.00 c 0.00 c ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node90/31986-1149388831/instance-31986-1149388831.opb 51540455 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 51540455 0.00 c Noise: 0.7 (70 : 100) 0.02 c Starting searching: 0.02 c Phase 1 ... 0.02 c trying 473: vc 0.02 o 286 12.04 c trying 190: vc 12.04 o 190 745.67 c trying 126: xxxxxxxxxxc 745.67 c Phase 2 ... 751.28 c trying 189: vc 751.28 o 189 760.38 c trying 188: vc 760.38 o 188 770.82 c trying 187: vc 770.82 o 187 799.14 c trying 186: vc 799.14 o 186 1007.29 c trying 185: vc 1007.29 o 185 1021.04 c trying 184: vc 1021.04 o 184 1747.55 c trying 183: xvc 1747.55 o 183 1801.15 c trying 182: xc 1801.15 c Phase 3 ... 1801.15 c trying 182 again: c 1801.15 s SATISFIABLE 1801.15 v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22 -x23 x24 x25 -x26 -x27 -x28 x29 -x30 1801.15 v x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 x40 x41 -x42 x43 x44 x45 x46 x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 x57 x58 x59 1801.15 v x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 -x70 x71 x72 -x73 x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 x82 x83 -x84 -x85 x86 -x87 1801.15 v x88 -x89 x90 -x91 -x92 -x93 x94 -x95 x96 -x97 -x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 x107 x108 -x109 -x110 -x111 1801.15 v -x112 -x113 -x114 -x115 x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 x126 x127 -x128 x129 -x130 -x131 -x132 x133 1801.15 v x134 x135 x136 -x137 -x138 x139 x140 -x141 x142 -x143 x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 x153 x154 x155 -x156 1801.15 v x157 x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 x167 -x168 -x169 x170 x171 -x172 x173 -x174 x175 x176 x177 -x178 x179 1801.15 v -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 x189 -x190 x191 -x192 -x193 -x194 -x195 x196 x197 x198 x199 -x200 -x201 1801.15 v x202 x203 -x204 x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 x215 x216 -x217 -x218 -x219 x220 x221 x222 -x223 1801.15 v -x224 x225 x226 -x227 x228 x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 x243 -x244 -x245 1801.15 v -x246 x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 x258 x259 -x260 -x261 -x262 x263 -x264 -x265 x266 -x267 1801.15 v -x268 -x269 x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 x280 x281 -x282 -x283 x284 x285 x286 x287 x288 x289 x290 1801.15 v x291 -x292 x293 -x294 x295 -x296 -x297 x298 x299 x300 -x301 -x302 -x303 x304 x305 x306 x307 -x308 x309 x310 x311 -x312 -x313 1801.15 v -x314 x315 -x316 x317 -x318 -x319 -x320 -x321 x322 -x323 x324 -x325 -x326 -x327 x328 x329 x330 x331 x332 x333 -x334 x335 x336 1801.15 v -x337 -x338 x339 -x340 -x341 -x342 x343 x344 -x345 -x346 x347 -x348 -x349 -x350 -x351 -x352 x353 x354 x355 x356 -x357 x358 1801.15 v x359 -x360 -x361 x362 x363 x364 x365 x366 x367 x368 x369 -x370 -x371 -x372 x373 -x374 x375 x376 -x377 -x378 -x379 -x380 x381 1801.15 v -x382 -x383 -x384 x385 -x386 x387 -x388 -x389 x390 -x391 -x392 -x393 -x394 x395 x396 x397 -x398 x399 -x400 -x401 -x402 -x403 1801.15 v -x404 x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 x414 x415 -x416 x417 x418 -x419 -x420 x421 x422 -x423 x424 -x425 1801.15 v -x426 -x427 -x428 x429 -x430 x431 x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 x440 -x441 x442 -x443 -x444 x445 -x446 x447 1801.15 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 x458 x459 -x460 -x461 -x462 -x463 -x464 -x465 x466 -x467 -x468 1801.15 v x469 x470 -x471 -x472 x473 1801.15 c Total Number of Positive Atoms : 183 1801.15 c 1801.15 c During searching: 1747.53 seconds elapsed. 1801.15 c CPU time spent: 1747.19 seconds. 1801.15 c 1801.15 c =================================== END ===================================== 1801.15 c
OK 183
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node90/watcher-31986-1149388831 -o ROOT/results/node90/solver-31986-1149388831 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node90/31986-1149388831/instance-31986-1149388831.opb 51540455 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 1.02 2/67 31526 /proc/meminfo: memFree=1525224/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=18544 CPUtime=0 /proc/31526/stat : 31526 (runsolver) R 31524 31526 31480 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 204522127 18989056 278 18446744073709551615 4194304 4262084 548682069040 18446744073709551615 237854323735 0 2147483391 4096 24578 0 0 0 17 0 0 0 /proc/31526/statm: 4636 278 242 16 0 2626 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.98 1.02 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=9.98 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 998 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605229 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 13332 [startup+20.0087 s] /proc/loadavg: 0.94 0.98 1.01 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=19.99 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 1999 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598605 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 13332 [startup+30.0148 s] /proc/loadavg: 0.95 0.98 1.01 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=29.99 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 2999 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 13332 [startup+40.0209 s] /proc/loadavg: 0.96 0.98 1.01 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=39.99 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 3999 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134599190 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 13332 [startup+50.027 s] /proc/loadavg: 0.96 0.98 1.01 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=50 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 5000 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 13332 [startup+60.0331 s] /proc/loadavg: 0.97 0.98 1.01 2/67 31526 /proc/meminfo: memFree=1517992/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=60 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 6000 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 13332 [startup+70.0392 s] /proc/loadavg: 0.97 0.98 1.01 2/67 31526 /proc/meminfo: memFree=1517992/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=70 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 7000 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605229 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 13332 [startup+80.0452 s] /proc/loadavg: 0.98 0.98 1.01 2/67 31526 /proc/meminfo: memFree=1517992/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=80.01 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 8001 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 13332 [startup+90.0513 s] /proc/loadavg: 0.98 0.98 1.01 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=90.01 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 9001 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134868502 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 13332 [startup+100.057 s] /proc/loadavg: 0.98 0.98 1.01 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=100.01 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 10001 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134608226 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 13332 [startup+110.064 s] /proc/loadavg: 0.98 0.98 1.01 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=110.02 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 11002 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566830 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 13332 [startup+120.069 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=120.02 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 12002 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877482 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 13332 [startup+130.075 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=130.02 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 13002 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 13332 [startup+140.081 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31526 /proc/meminfo: memFree=1517992/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=140.02 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 14002 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 13332 [startup+150.087 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31526 /proc/meminfo: memFree=1517992/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=150.03 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 15003 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 13332 [startup+160.093 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=160.03 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 16003 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 13332 [startup+170.099 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=170.03 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 17003 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 13332 [startup+180.105 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=180.04 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 18004 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601706 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 13332 [startup+190.111 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=190.04 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 19004 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 13332 [startup+200.117 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31526 /proc/meminfo: memFree=1517928/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=200.04 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 20004 0 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607781 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 13332 [startup+210.123 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31526 /proc/meminfo: memFree=1517864/2055888 swapFree=4085308/4096564 ################ # More data... # ################ [pid=31526] ppid=31524 vsize=13332 CPUtime=1781.44 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 178143 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 13332 [startup+1783.06 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1782.45 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 178244 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 13332 [startup+1784.06 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1783.45 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 178344 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601403 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 13332 [startup+1785.07 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1784.46 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 178445 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 13332 [startup+1786.07 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1785.46 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 178545 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601487 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 13332 [startup+1787.08 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1786.47 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 178646 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 13332 [startup+1788.08 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1787.47 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 178746 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 13332 [startup+1789.09 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1788.48 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 178847 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598579 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 13332 [startup+1790.09 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1789.48 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 178947 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 13332 [startup+1791.1 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1790.48 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 179047 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1790.48 Current children cumulated vsize (Kb) 13332 [startup+1792.1 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1791.49 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 179148 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 13332 [startup+1793.11 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1792.49 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 179248 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1792.49 Current children cumulated vsize (Kb) 13332 [startup+1794.11 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1793.5 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 179349 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607217 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 13332 [startup+1795.12 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1794.5 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 179449 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601720 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (Kb) 13332 [startup+1796.12 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1795.51 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 179550 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 13332 [startup+1797.12 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1796.51 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 179650 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1796.51 Current children cumulated vsize (Kb) 13332 [startup+1798.13 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1797.52 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 179751 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 13332 [startup+1799.13 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1798.52 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 179851 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 13332 [startup+1800.14 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1799.53 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 179952 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 13332 [startup+1801.14 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1800.53 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 180052 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601107 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 13332 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.98 1.00 2/67 31721 /proc/meminfo: memFree=1517672/2055888 swapFree=4085308/4096564 [pid=31526] ppid=31524 vsize=13332 CPUtime=1800.53 /proc/31526/stat : 31526 (wildcat-rnp) R 31524 31526 31480 0 -1 4194304 1962 0 0 0 180052 1 0 0 25 0 1 0 204522127 13651968 1939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31526/statm: 3333 1939 117 226 0 3104 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 13332 Sending SIGTERM to -31526 Sleeping 2 seconds Child status: 0 Real time (s): 1801.16 CPU time (s): 1800.55 CPU user time (s): 1800.53 CPU system time (s): 0.019996 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (Kb): 13332
Begin job on node90 on Sun Jun 4 02:40:31 UTC 2006 FILE ID= 31986-1149388831 PBS_JOBID= 313339 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_20.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node90/31986-1149388831/instance-31986-1149388831.opb 51540455 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node90/watcher-31986-1149388831 -o ROOT/results/node90/solver-31986-1149388831 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node90/31986-1149388831/instance-31986-1149388831.opb 51540455 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= 1e2b8f542cc5dec610d6e9b4663a878b RANDOM SEED= 51540455 /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 : 6006.17 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 : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055888 kB MemFree: 1525496 kB Buffers: 33084 kB Cached: 429464 kB SwapCached: 2436 kB Active: 88620 kB Inactive: 382536 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055888 kB LowFree: 1525496 kB SwapTotal: 4096564 kB SwapFree: 4085308 kB Dirty: 148 kB Writeback: 0 kB Mapped: 16060 kB Slab: 46024 kB Committed_AS: 402940 kB PageTables: 1268 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node90 on Sun Jun 4 03:10:33 UTC 2006