0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2024 Artois University and CNRS
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version PB25.v20250606
0.00/0.09	c java.runtime.name	OpenJDK Runtime Environment
0.00/0.09	c java.vm.name		OpenJDK 64-Bit Server VM
0.00/0.09	c java.vm.version	22.0.1+8-16
0.00/0.09	c java.vm.vendor	Oracle Corporation
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		22.0.1
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		5.14.0-503.14.1.el9_5.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		2104792832
0.00/0.09	c Max memory 		16282288128
0.00/0.09	c Total memory 		2113929216
0.00/0.09	c Number of processors 	2
0.12/0.13	c Pseudo Boolean Optimization by upper bound
0.12/0.13	c --- Begin Solver configuration ---
0.12/0.13	c org.sat4j.pb.constraints.ResolutionPBLongHTClauseCardConstrDataStructure@606d8acf
0.12/0.13	c Learn all clauses as in MiniSAT
0.12/0.13	c LOGGER=java.util.logging.Logger@3fb4f649 claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.12/0.13	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.12/0.13	c Expensive reason simplification
0.12/0.13	c Glucose 2.1 dynamic restart strategy
0.12/0.13	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.12/0.13	c timeout=2147483s
0.12/0.13	c DB Simplification allowed=false
0.12/0.13	c Listener: none
0.12/0.13	c --- End Solver configuration ---
0.12/0.13	c solving HOME/instance-4526684-1751635606.wbo
0.12/0.13	c reading problem ... 
5.57/3.72	c ... done. Wall clock time 3.588s.
5.57/3.72	c declared #vars     7542
5.57/3.72	c internal #vars     1072793
5.57/3.72	c #constraints  1065652
5.57/3.72	c constraints type 
5.57/3.72	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 200
5.57/3.72	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
5.57/3.72	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 1065451
5.57/3.72	c 1065652 constraints processed.
5.57/3.73	c objective function length is 1065251 literals
19.41/16.57	c SATISFIABLE
19.41/16.57	c OPTIMIZING...
19.41/16.57	c Got one! Elapsed wall clock time (in seconds):16.44
19.41/16.57	o 53720
1835.90/1835.20	c cleaning 2848 clauses out of 5787 with flag 33760/5787
3600.02/3602.71	c starts		: 160
3600.02/3602.72	c conflicts		: 11139
3600.02/3602.72	c decisions		: 35612574
3600.02/3602.72	c propagations		: 1330187260
3600.02/3602.72	c inspects		: 12051637
3600.02/3602.72	c shortcuts		: 0
3600.02/3602.72	c learnt literals	: 0
3600.02/3602.72	c learnt binary clauses	: 0
3600.02/3602.72	c learnt ternary clauses	: 0
3600.02/3602.72	c learnt constraints	: 11138
3600.02/3602.72	c ignored constraints	: 0
3600.02/3602.72	c root simplifications	: 0
3600.02/3602.73	c removed literals (reason simplification)	: 70538
3600.02/3602.73	c reason swapping (by a shorter reason)	: 0
3600.02/3602.73	c Calls to reduceDB	: 1
3600.02/3602.73	c Number of update (reduction) of LBD	: 7008
3600.02/3602.73	c Imported unit clauses	: 0
3600.02/3602.73	c No decision after first conflict	: false
3600.02/3602.73	c number of reductions to clauses (during analyze)	: 0
3600.02/3602.73	c number of learned constraints concerned by reduction	: 0
3600.02/3602.73	c number of learning phase by resolution	: 0
3600.02/3602.73	c number of learning phase by cutting planes	: 0
3600.02/3602.73	c number of rounding to 1 operations	: 0
3600.02/3602.73	c number of easy rounding to 1 operations (no literal elimination needed)	: 0
3600.02/3602.73	c number of reductions of the coefficients by power 2 	: 0
3600.02/3602.73	c number of right shift for reduction by power 2 	: 0
3600.02/3602.73	c number of reductions of the coefficients by GCD over coefficients 	: 0
3600.02/3602.73	c number of ending skipping 	: 0
3600.02/3602.73	c number of internal skipping 	: 0
3600.02/3602.73	c number of derivation steps 	: 0
3600.02/3602.73	c number of skipped derivation steps 	: 0
3600.02/3602.73	c number of remaining unassigned 	: 0
3600.02/3602.73	c number of remaining assigned 	: 0
3600.02/3602.73	c number of falsified literals weakened from reason	: 0
3600.02/3602.73	c number of falsified literals weakened from conflict	: 0
3600.02/3602.73	c time for arithmetic operations	: 0
3600.02/3602.74	c minimum degree of deleted constraints	: null
3600.02/3602.74	c maximum degree of deleted constraints	: null
3600.02/3602.74	c number of deleted constraints	: 0
3600.02/3602.75	c speed (assignments/second)	: 369610.5270265351
3600.02/3602.75	c non guided choices	: 12467
3600.02/3602.75	c learnt constraints type org.sat4j.pb.constraints.pb.LearntHTClausePB	: 8290
3600.02/3602.75	s SATISFIABLE
3600.02/3602.75	c Found 1 solution(s)
3600.02/3602.77	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 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 x1923 -x1924 -x1925 -x1926 x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 x2419 -x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629 -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 x2731 -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748 -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 x2812 -x2813 -x2814 -x2815 -x2816 x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908 -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942 x2943 -x2944 x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 -x2952 -x2953 -x2954 -x2955 -x2956 -x2957 -x2958 -x2959 -x2960 -x2961 -x2962 -x2963 -x2964 -x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974 -x2975 -x2976 -x2977 -x2978 -x2979 -x2980 -x2981 -x2982 -x2983 -x2984 -x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997 -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014 -x3015 -x3016 -x3017 -x3018 x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031 -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048 -x3049 -x3050 -x3051 -x3052 x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 -x3063 -x3064 -x3065 -x3066 -x3067 -x3068 -x3069 -x3070 -x3071 -x3072 -x3073 -x3074 -x3075 -x3076 -x3077 -x3078 -x3079 -x3080 -x3081 -x3082 -x3083 -x3084 -x3085 -x3086 -x3087 -x3088 -x3089 x3090 -x3091 -x3092 -x3093 -x3094 -x3095 -x3096 -x3097 -x3098 -x3099 -x3100 -x3101 -x3102 -x3103 -x3104 -x3105 -x3106 -x3107 -x3108 -x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 -x3117 -x3118 -x3119 -x3120 -x3121 -x3122 -x3123 -x3124 -x3125 -x3126 -x3127 -x3128 -x3129 -x3130 -x3131 -x3132 -x3133 -x3134 -x3135 -x3136 -x3137 -x3138 -x3139 -x3140 -x3141 -x3142 -x3143 -x3144 -x3145 -x3146 -x3147 -x3148 -x3149 -x3150 -x3151 x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159 -x3160 -x3161 x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176 -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 x3190 -x3191 -x3192 -x3193 -x3194 x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210 -x3211 -x3212 -x3213 -x3214 -x3215 -x3216 -x3217 -x3218 -x3219 -x3220 -x3221 -x3222 -x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229 -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 -x3236 -x3237 -x3238 -x3239 -x3240 -x3241 -x3242 -x3243 -x3244 -x3245 -x3246 -x3247 -x3248 -x3249 -x3250 -x3251 -x3252 -x3253 -x3254 -x3255 -x3256 -x3257 -x3258 -x3259 -x3260 -x3261 -x3262 -x3263 -x3264 -x3265 -x3266 -x3267 -x3268 -x3269 -x3270 x3271 -x3272 -x3273 -x3274 -x3275 -x3276 -x3277 -x3278 -x3279 -x3280 -x3281 -x3282 x3283 -x3284 -x3285 -x3286 -x3287 -x3288 -x3289 -x3290 -x3291 -x3292 -x3293 -x3294 -x3295 -x3296 -x3297 -x3298 -x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306 -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323 -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340 -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 x3354 -x3355 -x3356 -x3357 -x3358 -x3359 -x3360 -x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 x3369 -x3370 -x3371 -x3372 -x3373 -x3374 -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 -x3387 -x3388 -x3389 -x3390 -x3391 x3392 -x3393 -x3394 -x3395 -x3396 -x3397 -x3398 -x3399 -x3400 -x3401 -x3402 -x3403 -x3404 -x3405 -x3406 -x3407 -x3408 -x3409 -x3410 -x3411 -x3412 -x3413 -x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 x3421 -x3422 -x3423 -x3424 -x3425 -x3426 -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443 -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460 -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477 -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 -x3484 -x3485 -x3486 -x3487 -x3488 -x3489 -x3490 x3491 -x3492 -x3493 -x3494 -x3495 -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512 -x3513 -x3514 -x3515 -x3516 -x3517 -x3518 -x3519 -x3520 -x3521 -x3522 -x3523 -x3524 -x3525 -x3526 -x3527 -x3528 -x3529 -x3530 -x3531 -x3532 -x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 x3545 -x3546 -x3547 -x3548 -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565 -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582 -x3583 -x3584 -x3585 x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 x3596 -x3597 -x3598 -x3599 -x3600 -x3601 -x3602 -x3603 -x3604 -x3605 -x3606 -x3607 -x3608 -x3609 -x3610 -x3611 -x3612 -x3613 -x3614 -x3615 -x3616 -x3617 -x3618 -x3619 -x3620 -x3621 -x3622 -x3623 -x3624 -x3625 -x3626 -x3627 -x3628 -x3629 -x3630 x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637 -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654 -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671 -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 x3683 -x3684 -x3685 -x3686 -x3687 -x3688 -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 x3700 -x3701 -x3702 -x3703 -x3704 -x3705 -x3706 -x3707 -x3708 -x3709 x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722 -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739 -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 -x3751 -x3752 -x3753 -x3754 -x3755 -x3756 x3757 -x3758 -x3759 -x3760 -x3761 -x3762 -x3763 -x3764 -x3765 -x3766 -x3767 -x3768 -x3769 -x3770 -x3771 -x3772 -x3773 -x3774 -x3775 -x3776 -x3777 -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794 -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811 -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828 -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 -x3835 -x3836 x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845 -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862 -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 x3874 -x3875 -x3876 -x3877 -x3878 -x3879 -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896 -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 x3913 -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930 -x3931 -x3932 -x3933 -x3934 -x3935 -x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948 -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 -x3958 -x3959 -x3960 -x3961 -x3962 x3963 -x3964 -x3965 -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982 -x3983 -x3984 -x3985 -x3986 -x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000 -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017 -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034 -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051 -x4052 -x4053 -x4054 -x4055 -x4056 -x4057 -x4058 -x4059 -x4060 -x4061 -x4062 x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069 -x4070 -x4071 -x4072 -x4073 x4074 -x4075 -x4076 -x4077 -x4078 -x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086 -x4087 -x4088 -x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 -x4096 -x4097 -x4098 -x4099 -x4100 -x4101 -x4102 x4103 -x4104 -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 -x4115 -x4116 -x4117 -x4118 -x4119 x4120 -x4121 -x4122 -x4123 -x4124 -x4125 -x4126 -x4127 -x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140 -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157 -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174 -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191 -x4192 -x4193 -x4194 -x4195 -x4196 x4197 -x4198 -x4199 -x4200 -x4201 -x4202 -x4203 -x4204 -x4205 -x4206 -x4207 -x4208 -x4209 -x4210 -x4211 -x4212 -x4213 -x4214 -x4215 -x4216 -x4217 -x4218 -x4219 -x4220 -x4221 -x4222 -x4223 -x4224 -x4225 -x4226 -x4227 -x4228 -x4229 -x4230 -x4231 -x4232 -x4233 -x4234 -x4235 -x4236 -x4237 x4238 -x4239 -x4240 -x4241 -x4242 -x4243 -x4244 -x4245 -x4246 -x4247 -x4248 x4249 -x4250 -x4251 -x4252 -x4253 -x4254 -x4255 -x4256 -x4257 -x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268 -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285 -x4286 x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302 -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319 -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336 -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 -x4351 -x4352 -x4353 -x4354 -x4355 -x4356 -x4357 -x4358 -x4359 -x4360 -x4361 -x4362 -x4363 -x4364 -x4365 -x4366 -x4367 x4368 -x4369 -x4370 -x4371 -x4372 -x4373 -x4374 -x4375 -x4376 -x4377 -x4378 -x4379 -x4380 -x4381 -x4382 -x4383 -x4384 -x4385 -x4386 -x4387 -x4388 -x4389 -x4390 -x4391 -x4392 -x4393 -x4394 -x4395 -x4396 -x4397 -x4398 -x4399 -x4400 -x4401 -x4402 -x4403 -x4404 -x4405 -x4406 -x4407 -x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414 -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 x4427 -x4428 -x4429 -x4430 -x4431 -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448 -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 x4465 -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482 -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499 -x4500 -x4501 -x4502 -x4503 -x4504 -x4505 -x4506 -x4507 -x4508 -x4509 -x4510 -x4511 -x4512 x4513 -x4514 -x4515 -x4516 -x4517 -x4518 -x4519 -x4520 -x4521 -x4522 x4523 -x4524 -x4525 -x4526 -x4527 -x4528 -x4529 -x4530 -x4531 -x4532 -x4533 -x4534 -x4535 -x4536 -x4537 -x4538 -x4539 -x4540 -x4541 -x4542 -x4543 -x4544 -x4545 -x4546 -x4547 -x4548 -x4549 -x4550 -x4551 -x4552 -x4553 -x4554 -x4555 -x4556 -x4557 -x4558 -x4559 -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576 -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593 -x4594 x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610 -x4611 -x4612 x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627 -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644 -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 x4653 -x4654 -x4655 -x4656 -x4657 -x4658 -x4659 -x4660 -x4661 -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 x4671 -x4672 -x4673 -x4674 -x4675 -x4676 -x4677 -x4678 -x4679 -x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696 -x4697 -x4698 -x4699 -x4700 -x4701 x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713 -x4714 -x4715 -x4716 -x4717 -x4718 -x4719 -x4720 -x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731 -x4732 -x4733 -x4734 -x4735 -x4736 -x4737 -x4738 -x4739 -x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 x4747 -x4748 -x4749 -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766 -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783 -x4784 -x4785 -x4786 x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800 -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817 -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 -x4826 -x4827 -x4828 -x4829 -x4830 -x4831 x4832 -x4833 -x4834 -x4835 -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852 -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 -x4867 -x4868 -x4869 -x4870 -x4871 -x4872 x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886 -x4887 -x4888 -x4889 -x4890 -x4891 -x4892 -x4893 -x4894 -x4895 -x4896 -x4897 -x4898 -x4899 -x4900 -x4901 -x4902 -x4903 -x4904 x4905 -x4906 -x4907 -x4908 -x4909 -x4910 -x4911 -x4912 -x4913 -x4914 -x4915 -x4916 -x4917 -x4918 -x4919 -x4920 -x4921 -x4922 -x4923 -x4924 -x4925 -x4926 -x4927 -x4928 -x4929 -x4930 -x4931 -x4932 -x4933 -x4934 -x4935 -x4936 -x4937 -x4938 -x4939 -x4940 -x4941 -x4942 -x4943 -x4944 -x4945 -x4946 -x4947 -x4948 -x4949 -x4950 -x4951 -x4952 -x4953 -x4954 -x4955 -x4956 -x4957 -x4958 -x4959 -x4960 -x4961 -x4962 -x4963 -x4964 -x4965 -x4966 -x4967 -x4968 -x4969 -x4970 -x4971 -x4972 -x4973 -x4974 -x4975 -x4976 -x4977 -x4978 -x4979 -x4980 -x4981 -x4982 -x4983 -x4984 -x4985 -x4986 -x4987 -x4988 -x4989 -x4990 -x4991 x4992 -x4993 -x4994 -x4995 -x4996 -x4997 -x4998 -x4999 -x5000 -x5001 -x5002 -x5003 -x5004 -x5005 -x5006 -x5007 -x5008 -x5009 -x5010 -x5011 -x5012 -x5013 -x5014 -x5015 -x5016 -x5017 -x5018 -x5019 -x5020 -x5021 -x5022 x5023 -x5024 -x5025 -x5026 -x5027 -x5028 -x5029 -x5030 -x5031 -x5032 -x5033 -x5034 -x5035 -x5036 -x5037 -x5038 -x5039 -x5040 -x5041 -x5042 -x5043 x5044 -x5045 -x5046 -x5047 -x5048 -x5049 -x5050 -x5051 -x5052 -x5053 -x5054 -x5055 -x5056 -x5057 -x5058 -x5059 -x5060 -x5061 x5062 -x5063 -x5064 -x5065 -x5066 -x5067 -x5068 -x5069 -x5070 -x5071 x5072 -x5073 -x5074 -x5075 -x5076 -x5077 -x5078 -x5079 -x5080 -x5081 -x5082 -x5083 -x5084 -x5085 -x5086 -x5087 -x5088 -x5089 -x5090 -x5091 -x5092 -x5093 -x5094 -x5095 -x5096 -x5097 -x5098 -x5099 x5100 -x5101 -x5102 -x5103 -x5104 -x5105 -x5106 -x5107 -x5108 -x5109 -x5110 -x5111 -x5112 -x5113 -x5114 -x5115 -x5116 -x5117 -x5118 -x5119 -x5120 -x5121 -x5122 -x5123 -x5124 -x5125 -x5126 -x5127 -x5128 -x5129 -x5130 -x5131 -x5132 -x5133 -x5134 -x5135 -x5136 -x5137 -x5138 -x5139 -x5140 -x5141 -x5142 -x5143 -x5144 -x5145 -x5146 -x5147 -x5148 -x5149 -x5150 -x5151 -x5152 -x5153 -x5154 -x5155 -x5156 -x5157 -x5158 -x5159 -x5160 -x5161 -x5162 -x5163 -x5164 -x5165 -x5166 -x5167 -x5168 -x5169 -x5170 -x5171 -x5172 -x5173 -x5174 -x5175 -x5176 -x5177 -x5178 -x5179 -x5180 -x5181 x5182 -x5183 -x5184 -x5185 -x5186 -x5187 -x5188 -x5189 -x5190 -x5191 -x5192 -x5193 -x5194 -x5195 -x5196 -x5197 -x5198 -x5199 -x5200 -x5201 -x5202 -x5203 -x5204 -x5205 -x5206 -x5207 -x5208 -x5209 -x5210 x5211 -x5212 -x5213 -x5214 -x5215 -x5216 -x5217 -x5218 -x5219 -x5220 -x5221 -x5222 -x5223 -x5224 -x5225 -x5226 x5227 -x5228 -x5229 -x5230 -x5231 -x5232 -x5233 -x5234 -x5235 -x5236 -x5237 -x5238 -x5239 -x5240 -x5241 x5242 -x5243 -x5244 -x5245 -x5246 -x5247 -x5248 -x5249 -x5250 -x5251 -x5252 -x5253 -x5254 -x5255 -x5256 -x5257 -x5258 -x5259 -x5260 -x5261 -x5262 -x5263 -x5264 -x5265 -x5266 -x5267 -x5268 -x5269 -x5270 -x5271 -x5272 -x5273 -x5274 -x5275 -x5276 -x5277 -x5278 -x5279 -x5280 -x5281 -x5282 -x5283 -x5284 -x5285 -x5286 -x5287 -x5288 -x5289 -x5290 -x5291 -x5292 -x5293 -x5294 -x5295 -x5296 -x5297 -x5298 -x5299 -x5300 -x5301 -x5302 -x5303 -x5304 -x5305 -x5306 -x5307 -x5308 -x5309 -x5310 -x5311 -x5312 -x5313 x5314 -x5315 -x5316 -x5317 -x5318 -x5319 -x5320 -x5321 -x5322 -x5323 -x5324 x5325 -x5326 -x5327 -x5328 -x5329 -x5330 -x5331 -x5332 -x5333 -x5334 -x5335 -x5336 -x5337 -x5338 -x5339 -x5340 -x5341 -x5342 -x5343 -x5344 -x5345 -x5346 -x5347 -x5348 -x5349 -x5350 -x5351 -x5352 -x5353 -x5354 -x5355 -x5356 -x5357 -x5358 -x5359 -x5360 -x5361 -x5362 -x5363 -x5364 -x5365 -x5366 -x5367 -x5368 -x5369 x5370 -x5371 -x5372 -x5373 -x5374 -x5375 -x5376 -x5377 -x5378 -x5379 -x5380 -x5381 -x5382 -x5383 -x5384 -x5385 -x5386 -x5387 -x5388 -x5389 -x5390 -x5391 -x5392 -x5393 -x5394 -x5395 -x5396 -x5397 -x5398 -x5399 -x5400 -x5401 -x5402 -x5403 -x5404 -x5405 -x5406 -x5407 -x5408 -x5409 -x5410 -x5411 -x5412 -x5413 -x5414 -x5415 -x5416 -x5417 -x5418 -x5419 -x5420 -x5421 -x5422 -x5423 -x5424 -x5425 -x5426 -x5427 -x5428 -x5429 -x5430 -x5431 -x5432 x5433 -x5434 -x5435 -x5436 -x5437 -x5438 -x5439 -x5440 -x5441 -x5442 -x5443 -x5444 -x5445 -x5446 -x5447 -x5448 -x5449 -x5450 -x5451 -x5452 -x5453 -x5454 -x5455 -x5456 -x5457 -x5458 -x5459 -x5460 -x5461 -x5462 -x5463 -x5464 -x5465 -x5466 -x5467 -x5468 -x5469 -x5470 -x5471 -x5472 -x5473 -x5474 -x5475 -x5476 -x5477 -x5478 x5479 -x5480 -x5481 -x5482 -x5483 -x5484 -x5485 -x5486 -x5487 -x5488 -x5489 -x5490 -x5491 -x5492 -x5493 -x5494 -x5495 -x5496 -x5497 -x5498 -x5499 -x5500 -x5501 -x5502 -x5503 -x5504 -x5505 -x5506 -x5507 -x5508 -x5509 -x5510 -x5511 -x5512 -x5513 -x5514 -x5515 -x5516 -x5517 -x5518 -x5519 -x5520 -x5521 -x5522 -x5523 x5524 -x5525 -x5526 -x5527 -x5528 -x5529 -x5530 -x5531 x5532 -x5533 -x5534 -x5535 -x5536 -x5537 -x5538 -x5539 -x5540 -x5541 -x5542 -x5543 -x5544 -x5545 -x5546 -x5547 -x5548 -x5549 -x5550 -x5551 -x5552 -x5553 -x5554 -x5555 -x5556 -x5557 -x5558 -x5559 -x5560 -x5561 -x5562 -x5563 -x5564 -x5565 -x5566 -x5567 -x5568 -x5569 -x5570 -x5571 -x5572 -x5573 -x5574 -x5575 -x5576 -x5577 -x5578 -x5579 -x5580 -x5581 -x5582 -x5583 -x5584 -x5585 -x5586 -x5587 -x5588 -x5589 -x5590 -x5591 -x5592 -x5593 -x5594 -x5595 -x5596 -x5597 -x5598 -x5599 -x5600 -x5601 -x5602 -x5603 -x5604 -x5605 -x5606 -x5607 -x5608 -x5609 -x5610 -x5611 -x5612 -x5613 x5614 -x5615 -x5616 -x5617 -x5618 -x5619 -x5620 -x5621 -x5622 -x5623 -x5624 -x5625 -x5626 -x5627 -x5628 -x5629 -x5630 -x5631 -x5632 x5633 -x5634 -x5635 -x5636 -x5637 -x5638 -x5639 -x5640 -x5641 -x5642 x5643 -x5644 -x5645 -x5646 -x5647 -x5648 -x5649 -x5650 -x5651 -x5652 -x5653 -x5654 -x5655 -x5656 -x5657 -x5658 -x5659 -x5660 -x5661 -x5662 -x5663 -x5664 -x5665 -x5666 -x5667 -x5668 -x5669 -x5670 -x5671 -x5672 -x5673 -x5674 -x5675 -x5676 -x5677 -x5678 -x5679 -x5680 -x5681 -x5682 -x5683 -x5684 -x5685 -x5686 -x5687 -x5688 -x5689 -x5690 -x5691 -x5692 -x5693 -x5694 -x5695 -x5696 -x5697 -x5698 -x5699 -x5700 -x5701 -x5702 x5703 -x5704 -x5705 -x5706 -x5707 -x5708 -x5709 -x5710 -x5711 -x5712 -x5713 -x5714 -x5715 -x5716 -x5717 -x5718 -x5719 -x5720 -x5721 -x5722 -x5723 -x5724 -x5725 -x5726 -x5727 -x5728 -x5729 -x5730 x5731 -x5732 -x5733 -x5734 -x5735 -x5736 -x5737 -x5738 -x5739 -x5740 -x5741 -x5742 -x5743 -x5744 -x5745 -x5746 -x5747 -x5748 -x5749 -x5750 -x5751 -x5752 -x5753 -x5754 -x5755 -x5756 -x5757 -x5758 -x5759 -x5760 -x5761 -x5762 -x5763 -x5764 -x5765 -x5766 -x5767 -x5768 -x5769 -x5770 -x5771 -x5772 -x5773 -x5774 -x5775 -x5776 -x5777 -x5778 -x5779 -x5780 -x5781 -x5782 -x5783 -x5784 -x5785 -x5786 -x5787 -x5788 -x5789 -x5790 -x5791 -x5792 -x5793 -x5794 -x5795 -x5796 -x5797 -x5798 -x5799 -x5800 -x5801 -x5802 -x5803 -x5804 x5805 -x5806 -x5807 -x5808 -x5809 -x5810 -x5811 -x5812 -x5813 -x5814 -x5815 -x5816 -x5817 -x5818 -x5819 -x5820 -x5821 -x5822 -x5823 -x5824 -x5825 -x5826 -x5827 -x5828 -x5829 -x5830 -x5831 -x5832 -x5833 -x5834 -x5835 -x5836 -x5837 -x5838 -x5839 -x5840 -x5841 -x5842 -x5843 -x5844 -x5845 -x5846 -x5847 -x5848 -x5849 -x5850 -x5851 -x5852 -x5853 -x5854 -x5855 -x5856 -x5857 x5858 -x5859 -x5860 -x5861 -x5862 -x5863 -x5864 -x5865 -x5866 -x5867 -x5868 -x5869 -x5870 -x5871 -x5872 -x5873 -x5874 -x5875 -x5876 -x5877 -x5878 -x5879 -x5880 -x5881 -x5882 -x5883 -x5884 -x5885 -x5886 -x5887 -x5888 -x5889 -x5890 -x5891 -x5892 -x5893 x5894 -x5895 -x5896 -x5897 -x5898 -x5899 -x5900 x5901 -x5902 -x5903 -x5904 -x5905 -x5906 -x5907 -x5908 -x5909 -x5910 -x5911 -x5912 -x5913 -x5914 -x5915 -x5916 -x5917 -x5918 -x5919 -x5920 -x5921 -x5922 -x5923 -x5924 -x5925 -x5926 -x5927 -x5928 -x5929 -x5930 -x5931 -x5932 -x5933 -x5934 -x5935 -x5936 -x5937 -x5938 -x5939 -x5940 -x5941 -x5942 -x5943 -x5944 -x5945 -x5946 -x5947 -x5948 -x5949 -x5950 -x5951 -x5952 -x5953 -x5954 -x5955 -x5956 -x5957 -x5958 -x5959 -x5960 x5961 -x5962 -x5963 -x5964 -x5965 -x5966 -x5967 -x5968 -x5969 -x5970 -x5971 -x5972 -x5973 -x5974 -x5975 -x5976 -x5977 -x5978 -x5979 -x5980 -x5981 -x5982 -x5983 -x5984 -x5985 -x5986 -x5987 -x5988 -x5989 -x5990 -x5991 -x5992 -x5993 -x5994 -x5995 -x5996 -x5997 -x5998 -x5999 -x6000 -x6001 -x6002 -x6003 x6004 -x6005 -x6006 -x6007 -x6008 -x6009 -x6010 -x6011 -x6012 -x6013 -x6014 -x6015 -x6016 -x6017 x6018 -x6019 -x6020 -x6021 -x6022 -x6023 -x6024 -x6025 -x6026 -x6027 -x6028 -x6029 -x6030 -x6031 -x6032 -x6033 -x6034 -x6035 -x6036 -x6037 -x6038 -x6039 -x6040 -x6041 -x6042 -x6043 -x6044 -x6045 -x6046 -x6047 -x6048 -x6049 -x6050 -x6051 -x6052 -x6053 -x6054 -x6055 -x6056 -x6057 -x6058 -x6059 -x6060 -x6061 -x6062 -x6063 -x6064 -x6065 -x6066 -x6067 -x6068 -x6069 -x6070 -x6071 -x6072 -x6073 -x6074 -x6075 -x6076 -x6077 -x6078 -x6079 -x6080 x6081 -x6082 -x6083 -x6084 -x6085 -x6086 -x6087 -x6088 -x6089 -x6090 -x6091 -x6092 -x6093 -x6094 -x6095 -x6096 -x6097 x6098 -x6099 -x6100 -x6101 -x6102 -x6103 -x6104 -x6105 -x6106 -x6107 -x6108 -x6109 -x6110 -x6111 -x6112 -x6113 -x6114 -x6115 -x6116 -x6117 -x6118 -x6119 -x6120 -x6121 -x6122 -x6123 -x6124 -x6125 -x6126 -x6127 -x6128 -x6129 -x6130 -x6131 -x6132 -x6133 -x6134 -x6135 -x6136 -x6137 -x6138 -x6139 -x6140 -x6141 -x6142 -x6143 -x6144 -x6145 -x6146 -x6147 -x6148 -x6149 -x6150 -x6151 -x6152 -x6153 -x6154 -x6155 -x6156 -x6157 x6158 -x6159 -x6160 -x6161 -x6162 -x6163 -x6164 -x6165 -x6166 -x6167 -x6168 -x6169 -x6170 -x6171 -x6172 -x6173 -x6174 -x6175 -x6176 -x6177 -x6178 -x6179 -x6180 -x6181 -x6182 -x6183 -x6184 -x6185 -x6186 -x6187 -x6188 -x6189 -x6190 -x6191 -x6192 -x6193 -x6194 -x6195 -x6196 -x6197 -x6198 -x6199 -x6200 -x6201 -x6202 x6203 -x6204 -x6205 -x6206 -x6207 -x6208 -x6209 -x6210 -x6211 -x6212 -x6213 -x6214 -x6215 -x6216 -x6217 -x6218 -x6219 -x6220 -x6221 -x6222 -x6223 -x6224 -x6225 -x6226 -x6227 -x6228 -x6229 -x6230 -x6231 -x6232 -x6233 -x6234 -x6235 -x6236 -x6237 -x6238 -x6239 -x6240 -x6241 -x6242 -x6243 -x6244 -x6245 -x6246 -x6247 -x6248 -x6249 -x6250 -x6251 -x6252 -x6253 -x6254 -x6255 -x6256 -x6257 -x6258 -x6259 -x6260 x6261 -x6262 -x6263 -x6264 -x6265 -x6266 -x6267 -x6268 -x6269 -x6270 -x6271 -x6272 -x6273 -x6274 -x6275 -x6276 -x6277 -x6278 -x6279 -x6280 -x6281 -x6282 -x6283 -x6284 -x6285 -x6286 -x6287 -x6288 -x6289 -x6290 -x6291 -x6292 -x6293 -x6294 -x6295 -x6296 -x6297 -x6298 -x6299 -x6300 x6301 -x6302 -x6303 -x6304 -x6305 -x6306 -x6307 -x6308 -x6309 -x6310 -x6311 -x6312 -x6313 -x6314 -x6315 -x6316 -x6317 -x6318 -x6319 -x6320 -x6321 -x6322 -x6323 -x6324 -x6325 -x6326 -x6327 -x6328 -x6329 -x6330 -x6331 -x6332 -x6333 -x6334 -x6335 -x6336 -x6337 -x6338 -x6339 -x6340 -x6341 -x6342 -x6343 -x6344 -x6345 -x6346 x6347 -x6348 -x6349 -x6350 -x6351 -x6352 -x6353 -x6354 -x6355 -x6356 -x6357 -x6358 -x6359 -x6360 -x6361 -x6362 -x6363 -x6364 -x6365 -x6366 -x6367 -x6368 -x6369 -x6370 -x6371 -x6372 -x6373 -x6374 -x6375 -x6376 -x6377 -x6378 -x6379 -x6380 -x6381 -x6382 -x6383 -x6384 -x6385 -x6386 -x6387 -x6388 -x6389 -x6390 x6391 -x6392 -x6393 -x6394 -x6395 -x6396 -x6397 -x6398 -x6399 -x6400 -x6401 -x6402 -x6403 -x6404 -x6405 -x6406 -x6407 -x6408 -x6409 -x6410 -x6411 -x6412 -x6413 -x6414 -x6415 -x6416 x6417 -x6418 -x6419 -x6420 -x6421 -x6422 -x6423 -x6424 -x6425 -x6426 -x6427 -x6428 -x6429 -x6430 -x6431 -x6432 -x6433 -x6434 -x6435 -x6436 -x6437 -x6438 -x6439 -x6440 -x6441 -x6442 -x6443 -x6444 x6445 -x6446 -x6447 -x6448 -x6449 -x6450 -x6451 -x6452 -x6453 -x6454 -x6455 -x6456 -x6457 -x6458 -x6459 -x6460 -x6461 -x6462 -x6463 -x6464 -x6465 -x6466 -x6467 -x6468 -x6469 -x6470 -x6471 -x6472 -x6473 -x6474 -x6475 -x6476 -x6477 -x6478 -x6479 -x6480 -x6481 -x6482 -x6483 -x6484 -x6485 -x6486 -x6487 -x6488 -x6489 -x6490 -x6491 -x6492 -x6493 -x6494 -x6495 -x6496 -x6497 -x6498 -x6499 -x6500 -x6501 -x6502 x6503 -x6504 -x6505 -x6506 -x6507 -x6508 -x6509 -x6510 -x6511 -x6512 -x6513 -x6514 -x6515 -x6516 -x6517 -x6518 -x6519 -x6520 -x6521 -x6522 -x6523 -x6524 -x6525 -x6526 -x6527 -x6528 -x6529 -x6530 -x6531 -x6532 -x6533 -x6534 -x6535 -x6536 -x6537 -x6538 -x6539 -x6540 -x6541 -x6542 -x6543 -x6544 x6545 -x6546 -x6547 -x6548 -x6549 -x6550 -x6551 -x6552 -x6553 -x6554 -x6555 -x6556 -x6557 -x6558 -x6559 -x6560 -x6561 -x6562 -x6563 -x6564 -x6565 -x6566 -x6567 -x6568 -x6569 -x6570 -x6571 -x6572 -x6573 -x6574 -x6575 -x6576 -x6577 -x6578 -x6579 -x6580 -x6581 -x6582 -x6583 -x6584 -x6585 -x6586 -x6587 x6588 -x6589 -x6590 -x6591 -x6592 -x6593 -x6594 -x6595 -x6596 -x6597 -x6598 -x6599 -x6600 -x6601 -x6602 -x6603 -x6604 -x6605 -x6606 -x6607 -x6608 -x6609 -x6610 -x6611 -x6612 -x6613 -x6614 -x6615 -x6616 -x6617 -x6618 -x6619 -x6620 -x6621 -x6622 -x6623 -x6624 -x6625 -x6626 -x6627 -x6628 -x6629 x6630 -x6631 -x6632 -x6633 -x6634 -x6635 -x6636 -x6637 -x6638 -x6639 -x6640 -x6641 -x6642 -x6643 -x6644 -x6645 -x6646 -x6647 -x6648 -x6649 -x6650 -x6651 -x6652 -x6653 -x6654 -x6655 -x6656 -x6657 -x6658 -x6659 -x6660 -x6661 -x6662 -x6663 -x6664 -x6665 -x6666 -x6667 -x6668 -x6669 -x6670 -x6671 -x6672 -x6673 -x6674 -x6675 -x6676 -x6677 -x6678 -x6679 -x6680 -x6681 -x6682 -x6683 -x6684 -x6685 -x6686 -x6687 -x6688 -x6689 -x6690 -x6691 -x6692 -x6693 x6694 -x6695 -x6696 -x6697 -x6698 -x6699 -x6700 -x6701 -x6702 -x6703 -x6704 -x6705 -x6706 -x6707 -x6708 -x6709 -x6710 -x6711 -x6712 -x6713 -x6714 -x6715 -x6716 -x6717 -x6718 -x6719 -x6720 -x6721 -x6722 -x6723 -x6724 -x6725 -x6726 -x6727 -x6728 -x6729 -x6730 -x6731 -x6732 -x6733 -x6734 -x6735 -x6736 -x6737 -x6738 x6739 -x6740 -x6741 -x6742 -x6743 -x6744 -x6745 -x6746 -x6747 -x6748 -x6749 -x6750 x6751 -x6752 -x6753 -x6754 -x6755 -x6756 -x6757 -x6758 -x6759 -x6760 -x6761 -x6762 -x6763 -x6764 -x6765 -x6766 -x6767 -x6768 -x6769 -x6770 -x6771 -x6772 -x6773 -x6774 -x6775 -x6776 -x6777 -x6778 -x6779 -x6780 -x6781 -x6782 -x6783 -x6784 -x6785 -x6786 -x6787 -x6788 -x6789 -x6790 -x6791 -x6792 -x6793 -x6794 -x6795 -x6796 x6797 -x6798 -x6799 -x6800 -x6801 -x6802 -x6803 -x6804 -x6805 -x6806 -x6807 -x6808 -x6809 -x6810 -x6811 -x6812 -x6813 -x6814 -x6815 -x6816 -x6817 -x6818 -x6819 -x6820 -x6821 -x6822 -x6823 -x6824 -x6825 -x6826 -x6827 -x6828 -x6829 -x6830 -x6831 x6832 -x6833 -x6834 -x6835 -x6836 -x6837 -x6838 -x6839 -x6840 -x6841 -x6842 -x6843 -x6844 -x6845 -x6846 -x6847 -x6848 -x6849 x6850 -x6851 -x6852 -x6853 -x6854 -x6855 -x6856 -x6857 -x6858 -x6859 -x6860 -x6861 -x6862 -x6863 -x6864 -x6865 -x6866 -x6867 -x6868 -x6869 -x6870 -x6871 -x6872 -x6873 -x6874 -x6875 -x6876 -x6877 -x6878 -x6879 -x6880 -x6881 -x6882 -x6883 -x6884 -x6885 -x6886 -x6887 -x6888 -x6889 -x6890 -x6891 -x6892 -x6893 -x6894 -x6895 -x6896 -x6897 -x6898 -x6899 -x6900 -x6901 -x6902 -x6903 -x6904 -x6905 -x6906 -x6907 -x6908 -x6909 -x6910 -x6911 -x6912 -x6913 -x6914 -x6915 -x6916 -x6917 -x6918 -x6919 -x6920 -x6921 -x6922 -x6923 -x6924 x6925 -x6926 -x6927 -x6928 -x6929 -x6930 -x6931 -x6932 -x6933 -x6934 -x6935 -x6936 -x6937 -x6938 -x6939 -x6940 -x6941 -x6942 -x6943 -x6944 -x6945 -x6946 -x6947 -x6948 -x6949 -x6950 -x6951 -x6952 -x6953 -x6954 -x6955 -x6956 -x6957 -x6958 -x6959 -x6960 -x6961 -x6962 -x6963 x6964 -x6965 -x6966 -x6967 -x6968 -x6969 -x6970 -x6971 -x6972 -x6973 -x6974 -x6975 -x6976 -x6977 -x6978 x6979 -x6980 -x6981 -x6982 -x6983 -x6984 -x6985 -x6986 -x6987 -x6988 -x6989 -x6990 -x6991 -x6992 -x6993 -x6994 -x6995 -x6996 -x6997 -x6998 -x6999 -x7000 -x7001 -x7002 -x7003 -x7004 -x7005 -x7006 -x7007 -x7008 -x7009 -x7010 -x7011 -x7012 -x7013 -x7014 -x7015 -x7016 -x7017 -x7018 -x7019 -x7020 -x7021 x7022 -x7023 -x7024 -x7025 -x7026 -x7027 -x7028 -x7029 -x7030 -x7031 -x7032 -x7033 -x7034 -x7035 -x7036 -x7037 -x7038 -x7039 -x7040 -x7041 -x7042 -x7043 -x7044 -x7045 -x7046 -x7047 -x7048 -x7049 -x7050 -x7051 -x7052 -x7053 -x7054 -x7055 -x7056 -x7057 -x7058 -x7059 -x7060 -x7061 -x7062 -x7063 -x7064 -x7065 -x7066 -x7067 -x7068 -x7069 -x7070 -x7071 -x7072 -x7073 -x7074 -x7075 -x7076 -x7077 -x7078 -x7079 x7080 -x7081 -x7082 -x7083 -x7084 -x7085 -x7086 -x7087 -x7088 -x7089 -x7090 -x7091 -x7092 -x7093 -x7094 -x7095 -x7096 -x7097 -x7098 -x7099 -x7100 -x7101 -x7102 -x7103 -x7104 -x7105 -x7106 -x7107 -x7108 -x7109 -x7110 -x7111 x7112 -x7113 -x7114 -x7115 -x7116 -x7117 -x7118 -x7119 -x7120 -x7121 -x7122 -x7123 -x7124 -x7125 -x7126 -x7127 -x7128 -x7129 -x7130 -x7131 -x7132 -x7133 -x7134 -x7135 -x7136 -x7137 -x7138 -x7139 -x7140 -x7141 -x7142 -x7143 -x7144 -x7145 -x7146 -x7147 -x7148 -x7149 -x7150 -x7151 -x7152 -x7153 -x7154 -x7155 -x7156 -x7157 -x7158 -x7159 -x7160 -x7161 -x7162 -x7163 -x7164 -x7165 -x7166 -x7167 -x7168 -x7169 -x7170 -x7171 -x7172 -x7173 -x7174 -x7175 -x7176 -x7177 -x7178 -x7179 -x7180 -x7181 -x7182 -x7183 x7184 -x7185 x7186 -x7187 -x7188 -x7189 -x7190 -x7191 -x7192 -x7193 -x7194 -x7195 -x7196 -x7197 -x7198 -x7199 -x7200 -x7201 -x7202 -x7203 -x7204 -x7205 -x7206 -x7207 -x7208 -x7209 -x7210 -x7211 -x7212 -x7213 -x7214 -x7215 -x7216 -x7217 -x7218 -x7219 -x7220 -x7221 -x7222 -x7223 -x7224 -x7225 -x7226 -x7227 -x7228 -x7229 -x7230 -x7231 -x7232 -x7233 -x7234 -x7235 -x7236 -x7237 -x7238 -x7239 -x7240 -x7241 -x7242 -x7243 -x7244 -x7245 -x7246 -x7247 -x7248 -x7249 x7250 -x7251 -x7252 -x7253 -x7254 x7255 -x7256 -x7257 -x7258 -x7259 -x7260 -x7261 -x7262 -x7263 -x7264 -x7265 -x7266 -x7267 -x7268 -x7269 -x7270 -x7271 -x7272 -x7273 -x7274 -x7275 -x7276 -x7277 -x7278 -x7279 -x7280 -x7281 -x7282 -x7283 -x7284 -x7285 -x7286 -x7287 -x7288 -x7289 -x7290 -x7291 -x7292 -x7293 -x7294 -x7295 -x7296 -x7297 x7298 -x7299 -x7300 -x7301 -x7302 -x7303 -x7304 -x7305 -x7306 -x7307 -x7308 -x7309 -x7310 -x7311 -x7312 -x7313 -x7314 x7315 -x7316 -x7317 -x7318 -x7319 -x7320 -x7321 -x7322 -x7323 -x7324 -x7325 -x7326 -x7327 -x7328 -x7329 -x7330 -x7331 -x7332 -x7333 -x7334 -x7335 -x7336 -x7337 -x7338 -x7339 -x7340 -x7341 -x7342 x7343 -x7344 -x7345 -x7346 -x7347 -x7348 -x7349 -x7350 -x7351 -x7352 -x7353 -x7354 -x7355 -x7356 -x7357 -x7358 -x7359 -x7360 -x7361 -x7362 -x7363 -x7364 -x7365 -x7366 -x7367 -x7368 -x7369 -x7370 -x7371 -x7372 -x7373 -x7374 -x7375 -x7376 -x7377 -x7378 -x7379 -x7380 -x7381 -x7382 -x7383 -x7384 -x7385 -x7386 -x7387 -x7388 -x7389 -x7390 -x7391 -x7392 -x7393 -x7394 -x7395 -x7396 -x7397 -x7398 -x7399 -x7400 -x7401 -x7402 -x7403 -x7404 -x7405 x7406 -x7407 -x7408 -x7409 -x7410 -x7411 x7412 -x7413 -x7414 -x7415 -x7416 -x7417 -x7418 -x7419 -x7420 -x7421 -x7422 -x7423 -x7424 -x7425 -x7426 -x7427 -x7428 -x7429 -x7430 -x7431 -x7432 -x7433 -x7434 -x7435 -x7436 -x7437 -x7438 -x7439 -x7440 -x7441 -x7442 -x7443 x7444 -x7445 -x7446 -x7447 -x7448 -x7449 -x7450 -x7451 -x7452 -x7453 -x7454 -x7455 -x7456 -x7457 -x7458 -x7459 -x7460 -x7461 -x7462 -x7463 x7464 -x7465 -x7466 -x7467 -x7468 -x7469 -x7470 -x7471 -x7472 -x7473 -x7474 -x7475 -x7476 -x7477 -x7478 -x7479 -x7480 -x7481 -x7482 -x7483 -x7484 -x7485 -x7486 -x7487 -x7488 -x7489 -x7490 -x7491 -x7492 -x7493 -x7494 -x7495 -x7496 -x7497 -x7498 -x7499 -x7500 -x7501 -x7502 -x7503 -x7504 -x7505 -x7506 -x7507 -x7508 -x7509 -x7510 -x7511 -x7512 -x7513 -x7514 -x7515 -x7516 -x7517 -x7518 -x7519 -x7520 -x7521 -x7522 -x7523 -x7524 -x7525 -x7526 -x7527 -x7528 -x7529 -x7530 -x7531 -x7532 -x7533 -x7534 -x7535 -x7536 x7537 -x7538 -x7539 -x7540 -x7541 -x7542 
3600.02/3602.79	c objective function=53720
3600.02/3602.79	c Total wall clock time (in seconds): 3602.657

OK	45748

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63708 MiB (52727 MiB free)
  memory of node 1: 64465 MiB (48382 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4526684-1751635606/watcher-4526684-1751635606 -o /tmp/evaluation-result-4526684-1751635606/solver-4526684-1751635606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751628188-90090 --watchdog 3760 java -jar sat4j-pb.jar Resolution HOME/instance-4526684-1751635606.wbo 

running on 2 cores: 5,7

CPU governors:
  performance: 5 7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 5.14.0-503.14.1.el9_5.x86_64
Linux 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=94574, runsolver pid=94571

[startup+0.100059 s]*
/proc/loadavg: 4.14 4.14 4.10 5/340 94592
/proc/meminfo: memFree=103509388/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=18930384 memory=55788 CPUtime=0.12 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 6554 0 0 0 10 2 0 0 20 0 18 0 79183122 19384713216 13947 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4732596 13947 5364 1 0 547603 0
[pid=94574/tid=94576] ppid=94571 vsize=18930384 memory=4026531960 CPUtime=0.07 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 5059 0 0 0 6 1 0 0 20 0 18 0 79183123 19384713216 13947 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=18930384 memory=237112656212 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79183125 19384713216 13947 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=18930384 memory=60684515937227 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 79183126 19384713216 13947 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 55788 KiB

[startup+0.20584 s]*
/proc/loadavg: 4.14 4.14 4.10 7/340 94592
/proc/meminfo: memFree=103483804/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=18930384 memory=86508 CPUtime=0.31 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 7021 0 0 0 28 3 0 0 20 0 18 0 79183122 19384713216 21627 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4732596 21627 5428 1 0 547906 0
[pid=94574/tid=94576] ppid=94571 vsize=18930384 memory=4026794268 CPUtime=0.17 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 5287 0 0 0 15 2 0 0 20 0 18 0 79183123 19384713216 21627 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=18930384 memory=16124 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79183125 19384713216 21627 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=18930384 memory=59585004307431 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 79183126 19384713216 21627 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 86508 KiB

[startup+0.305798 s]*
/proc/loadavg: 4.14 4.14 4.10 7/340 94592
/proc/meminfo: memFree=103439128/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=18930384 memory=127556 CPUtime=0.51 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 8537 0 0 0 47 4 0 0 20 0 18 0 79183122 19384713216 31889 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4732596 31889 5428 1 0 548897 0
[pid=94574/tid=94576] ppid=94571 vsize=18930384 memory=-6000919502737729638 CPUtime=0.26 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 5308 0 0 0 23 3 0 0 20 0 18 0 79183123 19384713216 31889 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 18 0 79183125 19384713216 31889 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=18930384 memory=0 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 18 0 79183126 19384713216 31889 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 18930384 KiB
Current children cumulated memory: 127556 KiB

[startup+0.700224 s]
/proc/loadavg: 4.14 4.14 4.10 6/341 94593
/proc/meminfo: memFree=103394072/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=18996948 memory=211132 CPUtime=1.26 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 13739 0 0 0 119 7 0 0 20 0 19 0 79183122 19452874752 52783 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4749237 52783 5460 1 0 552144 0
[pid=94574/tid=94576] ppid=94571 vsize=18996948 memory=18816 CPUtime=0.56 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) S 94571 94574 90077 0 -1 4194368 5327 0 0 0 52 4 0 0 20 0 19 0 79183123 19452874752 52783 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79183125 19452874752 52783 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=18996948 memory=3328 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 79183126 19452874752 52783 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 1.26 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 211132 KiB

[startup+1.50022 s]
/proc/loadavg: 4.14 4.14 4.10 6/341 94593
/proc/meminfo: memFree=103270516/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=18996948 memory=626652 CPUtime=2.57 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 15429 0 0 0 242 15 0 0 20 0 19 0 79183122 19452874752 156663 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4749237 156663 5460 1 0 1417507 0
[pid=94574/tid=94576] ppid=94571 vsize=18996948 memory=3328 CPUtime=1.12 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) S 94571 94574 90077 0 -1 4194368 5474 0 0 0 103 9 0 0 20 0 19 0 79183123 19452874752 156663 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79183125 19452874752 156663 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=18996948 memory=10752 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 79183126 19452874752 156663 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 2.57 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 626652 KiB

[startup+3.10572 s]
/proc/loadavg: 4.13 4.14 4.10 6/341 94593
/proc/meminfo: memFree=102090768/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=18996948 memory=1506644 CPUtime=4.65 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 17257 0 0 0 433 32 0 0 20 0 19 0 79183122 19452874752 376661 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4749237 376661 5460 1 0 2397243 0
[pid=94574/tid=94576] ppid=94571 vsize=18996948 memory=10752 CPUtime=2.22 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 5764 0 0 0 205 17 0 0 20 0 19 0 79183123 19452874752 376661 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=18996948 memory=0 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 19 0 79183125 19452874752 376661 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=18996948 memory=5632 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 19 0 79183126 19452874752 376661 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 18996948 KiB
Current children cumulated memory: 1506644 KiB

[startup+6.30022 s]
/proc/loadavg: 4.13 4.14 4.10 5/342 94594
/proc/meminfo: memFree=101851940/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=19063512 memory=1711008 CPUtime=9.02 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 18766 0 0 0 866 36 0 0 20 0 20 0 79183122 19521036288 427752 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4765878 427752 5492 1 0 2398486 0
[pid=94574/tid=94576] ppid=94571 vsize=19063512 memory=5632 CPUtime=5.25 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 6642 0 0 0 506 19 0 0 20 0 20 0 79183123 19521036288 427752 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79183125 19521036288 427752 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 79183126 19521036288 427752 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94594] ppid=94571 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/94574/task/94594/stat : 94594 (Timer-0) S 94571 94574 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79183508 19521036288 427752 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 9.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1711008 KiB

[startup+12.7002 s]
/proc/loadavg: 4.12 4.13 4.09 5/342 94594
/proc/meminfo: memFree=101851940/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=19063512 memory=1711008 CPUtime=15.47 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 19065 0 0 0 1511 36 0 0 20 0 20 0 79183122 19521036288 427752 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4765878 427752 5492 1 0 2398486 0
[pid=94574/tid=94576] ppid=94571 vsize=19063512 memory=10752 CPUtime=11.64 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 6772 0 0 0 1145 19 0 0 20 0 20 0 79183123 19521036288 427752 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=19063512 memory=1711008 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79183125 19521036288 427752 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 79183126 19521036288 427752 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94594] ppid=94571 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/94574/task/94594/stat : 94594 (Timer-0) S 94571 94574 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79183508 19521036288 427752 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 15.47 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1711008 KiB

[startup+25.5002 s]
/proc/loadavg: 4.09 4.13 4.09 5/342 94594
/proc/meminfo: memFree=101712852/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=19063512 memory=1853060 CPUtime=28.94 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 25550 0 0 0 2853 41 0 0 20 0 20 0 79183122 19521036288 463265 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4765878 463265 5492 1 0 2398526 0
[pid=94574/tid=94576] ppid=94571 vsize=19063512 memory=1711008 CPUtime=24.4 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 9241 0 0 0 2418 22 0 0 20 0 20 0 79183123 19521036288 463265 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=19063512 memory=1853060 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79183125 19521036288 463265 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=19063512 memory=0 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 79183126 19521036288 463265 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94594] ppid=94571 vsize=19063512 memory=1711008 CPUtime=0 cores=5,7
/proc/94574/task/94594/stat : 94594 (Timer-0) S 94571 94574 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79183508 19521036288 463265 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 28.94 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 1853060 KiB

[startup+51.1058 s]
/proc/loadavg: 4.12 4.13 4.09 5/342 94594
/proc/meminfo: memFree=101712860/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=19063512 memory=1853188 CPUtime=54.6 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 29109 0 0 0 5418 42 0 0 20 0 20 0 79183122 19521036288 463297 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4765878 463297 5492 1 0 2398539 0
[pid=94574/tid=94576] ppid=94571 vsize=19063512 memory=219899232572 CPUtime=49.95 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 10455 0 0 0 4973 22 0 0 20 0 20 0 79183123 19521036288 463297 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=19063512 memory=1853188 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79183125 19521036288 463297 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=19063512 memory=10752 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 25 0 0 0 0 0 0 0 20 0 20 0 79183126 19521036288 463297 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94594] ppid=94571 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/94574/task/94594/stat : 94594 (Timer-0) S 94571 94574 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79183508 19521036288 463297 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 54.6 s
Current children cumulated vsize: 19063512 KiB

################
# More data... #
################

[startup+3282.3 s]
/proc/loadavg: 4.10 4.12 4.10 5/344 94895
/proc/meminfo: memFree=121961768/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=19063512 memory=2164124 CPUtime=3280.32 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 54831 0 0 0 327928 104 0 0 20 0 20 0 79183122 19521036288 541031 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4765878 541031 5524 1 0 2952103 0
[pid=94574/tid=94576] ppid=94571 vsize=19063512 memory=2162076 CPUtime=3273.49 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 23400 0 0 0 327324 25 0 0 20 0 20 0 79183123 19521036288 541031 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79183125 19521036288 541031 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=19063512 memory=-6000919502737729638 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 2134 0 0 0 0 0 0 0 20 0 20 0 79183126 19521036288 541031 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94594] ppid=94571 vsize=19063512 memory=5632 CPUtime=0 cores=5,7
/proc/94574/task/94594/stat : 94594 (Timer-0) S 94571 94574 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79183508 19521036288 541031 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 3280.32 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2164124 KiB

[startup+3342.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/344 94897
/proc/meminfo: memFree=121963400/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=19063512 memory=2166172 CPUtime=3340.18 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 54967 0 0 0 333914 104 0 0 20 0 20 0 79183122 19521036288 541543 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4765878 541543 5524 1 0 2952103 0
[pid=94574/tid=94576] ppid=94571 vsize=19063512 memory=2164124 CPUtime=3333.34 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 23433 0 0 0 333309 25 0 0 20 0 20 0 79183123 19521036288 541543 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=19063512 memory=2164124 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79183125 19521036288 541543 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 2229 0 0 0 0 0 0 0 20 0 20 0 79183126 19521036288 541543 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94594] ppid=94571 vsize=19063512 memory=2166172 CPUtime=0 cores=5,7
/proc/94574/task/94594/stat : 94594 (Timer-0) S 94571 94574 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79183508 19521036288 541543 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 3340.18 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2166172 KiB

[startup+3402.3 s]
/proc/loadavg: 4.15 4.13 4.10 5/344 94899
/proc/meminfo: memFree=121653024/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=19063512 memory=2172316 CPUtime=3400.05 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 55264 0 0 0 339900 105 0 0 20 0 20 0 79183122 19521036288 543079 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4765878 543079 5524 1 0 2952103 0
[pid=94574/tid=94576] ppid=94571 vsize=19063512 memory=2166172 CPUtime=3393.18 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 23726 0 0 0 339293 25 0 0 20 0 20 0 79183123 19521036288 543079 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=19063512 memory=2157980 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79183125 19521036288 543079 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 2229 0 0 0 0 0 0 0 20 0 20 0 79183126 19521036288 543079 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94594] ppid=94571 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/94574/task/94594/stat : 94594 (Timer-0) S 94571 94574 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79183508 19521036288 543079 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 3400.05 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2172316 KiB

[startup+3462.3 s]
/proc/loadavg: 3.57 3.98 4.04 5/318 94935
/proc/meminfo: memFree=122622688/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=19063512 memory=2178460 CPUtime=3459.92 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 55802 0 0 0 345886 106 0 0 20 0 20 0 79183122 19521036288 544615 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4765878 544615 5524 1 0 2952103 0
[pid=94574/tid=94576] ppid=94571 vsize=19063512 memory=2166172 CPUtime=3453.02 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 24118 0 0 0 345277 25 0 0 20 0 20 0 79183123 19521036288 544615 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=19063512 memory=2157980 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79183125 19521036288 544615 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=19063512 memory=2176412 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 2229 0 0 0 0 0 0 0 20 0 20 0 79183126 19521036288 544615 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94594] ppid=94571 vsize=19063512 memory=2176412 CPUtime=0 cores=5,7
/proc/94574/task/94594/stat : 94594 (Timer-0) S 94571 94574 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79183508 19521036288 544615 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 3459.92 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2178460 KiB

[startup+3522.3 s]
/proc/loadavg: 3.32 3.83 3.99 4/318 94940
/proc/meminfo: memFree=122619684/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=19063512 memory=2182556 CPUtime=3519.79 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 55945 0 0 0 351872 107 0 0 20 0 20 0 79183122 19521036288 545639 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4765878 545639 5524 1 0 2952103 0
[pid=94574/tid=94576] ppid=94571 vsize=19063512 memory=2178460 CPUtime=3512.88 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 24148 0 0 0 351262 26 0 0 20 0 20 0 79183123 19521036288 545639 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=19063512 memory=2180508 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79183125 19521036288 545639 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=19063512 memory=21872 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 2334 0 0 0 0 0 0 0 20 0 20 0 79183126 19521036288 545639 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94594] ppid=94571 vsize=19063512 memory=2182556 CPUtime=0 cores=5,7
/proc/94574/task/94594/stat : 94594 (Timer-0) S 94571 94574 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79183508 19521036288 545639 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 3519.79 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2182556 KiB

[startup+3582.3 s]
/proc/loadavg: 3.16 3.69 3.93 5/318 94947
/proc/meminfo: memFree=122617048/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=19063512 memory=2186652 CPUtime=3579.66 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 56183 0 0 0 357858 108 0 0 20 0 20 0 79183122 19521036288 546663 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4765878 546663 5524 1 0 2952103 0
[pid=94574/tid=94576] ppid=94571 vsize=19063512 memory=14848 CPUtime=3572.72 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 24379 0 0 0 357246 26 0 0 20 0 20 0 79183123 19521036288 546663 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=19063512 memory=18816 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79183125 19521036288 546663 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=19063512 memory=2186652 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 2334 0 0 0 0 0 0 0 20 0 20 0 79183126 19521036288 546663 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94594] ppid=94571 vsize=19063512 memory=2186652 CPUtime=0 cores=5,7
/proc/94574/task/94594/stat : 94594 (Timer-0) S 94571 94574 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79183508 19521036288 546663 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 3579.66 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2186652 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3602.7 s]
/proc/loadavg: 3.19 3.66 3.91 4/317 94948
/proc/meminfo: memFree=122613504/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=19063512 memory=2188700 CPUtime=3600.02 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 56265 0 0 0 359893 109 0 0 20 0 20 0 79183122 19521036288 547175 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4765878 547175 5524 1 0 2952103 0
[pid=94574/tid=94576] ppid=94571 vsize=19063512 memory=14848 CPUtime=3593.07 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) R 94571 94574 90077 0 -1 4194368 24458 0 0 0 359281 26 0 0 20 0 20 0 79183123 19521036288 547175 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=19063512 memory=5148 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 20 0 79183125 19521036288 547175 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=19063512 memory=14848 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 2334 0 0 0 0 0 0 0 20 0 20 0 79183126 19521036288 547175 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94594] ppid=94571 vsize=19063512 memory=2188700 CPUtime=0 cores=5,7
/proc/94574/task/94594/stat : 94594 (Timer-0) S 94571 94574 90077 0 -1 4194368 23 0 0 0 0 0 0 0 20 0 20 0 79183508 19521036288 547175 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 3600.02 s
Current children cumulated vsize: 19063512 KiB
Current children cumulated memory: 2188700 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3602.82 s]
# the end of solver process 94574 was just reported to runsolver
# Child status: 143

# cumulated CPU time of all completed processes:  user=3599.12 s, system=1.10299 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3602.81 s]
/proc/loadavg: 3.19 3.66 3.91 4/317 94948
/proc/meminfo: memFree=122613504/131250000 swapFree=33010684/33010684
[pid=94574] ppid=94571 vsize=19263204 memory=2197872 CPUtime=3600.2 cores=5,7
/proc/94574/stat : 94574 (java) S 94571 94574 90077 0 -1 4194304 59399 0 0 0 359911 109 0 0 20 0 15 0 79183122 19725520896 549468 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 0 0 16800975 0 0 0 17 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
/proc/94574/statm: 4815801 549468 5556 1 0 2953039 0
[pid=94574/tid=94576] ppid=94571 vsize=19263204 memory=211292520752 CPUtime=3593.16 cores=5,7
/proc/94574/task/94576/stat : 94576 (java) S 94571 94574 90077 0 -1 4194368 24458 0 0 0 359290 26 0 0 20 0 15 0 79183123 19725520896 549468 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94585] ppid=94571 vsize=19263204 memory=54113165640434 CPUtime=0 cores=5,7
/proc/94574/task/94585/stat : 94585 (Finalizer) S 94571 94574 90077 0 -1 4194368 24 0 0 0 0 0 0 0 20 0 15 0 79183125 19725520896 549468 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 5 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
[pid=94574/tid=94592] ppid=94571 vsize=19263204 memory=3905804167146635296 CPUtime=0 cores=5,7
/proc/94574/task/94592/stat : 94592 (Common-Cleaner) S 94571 94574 90077 0 -1 4194368 2334 0 0 0 0 0 0 0 20 0 15 0 79183126 19725520896 549468 18446744073709551615 94509101309952 94509101313648 140725249358064 0 0 0 4 0 16800975 1 0 0 -1 7 0 0 0 0 0 94509101321464 94509101322256 94509107150848 140725249366399 140725249366500 140725249366500 140725249372104 0
Current children cumulated CPU time: 3600.2 s
Current children cumulated vsize: 19263204 KiB
Current children cumulated memory: 2197872 KiB

Child status: 143

Real time (s): 3602.82
CPU time (s): 3600.22
CPU user time (s): 3599.12
CPU system time (s): 1.10299
CPU usage (%): 99.9279
Max. virtual memory (cumulated for all children) (KiB): 19263204
Max. memory (cumulated for all children) (KiB): 2197872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3599.12
system time used= 1.10298
maximum resident set size= 2198000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59427
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4480
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149781
involuntary context switches= 2247


# summary of solver processes directly reported to runsolver:
#   pid: 94574
#   total CPU time (s): 3600.22
#   total CPU user time (s): 3599.12
#   total CPU system time (s): 1.10299

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.96809 second user time and 16.2775 second system time

The end

Begin job on nodeC028 at 2025-07-04 15:26:46
IDJOB=4526684
IDBENCH=144139
IDSOLVER=3380
FILE ID=nodeC028/4526684-1751635606
RUNJOBID= nodeC028-1751628188-90090
SLURM_JOB_ID= 9598960
Free space on /tmp= 431184 MiB

SOLVER NAME= Sat4j Resolution 2025-06-06
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/graphs/normalized-graph06_wcsp.wbo
COMMAND LINE= java -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4526684-1751635606/watcher-4526684-1751635606 -o /tmp/evaluation-result-4526684-1751635606/solver-4526684-1751635606 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1751628188-90090 --watchdog 3760  java -jar sat4j-pb.jar Resolution HOME/instance-4526684-1751635606.wbo

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 38287b4f81b650595c9c747bdd7f38d4
RANDOM SEED=1136247345

nodeC028 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.081
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.100
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3595.942
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.096
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.102
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3600.353
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3601.770
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3597.532
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti ibrs ibpb stibp tpr_shadow flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 7000.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131250000 kB
MemFree:        103536580 kB
MemAvailable:   105812208 kB
Buffers:            3280 kB
Cached:          3075604 kB
SwapCached:            0 kB
Active:         24311260 kB
Inactive:        2766348 kB
Active(anon):   24016792 kB
Inactive(anon):        0 kB
Active(file):     294468 kB
Inactive(file):  2766348 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33010684 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             33312 kB
Writeback:             0 kB
AnonPages:      24001728 kB
Mapped:           124284 kB
Shmem:             18068 kB
KReclaimable:     108100 kB
Slab:             198180 kB
SReclaimable:     108100 kB
SUnreclaim:        90080 kB
KernelStack:        5216 kB
PageTables:        50640 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98635684 kB
Committed_AS:   36593208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      151464 kB
VmallocChunk:          0 kB
Percpu:             3904 kB
HardwareCorrupted:     0 kB
AnonHugePages:  23695360 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      197332 kB
DirectMap2M:     7962624 kB
DirectMap1G:    127926272 kB

Free space on /tmp at the end= 431424 MiB
End job on nodeC028 at 2025-07-04 16:26:49