Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
borg-pb 10.05.30 | No Cert. | 31.0383 | 29.459 |
Name | normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/ manquinho/dbsg/normalized-dbsg_100_10_2_15.opb |
MD5SUM | f49920a9263bddf34ebca7927c66338e |
Bench Category | DEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 0.038993 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 200 |
Total number of constraints | 302 |
Number of constraints which are clauses | 100 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 201 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 200 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 15 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 200 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2520 |
Sum of products size (including duplicates) | 5040 |
Number of different products | 1260 |
Sum of products size | 2520 |
1.01/1.56 c DEBUG: probabilities of action success (DCM model): 1.01/1.56 c pb/competition_2010/bsolo_pb10-l1 : 0.2446 0.3106 0.3432 0.4493 0.5331 0.5649 0.6331 1.01/1.56 c pb/competition_2010/bsolo_pb10-l2 : 0.2220 0.2840 0.3077 0.3819 0.4261 0.4617 0.5493 1.01/1.56 c pb/competition_2010/bsolo_pb10-l3 : 0.2079 0.2803 0.3237 0.4112 0.4599 0.4979 0.5927 1.01/1.56 c pb/competition_2010/wbo1.4a : 0.3403 0.4826 0.5859 0.7308 0.8018 0.8464 0.9114 1.01/1.56 c pb/competition_2010/wbo1.4b : 0.2130 0.3046 0.4491 0.6693 0.7698 0.8150 0.8796 1.01/1.56 c pb/other/clasp-1.3.3 : 0.4078 0.5945 0.6711 0.8373 0.8906 0.9054 0.9586 1.01/1.56 c pb/other/sat4j-pb-v20090829 : 0.2634 0.4175 0.5149 0.6419 0.7125 0.7655 0.8315 1.01/1.56 c pb/other/sat4j-pb-v20090829-cutting : 0.2190 0.3670 0.4173 0.5593 0.5959 0.6405 0.7110 1.01/1.59 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=274587511', u'HOME/instance-2675853-1277135349.opb'] for 0:00:10 1.20/1.76 c DEBUG: probabilities of action success (DCM model): 1.20/1.76 c pb/competition_2010/bsolo_pb10-l1 : 0.0864 0.1465 0.1840 0.2857 0.3885 0.4283 0.5203 1.20/1.76 c pb/competition_2010/bsolo_pb10-l2 : 0.0562 0.0749 0.0922 0.1683 0.2191 0.2624 0.3839 1.20/1.76 c pb/competition_2010/bsolo_pb10-l3 : 0.0651 0.1056 0.1465 0.2372 0.2927 0.3401 0.4668 1.20/1.76 c pb/competition_2010/wbo1.4a : 0.1742 0.3354 0.4616 0.6290 0.7329 0.7917 0.8920 1.20/1.76 c pb/competition_2010/wbo1.4b : 0.1021 0.1948 0.3272 0.5834 0.7167 0.7734 0.8713 1.20/1.76 c pb/other/clasp-1.3.3 : 0.0473 0.3999 0.5163 0.7617 0.8422 0.8653 0.9405 1.20/1.76 c pb/other/sat4j-pb-v20090829 : 0.0742 0.2233 0.3526 0.5167 0.6055 0.6788 0.7733 1.20/1.76 c pb/other/sat4j-pb-v20090829-cutting : 0.0499 0.1563 0.1889 0.3805 0.4170 0.4832 0.5874 1.20/1.76 c DETAIL: running [u'HOME/etc/solvers/other/clasp-1.3.3/clasp-1.3.3-x86-linux', u'--seed=39812734', u'HOME/instance-2675853-1277135349.opb'] for 0:00:50 1.39/1.95 c DEBUG: probabilities of action success (DCM model): 1.39/1.95 c pb/competition_2010/bsolo_pb10-l1 : 0.0547 0.0978 0.1349 0.2096 0.2919 0.3395 0.4502 1.39/1.95 c pb/competition_2010/bsolo_pb10-l2 : 0.0217 0.0303 0.0367 0.0801 0.1077 0.1434 0.2606 1.39/1.95 c pb/competition_2010/bsolo_pb10-l3 : 0.0470 0.0799 0.1116 0.1733 0.2111 0.2575 0.3877 1.39/1.95 c pb/competition_2010/wbo1.4a : 0.1185 0.2379 0.3470 0.5355 0.6578 0.7196 0.8608 1.39/1.95 c pb/competition_2010/wbo1.4b : 0.0869 0.1706 0.2900 0.5236 0.6835 0.7441 0.8592 1.39/1.95 c pb/other/clasp-1.3.3 : 0.0379 0.0752 0.3715 0.6781 0.7801 0.8135 0.9135 1.39/1.95 c pb/other/sat4j-pb-v20090829 : 0.0318 0.1365 0.2340 0.3981 0.5023 0.5936 0.7124 1.39/1.95 c pb/other/sat4j-pb-v20090829-cutting : 0.0173 0.0836 0.1032 0.2448 0.2753 0.3273 0.4541 1.39/1.95 c DETAIL: running [u'HOME/etc/solvers/competition_2010/wbo1.4a/wbo1.4a', u'-file-format=opb', u'HOME/instance-2675853-1277135349.opb'] for 0:00:50 30.85/29.39 s SATISFIABLE 30.85/29.39 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 x191 -__nl_1 x120 -__nl_2 -x189 -__nl_3 -x176 -__nl_4 -x162 -__nl_5 -x199 -__nl_6 -x165 -__nl_7 -x178 -__nl_8 -x146 -__nl_9 -x128 -__nl_10 -x122 -__nl_11 -x123 -__nl_12 -x157 -__nl_13 -x164 -__nl_14 -x177 -__nl_15 -x190 -__nl_16 x101 -__nl_17 -__nl_18 -__nl_19 -__nl_20 -__nl_21 -__nl_22 -__nl_23 -__nl_24 -__nl_25 -__nl_26 -__nl_27 -__nl_28 -__nl_29 -__nl_30 -__nl_31 -__nl_32 -x143 -__nl_33 -x180 -__nl_34 -x150 -__nl_35 -x194 -__nl_36 -x138 -__nl_37 -x155 -__nl_38 -x174 -__nl_39 -x168 -__nl_40 -x131 -__nl_41 -x103 -__nl_42 -x110 -__nl_43 -__nl_44 -__nl_45 -x125 -__nl_46 -x130 -__nl_47 -x149 -__nl_48 -x152 -__nl_49 -x166 -__nl_50 -x102 -__nl_51 -__nl_52 -__nl_53 -__nl_54 -__nl_55 -__nl_56 -__nl_57 -__nl_58 -__nl_59 -__nl_60 -__nl_61 -__nl_62 -__nl_63 -__nl_64 -__nl_65 -__nl_66 -__nl_67 -__nl_68 -__nl_69 -x173 -__nl_70 -x170 -__nl_71 -x116 -__nl_72 -__nl_73 -x192 -__nl_74 -x111 -__nl_75 -__nl_76 -x197 -__nl_77 -__nl_78 -x104 -__nl_79 -x126 -__nl_80 -x140 -__nl_81 -x154 -__nl_82 -x188 -__nl_83 -x196 -__nl_84 -__nl_85 -__nl_86 -__nl_87 -__nl_88 -__nl_89 -__nl_90 -__nl_91 -__nl_92 -__nl_93 -__nl_94 -__nl_95 -__nl_96 -__nl_97 -__nl_98 -__nl_99 -__nl_100 -__nl_101 -x114 -__nl_102 -x187 -__nl_103 -x183 -__nl_104 -__nl_105 -__nl_106 x153 -__nl_107 -__nl_108 -__nl_109 x198 -__nl_110 x109 -__nl_111 -__nl_112 x137 -__nl_113 -x139 -__nl_114 -x160 -__nl_115 -x161 -__nl_116 -x172 -__nl_117 -x185 -__nl_118 -__nl_119 -__nl_120 -__nl_121 -__nl_122 -__nl_123 -__nl_124 -__nl_125 -__nl_126 -__nl_127 -__nl_128 -__nl_129 -__nl_130 -__nl_131 -__nl_132 -__nl_133 -__nl_134 -__nl_135 -__nl_136 -x158 -__nl_137 -__nl_138 -x129 -__nl_139 -x107 -__nl_140 -__nl_141 -__nl_142 -__nl_143 -x115 -__nl_144 -__nl_145 -__nl_146 -x108 -__nl_147 -__nl_148 -x142 -__nl_149 -__nl_150 -__nl_151 -x181 -__nl_152 -x105 -__nl_153 -__nl_154 -__nl_155 -__nl_156 -__nl_157 -__nl_158 -__nl_159 -__nl_160 -__nl_161 -__nl_162 -__nl_163 -__nl_164 -__nl_165 -__nl_166 -__nl_167 -__nl_168 -x145 -__nl_169 -__nl_170 -x200 -__nl_171 -x167 -__nl_172 -__nl_173 -__nl_174 -x124 -__nl_175 -__nl_176 -__nl_177 -x163 -__nl_178 -x113 -__nl_179 -__nl_180 -__nl_181 x133 -__nl_182 -__nl_183 -__nl_184 -x106 -__nl_185 -__nl_186 -__nl_187 -__nl_188 -__nl_189 -__nl_190 -__nl_191 -__nl_192 -__nl_193 -__nl_194 -__nl_195 -__nl_196 -__nl_197 -__nl_198 -__nl_199 -__nl_200 -__nl_201 -x144 -__nl_202 -__nl_203 -x117 -__nl_204 -__nl_205 -x118 -__nl_206 -x169 -__nl_207 -__nl_208 -__nl_209 -__nl_210 -__nl_211 -__nl_212 x135 -__nl_213 -__nl_214 -__nl_215 -__nl_216 -__nl_217 -__nl_218 -__nl_219 -__nl_220 -__nl_221 -__nl_222 -__nl_223 -__nl_224 -__nl_225 -__nl_226 -__nl_227 -__nl_228 -__nl_229 -__nl_230 -__nl_231 -x171 -__nl_232 -__nl_233 -__nl_234 -__nl_235 -x186 -__nl_236 x134 -__nl_237 -__nl_238 -__nl_239 -__nl_240 -__nl_241 -__nl_242 -__nl_243 -__nl_244 -__nl_245 -__nl_246 -__nl_247 -__nl_248 -__nl_249 -__nl_250 -__nl_251 -__nl_252 -__nl_253 -__nl_254 -__nl_255 -__nl_256 -__nl_257 -__nl_258 -__nl_259 -__nl_260 -__nl_261 -__nl_262 -__nl_263 -__nl_264 -__nl_265 -__nl_266 -__nl_267 -__nl_268 -x127 -__nl_269 -x141 -__nl_270 -__nl_271 -__nl_272 -__nl_273 -__nl_274 -__nl_275 -__nl_276 -__nl_277 -__nl_278 -__nl_279 -__nl_280 -__nl_281 -__nl_282 -__nl_283 -__nl_284 -__nl_285 -__nl_286 -__nl_287 -__nl_288 -__nl_289 -__nl_290 -__nl_291 -__nl_292 -__nl_293 -__nl_294 -__nl_295 -x182 -__nl_296 -__nl_297 -__nl_298 -x156 -__nl_299 -x119 -__nl_300 -__nl_301 -__nl_302 -__nl_303 -__nl_304 -__nl_305 -__nl_306 -__nl_307 -__nl_308 -__nl_309 -__nl_310 -__nl_311 -__nl_312 -__nl_313 -__nl_314 -__nl_315 -__nl_316 -__nl_317 -__nl_318 -__nl_319 -__nl_320 -__nl_321 -__nl_322 -__nl_323 -__nl_324 -__nl_325 -__nl_326 -__nl_327 x147 -__nl_328 x112 -__nl_329 x184 -__nl_330 -__nl_331 -__nl_332 -__nl_333 x136 -__nl_334 x195 -__nl_335 -__nl_336 -__nl_337 -__nl_338 -__nl_339 -__nl_340 -__nl_341 -__nl_342 -__nl_343 -__nl_344 -__nl_345 -__nl_346 -__nl_347 -__nl_348 -__nl_349 -__nl_350 -__nl_351 -__nl_352 -__nl_353 -__nl_354 -__nl_355 -__nl_356 -__nl_357 -__nl_358 -x193 -__nl_359 -__nl_360 -__nl_361 -__nl_362 -__nl_363 -__nl_364 -__nl_365 -__nl_366 -__nl_367 -__nl_368 -__nl_369 -__nl_370 -__nl_371 -__nl_372 -__nl_373 -__nl_374 -__nl_375 -__nl_376 -__nl_377 -x175 -__nl_378 -__nl_379 -__nl_380 -__nl_381 -__nl_382 -__nl_383 -x132 -__nl_384 -__nl_385 -__nl_386 -__nl_387 -__nl_388 -__nl_389 -__nl_390 -__nl_391 -__nl_392 -__nl_393 -__nl_394 -__nl_395 -__nl_396 -__nl_397 -__nl_398 -__nl_399 -__nl_400 -__nl_401 -__nl_402 -x151 -__nl_403 -__nl_404 -__nl_405 -__nl_406 -__nl_407 -__nl_408 -__nl_409 -__nl_410 -__nl_411 -x148 -__nl_412 -__nl_413 -__nl_414 -__nl_415 -__nl_416 -__nl_417 -__nl_418 -__nl_419 -__nl_420 -__nl_421 -__nl_422 -__nl_423 -__nl_424 -__nl_425 -__nl_426 -__nl_427 -__nl_428 -__nl_429 -__nl_430 -__nl_431 -__nl_432 -__nl_433 -__nl_434 -__nl_435 -__nl_436 -__nl_437 -__nl_438 -__nl_439 -x121 -__nl_440 -__nl_441 -__nl_442 -__nl_443 -__nl_444 -__nl_445 -__nl_446 -__nl_447 -__nl_448 -__nl_449 -__nl_450 -__nl_451 -__nl_452 -__nl_453 -__nl_454 -__nl_455 -__nl_456 -__nl_457 -__nl_458 -__nl_459 -__nl_460 -__nl_461 -__nl_462 -__nl_463 -__nl_464 -__nl_465 -__nl_466 -__nl_467 -__nl_468 -__nl_469 -__nl_470 -__nl_471 -__nl_472 -__nl_473 -__nl_474 -__nl_475 -__nl_476 -__nl_477 -__nl_478 -__nl_479 -__nl_480 -__nl_481 -__nl_482 -__nl_483 -__nl_484 -__nl_485 -__nl_486 -__nl_487 -__nl_488 -__nl_489 -__nl_490 -__nl_491 -__nl_492 -__nl_493 -__nl_494 -__nl_495 -__nl_496 -__nl_497 -__nl_498 -__nl_499 -__nl_500 -__nl_501 -__nl_502 -__nl_503 -__nl_504 -__nl_505 -__nl_506 -__nl_507 -x159 -__nl_508 -__nl_509 -__nl_510 -__nl_511 -__nl_512 -__nl_513 -__nl_514 -__nl_515 -__nl_516 -__nl_517 -__nl_518 -__nl_519 -__nl_520 -__nl_521 -__nl_522 -__nl_523 -__nl_524 -__nl_525 -__nl_526 -__nl_527 -__nl_528 -__nl_529 -__nl_530 -__nl_531 -__nl_532 -__nl_533 -__nl_534 -__nl_535 -__nl_536 -x179 -__nl_537 -__nl_538 -__nl_539 -__nl_540 -__nl_541 -__nl_542 -__nl_543 -__nl_544 -__nl_545 -__nl_546 -__nl_547 -__nl_548 -__nl_549 -__nl_550 -__nl_551 -__nl_552 -__nl_553 -__nl_554 -__nl_555 -__nl_556 -__nl_557 -__nl_558 -__nl_559 -__nl_560 -__nl_561 -__nl_562 -__nl_563 -__nl_564 -__nl_565 -__nl_566 -__nl_567 -__nl_568 -__nl_569 -__nl_570 -__nl_571 -__nl_572 -__nl_573 -__nl_574 -__nl_575 -__nl_576 -__nl_577 -__nl_578 -__nl_579 -__nl_580 -__nl_581 -__nl_582 -__nl_583 -__nl_584 -__nl_585 -__nl_586 -__nl_587 -__nl_588 -__nl_589 -__nl_590 -__nl_591 -__nl_592 -__nl_593 -__nl_594 -__nl_595 -__nl_596 -__nl_597 -__nl_598 -__nl_599 -__nl_600 -__nl_601 -__nl_602 -__nl_603 -__nl_604 -__nl_605 -__nl_606 -__nl_607 -__nl_608 -__nl_609 -__nl_610 -__nl_611 -__nl_612 -__nl_613 -__nl_614 -__nl_615 -__nl_616 -__nl_617 -__nl_618 -__nl_619 -__nl_620 -__nl_621 -__nl_622 -__nl_623 -__nl_624 -__nl_625 -__nl_626 -__nl_627 -__nl_628 -__nl_629 -__nl_630 -__nl_631 -__nl_632 -__nl_633 -__nl_634 -__nl_635 -__nl_636 -__nl_637 -__nl_638 -__nl_639 -__nl_640 -__nl_641 -__nl_642 -__nl_643 -__nl_644 -__nl_645 -__nl_646 -__nl_647 -__nl_648 -__nl_649 -__nl_650 -__nl_651 -__nl_652 -__nl_653 -__nl_654 -__nl_655 -__nl_656 -__nl_657 -__nl_658 -__nl_659 -__nl_660 -__nl_661 -__nl_662 -__nl_663 -__nl_664 -__nl_665 -__nl_666 -__nl_667 -__nl_668 -__nl_669 -__nl_670 -__nl_671 -__nl_672 -__nl_673 -__nl_674 -__nl_675 -__nl_676 -__nl_677 -__nl_678 -__nl_679 -__nl_680 -__nl_681 -__nl_682 -__nl_683 -__nl_684 -__nl_685 -__nl_686 -__nl_687 -__nl_688 -__nl_689 -__nl_690 -__nl_691 -__nl_692 -__nl_693 -__nl_694 -__nl_695 -__nl_696 -__nl_697 -__nl_698 -__nl_699 -__nl_700 -__nl_701 -__nl_702 -__nl_703 -__nl_704 -__nl_705 -__nl_706 -__nl_707 -__nl_708 -__nl_709 -__nl_710 -__nl_711 -__nl_712 -__nl_713 -__nl_714 -__nl_715 -__nl_716 -__nl_717 -__nl_718 -__nl_719 -__nl_720 -__nl_721 -__nl_722 -__nl_723 -__nl_724 -__nl_725 -__nl_726 -__nl_727 -__nl_728 -__nl_729 -__nl_730 -__nl_731 -__nl_732 -__nl_733 -__nl_734 -__nl_735 -__nl_736 -__nl_737 -__nl_738 -__nl_739 -__nl_740 -__nl_741 -__nl_742 -__nl_743 -__nl_744 -__nl_745 -__nl_746 -__nl_747 -__nl_748 -__nl_749 -__nl_750 -__nl_751 -__nl_752 -__nl_753 -__nl_754 -__nl_755 -__nl_756 -__nl_757 -__nl_758 -__nl_759 -__nl_760 -__nl_761 -__nl_762 -__nl_763 -__nl_764 -__nl_765 -__nl_766 -__nl_767 -__nl_768 -__nl_769 -__nl_770 -__nl_771 -__nl_772 -__nl_773 -__nl_774 -__nl_775 -__nl_776 -__nl_777 -__nl_778 -__nl_779 -__nl_780 -__nl_781 -__nl_782 -__nl_783 -__nl_784 -__nl_785 -__nl_786 -__nl_787 -__nl_788 -__nl_789 -__nl_790 -__nl_791 -__nl_792 -__nl_793 -__nl_794 -__nl_795 -__nl_796 -__nl_797 -__nl_798 -__nl_799 -__nl_800 -__nl_801 -__nl_802 -__nl_803 -__nl_804 -__nl_805 -__nl_806 -__nl_807 -__nl_808 -__nl_809 -__nl_810 -__nl_811 -__nl_812 -__nl_813 -__nl_814 -__nl_815 -__nl_816 -__nl_817 -__nl_818 -__nl_819 -__nl_820 -__nl_821 -__nl_822 -__nl_823 -__nl_824 -__nl_825 -__nl_826 -__nl_827 -__nl_828 -__nl_829 -__nl_830 -__nl_831 -__nl_832 -__nl_833 -__nl_834 -__nl_835 -__nl_836 -__nl_837 -__nl_838 -__nl_839 -__nl_840 -__nl_841 -__nl_842 -__nl_843 -__nl_844 -__nl_845 -__nl_846 -__nl_847 -__nl_848 -__nl_849 -__nl_850 -__nl_851 -__nl_852 -__nl_853 -__nl_854 -__nl_855 -__nl_856 -__nl_857 -__nl_858 -__nl_859 -__nl_860 -__nl_861 -__nl_862 -__nl_863 -__nl_864 -__nl_865 -__nl_866 -__nl_867 -__nl_868 -__nl_869 -__nl_870 -__nl_871 -__nl_872 -__nl_873 -__nl_874 -__nl_875 -__nl_876 -__nl_877 -__nl_878 -__nl_879 -__nl_880 -__nl_881 -__nl_882 -__nl_883 -__nl_884 -__nl_885 -__nl_886 -__nl_887 -__nl_888 -__nl_889 -__nl_890 -__nl_891 -__nl_892 -__nl_893 -__nl_894 -__nl_895 -__nl_896 -__nl_897 -__nl_898 -__nl_899 -__nl_900 -__nl_901 -__nl_902 -__nl_903 -__nl_904 -__nl_905 -__nl_906 -__nl_907 -__nl_908 -__nl_909 -__nl_910 -__nl_911 -__nl_912 -__nl_913 -__nl_914 -__nl_915 -__nl_916 -__nl_917 -__nl_918 -__nl_919 -__nl_920 -__nl_921 -__nl_922 -__nl_923 -__nl_924 -__nl_925 -__nl_926 -__nl_927 -__nl_928 -__nl_929 -__nl_930 -__nl_931 -__nl_932 -__nl_933 -__nl_934 -__nl_935 -__nl_936 -__nl_937 -__nl_938 -__nl_939 -__nl_940 -__nl_941 -__nl_942 -__nl_943 -__nl_944 -__nl_945 -__nl_946 -__nl_947 -__nl_948 -__nl_949 -__nl_950 -__nl_951 -__nl_952 -__nl_953 -__nl_954 -__nl_955 -__nl_956 -__nl_957 -__nl_958 -__nl_959 -__nl_960 -__nl_961 -__nl_962 -__nl_963 -__nl_964 -__nl_965 -__nl_966 -__nl_967 -__nl_968 -__nl_969 -__nl_970 -__nl_971 -__nl_972 -__nl_973 -__nl_974 -__nl_975 -__nl_976 -__nl_977 -__nl_978 -__nl_979 -__nl_980 -__nl_981 -__nl_982 -__nl_983 -__nl_984 -__nl_985 -__nl_986 -__nl_987 -__nl_988 -__nl_989 -__nl_990 -__nl_991 -__nl_992 -__nl_993 -__nl_994 -__nl_995 -__nl_996 -__nl_997 -__nl_998 -__nl_999 -__nl_1000 -__nl_1001 -__nl_1002 -__nl_1003 -__nl_1004 -__nl_1005 -__nl_1006 -__nl_1007 -__nl_1008 -__nl_1009 -__nl_1010 -__nl_1011 -__nl_1012 -__nl_1013 -__nl_1014 -__nl_1015 -__nl_1016 -__nl_1017 -__nl_1018 -__nl_1019 -__nl_1020 -__nl_1021 -__nl_1022 -__nl_1023 -__nl_1024 -__nl_1025 -__nl_1026 -__nl_1027 -__nl_1028 -__nl_1029 -__nl_1030 -__nl_1031 -__nl_1032 -__nl_1033 -__nl_1034 -__nl_1035 -__nl_1036 -__nl_1037 -__nl_1038 -__nl_1039 -__nl_1040 -__nl_1041 -__nl_1042 -__nl_1043 -__nl_1044 -__nl_1045 -__nl_1046 -__nl_1047 -__nl_1048 -__nl_1049 -__nl_1050 -__nl_1051 -__nl_1052 -__nl_1053 -__nl_1054 -__nl_1055 -__nl_1056 -__nl_1057 -__nl_1058 -__nl_1059 -__nl_1060 -__nl_1061 -__nl_1062 -__nl_1063 -__nl_1064 -__nl_1065 -__nl_1066 -__nl_1067 -__nl_1068 -__nl_1069 -__nl_1070 -__nl_1071 -__nl_1072 -__nl_1073 -__nl_1074 -__nl_1075 -__nl_1076 -__nl_1077 -__nl_1078 -__nl_1079 -__nl_1080 -__nl_1081 -__nl_1082 -__nl_1083 -__nl_1084 -__nl_1085 -__nl_1086 -__nl_1087 -__nl_1088 -__nl_1089 -__nl_1090 -__nl_1091 -__nl_1092 -__nl_1093 -__nl_1094 -__nl_1095 -__nl_1096 -__nl_1097 -__nl_1098 -__nl_1099 -__nl_1100 -__nl_1101 -__nl_1102 -__nl_1103 -__nl_1104 -__nl_1105 -__nl_1106 -__nl_1107 -__nl_1108 -__nl_1109 -__nl_1110 -__nl_1111 -__nl_1112 -__nl_1113 -__nl_1114 -__nl_1115 -__nl_1116 -__nl_1117 -__nl_1118 -__nl_1119 -__nl_1120 -__nl_1121 -__nl_1122 -__nl_1123 -__nl_1124 -__nl_1125 -__nl_1126 -__nl_1127 -__nl_1128 -__nl_1129 -__nl_1130 -__nl_1131 -__nl_1132 -__nl_1133 -__nl_1134 -__nl_1135 -__nl_1136 -__nl_1137 -__nl_1138 -__nl_1139 -__nl_1140 -__nl_1141 -__nl_1142 -__nl_1143 -__nl_1144 -__nl_1145 -__nl_1146 -__nl_1147 -__nl_1148 -__nl_1149 -__nl_1150 -__nl_1151 -__nl_1152 -__nl_1153 -__nl_1154 -__nl_1155 -__nl_1156 -__nl_1157 -__nl_1158 -__nl_1159 -__nl_1160 -__nl_1161 -__nl_1162 -__nl_1163 -__nl_1164 -__nl_1165 -__nl_1166 -__nl_1167 -__nl_1168 -__nl_1169 -__nl_1170 -__nl_1171 -__nl_1172 -__nl_1173 -__nl_1174 -__nl_1175 -__nl_1176 -__nl_1177 -__nl_1178 -__nl_1179 -__nl_1180 -__nl_1181 -__nl_1182 -__nl_1183 -__nl_1184 -__nl_1185 -__nl_1186 -__nl_1187 -__nl_1188 -__nl_1189 -__nl_1190 -__nl_1191 -__nl_1192 -__nl_1193 -__nl_1194 -__nl_1195 -__nl_1196 -__nl_1197 -__nl_1198 -__nl_1199 -__nl_1200 -__nl_1201 -__nl_1202 -__nl_1203 -__nl_1204 -__nl_1205 -__nl_1206 -__nl_1207 -__nl_1208 -__nl_1209 -__nl_1210 -__nl_1211 -__nl_1212 -__nl_1213 -__nl_1214 -__nl_1215 -__nl_1216 -__nl_1217 -__nl_1218 -__nl_1219 -__nl_1220 -__nl_1221 -__nl_1222 -__nl_1223 -__nl_1224 -__nl_1225 -__nl_1226 -__nl_1227 -__nl_1228 -__nl_1229 -__nl_1230 -__nl_1231 -__nl_1232 -__nl_1233 -__nl_1234 -__nl_1235 -__nl_1236 -__nl_1237 -__nl_1238 -__nl_1239 -__nl_1240 -__nl_1241 -__nl_1242 -__nl_1243 -__nl_1244 -__nl_1245 -__nl_1246 -__nl_1247 -__nl_1248 -__nl_1249 -__nl_1250 -__nl_1251 -__nl_1252 -__nl_1253 -__nl_1254 -__nl_1255 -__nl_1256 -__nl_1257 -__nl_1258 -__nl_1259 -__nl_1260 -__nl_1261 -__nl_1262 -__nl_1263 -__nl_1264 -__nl_1265 -__nl_1266 -__nl_1267 -__nl_1268 -__nl_1269 -__nl_1270 -__nl_1271 -__nl_1272 -__nl_1273 -__nl_1274 -__nl_1275 -__nl_1276 -__nl_1277 -__nl_1278 -__nl_1279 -__nl_1280 -__nl_1281 -__nl_1282 -__nl_1283 -__nl_1284 -__nl_1285 -__nl_1286 -__nl_1287 -__nl_1288 -__nl_1289 -__nl_1290 -__nl_1291 -__nl_1292 -__nl_1293 -__nl_1294 -__nl_1295 -__nl_1296 -__nl_1297 -__nl_1298 -__nl_1299 -__nl_1300 -__nl_1301 -__nl_1302 -__nl_1303 -__nl_1304 -__nl_1305 -__nl_1306 -__nl_1307 -__nl_1308 -__nl_1309 -__nl_1310 -__nl_1311 -__nl_1312 -__nl_1313 -__nl_1314 -__nl_1315 -__nl_1316 -__nl_1317 -__nl_1318 -__nl_1319 -__nl_1320 -__nl_1321 -__nl_1322 -__nl_1323 -__nl_1324 -__nl_1325 -__nl_1326 -__nl_1327 -__nl_1328 -__nl_1329 -__nl_1330 -__nl_1331 -__nl_1332 -__nl_1333 -__nl_1334 -__nl_1335 -__nl_1336 -__nl_1337 -__nl_1338 -__nl_1339 -__nl_1340 -__nl_1341 -__nl_1342 -__nl_1343 -__nl_1344 -__nl_1345 -__nl_1346 -__nl_1347 -__nl_1348 -__nl_1349 -__nl_1350 -__nl_1351 -__nl_1352 -__nl_1353 -__nl_1354 -__nl_1355 -__nl_1356 -__nl_1357 -__nl_1358 -__nl_1359 -__nl_1360 -__nl_1361 -__nl_1362 -__nl_1363 -__nl_1364 -__nl_1365 -__nl_1366 -__nl_1367 -__nl_1368 -__nl_1369 -__nl_1370 -__nl_1371 -__nl_1372 -__nl_1373 -__nl_1374 -__nl_1375 -__nl_1376 -__nl_1377 -__nl_1378 -__nl_1379 -__nl_1380 -__nl_1381 -__nl_1382 -__nl_1383 -__nl_1384 -__nl_1385 -__nl_1386 -__nl_1387 -__nl_1388 -__nl_1389 -__nl_1390 -__nl_1391 -__nl_1392 -__nl_1393 -__nl_1394 -__nl_1395 -__nl_1396 -__nl_1397 -__nl_1398 -__nl_1399 -__nl_1400 -__nl_1401 -__nl_1402 -__nl_1403 -__nl_1404 -__nl_1405 -__nl_1406 -__nl_1407 -__nl_1408 -__nl_1409 -__nl_1410 -__nl_1411 -__nl_1412 -__nl_1413 -__nl_1414 -__nl_1415 -__nl_1416 -__nl_1417 -__nl_1418 -__nl_1419 -__nl_1420 -__nl_1421 -__nl_1422 -__nl_1423 -__nl_1424 -__nl_1425 -__nl_1426 -__nl_1427 -__nl_1428 -__nl_1429 -__nl_1430 -__nl_1431 -__nl_1432 -__nl_1433 -__nl_1434 -__nl_1435 -__nl_1436 -__nl_1437 -__nl_1438 -__nl_1439 -__nl_1440 -__nl_1441 -__nl_1442 -__nl_1443 -__nl_1444 -__nl_1445 -__nl_1446 -__nl_1447 -__nl_1448 -__nl_1449 -__nl_1450 -__nl_1451 -__nl_1452 -__nl_1453 -__nl_1454 -__nl_1455 -__nl_1456 -__nl_1457 -__nl_1458 -__nl_1459 -__nl_1460 -__nl_1461 -__nl_1462 -__nl_1463 -__nl_1464 -__nl_1465 -__nl_1466 -__nl_1467 -__nl_1468 -__nl_1469 -__nl_1470 -__nl_1471 -__nl_1472 -__nl_1473 -__nl_1474 -__nl_1475 -__nl_1476 -__nl_1477 -__nl_1478 -__nl_1479 -__nl_1480 -__nl_1481 -__nl_1482 -__nl_1483 -__nl_1484 -__nl_1485 -__nl_1486 -__nl_1487 -__nl_1488 -__nl_1489 -__nl_1490 -__nl_1491 -__nl_1492 -__nl_1493 -__nl_1494 -__nl_1495 -__nl_1496 -__nl_1497 -__nl_1498 -__nl_1499 -__nl_1500 -__nl_1501 -__nl_1502 -__nl_1503 -__nl_1504 -__nl_1505 -__nl_1506 -__nl_1507 -__nl_1508 -__nl_1509 -__nl_1510 -__nl_1511 -__nl_1512 -__nl_1513 -__nl_1514 -__nl_1515 -__nl_1516 -__nl_1517 -__nl_1518 -__nl_1519 -__nl_1520 -__nl_1521 -__nl_1522 -__nl_1523 -__nl_1524 -__nl_1525 -__nl_1526 -__nl_1527 -__nl_1528 -__nl_1529 -__nl_1530 -__nl_1531 -__nl_1532 -__nl_1533 -__nl_1534 -__nl_1535 -__nl_1536 -__nl_1537 -__nl_1538 -__nl_1539 -__nl_1540 -__nl_1541 -__nl_1542 -__nl_1543 -__nl_1544 -__nl_1545 -__nl_1546 -__nl_1547 -__nl_1548 -__nl_1549 -__nl_1550 -__nl_1551 -__nl_1552 -__nl_1553 -__nl_1554 -__nl_1555 -__nl_1556 -__nl_1557 -__nl_1558 -__nl_1559 -__nl_1560 -__nl_1561 -__nl_1562 -__nl_1563 -__nl_1564 -__nl_1565 -__nl_1566 -__nl_1567 -__nl_1568 -__nl_1569 -__nl_1570 -__nl_1571 -__nl_1572 -__nl_1573 -__nl_1574 -__nl_1575 -__nl_1576 -__nl_1577 -__nl_1578 -__nl_1579 -__nl_1580 -__nl_1581 -__nl_1582 -__nl_1583 -__nl_1584 -__nl_1585 -__nl_1586 -__nl_1587 -__nl_1588 -__nl_1589 -__nl_1590 -__nl_1591 -__nl_1592 -__nl_1593 -__nl_1594 -__nl_1595 -__nl_1596 -__nl_1597 -__nl_1598 -__nl_1599 -__nl_1600 -__nl_1601 -__nl_1602 -__nl_1603 -__nl_1604 -__nl_1605 -__nl_1606 -__nl_1607 -__nl_1608 -__nl_1609 -__nl_1610 -__nl_1611 -__nl_1612 -__nl_1613 -__nl_1614 -__nl_1615 -__nl_1616 -__nl_1617 -__nl_1618 -__nl_1619 -__nl_1620 -__nl_1621 -__nl_1622 -__nl_1623 -__nl_1624 -__nl_1625 -__nl_1626 -__nl_1627 -__nl_1628 -__nl_1629 -__nl_1630 -__nl_1631 -__nl_1632 -__nl_1633 -__nl_1634 -__nl_1635 -__nl_1636 -__nl_1637 -__nl_1638 -__nl_1639 -__nl_1640 -__nl_1641 -__nl_1642 -__nl_1643 -__nl_1644 -__nl_1645 -__nl_1646 -__nl_1647 -__nl_1648 -__nl_1649 -__nl_1650 -__nl_1651 -__nl_1652 -__nl_1653 -__nl_1654 -__nl_1655 -__nl_1656 -__nl_1657 -__nl_1658 -__nl_1659 -__nl_1660 -__nl_1661 -__nl_1662 -__nl_1663 -__nl_1664 -__nl_1665 -__nl_1666 -__nl_1667 -__nl_1668 -__nl_1669 -__nl_1670 -__nl_1671 -__nl_1672 -__nl_1673 -__nl_1674 -__nl_1675 -__nl_1676 -__nl_1677 -__nl_1678 -__nl_1679 -__nl_1680 -__nl_1681 -__nl_1682 -__nl_1683 -__nl_1684 -__nl_1685 -__nl_1686 -__nl_1687 -__nl_1688 -__nl_1689 -__nl_1690 -__nl_1691 -__nl_1692 -__nl_1693 -__nl_1694 -__nl_1695 -__nl_1696 -__nl_1697 -__nl_1698 -__nl_1699 -__nl_1700 -__nl_1701 -__nl_1702 -__nl_1703 -__nl_1704 -__nl_1705 -__nl_1706 -__nl_1707 -__nl_1708 -__nl_1709 -__nl_1710 -__nl_1711 -__nl_1712 -__nl_1713 -__nl_1714 -__nl_1715 -__nl_1716 -__nl_1717 -__nl_1718 -__nl_1719 -__nl_1720 -__nl_1721 -__nl_1722 -__nl_1723 -__nl_1724 -__nl_1725 -__nl_1726 -__nl_1727 -__nl_1728 -__nl_1729 -__nl_1730 -__nl_1731 -__nl_1732 -__nl_1733 -__nl_1734 -__nl_1735 -__nl_1736 -__nl_1737 -__nl_1738 -__nl_1739 -__nl_1740 -__nl_1741 -__nl_1742 -__nl_1743 -__nl_1744 -__nl_1745 -__nl_1746 -__nl_1747 -__nl_1748 -__nl_1749 -__nl_1750 -__nl_1751 -__nl_1752 -__nl_1753 -__nl_1754 -__nl_1755 -__nl_1756 -__nl_1757 -__nl_1758 -__nl_1759 -__nl_1760 -__nl_1761 -__nl_1762 -__nl_1763 -__nl_1764 -__nl_1765 -__nl_1766 -__nl_1767 -__nl_1768 -__nl_1769 -__nl_1770 -__nl_1771 -__nl_1772 -__nl_1773 -__nl_1774 -__nl_1775 -__nl_1776 -__nl_1777 -__nl_1778 -__nl_1779 -__nl_1780 -__nl_1781 -__nl_1782 -__nl_1783 -__nl_1784 -__nl_1785 -__nl_1786 -__nl_1787 -__nl_1788 -__nl_1789 -__nl_1790 -__nl_1791 -__nl_1792 -__nl_1793 -__nl_1794 -__nl_1795 -__nl_1796 -__nl_1797 -__nl_1798 -__nl_1799 -__nl_1800 -__nl_1801 -__nl_1802 -__nl_1803 -__nl_1804 -__nl_1805 -__nl_1806 -__nl_1807 -__nl_1808 -__nl_1809 -__nl_1810 -__nl_1811 -__nl_1812 -__nl_1813 -__nl_1814 -__nl_1815 -__nl_1816 -__nl_1817 -__nl_1818 -__nl_1819 -__nl_1820 -__nl_1821 -__nl_1822 -__nl_1823 -__nl_1824 -__nl_1825 -__nl_1826 -__nl_1827 -__nl_1828 -__nl_1829 -__nl_1830 -__nl_1831 -__nl_1832 -__nl_1833 -__nl_1834 -__nl_1835 -__nl_1836 -__nl_1837 -__nl_1838 -__nl_1839 -__nl_1840 -__nl_1841 -__nl_1842 -__nl_1843 -__nl_1844 -__nl_1845 -__nl_1846 -__nl_1847 -__nl_1848 -__nl_1849 -__nl_1850 -__nl_1851 -__nl_1852 -__nl_1853 -__nl_1854 -__nl_1855 -__nl_1856 -__nl_1857 -__nl_1858 -__nl_1859 -__nl_1860 -__nl_1861 -__nl_1862 -__nl_1863 -__nl_1864 -__nl_1865 -__nl_1866 -__nl_1867 -__nl_1868 -__nl_1869 -__nl_1870 -__nl_1871 -__nl_1872 -__nl_1873 -__nl_1874 -__nl_1875 -__nl_1876 -__nl_1877 -__nl_1878 -__nl_1879 -__nl_1880 -__nl_1881 -__nl_1882 -__nl_1883 -__nl_1884 -__nl_1885 -__nl_1886 -__nl_1887 -__nl_1888 -__nl_1889 -__nl_1890 -__nl_1891 -__nl_1892 -__nl_1893 -__nl_1894 -__nl_1895 -__nl_1896 -__nl_1897 -__nl_1898 -__nl_1899 -__nl_1900 -__nl_1901 -__nl_1902 -__nl_1903 -__nl_1904 -__nl_1905 -__nl_1906 -__nl_1907 -__nl_1908 -__nl_1909 -__nl_1910 -__nl_1911 -__nl_1912 -__nl_1913 -__nl_1914 -__nl_1915 -__nl_1916 -__nl_1917 -__nl_1918 -__nl_1919 -__nl_1920 -__nl_1921 -__nl_1922 -__nl_1923 -__nl_1924 -__nl_1925 -__nl_1926 -__nl_1927 -__nl_1928 -__nl_1929 -__nl_1930 -__nl_1931 -__nl_1932 -__nl_1933 -__nl_1934 -__nl_1935 -__nl_1936 -__nl_1937 -__nl_1938 -__nl_1939 -__nl_1940 -__nl_1941 -__nl_1942 -__nl_1943 -__nl_1944 -__nl_1945 -__nl_1946 -__nl_1947 -__nl_1948 -__nl_1949 -__nl_1950 -__nl_1951 -__nl_1952 -__nl_1953 -__nl_1954 -__nl_1955 -__nl_1956 -__nl_1957 -__nl_1958 -__nl_1959 -__nl_1960 -__nl_1961 -__nl_1962 -__nl_1963 -__nl_1964 -__nl_1965 -__nl_1966 -__nl_1967 -__nl_1968 -__nl_1969 -__nl_1970 -__nl_1971 -__nl_1972 -__nl_1973 -__nl_1974 -__nl_1975 -__nl_1976 -__nl_1977 -__nl_1978 -__nl_1979 -__nl_1980 -__nl_1981 -__nl_1982 -__nl_1983 -__nl_1984 -__nl_1985 -__nl_1986 -__nl_1987 -__nl_1988 -__nl_1989 -__nl_1990 -__nl_1991 -__nl_1992 -__nl_1993 -__nl_1994 -__nl_1995 -__nl_1996 -__nl_1997 -__nl_1998 -__nl_1999 -__nl_2000 -__nl_2001 -__nl_2002 -__nl_2003 -__nl_2004 -__nl_2005 -__nl_2006 -__nl_2007 -__nl_2008 -__nl_2009 -__nl_2010 -__nl_2011 -__nl_2012 -__nl_2013 -__nl_2014 -__nl_2015 -__nl_2016 -__nl_2017 -__nl_2018 -__nl_2019 -__nl_2020 -__nl_2021 -__nl_2022 -__nl_2023 -__nl_2024 -__nl_2025 -__nl_2026 -__nl_2027 -__nl_2028 -__nl_2029 -__nl_2030 -__nl_2031 -__nl_2032 -__nl_2033 -__nl_2034 -__nl_2035 -__nl_2036 -__nl_2037 -__nl_2038 -__nl_2039 -__nl_2040 -__nl_2041 -__nl_2042 -__nl_2043 -__nl_2044 -__nl_2045 -__nl_2046 -__nl_2047 -__nl_2048 -__nl_2049 -__nl_2050 -__nl_2051 -__nl_2052 -__nl_2053 -__nl_2054 -__nl_2055 -__nl_2056 -__nl_2057 -__nl_2058 -__nl_2059 -__nl_2060 -__nl_2061 -__nl_2062 -__nl_2063 -__nl_2064 -__nl_2065 -__nl_2066 -__nl_2067 -__nl_2068 -__nl_2069 -__nl_2070 -__nl_2071 -__nl_2072 -__nl_2073 -__nl_2074 -__nl_2075 -__nl_2076 -__nl_2077 -__nl_2078 -__nl_2079 -__nl_2080 -__nl_2081 -__nl_2082 -__nl_2083 -__nl_2084 -__nl_2085 -__nl_2086 -__nl_2087 -__nl_2088 -__nl_2089 -__nl_2090 -__nl_2091 -__nl_2092 -__nl_2093 -__nl_2094 -__nl_2095 -__nl_2096 -__nl_2097 -__nl_2098 -__nl_2099 -__nl_2100 -__nl_2101 -__nl_2102 -__nl_2103 -__nl_2104 -__nl_2105 -__nl_2106 -__nl_2107 -__nl_2108 -__nl_2109 -__nl_2110 -__nl_2111 -__nl_2112 -__nl_2113 -__nl_2114 -__nl_2115 -__nl_2116 -__nl_2117 -__nl_2118 -__nl_2119 -__nl_2120 -__nl_2121 -__nl_2122 -__nl_2123 -__nl_2124 -__nl_2125 -__nl_2126 -__nl_2127 -__nl_2128 -__nl_2129 -__nl_2130 -__nl_2131 -__nl_2132 -__nl_2133 -__nl_2134 -__nl_2135 -__nl_2136 -__nl_2137 -__nl_2138 -__nl_2139 -__nl_2140 -__nl_2141 -__nl_2142 -__nl_2143 -__nl_2144 -__nl_2145 -__nl_2146 -__nl_2147 -__nl_2148 -__nl_2149 -__nl_2150 -__nl_2151 -__nl_2152 -__nl_2153 -__nl_2154 -__nl_2155 -__nl_2156 -__nl_2157 -__nl_2158 -__nl_2159 -__nl_2160 -__nl_2161 -__nl_2162 -__nl_2163 -__nl_2164 -__nl_2165 -__nl_2166 -__nl_2167 -__nl_2168 -__nl_2169 -__nl_2170 -__nl_2171 -__nl_2172 -__nl_2173 -__nl_2174 -__nl_2175 -__nl_2176 -__nl_2177 -__nl_2178 -__nl_2179 -__nl_2180 -__nl_2181 -__nl_2182 -__nl_2183 -__nl_2184 -__nl_2185 -__nl_2186 -__nl_2187 -__nl_2188 -__nl_2189 -__nl_2190 -__nl_2191 -__nl_2192 -__nl_2193 -__nl_2194 -__nl_2195 -__nl_2196 -__nl_2197 -__nl_2198 -__nl_2199 -__nl_2200 -__nl_2201 -__nl_2202 -__nl_2203 -__nl_2204 -__nl_2205 -__nl_2206 -__nl_2207 -__nl_2208 -__nl_2209 -__nl_2210 -__nl_2211 -__nl_2212 -__nl_2213 -__nl_2214 -__nl_2215 -__nl_2216 -__nl_2217 -__nl_2218 -__nl_2219 -__nl_2220 -__nl_2221 -__nl_2222 -__nl_2223 -__nl_2224 -__nl_2225 -__nl_2226 -__nl_2227 -__nl_2228 -__nl_2229 -__nl_2230 -__nl_2231 -__nl_2232 -__nl_2233 -__nl_2234 -__nl_2235 -__nl_2236 -__nl_2237 -__nl_2238 -__nl_2239 -__nl_2240 -__nl_2241 -__nl_2242 -__nl_2243 -__nl_2244 -__nl_2245 -__nl_2246 -__nl_2247 -__nl_2248 -__nl_2249 -__nl_2250 -__nl_2251 -__nl_2252 -__nl_2253 -__nl_2254 -__nl_2255 -__nl_2256 -__nl_2257 -__nl_2258 -__nl_2259 -__nl_2260 -__nl_2261 -__nl_2262 -__nl_2263 -__nl_2264 -__nl_2265 -__nl_2266 -__nl_2267 -__nl_2268 -__nl_2269 -__nl_2270 -__nl_2271 -__nl_2272 -__nl_2273 -__nl_2274 -__nl_2275 -__nl_2276 -__nl_2277 -__nl_2278 -__nl_2279 -__nl_2280 -__nl_2281 -__nl_2282 -__nl_2283 -__nl_2284 -__nl_2285 -__nl_2286 -__nl_2287 -__nl_2288 -__nl_2289 -__nl_2290 -__nl_2291 -__nl_2292 -__nl_2293 -__nl_2294 -__nl_2295 -__nl_2296 -__nl_2297 -__nl_2298 -__nl_2299 -__nl_2300 -__nl_2301 -__nl_2302 -__nl_2303 -__nl_2304 -__nl_2305 -__nl_2306 -__nl_2307 -__nl_2308 -__nl_2309 -__nl_2310 -__nl_2311 -__nl_2312 -__nl_2313 -__nl_2314 -__nl_2315 -__nl_2316 -__nl_2317 -__nl_2318 -__nl_2319 -__nl_2320 -__nl_2321 -__nl_2322 -__nl_2323 -__nl_2324 -__nl_2325 -__nl_2326 -__nl_2327 -__nl_2328 -__nl_2329 -__nl_2330 -__nl_2331 -__nl_2332 -__nl_2333 -__nl_2334 -__nl_2335 -__nl_2336 -__nl_2337 -__nl_2338 -__nl_2339 -__nl_2340 -__nl_2341 -__nl_2342 -__nl_2343 -__nl_2344 -__nl_2345 -__nl_2346 -__nl_2347 -__nl_2348 -__nl_2349 -__nl_2350 -__nl_2351 -__nl_2352 -__nl_2353 -__nl_2354 -__nl_2355 -__nl_2356 -__nl_2357 -__nl_2358 -__nl_2359 -__nl_2360 -__nl_2361 -__nl_2362 -__nl_2363 -__nl_2364 -__nl_2365 -__nl_2366 -__nl_2367 -__nl_2368 -__nl_2369 -__nl_2370 -__nl_2371 -__nl_2372 -__nl_2373 -__nl_2374 -__nl_2375 -__nl_2376 -__nl_2377 -__nl_2378 -__nl_2379 -__nl_2380 -__nl_2381 -__nl_2382 -__nl_2383 -__nl_2384 -__nl_2385 -__nl_2386 -__nl_2387 -__nl_2388 -__nl_2389 -__nl_2390 -__nl_2391 -__nl_2392 -__nl_2393 -__nl_2394 -__nl_2395 -__nl_2396 -__nl_2397 -__nl_2398 -__nl_2399 -__nl_2400 -__nl_2401 -__nl_2402 -__nl_2403 -__nl_2404 -__nl_2405 -__nl_2406 -__nl_2407 -__nl_2408 -__nl_2409 -__nl_2410 -__nl_2411 -__nl_2412 -__nl_2413 -__nl_2414 -__nl_2415 -__nl_2416 -__nl_2417 -__nl_2418 -__nl_2419 -__nl_2420 -__nl_2421 -__nl_2422 -__nl_2423 -__nl_2424 -__nl_2425 -__nl_2426 -__nl_2427 -__nl_2428 -__nl_2429 -__nl_2430 -__nl_2431 -__nl_2432 -__nl_2433 -__nl_2434 -__nl_2435 -__nl_2436 -__nl_2437 -__nl_2438 -__nl_2439 -__nl_2440 -__nl_2441 -__nl_2442 -__nl_2443 -__nl_2444 -__nl_2445 -__nl_2446 -__nl_2447 -__nl_2448 -__nl_2449 -__nl_2450 -__nl_2451 -__nl_2452 -__nl_2453 -__nl_2454 -__nl_2455 -__nl_2456 -__nl_2457 -__nl_2458 -__nl_2459 -__nl_2460 -__nl_2461 -__nl_2462 -__nl_2463 -__nl_2464 -__nl_2465 -__nl_2466 -__nl_2467 -__nl_2468 -__nl_2469 -__nl_2470 -__nl_2471 -__nl_2472 -__nl_2473 -__nl_2474 -__nl_2475 -__nl_2476 -__nl_2477 -__nl_2478 -__nl_2479 -__nl_2480 -__nl_2481 -__nl_2482 -__nl_2483 -__nl_2484 -__nl_2485 -__nl_2486 -__nl_2487 -__nl_2488 -__nl_2489 -__nl_2490 -__nl_2491 -__nl_2492 -__nl_2493 -__nl_2494 -__nl_2495 -__nl_2496 -__nl_2497 -__nl_2498 -__nl_2499 -__nl_2500 -__nl_2501 -__nl_2502 -__nl_2503 -__nl_2504 -__nl_2505 -__nl_2506 -__nl_2507 -__nl_2508 -__nl_2509 -__nl_2510 -__nl_2511 -__nl_2512 -__nl_2513 -__nl_2514 -__nl_2515 -__nl_2516 -__nl_2517 -__nl_2518 -__nl_2519 -__nl_2520
ERROR: variable expected in interpretation !_
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2675853-1277135349/watcher-2675853-1277135349 -o /tmp/evaluation-result-2675853-1277135349/solver-2675853-1277135349 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675853-1277135349.opb 1326611889 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.01 0.97 0.85 3/106 10471 /proc/meminfo: memFree=1524012/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=16708 CPUtime=0 /proc/10471/stat : 10471 (python) R 10469 10471 10098 0 -1 4202496 723 0 0 0 0 0 0 0 19 0 1 0 89138949 17108992 489 1992294400 4194304 4196484 140734840329552 18446744073709551615 248552829637 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/10471/statm: 4177 493 272 1 0 273 0 [startup+0.0715739 s] /proc/loadavg: 1.01 0.97 0.85 3/106 10471 /proc/meminfo: memFree=1524012/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=18488 CPUtime=0.05 /proc/10471/stat : 10471 (python) S 10469 10471 10098 0 -1 4202496 2066 0 0 0 3 2 0 0 17 0 1 0 89138949 18931712 1068 1992294400 4194304 4196484 140734733498976 18446744073709551615 248553164645 0 2147483391 16781312 2 18446744071699387582 0 0 17 0 0 0 0 /proc/10471/statm: 4622 1068 423 1 0 602 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 18488 [startup+0.104943 s] /proc/loadavg: 1.01 0.97 0.85 3/106 10471 /proc/meminfo: memFree=1524012/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=32152 CPUtime=0.07 /proc/10471/stat : 10471 (python) R 10469 10471 10098 0 -1 4202496 2411 0 0 0 4 3 0 0 17 0 1 0 89138949 32923648 1389 1992294400 4194304 4196484 140734733498976 18446744073709551615 47888629844514 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/10471/statm: 8038 1389 459 1 0 910 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 32152 [startup+0.300943 s] /proc/loadavg: 1.01 0.97 0.85 3/106 10471 /proc/meminfo: memFree=1524012/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=70592 CPUtime=0.22 /proc/10471/stat : 10471 (python) S 10469 10471 10098 0 -1 4202496 3959 0 0 0 14 8 0 0 17 0 1 0 89138949 72286208 2796 1992294400 4194304 4196484 140734733498976 18446744073709551615 248553166848 0 2147483391 16781312 2 18446744071699387582 0 0 17 0 0 0 0 /proc/10471/statm: 17648 2796 693 1 0 2135 0 Current children cumulated CPU time (s) 0.22 Current children cumulated vsize (KiB) 70592 [startup+0.700944 s] /proc/loadavg: 1.01 0.97 0.85 3/106 10471 /proc/meminfo: memFree=1524012/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=98784 CPUtime=0.5 /proc/10471/stat : 10471 (python) R 10469 10471 10098 0 -1 4202496 4865 0 0 0 30 20 0 0 16 0 1 0 89138949 101154816 3579 1992294400 4194304 4196484 140734733498976 18446744073709551615 248553164805 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/10471/statm: 24696 3579 1022 1 0 2553 0 Current children cumulated CPU time (s) 0.5 Current children cumulated vsize (KiB) 98784 [startup+1.50094 s] /proc/loadavg: 1.01 0.97 0.85 2/107 10476 /proc/meminfo: memFree=1507140/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=119644 CPUtime=1.01 /proc/10471/stat : 10471 (python) R 10469 10471 10098 0 -1 4202496 9056 927 0 0 68 33 0 0 16 0 1 0 89138949 122515456 6184 1992294400 4194304 4196484 140734733498976 18446744073709551615 47888629999053 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/10471/statm: 29911 6185 1063 1 0 5165 0 Current children cumulated CPU time (s) 1.01 Current children cumulated vsize (KiB) 119644 [startup+3.10094 s] /proc/loadavg: 0.92 0.95 0.84 3/108 10483 /proc/meminfo: memFree=1501304/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=134108 CPUtime=1.82 /proc/10471/stat : 10471 (python) S 10469 10471 10098 0 -1 4202496 12806 3811 0 0 133 44 2 3 16 0 1 0 89138949 137326592 6332 1992294400 4194304 4196484 140734733498976 18446744073709551615 248553188879 0 0 16781312 2 2879605736076181760 0 0 17 1 0 0 0 /proc/10471/statm: 33527 6332 1143 1 0 5164 0 [pid=10483] ppid=10471 vsize=6840 CPUtime=1.13 /proc/10483/stat : 10483 (wbo1.4a) R 10471 10483 10483 0 -1 4202496 1595 0 0 0 112 1 0 0 22 0 1 0 89139145 7004160 1268 1992294400 134512640 135751879 4286721456 18446744073709551615 134517414 0 0 16781312 3 0 0 0 17 0 0 0 0 /proc/10483/statm: 1710 1268 139 303 0 1405 0 Current children cumulated CPU time (s) 2.95 Current children cumulated vsize (KiB) 140948 [startup+6.30195 s] /proc/loadavg: 0.92 0.95 0.84 3/108 10483 /proc/meminfo: memFree=1493740/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=134108 CPUtime=2.06 /proc/10471/stat : 10471 (python) S 10469 10471 10098 0 -1 4202496 12822 3811 0 0 155 46 2 3 15 0 1 0 89138949 137326592 6332 1992294400 4194304 4196484 140734733498976 18446744073709551615 248553188879 0 0 16781312 2 159836005329808269 0 0 17 1 0 0 0 /proc/10471/statm: 33527 6332 1143 1 0 5164 0 [pid=10483] ppid=10471 vsize=11904 CPUtime=4.33 /proc/10483/stat : 10483 (wbo1.4a) R 10471 10483 10483 0 -1 4202496 2837 0 0 0 430 3 0 0 25 0 1 0 89139145 12189696 2510 1992294400 134512640 135751879 4286721456 18446744073709551615 134616492 0 0 16781312 3 0 0 0 17 0 0 0 0 /proc/10483/statm: 2976 2510 139 303 0 2671 0 Current children cumulated CPU time (s) 6.39 Current children cumulated vsize (KiB) 146012 [startup+12.7009 s] /proc/loadavg: 0.94 0.95 0.85 2/108 10483 /proc/meminfo: memFree=1481472/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=134108 CPUtime=2.47 /proc/10471/stat : 10471 (python) S 10469 10471 10098 0 -1 4202496 12836 3811 0 0 191 51 2 3 15 0 1 0 89138949 137326592 6332 1992294400 4194304 4196484 140734733498976 18446744073709551615 248553188879 0 0 16781312 2 159836005329808269 0 0 17 1 0 0 0 /proc/10471/statm: 33527 6332 1143 1 0 5164 0 [pid=10483] ppid=10471 vsize=24036 CPUtime=10.73 /proc/10483/stat : 10483 (wbo1.4a) R 10471 10483 10483 0 -1 4202496 5859 0 0 0 1065 8 0 0 25 0 1 0 89139145 24612864 5532 1992294400 134512640 135751879 4286721456 18446744073709551615 134517421 0 0 16781312 3 0 0 0 17 1 0 0 0 /proc/10483/statm: 6009 5532 139 303 0 5704 0 Current children cumulated CPU time (s) 13.2 Current children cumulated vsize (KiB) 158144 [startup+25.501 s] /proc/loadavg: 0.95 0.96 0.85 2/108 10483 /proc/meminfo: memFree=1466344/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=134108 CPUtime=3.3 /proc/10471/stat : 10471 (python) S 10469 10471 10098 0 -1 4202496 12860 3811 0 0 264 61 2 3 16 0 1 0 89138949 137326592 6332 1992294400 4194304 4196484 140734733498976 18446744073709551615 248553188879 0 0 16781312 2 159836005329808269 0 0 17 1 0 0 0 /proc/10471/statm: 33527 6332 1143 1 0 5164 0 [pid=10483] ppid=10471 vsize=38860 CPUtime=23.52 /proc/10483/stat : 10483 (wbo1.4a) R 10471 10483 10483 0 -1 4202496 9557 0 0 0 2337 15 0 0 25 0 1 0 89139145 39792640 9230 1992294400 134512640 135751879 4286721456 18446744073709551615 134616516 0 0 16781312 3 0 0 0 17 0 0 0 0 /proc/10483/statm: 9715 9230 139 303 0 9410 0 Current children cumulated CPU time (s) 26.82 Current children cumulated vsize (KiB) 172968 Solver just ended. Dumping a history of the last processes samples [startup+27.101 s] /proc/loadavg: 0.95 0.96 0.85 3/108 10483 /proc/meminfo: memFree=1465848/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=134108 CPUtime=3.4 /proc/10471/stat : 10471 (python) S 10469 10471 10098 0 -1 4202496 12864 3811 0 0 273 62 2 3 16 0 1 0 89138949 137326592 6332 1992294400 4194304 4196484 140734733498976 18446744073709551615 248553188879 0 0 16781312 2 159836005329808269 0 0 17 1 0 0 0 /proc/10471/statm: 33527 6332 1143 1 0 5164 0 [pid=10483] ppid=10471 vsize=40688 CPUtime=25.12 /proc/10483/stat : 10483 (wbo1.4a) R 10471 10483 10483 0 -1 4202496 10010 0 0 0 2496 16 0 0 25 0 1 0 89139145 41664512 9683 1992294400 134512640 135751879 4286721456 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0 /proc/10483/statm: 10172 9683 139 303 0 9867 0 Current children cumulated CPU time (s) 28.52 Current children cumulated vsize (KiB) 174796 [startup+28.701 s] /proc/loadavg: 0.95 0.96 0.85 2/108 10483 /proc/meminfo: memFree=1459276/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=134108 CPUtime=3.5 /proc/10471/stat : 10471 (python) S 10469 10471 10098 0 -1 4202496 12866 3811 0 0 281 64 2 3 16 0 1 0 89138949 137326592 6332 1992294400 4194304 4196484 140734733498976 18446744073709551615 248553188879 0 0 16781312 2 159836005329808269 0 0 17 1 0 0 0 /proc/10471/statm: 33527 6332 1143 1 0 5164 0 [pid=10483] ppid=10471 vsize=46220 CPUtime=26.72 /proc/10483/stat : 10483 (wbo1.4a) R 10471 10483 10483 0 -1 4202496 11406 0 0 0 2653 19 0 0 25 0 1 0 89139145 47329280 11079 1992294400 134512640 135751879 4286721456 18446744073709551615 135270609 0 0 16781312 3 0 0 0 17 0 0 0 0 /proc/10483/statm: 11555 11079 139 303 0 11250 0 Current children cumulated CPU time (s) 30.22 Current children cumulated vsize (KiB) 180328 [startup+29.1014 s] /proc/loadavg: 0.95 0.96 0.85 2/108 10483 /proc/meminfo: memFree=1459276/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=134108 CPUtime=3.65 /proc/10471/stat : 10471 (python) R 10469 10471 10098 0 -1 4202496 12880 3811 0 0 295 65 2 3 16 0 1 0 89138949 137326592 6335 1992294400 4194304 4196484 140734733498976 18446744073709551615 248553212039 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/10471/statm: 33527 6335 1143 1 0 5164 0 [pid=10483] ppid=10471 vsize=47508 CPUtime=26.99 /proc/10483/stat : 10483 (wbo1.4a) S 10471 10483 10483 0 -1 4202496 11731 0 0 0 2680 19 0 0 24 0 1 0 89139145 48648192 11404 1992294400 134512640 135751879 4286721456 18446744073709551615 135269054 0 0 16781312 3 18446744071562174617 0 0 17 0 0 0 0 /proc/10483/statm: 11877 11404 139 303 0 11572 0 Current children cumulated CPU time (s) 30.64 Current children cumulated vsize (KiB) 181616 [startup+29.3015 s] /proc/loadavg: 0.95 0.96 0.85 2/108 10483 /proc/meminfo: memFree=1459276/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=134108 CPUtime=3.85 /proc/10471/stat : 10471 (python) R 10469 10471 10098 0 -1 4202496 12898 3811 0 0 313 67 2 3 16 0 1 0 89138949 137326592 6342 1992294400 4194304 4196484 140734733498976 18446744073709551615 248552853828 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/10471/statm: 33527 6342 1143 1 0 5164 0 [pid=10483] ppid=10471 vsize=0 CPUtime=27 /proc/10483/stat : 10483 (wbo1.4a) Z 10471 10483 10483 0 -1 4202524 11731 0 0 0 2680 20 0 0 23 0 1 0 89139145 0 0 1992294400 0 0 0 0 0 0 0 16781312 3 18446744073709551615 0 0 17 0 0 0 0 /proc/10483/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 30.85 Current children cumulated vsize (KiB) 134108 [startup+29.4015 s] /proc/loadavg: 0.95 0.96 0.85 2/108 10483 /proc/meminfo: memFree=1459276/2059040 swapFree=4136396/4192956 [pid=10471] ppid=10469 vsize=134264 CPUtime=30.97 /proc/10471/stat : 10471 (python) R 10469 10471 10098 0 -1 4202496 16785 16552 0 0 319 70 2683 25 16 0 1 0 89138949 137486336 6357 1992294400 4194304 4196484 140734733498976 18446744073709551615 47888630589860 0 0 16781312 0 0 0 0 17 1 0 0 0 /proc/10471/statm: 33566 6357 1143 1 0 5203 0 Current children cumulated CPU time (s) 30.97 Current children cumulated vsize (KiB) 134264 Child status: 10 Real time (s): 29.459 CPU time (s): 31.0383 CPU user time (s): 30.0784 CPU system time (s): 0.959854 CPU usage (%): 105.361 Max. virtual memory (cumulated for all children) (KiB): 181616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 30.0784 system time used= 0.959854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 34397 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 3876 involuntary context switches= 279 runsolver used 0.06399 second user time and 0.161975 second system time The end
Begin job on node001 at 2010-06-21 17:49:09 IDJOB=2675853 IDBENCH=48296 IDSOLVER=1178 FILE ID=node001/2675853-1277135349 PBS_JOBID= 11182107 Free space on /tmp= 62536 MiB SOLVER NAME= borg-pb 10.05.30 BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_10_2_15.opb COMMAND LINE= solver BENCHNAME RANDOMSEED RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2675853-1277135349/watcher-2675853-1277135349 -o /tmp/evaluation-result-2675853-1277135349/solver-2675853-1277135349 -C 1800 -W 2000 -M 1800 solver HOME/instance-2675853-1277135349.opb 1326611889 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f49920a9263bddf34ebca7927c66338e RANDOM SEED=1326611889 node001.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.202 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 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.202 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1524540 kB Buffers: 137400 kB Cached: 291160 kB SwapCached: 9148 kB Active: 232492 kB Inactive: 209176 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1524540 kB SwapTotal: 4192956 kB SwapFree: 4136396 kB Dirty: 20588 kB Writeback: 0 kB AnonPages: 11600 kB Mapped: 9232 kB Slab: 71120 kB PageTables: 3972 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183736 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62516 MiB End job on node001 at 2010-06-21 17:49:39