Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
npSolver 1.0 (fixed) | OPT | 46877 | 9.43257 | 10.3398 |
Name | /OPT-BIGINT-LIN/aries-da_nrp/ normalized-aries-da_network_20_2__17_12__16.opb |
MD5SUM | d0768977d290c67d2e133f3af763f1d1 |
Bench Category | OPT-BIGINT-LIN (optimisation, big integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 46877 |
Best CPU time to get the best result obtained on this benchmark | 0.763883 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 658 |
Total number of constraints | 60 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 42 |
Number of constraints which are nor clauses,nor cardinality constraints | 18 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 129 |
Number of terms in the objective function | 640 |
Biggest coefficient in the objective function | 94409 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 27912992 |
Number of bits of the sum of numbers in the objective function | 25 |
Biggest number in a constraint | 94409 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 27912992 |
Number of bits of the biggest sum of numbers | 25 |
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/0.02 c run usual solver 0.00/0.14 c model valid 0.00/0.14 c current solution ok 0.00/0.17 o 78430 0.00/0.17 c current bound: 39215 0.00/0.17 c fallback to adder encoding 0.00/0.27 c current bound: 58823 0.00/0.27 c fallback to adder encoding 0.00/0.65 c model valid 0.00/0.65 c current solution ok 0.00/0.65 o 46877 0.00/0.65 c current bound: 43046 0.00/0.65 c fallback to adder encoding 0.00/0.84 c current bound: 44962 0.00/0.84 c fallback to adder encoding 0.96/1.04 c current bound: 45920 0.96/1.04 c fallback to adder encoding 1.06/1.37 c current bound: 46399 1.06/1.37 c fallback to adder encoding 1.38/1.76 c current bound: 46638 1.38/1.76 c fallback to adder encoding 1.77/2.05 c current bound: 46758 1.77/2.05 c fallback to adder encoding 2.17/2.29 c current bound: 46818 2.17/2.29 c fallback to adder encoding 2.29/2.99 c current bound: 46848 2.29/2.99 c fallback to adder encoding 4.07/4.96 c current bound: 46863 4.07/4.96 c fallback to adder encoding 5.91/6.84 c current bound: 46870 5.91/6.84 c fallback to adder encoding 7.09/8.06 c current bound: 46874 7.09/8.06 c fallback to adder encoding 8.60/9.59 c current bound: 46876 8.60/9.59 c fallback to adder encoding 9.36/10.33 c display solution 9.36/10.33 s OPTIMUM FOUND 9.36/10.33 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 -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 -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 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658
OK 46877
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3749911-1339158889/watcher-3749911-1339158889 -o /tmp/evaluation-result-3749911-1339158889/solver-3749911-1339158889 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749911-1339158889.opb 761977464 HOME HOME running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.98 1.23 1.63 4/175 22189 /proc/meminfo: memFree=29256180/32873844 swapFree=7372/7372 [pid=22189] ppid=22185 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22189/stat : 22189 (npSolver-pbo.sh) S 22185 22189 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382017471 9367552 275 33554432000 4194304 5064252 140735185781200 140735185780112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22189/statm: 2287 275 233 213 0 72 0 [startup+0.0761089 s] /proc/loadavg: 0.98 1.23 1.63 4/175 22189 /proc/meminfo: memFree=29256180/32873844 swapFree=7372/7372 [pid=22189] ppid=22185 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22189/stat : 22189 (npSolver-pbo.sh) S 22185 22189 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382017471 9367552 275 33554432000 4194304 5064252 140735185781200 140735185780112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22189/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.100293 s] /proc/loadavg: 0.98 1.23 1.63 4/175 22189 /proc/meminfo: memFree=29256180/32873844 swapFree=7372/7372 [pid=22189] ppid=22185 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22189/stat : 22189 (npSolver-pbo.sh) S 22185 22189 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382017471 9367552 275 33554432000 4194304 5064252 140735185781200 140735185780112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22189/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.300123 s] /proc/loadavg: 0.98 1.23 1.63 4/175 22189 /proc/meminfo: memFree=29256180/32873844 swapFree=7372/7372 [pid=22189] ppid=22185 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22189/stat : 22189 (npSolver-pbo.sh) S 22185 22189 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382017471 9367552 275 33554432000 4194304 5064252 140735185781200 140735185780112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22189/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+0.700253 s] /proc/loadavg: 0.98 1.23 1.63 4/175 22189 /proc/meminfo: memFree=29256180/32873844 swapFree=7372/7372 [pid=22189] ppid=22185 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22189/stat : 22189 (npSolver-pbo.sh) S 22185 22189 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382017471 9367552 275 33554432000 4194304 5064252 140735185781200 140735185780112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22189/statm: 2287 275 233 213 0 72 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9148 [startup+1.5003 s] /proc/loadavg: 0.98 1.23 1.63 4/182 22229 /proc/meminfo: memFree=29223928/32873844 swapFree=7372/7372 [pid=22189] ppid=22185 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22189/stat : 22189 (npSolver-pbo.sh) S 22185 22189 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382017471 9367552 275 33554432000 4194304 5064252 140735185781200 140735185780112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22189/statm: 2287 275 233 213 0 72 0 [pid=22191] ppid=22189 vsize=10996 CPUtime=1.38 cores=1,3,5,7 /proc/22191/stat : 22191 (npSolver-pbo) S 22189 22189 17323 0 -1 4202496 7841 34209 0 0 16 5 108 9 20 0 1 0 382017471 11259904 2218 33554432000 4194304 6004724 140734498102656 140734498095008 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22191/statm: 2749 2218 176 442 0 2303 0 Current children cumulated CPU time (s) 1.38 Current children cumulated vsize (KiB) 20144 [startup+3.1003 s] /proc/loadavg: 0.98 1.23 1.63 4/183 22266 /proc/meminfo: memFree=29108752/32873844 swapFree=7372/7372 [pid=22189] ppid=22185 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22189/stat : 22189 (npSolver-pbo.sh) S 22185 22189 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382017471 9367552 275 33554432000 4194304 5064252 140735185781200 140735185780112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22189/statm: 2287 275 233 213 0 72 0 [pid=22191] ppid=22189 vsize=10996 CPUtime=2.99 cores=1,3,5,7 /proc/22191/stat : 22191 (npSolver-pbo) S 22189 22189 17323 0 -1 4202496 11889 58220 0 0 27 6 251 15 20 0 1 0 382017471 11259904 2218 33554432000 4194304 6004724 140734498102656 140734498095008 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22191/statm: 2749 2218 176 442 0 2303 0 Current children cumulated CPU time (s) 2.99 Current children cumulated vsize (KiB) 20144 [startup+6.30033 s] /proc/loadavg: 1.14 1.26 1.63 4/183 22287 /proc/meminfo: memFree=29058924/32873844 swapFree=7372/7372 [pid=22189] ppid=22185 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22189/stat : 22189 (npSolver-pbo.sh) S 22185 22189 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382017471 9367552 275 33554432000 4194304 5064252 140735185781200 140735185780112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22189/statm: 2287 275 233 213 0 72 0 [pid=22191] ppid=22189 vsize=10996 CPUtime=4.11 cores=1,3,5,7 /proc/22191/stat : 22191 (npSolver-pbo) S 22189 22189 17323 0 -1 4202496 12901 64762 0 0 30 6 358 17 20 0 1 0 382017471 11259904 2218 33554432000 4194304 6004724 140734498102656 140734498095008 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22191/statm: 2749 2218 176 442 0 2303 0 [pid=22286] ppid=22191 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22286/stat : 22286 (satsolver.sh) S 22191 22189 17323 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 382017970 9367552 267 33554432000 4194304 5064252 140734114821136 140734114820048 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/22286/statm: 2287 267 226 213 0 72 0 [pid=22287] ppid=22286 vsize=12252 CPUtime=1.3 cores=1,3,5,7 /proc/22287/stat : 22287 (glucose) R 22286 22189 17323 0 -1 4202496 3052 0 0 0 130 0 0 0 20 0 1 0 382017970 12546048 2793 33554432000 4194304 5208918 140733712732672 140733712730616 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/22287/statm: 3063 2793 104 248 0 2812 0 Current children cumulated CPU time (s) 5.41 Current children cumulated vsize (KiB) 41544 Solver just ended. Dumping a history of the last processes samples [startup+7.90034 s] /proc/loadavg: 1.14 1.26 1.63 4/183 22294 /proc/meminfo: memFree=29059056/32873844 swapFree=7372/7372 [pid=22189] ppid=22185 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22189/stat : 22189 (npSolver-pbo.sh) S 22185 22189 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382017471 9367552 275 33554432000 4194304 5064252 140735185781200 140735185780112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22189/statm: 2287 275 233 213 0 72 0 [pid=22191] ppid=22189 vsize=10996 CPUtime=5.98 cores=1,3,5,7 /proc/22191/stat : 22191 (npSolver-pbo) S 22189 22189 17323 0 -1 4202496 13913 70895 0 0 32 6 542 18 20 0 1 0 382017471 11259904 2218 33554432000 4194304 6004724 140734498102656 140734498095008 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22191/statm: 2749 2218 176 442 0 2303 0 [pid=22293] ppid=22191 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22293/stat : 22293 (satsolver.sh) S 22191 22189 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382018158 9367552 266 33554432000 4194304 5064252 140733383896128 140733383895040 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/22293/statm: 2287 266 226 213 0 72 0 [pid=22294] ppid=22293 vsize=10700 CPUtime=1.01 cores=1,3,5,7 /proc/22294/stat : 22294 (glucose) R 22293 22189 17323 0 -1 4202496 2698 0 0 0 101 0 0 0 20 0 1 0 382018158 10956800 2328 33554432000 4194304 5208918 140733278855616 140733278853576 4211668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/22294/statm: 2675 2328 104 248 0 2424 0 Current children cumulated CPU time (s) 6.99 Current children cumulated vsize (KiB) 39992 [startup+9.50034 s] /proc/loadavg: 1.14 1.26 1.63 4/183 22301 /proc/meminfo: memFree=29059072/32873844 swapFree=7372/7372 [pid=22189] ppid=22185 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22189/stat : 22189 (npSolver-pbo.sh) S 22185 22189 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382017471 9367552 275 33554432000 4194304 5064252 140735185781200 140735185780112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22189/statm: 2287 275 233 213 0 72 0 [pid=22191] ppid=22189 vsize=10996 CPUtime=7.21 cores=1,3,5,7 /proc/22191/stat : 22191 (npSolver-pbo) S 22189 22189 17323 0 -1 4202496 14925 76994 0 0 35 7 659 20 20 0 1 0 382017471 11259904 2218 33554432000 4194304 6004724 140734498102656 140734498095008 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22191/statm: 2749 2218 176 442 0 2303 0 [pid=22300] ppid=22191 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22300/stat : 22300 (satsolver.sh) S 22191 22189 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382018280 9367552 267 33554432000 4194304 5064252 140733998665488 140733998664400 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/22300/statm: 2287 267 226 213 0 72 0 [pid=22301] ppid=22300 vsize=12344 CPUtime=1.39 cores=1,3,5,7 /proc/22301/stat : 22301 (glucose) R 22300 22189 17323 0 -1 4202496 3738 0 0 0 139 0 0 0 20 0 1 0 382018280 12640256 2638 33554432000 4194304 5208918 140736089831984 140736089829816 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/22301/statm: 3086 2638 104 248 0 2835 0 Current children cumulated CPU time (s) 8.6 Current children cumulated vsize (KiB) 41636 [startup+9.90731 s] /proc/loadavg: 1.21 1.27 1.63 4/183 22308 /proc/meminfo: memFree=29059824/32873844 swapFree=7372/7372 [pid=22189] ppid=22185 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22189/stat : 22189 (npSolver-pbo.sh) S 22185 22189 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382017471 9367552 275 33554432000 4194304 5064252 140735185781200 140735185780112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22189/statm: 2287 275 233 213 0 72 0 [pid=22191] ppid=22189 vsize=10996 CPUtime=8.7 cores=1,3,5,7 /proc/22191/stat : 22191 (npSolver-pbo) S 22189 22189 17323 0 -1 4202496 15937 83951 0 0 38 7 803 22 20 0 1 0 382017471 11259904 2218 33554432000 4194304 6004724 140734498102656 140734498095008 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22191/statm: 2749 2218 176 442 0 2303 0 [pid=22307] ppid=22191 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22307/stat : 22307 (satsolver.sh) S 22191 22189 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382018433 9367552 266 33554432000 4194304 5064252 140737439021888 140737439020800 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/22307/statm: 2287 266 226 213 0 72 0 [pid=22308] ppid=22307 vsize=10548 CPUtime=0.27 cores=1,3,5,7 /proc/22308/stat : 22308 (glucose) R 22307 22189 17323 0 -1 4202496 2358 0 0 0 27 0 0 0 20 0 1 0 382018433 10801152 2123 33554432000 4194304 5208918 140734558590304 140737439020824 4211888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/22308/statm: 2637 2123 104 248 0 2386 0 Current children cumulated CPU time (s) 8.97 Current children cumulated vsize (KiB) 39840 [startup+10.3003 s] /proc/loadavg: 1.21 1.27 1.63 4/183 22308 /proc/meminfo: memFree=29059824/32873844 swapFree=7372/7372 [pid=22189] ppid=22185 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22189/stat : 22189 (npSolver-pbo.sh) S 22185 22189 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382017471 9367552 275 33554432000 4194304 5064252 140735185781200 140735185780112 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0 /proc/22189/statm: 2287 275 233 213 0 72 0 [pid=22191] ppid=22189 vsize=10996 CPUtime=8.7 cores=1,3,5,7 /proc/22191/stat : 22191 (npSolver-pbo) S 22189 22189 17323 0 -1 4202496 15937 83951 0 0 38 7 803 22 20 0 1 0 382017471 11259904 2218 33554432000 4194304 6004724 140734498102656 140734498095008 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0 /proc/22191/statm: 2749 2218 176 442 0 2303 0 [pid=22307] ppid=22191 vsize=9148 CPUtime=0 cores=1,3,5,7 /proc/22307/stat : 22307 (satsolver.sh) S 22191 22189 17323 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 382018433 9367552 266 33554432000 4194304 5064252 140737439021888 140737439020800 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0 /proc/22307/statm: 2287 266 226 213 0 72 0 [pid=22308] ppid=22307 vsize=9652 CPUtime=0.66 cores=1,3,5,7 /proc/22308/stat : 22308 (glucose) R 22307 22189 17323 0 -1 4202496 2841 0 0 0 66 0 0 0 20 0 1 0 382018433 9883648 2125 33554432000 4194304 5208918 140734558590304 140734558588376 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0 /proc/22308/statm: 2413 2125 104 248 0 2162 0 Current children cumulated CPU time (s) 9.36 Current children cumulated vsize (KiB) 38944 Child status: 0 Real time (s): 10.3398 CPU time (s): 9.43257 CPU user time (s): 9.11361 CPU system time (s): 0.318951 CPU usage (%): 91.226 Max. virtual memory (cumulated for all children) (KiB): 45896 getrusage(RUSAGE_CHILDREN,...) data: user time used= 9.11361 system time used= 0.318951 maximum resident set size= 29672 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106038 page faults= 0 swaps= 0 block input operations= 0 block output operations= 50064 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 257 involuntary context switches= 170 runsolver used 0.018997 second user time and 0.050992 second system time The end
Begin job on node109 at 2012-06-08 14:34:49 IDJOB=3749911 IDBENCH=71890 IDSOLVER=2334 FILE ID=node109/3749911-1339158889 RUNJOBID= node109-1339158889-22163 PBS_JOBID= 14643773 Free space on /tmp= 70804 MiB SOLVER NAME= npSolver 1.0 BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__16.opb COMMAND LINE= DIR/npSolver-pbo.sh BENCHNAME RANDOMSEED TMPDIR DIR RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3749911-1339158889/watcher-3749911-1339158889 -o /tmp/evaluation-result-3749911-1339158889/solver-3749911-1339158889 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749911-1339158889.opb 761977464 HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= d0768977d290c67d2e133f3af763f1d1 RANDOM SEED=761977464 node109.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5334.52 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2667.264 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873844 kB MemFree: 29257236 kB Buffers: 1748488 kB Cached: 917096 kB SwapCached: 1336 kB Active: 2121020 kB Inactive: 551388 kB Active(anon): 2044 kB Inactive(anon): 6080 kB Active(file): 2118976 kB Inactive(file): 545308 kB Unevictable: 7372 kB Mlocked: 7372 kB SwapTotal: 67108856 kB SwapFree: 67102640 kB Dirty: 17132 kB Writeback: 20 kB AnonPages: 11716 kB Mapped: 8600 kB Shmem: 4 kB Slab: 802840 kB SReclaimable: 244948 kB SUnreclaim: 557892 kB KernelStack: 1424 kB PageTables: 3924 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545776 kB Committed_AS: 103100 kB VmallocTotal: 34359738367 kB VmallocUsed: 346368 kB VmallocChunk: 34341987984 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7872 kB DirectMap2M: 33538048 kB Free space on /tmp at the end= 70756 MiB End job on node109 at 2012-06-08 14:34:59