Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB-clasp 2007-04-10 | Wrong Cert. | 1800.08 | 1800.14 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_4.opb |
MD5SUM | efe239846afd4f2627c83cec32ebc27d |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 17 |
Best CPU time to get the best result obtained on this benchmark | 1800.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 17 |
Optimality of the best value was proved | NO |
Number of variables | 500 |
Total number of constraints | 500 |
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 | 500 |
Minimum length of a constraint | 61 |
Maximum length of a constraint | 107 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 500 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 37458 |
Sum of products size (including duplicates) | 74916 |
Number of different products | 37458 |
Sum of products size | 74916 |
8.24/8.36 o 26 10.78/10.80 o 25 13.78/13.80 o 24 18.16/18.20 o 23 55.53/55.63 o 22 72.12/72.29 o 21 1800.08/1800.11 c Somebody sent me a SIGTERM 1800.08/1800.11 s SATISFIABLE 1800.08/1800.11 v x9 x30 x109 x127 x163 x168 x215 x252 x297 x303 x308 x317 x341 x380 x387 x448 x449 x458 x479 x490 x498 x512 x540 x551 x559 x562 1800.08/1800.11 v x585 x635 x638 x682 x690 x737 x740 x744 x750 x751 x759 x795 x821 x829 x888 x889 x899 x907 x909 x917 x956 x963 x986 x992 x1000 1800.08/1800.11 v x1004 x1038 x1065 x1082 x1092 x1178 x1180 x1181 x1238 x1355 x1412 x1435 x1442 x1467 x1473 x1477 x1534 x1536 x1559 x1575 x1654 1800.08/1800.11 v x1668 x1727 x1728 x1826 x1854 x1858 x1910 x1915 x2002 x2026 x2045 x2081 x2101 x2117 x2185 x2251 x2288 x2294 x2379 x2394 x2405 1800.08/1800.11 v x2406 x2436 x2461 x2489 x2523 x2567 x2592 x2651 x2754 x2793 x2897 x2933 x2934 x2954 x2967 x2978 x2980 x3026 x3056 x3069 x3092 1800.08/1800.11 v x3098 x3131 x3141 x3159 x3170 x3192 x3197 x3323 x3355 x3371 x3385 x3391 x3445 x3479 x3487 x3504 x3520 x3610 x3620 x3622 x3650 1800.08/1800.11 v x3700 x3719 x3764 x3787 x3819 x3832 x3856 x3866 x3867 x3874 x3897 x3960 x3984 x4050 x4056 x4077 x4096 x4098 x4128 x4160 x4174 1800.08/1800.11 v x4180 x4210 x4220 x4250 x4297 x4302 x4374 x4375 x4393 x4394 x4469 x4477 x4499 x4541 x4551 x4595 x4657 x4664 x4671 x4700 x4704 1800.08/1800.11 v x4742 x4744 x4774 x4799 x4818 x4835 x4865 x4877 x4887 x4889 x4903 x4914 x4932 x4962 x5005 x5053 x5087 x5146 x5174 x5180 x5181 1800.08/1800.11 v x5193 x5270 x5281 x5283 x5313 x5363 x5381 x5409 x5515 x5562 x5565 x5573 x5575 x5583 x5611 x5640 x5687 x5711 x5722 x5743 x5746 1800.08/1800.11 v x5763 x5788 x5821 x5845 x5916 x5953 x6027 x6167 x6182 x6192 x6264 x6345 x6357 x6372 x6383 x6384 x6387 x6417 x6433 x6449 x6484 1800.08/1800.11 v x6487 x6537 x6557 x6562 x6597 x6623 x6645 x6655 x6726 x6744 x6750 x6826 x6845 x6860 x6869 x6881 x6887 x6931 x6941 x6952 x6965 1800.08/1800.11 v x7000 x7039 x7066 x7068 x7127 x7148 x7229 x7253 x7300 x7344 x7345 x7409 x7415 x7478 x7485 x7517 x7519 x7523 x7547 x7548 x7564 1800.08/1800.11 v x7606 x7632 x7635 x7648 x7733 x7734 x7745 x7747 x7759 x7763 x7768 x7817 x7822 x7846 x7851 x7874 x7892 x7899 x7962 x7980 x8025 1800.08/1800.11 v x8062 x8132 x8146 x8181 x8187 x8230 x8239 x8300 x8306 x8336 x8358 x8377 x8393 x8416 x8421 x8426 x8432 x8434 x8451 x8485 x8489 1800.08/1800.11 v x8500 x8543 x8572 x8585 x8591 x8596 x8636 x8650 x8656 x8657 x8697 x8702 x8714 x8717 x8744 x8748 x8756 x8793 x8844 x8850 x8856 1800.08/1800.11 v x8857 x8871 x8876 x8892 x8923 x8971 x9010 x9031 x9051 x9069 x9083 x9097 x9118 x9120 x9136 x9212 x9227 x9269 x9276 x9285 x9291 1800.08/1800.11 v x9334 x9340 x9352 x9417 x9454 x9476 x9553 x9597 x9606 x9620 x9643 x9676 x9695 x9699 x9787 x9800 x9803 x9825 x9860 x9866 x9867 1800.08/1800.11 v x9872 x9919 x9927 x9938 x9947 x9957 x9974 x9996 x10026 x10038 x10041 x10064 x10096 x10104 x10119 x10234 x10259 x10267 x10292 1800.08/1800.11 v x10308 x10324 x10341 x10364 x10418 x10421 x10436 x10462 x10473 x10542 x10598 x10608 x10616 x10670 x10734 x10741 x10752 1800.08/1800.11 v x10813 x10844 x10855 x10878 x10885 x10954 x11019 x11028 x11069 x11112 x11127 x11140 x11152 x11154 x11211 x11273 x11285 1800.08/1800.11 v x11291 x11301 x11353 x11391 x11403 x11474 x11517 x11539 x11578 x11593 x11606 x11632 x11757 x11767 x11775 x11801 x11853 1800.08/1800.11 v x11869 x11873 x11920 x11989 x11994 x11996 x12019 x12031 x12032 x12051 x12054 x12065 x12067 x12070 x12075 x12116 x12138 1800.08/1800.11 v x12163 x12164 x12211 x12248 x12251 x12324 x12344 x12465 x12498 x12515 x12520 x12521 x12532 x12541 x12608 x12613 x12691 1800.08/1800.11 v x12695 x12707 x12750 x12777 x12797 x12807 x12832 x12872 x12894 x12947 x12966 x12981 x13003 x13059 x13065 x13091 x13093 1800.08/1800.11 v x13133 x13142 x13161 x13206 x13224 x13299 x13300 x13307 x13310 x13337 x13444 x13472 x13501 x13540 x13577 x13599 x13607 1800.08/1800.11 v x13625 x13656 x13679 x13684 x13689 x13703 x13747 x13773 x13795 x13853 x13870 x13885 x13918 x13921 x13953 x13984 x13991 1800.08/1800.11 v x13992 x14016 x14034 x14045 x14085 x14105 x14114 x14123 x14204 x14242 x14266 x14309 x14322 x14325 x14382 x14424 x14439 1800.08/1800.11 v x14519 x14563 x14598 x14603 x14720 x14723 x14745 x14754 x14756 x14776 x14807 x14812 x14820 x14829 x14853 x14876 x14886 1800.08/1800.11 v x14933 x14941 x14957 x14961 x15064 x15133 x15198 x15229 x15258 x15262 x15280 x15358 x15359 x15374 x15415 x15435 x15456 1800.08/1800.11 v x15482 x15485 x15504 x15532 x15538 x15557 x15569 x15570 x15579 x15610 x15623 x15652 x15673 x15683 x15685 x15697 x15702 1800.08/1800.11 v x15718 x15761 x15773 x15777 x15834 x15836 x15842 x15883 x15897 x15903 x15908 x15938 x15946 x16048 x16068 x16104 x16135 1800.08/1800.11 v x16140 x16160 x16172 x16215 x16229 x16230 x16247 x16288 x16298 x16389 x16402 x16411 x16445 x16454 x16462 x16493 x16498 1800.08/1800.11 v x16550 x16557 x16603 x16663 x16673 x16676 x16677 x16718 x16724 x16774 x16784 x16839 x16847 x16851 x16912 x16918 x16927 1800.08/1800.11 v x16972 x16985 x16994 x17005 x17071 x17163 x17182 x17220 x17240 x17291 x17308 x17331 x17353 x17384 x17393 x17403 x17409 1800.08/1800.11 v x17418 x17462 x17497 x17501 x17543 x17637 x17640 x17642 x17656 x17675 x17702 x17731 x17770 x17772 x17790 x17812 x17830 1800.08/1800.11 v x17912 x17943 x17960 x17963 x18005 x18074 x18083 x18142 x18152 x18157 x18171 x18179 x18212 x18244 x18297 x18324 x18382 1800.08/1800.11 v x18399 x18474 x18531 x18595 x18605 x18765 x18796 x18825 x18831 x18834 x18880 x18885 x18892 x18899 x18906 x18916 x18941 1800.08/1800.11 v x18982 x18986 x19034 x19062 x19137 x19172 x19187 x19251 x19265 x19273 x19290 x19315 x19374 x19395 x19434 x19439 x19452 1800.08/1800.11 v x19476 x19483 x19495 x19502 x19503 x19505 x19517 x19543 x19549 x19565 x19567 x19569 x19580 x19644 x19647 x19648 x19650 1800.08/1800.11 v x19668 x19725 x19772 x19802 x19804 x19807 x19808 x19832 x19927 x19935 x19950 x20010 x20051 x20068 x20091 x20097 x20100 1800.08/1800.11 v x20130 x20165 x20222 x20272 x20277 x20307 x20332 x20391 x20446 x20479 x20496 x20499 x20517 x20528 x20538 x20573 x20632 1800.08/1800.11 v x20639 x20649 x20671 x20681 x20683 x20718 x20751 x20794 x20803 x20858 x20860 x20861 x20898 x20904 x20947 x21003 x21007 1800.08/1800.11 v x21011 x21096 x21132 x21156 x21200 x21226 x21298 x21328 x21378 x21480 x21487 x21499 x21507 x21519 x21564 x21568 x21583 1800.08/1800.11 v x21587 x21633 x21634 x21665 x21676 x21722 x21793 x21822 x21846 x21896 x21980 x21994 x22008 x22040 x22044 x22090 x22122 1800.08/1800.11 v x22133 x22147 x22153 x22177 x22187 x22192 x22199 x22200 x22250 x22320 x22331 x22332 x22395 x22401 x22430 x22480 x22491 1800.08/1800.11 v x22560 x22588 x22617 x22619 x22652 x22663 x22712 x22714 x22716 x22763 x22771 x22780 x22784 x22792 x22814 x22827 x22845 1800.08/1800.11 v x22846 x22860 x22906 x22910 x22935 x22982 x23005 x23017 x23035 x23063 x23071 x23074 x23116 x23133 x23141 x23155 x23176 1800.08/1800.11 v x23182 x23189 x23211 x23222 x23261 x23263 x23291 x23295 x23325 x23356 x23364 x23398 x23415 x23424 x23428 x23435 x23462 1800.08/1800.11 v x23468 x23484 x23564 x23588 x23625 x23663 x23696 x23727 x23789 x23791 x23801 x23878 x23879 x23895 x23926 x23927 x23954 1800.08/1800.11 v x23978 x23992 x24009 x24026 x24058 x24139 x24146 x24151 x24153 x24165 x24221 x24223 x24240 x24261 x24307 x24309 x24333 1800.08/1800.11 v x24345 x24348 x24461 x24475 x24562 x24576 x24589 x24623 x24656 x24668 x24781 x24787 x24791 x24881 x24942 x24958 x25028 1800.08/1800.11 v x25048 x25192 x25232 x25238 x25299 x25304 x25332 x25337 x25347 x25381 x25540 x25588 x25596 x25618 x25625 x25645 x25665 1800.08/1800.11 v x25696 x25715 x25758 x25764 x25771 x25787 x25791 x25842 x25845 x25863 x25916 x25926 x25937 x25956 x25981 x25982 x25990 1800.08/1800.11 v x26051 x26071 x26147 x26199 x26211 x26252 x26267 x26304 x26323 x26377 x26390 x26406 x26418 x26432 x26495 x26499 x26515 1800.08/1800.11 v x26529 x26543 x26557 x26567 x26616 x26628 x26657 x26680 x26687 x26697 x26708 x26775 x26776 x26820 x26822 x26824 x26886 1800.08/1800.11 v x26903 x26915 x26934 x26944 x26955 x26961 x26969 x26981 x27016 x27033 x27035 x27067 x27077 x27131 x27165 x27170 x27186 1800.08/1800.11 v x27189 x27217 x27233 x27293 x27298 x27338 x27375 x27403 x27423 x27446 x27447 x27453 x27472 x27487 x27490 x27492 x27531 1800.08/1800.11 v x27533 x27539 x27561 x27574 x27581 x27591 x27595 x27599 x27607 x27629 x27647 x27664 x27669 x27726 x27859 x27904 x27932 1800.08/1800.11 v x27938 x27979 x27988 x28010 x28053 x28057 x28059 x28098 x28135 x28185 x28205 x28233 x28241 x28251 x28268 x28290 x28297 1800.08/1800.11 v x28308 x28364 x28387 x28396 x28437 x28450 x28456 x28508 x28552 x28576 x28613 x28617 x28632 x28680 x28751 x28754 x28804 1800.08/1800.11 v x28829 x28875 x28883 x28887 x28895 x28928 x28958 x29024 x29072 x29098 x29115 x29139 x29151 x29154 x29157 x29160 x29190 1800.08/1800.11 v x29194 x29199 x29214 x29222 x29263 x29292 x29297 x29343 x29371 x29383 x29387 x29398 x29402 x29439 x29483 x29490 x29520 1800.08/1800.11 v x29546 x29570 x29591 x29609 x29614 x29636 x29648 x29664 x29704 x29723 x29823 x29886 x29892 x29936 x29952 x29959 x30003 1800.08/1800.11 v x30011 x30013 x30045 x30046 x30064 x30067 x30081 x30082 x30083 x30126 x30156 x30163 x30192 x30282 x30295 x30312 x30453 1800.08/1800.11 v x30459 x30489 x30526 x30563 x30608 x30615 x30655 x30669 x30675 x30695 x30745 x30763 x30771 x30793 x30795 x30813 x30922 1800.08/1800.11 v x30960 x30962 x30965 x31017 x31023 x31085 x31089 x31092 x31135 x31144 x31150 x31216 x31252 x31263 x31264 x31265 x31306 1800.08/1800.11 v x31401 x31454 x31460 x31461 x31517 x31575 x31587 x31594 x31676 x31681 x31708 x31728 x31736 x31796 x31803 x31826 x31832 1800.08/1800.11 v x31849 x31856 x31861 x31869 x31886 x31949 x31964 x31984 x31985 x31995 x31997 x32035 x32047 x32071 x32123 x32127 x32153 1800.08/1800.11 v x32169 x32175 x32183 x32185 x32216 x32232 x32241 x32252 x32286 x32345 x32408 x32410 x32434 x32506 x32529 x32541 x32568 1800.08/1800.11 v x32573 x32581 x32630 x32691 x32725 x32731 x32758 x32778 x32780 x32805 x32819 x32831 x32884 x32895 x32979 x33049 x33073 1800.08/1800.11 v x33086 x33096 x33111 x33125 x33142 x33143 x33154 x33184 x33259 x33307 x33386 x33395 x33404 x33431 x33450 x33461 x33466 1800.08/1800.11 v x33487 x33493 x33565 x33571 x33577 x33580 x33592 x33621 x33684 x33692 x33700 x33762 x33764 x33781 x33795 x33802 x33841 1800.08/1800.11 v x33846 x33848 x33860 x33909 x33911 x33913 x33928 x33974 x34004 x34073 x34096 x34114 x34123 x34134 x34165 x34178 x34184 1800.08/1800.11 v x34239 x34257 x34258 x34268 x34278 x34279 x34305 x34336 x34406 x34408 x34415 x34436 x34457 x34486 x34513 x34515 x34542 1800.08/1800.11 v x34575 x34627 x34656 x34675 x34701 x34709 x34715 x34719 x34849 x34860 x34870 x34905 x34963 x34969 x34988 x35009 x35050 1800.08/1800.11 v x35109 x35131 x35133 x35155 x35182 x35201 x35214 x35257 x35262 x35302 x35342 x35413 x35441 x35487 x35511 x35550 x35561 1800.08/1800.11 v x35570 x35646 x35651 x35694 x35729 x35736 x35758 x35778 x35830 x35885 x35942 x35943 x35945 x35954 x35981 x36000 x36035 1800.08/1800.11 v x36076 x36093 x36094 x36099 x36136 x36196 x36201 x36248 x36266 x36289 x36301 x36308 x36376 x36444 x36497 x36533 x36535 1800.08/1800.11 v x36624 x36713 x36727 x36731 x36749 x36757 x36774 x36834 x36842 x36856 x36867 x36899 x36921 x36940 x36952 x37006 x37052 1800.08/1800.11 v x37077 x37102 x37171 x37177 x37180 x37222 x37298 x37371 x37392 x37474 x37504 x37505 x37514 x37516 x37526 x37528 x37537 1800.08/1800.11 v x37540 x37565 x37595 x37641 x37653 x37656 x37668 x37723 x37735 x37759 x37856 x37927 1800.08/1800.12 pb2clasp1: no process killed
FAILED ERROR: unsatisfied constraint on line 0 0>=1 Falsified constraint is: +1*~x1[=0]*x302[=0]+1*~x1[=0]*x84[=0]+1*~x1[=0]*x275[=0]+1*~x1[=0]*x327[=0]+1*~x1[=0]*x364[=0]+1*~x1[=0]*x38[=0]+1*~x1[=0]*x26[=0]+1*~x1[=0]*x29[=0]+1*~x1[=0]*x386[=0]+1*~x1[=0]*x45[=0]+1*~x1[=0]*x455[=0]+1*~x1[=0]*x215[=1]+1*~x1[=0]*x465[=0]+1*~x1[=0]*x404[=0]+1*~x1[=0]*x415[=0]+1*~x1[=0]*x403[=0]+1*~x1[=0]*x442[=0]+1*~x1[=0]*x402[=0]+1*~x1[=0]*x150[=0]+1*~x1[=0]*x218[=0]+1*~x1[=0]*x105[=0]+1*~x1[=0]*x469[=0]+1*~x1[=0]*x280[=0]+1*~x1[=0]*x74[=0]+1*~x1[=0]*x219[=0]+1*~x1[=0]*x323[=0]+1*~x1[=0]*x383[=0]+1*~x1[=0]*x221[=0]+1*~x1[=0]*x321[=0]+1*~x1[=0]*x131[=0]+1*~x1[=0]*x374[=0]+1*~x1[=0]*x405[=0]+1*~x1[=0]*x257[=0]+1*~x1[=0]*x200[=0]+1*~x1[=0]*x120[=0]+1*~x1[=0]*x295[=0]+1*~x1[=0]*x225[=0]+1*~x1[=0]*x484[=0]+1*~x1[=0]*x462[=0]+1*~x1[=0]*x380[=1]+1*~x1[=0]*x277[=0]+1*~x1[=0]*x176[=0]+1*~x1[=0]*x345[=0]+1*~x1[=0]*x32[=0]+1*~x1[=0]*x443[=0]+1*~x1[=0]*x99[=0]+1*~x1[=0]*x473[=0]+1*~x1[=0]*x344[=0]+1*~x1[=0]*x248[=0]+1*~x1[=0]*x190[=0]+1*~x1[=0]*x448[=1]+1*~x1[=0]*x68[=0]+1*~x1[=0]*x322[=0]+1*~x1[=0]*x373[=0]+1*~x1[=0]*x287[=0]+1*~x1[=0]*x496[=0]+1*~x1[=0]*x255[=0]+1*~x1[=0]*x7[=0]+1*~x1[=0]*x317[=1]+1*~x1[=0]*x238[=0]+1*~x1[=0]*x2[=0]+1*~x1[=0]*x9[=1]+1*~x1[=0]*x18[=0]+1*~x1[=0]*x39[=0]+1*~x1[=0]*x53[=0]+1*~x1[=0]*x58[=0]+1*~x1[=0]*x88[=0]+1*~x1[=0]*x96[=0]+1*~x1[=0]*x103[=0]+1*~x1[=0]*x115[=0]+1*~x1[=0]*x125[=0]+1*~x1[=0]*x126[=0]+1*~x1[=0]*x138[=0]+1*~x1[=0]*x141[=0]+1*~x1[=0]*x142[=0]+1*~x1[=0]*x151[=0]+1*~x1[=0]*x160[=0]+1*~x1[=0]*x178[=0]+1*~x1[=0]*x199[=0]+1*~x1[=0]*x208[=0]+1*~x1[=0]*x220[=0]+1*~x1[=0]*x259[=0]+1*~x1[=0]*x273[=0]+1*~x1[=0]*x279[=0]+1*~x1[=0]*x303[=1]+1*~x1[=0]*x316[=0]+1*~x1[=0]*x348[=0]+1*~x1[=0]*x352[=0]+1*~x1[=0]*x416[=0]+1*~x1[=0]*x426[=0]+1*x1[=0] >= 1
Linearizing /tmp/evaluation/453049-1178111896/instance-453049-1178111896.opb
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node16/watcher-453049-1178111896 -o ROOT/results/node16/solver-453049-1178111896 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453049-1178111896.opb /tmp/evaluation/453049-1178111896/temp 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): 3600 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 Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.00 0.00 0.05 3/77 30028 /proc/meminfo: memFree=1849640/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=12268 CPUtime=0 /proc/30028/stat : 30028 (pbclasp) D 30026 30028 29755 0 -1 4194304 350 0 0 0 0 0 0 0 18 0 1 0 259107508 12562432 317 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231962540645 0 2147483391 4224 0 18446744072099781622 0 0 17 1 0 0 /proc/30028/statm: 3067 317 242 3 0 167 0 [startup+0.0374361 s] /proc/loadavg: 0.00 0.00 0.05 3/77 30028 /proc/meminfo: memFree=1849640/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=13968 CPUtime=0.02 /proc/30028/stat : 30028 (pbclasp) R 30026 30028 29755 0 -1 4194304 871 0 0 0 2 0 0 0 18 0 1 0 259107508 14303232 838 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231962219233 0 0 4224 16384 0 0 0 17 1 0 0 /proc/30028/statm: 3492 838 320 3 0 592 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 13968 [startup+0.101424 s] /proc/loadavg: 0.00 0.00 0.05 3/77 30028 /proc/meminfo: memFree=1849640/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14100 CPUtime=0.03 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 908 0 0 0 3 0 0 0 16 0 1 0 259107508 14438400 861 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/30028/statm: 3525 861 324 3 0 625 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 14100 [startup+0.301378 s] /proc/loadavg: 0.00 0.00 0.05 3/77 30028 /proc/meminfo: memFree=1849640/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14100 CPUtime=0.03 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 908 0 0 0 3 0 0 0 16 0 1 0 259107508 14438400 861 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/30028/statm: 3525 861 324 3 0 625 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 14100 [startup+0.701295 s] /proc/loadavg: 0.00 0.00 0.05 3/77 30028 /proc/meminfo: memFree=1849640/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14100 CPUtime=0.03 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 908 0 0 0 3 0 0 0 16 0 1 0 259107508 14438400 861 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/30028/statm: 3525 861 324 3 0 625 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 14100 [startup+1.50113 s] /proc/loadavg: 0.08 0.02 0.05 2/80 30031 /proc/meminfo: memFree=1846032/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14100 CPUtime=0.03 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 908 0 0 0 3 0 0 0 16 0 1 0 259107508 14438400 861 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/30028/statm: 3525 861 324 3 0 625 0 [pid=30030] ppid=30028 vsize=5356 CPUtime=0 /proc/30030/stat : 30030 (sh) S 30028 30028 29755 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 259107513 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30030/statm: 1339 231 193 169 0 50 0 [pid=30031] ppid=30030 vsize=12400 CPUtime=1.44 /proc/30031/stat : 30031 (pb2clasp1) R 30030 30028 29755 0 -1 4194304 505 0 0 0 144 0 0 0 25 0 1 0 259107513 12697600 467 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 0 0 0 0 17 1 0 0 /proc/30031/statm: 3100 467 340 3 0 200 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 31856 [startup+3.10279 s] /proc/loadavg: 0.08 0.02 0.05 2/80 30031 /proc/meminfo: memFree=1845392/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14100 CPUtime=0.03 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 908 0 0 0 3 0 0 0 16 0 1 0 259107508 14438400 861 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971270754 0 0 4224 16384 18446744071563648864 0 0 17 1 0 0 /proc/30028/statm: 3525 861 324 3 0 625 0 [pid=30030] ppid=30028 vsize=5356 CPUtime=0 /proc/30030/stat : 30030 (sh) S 30028 30028 29755 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 259107513 5484544 231 18446744073709551615 4194304 4889804 548682069232 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30030/statm: 1339 231 193 169 0 50 0 [pid=30031] ppid=30030 vsize=12400 CPUtime=3.04 /proc/30031/stat : 30031 (pb2clasp1) R 30030 30028 29755 0 -1 4194304 505 0 0 0 304 0 0 0 25 0 1 0 259107513 12697600 467 18446744073709551615 4194304 4206940 548682069264 18446744073709551615 231971270754 0 0 4224 0 0 0 0 17 1 0 0 /proc/30031/statm: 3100 467 340 3 0 200 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 31856 [startup+6.30112 s] /proc/loadavg: 0.08 0.02 0.05 2/80 30031 /proc/meminfo: memFree=1843920/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14100 CPUtime=5.98 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1008 1597 0 0 3 0 590 5 17 0 1 0 259107508 14438400 892 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3525 892 343 3 0 625 0 Current children cumulated CPU time (s) 5.98 Current children cumulated vsize (KiB) 14100 [startup+12.7018 s] /proc/loadavg: 0.22 0.05 0.06 2/80 30054 /proc/meminfo: memFree=1805272/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=10.81 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1273 32724 0 2 7 1 1045 28 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30052] ppid=30028 vsize=5356 CPUtime=0 /proc/30052/stat : 30052 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 0 16 0 1 0 259108593 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30052/statm: 1339 225 188 169 0 50 0 [pid=30054] ppid=30052 vsize=50552 CPUtime=1.84 /proc/30054/stat : 30054 (clasp-1.0) R 30052 30028 29755 0 -1 4194304 14189 0 0 0 178 6 0 0 25 0 1 0 259108593 51765248 12110 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617738 0 0 4096 0 0 0 0 17 1 0 0 /proc/30054/statm: 12638 12110 249 81 0 12012 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 70144 [startup+25.5011 s] /proc/loadavg: 0.34 0.08 0.07 2/80 30070 /proc/meminfo: memFree=1791328/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=18.19 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1565 63879 0 2 11 1 1756 51 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30068] ppid=30028 vsize=5356 CPUtime=0 /proc/30068/stat : 30068 (sh) S 30028 30028 29755 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 259109332 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30068/statm: 1339 225 188 169 0 50 0 [pid=30070] ppid=30068 vsize=50552 CPUtime=7.24 /proc/30070/stat : 30070 (clasp-1.0) R 30068 30028 29755 0 -1 4194304 14213 0 0 0 718 6 0 0 25 0 1 0 259109332 51765248 12134 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617496 0 0 4096 0 0 0 0 17 1 0 0 /proc/30070/statm: 12638 12134 249 81 0 12012 0 Current children cumulated CPU time (s) 25.43 Current children cumulated vsize (KiB) 70144 [startup+51.1017 s] /proc/loadavg: 0.60 0.17 0.10 2/80 30070 /proc/meminfo: memFree=1780128/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=18.19 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1565 63879 0 2 11 1 1756 51 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30068] ppid=30028 vsize=5356 CPUtime=0 /proc/30068/stat : 30068 (sh) S 30028 30028 29755 0 -1 4194304 287 122 0 0 0 0 0 0 16 0 1 0 259109332 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30068/statm: 1339 225 188 169 0 50 0 [pid=30070] ppid=30068 vsize=62112 CPUtime=32.84 /proc/30070/stat : 30070 (clasp-1.0) R 30068 30028 29755 0 -1 4194304 17086 0 0 0 3275 9 0 0 25 0 1 0 259109332 63602688 15007 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784634 0 0 4096 0 0 0 0 17 1 0 0 /proc/30070/statm: 15528 15007 249 81 0 14902 0 Current children cumulated CPU time (s) 51.03 Current children cumulated vsize (KiB) 81704 [startup+102.306 s] /proc/loadavg: 0.82 0.29 0.15 2/80 30086 /proc/meminfo: memFree=1786272/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=55636 CPUtime=29.95 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 15480 0 0 0 2987 8 0 0 25 0 1 0 259114742 56971264 13401 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134617504 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 13909 13401 249 81 0 13283 0 Current children cumulated CPU time (s) 102.23 Current children cumulated vsize (KiB) 75228 [startup+162.301 s] /proc/loadavg: 0.93 0.42 0.20 2/80 30086 /proc/meminfo: memFree=1751136/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=90876 CPUtime=89.94 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 24291 0 0 0 8979 15 0 0 25 0 1 0 259114742 93057024 22200 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134784610 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 22719 22200 249 81 0 22093 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 110468 [startup+222.302 s] /proc/loadavg: 0.97 0.52 0.24 2/80 30086 /proc/meminfo: memFree=1732576/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=109132 CPUtime=149.95 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 28951 0 0 0 14975 20 0 0 25 0 1 0 259114742 111751168 26775 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134740938 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 27283 26775 249 81 0 26657 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 128724 [startup+282.301 s] /proc/loadavg: 0.99 0.61 0.29 2/80 30086 /proc/meminfo: memFree=1711328/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=130656 CPUtime=209.95 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 34550 0 0 0 20971 24 0 0 25 0 1 0 259114742 133791744 32116 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737597 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 32664 32116 249 81 0 32038 0 Current children cumulated CPU time (s) 282.23 Current children cumulated vsize (KiB) 150248 ################ # More data... # ################ /proc/meminfo: memFree=1526304/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=315576 CPUtime=1289.97 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 86390 0 0 0 128928 69 0 0 25 0 1 0 259114742 323149824 78005 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737608 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 78894 78005 249 81 0 78268 0 Current children cumulated CPU time (s) 1362.25 Current children cumulated vsize (KiB) 335168 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.76 2/80 30088 /proc/meminfo: memFree=1517792/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=323928 CPUtime=1349.98 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 126170 0 0 0 134907 91 0 0 25 0 1 0 259114742 331702272 80117 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 80982 80117 249 81 0 80356 0 Current children cumulated CPU time (s) 1422.26 Current children cumulated vsize (KiB) 343520 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.77 2/80 30088 /proc/meminfo: memFree=1503648/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=338084 CPUtime=1409.98 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 129703 0 0 0 140904 94 0 0 25 0 1 0 259114742 346198016 83650 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 84521 83650 249 81 0 83895 0 Current children cumulated CPU time (s) 1482.26 Current children cumulated vsize (KiB) 357676 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.78 2/80 30088 /proc/meminfo: memFree=1487264/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=354336 CPUtime=1469.99 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 133768 0 0 0 146902 97 0 0 25 0 1 0 259114742 362840064 87715 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134740921 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 88584 87715 249 81 0 87958 0 Current children cumulated CPU time (s) 1542.27 Current children cumulated vsize (KiB) 373928 [startup+1602.3 s] /proc/loadavg: 1.03 1.00 0.80 2/80 30088 /proc/meminfo: memFree=1468832/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=373184 CPUtime=1529.98 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 138501 0 0 0 152897 101 0 0 25 0 1 0 259114742 382140416 92412 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 93296 92412 249 81 0 92670 0 Current children cumulated CPU time (s) 1602.26 Current children cumulated vsize (KiB) 392776 [startup+1662.3 s] /proc/loadavg: 1.01 1.00 0.81 2/80 30088 /proc/meminfo: memFree=1459488/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=381908 CPUtime=1589.99 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 140736 0 0 0 158895 104 0 0 25 0 1 0 259114742 391073792 94618 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737608 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 95477 94618 249 81 0 94851 0 Current children cumulated CPU time (s) 1662.27 Current children cumulated vsize (KiB) 401500 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.82 2/80 30088 /proc/meminfo: memFree=1459552/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=381548 CPUtime=1649.99 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 140764 0 0 0 164895 104 0 0 25 0 1 0 259114742 390705152 94556 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134737644 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 95387 94556 249 81 0 94761 0 Current children cumulated CPU time (s) 1722.27 Current children cumulated vsize (KiB) 401140 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.83 2/80 30088 /proc/meminfo: memFree=1459488/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=381548 CPUtime=1709.99 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 140770 0 0 0 170895 104 0 0 25 0 1 0 259114742 390705152 94562 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616350 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 95387 94562 249 81 0 94761 0 Current children cumulated CPU time (s) 1782.27 Current children cumulated vsize (KiB) 401140 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 1.00 1.00 0.83 2/80 30088 /proc/meminfo: memFree=1459488/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=381404 CPUtime=1727.8 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 140772 0 0 0 172675 105 0 0 25 0 1 0 259114742 390557696 94528 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 95351 94528 249 81 0 94725 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 400996 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.1 s] /proc/loadavg: 1.00 1.00 0.83 2/80 30088 /proc/meminfo: memFree=1459488/2055920 swapFree=4148560/4192956 [pid=30028] ppid=30026 vsize=14236 CPUtime=72.27 /proc/30028/stat : 30028 (pbclasp) S 30026 30028 29755 0 -1 4194304 1855 98803 0 2 15 1 7133 78 17 0 1 0 259107508 14577664 913 18446744073709551615 4194304 4206940 548682069168 18446744073709551615 231971274644 0 0 4230 16384 18446744071563356171 0 0 17 0 0 0 /proc/30028/statm: 3559 913 343 3 0 659 0 [pid=30084] ppid=30028 vsize=5356 CPUtime=0.01 /proc/30084/stat : 30084 (sh) S 30028 30028 29755 0 -1 4194304 288 122 0 0 0 0 0 1 16 0 1 0 259114741 5484544 225 18446744073709551615 4194304 4889804 548682069168 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0 /proc/30084/statm: 1339 225 188 169 0 50 0 [pid=30086] ppid=30084 vsize=381404 CPUtime=1727.8 /proc/30086/stat : 30086 (clasp-1.0) R 30084 30028 29755 0 -1 4194304 140772 0 0 0 172675 105 0 0 25 0 1 0 259114742 390557696 94528 18446744073709551615 134512640 134847168 4294956720 18446744073709551615 134616619 0 0 4096 0 0 0 0 17 1 0 0 /proc/30086/statm: 95351 94528 249 81 0 94725 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 400996 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 30028 and gives # childrusage.ru_utime.tv_sec=71 # childrusage.ru_utime.tv_usec=499130 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=816875 # CPU time returned by wait4() is 72.316 # while last known CPU time is 1800.08 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.14 CPU time (s): 1800.08 CPU user time (s): 1798.23 CPU system time (s): 1.85 CPU usage (%): 99.9969 Max. virtual memory (cumulated for all children) (KiB): 401544 getrusage(RUSAGE_CHILDREN,...) data: user time used= 71.4991 system time used= 0.816875 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 101590 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 5820 involuntary context switches= 5542 runsolver used 1.63475 second user time and 4.92325 second system time The end
Begin job on node16 on Wed May 2 13:18:17 UTC 2007 IDJOB= 453049 IDBENCH= 48104 IDSOLVER= 167 FILE ID= node16/453049-1178111896 PBS_JOBID= 4751010 Free space on /tmp= 66564 MiB SOLVER NAME= PB-clasp 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_4.opb COMMAND LINE= pbclasp instance-453049-1178111896.opb /tmp/evaluation/453049-1178111896/temp CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-453049-1178111896 -o ROOT/results/node16/conversion-453049-1178111896 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453049-1178111896/instance-453049-1178111896.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node16/watcher-453049-1178111896 -o ROOT/results/node16/solver-453049-1178111896 -C 1800 -W 3600 -M 1800 --output-limit 1,15 pbclasp instance-453049-1178111896.opb /tmp/evaluation/453049-1178111896/temp META MD5SUM SOLVER= 1e5f480786d97be718f2223f2ffb5f36 MD5SUM BENCH= efe239846afd4f2627c83cec32ebc27d RANDOM SEED= 66810392 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node16.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1850048 kB Buffers: 66560 kB Cached: 62316 kB SwapCached: 12496 kB Active: 65268 kB Inactive: 90052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1850048 kB SwapTotal: 4192956 kB SwapFree: 4148560 kB Dirty: 3484 kB Writeback: 0 kB Mapped: 29856 kB Slab: 36064 kB Committed_AS: 13907980 kB PageTables: 1836 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66554 MiB End job on node16 on Wed May 2 13:48:21 UTC 2007