Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
pbclasp 2009-04-24 | SAT (TO) | 48053 | 1800.05 | 1800.53 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/ttp/normalized-data8_3.opb |
MD5SUM | c3720ea5d84e92b781414b36064971fe |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 48053 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 46478 |
Optimality of the best value was proved | NO |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 1380 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 279536 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 1380 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 279536 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c optimisation-statement found. OPT-category assumed. 0.00/0.29 o 53426 0.00/0.33 o 52164 1.52/1.59 o 51350 1.72/1.73 o 51347 13.31/13.33 o 51333 13.41/13.40 o 51031 13.51/13.54 o 50995 16.21/16.26 o 50770 36.70/36.74 o 50094 52.10/52.12 o 50080 78.19/78.21 o 49768 82.78/82.83 o 49675 175.87/175.98 o 49551 279.54/279.67 o 48862 281.74/281.83 o 48616 407.60/407.78 o 48595 1082.44/1082.72 o 48504 1084.14/1084.46 o 48053 1800.05/1800.50 s SATISFIABLE 1800.05/1800.50 v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105 -x106 -x107 x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 -x355 -x356 x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 x405 -x406 -x407 -x408 -x409 x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 x463 -x464 -x465 -x466 -x467 -x468 -x469 x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 x488 -x489 -x490 -x491 -x492 -x493 x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 x512 x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 x576 x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 x613 -x614 -x615 -x616 x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 x640 x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 -x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 x741 -x742 -x743 -x744 -x745 -x746 x747 -x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 -x784 x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 x838 -x839 -x840 -x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 x896 x897 x898 x899 x900 x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 x910 x911 -x912 -x913 -x914 -x915 -x916 -x917 x918 -x919 -x920 -x921 -x922 -x923 -x924 x925 -x926 -x927 -x928 -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 x956 -x957 -x958 -x959 -x960 -x961 x962 -x963 x964 x965 -x966 -x967 x968 -x969 -x970 -x971 -x972 -x973 -x974 x975 -x976 -x977 -x978 -x979 -x980 -x981 x982 -x983 -x984 -x985 -x986 -x987 x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 x1017 -x1018 -x1019 -x1020 -x1021 -x1022 x1023 x1024 x1025 x1026 -x1027 x1028 -x1029 -x1030 -x1031 x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 x1090 x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 x1113 -x1114 -x1115 -x1116 x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 x1133 -x1134 -x1135 -x1136 x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 x1145 -x1146 -x1147 -x1148 -x1149 x1150 -x1151 -x1152 x1153 -x1154 x1155 -x1156 -x1157 x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 -x1168 -x1169 x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 x1180 -x1181 -x1182 -x1183 -x1184 -x1185 x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 -x1211 x1212 x1213 -x1214 -x1215 -x1216 x1217 x1218 -x1219 -x1220 -x1221 -x1222 -x1223 x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 x1274 x1275 x1276 x1277 -x1278 -x1279 x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 -x1296 -x1297 x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 x1330 x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 x1339 -x1340 -x1341 x1342 -x1343 x1344
OK 48053
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1858602-1244880954/watcher-1858602-1244880954 -o /tmp/evaluation-result-1858602-1244880954/solver-1858602-1244880954 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858602-1244880954.opb HOME HOME 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 1.02 1.00 3/64 13215 /proc/meminfo: memFree=1311240/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) R 13213 13215 12982 0 -1 4194304 349 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 316 1992294400 4194304 4206940 548682068784 18446744073709551615 258947988478 0 0 4224 0 0 0 0 17 1 0 0 /proc/13215/statm: 3067 316 242 3 0 167 0 [startup+0.0856 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13215 /proc/meminfo: memFree=1311240/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12268 [startup+0.101597 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13215 /proc/meminfo: memFree=1311240/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12268 [startup+0.301623 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13215 /proc/meminfo: memFree=1311240/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12268 [startup+0.701665 s] /proc/loadavg: 1.01 1.02 1.00 3/64 13215 /proc/meminfo: memFree=1311240/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 12268 [startup+1.50174 s] /proc/loadavg: 1.01 1.02 1.00 2/68 13220 /proc/meminfo: memFree=1302696/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=9240 CPUtime=1.37 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 2158 0 0 0 137 0 0 0 25 0 1 0 155692411 9461760 2085 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 2310 2085 194 380 0 1927 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 1.52 Current children cumulated vsize (KiB) 28120 [startup+3.1029 s] /proc/loadavg: 1.01 1.02 1.00 2/68 13220 /proc/meminfo: memFree=1302568/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=9240 CPUtime=2.96 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 2160 0 0 0 296 0 0 0 25 0 1 0 155692411 9461760 2087 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 2310 2087 194 380 0 1927 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 15 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 28120 [startup+6.30123 s] /proc/loadavg: 1.01 1.02 1.00 2/68 13220 /proc/meminfo: memFree=1301480/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=10164 CPUtime=6.16 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 2412 0 0 0 616 0 0 0 25 0 1 0 155692411 10407936 2339 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 2541 2339 194 380 0 2158 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 15 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 29044 [startup+12.7029 s] /proc/loadavg: 1.01 1.02 1.00 2/68 13220 /proc/meminfo: memFree=1299624/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=12144 CPUtime=12.56 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 2874 0 0 0 1255 1 0 0 25 0 1 0 155692411 12435456 2801 1992294400 134512640 136070948 4294956272 18446744073709551615 134807599 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 3036 2801 194 380 0 2653 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 15 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 12.71 Current children cumulated vsize (KiB) 31024 [startup+25.5012 s] /proc/loadavg: 1.01 1.01 1.00 2/68 13220 /proc/meminfo: memFree=1297896/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=13860 CPUtime=25.36 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 3329 0 0 0 2535 1 0 0 25 0 1 0 155692411 14192640 3256 1992294400 134512640 136070948 4294956272 18446744073709551615 134831472 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 3465 3256 194 380 0 3082 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 25.51 Current children cumulated vsize (KiB) 32740 [startup+51.1018 s] /proc/loadavg: 1.00 1.01 1.00 2/68 13220 /proc/meminfo: memFree=1295592/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=16244 CPUtime=50.95 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 3912 0 0 0 5093 2 0 0 25 0 1 0 155692411 16633856 3839 1992294400 134512640 136070948 4294956272 18446744073709551615 134807668 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 4061 3839 194 380 0 3678 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 51.1 Current children cumulated vsize (KiB) 35124 [startup+102.306 s] /proc/loadavg: 1.00 1.01 1.00 2/68 13220 /proc/meminfo: memFree=1292648/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=19184 CPUtime=102.14 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 4634 0 0 0 10211 3 0 0 25 0 1 0 155692411 19644416 4561 1992294400 134512640 136070948 4294956272 18446744073709551615 134806812 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 4796 4561 194 380 0 4413 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 38064 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13220 /proc/meminfo: memFree=1289960/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=21824 CPUtime=162.12 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 5298 0 0 0 16209 3 0 0 25 0 1 0 155692411 22347776 5225 1992294400 134512640 136070948 4294956272 18446744073709551615 134834751 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 5456 5225 194 380 0 5073 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 162.27 Current children cumulated vsize (KiB) 40704 [startup+222.301 s] ################ # More data... # ################ /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 1421.95 Current children cumulated vsize (KiB) 60256 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13220 /proc/meminfo: memFree=1270312/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=41376 CPUtime=1481.78 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 10177 0 0 0 148169 9 0 0 25 0 1 0 155692411 42369024 10104 1992294400 134512640 136070948 4294956272 18446744073709551615 134806870 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 10344 10104 194 380 0 9961 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 1481.93 Current children cumulated vsize (KiB) 60256 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13220 /proc/meminfo: memFree=1270376/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=41376 CPUtime=1541.77 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 10177 0 0 0 154168 9 0 0 25 0 1 0 155692411 42369024 10104 1992294400 134512640 136070948 4294956272 18446744073709551615 134799833 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 10344 10104 194 380 0 9961 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 1541.92 Current children cumulated vsize (KiB) 60256 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13220 /proc/meminfo: memFree=1270312/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=41376 CPUtime=1601.75 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 10179 0 0 0 160166 9 0 0 25 0 1 0 155692411 42369024 10106 1992294400 134512640 136070948 4294956272 18446744073709551615 134623167 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 10344 10106 194 380 0 9961 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 1601.9 Current children cumulated vsize (KiB) 60256 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13220 /proc/meminfo: memFree=1267816/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=43928 CPUtime=1661.73 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 10795 0 0 0 166164 9 0 0 25 0 1 0 155692411 44982272 10722 1992294400 134512640 136070948 4294956272 18446744073709551615 134835582 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 10982 10722 194 380 0 10599 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 1661.88 Current children cumulated vsize (KiB) 62808 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13220 /proc/meminfo: memFree=1267816/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=43928 CPUtime=1721.72 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 10798 0 0 0 172163 9 0 0 25 0 1 0 155692411 44982272 10725 1992294400 134512640 136070948 4294956272 18446744073709551615 134619431 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 10982 10725 194 380 0 10599 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 1721.87 Current children cumulated vsize (KiB) 62808 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13220 /proc/meminfo: memFree=1266920/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=44720 CPUtime=1781.7 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 11009 0 0 0 178161 9 0 0 25 0 1 0 155692411 45793280 10936 1992294400 134512640 136070948 4294956272 18446744073709551615 134835576 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 11180 10936 194 380 0 10797 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 1781.85 Current children cumulated vsize (KiB) 63600 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13220 /proc/meminfo: memFree=1266920/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=44720 CPUtime=1799.9 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 11009 0 0 0 179981 9 0 0 25 0 1 0 155692411 45793280 10936 1992294400 134512640 136070948 4294956272 18446744073709551615 134799843 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 11180 10936 194 380 0 10797 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 63600 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/68 13220 /proc/meminfo: memFree=1266920/2055920 swapFree=4192952/4192956 [pid=13215] ppid=13213 vsize=12268 CPUtime=0 /proc/13215/stat : 13215 (perl) S 13213 13215 12982 0 -1 4194304 452 0 0 0 0 0 0 0 18 0 1 0 155692410 12562432 412 1992294400 4194304 4206940 548682068784 18446744073709551615 258947989396 0 0 4230 16384 18446744071563356171 0 0 17 1 0 0 /proc/13215/statm: 3067 412 319 3 0 167 0 [pid=13217] ppid=13215 vsize=5356 CPUtime=0.15 /proc/13217/stat : 13217 (sh) S 13215 13215 12982 0 -1 4194304 305 146 0 0 0 0 15 0 16 0 1 0 155692410 5484544 227 1992294400 4194304 4889804 548682068624 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0 /proc/13217/statm: 1339 227 188 169 0 50 0 [pid=13219] ppid=13217 vsize=44720 CPUtime=1799.9 /proc/13219/stat : 13219 (clasp) R 13217 13215 12982 0 -1 4194304 11009 0 0 0 179981 9 0 0 25 0 1 0 155692411 45793280 10936 1992294400 134512640 136070948 4294956272 18446744073709551615 134799843 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13219/statm: 11180 10936 194 380 0 10797 0 [pid=13220] ppid=13217 vsize=1256 CPUtime=0 /proc/13220/stat : 13220 (pbout) S 13217 13215 12982 0 -1 4194304 132 0 0 0 0 0 0 0 16 0 1 0 155692411 1286144 109 1992294400 134512640 135606965 4294956320 18446744073709551615 135107374 0 0 4096 16386 18446744071563648864 0 0 17 0 0 0 /proc/13220/statm: 314 109 96 267 0 44 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 63600 Child status: 0 # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 13215 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=166974 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=8998 # CPU time returned by wait4() is 0.175972 # while last known CPU time is 1800.05 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1800.53 CPU time (s): 1800.05 CPU user time (s): 1799.96 CPU system time (s): 0.09 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 63600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.166974 system time used= 0.008998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1440 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= 62 involuntary context switches= 11 runsolver used 1.53577 second user time and 5.02424 second system time The end
Begin job on node45 at 2009-06-13 10:15:54 IDJOB=1858602 IDBENCH=2008 IDSOLVER=687 FILE ID=node45/1858602-1244880954 PBS_JOBID= 9354394 Free space on /tmp= 66256 MiB SOLVER NAME= pbclasp 2009-04-24 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb COMMAND LINE= perl HOME/pbclasp BENCHNAME HOME TMPDIR CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1858602-1244880954/watcher-1858602-1244880954 -o /tmp/evaluation-result-1858602-1244880954/solver-1858602-1244880954 -C 1800 -W 2000 -M 1800 perl HOME/pbclasp HOME/instance-1858602-1244880954.opb HOME HOME TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= c3720ea5d84e92b781414b36064971fe RANDOM SEED=950514587 node45.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /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.240 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.240 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: 1311720 kB Buffers: 59968 kB Cached: 598812 kB SwapCached: 4 kB Active: 50720 kB Inactive: 621988 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1311720 kB SwapTotal: 4192956 kB SwapFree: 4192952 kB Dirty: 5376 kB Writeback: 0 kB Mapped: 23756 kB Slab: 57636 kB Committed_AS: 122460 kB PageTables: 1380 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1858602-1244880954.opb Free space on /tmp at the end= 66252 MiB End job on node45 at 2009-06-13 10:45:57