Trace number 3736917

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
PB09: SAT4J Pseudo Resolution 2.1.1SAT (TO)15 1800.78 1734.93

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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c version 2.1.1.v20090612
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version	1.6.0_24
0.02/0.08	c os.name	Linux
0.02/0.08	c os.version	2.6.32-71.29.1.el6.x86_64
0.02/0.08	c os.arch	amd64
0.02/0.08	c Free memory 1299577560
0.02/0.08	c Max memory 1306394624
0.02/0.08	c Total memory 1306394624
0.02/0.08	c Number of processors 8
0.09/0.10	c Pseudo Boolean Optimization
0.09/0.10	c --- Begin Solver configuration ---
0.09/0.10	c Stops conflict analysis at the first Unique Implication Point
0.09/0.10	c org.sat4j.pb.constraints.CompetResolutionPBMixedHTClauseCardConstrDataStructure@2d3bad12
0.09/0.10	c Learn all clauses as in MiniSAT
0.09/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.10	c Expensive reason simplification
0.09/0.10	c MiniSAT restarts strategy
0.09/0.10	c Memory based learned constraints deletion strategy
0.09/0.10	c timeout=2147483s
0.09/0.10	c DB Simplification allowed=false
0.09/0.10	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3736917-1338761629.opb
0.09/0.11	c reading problem ... 
1.64/1.22	c ... done. Wall clock time 1.115s.
1.64/1.22	c #vars     6426
1.64/1.22	c #constraints  12652
1.64/1.22	c constraints type 
1.64/1.22	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6226
1.64/1.22	c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 200
1.64/1.22	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6226
1.85/1.31	c SATISFIABLE
1.85/1.31	c OPTIMIZING...
1.85/1.31	c Got one! Elapsed wall clock time (in seconds):1.201
1.85/1.31	o 17
1.85/1.37	c Got one! Elapsed wall clock time (in seconds):1.267
1.85/1.37	o 16
427.40/416.75	c Got one! Elapsed wall clock time (in seconds):416.648
427.40/416.75	o 15
1800.07/1734.83	c starts		: 42
1800.07/1734.83	c conflicts		: 1200001
1800.07/1734.83	c decisions		: 3173073
1800.07/1734.83	c propagations		: 1429054398
1800.07/1734.83	c inspects		: 10707522420
1800.07/1734.83	c learnt literals	: 0
1800.07/1734.83	c learnt binary clauses	: 0
1800.07/1734.83	c learnt ternary clauses	: 0
1800.07/1734.83	c learnt clauses	: 1200001
1800.07/1734.83	c ignored clauses	: 0
1800.07/1734.83	c root simplifications	: 0
1800.07/1734.83	c removed literals (reason simplification)	: 1690006
1800.07/1734.83	c reason swapping (by a shorter reason)	: 0
1800.07/1734.83	c Calls to reduceDB	: 0
1800.07/1734.83	c speed (assignments/second)	: 1084195.6227173202
1800.07/1734.83	c non guided choices	0
1800.07/1734.90	c learnt constraints type 
1800.07/1734.90	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 1200036
1800.07/1734.90	c constraints type 
1800.07/1734.90	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.07/1734.90	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 6226
1800.07/1734.90	c org.sat4j.minisat.constraints.cnf.OriginalHTClause => 200
1800.07/1734.90	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6226
1800.07/1734.90	s SATISFIABLE
1800.25/1734.91	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.25/1734.91	c objective function=15
1800.25/1734.91	c Total wall clock time (in seconds): 1734.809

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-3736917-1338761629/watcher-3736917-1338761629 -o /tmp/evaluation-result-3736917-1338761629/solver-3736917-1338761629 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3736917-1338761629.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.97 2.00 2.00 3/194 14868
/proc/meminfo: memFree=28983032/32873648 swapFree=7116/7116
[pid=14868] ppid=14866 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/14868/stat : 14868 (java6) R 14866 14868 13299 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 342288355 9515008 182 33554432000 1073741824 1073778376 140733863234224 140733863216952 214537420469 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14868/statm: 2323 182 140 9 0 71 0

[startup+0.0583699 s]
/proc/loadavg: 1.97 2.00 2.00 3/194 14868
/proc/meminfo: memFree=28983032/32873648 swapFree=7116/7116
[pid=14868] ppid=14866 vsize=2315716 CPUtime=0.02 cores=0,2,4,6
/proc/14868/stat : 14868 (java) S 14866 14868 13299 0 -1 4202496 3758 0 1 0 2 0 0 0 20 0 13 0 342288355 2371293184 4455 33554432000 1073741824 1073778376 140734949956816 140734949947952 214540779581 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14868/statm: 578929 4455 1709 9 0 569630 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2315716

[startup+0.100206 s]
/proc/loadavg: 1.97 2.00 2.00 3/194 14868
/proc/meminfo: memFree=28983032/32873648 swapFree=7116/7116
[pid=14868] ppid=14866 vsize=2648568 CPUtime=0.09 cores=0,2,4,6
/proc/14868/stat : 14868 (java) S 14866 14868 13299 0 -1 4202496 4746 0 1 0 8 1 0 0 20 0 18 0 342288355 2712133632 5951 33554432000 1073741824 1073778376 140734949956816 140734949947952 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14868/statm: 662142 5951 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2648568

[startup+0.300193 s]
/proc/loadavg: 1.97 2.00 2.00 3/194 14868
/proc/meminfo: memFree=28983032/32873648 swapFree=7116/7116
[pid=14868] ppid=14866 vsize=2648568 CPUtime=0.42 cores=0,2,4,6
/proc/14868/stat : 14868 (java) S 14866 14868 13299 0 -1 4202496 5752 0 1 0 41 1 0 0 20 0 18 0 342288355 2712133632 7618 33554432000 1073741824 1073778376 140734949956816 140734949947952 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14868/statm: 662142 7618 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 2648568

[startup+0.700165 s]
/proc/loadavg: 1.97 2.00 2.00 3/194 14868
/proc/meminfo: memFree=28983032/32873648 swapFree=7116/7116
[pid=14868] ppid=14866 vsize=2648568 CPUtime=1.05 cores=0,2,4,6
/proc/14868/stat : 14868 (java) S 14866 14868 13299 0 -1 4202496 8329 0 1 0 103 2 0 0 20 0 18 0 342288355 2712133632 10235 33554432000 1073741824 1073778376 140734949956816 140734949947952 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14868/statm: 662142 10235 2232 9 0 652835 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 2648568

[startup+1.50068 s]
/proc/loadavg: 1.98 2.00 2.00 3/212 14886
/proc/meminfo: memFree=28946404/32873648 swapFree=7116/7116
[pid=14868] ppid=14866 vsize=2715132 CPUtime=2.3 cores=0,2,4,6
/proc/14868/stat : 14868 (java) S 14866 14868 13299 0 -1 4202496 10855 0 1 0 227 3 0 0 20 0 19 0 342288355 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140734949947952 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14868/statm: 678783 23899 2255 9 0 669476 0
[pid=14868/tid=14870] ppid=14866 vsize=2715132 CPUtime=1.46 cores=0,2,4,6
/proc/14868/task/14870/stat : 14870 (java) R 14866 14868 13299 0 -1 4202560 2826 0 1 0 144 2 0 0 20 0 19 0 342288356 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649719058968 140649592054271 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14871] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14871/stat : 14871 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649585986088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14872] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14872/stat : 14872 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649584933288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14873] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14873/stat : 14873 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649583880488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14874] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14874/stat : 14874 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649582827688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14875] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14875/stat : 14875 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649581775912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14876] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14876/stat : 14876 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649580723112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14877] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14877/stat : 14877 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649579670312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14878] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14878/stat : 14878 (java) S 14866 14868 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649578617512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14879] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14879/stat : 14879 (java) S 14866 14868 13299 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649096288744 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14880] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14880/stat : 14880 (java) S 14866 14868 13299 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649095234808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14881] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14881/stat : 14881 (java) S 14866 14868 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649094181896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14882] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14882/stat : 14882 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288361 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649093130384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14883] ppid=14866 vsize=2715132 CPUtime=0.4 cores=0,2,4,6
/proc/14868/task/14883/stat : 14883 (java) S 14866 14868 13299 0 -1 4202560 2467 0 0 0 40 0 0 0 20 0 19 0 342288361 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649092078520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14884] ppid=14866 vsize=2715132 CPUtime=0.39 cores=0,2,4,6
/proc/14868/task/14884/stat : 14884 (java) S 14866 14868 13299 0 -1 4202560 4366 0 0 0 39 0 0 0 20 0 19 0 342288362 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649091025720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14885] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14885/stat : 14885 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288362 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649089973112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14886] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14886/stat : 14886 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288362 2780295168 23899 33554432000 1073741824 1073778376 140734949956816 140649088920520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 2715132

[startup+3.10066 s]
/proc/loadavg: 1.98 2.00 2.00 3/213 14887
/proc/meminfo: memFree=28618036/32873648 swapFree=7116/7116
[pid=14868] ppid=14866 vsize=2715132 CPUtime=3.94 cores=0,2,4,6
/proc/14868/stat : 14868 (java) S 14866 14868 13299 0 -1 4202496 11033 0 1 0 387 7 0 0 20 0 19 0 342288355 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140734949947952 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14868/statm: 678783 94576 2268 9 0 669476 0
[pid=14868/tid=14870] ppid=14866 vsize=2715132 CPUtime=3.05 cores=0,2,4,6
/proc/14868/task/14870/stat : 14870 (java) R 14866 14868 13299 0 -1 4202560 2961 0 1 0 299 6 0 0 20 0 19 0 342288356 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649719066024 140649592125685 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14871] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14871/stat : 14871 (java) S 14866 14868 13299 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649585986088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14872] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14872/stat : 14872 (java) S 14866 14868 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649584933288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14873] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14873/stat : 14873 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649583880488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14874] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14874/stat : 14874 (java) S 14866 14868 13299 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649582827688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14875] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14875/stat : 14875 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649581775912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14876] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14876/stat : 14876 (java) S 14866 14868 13299 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649580723112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14877] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14877/stat : 14877 (java) S 14866 14868 13299 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649579670312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14878] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14878/stat : 14878 (java) S 14866 14868 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649578617512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14879] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14879/stat : 14879 (java) S 14866 14868 13299 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649096288744 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14880] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14880/stat : 14880 (java) S 14866 14868 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649095234808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14881] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14881/stat : 14881 (java) S 14866 14868 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649094181896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14882] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14882/stat : 14882 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288361 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649093130384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14883] ppid=14866 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/14868/task/14883/stat : 14883 (java) S 14866 14868 13299 0 -1 4202560 2467 0 0 0 41 0 0 0 20 0 19 0 342288361 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649092078520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14884] ppid=14866 vsize=2715132 CPUtime=0.39 cores=0,2,4,6
/proc/14868/task/14884/stat : 14884 (java) S 14866 14868 13299 0 -1 4202560 4366 0 0 0 39 0 0 0 20 0 19 0 342288362 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649091025720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14885] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14885/stat : 14885 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288362 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649089973112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14886] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14886/stat : 14886 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288362 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649088920520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14887] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14887/stat : 14887 (java) S 14866 14868 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342288479 2780295168 94576 33554432000 1073741824 1073778376 140734949956816 140649087866024 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 2715132

[startup+6.30072 s]
/proc/loadavg: 1.98 2.00 2.00 3/213 14887
/proc/meminfo: memFree=28595780/32873648 swapFree=7116/7116
[pid=14868] ppid=14866 vsize=2715132 CPUtime=7.35 cores=0,2,4,6
/proc/14868/stat : 14868 (java) S 14866 14868 13299 0 -1 4202496 11126 0 1 0 725 10 0 0 20 0 19 0 342288355 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140734949947952 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14868/statm: 678783 118999 2271 9 0 669476 0
[pid=14868/tid=14870] ppid=14866 vsize=2715132 CPUtime=6.18 cores=0,2,4,6
/proc/14868/task/14870/stat : 14870 (java) R 14866 14868 13299 0 -1 4202560 3006 0 1 0 611 7 0 0 20 0 19 0 342288356 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649719067352 140649592043099 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14871] ppid=14866 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/14868/task/14871/stat : 14871 (java) S 14866 14868 13299 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 342288358 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649585986088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14872] ppid=14866 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/14868/task/14872/stat : 14872 (java) S 14866 14868 13299 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 342288358 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649584933288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14873] ppid=14866 vsize=2715132 CPUtime=0.01 cores=0,2,4,6
/proc/14868/task/14873/stat : 14873 (java) S 14866 14868 13299 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 342288358 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649583880488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14874] ppid=14866 vsize=2715132 CPUtime=0.02 cores=0,2,4,6
/proc/14868/task/14874/stat : 14874 (java) S 14866 14868 13299 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 19 0 342288358 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649582827688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14875] ppid=14866 vsize=2715132 CPUtime=0.04 cores=0,2,4,6
/proc/14868/task/14875/stat : 14875 (java) S 14866 14868 13299 0 -1 4202560 11 0 0 0 4 0 0 0 20 0 19 0 342288358 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649581775912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14876] ppid=14866 vsize=2715132 CPUtime=0.02 cores=0,2,4,6
/proc/14868/task/14876/stat : 14876 (java) S 14866 14868 13299 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 342288358 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649580723112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14877] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14877/stat : 14877 (java) S 14866 14868 13299 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 342288358 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649579670312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14878] ppid=14866 vsize=2715132 CPUtime=0.03 cores=0,2,4,6
/proc/14868/task/14878/stat : 14878 (java) S 14866 14868 13299 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 342288358 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649578617512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14879] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14879/stat : 14879 (java) S 14866 14868 13299 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649096288744 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14880] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14880/stat : 14880 (java) S 14866 14868 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649095234808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14881] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14881/stat : 14881 (java) S 14866 14868 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649094181896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14882] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14882/stat : 14882 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288361 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649093130384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14883] ppid=14866 vsize=2715132 CPUtime=0.41 cores=0,2,4,6
/proc/14868/task/14883/stat : 14883 (java) S 14866 14868 13299 0 -1 4202560 2468 0 0 0 41 0 0 0 20 0 19 0 342288361 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649092078520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14884] ppid=14866 vsize=2715132 CPUtime=0.45 cores=0,2,4,6
/proc/14868/task/14884/stat : 14884 (java) S 14866 14868 13299 0 -1 4202560 4380 0 0 0 45 0 0 0 20 0 19 0 342288362 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649091025720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14885] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14885/stat : 14885 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288362 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649089973112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14886] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14886/stat : 14886 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288362 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649088920520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14887] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14887/stat : 14887 (java) S 14866 14868 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342288479 2780295168 118999 33554432000 1073741824 1073778376 140734949956816 140649087866024 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 2715132

[startup+12.7007 s]
/proc/loadavg: 1.98 2.00 2.00 3/213 14887
/proc/meminfo: memFree=28497160/32873648 swapFree=7116/7116

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

[pid=14868/tid=14876] ppid=14866 vsize=2715132 CPUtime=10.24 cores=0,2,4,6
/proc/14868/task/14876/stat : 14876 (java) S 14866 14868 13299 0 -1 4202560 232 0 0 0 1015 9 0 0 20 0 19 0 342288358 2780295168 230157 33554432000 1073741824 1073778376 140734949956816 140649580723112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14877] ppid=14866 vsize=2715132 CPUtime=10.82 cores=0,2,4,6
/proc/14868/task/14877/stat : 14877 (java) S 14866 14868 13299 0 -1 4202560 271 0 0 0 1071 11 0 0 20 0 19 0 342288358 2780295168 230157 33554432000 1073741824 1073778376 140734949956816 140649579670312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14878] ppid=14866 vsize=2715132 CPUtime=10.76 cores=0,2,4,6
/proc/14868/task/14878/stat : 14878 (java) S 14866 14868 13299 0 -1 4202560 292 0 0 0 1066 10 0 0 20 0 19 0 342288358 2780295168 230157 33554432000 1073741824 1073778376 140734949956816 140649578617512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14879] ppid=14866 vsize=2715132 CPUtime=0.22 cores=0,2,4,6
/proc/14868/task/14879/stat : 14879 (java) S 14866 14868 13299 0 -1 4202560 107 0 0 0 16 6 0 0 20 0 19 0 342288359 2780295168 230157 33554432000 1073741824 1073778376 140734949956816 140649096288744 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14880] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14880/stat : 14880 (java) S 14866 14868 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 230157 33554432000 1073741824 1073778376 140734949956816 140649095234808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14881] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14881/stat : 14881 (java) S 14866 14868 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 230157 33554432000 1073741824 1073778376 140734949956816 140649094181896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14882] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14882/stat : 14882 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288361 2780295168 230157 33554432000 1073741824 1073778376 140734949956816 140649093130384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14883] ppid=14866 vsize=2715132 CPUtime=0.46 cores=0,2,4,6
/proc/14868/task/14883/stat : 14883 (java) S 14866 14868 13299 0 -1 4202560 2475 0 0 0 46 0 0 0 20 0 19 0 342288361 2780295168 230157 33554432000 1073741824 1073778376 140734949956816 140649092078520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14884] ppid=14866 vsize=2715132 CPUtime=0.47 cores=0,2,4,6
/proc/14868/task/14884/stat : 14884 (java) S 14866 14868 13299 0 -1 4202560 4380 0 0 0 47 0 0 0 20 0 19 0 342288362 2780295168 230157 33554432000 1073741824 1073778376 140734949956816 140649091025720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14885] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14885/stat : 14885 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288362 2780295168 230157 33554432000 1073741824 1073778376 140734949956816 140649089973112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14886] ppid=14866 vsize=2715132 CPUtime=0.59 cores=0,2,4,6
/proc/14868/task/14886/stat : 14886 (java) S 14866 14868 13299 0 -1 4202560 92 0 0 0 26 33 0 0 20 0 19 0 342288362 2780295168 230157 33554432000 1073741824 1073778376 140734949956816 140649088920520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14887] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14887/stat : 14887 (java) S 14866 14868 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342288479 2780295168 230157 33554432000 1073741824 1073778376 140734949956816 140649087866024 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1723.74
Current children cumulated vsize (KiB) 2715132

[startup+1722.3 s]
/proc/loadavg: 2.06 2.08 2.02 3/213 15018
/proc/meminfo: memFree=28140116/32873648 swapFree=7116/7116
[pid=14868] ppid=14866 vsize=2715132 CPUtime=1786.9 cores=0,2,4,6
/proc/14868/stat : 14868 (java) S 14866 14868 13299 0 -1 4202496 15183 0 1 0 178556 134 0 0 20 0 19 0 342288355 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140734949947952 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14868/statm: 678783 232775 2271 9 0 669476 0
[pid=14868/tid=14870] ppid=14866 vsize=2715132 CPUtime=1695.85 cores=0,2,4,6
/proc/14868/task/14870/stat : 14870 (java) R 14866 14868 13299 0 -1 4202560 4738 0 1 0 169547 38 0 0 20 0 19 0 342288356 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649719065952 140649592053367 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14871] ppid=14866 vsize=2715132 CPUtime=11.3 cores=0,2,4,6
/proc/14868/task/14871/stat : 14871 (java) S 14866 14868 13299 0 -1 4202560 297 0 0 0 1119 11 0 0 20 0 19 0 342288358 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649585986088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14872] ppid=14866 vsize=2715132 CPUtime=11.08 cores=0,2,4,6
/proc/14868/task/14872/stat : 14872 (java) S 14866 14868 13299 0 -1 4202560 281 0 0 0 1097 11 0 0 20 0 19 0 342288358 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649584933288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14873] ppid=14866 vsize=2715132 CPUtime=11.12 cores=0,2,4,6
/proc/14868/task/14873/stat : 14873 (java) S 14866 14868 13299 0 -1 4202560 265 0 0 0 1103 9 0 0 20 0 19 0 342288358 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649583880488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14874] ppid=14866 vsize=2715132 CPUtime=11.3 cores=0,2,4,6
/proc/14868/task/14874/stat : 14874 (java) S 14866 14868 13299 0 -1 4202560 276 0 0 0 1119 11 0 0 20 0 19 0 342288358 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649582827688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14875] ppid=14866 vsize=2715132 CPUtime=11.26 cores=0,2,4,6
/proc/14868/task/14875/stat : 14875 (java) S 14866 14868 13299 0 -1 4202560 264 0 0 0 1116 10 0 0 20 0 19 0 342288358 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649581775912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14876] ppid=14866 vsize=2715132 CPUtime=10.74 cores=0,2,4,6
/proc/14868/task/14876/stat : 14876 (java) S 14866 14868 13299 0 -1 4202560 238 0 0 0 1065 9 0 0 20 0 19 0 342288358 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649580723112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14877] ppid=14866 vsize=2715132 CPUtime=11.43 cores=0,2,4,6
/proc/14868/task/14877/stat : 14877 (java) S 14866 14868 13299 0 -1 4202560 281 0 0 0 1131 12 0 0 20 0 19 0 342288358 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649579670312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14878] ppid=14866 vsize=2715132 CPUtime=11.3 cores=0,2,4,6
/proc/14868/task/14878/stat : 14878 (java) S 14866 14868 13299 0 -1 4202560 299 0 0 0 1119 11 0 0 20 0 19 0 342288358 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649578617512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14879] ppid=14866 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/14868/task/14879/stat : 14879 (java) S 14866 14868 13299 0 -1 4202560 111 0 0 0 16 7 0 0 20 0 19 0 342288359 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649096288744 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14880] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14880/stat : 14880 (java) S 14866 14868 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649095234808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14881] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14881/stat : 14881 (java) S 14866 14868 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649094181896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14882] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14882/stat : 14882 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288361 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649093130384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14883] ppid=14866 vsize=2715132 CPUtime=0.46 cores=0,2,4,6
/proc/14868/task/14883/stat : 14883 (java) S 14866 14868 13299 0 -1 4202560 2475 0 0 0 46 0 0 0 20 0 19 0 342288361 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649092078520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14884] ppid=14866 vsize=2715132 CPUtime=0.47 cores=0,2,4,6
/proc/14868/task/14884/stat : 14884 (java) S 14866 14868 13299 0 -1 4202560 4380 0 0 0 47 0 0 0 20 0 19 0 342288362 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649091025720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14885] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14885/stat : 14885 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288362 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649089973112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14886] ppid=14866 vsize=2715132 CPUtime=0.61 cores=0,2,4,6
/proc/14868/task/14886/stat : 14886 (java) S 14866 14868 13299 0 -1 4202560 96 0 0 0 27 34 0 0 20 0 19 0 342288362 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649088920520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14887] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14887/stat : 14887 (java) S 14866 14868 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342288479 2780295168 232775 33554432000 1073741824 1073778376 140734949956816 140649087866024 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1786.9
Current children cumulated vsize (KiB) 2715132



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1734.82 s]
/proc/loadavg: 2.05 2.08 2.02 10/213 15018
/proc/meminfo: memFree=28096616/32873648 swapFree=7116/7116
[pid=14868] ppid=14866 vsize=2715132 CPUtime=1800.07 cores=0,2,4,6
/proc/14868/stat : 14868 (java) S 14866 14868 13299 0 -1 4202496 15209 0 1 0 179872 135 0 0 20 0 19 0 342288355 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140734949947952 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14868/statm: 678783 233300 2271 9 0 669476 0
[pid=14868/tid=14870] ppid=14866 vsize=2715132 CPUtime=1708.14 cores=0,2,4,6
/proc/14868/task/14870/stat : 14870 (java) R 14866 14868 13299 0 -1 4202560 4748 0 1 0 170776 38 0 0 20 0 19 0 342288356 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649719066088 140649592042888 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14871] ppid=14866 vsize=2715132 CPUtime=11.41 cores=0,2,4,6
/proc/14868/task/14871/stat : 14871 (java) S 14866 14868 13299 0 -1 4202560 298 0 0 0 1130 11 0 0 20 0 19 0 342288358 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649585986088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14872] ppid=14866 vsize=2715132 CPUtime=11.19 cores=0,2,4,6
/proc/14868/task/14872/stat : 14872 (java) S 14866 14868 13299 0 -1 4202560 282 0 0 0 1108 11 0 0 20 0 19 0 342288358 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649584933288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14873] ppid=14866 vsize=2715132 CPUtime=11.24 cores=0,2,4,6
/proc/14868/task/14873/stat : 14873 (java) S 14866 14868 13299 0 -1 4202560 266 0 0 0 1115 9 0 0 20 0 19 0 342288358 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649583880488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14874] ppid=14866 vsize=2715132 CPUtime=11.4 cores=0,2,4,6
/proc/14868/task/14874/stat : 14874 (java) S 14866 14868 13299 0 -1 4202560 279 0 0 0 1129 11 0 0 20 0 19 0 342288358 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649582827688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14875] ppid=14866 vsize=2715132 CPUtime=11.42 cores=0,2,4,6
/proc/14868/task/14875/stat : 14875 (java) S 14866 14868 13299 0 -1 4202560 267 0 0 0 1132 10 0 0 20 0 19 0 342288358 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649581775912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14876] ppid=14866 vsize=2715132 CPUtime=10.82 cores=0,2,4,6
/proc/14868/task/14876/stat : 14876 (java) S 14866 14868 13299 0 -1 4202560 241 0 0 0 1073 9 0 0 20 0 19 0 342288358 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649580723112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14877] ppid=14866 vsize=2715132 CPUtime=11.52 cores=0,2,4,6
/proc/14868/task/14877/stat : 14877 (java) S 14866 14868 13299 0 -1 4202560 283 0 0 0 1140 12 0 0 20 0 19 0 342288358 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649579670312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14878] ppid=14866 vsize=2715132 CPUtime=11.41 cores=0,2,4,6
/proc/14868/task/14878/stat : 14878 (java) S 14866 14868 13299 0 -1 4202560 301 0 0 0 1130 11 0 0 20 0 19 0 342288358 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649578617512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14879] ppid=14866 vsize=2715132 CPUtime=0.23 cores=0,2,4,6
/proc/14868/task/14879/stat : 14879 (java) S 14866 14868 13299 0 -1 4202560 111 0 0 0 16 7 0 0 20 0 19 0 342288359 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649096288744 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14880] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14880/stat : 14880 (java) S 14866 14868 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649095234808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14881] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14881/stat : 14881 (java) S 14866 14868 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 342288359 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649094181896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14882] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14882/stat : 14882 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288361 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649093130384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14883] ppid=14866 vsize=2715132 CPUtime=0.46 cores=0,2,4,6
/proc/14868/task/14883/stat : 14883 (java) S 14866 14868 13299 0 -1 4202560 2475 0 0 0 46 0 0 0 20 0 19 0 342288361 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649092078520 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14884] ppid=14866 vsize=2715132 CPUtime=0.47 cores=0,2,4,6
/proc/14868/task/14884/stat : 14884 (java) S 14866 14868 13299 0 -1 4202560 4380 0 0 0 47 0 0 0 20 0 19 0 342288362 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649091025720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14885] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14885/stat : 14885 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 342288362 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649089973112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14886] ppid=14866 vsize=2715132 CPUtime=0.61 cores=0,2,4,6
/proc/14868/task/14886/stat : 14886 (java) S 14866 14868 13299 0 -1 4202560 96 0 0 0 27 34 0 0 20 0 19 0 342288362 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649088920520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14887] ppid=14866 vsize=2715132 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14887/stat : 14887 (java) S 14866 14868 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 342288479 2780295168 233300 33554432000 1073741824 1073778376 140734949956816 140649087866024 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 2715132

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

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

[startup+1734.91 s]
/proc/loadavg: 2.05 2.08 2.02 10/213 15018
/proc/meminfo: memFree=28096616/32873648 swapFree=7116/7116
[pid=14868] ppid=14866 vsize=2848260 CPUtime=1800.25 cores=0,2,4,6
/proc/14868/stat : 14868 (java) S 14866 14868 13299 0 -1 4202496 15248 0 1 0 179890 135 0 0 20 0 21 0 342288355 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140734949947952 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14868/statm: 712065 233338 2271 9 0 702758 0
[pid=14868/tid=14870] ppid=14866 vsize=2848260 CPUtime=1708.23 cores=0,2,4,6
/proc/14868/task/14870/stat : 14870 (java) R 14866 14868 13299 0 -1 4202560 4748 0 1 0 170785 38 0 0 20 0 21 0 342288356 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649719066088 140649592035124 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14871] ppid=14866 vsize=2848260 CPUtime=11.41 cores=0,2,4,6
/proc/14868/task/14871/stat : 14871 (java) S 14866 14868 13299 0 -1 4202560 298 0 0 0 1130 11 0 0 20 0 21 0 342288358 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649585986088 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14872] ppid=14866 vsize=2848260 CPUtime=11.19 cores=0,2,4,6
/proc/14868/task/14872/stat : 14872 (java) S 14866 14868 13299 0 -1 4202560 282 0 0 0 1108 11 0 0 20 0 21 0 342288358 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649584933288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14873] ppid=14866 vsize=2848260 CPUtime=11.24 cores=0,2,4,6
/proc/14868/task/14873/stat : 14873 (java) S 14866 14868 13299 0 -1 4202560 266 0 0 0 1115 9 0 0 20 0 21 0 342288358 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649583880488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14874] ppid=14866 vsize=2848260 CPUtime=11.4 cores=0,2,4,6
/proc/14868/task/14874/stat : 14874 (java) S 14866 14868 13299 0 -1 4202560 279 0 0 0 1129 11 0 0 20 0 21 0 342288358 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649582827688 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14875] ppid=14866 vsize=2848260 CPUtime=11.42 cores=0,2,4,6
/proc/14868/task/14875/stat : 14875 (java) S 14866 14868 13299 0 -1 4202560 267 0 0 0 1132 10 0 0 20 0 21 0 342288358 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649581775912 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14876] ppid=14866 vsize=2848260 CPUtime=10.82 cores=0,2,4,6
/proc/14868/task/14876/stat : 14876 (java) S 14866 14868 13299 0 -1 4202560 241 0 0 0 1073 9 0 0 20 0 21 0 342288358 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649580723112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14877] ppid=14866 vsize=2848260 CPUtime=11.52 cores=0,2,4,6
/proc/14868/task/14877/stat : 14877 (java) S 14866 14868 13299 0 -1 4202560 283 0 0 0 1140 12 0 0 20 0 21 0 342288358 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649579670312 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14878] ppid=14866 vsize=2848260 CPUtime=11.41 cores=0,2,4,6
/proc/14868/task/14878/stat : 14878 (java) S 14866 14868 13299 0 -1 4202560 301 0 0 0 1130 11 0 0 20 0 21 0 342288358 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649578617512 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=14868/tid=14879] ppid=14866 vsize=2848260 CPUtime=0.23 cores=0,2,4,6
/proc/14868/task/14879/stat : 14879 (java) S 14866 14868 13299 0 -1 4202560 111 0 0 0 16 7 0 0 20 0 21 0 342288359 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649096288744 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14880] ppid=14866 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14880/stat : 14880 (java) S 14866 14868 13299 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 21 0 342288359 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649095234808 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14881] ppid=14866 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14881/stat : 14881 (java) S 14866 14868 13299 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 21 0 342288359 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649094181896 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14882] ppid=14866 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14882/stat : 14882 (java) S 14866 14868 13299 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 21 0 342288361 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649093130384 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14883] ppid=14866 vsize=2848260 CPUtime=0.46 cores=0,2,4,6
/proc/14868/task/14883/stat : 14883 (java) R 14866 14868 13299 0 -1 4202560 2475 0 0 0 46 0 0 0 20 0 21 0 342288361 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649092078520 140649726051043 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=14868/tid=14884] ppid=14866 vsize=2848260 CPUtime=0.49 cores=0,2,4,6
/proc/14868/task/14884/stat : 14884 (java) R 14866 14868 13299 0 -1 4202560 4384 0 0 0 49 0 0 0 20 0 21 0 342288362 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649091025600 140649725856054 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14885] ppid=14866 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14885/stat : 14885 (java) S 14866 14868 13299 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 21 0 342288362 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649089973112 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=14868/tid=14886] ppid=14866 vsize=2848260 CPUtime=0.61 cores=0,2,4,6
/proc/14868/task/14886/stat : 14886 (java) S 14866 14868 13299 0 -1 4202560 96 0 0 0 27 34 0 0 20 0 21 0 342288362 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649088920520 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=14868/tid=14887] ppid=14866 vsize=2848260 CPUtime=0 cores=0,2,4,6
/proc/14868/task/14887/stat : 14887 (java) S 14866 14868 13299 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 21 0 342288479 2916618240 233338 33554432000 1073741824 1073778376 140734949956816 140649087866024 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 2848260

Child status: 143
Real time (s): 1734.93
CPU time (s): 1800.78
CPU user time (s): 1799.01
CPU system time (s): 1.77073
CPU usage (%): 103.795
Max. virtual memory (cumulated for all children) (KiB): 2848260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.01
system time used= 1.77073
maximum resident set size= 933360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15251
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1664
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 91120
involuntary context switches= 209935

runsolver used 6.10107 second user time and 14.3248 second system time

The end

Launcher Data 

Begin job on node127 at 2012-06-04 00:13:49
IDJOB=3736917
IDBENCH=48148
IDSOLVER=2322
FILE ID=node127/3736917-1338761629
RUNJOBID= node127-1338747395-13315
PBS_JOBID= 14636779
Free space on /tmp= 70484 MiB

SOLVER NAME= PB09: SAT4J Pseudo Resolution 2.1.1
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_200_25_5.opb
COMMAND LINE= java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3736917-1338761629/watcher-3736917-1338761629 -o /tmp/evaluation-result-3736917-1338761629/solver-3736917-1338761629 -C 1800 -W 1900 -M 15500  java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3736917-1338761629.opb

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

MD5SUM BENCH= e3f554c192a1ee7b261cc2808827870e
RANDOM SEED=1704026755

node127.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.348
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.69
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.348
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.348
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.94
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.348
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.348
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.91
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.348
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.348
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.91
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.348
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        28983560 kB
Buffers:          416268 kB
Cached:          1955228 kB
SwapCached:         1428 kB
Active:          1658384 kB
Inactive:        1342684 kB
Active(anon):     623684 kB
Inactive(anon):     7952 kB
Active(file):    1034700 kB
Inactive(file):  1334732 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67104508 kB
Dirty:               636 kB
Writeback:             0 kB
AnonPages:        641512 kB
Mapped:            18932 kB
Shmem:                92 kB
Slab:             746720 kB
SReclaimable:     190696 kB
SUnreclaim:       556024 kB
KernelStack:        1600 kB
PageTables:         4996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1517404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    604160 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= 70484 MiB
End job on node127 at 2012-06-04 00:42:46