Trace number 3736914

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: SAT4JPseudoResolution 2007-03-23SAT (TO)15 1800.3 1744.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_25_5.opb
MD5SUMe3f554c192a1ee7b261cc2808827870e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark1796.78
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints200
Minimum length of a constraint26
Maximum length of a constraint50
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6226
Sum of products size (including duplicates)12452
Number of different products6226
Sum of products size12452

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.02/0.06	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.02/0.06	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.02/0.06	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.02/0.06	c no version file found!!!
0.02/0.06	c sun.arch.data.model	64
0.02/0.06	c java.version	1.6.0_24
0.02/0.06	c os.name	Linux
0.02/0.06	c os.version	2.6.32-71.29.1.el6.x86_64
0.02/0.06	c os.arch	amd64
0.02/0.06	c Free memory 1599470296
0.02/0.06	c Max memory 1607860224
0.02/0.06	c Total memory 1607860224
0.02/0.06	c Number of processors 8
0.02/0.09	--- Begin Solver configuration ---
0.02/0.09	c Stops conflict analysis at the first Unique Implication Point
0.02/0.09	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@18e2b22
0.02/0.09	c Learn all clauses as in MiniSAT
0.02/0.09	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.02/0.09	c VSIDS like heuristics from MiniSAT using a heap
0.02/0.09	c No reason simplification
0.02/0.09	c --- End Solver configuration ---
0.02/0.09	c solving HOME/instance-3736914-1338720297.opb
0.02/0.09	c reading problem ... 
1.79/1.25	c ... done. Wall clock time 1.161s.
1.79/1.25	c CPU time (experimental) 1.23s.
1.79/1.25	c #vars     6426
1.79/1.25	c #constraints  12652
1.95/1.31	c SATISFIABLE
1.95/1.31	c OPTIMIZING...
1.95/1.31	c Got one! Elapsed wall clock time (in seconds):1.229
1.95/1.34	o 17
2.24/1.40	c Got one! Elapsed wall clock time (in seconds):1.314
2.24/1.40	o 16
541.54/529.97	c Got one! Elapsed wall clock time (in seconds):529.883
541.54/529.97	o 15
1800.03/1744.71	c starts		: 43
1800.03/1744.71	c conflicts		: 1282235
1800.03/1744.71	c decisions		: 3171389
1800.03/1744.71	c propagations		: 1334111406
1800.03/1744.71	c inspects		: 10524662982
1800.03/1744.71	c learnt literals	: 0
1800.03/1744.71	c learnt binary clauses	: 0
1800.03/1744.71	c learnt ternary clauses	: 0
1800.03/1744.71	c learnt clauses	: 1282234
1800.03/1744.71	c root simplifications	: 0
1800.03/1744.71	c removed literals (reason simplification)	: 0
1800.03/1744.71	c reason swapping (by a shorter reason)	: 0
1800.03/1744.71	c Calls to reduceDB	: 0
1800.03/1744.71	c speed (decisions/second)	: 2610.75538798426
1800.03/1744.71	c non guided choices	0
1800.03/1744.71	s SATISFIABLE
1800.03/1744.72	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 
1800.03/1744.72	c objective function=15
1800.03/1744.72	c Total wall clock time (ms): 1744.639

Verifier Data 

OK	15

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3736914-1338720297/watcher-3736914-1338720297 -o /tmp/evaluation-result-3736914-1338720297/solver-3736914-1338720297 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736914-1338720297.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 2.01 1.99 3/194 5151
/proc/meminfo: memFree=27338744/32873648 swapFree=7112/7112
[pid=5151] ppid=5149 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/5151/stat : 5151 (java) S 5149 5151 4424 0 -1 4202496 1275 0 0 0 0 0 0 0 20 0 2 0 338155627 98570240 977 33554432000 1073741824 1073778376 140733232136320 140733232127456 242170757181 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5151/statm: 24065 978 745 9 0 16771 0
[pid=5151/tid=5152] ppid=5149 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5152/stat : 5152 (java) R 5149 5151 4424 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 338155628 98570240 978 33554432000 1073741824 1073778376 140733232136320 140533535526440 242167399808 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.044595 s]
/proc/loadavg: 1.93 2.01 1.99 3/194 5151
/proc/meminfo: memFree=27338744/32873648 swapFree=7112/7112
[pid=5151] ppid=5149 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/5151/stat : 5151 (java) S 5149 5151 4424 0 -1 4202496 3955 0 1 0 2 0 0 0 20 0 13 0 338155627 2686889984 5163 33554432000 1073741824 1073778376 140733232136320 140733232127456 242170757181 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5151/statm: 655979 5163 1709 9 0 646680 0
[pid=5151/tid=5152] ppid=5149 vsize=2623916 CPUtime=0.02 cores=0,2,4,6
/proc/5151/task/5152/stat : 5152 (java) R 5149 5151 4424 0 -1 4202560 2774 0 1 0 2 0 0 0 20 0 13 0 338155628 2686889984 5163 33554432000 1073741824 1073778376 140733232136320 140533535528680 242167025556 0 4 0 16800971 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2623916

[startup+0.100239 s]
/proc/loadavg: 1.93 2.01 1.99 3/194 5151
/proc/meminfo: memFree=27338744/32873648 swapFree=7112/7112
[pid=5151] ppid=5149 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/5151/stat : 5151 (java) S 5149 5151 4424 0 -1 4202496 4928 0 1 0 9 1 0 0 20 0 18 0 338155627 3028844544 7136 33554432000 1073741824 1073778376 140733232136320 140733232127456 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5151/statm: 739464 7136 2130 9 0 729885 0
[pid=5151/tid=5152] ppid=5149 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/5151/task/5152/stat : 5152 (java) R 5149 5151 4424 0 -1 4202560 3004 0 1 0 7 0 0 0 20 0 18 0 338155628 3028844544 7136 33554432000 1073741824 1073778376 140733232136320 140533535515376 242170782989 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856

[startup+0.300195 s]
/proc/loadavg: 1.93 2.01 1.99 3/194 5151
/proc/meminfo: memFree=27338744/32873648 swapFree=7112/7112
[pid=5151] ppid=5149 vsize=2958284 CPUtime=0.43 cores=0,2,4,6
/proc/5151/stat : 5151 (java) S 5149 5151 4424 0 -1 4202496 6131 0 1 0 42 1 0 0 20 0 18 0 338155627 3029282816 9185 33554432000 1073741824 1073778376 140733232136320 140733232127456 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5151/statm: 739571 9185 2241 9 0 729992 0
[pid=5151/tid=5152] ppid=5149 vsize=2958284 CPUtime=0.27 cores=0,2,4,6
/proc/5151/task/5152/stat : 5152 (java) R 5149 5151 4424 0 -1 4202560 3014 0 1 0 27 0 0 0 20 0 18 0 338155628 3029282816 9185 33554432000 1073741824 1073778376 140733232136320 140533535515376 140533360381040 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 2958284

[startup+0.700201 s]
/proc/loadavg: 1.93 2.01 1.99 3/194 5151
/proc/meminfo: memFree=27338744/32873648 swapFree=7112/7112
[pid=5151] ppid=5149 vsize=2957856 CPUtime=1.19 cores=0,2,4,6
/proc/5151/stat : 5151 (java) S 5149 5151 4424 0 -1 4202496 10153 0 1 0 117 2 0 0 20 0 18 0 338155627 3028844544 13348 33554432000 1073741824 1073778376 140733232136320 140733232127456 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5151/statm: 739464 13348 2252 9 0 729885 0
[pid=5151/tid=5152] ppid=5149 vsize=2957856 CPUtime=0.67 cores=0,2,4,6
/proc/5151/task/5152/stat : 5152 (java) R 5149 5151 4424 0 -1 4202560 3019 0 1 0 66 1 0 0 20 0 18 0 338155628 3028844544 13348 33554432000 1073741824 1073778376 140733232136320 140533535531512 140533360087775 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 2957856

[startup+1.50062 s]
/proc/loadavg: 1.93 2.01 1.99 3/212 5169
/proc/meminfo: memFree=27288116/32873648 swapFree=7112/7112
[pid=5151] ppid=5149 vsize=3024420 CPUtime=2.47 cores=0,2,4,6
/proc/5151/stat : 5151 (java) S 5149 5151 4424 0 -1 4202496 14306 0 1 0 244 3 0 0 20 0 19 0 338155627 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140733232127456 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5151/statm: 756105 22636 2279 9 0 746526 0
[pid=5151/tid=5152] ppid=5149 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/5151/task/5152/stat : 5152 (java) R 5149 5151 4424 0 -1 4202560 3058 0 1 0 146 2 0 0 20 0 19 0 338155628 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533535531880 140533360743457 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5154] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5154/stat : 5154 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533518956712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5155] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5155/stat : 5155 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533517904168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5156] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5156/stat : 5156 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533516851624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5157] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5157/stat : 5157 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533515799080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5158] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5158/stat : 5158 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533514746536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5159] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5159/stat : 5159 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533513693992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5160] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5160/stat : 5160 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533512641448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5161] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5161/stat : 5161 (java) S 5149 5151 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533511588904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5162] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5162/stat : 5162 (java) S 5149 5151 4424 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533499177064 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5163] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5163/stat : 5163 (java) S 5149 5151 4424 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533498123384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5164] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5164/stat : 5164 (java) S 5149 5151 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533497070728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5165] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5165/stat : 5165 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533496019472 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5166] ppid=5149 vsize=3024420 CPUtime=0.48 cores=0,2,4,6
/proc/5151/task/5166/stat : 5166 (java) S 5149 5151 4424 0 -1 4202560 7166 0 0 0 48 0 0 0 20 0 19 0 338155632 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533494966840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5167] ppid=5149 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/5151/task/5167/stat : 5167 (java) S 5149 5151 4424 0 -1 4202560 2883 0 0 0 47 0 0 0 20 0 19 0 338155632 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533493914296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5168] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5168/stat : 5168 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533492861944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5169] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5169/stat : 5169 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 22636 33554432000 1073741824 1073778376 140733232136320 140533491809608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 3024420

[startup+3.10073 s]
/proc/loadavg: 1.93 2.01 1.99 3/213 5172
/proc/meminfo: memFree=27003988/32873648 swapFree=7112/7112
[pid=5151] ppid=5149 vsize=3024420 CPUtime=4.1 cores=0,2,4,6
/proc/5151/stat : 5151 (java) S 5149 5151 4424 0 -1 4202496 14510 0 1 0 402 8 0 0 20 0 19 0 338155627 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140733232127456 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5151/statm: 756105 113279 2291 9 0 746526 0
[pid=5151/tid=5152] ppid=5149 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/5151/task/5152/stat : 5152 (java) R 5149 5151 4424 0 -1 4202560 3234 0 1 0 300 7 0 0 20 0 19 0 338155628 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533535530296 140533360706935 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5154] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5154/stat : 5154 (java) S 5149 5151 4424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533518956712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5155] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5155/stat : 5155 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533517904168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5156] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5156/stat : 5156 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533516851624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5157] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5157/stat : 5157 (java) S 5149 5151 4424 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533515799080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5158] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5158/stat : 5158 (java) S 5149 5151 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533514746536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5159] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5159/stat : 5159 (java) S 5149 5151 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533513693992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5160] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5160/stat : 5160 (java) S 5149 5151 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533512641448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5161] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5161/stat : 5161 (java) S 5149 5151 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533511588904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5162] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5162/stat : 5162 (java) S 5149 5151 4424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533499177064 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5163] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5163/stat : 5163 (java) S 5149 5151 4424 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533498123384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5164] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5164/stat : 5164 (java) S 5149 5151 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533497070728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5165] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5165/stat : 5165 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533496019472 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5166] ppid=5149 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/5151/task/5166/stat : 5166 (java) S 5149 5151 4424 0 -1 4202560 7166 0 0 0 49 0 0 0 20 0 19 0 338155632 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533494966840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5167] ppid=5149 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/5151/task/5167/stat : 5167 (java) S 5149 5151 4424 0 -1 4202560 2883 0 0 0 47 0 0 0 20 0 19 0 338155632 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533493914296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5168] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5168/stat : 5168 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533492861944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5169] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5169/stat : 5169 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533491809608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5172] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5172/stat : 5172 (java) S 5149 5151 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338155768 3097006080 113279 33554432000 1073741824 1073778376 140733232136320 140533489607720 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.1
Current children cumulated vsize (KiB) 3024420

[startup+6.30073 s]
/proc/loadavg: 1.93 2.01 1.99 3/213 5172
/proc/meminfo: memFree=26751768/32873648 swapFree=7112/7112
[pid=5151] ppid=5149 vsize=3024420 CPUtime=7.51 cores=0,2,4,6
/proc/5151/stat : 5151 (java) S 5149 5151 4424 0 -1 4202496 14558 0 1 0 739 12 0 0 20 0 19 0 338155627 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140733232127456 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5151/statm: 756105 118727 2294 9 0 746526 0
[pid=5151/tid=5152] ppid=5149 vsize=3024420 CPUtime=6.21 cores=0,2,4,6
/proc/5151/task/5152/stat : 5152 (java) R 5149 5151 4424 0 -1 4202560 3240 0 1 0 614 7 0 0 20 0 19 0 338155628 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533535530328 140533360710031 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5154] ppid=5149 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/5151/task/5154/stat : 5154 (java) S 5149 5151 4424 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 19 0 338155628 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533518956712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5155] ppid=5149 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/5151/task/5155/stat : 5155 (java) S 5149 5151 4424 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 19 0 338155628 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533517904168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5156] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5156/stat : 5156 (java) S 5149 5151 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533516851624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5157] ppid=5149 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/5151/task/5157/stat : 5157 (java) S 5149 5151 4424 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 338155628 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533515799080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5158] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5158/stat : 5158 (java) S 5149 5151 4424 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 338155628 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533514746536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5159] ppid=5149 vsize=3024420 CPUtime=0.03 cores=0,2,4,6
/proc/5151/task/5159/stat : 5159 (java) S 5149 5151 4424 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 338155628 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533513693992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5160] ppid=5149 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/5151/task/5160/stat : 5160 (java) S 5149 5151 4424 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 338155628 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533512641448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5161] ppid=5149 vsize=3024420 CPUtime=0.02 cores=0,2,4,6
/proc/5151/task/5161/stat : 5161 (java) S 5149 5151 4424 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 338155628 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533511588904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5162] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5162/stat : 5162 (java) S 5149 5151 4424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533499177064 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5163] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5163/stat : 5163 (java) S 5149 5151 4424 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533498123384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5164] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5164/stat : 5164 (java) S 5149 5151 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533497070728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5165] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5165/stat : 5165 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533496019472 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5166] ppid=5149 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/5151/task/5166/stat : 5166 (java) S 5149 5151 4424 0 -1 4202560 7171 0 0 0 55 0 0 0 20 0 19 0 338155632 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533494966840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5167] ppid=5149 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/5151/task/5167/stat : 5167 (java) S 5149 5151 4424 0 -1 4202560 2883 0 0 0 47 0 0 0 20 0 19 0 338155632 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533493914296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5168] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5168/stat : 5168 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 118727 33554432000 1073741824 1073778376 140733232136320 140533492861944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0

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

[pid=5151/tid=5159] ppid=5149 vsize=3024420 CPUtime=8.72 cores=0,2,4,6
/proc/5151/task/5159/stat : 5159 (java) S 5149 5151 4424 0 -1 4202560 273 0 0 0 862 10 0 0 20 0 19 0 338155628 3097006080 263788 33554432000 1073741824 1073778376 140733232136320 140533513693992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5160] ppid=5149 vsize=3024420 CPUtime=8.57 cores=0,2,4,6
/proc/5151/task/5160/stat : 5160 (java) S 5149 5151 4424 0 -1 4202560 296 0 0 0 847 10 0 0 20 0 19 0 338155628 3097006080 263788 33554432000 1073741824 1073778376 140733232136320 140533512641448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5161] ppid=5149 vsize=3024420 CPUtime=8.98 cores=0,2,4,6
/proc/5151/task/5161/stat : 5161 (java) S 5149 5151 4424 0 -1 4202560 298 0 0 0 888 10 0 0 20 0 19 0 338155628 3097006080 263788 33554432000 1073741824 1073778376 140733232136320 140533511588904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5162] ppid=5149 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/5151/task/5162/stat : 5162 (java) S 5149 5151 4424 0 -1 4202560 108 0 0 0 16 5 0 0 20 0 19 0 338155630 3097006080 263788 33554432000 1073741824 1073778376 140733232136320 140533499177064 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5163] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5163/stat : 5163 (java) S 5149 5151 4424 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 263788 33554432000 1073741824 1073778376 140733232136320 140533498123384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5164] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5164/stat : 5164 (java) S 5149 5151 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 263788 33554432000 1073741824 1073778376 140733232136320 140533497070728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5165] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5165/stat : 5165 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 263788 33554432000 1073741824 1073778376 140733232136320 140533496019472 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5166] ppid=5149 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/5151/task/5166/stat : 5166 (java) S 5149 5151 4424 0 -1 4202560 7171 0 0 0 57 0 0 0 20 0 19 0 338155632 3097006080 263788 33554432000 1073741824 1073778376 140733232136320 140533494966840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5167] ppid=5149 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/5151/task/5167/stat : 5167 (java) S 5149 5151 4424 0 -1 4202560 2888 0 0 0 52 0 0 0 20 0 19 0 338155632 3097006080 263788 33554432000 1073741824 1073778376 140733232136320 140533493914296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5168] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5168/stat : 5168 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 263788 33554432000 1073741824 1073778376 140733232136320 140533492861944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5169] ppid=5149 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/5151/task/5169/stat : 5169 (java) S 5149 5151 4424 0 -1 4202560 94 0 0 0 32 29 0 0 20 0 19 0 338155632 3097006080 263788 33554432000 1073741824 1073778376 140733232136320 140533491809608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5179] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5179/stat : 5179 (java) S 5149 5151 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338208625 3097006080 263788 33554432000 1073741824 1073778376 140733232136320 140533489607848 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1714.1
Current children cumulated vsize (KiB) 3024420

[startup+1722.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/213 5213
/proc/meminfo: memFree=25448608/32873648 swapFree=7112/7112
[pid=5151] ppid=5149 vsize=3024420 CPUtime=1776.71 cores=0,2,4,6
/proc/5151/stat : 5151 (java) S 5149 5151 4424 0 -1 4202496 18449 0 1 0 177552 119 0 0 20 0 19 0 338155627 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140733232127456 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5151/statm: 756105 267930 2295 9 0 746526 0
[pid=5151/tid=5152] ppid=5149 vsize=3024420 CPUtime=1700.79 cores=0,2,4,6
/proc/5151/task/5152/stat : 5152 (java) R 5149 5151 4424 0 -1 4202560 4645 0 1 0 170041 38 0 0 20 0 19 0 338155628 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533535530224 140533360749756 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5154] ppid=5149 vsize=3024420 CPUtime=8.96 cores=0,2,4,6
/proc/5151/task/5154/stat : 5154 (java) S 5149 5151 4424 0 -1 4202560 273 0 0 0 887 9 0 0 20 0 19 0 338155628 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533518956712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5155] ppid=5149 vsize=3024420 CPUtime=9.23 cores=0,2,4,6
/proc/5151/task/5155/stat : 5155 (java) S 5149 5151 4424 0 -1 4202560 292 0 0 0 914 9 0 0 20 0 19 0 338155628 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533517904168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5156] ppid=5149 vsize=3024420 CPUtime=9.31 cores=0,2,4,6
/proc/5151/task/5156/stat : 5156 (java) S 5149 5151 4424 0 -1 4202560 290 0 0 0 924 7 0 0 20 0 19 0 338155628 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533516851624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5157] ppid=5149 vsize=3024420 CPUtime=9.57 cores=0,2,4,6
/proc/5151/task/5157/stat : 5157 (java) S 5149 5151 4424 0 -1 4202560 293 0 0 0 947 10 0 0 20 0 19 0 338155628 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533515799080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5158] ppid=5149 vsize=3024420 CPUtime=9.32 cores=0,2,4,6
/proc/5151/task/5158/stat : 5158 (java) S 5149 5151 4424 0 -1 4202560 316 0 0 0 923 9 0 0 20 0 19 0 338155628 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533514746536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5159] ppid=5149 vsize=3024420 CPUtime=9.19 cores=0,2,4,6
/proc/5151/task/5159/stat : 5159 (java) S 5149 5151 4424 0 -1 4202560 280 0 0 0 909 10 0 0 20 0 19 0 338155628 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533513693992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5160] ppid=5149 vsize=3024420 CPUtime=8.95 cores=0,2,4,6
/proc/5151/task/5160/stat : 5160 (java) S 5149 5151 4424 0 -1 4202560 301 0 0 0 885 10 0 0 20 0 19 0 338155628 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533512641448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5161] ppid=5149 vsize=3024420 CPUtime=9.4 cores=0,2,4,6
/proc/5151/task/5161/stat : 5161 (java) S 5149 5151 4424 0 -1 4202560 306 0 0 0 930 10 0 0 20 0 19 0 338155628 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533511588904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5162] ppid=5149 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/5151/task/5162/stat : 5162 (java) S 5149 5151 4424 0 -1 4202560 110 0 0 0 16 5 0 0 20 0 19 0 338155630 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533499177064 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5163] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5163/stat : 5163 (java) S 5149 5151 4424 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533498123384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5164] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5164/stat : 5164 (java) S 5149 5151 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533497070728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5165] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5165/stat : 5165 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533496019472 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5166] ppid=5149 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/5151/task/5166/stat : 5166 (java) S 5149 5151 4424 0 -1 4202560 7171 0 0 0 57 0 0 0 20 0 19 0 338155632 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533494966840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5167] ppid=5149 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/5151/task/5167/stat : 5167 (java) S 5149 5151 4424 0 -1 4202560 2888 0 0 0 52 0 0 0 20 0 19 0 338155632 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533493914296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5168] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5168/stat : 5168 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533492861944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5169] ppid=5149 vsize=3024420 CPUtime=0.63 cores=0,2,4,6
/proc/5151/task/5169/stat : 5169 (java) S 5149 5151 4424 0 -1 4202560 96 0 0 0 33 30 0 0 20 0 19 0 338155632 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533491809608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5179] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5179/stat : 5179 (java) S 5149 5151 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338208625 3097006080 267930 33554432000 1073741824 1073778376 140733232136320 140533489607848 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1776.71
Current children cumulated vsize (KiB) 3024420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1744.7 s]
/proc/loadavg: 2.06 2.06 2.05 3/213 5213
/proc/meminfo: memFree=25434400/32873648 swapFree=7112/7112
[pid=5151] ppid=5149 vsize=3024420 CPUtime=1800.03 cores=0,2,4,6
/proc/5151/stat : 5151 (java) S 5149 5151 4424 0 -1 4202496 18492 0 1 0 179883 120 0 0 20 0 19 0 338155627 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140733232127456 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5151/statm: 756105 269484 2295 9 0 746526 0
[pid=5151/tid=5152] ppid=5149 vsize=3024420 CPUtime=1722.84 cores=0,2,4,6
/proc/5151/task/5152/stat : 5152 (java) R 5149 5151 4424 0 -1 4202560 4661 0 1 0 172245 39 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533535530272 140533360800163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5154] ppid=5149 vsize=3024420 CPUtime=9.1 cores=0,2,4,6
/proc/5151/task/5154/stat : 5154 (java) S 5149 5151 4424 0 -1 4202560 276 0 0 0 901 9 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533518956712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5155] ppid=5149 vsize=3024420 CPUtime=9.41 cores=0,2,4,6
/proc/5151/task/5155/stat : 5155 (java) S 5149 5151 4424 0 -1 4202560 296 0 0 0 932 9 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533517904168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5156] ppid=5149 vsize=3024420 CPUtime=9.49 cores=0,2,4,6
/proc/5151/task/5156/stat : 5156 (java) S 5149 5151 4424 0 -1 4202560 291 0 0 0 942 7 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533516851624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5157] ppid=5149 vsize=3024420 CPUtime=9.72 cores=0,2,4,6
/proc/5151/task/5157/stat : 5157 (java) S 5149 5151 4424 0 -1 4202560 294 0 0 0 962 10 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533515799080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5158] ppid=5149 vsize=3024420 CPUtime=9.48 cores=0,2,4,6
/proc/5151/task/5158/stat : 5158 (java) S 5149 5151 4424 0 -1 4202560 320 0 0 0 939 9 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533514746536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5159] ppid=5149 vsize=3024420 CPUtime=9.34 cores=0,2,4,6
/proc/5151/task/5159/stat : 5159 (java) S 5149 5151 4424 0 -1 4202560 283 0 0 0 924 10 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533513693992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5160] ppid=5149 vsize=3024420 CPUtime=9.1 cores=0,2,4,6
/proc/5151/task/5160/stat : 5160 (java) S 5149 5151 4424 0 -1 4202560 306 0 0 0 900 10 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533512641448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5161] ppid=5149 vsize=3024420 CPUtime=9.57 cores=0,2,4,6
/proc/5151/task/5161/stat : 5161 (java) S 5149 5151 4424 0 -1 4202560 308 0 0 0 947 10 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533511588904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5162] ppid=5149 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/5151/task/5162/stat : 5162 (java) S 5149 5151 4424 0 -1 4202560 112 0 0 0 16 5 0 0 20 0 19 0 338155630 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533499177064 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5163] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5163/stat : 5163 (java) S 5149 5151 4424 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533498123384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5164] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5164/stat : 5164 (java) S 5149 5151 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533497070728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5165] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5165/stat : 5165 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533496019472 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5166] ppid=5149 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/5151/task/5166/stat : 5166 (java) S 5149 5151 4424 0 -1 4202560 7171 0 0 0 57 0 0 0 20 0 19 0 338155632 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533494966840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5167] ppid=5149 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/5151/task/5167/stat : 5167 (java) S 5149 5151 4424 0 -1 4202560 2888 0 0 0 52 0 0 0 20 0 19 0 338155632 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533493914296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5168] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5168/stat : 5168 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533492861944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5169] ppid=5149 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/5151/task/5169/stat : 5169 (java) S 5149 5151 4424 0 -1 4202560 98 0 0 0 33 31 0 0 20 0 19 0 338155632 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533491809608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5179] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5179/stat : 5179 (java) S 5149 5151 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338208625 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533489607848 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420

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

Solver just ended. Dumping a history of the last processes samples

[startup+1744.7 s]
/proc/loadavg: 2.06 2.06 2.05 3/213 5213
/proc/meminfo: memFree=25434400/32873648 swapFree=7112/7112
[pid=5151] ppid=5149 vsize=3024420 CPUtime=1800.03 cores=0,2,4,6
/proc/5151/stat : 5151 (java) S 5149 5151 4424 0 -1 4202496 18492 0 1 0 179883 120 0 0 20 0 19 0 338155627 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140733232127456 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/5151/statm: 756105 269484 2295 9 0 746526 0
[pid=5151/tid=5152] ppid=5149 vsize=3024420 CPUtime=1722.84 cores=0,2,4,6
/proc/5151/task/5152/stat : 5152 (java) R 5149 5151 4424 0 -1 4202560 4661 0 1 0 172245 39 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533535530272 140533360800163 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5154] ppid=5149 vsize=3024420 CPUtime=9.1 cores=0,2,4,6
/proc/5151/task/5154/stat : 5154 (java) S 5149 5151 4424 0 -1 4202560 276 0 0 0 901 9 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533518956712 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5155] ppid=5149 vsize=3024420 CPUtime=9.41 cores=0,2,4,6
/proc/5151/task/5155/stat : 5155 (java) S 5149 5151 4424 0 -1 4202560 296 0 0 0 932 9 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533517904168 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5156] ppid=5149 vsize=3024420 CPUtime=9.49 cores=0,2,4,6
/proc/5151/task/5156/stat : 5156 (java) S 5149 5151 4424 0 -1 4202560 291 0 0 0 942 7 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533516851624 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5157] ppid=5149 vsize=3024420 CPUtime=9.72 cores=0,2,4,6
/proc/5151/task/5157/stat : 5157 (java) S 5149 5151 4424 0 -1 4202560 294 0 0 0 962 10 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533515799080 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5158] ppid=5149 vsize=3024420 CPUtime=9.48 cores=0,2,4,6
/proc/5151/task/5158/stat : 5158 (java) S 5149 5151 4424 0 -1 4202560 320 0 0 0 939 9 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533514746536 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5159] ppid=5149 vsize=3024420 CPUtime=9.34 cores=0,2,4,6
/proc/5151/task/5159/stat : 5159 (java) S 5149 5151 4424 0 -1 4202560 283 0 0 0 924 10 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533513693992 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5151/tid=5160] ppid=5149 vsize=3024420 CPUtime=9.1 cores=0,2,4,6
/proc/5151/task/5160/stat : 5160 (java) S 5149 5151 4424 0 -1 4202560 306 0 0 0 900 10 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533512641448 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5161] ppid=5149 vsize=3024420 CPUtime=9.57 cores=0,2,4,6
/proc/5151/task/5161/stat : 5161 (java) S 5149 5151 4424 0 -1 4202560 308 0 0 0 947 10 0 0 20 0 19 0 338155628 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533511588904 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5162] ppid=5149 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/5151/task/5162/stat : 5162 (java) S 5149 5151 4424 0 -1 4202560 112 0 0 0 16 5 0 0 20 0 19 0 338155630 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533499177064 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5163] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5163/stat : 5163 (java) S 5149 5151 4424 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533498123384 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5164] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5164/stat : 5164 (java) S 5149 5151 4424 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 338155630 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533497070728 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5165] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5165/stat : 5165 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533496019472 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5166] ppid=5149 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/5151/task/5166/stat : 5166 (java) S 5149 5151 4424 0 -1 4202560 7171 0 0 0 57 0 0 0 20 0 19 0 338155632 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533494966840 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5151/tid=5167] ppid=5149 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/5151/task/5167/stat : 5167 (java) S 5149 5151 4424 0 -1 4202560 2888 0 0 0 52 0 0 0 20 0 19 0 338155632 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533493914296 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5168] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5168/stat : 5168 (java) S 5149 5151 4424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 338155632 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533492861944 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5151/tid=5169] ppid=5149 vsize=3024420 CPUtime=0.64 cores=0,2,4,6
/proc/5151/task/5169/stat : 5169 (java) S 5149 5151 4424 0 -1 4202560 98 0 0 0 33 31 0 0 20 0 19 0 338155632 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533491809608 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5151/tid=5179] ppid=5149 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/5151/task/5179/stat : 5179 (java) S 5149 5151 4424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 338208625 3097006080 269484 33554432000 1073741824 1073778376 140733232136320 140533489607848 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3024420

Child status: 143
Real time (s): 1744.74
CPU time (s): 1800.3
CPU user time (s): 1798.67
CPU system time (s): 1.63275
CPU usage (%): 103.184
Max. virtual memory (cumulated for all children) (KiB): 3024420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.67
system time used= 1.63275
maximum resident set size= 1078072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18528
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 79962
involuntary context switches= 190036

runsolver used 5.79312 second user time and 15.3507 second system time

The end

Launcher Data 

Begin job on node126 at 2012-06-03 12:44:57
IDJOB=3736914
IDBENCH=48148
IDSOLVER=2319
FILE ID=node126/3736914-1338720297
RUNJOBID= node126-1338713124-4440
PBS_JOBID= 14636723
Free space on /tmp= 70788 MiB

SOLVER NAME= PB07: SAT4JPseudoResolution 2007-03-23
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb
COMMAND LINE= java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar BENCHNAME           
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736914-1338720297/watcher-3736914-1338720297 -o /tmp/evaluation-result-3736914-1338720297/solver-3736914-1338720297 -C 1800 -W 1900 -M 15500  java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3736914-1338720297.opb           

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e
RANDOM SEED=2113152092

node126.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.456
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27339272 kB
Buffers:          416040 kB
Cached:          3788580 kB
SwapCached:         9476 kB
Active:          1924476 kB
Inactive:        2731548 kB
Active(anon):     441072 kB
Inactive(anon):    12168 kB
Active(file):    1483404 kB
Inactive(file):  2719380 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:              7312 kB
Writeback:             0 kB
AnonPages:        465748 kB
Mapped:            17860 kB
Shmem:                 0 kB
Slab:             723844 kB
SReclaimable:     167252 kB
SUnreclaim:       556592 kB
KernelStack:        1600 kB
PageTables:         4748 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1824972 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    430080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70784 MiB
End job on node126 at 2012-06-03 13:14:04