Trace number 2701826

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 NameAnswerCPU timeWall clock time
SAT4J PB Resolution 2.2.1MSAT (TO) 1800.26 1791.7

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/graphs/
normalized-graph07_wcsp.wbo
MD5SUMfddb3e21e350e2df5161d1678905aa9f
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark10319
Best CPU time to get the best result obtained on this benchmark1800.26
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables5160
Total number of constraints512485
Number of soft constraints512344
Number of constraints which are clauses512344
Number of constraints which are cardinality constraints (but not clauses)141
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint44
Top cost 463736
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 146536849
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.07	c See www.sat4j.org for details.
0.00/0.08	c version 2.2.1.v20100705
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) Server VM
0.00/0.08	c java.vm.version	11.2-b01
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	32
0.00/0.08	c java.version		1.6.0_12
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		i386
0.00/0.08	c Free memory 		1393557488
0.00/0.08	c Max memory 		1395916800
0.00/0.08	c Total memory 		1395916800
0.00/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c Stops conflict analysis at the first Unique Implication Point
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBMixedWLClauseCardConstrDataStructure@15a3d6b
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-2701826-1278541783.wbo
0.11/0.10	c reading problem ... 
8.55/3.82	c ... done. Wall clock time 3.724s.
8.55/3.82	c #vars     517504
8.55/3.82	c #constraints  512627
8.55/3.82	c constraints type 
8.55/3.82	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 493801
8.55/3.82	c org.sat4j.minisat.constraints.card.MinWatchCard => 141
8.55/3.82	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18684
8.55/3.82	c org.sat4j.pb.constraints.pb.MaxWatchPb => 1
219.54/213.27	c SATISFIABLE
219.54/213.27	c OPTIMIZING...
219.54/213.27	c Got one! Elapsed wall clock time (in seconds):213.173
219.54/213.27	o 66420
431.42/424.15	c Got one! Elapsed wall clock time (in seconds):424.052
431.42/424.15	o 10319
618.68/610.44	c cleaning 2498 clauses out of 5000 with flag 5000/5000
767.47/759.14	c cleaning 4214 clauses out of 8502 with flag 11000/11000
983.89/975.54	c cleaning 5603 clauses out of 11288 with flag 18000/18000
1800.06/1791.61	c starts		: 54
1800.06/1791.61	c conflicts		: 24035
1800.06/1791.61	c decisions		: 7294679
1800.06/1791.61	c propagations		: 442843680
1800.06/1791.61	c inspects		: 24327530
1800.06/1791.61	c learnt literals	: 0
1800.06/1791.61	c learnt binary clauses	: 0
1800.06/1791.61	c learnt ternary clauses	: 437
1800.06/1791.61	c learnt clauses	: 24034
1800.06/1791.61	c ignored clauses	: 0
1800.06/1791.61	c root simplifications	: 0
1800.06/1791.61	c removed literals (reason simplification)	: 330311
1800.06/1791.61	c reason swapping (by a shorter reason)	: 0
1800.06/1791.61	c Calls to reduceDB	: 3
1800.06/1791.61	c number of reductions to clauses (during analyze)	: 0
1800.06/1791.61	c number of learned constraints concerned by reduction	: 0
1800.06/1791.61	c number of learning phase by resolution	: 0
1800.06/1791.61	c number of learning phase by cutting planes	: 0
1800.06/1791.61	c speed (assignments/second)	: 323993.71391279664
1800.06/1791.61	c non guided choices	85833
1800.06/1791.62	c learnt constraints type 
1800.06/1791.62	c org.sat4j.minisat.constraints.cnf.LearntHTClause => 11719
1800.06/1791.62	c constraints type 
1800.06/1791.62	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 493801
1800.06/1791.62	c org.sat4j.minisat.constraints.card.MinWatchCard => 141
1800.06/1791.62	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 18684
1800.06/1791.62	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2
1800.06/1791.62	s SATISFIABLE
1800.06/1791.63	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 
1800.06/1791.64	c objective function=10319
1800.06/1791.64	c Total wall clock time (in seconds): 1791.546

Verifier Data 

OK	10319

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2701826-1278541783/watcher-2701826-1278541783 -o /tmp/evaluation-result-2701826-1278541783/solver-2701826-1278541783 -C 1800 -W 2000 -M 3800 java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701826-1278541783.wbo 

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


[startup+0 s]
/proc/loadavg: 1.97 2.03 2.14 3/196 20131
/proc/meminfo: memFree=29531220/32951124 swapFree=67111528/67111528
[pid=20131] ppid=20129 vsize=13164 CPUtime=0
/proc/20131/stat : 20131 (java) R 20129 20131 17859 0 -1 4194304 728 0 0 0 0 0 0 0 17 0 1 0 22391117 13479936 321 4089446400 134512640 134550932 4291822080 18446744073709551615 9074309 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/20131/statm: 3291 327 142 10 0 1121 0

[startup+0.099631 s]
/proc/loadavg: 1.97 2.03 2.14 3/196 20131
/proc/meminfo: memFree=29531220/32951124 swapFree=67111528/67111528
[pid=20131] ppid=20129 vsize=1530100 CPUtime=0.11
/proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 5232 0 1 0 10 1 0 0 17 0 18 0 22391117 1566822400 4669 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20131/statm: 382525 4670 1345 10 0 379828 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1530100

[startup+0.100627 s]
/proc/loadavg: 1.97 2.03 2.14 3/196 20131
/proc/meminfo: memFree=29531220/32951124 swapFree=67111528/67111528
[pid=20131] ppid=20129 vsize=1530100 CPUtime=0.11
/proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 5243 0 1 0 10 1 0 0 17 0 18 0 22391117 1566822400 4680 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20131/statm: 382525 4680 1345 10 0 379828 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1530100

[startup+0.300567 s]
/proc/loadavg: 1.97 2.03 2.14 3/196 20131
/proc/meminfo: memFree=29531220/32951124 swapFree=67111528/67111528
[pid=20131] ppid=20129 vsize=1532388 CPUtime=0.58
/proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 9660 0 1 0 57 1 0 0 17 0 18 0 22391117 1569165312 8730 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20131/statm: 383097 8730 1399 10 0 380400 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 1532388

[startup+0.700464 s]
/proc/loadavg: 1.97 2.03 2.14 3/196 20131
/proc/meminfo: memFree=29531220/32951124 swapFree=67111528/67111528
[pid=20131] ppid=20129 vsize=1542296 CPUtime=1.45
/proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 43019 0 1 0 139 6 0 0 17 0 18 0 22391117 1579311104 40813 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20131/statm: 385574 40813 1415 10 0 382877 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 1542296

[startup+1.50137 s]
/proc/loadavg: 1.97 2.03 2.14 3/214 20149
/proc/meminfo: memFree=29336584/32951124 swapFree=67111528/67111528
[pid=20131] ppid=20129 vsize=1542296 CPUtime=2.7
/proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 57434 0 1 0 261 9 0 0 17 0 18 0 22391117 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20131/statm: 385574 55151 1415 10 0 382877 0
[pid=20131/tid=20133] ppid=20129 vsize=1542296 CPUtime=1.37
/proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32040 0 1 0 132 5 0 0 18 0 18 0 22391118 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4109027420 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20131/tid=20134] ppid=20129 vsize=1542296 CPUtime=0.02
/proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 628 0 0 0 2 0 0 0 15 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0
[pid=20131/tid=20135] ppid=20129 vsize=1542296 CPUtime=0.08
/proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 2365 0 0 0 8 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20136] ppid=20129 vsize=1542296 CPUtime=0.09
/proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 3695 0 0 0 9 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0
[pid=20131/tid=20137] ppid=20129 vsize=1542296 CPUtime=0.09
/proc/20131/task/20137/stat : 20137 (java) S 20129 20131 17859 0 -1 4202560 3583 0 0 0 9 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20138] ppid=20129 vsize=1542296 CPUtime=0.04
/proc/20131/task/20138/stat : 20138 (java) S 20129 20131 17859 0 -1 4202560 2656 0 0 0 4 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0
[pid=20131/tid=20139] ppid=20129 vsize=1542296 CPUtime=0.09
/proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 2658 0 0 0 9 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
[pid=20131/tid=20140] ppid=20129 vsize=1542296 CPUtime=0.07
/proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 2227 0 0 0 7 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20141] ppid=20129 vsize=1542296 CPUtime=0.05
/proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 1175 0 0 0 5 0 0 0 16 0 18 0 22391119 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0
[pid=20131/tid=20142] ppid=20129 vsize=1542296 CPUtime=0
/proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 22391120 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
[pid=20131/tid=20143] ppid=20129 vsize=1542296 CPUtime=0
/proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 22391120 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20144] ppid=20129 vsize=1542296 CPUtime=0
/proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 18 0 22391120 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20145] ppid=20129 vsize=1542296 CPUtime=0
/proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 22391122 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20146] ppid=20129 vsize=1542296 CPUtime=0.36
/proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 1940 0 0 0 36 0 0 0 17 0 18 0 22391122 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20147] ppid=20129 vsize=1542296 CPUtime=0.35
/proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 3394 0 0 0 34 1 0 0 18 0 18 0 22391122 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0
[pid=20131/tid=20148] ppid=20129 vsize=1542296 CPUtime=0
/proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22391122 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20149] ppid=20129 vsize=1542296 CPUtime=0
/proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22391122 1579311104 55151 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 1542296

[startup+3.1011 s]
/proc/loadavg: 1.97 2.03 2.14 11/214 20149
/proc/meminfo: memFree=29254496/32951124 swapFree=67111528/67111528
[pid=20131] ppid=20129 vsize=1547460 CPUtime=7.2
/proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 89232 0 1 0 694 26 0 0 17 0 18 0 22391117 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20131/statm: 386865 85576 1421 10 0 384168 0
[pid=20131/tid=20133] ppid=20129 vsize=1547460 CPUtime=2.46
/proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32069 0 1 0 241 5 0 0 15 0 18 0 22391118 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20131/tid=20134] ppid=20129 vsize=1547460 CPUtime=0.47
/proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 4524 0 0 0 45 2 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0
[pid=20131/tid=20135] ppid=20129 vsize=1547460 CPUtime=0.52
/proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 6860 0 0 0 50 2 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20136] ppid=20129 vsize=1547460 CPUtime=0.51
/proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 9269 0 0 0 49 2 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20137] ppid=20129 vsize=1547460 CPUtime=0.58
/proc/20131/task/20137/stat : 20137 (java) S 20129 20131 17859 0 -1 4202560 7530 0 0 0 55 3 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20138] ppid=20129 vsize=1547460 CPUtime=0.4
/proc/20131/task/20138/stat : 20138 (java) S 20129 20131 17859 0 -1 4202560 4669 0 0 0 39 1 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20139] ppid=20129 vsize=1547460 CPUtime=0.37
/proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 6240 0 0 0 35 2 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
[pid=20131/tid=20140] ppid=20129 vsize=1547460 CPUtime=0.54
/proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 6162 0 0 0 52 2 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20141] ppid=20129 vsize=1547460 CPUtime=0.54
/proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 5502 0 0 0 53 1 0 0 16 0 18 0 22391119 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0
[pid=20131/tid=20142] ppid=20129 vsize=1547460 CPUtime=0
/proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 18 0 22391120 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
[pid=20131/tid=20143] ppid=20129 vsize=1547460 CPUtime=0
/proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 18 0 22391120 1584599040 85576 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20144] ppid=20129 vsize=1547460 CPUtime=0
/proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 18 0 22391120 1584599040 85577 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20145] ppid=20129 vsize=1547460 CPUtime=0
/proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 18 0 22391122 1584599040 85577 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20146] ppid=20129 vsize=1547460 CPUtime=0.36
/proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 1940 0 0 0 36 0 0 0 15 0 18 0 22391122 1584599040 85578 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20147] ppid=20129 vsize=1547460 CPUtime=0.35
/proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 3394 0 0 0 34 1 0 0 18 0 18 0 22391122 1584599040 85578 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0
[pid=20131/tid=20148] ppid=20129 vsize=1547460 CPUtime=0
/proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 22391122 1584599040 85578 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20149] ppid=20129 vsize=1547460 CPUtime=0
/proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 22391122 1584599040 85578 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 7.2
Current children cumulated vsize (KiB) 1547460

[startup+6.30152 s]
/proc/loadavg: 2.13 2.06 2.15 3/215 20150
/proc/meminfo: memFree=29106564/32951124 swapFree=67111528/67111528
[pid=20131] ppid=20129 vsize=1551116 CPUtime=12.55
/proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 112059 0 1 0 1220 35 0 0 17 0 19 0 22391117 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20131/statm: 387779 107728 1439 10 0 385082 0
[pid=20131/tid=20133] ppid=20129 vsize=1551116 CPUtime=5.36
/proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32112 0 1 0 531 5 0 0 17 0 19 0 22391118 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4109576641 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20131/tid=20134] ppid=20129 vsize=1551116 CPUtime=0.71
/proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 7650 0 0 0 67 4 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0
[pid=20131/tid=20135] ppid=20129 vsize=1551116 CPUtime=0.75
/proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 9726 0 0 0 71 4 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
[pid=20131/tid=20136] ppid=20129 vsize=1551116 CPUtime=0.61
/proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 10227 0 0 0 59 2 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20137] ppid=20129 vsize=1551116 CPUtime=0.82
/proc/20131/task/20137/stat : 20137 (java) S 20129 20131 17859 0 -1 4202560 10546 0 0 0 77 5 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20138] ppid=20129 vsize=1551116 CPUtime=0.66
/proc/20131/task/20138/stat : 20138 (java) S 20129 20131 17859 0 -1 4202560 10135 0 0 0 64 2 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20139] ppid=20129 vsize=1551116 CPUtime=0.54
/proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 7935 0 0 0 52 2 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20140] ppid=20129 vsize=1551116 CPUtime=0.74
/proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 8298 0 0 0 71 3 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20141] ppid=20129 vsize=1551116 CPUtime=0.77
/proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 8237 0 0 0 75 2 0 0 15 0 19 0 22391119 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0
[pid=20131/tid=20142] ppid=20129 vsize=1551116 CPUtime=0
/proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 22391120 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
[pid=20131/tid=20143] ppid=20129 vsize=1551116 CPUtime=0
/proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22391120 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20144] ppid=20129 vsize=1551116 CPUtime=0
/proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 22391120 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20145] ppid=20129 vsize=1551116 CPUtime=0
/proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 22391122 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20146] ppid=20129 vsize=1551116 CPUtime=0.61
/proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 2049 0 0 0 61 0 0 0 15 0 19 0 22391122 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20147] ppid=20129 vsize=1551116 CPUtime=0.85
/proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 4065 0 0 0 84 1 0 0 15 0 19 0 22391122 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20148] ppid=20129 vsize=1551116 CPUtime=0
/proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22391122 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20149] ppid=20129 vsize=1551116 CPUtime=0
/proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 22391122 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0
[pid=20131/tid=20150] ppid=20129 vsize=1551116 CPUtime=0
/proc/20131/task/20150/stat : 20150 (java) S 20129 20131 17859 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 22391579 1588342784 107728 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 1551116

[startup+12.7014 s]
/proc/loadavg: 2.12 2.06 2.15 3/215 20151
/proc/meminfo: memFree=29106028/32951124 swapFree=67111528/67111528
[pid=20131] ppid=20129 vsize=1551116 CPUtime=19.04
/proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 112070 0 1 0 1869 35 0 0 17 0 19 0 22391117 1588342784 107736 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20131/statm: 387779 107736 1441 10 0 385082 0
[pid=20131/tid=20133] ppid=20129 vsize=1551116 CPUtime=11.76
/proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32115 0 1 0 1171 5 0 0 25 0 19 0 22391118 1588342784 107736 4089446400 134512640 134550932 4291822080 18446744073709551615 4109725688 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=20131/tid=20134] ppid=20129 vsize=1551116 CPUtime=0.71
/proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 7650 0 0 0 67 4 0 0 15 0 19 0 22391119 1588342784 107736 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0
[pid=20131/tid=20135] ppid=20129 vsize=1551116 CPUtime=0.75
/proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 9726 0 0 0 71 4 0 0 15 0 19 0 22391119 1588342784 107736 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
[pid=20131/tid=20136] ppid=20129 vsize=1551116 CPUtime=0.61
/proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 10227 0 0 0 59 2 0 0 15 0 19 0 22391119 1588342784 107736 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0

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

[pid=20131/tid=20139] ppid=20129 vsize=1552396 CPUtime=0.8
/proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 12343 0 0 0 76 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20140] ppid=20129 vsize=1552396 CPUtime=1.02
/proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 15335 0 0 0 98 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20141] ppid=20129 vsize=1552396 CPUtime=1.08
/proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 14866 0 0 0 103 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0
[pid=20131/tid=20142] ppid=20129 vsize=1552396 CPUtime=1.74
/proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10562 0 0 0 172 2 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
[pid=20131/tid=20143] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20144] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20145] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20146] ppid=20129 vsize=1552396 CPUtime=0.69
/proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 2067 0 0 0 69 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20147] ppid=20129 vsize=1552396 CPUtime=1.14
/proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 4553 0 0 0 113 1 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20148] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20149] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0
[pid=20131/tid=20150] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20150/stat : 20150 (java) S 20129 20131 17859 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 22391579 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1670.75
Current children cumulated vsize (KiB) 1552396

[startup+1722.3 s]
/proc/loadavg: 1.00 1.06 1.40 2/189 20220
/proc/meminfo: memFree=29018304/32951124 swapFree=67111528/67111528
[pid=20131] ppid=20129 vsize=1552396 CPUtime=1730.75
/proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 162579 0 1 0 173022 53 0 0 17 0 19 0 22391117 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20131/statm: 388099 146580 1446 10 0 385402 0
[pid=20131/tid=20133] ppid=20129 vsize=1552396 CPUtime=1719.23
/proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32141 0 1 0 171918 5 0 0 25 0 19 0 22391118 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4109771820 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20131/tid=20134] ppid=20129 vsize=1552396 CPUtime=1.01
/proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 10887 0 0 0 96 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0
[pid=20131/tid=20135] ppid=20129 vsize=1552396 CPUtime=1.02
/proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 15790 0 0 0 96 6 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0
[pid=20131/tid=20136] ppid=20129 vsize=1552396 CPUtime=0.89
/proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 14232 0 0 0 85 4 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0
[pid=20131/tid=20137] ppid=20129 vsize=1552396 CPUtime=1.11
/proc/20131/task/20137/stat : 20137 (java) S 20129 20131 17859 0 -1 4202560 14225 0 0 0 105 6 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20138] ppid=20129 vsize=1552396 CPUtime=0.9
/proc/20131/task/20138/stat : 20138 (java) S 20129 20131 17859 0 -1 4202560 14409 0 0 0 85 5 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20139] ppid=20129 vsize=1552396 CPUtime=0.8
/proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 12343 0 0 0 76 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20140] ppid=20129 vsize=1552396 CPUtime=1.02
/proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 15335 0 0 0 98 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20141] ppid=20129 vsize=1552396 CPUtime=1.08
/proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 14866 0 0 0 103 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0
[pid=20131/tid=20142] ppid=20129 vsize=1552396 CPUtime=1.74
/proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10562 0 0 0 172 2 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
[pid=20131/tid=20143] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20144] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20145] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20146] ppid=20129 vsize=1552396 CPUtime=0.69
/proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 2067 0 0 0 69 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20147] ppid=20129 vsize=1552396 CPUtime=1.14
/proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 4553 0 0 0 113 1 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20148] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20149] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0
[pid=20131/tid=20150] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20150/stat : 20150 (java) S 20129 20131 17859 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 22391579 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1730.75
Current children cumulated vsize (KiB) 1552396

[startup+1782.3 s]
/proc/loadavg: 1.00 1.04 1.37 2/189 20221
/proc/meminfo: memFree=29018500/32951124 swapFree=67111528/67111528
[pid=20131] ppid=20129 vsize=1552396 CPUtime=1790.76
/proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 162581 0 1 0 179023 53 0 0 17 0 19 0 22391117 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20131/statm: 388099 146580 1446 10 0 385402 0
[pid=20131/tid=20133] ppid=20129 vsize=1552396 CPUtime=1779.23
/proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32141 0 1 0 177918 5 0 0 25 0 19 0 22391118 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4109771820 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20131/tid=20134] ppid=20129 vsize=1552396 CPUtime=1.01
/proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 10887 0 0 0 96 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0
[pid=20131/tid=20135] ppid=20129 vsize=1552396 CPUtime=1.02
/proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 15790 0 0 0 96 6 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0
[pid=20131/tid=20136] ppid=20129 vsize=1552396 CPUtime=0.89
/proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 14232 0 0 0 85 4 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0
[pid=20131/tid=20137] ppid=20129 vsize=1552396 CPUtime=1.11
/proc/20131/task/20137/stat : 20137 (java) S 20129 20131 17859 0 -1 4202560 14225 0 0 0 105 6 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20138] ppid=20129 vsize=1552396 CPUtime=0.9
/proc/20131/task/20138/stat : 20138 (java) S 20129 20131 17859 0 -1 4202560 14409 0 0 0 85 5 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20139] ppid=20129 vsize=1552396 CPUtime=0.8
/proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 12343 0 0 0 76 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20140] ppid=20129 vsize=1552396 CPUtime=1.02
/proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 15335 0 0 0 98 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20141] ppid=20129 vsize=1552396 CPUtime=1.08
/proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 14866 0 0 0 103 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0
[pid=20131/tid=20142] ppid=20129 vsize=1552396 CPUtime=1.74
/proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10562 0 0 0 172 2 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
[pid=20131/tid=20143] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20144] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20145] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20146] ppid=20129 vsize=1552396 CPUtime=0.69
/proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 2067 0 0 0 69 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20147] ppid=20129 vsize=1552396 CPUtime=1.14
/proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 4553 0 0 0 113 1 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20148] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20149] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0
[pid=20131/tid=20150] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20150/stat : 20150 (java) S 20129 20131 17859 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 22391579 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1790.76
Current children cumulated vsize (KiB) 1552396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1791.6 s]
/proc/loadavg: 1.00 1.04 1.36 2/189 20222
/proc/meminfo: memFree=29018480/32951124 swapFree=67111528/67111528
[pid=20131] ppid=20129 vsize=1552396 CPUtime=1800.06
/proc/20131/stat : 20131 (java) S 20129 20131 17859 0 -1 4202496 162583 0 1 0 179953 53 0 0 17 0 19 0 22391117 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/20131/statm: 388099 146580 1446 10 0 385402 0
[pid=20131/tid=20133] ppid=20129 vsize=1552396 CPUtime=1788.54
/proc/20131/task/20133/stat : 20133 (java) R 20129 20131 17859 0 -1 4202560 32141 0 1 0 178849 5 0 0 25 0 19 0 22391118 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4109697994 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=20131/tid=20134] ppid=20129 vsize=1552396 CPUtime=1.01
/proc/20131/task/20134/stat : 20134 (java) S 20129 20131 17859 0 -1 4202560 10887 0 0 0 96 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0
[pid=20131/tid=20135] ppid=20129 vsize=1552396 CPUtime=1.02
/proc/20131/task/20135/stat : 20135 (java) S 20129 20131 17859 0 -1 4202560 15790 0 0 0 96 6 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0
[pid=20131/tid=20136] ppid=20129 vsize=1552396 CPUtime=0.89
/proc/20131/task/20136/stat : 20136 (java) S 20129 20131 17859 0 -1 4202560 14232 0 0 0 85 4 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 7 0 0 0
[pid=20131/tid=20137] ppid=20129 vsize=1552396 CPUtime=1.11
/proc/20131/task/20137/stat : 20137 (java) S 20129 20131 17859 0 -1 4202560 14225 0 0 0 105 6 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20138] ppid=20129 vsize=1552396 CPUtime=0.9
/proc/20131/task/20138/stat : 20138 (java) S 20129 20131 17859 0 -1 4202560 14409 0 0 0 85 5 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20139] ppid=20129 vsize=1552396 CPUtime=0.8
/proc/20131/task/20139/stat : 20139 (java) S 20129 20131 17859 0 -1 4202560 12343 0 0 0 76 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20140] ppid=20129 vsize=1552396 CPUtime=1.02
/proc/20131/task/20140/stat : 20140 (java) S 20129 20131 17859 0 -1 4202560 15335 0 0 0 98 4 0 0 15 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20141] ppid=20129 vsize=1552396 CPUtime=1.08
/proc/20131/task/20141/stat : 20141 (java) S 20129 20131 17859 0 -1 4202560 14866 0 0 0 103 5 0 0 16 0 19 0 22391119 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 2 0 0 0
[pid=20131/tid=20142] ppid=20129 vsize=1552396 CPUtime=1.74
/proc/20131/task/20142/stat : 20142 (java) S 20129 20131 17859 0 -1 4202560 10562 0 0 0 172 2 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 0 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
[pid=20131/tid=20143] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20143/stat : 20143 (java) S 20129 20131 17859 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20144] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20144/stat : 20144 (java) S 20129 20131 17859 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 19 0 22391120 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20145] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20145/stat : 20145 (java) S 20129 20131 17859 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 1 0 0 0
[pid=20131/tid=20146] ppid=20129 vsize=1552396 CPUtime=0.69
/proc/20131/task/20146/stat : 20146 (java) S 20129 20131 17859 0 -1 4202560 2067 0 0 0 69 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20147] ppid=20129 vsize=1552396 CPUtime=1.14
/proc/20131/task/20147/stat : 20147 (java) S 20129 20131 17859 0 -1 4202560 4553 0 0 0 113 1 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 3 0 0 0
[pid=20131/tid=20148] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20148/stat : 20148 (java) S 20129 20131 17859 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 4 0 0 0
[pid=20131/tid=20149] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20149/stat : 20149 (java) S 20129 20131 17859 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 22391122 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 0 0 0 0
[pid=20131/tid=20150] ppid=20129 vsize=1552396 CPUtime=0
/proc/20131/task/20150/stat : 20150 (java) S 20129 20131 17859 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 22391579 1589653504 146580 4089446400 134512640 134550932 4291822080 18446744073709551615 4294960144 0 4 0 16800975 18446604471117510592 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1552396

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

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

Child status: 143
Real time (s): 1791.7
CPU time (s): 1800.26
CPU user time (s): 1799.7
CPU system time (s): 0.560914
CPU usage (%): 100.477
Max. virtual memory (cumulated for all children) (KiB): 1564404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.560914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 162616
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38326
involuntary context switches= 104280

runsolver used 2.85257 second user time and 6.21905 second system time

The end

Launcher Data 

Begin job on node140 at 2010-07-08 00:29:43
IDJOB=2701826
IDBENCH=79643
IDSOLVER=1211
FILE ID=node140/2701826-1278541783
PBS_JOBID= 11239198
Free space on /tmp= 73684 MiB

SOLVER NAME= SAT4J PB Resolution 2.2.1
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/graphs/normalized-graph07_wcsp.wbo
COMMAND LINE= java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2701826-1278541783/watcher-2701826-1278541783 -o /tmp/evaluation-result-2701826-1278541783/solver-2701826-1278541783 -C 1800 -W 2000 -M 3800  java6 -server -Xmx1350m -Xms1350m -jar HOME/sat4j-pb.jar HOME/instance-2701826-1278541783.wbo

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 3800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= fddb3e21e350e2df5161d1678905aa9f
RANDOM SEED=1929707673

node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5261.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.817
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      29531492 kB
Buffers:        142236 kB
Cached:        2992936 kB
SwapCached:          0 kB
Active:        1229292 kB
Inactive:      2035428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29531492 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           15740 kB
Writeback:           0 kB
AnonPages:      129732 kB
Mapped:          20332 kB
Slab:            89516 kB
PageTables:       4984 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:  1657604 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73684 MiB
End job on node140 at 2010-07-08 00:59:37