Trace number 3456760

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j CuttingPlanes 2.3.0SAT (TO)5020678 1800.32 1797.78

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
MD5SUM56c71282ea86eaaf05df174b87b01c4e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3053568
Best CPU time to get the best result obtained on this benchmark1800.37
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3039236
Optimality of the best value was proved NO
Number of variables4464
Total number of constraints168
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints168
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 4464
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 856864234722
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 856864234722
Number of bits of the biggest sum of numbers40
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.08	c version 2.3.1.v20110525
0.04/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.08	c java.vm.version	19.1-b02
0.04/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.08	c sun.arch.data.model	64
0.04/0.08	c java.version		1.6.0_24
0.04/0.08	c os.name		Linux
0.04/0.08	c os.version		2.6.18-164.el5
0.04/0.08	c os.arch		amd64
0.04/0.08	c Free memory 		9996466904
0.04/0.08	c Max memory 		10048897024
0.04/0.08	c Total memory 		10048897024
0.04/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@13d4c61c
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.10	c No reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3456760-1307642258.opb
0.10/0.10	c reading problem ... 
0.61/0.32	c ... done. Wall clock time 0.216s.
0.61/0.32	c #vars     4464
0.61/0.32	c #constraints  2524
0.61/0.32	c constraints type 
0.61/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPb => 192
40.48/39.14	c SATISFIABLE
40.48/39.14	c OPTIMIZING...
40.48/39.14	c Got one! Elapsed wall clock time (in seconds):39.034
40.48/39.14	o 8988673
46.78/45.36	c Got one! Elapsed wall clock time (in seconds):45.254
46.78/45.36	o 5128153
56.84/55.38	c Got one! Elapsed wall clock time (in seconds):55.273
56.84/55.38	o 5069142
68.25/66.78	c Got one! Elapsed wall clock time (in seconds):66.671
68.25/66.78	o 5020678
1800.09/1797.61	c starts		: 8
1800.09/1797.61	c conflicts		: 4359
1800.09/1797.61	c decisions		: 355205
1800.09/1797.61	c propagations		: 1002077
1800.09/1797.61	c inspects		: 396535543
1800.09/1797.61	c shortcuts		: 0
1800.09/1797.61	c learnt literals	: 0
1800.09/1797.61	c learnt binary clauses	: 0
1800.09/1797.61	c learnt ternary clauses	: 0
1800.09/1797.61	c learnt constraints	: 4359
1800.09/1797.61	c ignored constraints	: 0
1800.09/1797.61	c root simplifications	: 0
1800.09/1797.61	c removed literals (reason simplification)	: 0
1800.09/1797.61	c reason swapping (by a shorter reason)	: 0
1800.09/1797.61	c Calls to reduceDB	: 0
1800.09/1797.61	c number of reductions to clauses (during analyze)	: 0
1800.09/1797.61	c number of learned constraints concerned by reduction	: 0
1800.09/1797.61	c number of learning phase by resolution	: 0
1800.09/1797.61	c number of learning phase by cutting planes	: 0
1800.09/1797.61	c speed (assignments/second)	: 578.9574943813084
1800.09/1797.61	c non guided choices	0
1800.09/1797.61	c learnt constraints type 
1800.09/1797.61	c org.sat4j.pb.constraints.pb.MaxWatchPb => 4359
1800.09/1797.61	c constraints type 
1800.09/1797.61	c org.sat4j.pb.constraints.pb.MaxWatchPb => 193
1800.09/1797.61	s SATISFIABLE
1800.09/1797.62	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 
1800.09/1797.63	c objective function=5020678
1800.09/1797.63	c Total wall clock time (in seconds): 1797.525

Verifier Data 

OK	5020678

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456760-1307642258/watcher-3456760-1307642258 -o /tmp/evaluation-result-3456760-1307642258/solver-3456760-1307642258 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456760-1307642258.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.04 2.01 3/195 31527
/proc/meminfo: memFree=29568552/32950928 swapFree=67051096/67111528
[pid=31527] ppid=31525 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/31527/stat : 31527 (java) S 31525 31527 30485 0 -1 4202496 1122 0 0 0 0 0 0 0 25 0 2 0 954456433 24580096 860 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379349477 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/31527/statm: 6001 864 652 9 0 381 0
[pid=31527/tid=31528] ppid=31525 vsize=24004 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31528/stat : 31528 (java) R 31525 31527 30485 0 -1 4202560 13 0 0 0 0 0 0 0 25 0 2 0 954456433 24580096 865 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251367601321 0 0 4096 0 0 0 0 -1 2 0 0 0

[startup+0.0481451 s]
/proc/loadavg: 2.06 2.04 2.01 3/195 31527
/proc/meminfo: memFree=29568552/32950928 swapFree=67051096/67111528
[pid=31527] ppid=31525 vsize=10467480 CPUtime=0.04 cores=0,2,4,6
/proc/31527/stat : 31527 (java) S 31525 31527 30485 0 -1 4202496 11380 0 1 0 3 1 0 0 25 0 13 0 954456433 10718699520 11077 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379349477 0 0 0 16800971 18446744073709551615 0 0 17 2 0 0 0
/proc/31527/statm: 2616870 11077 1682 9 0 2607618 0
[pid=31527/tid=31528] ppid=31525 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/31527/task/31528/stat : 31528 (java) R 31525 31527 30485 0 -1 4202560 10233 0 1 0 2 1 0 0 25 0 13 0 954456433 10718699520 11077 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 47064320964120 0 4 0 16800971 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480

[startup+0.101158 s]
/proc/loadavg: 2.06 2.04 2.01 3/195 31527
/proc/meminfo: memFree=29568552/32950928 swapFree=67051096/67111528
[pid=31527] ppid=31525 vsize=10540440 CPUtime=0.1 cores=0,2,4,6
/proc/31527/stat : 31527 (java) S 31525 31527 30485 0 -1 4202496 13139 0 1 0 9 1 0 0 25 0 18 0 954456433 10793410560 12817 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31527/statm: 2635110 12819 2092 9 0 2625844 0
[pid=31527/tid=31528] ppid=31525 vsize=10540440 CPUtime=0.08 cores=0,2,4,6
/proc/31527/task/31528/stat : 31528 (java) R 31525 31527 30485 0 -1 4202560 11203 0 1 0 7 1 0 0 18 0 18 0 954456433 10793410560 12820 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 47064322399059 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540440

[startup+0.3081 s]
/proc/loadavg: 2.06 2.04 2.01 3/195 31527
/proc/meminfo: memFree=29568552/32950928 swapFree=67051096/67111528
[pid=31527] ppid=31525 vsize=10560680 CPUtime=0.61 cores=0,2,4,6
/proc/31527/stat : 31527 (java) S 31525 31527 30485 0 -1 4202496 24851 0 1 0 58 3 0 0 25 0 18 0 954456433 10814136320 21717 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31527/statm: 2640170 21719 2203 9 0 2630904 0
[pid=31527/tid=31528] ppid=31525 vsize=10560680 CPUtime=0.28 cores=0,2,4,6
/proc/31527/task/31528/stat : 31528 (java) R 31525 31527 30485 0 -1 4202560 14282 0 1 0 27 1 0 0 18 0 18 0 954456433 10814136320 21720 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 46912505619074 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 10560680

[startup+0.701025 s]
/proc/loadavg: 2.06 2.04 2.01 3/195 31527
/proc/meminfo: memFree=29568552/32950928 swapFree=67051096/67111528
[pid=31527] ppid=31525 vsize=10558792 CPUtime=1.51 cores=0,2,4,6
/proc/31527/stat : 31527 (java) S 31525 31527 30485 0 -1 4202496 34018 0 1 0 147 4 0 0 25 0 19 0 954456433 10812203008 29429 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31527/statm: 2639698 29432 2223 9 0 2630432 0
[pid=31527/tid=31528] ppid=31525 vsize=10558792 CPUtime=0.68 cores=0,2,4,6
/proc/31527/task/31528/stat : 31528 (java) R 31525 31527 30485 0 -1 4202560 21277 0 1 0 66 2 0 0 18 0 19 0 954456433 10812203008 29433 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 46912505749901 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 10558792

[startup+1.50088 s]
/proc/loadavg: 2.06 2.04 2.01 3/214 31546
/proc/meminfo: memFree=29428988/32950928 swapFree=67051096/67111528
[pid=31527] ppid=31525 vsize=10558792 CPUtime=2.62 cores=0,2,4,6
/proc/31527/stat : 31527 (java) S 31525 31527 30485 0 -1 4202496 54972 0 1 0 256 6 0 0 25 0 19 0 954456433 10812203008 48362 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31527/statm: 2639698 48362 2225 9 0 2630432 0
[pid=31527/tid=31528] ppid=31525 vsize=10558792 CPUtime=1.47 cores=0,2,4,6
/proc/31527/task/31528/stat : 31528 (java) R 31525 31527 30485 0 -1 4202560 40096 0 1 0 144 3 0 0 19 0 19 0 954456433 10812203008 48362 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 46912505770201 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31527/tid=31530] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31530/stat : 31530 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 48363 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31531] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31531/stat : 31531 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 48363 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31532] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31532/stat : 31532 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 48363 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31533] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31533/stat : 31533 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 48363 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31534] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31534/stat : 31534 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 48363 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31535] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31535/stat : 31535 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 48364 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31536] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31536/stat : 31536 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 48364 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31537] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31537/stat : 31537 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 48365 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31538] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31538/stat : 31538 (java) S 31525 31527 30485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 954456436 10812203008 48365 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 0 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31539] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31539/stat : 31539 (java) S 31525 31527 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954456436 10812203008 48366 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31540] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31540/stat : 31540 (java) S 31525 31527 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954456436 10812203008 48366 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31541] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31541/stat : 31541 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 48367 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379370417 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31542] ppid=31525 vsize=10558792 CPUtime=0.54 cores=0,2,4,6
/proc/31527/task/31542/stat : 31542 (java) S 31525 31527 30485 0 -1 4202560 6071 0 0 0 53 1 0 0 15 0 19 0 954456438 10812203008 48367 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31543] ppid=31525 vsize=10558792 CPUtime=0.58 cores=0,2,4,6
/proc/31527/task/31543/stat : 31543 (java) S 31525 31527 30485 0 -1 4202560 7645 0 0 0 58 0 0 0 21 0 19 0 954456438 10812203008 48368 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31544] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31544/stat : 31544 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 48368 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31545] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31545/stat : 31545 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954456438 10812203008 48369 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
[pid=31527/tid=31546] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31546/stat : 31546 (java) S 31525 31527 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954456470 10812203008 48369 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.62
Current children cumulated vsize (KiB) 10558792

[startup+3.10158 s]
/proc/loadavg: 2.06 2.04 2.01 3/214 31546
/proc/meminfo: memFree=29298292/32950928 swapFree=67051096/67111528
[pid=31527] ppid=31525 vsize=10558792 CPUtime=4.27 cores=0,2,4,6
/proc/31527/stat : 31527 (java) S 31525 31527 30485 0 -1 4202496 98711 0 1 0 416 11 0 0 25 0 19 0 954456433 10812203008 90490 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31527/statm: 2639698 90491 2225 9 0 2630432 0
[pid=31527/tid=31528] ppid=31525 vsize=10558792 CPUtime=3.08 cores=0,2,4,6
/proc/31527/task/31528/stat : 31528 (java) R 31525 31527 30485 0 -1 4202560 82218 0 1 0 299 9 0 0 22 0 19 0 954456433 10812203008 90491 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 46912505679813 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31527/tid=31530] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31530/stat : 31530 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 90491 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31531] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31531/stat : 31531 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 90491 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31532] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31532/stat : 31532 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 90491 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31533] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31533/stat : 31533 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 90492 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31534] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31534/stat : 31534 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 90492 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31535] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31535/stat : 31535 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 90492 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31536] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31536/stat : 31536 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 90492 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31537] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31537/stat : 31537 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 90492 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31538] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31538/stat : 31538 (java) S 31525 31527 30485 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 954456436 10812203008 90492 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 0 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31539] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31539/stat : 31539 (java) S 31525 31527 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954456436 10812203008 90492 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31540] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31540/stat : 31540 (java) S 31525 31527 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954456436 10812203008 90492 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31541] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31541/stat : 31541 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 90492 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379370417 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31542] ppid=31525 vsize=10558792 CPUtime=0.59 cores=0,2,4,6
/proc/31527/task/31542/stat : 31542 (java) S 31525 31527 30485 0 -1 4202560 7689 0 0 0 58 1 0 0 15 0 19 0 954456438 10812203008 90493 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31543] ppid=31525 vsize=10558792 CPUtime=0.58 cores=0,2,4,6
/proc/31527/task/31543/stat : 31543 (java) S 31525 31527 30485 0 -1 4202560 7645 0 0 0 58 0 0 0 15 0 19 0 954456438 10812203008 90493 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31544] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31544/stat : 31544 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 90493 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31545] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31545/stat : 31545 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 954456438 10812203008 90493 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
[pid=31527/tid=31546] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31546/stat : 31546 (java) S 31525 31527 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954456470 10812203008 90493 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 10558792

[startup+6.30099 s]
/proc/loadavg: 2.06 2.04 2.01 3/214 31546
/proc/meminfo: memFree=28343968/32950928 swapFree=67051096/67111528
[pid=31527] ppid=31525 vsize=10558792 CPUtime=7.54 cores=0,2,4,6
/proc/31527/stat : 31527 (java) S 31525 31527 30485 0 -1 4202496 327598 0 1 0 719 35 0 0 25 0 19 0 954456433 10812203008 319100 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31527/statm: 2639698 319100 2227 9 0 2630432 0
[pid=31527/tid=31528] ppid=31525 vsize=10558792 CPUtime=6.28 cores=0,2,4,6
/proc/31527/task/31528/stat : 31528 (java) R 31525 31527 30485 0 -1 4202560 310675 0 1 0 595 33 0 0 21 0 19 0 954456433 10812203008 319100 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 46912505680253 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31527/tid=31530] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31530/stat : 31530 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 319100 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31531] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31531/stat : 31531 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 319100 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31532] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31532/stat : 31532 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 319100 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31533] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31533/stat : 31533 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 319100 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31534] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31534/stat : 31534 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 319100 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31535] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31535/stat : 31535 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 319100 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31536] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31536/stat : 31536 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 319100 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31537] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31537/stat : 31537 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456435 10812203008 319101 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31538] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31538/stat : 31538 (java) S 31525 31527 30485 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 954456436 10812203008 319101 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 0 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31539] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31539/stat : 31539 (java) S 31525 31527 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 954456436 10812203008 319101 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31540] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31540/stat : 31540 (java) S 31525 31527 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 954456436 10812203008 319101 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31541] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31541/stat : 31541 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 319101 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379370417 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31542] ppid=31525 vsize=10558792 CPUtime=0.64 cores=0,2,4,6
/proc/31527/task/31542/stat : 31542 (java) S 31525 31527 30485 0 -1 4202560 8112 0 0 0 63 1 0 0 15 0 19 0 954456438 10812203008 319101 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31543] ppid=31525 vsize=10558792 CPUtime=0.6 cores=0,2,4,6
/proc/31527/task/31543/stat : 31543 (java) S 31525 31527 30485 0 -1 4202560 7650 0 0 0 60 0 0 0 15 0 19 0 954456438 10812203008 319101 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0

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

/proc/31527/task/31540/stat : 31540 (java) S 31525 31527 30485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954456436 10812203008 901562 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31541] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31541/stat : 31541 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 901562 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379370417 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31542] ppid=31525 vsize=10558792 CPUtime=0.82 cores=0,2,4,6
/proc/31527/task/31542/stat : 31542 (java) S 31525 31527 30485 0 -1 4202560 8145 0 0 0 81 1 0 0 15 0 19 0 954456438 10812203008 901562 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31543] ppid=31525 vsize=10558792 CPUtime=0.78 cores=0,2,4,6
/proc/31527/task/31543/stat : 31543 (java) S 31525 31527 30485 0 -1 4202560 7673 0 0 0 78 0 0 0 15 0 19 0 954456438 10812203008 901562 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31544] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31544/stat : 31544 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 901562 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31545] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31545/stat : 31545 (java) S 31525 31527 30485 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 954456438 10812203008 901562 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31546] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31546/stat : 31546 (java) S 31525 31527 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954456470 10812203008 901562 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1664.74
Current children cumulated vsize (KiB) 10558792

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/214 31601
/proc/meminfo: memFree=24818380/32950928 swapFree=67051096/67111528
[pid=31527] ppid=31525 vsize=10558792 CPUtime=1724.76 cores=0,2,4,6
/proc/31527/stat : 31527 (java) S 31525 31527 30485 0 -1 4202496 911579 0 1 0 172375 101 0 0 25 0 19 0 954456433 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31527/statm: 2639698 901948 2242 9 0 2630432 0
[pid=31527/tid=31528] ppid=31525 vsize=10558792 CPUtime=1721.96 cores=0,2,4,6
/proc/31527/task/31528/stat : 31528 (java) R 31525 31527 30485 0 -1 4202560 840394 0 1 0 172106 90 0 0 25 0 19 0 954456433 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 46912505566968 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31527/tid=31530] ppid=31525 vsize=10558792 CPUtime=0.15 cores=0,2,4,6
/proc/31527/task/31530/stat : 31530 (java) S 31525 31527 30485 0 -1 4202560 7930 0 0 0 14 1 0 0 16 0 19 0 954456435 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31531] ppid=31525 vsize=10558792 CPUtime=0.08 cores=0,2,4,6
/proc/31527/task/31531/stat : 31531 (java) S 31525 31527 30485 0 -1 4202560 3969 0 0 0 8 0 0 0 16 0 19 0 954456435 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
[pid=31527/tid=31532] ppid=31525 vsize=10558792 CPUtime=0.17 cores=0,2,4,6
/proc/31527/task/31532/stat : 31532 (java) S 31525 31527 30485 0 -1 4202560 7305 0 0 0 16 1 0 0 16 0 19 0 954456435 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31533] ppid=31525 vsize=10558792 CPUtime=0.14 cores=0,2,4,6
/proc/31527/task/31533/stat : 31533 (java) S 31525 31527 30485 0 -1 4202560 6920 0 0 0 14 0 0 0 15 0 19 0 954456435 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
[pid=31527/tid=31534] ppid=31525 vsize=10558792 CPUtime=0.13 cores=0,2,4,6
/proc/31527/task/31534/stat : 31534 (java) S 31525 31527 30485 0 -1 4202560 7394 0 0 0 13 0 0 0 16 0 19 0 954456435 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
[pid=31527/tid=31535] ppid=31525 vsize=10558792 CPUtime=0.15 cores=0,2,4,6
/proc/31527/task/31535/stat : 31535 (java) S 31525 31527 30485 0 -1 4202560 8638 0 0 0 14 1 0 0 15 0 19 0 954456435 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31536] ppid=31525 vsize=10558792 CPUtime=0.14 cores=0,2,4,6
/proc/31527/task/31536/stat : 31536 (java) S 31525 31527 30485 0 -1 4202560 7337 0 0 0 14 0 0 0 15 0 19 0 954456435 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31537] ppid=31525 vsize=10558792 CPUtime=0.1 cores=0,2,4,6
/proc/31527/task/31537/stat : 31537 (java) S 31525 31527 30485 0 -1 4202560 4549 0 0 0 10 0 0 0 15 0 19 0 954456435 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31538] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31538/stat : 31538 (java) S 31525 31527 30485 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 954456436 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 0 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31539] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31539/stat : 31539 (java) S 31525 31527 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954456436 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31540] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31540/stat : 31540 (java) S 31525 31527 30485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954456436 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31541] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31541/stat : 31541 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379370417 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31542] ppid=31525 vsize=10558792 CPUtime=0.82 cores=0,2,4,6
/proc/31527/task/31542/stat : 31542 (java) S 31525 31527 30485 0 -1 4202560 8145 0 0 0 81 1 0 0 15 0 19 0 954456438 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31543] ppid=31525 vsize=10558792 CPUtime=0.78 cores=0,2,4,6
/proc/31527/task/31543/stat : 31543 (java) S 31525 31527 30485 0 -1 4202560 7673 0 0 0 78 0 0 0 15 0 19 0 954456438 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31544] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31544/stat : 31544 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31545] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31545/stat : 31545 (java) S 31525 31527 30485 0 -1 4202560 102 0 0 0 0 0 0 0 15 0 19 0 954456438 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31546] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31546/stat : 31546 (java) S 31525 31527 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954456470 10812203008 901948 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1724.76
Current children cumulated vsize (KiB) 10558792

[startup+1782.3 s]
/proc/loadavg: 1.92 1.98 1.99 2/194 31605
/proc/meminfo: memFree=28601976/32950928 swapFree=67051096/67111528
[pid=31527] ppid=31525 vsize=10558792 CPUtime=1784.78 cores=0,2,4,6
/proc/31527/stat : 31527 (java) S 31525 31527 30485 0 -1 4202496 911980 0 1 0 178377 101 0 0 25 0 19 0 954456433 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31527/statm: 2639698 902338 2242 9 0 2630432 0
[pid=31527/tid=31528] ppid=31525 vsize=10558792 CPUtime=1781.95 cores=0,2,4,6
/proc/31527/task/31528/stat : 31528 (java) R 31525 31527 30485 0 -1 4202560 840395 0 1 0 178105 90 0 0 25 0 19 0 954456433 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 46912505566892 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31527/tid=31530] ppid=31525 vsize=10558792 CPUtime=0.15 cores=0,2,4,6
/proc/31527/task/31530/stat : 31530 (java) S 31525 31527 30485 0 -1 4202560 7930 0 0 0 14 1 0 0 15 0 19 0 954456435 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31531] ppid=31525 vsize=10558792 CPUtime=0.08 cores=0,2,4,6
/proc/31527/task/31531/stat : 31531 (java) S 31525 31527 30485 0 -1 4202560 3969 0 0 0 8 0 0 0 15 0 19 0 954456435 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
[pid=31527/tid=31532] ppid=31525 vsize=10558792 CPUtime=0.17 cores=0,2,4,6
/proc/31527/task/31532/stat : 31532 (java) S 31525 31527 30485 0 -1 4202560 7305 0 0 0 16 1 0 0 15 0 19 0 954456435 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31533] ppid=31525 vsize=10558792 CPUtime=0.15 cores=0,2,4,6
/proc/31527/task/31533/stat : 31533 (java) S 31525 31527 30485 0 -1 4202560 6983 0 0 0 15 0 0 0 16 0 19 0 954456435 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
[pid=31527/tid=31534] ppid=31525 vsize=10558792 CPUtime=0.13 cores=0,2,4,6
/proc/31527/task/31534/stat : 31534 (java) S 31525 31527 30485 0 -1 4202560 7394 0 0 0 13 0 0 0 15 0 19 0 954456435 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
[pid=31527/tid=31535] ppid=31525 vsize=10558792 CPUtime=0.16 cores=0,2,4,6
/proc/31527/task/31535/stat : 31535 (java) S 31525 31527 30485 0 -1 4202560 8834 0 0 0 15 1 0 0 16 0 19 0 954456435 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31536] ppid=31525 vsize=10558792 CPUtime=0.15 cores=0,2,4,6
/proc/31527/task/31536/stat : 31536 (java) S 31525 31527 30485 0 -1 4202560 7437 0 0 0 15 0 0 0 16 0 19 0 954456435 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31537] ppid=31525 vsize=10558792 CPUtime=0.1 cores=0,2,4,6
/proc/31527/task/31537/stat : 31537 (java) S 31525 31527 30485 0 -1 4202560 4586 0 0 0 10 0 0 0 16 0 19 0 954456435 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31538] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31538/stat : 31538 (java) S 31525 31527 30485 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 954456436 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 0 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31539] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31539/stat : 31539 (java) S 31525 31527 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954456436 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31540] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31540/stat : 31540 (java) S 31525 31527 30485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954456436 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31541] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31541/stat : 31541 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379370417 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31542] ppid=31525 vsize=10558792 CPUtime=0.82 cores=0,2,4,6
/proc/31527/task/31542/stat : 31542 (java) S 31525 31527 30485 0 -1 4202560 8145 0 0 0 81 1 0 0 15 0 19 0 954456438 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31543] ppid=31525 vsize=10558792 CPUtime=0.78 cores=0,2,4,6
/proc/31527/task/31543/stat : 31543 (java) S 31525 31527 30485 0 -1 4202560 7673 0 0 0 78 0 0 0 15 0 19 0 954456438 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31544] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31544/stat : 31544 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31545] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31545/stat : 31545 (java) S 31525 31527 30485 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 954456438 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31546] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31546/stat : 31546 (java) S 31525 31527 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954456470 10812203008 902338 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1784.78
Current children cumulated vsize (KiB) 10558792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1797.6 s]
/proc/loadavg: 2.34 2.07 2.02 3/214 31662
/proc/meminfo: memFree=25868408/32950928 swapFree=67051096/67111528
[pid=31527] ppid=31525 vsize=10558792 CPUtime=1800.09 cores=0,2,4,6
/proc/31527/stat : 31527 (java) S 31525 31527 30485 0 -1 4202496 912400 0 1 0 179908 101 0 0 25 0 19 0 954456433 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31527/statm: 2639698 902751 2242 9 0 2630432 0
[pid=31527/tid=31528] ppid=31525 vsize=10558792 CPUtime=1797.25 cores=0,2,4,6
/proc/31527/task/31528/stat : 31528 (java) R 31525 31527 30485 0 -1 4202560 840396 0 1 0 179635 90 0 0 25 0 19 0 954456433 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 46912505566986 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31527/tid=31530] ppid=31525 vsize=10558792 CPUtime=0.15 cores=0,2,4,6
/proc/31527/task/31530/stat : 31530 (java) S 31525 31527 30485 0 -1 4202560 7930 0 0 0 14 1 0 0 15 0 19 0 954456435 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31531] ppid=31525 vsize=10558792 CPUtime=0.08 cores=0,2,4,6
/proc/31527/task/31531/stat : 31531 (java) S 31525 31527 30485 0 -1 4202560 4124 0 0 0 8 0 0 0 16 0 19 0 954456435 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
[pid=31527/tid=31532] ppid=31525 vsize=10558792 CPUtime=0.17 cores=0,2,4,6
/proc/31527/task/31532/stat : 31532 (java) S 31525 31527 30485 0 -1 4202560 7305 0 0 0 16 1 0 0 15 0 19 0 954456435 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31533] ppid=31525 vsize=10558792 CPUtime=0.15 cores=0,2,4,6
/proc/31527/task/31533/stat : 31533 (java) S 31525 31527 30485 0 -1 4202560 7021 0 0 0 15 0 0 0 16 0 19 0 954456435 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31534] ppid=31525 vsize=10558792 CPUtime=0.14 cores=0,2,4,6
/proc/31527/task/31534/stat : 31534 (java) S 31525 31527 30485 0 -1 4202560 7501 0 0 0 14 0 0 0 16 0 19 0 954456435 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31535] ppid=31525 vsize=10558792 CPUtime=0.16 cores=0,2,4,6
/proc/31527/task/31535/stat : 31535 (java) S 31525 31527 30485 0 -1 4202560 8834 0 0 0 15 1 0 0 15 0 19 0 954456435 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31536] ppid=31525 vsize=10558792 CPUtime=0.15 cores=0,2,4,6
/proc/31527/task/31536/stat : 31536 (java) S 31525 31527 30485 0 -1 4202560 7552 0 0 0 15 0 0 0 16 0 19 0 954456435 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31537] ppid=31525 vsize=10558792 CPUtime=0.1 cores=0,2,4,6
/proc/31527/task/31537/stat : 31537 (java) S 31525 31527 30485 0 -1 4202560 4586 0 0 0 10 0 0 0 15 0 19 0 954456435 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31538] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31538/stat : 31538 (java) S 31525 31527 30485 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 954456436 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 0 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31539] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31539/stat : 31539 (java) S 31525 31527 30485 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 954456436 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31540] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31540/stat : 31540 (java) S 31525 31527 30485 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 954456436 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31541] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31541/stat : 31541 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379370417 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31542] ppid=31525 vsize=10558792 CPUtime=0.82 cores=0,2,4,6
/proc/31527/task/31542/stat : 31542 (java) S 31525 31527 30485 0 -1 4202560 8145 0 0 0 81 1 0 0 15 0 19 0 954456438 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 4 0 0 0
[pid=31527/tid=31543] ppid=31525 vsize=10558792 CPUtime=0.78 cores=0,2,4,6
/proc/31527/task/31543/stat : 31543 (java) S 31525 31527 30485 0 -1 4202560 7673 0 0 0 78 0 0 0 15 0 19 0 954456438 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31544] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31544/stat : 31544 (java) S 31525 31527 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 954456438 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379362713 0 4 0 16800975 18446604450400264256 0 0 -1 2 0 0 0
[pid=31527/tid=31545] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31545/stat : 31545 (java) S 31525 31527 30485 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 954456438 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 4 0 16800975 18446604450400264256 0 0 -1 0 0 0 0
[pid=31527/tid=31546] ppid=31525 vsize=10558792 CPUtime=0 cores=0,2,4,6
/proc/31527/task/31546/stat : 31546 (java) S 31525 31527 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 954456470 10812203008 902751 33554432000 1073741824 1073778376 140733361473376 18446744073709551615 251379363328 0 4 0 16800975 18446604450400264256 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10558792

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

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

[startup+1797.71 s]
/proc/loadavg: 2.34 2.07 2.02 3/214 31662
/proc/meminfo: memFree=25868408/32950928 swapFree=67051096/67111528
[pid=31527] ppid=31525 vsize=0 CPUtime=1800.24 cores=0,2,4,6
/proc/31527/stat : 31527 (java) Z 31525 31527 30485 0 -1 4203548 912434 0 1 0 179916 108 0 0 17 0 2 0 954456433 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/31527/statm: 0 0 0 0 0 0 0
[pid=31527/tid=31528] ppid=31525 vsize=0 CPUtime=1797.34 cores=0,2,4,6
/proc/31527/task/31528/stat : 31528 (java) R 31525 31527 30485 0 -1 4203588 840396 0 1 0 179638 96 0 0 25 0 2 0 954456433 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1800.24
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1797.78
CPU time (s): 1800.32
CPU user time (s): 1799.16
CPU system time (s): 1.15482
CPU usage (%): 100.141
Max. virtual memory (cumulated for all children) (KiB): 10562640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.16
system time used= 1.15482
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 912434
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= 37641
involuntary context switches= 11191

runsolver used 3.44648 second user time and 6.37103 second system time

The end

Launcher Data 

Begin job on node113 at 2011-06-09 19:57:38
IDJOB=3456760
IDBENCH=2294
IDSOLVER=1951
FILE ID=node113/3456760-1307642258
RUNJOBID= node113-1307633277-30503
PBS_JOBID= 13549378
Free space on /tmp= 74060 MiB

SOLVER NAME= Sat4j CuttingPlanes 2.3.0
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
COMMAND LINE= java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3456760-1307642258/watcher-3456760-1307642258 -o /tmp/evaluation-result-3456760-1307642258/solver-3456760-1307642258 -C 1800 -W 1900 -M 15500  java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456760-1307642258.opb

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

MD5SUM BENCH= 56c71282ea86eaaf05df174b87b01c4e
RANDOM SEED=1254711716

node113.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.846
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.69
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.846
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	: 5332.76
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.846
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.74
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.846
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.75
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.846
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.74
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.846
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.75
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.846
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.83
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.846
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29568972 kB
Buffers:        185260 kB
Cached:         340792 kB
SwapCached:      14384 kB
Active:        2916072 kB
Inactive:       271032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29568972 kB
SwapTotal:    67111528 kB
SwapFree:     67051096 kB
Dirty:            1252 kB
Writeback:           0 kB
AnonPages:     2657888 kB
Mapped:          17372 kB
Slab:           126236 kB
PageTables:       9616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10570072 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= 74052 MiB
End job on node113 at 2011-06-09 20:27:37