Trace number 351084

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, and are wall clock time (not CPU 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
sat4jPseudoCPClause 2007-03-23SAT (TO)34499 1800.4 1763.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg.opb
MD5SUMed91ea31528e8311a929ab543dc490cc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3762
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -4754
Optimality of the best value was proved NO
Number of variables4890
Total number of constraints363
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 constraints363
Minimum length of a constraint30
Maximum length of a constraint540
Number of terms in the objective function 3930
Biggest coefficient in the objective function 5066
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 527386
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 260841
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527386
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.11/0.36	c SAT4J: a SATisfiability library for Java (c) 2004-2006 Daniel Le Berre
0.11/0.36	c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
0.11/0.36	c This software uses some libraries from the Jakarta project. See jakarta.apache.org for details.
0.11/0.37	c no version file found!!!
0.11/0.37	c sun.arch.data.model	32
0.11/0.37	c java.version	1.6.0
0.11/0.37	c os.name	Linux
0.11/0.37	c os.version	2.6.9-22.EL.rootsmp
0.11/0.37	c os.arch	i386
0.11/0.37	c Free memory 1651659224
0.11/0.37	c Max memory 1654456320
0.11/0.37	c Total memory 1654456320
0.11/0.37	c Number of processors 2
0.21/0.43	c Cutting planes based inference (org.sat4j.minisat.constraints.pb.PBSolverClause)
0.21/0.43	--- Begin Solver configuration ---
0.21/0.43	c Stops conflict analysis at the first Unique Implication Point
0.21/0.43	c org.sat4j.minisat.constraints.PBMaxClauseCardConstrDataStructure@691f36
0.21/0.43	c Learn all clauses as in MiniSAT
0.21/0.43	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=10000.0 initConflictBound=100 
0.21/0.43	c VSIDS like heuristics from MiniSAT using a heap
0.21/0.43	c No reason simplification
0.21/0.43	c --- End Solver configuration ---
0.21/0.43	c Simplify asserted PB constraints to clauses
0.21/0.43	c solving /tmp/evaluation/351084-1176579894/instance-351084-1176579894.opb
0.21/0.43	c reading problem ... 
2.35/1.61	c ... done. Wall clock time 1.183s.
2.35/1.61	c CPU time (experimental) 0.89s.
2.35/1.61	c #vars     4890
2.35/1.61	c #constraints  393
33.38/31.41	c SATISFIABLE
33.38/31.41	c OPTIMIZING...
33.38/31.41	c Got one! Elapsed wall clock time (in seconds):30.985
33.38/31.44	o 34499
1800.05/1763.61	c starts		: 4
1800.05/1763.61	c conflicts		: 4113
1800.05/1763.61	c decisions		: 45423
1800.05/1763.61	c propagations		: 269212
1800.05/1763.61	c inspects		: 13510250
1800.05/1763.61	c learnt literals	: 0
1800.05/1763.61	c learnt binary clauses	: 0
1800.05/1763.61	c learnt ternary clauses	: 0
1800.05/1763.61	c learnt clauses	: 4112
1800.05/1763.61	c root simplifications	: 0
1800.05/1763.61	c removed literals (reason simplification)	: 0
1800.05/1763.61	c reason swapping (by a shorter reason)	: 0
1800.05/1763.61	c Calls to reduceDB	: 0
1800.05/1763.61	c speed (decisions/second)	: 26.225568875966218
1800.05/1763.61	c non guided choices	226
1800.05/1763.61	s SATISFIABLE
1800.05/1763.66	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
1800.05/1763.66	v -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
1800.05/1763.66	v -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
1800.05/1763.66	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104
1800.05/1763.66	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.05/1763.66	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.05/1763.66	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.05/1763.66	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.05/1763.66	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.05/1763.66	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.05/1763.66	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.05/1763.66	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.05/1763.66	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.05/1763.66	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.05/1763.66	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.05/1763.66	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.05/1763.66	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.05/1763.66	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.05/1763.66	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.05/1763.66	v -x420 -x421 -x422 -x423 -x424 x425 -x426 -x427 -x428 -x429 x430 -x431 -x432 -x433 x434 x435 x436 x437 -x438 -x439 -x440 -x441
1800.05/1763.66	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 x451 x452 x453 x454 x455 x456 x457 x458 x459 x460 x461 x462 x463 x464
1800.05/1763.66	v x465 x466 x467 x468 x469 x470 x471 x472 x473 x474 x475 x476 x477 x478 x479 x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488
1800.05/1763.66	v -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 x506 x507 x508 x509
1800.05/1763.66	v 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
1800.05/1763.66	v x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556
1800.05/1763.66	v -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577
1800.05/1763.66	v -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598
1800.05/1763.66	v -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
1800.05/1763.66	v x624 x625 x626 x627 x628 x629 x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645
1800.05/1763.66	v -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 x655 x656 x657 x658 x659 x660 x661 x662 x663 x664 x665 x666 x667 x668
1800.05/1763.66	v x669 x670 x671 x672 x673 x674 x675 x676 x677 x678 x679 x680 x681 x682 x683 x684 x685 -x686 -x687 -x688 -x689 -x690 x691 x692
1800.05/1763.66	v x693 x694 x695 x696 x697 x698 x699 x700 x701 x702 x703 -x704 x705 x706 x707 x708 -x709 x710 x711 -x712 x713 x714 -x715 -x716
1800.05/1763.66	v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737
1800.05/1763.66	v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
1800.05/1763.66	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779
1800.05/1763.66	v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
1800.05/1763.66	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821
1800.05/1763.66	v -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842
1800.05/1763.66	v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863
1800.05/1763.66	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884
1800.05/1763.66	v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905
1800.05/1763.66	v -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926
1800.05/1763.66	v -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947
1800.05/1763.66	v -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968
1800.05/1763.66	v -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989
1800.05/1763.66	v -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008
1800.05/1763.66	v -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025
1800.05/1763.66	v -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043
1800.05/1763.66	v -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060
1800.05/1763.66	v -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077
1800.05/1763.66	v -x1078 -x1079 -x1080 x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095
1800.05/1763.66	v x1096 x1097 -x1098 -x1099 x1100 -x1101 x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113
1800.05/1763.66	v -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 x1122 -x1123 -x1124 -x1125 x1126 x1127 -x1128 x1129 x1130 x1131
1800.05/1763.66	v -x1132 x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 -x1148 x1149 -x1150
1800.05/1763.66	v x1151 -x1152 x1153 x1154 x1155 -x1156 x1157 -x1158 x1159 x1160 -x1161 -x1162 x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169
1800.05/1763.66	v -x1170 -x1171 x1172 -x1173 -x1174 -x1175 x1176 x1177 x1178 -x1179 x1180 -x1181 -x1182 -x1183 x1184 x1185 -x1186 -x1187
1800.05/1763.66	v x1188 x1189 -x1190 x1191 x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205
1800.05/1763.66	v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 x1213 -x1214 -x1215 x1216 x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223
1800.05/1763.66	v -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241
1800.05/1763.66	v -x1242 x1243 x1244 x1245 -x1246 -x1247 x1248 -x1249 -x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259
1800.05/1763.66	v -x1260 -x1261 -x1262 -x1263 -x1264 x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277
1800.05/1763.66	v -x1278 x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1800.05/1763.66	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 x1304 -x1305 x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312
1800.05/1763.66	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329
1800.05/1763.66	v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
1800.05/1763.66	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363
1800.05/1763.66	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
1800.05/1763.66	v x1381 x1382 x1383 x1384 x1385 x1386 x1387 x1388 x1389 x1390 x1391 x1392 x1393 x1394 x1395 x1396 x1397 -x1398 x1399 -x1400
1800.05/1763.66	v x1401 x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418
1800.05/1763.66	v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435
1800.05/1763.66	v -x1436 -x1437 -x1438 -x1439 -x1440 x1441 x1442 x1443 x1444 x1445 x1446 x1447 x1448 -x1449 -x1450 x1451 -x1452 x1453 x1454
1800.05/1763.66	v x1455 x1456 -x1457 -x1458 x1459 x1460 -x1461 -x1462 x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472
1800.05/1763.66	v -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 x1488 x1489 x1490
1800.05/1763.66	v -x1491 x1492 -x1493 x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 -x1502 -x1503 x1504 -x1505 x1506 -x1507 -x1508
1800.05/1763.66	v x1509 -x1510 -x1511 x1512 x1513 -x1514 x1515 -x1516 -x1517 x1518 x1519 -x1520 -x1521 x1522 -x1523 -x1524 -x1525 -x1526
1800.05/1763.66	v -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543
1800.05/1763.66	v -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560
1800.05/1763.66	v -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578
1800.05/1763.66	v -x1579 -x1580 x1581 x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 x1593 x1594 x1595 -x1596
1800.05/1763.66	v x1597 x1598 x1599 x1600 x1601 x1602 -x1603 -x1604 -x1605 x1606 -x1607 -x1608 x1609 -x1610 -x1611 x1612 -x1613 -x1614 -x1615
1800.05/1763.66	v -x1616 -x1617 -x1618 -x1619 -x1620 x1621 -x1622 x1623 -x1624 x1625 -x1626 -x1627 -x1628 x1629 x1630 -x1631 -x1632 -x1633
1800.05/1763.66	v -x1634 -x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650
1800.05/1763.66	v -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667
1800.05/1763.66	v -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 x1681 x1682 x1683 x1684 x1685
1800.05/1763.66	v x1686 x1687 x1688 x1689 x1690 x1691 x1692 x1693 x1694 x1695 x1696 x1697 x1698 -x1699 x1700 x1701 x1702 x1703 -x1704 -x1705
1800.05/1763.66	v -x1706 -x1707 -x1708 -x1709 -x1710 x1711 x1712 x1713 x1714 x1715 x1716 x1717 x1718 x1719 x1720 x1721 x1722 x1723 x1724 x1725
1800.05/1763.66	v x1726 x1727 x1728 x1729 x1730 -x1731 x1732 x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 x1741 x1742 x1743 x1744
1800.05/1763.66	v x1745 x1746 x1747 x1748 x1749 x1750 x1751 x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 x1759 -x1760 -x1761 -x1762 -x1763
1800.05/1763.66	v -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780
1800.05/1763.66	v -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797
1800.05/1763.66	v -x1798 -x1799 -x1800 x1801 -x1802 -x1803 -x1804 -x1805 -x1806 x1807 -x1808 x1809 -x1810 x1811 -x1812 -x1813 -x1814 x1815
1800.05/1763.66	v -x1816 x1817 x1818 -x1819 -x1820 x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 x1832 x1833
1800.05/1763.66	v x1834 -x1835 -x1836 x1837 -x1838 -x1839 x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 x1847 -x1848 x1849 -x1850 -x1851
1800.05/1763.66	v x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 x1863 x1864 -x1865 -x1866 -x1867 -x1868 x1869
1800.05/1763.66	v x1870 -x1871 -x1872 -x1873 -x1874 x1875 -x1876 x1877 x1878 x1879 x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887
1800.05/1763.66	v -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 x1899 -x1900 -x1901 -x1902 -x1903 -x1904
1800.05/1763.66	v x1905 -x1906 -x1907 -x1908 x1909 x1910 x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922
1800.05/1763.66	v -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 x1933 -x1934 x1935 x1936 x1937 x1938 -x1939 -x1940
1800.05/1763.66	v -x1941 -x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957
1800.05/1763.66	v -x1958 -x1959 -x1960 x1961 x1962 x1963 -x1964 x1965 -x1966 x1967 -x1968 x1969 -x1970 x1971 -x1972 -x1973 -x1974 -x1975
1800.05/1763.66	v -x1976 -x1977 -x1978 -x1979 -x1980 x1981 x1982 x1983 -x1984 x1985 -x1986 -x1987 x1988 x1989 x1990 -x1991 -x1992 -x1993
1800.05/1763.66	v -x1994 x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010
1800.05/1763.66	v -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027
1800.05/1763.66	v -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044
1800.05/1763.66	v -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061
1800.05/1763.66	v -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078
1800.05/1763.66	v -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095
1800.05/1763.66	v -x2096 -x2097 -x2098 -x2099 -x2100 x2101 x2102 x2103 -x2104 -x2105 x2106 x2107 x2108 x2109 -x2110 -x2111 -x2112 -x2113
1800.05/1763.66	v -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 x2122 x2123 x2124 -x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131
1800.05/1763.66	v -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148
1800.05/1763.66	v -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165
1800.05/1763.66	v -x2166 x2167 -x2168 x2169 -x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 -x2177 -x2178 x2179 -x2180 -x2181 x2182 -x2183
1800.05/1763.66	v x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200
1800.05/1763.66	v -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217
1800.05/1763.66	v -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234
1800.05/1763.66	v -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251
1800.05/1763.66	v -x2252 x2253 -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269
1800.05/1763.66	v x2270 x2271 x2272 x2273 x2274 -x2275 -x2276 -x2277 x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287
1800.05/1763.66	v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304
1800.05/1763.66	v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 x2311 x2312 x2313 x2314 x2315 x2316 x2317 x2318 x2319 x2320 x2321 x2322 x2323
1800.05/1763.66	v x2324 x2325 x2326 x2327 x2328 x2329 x2330 x2331 x2332 x2333 x2334 x2335 x2336 x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343
1800.05/1763.66	v -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 -x2360
1800.05/1763.66	v -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377
1800.05/1763.66	v -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394
1800.05/1763.66	v -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 x2401 x2402 x2403 x2404 x2405 x2406 x2407 x2408 x2409 x2410 x2411 x2412 x2413
1800.05/1763.66	v x2414 x2415 x2416 x2417 x2418 x2419 x2420 x2421 x2422 x2423 x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 -x2432
1800.05/1763.66	v -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449
1800.05/1763.66	v -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 x2461 x2462 x2463 x2464 x2465 x2466 x2467
1800.05/1763.66	v x2468 x2469 x2470 x2471 x2472 x2473 x2474 x2475 x2476 x2477 x2478 x2479 x2480 x2481 x2482 x2483 x2484 x2485 x2486 x2487 -x2488
1800.05/1763.66	v -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 -x2503 -x2504 -x2505
1800.05/1763.66	v -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522
1800.05/1763.66	v -x2523 -x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 -x2532 -x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539
1800.05/1763.66	v -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 x2551 x2552 x2553 x2554 x2555 x2556 x2557
1800.05/1763.66	v x2558 x2559 x2560 x2561 x2562 x2563 x2564 x2565 x2566 x2567 -x2568 x2569 -x2570 x2571 x2572 -x2573 -x2574 -x2575 -x2576
1800.05/1763.66	v -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593
1800.05/1763.66	v -x2594 -x2595 -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610
1800.05/1763.66	v x2611 x2612 x2613 x2614 x2615 x2616 x2617 x2618 x2619 x2620 x2621 x2622 x2623 x2624 -x2625 -x2626 x2627 x2628 -x2629 -x2630
1800.05/1763.66	v x2631 -x2632 x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648
1800.05/1763.66	v -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665
1800.05/1763.66	v -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682
1800.05/1763.66	v -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697 -x2698 -x2699
1800.05/1763.66	v -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714 -x2715 -x2716
1800.05/1763.66	v -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 x2728 -x2729 -x2730 x2731 x2732 x2733 x2734
1800.05/1763.66	v x2735 x2736 x2737 x2738 x2739 x2740 x2741 x2742 x2743 x2744 x2745 x2746 x2747 x2748 x2749 x2750 x2751 x2752 -x2753 x2754
1800.05/1763.66	v x2755 x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765 -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772
1800.05/1763.66	v -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782 -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789
1800.05/1763.66	v -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799 -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806
1800.05/1763.66	v -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816 -x2817 -x2818 x2819 -x2820 -x2821 -x2822 -x2823
1800.05/1763.66	v -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833 -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840
1800.05/1763.66	v -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850 -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857
1800.05/1763.66	v -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867 -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874
1800.05/1763.66	v -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884 -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891
1800.05/1763.66	v -x2892 -x2893 -x2894 -x2895 -x2896 -x2897 -x2898 -x2899 -x2900 -x2901 -x2902 -x2903 -x2904 -x2905 -x2906 -x2907 -x2908
1800.05/1763.66	v -x2909 -x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 -x2918 -x2919 -x2920 -x2921 -x2922 -x2923 -x2924 -x2925
1800.05/1763.66	v -x2926 -x2927 -x2928 -x2929 -x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 -x2937 -x2938 -x2939 -x2940 -x2941 -x2942
1800.05/1763.66	v -x2943 -x2944 x2945 x2946 -x2947 -x2948 -x2949 -x2950 x2951 -x2952 -x2953 x2954 x2955 -x2956 -x2957 -x2958 x2959 x2960
1800.05/1763.66	v -x2961 -x2962 -x2963 x2964 x2965 -x2966 -x2967 -x2968 -x2969 -x2970 x2971 -x2972 x2973 x2974 x2975 -x2976 x2977 x2978 -x2979
1800.05/1763.66	v x2980 x2981 x2982 x2983 -x2984 x2985 -x2986 -x2987 -x2988 -x2989 -x2990 -x2991 -x2992 -x2993 -x2994 -x2995 -x2996 -x2997
1800.05/1763.66	v -x2998 -x2999 -x3000 -x3001 -x3002 -x3003 -x3004 -x3005 -x3006 -x3007 -x3008 -x3009 -x3010 -x3011 -x3012 -x3013 -x3014
1800.05/1763.66	v -x3015 -x3016 -x3017 -x3018 -x3019 -x3020 -x3021 -x3022 -x3023 -x3024 -x3025 -x3026 -x3027 -x3028 -x3029 -x3030 -x3031
1800.05/1763.66	v -x3032 -x3033 -x3034 -x3035 -x3036 -x3037 -x3038 -x3039 -x3040 -x3041 -x3042 -x3043 -x3044 -x3045 -x3046 -x3047 -x3048
1800.05/1763.66	v -x3049 -x3050 -x3051 -x3052 -x3053 -x3054 -x3055 -x3056 -x3057 -x3058 -x3059 -x3060 -x3061 -x3062 x3063 x3064 x3065 -x3066
1800.05/1763.66	v x3067 -x3068 -x3069 -x3070 x3071 x3072 x3073 -x3074 -x3075 x3076 x3077 -x3078 x3079 -x3080 -x3081 -x3082 -x3083 -x3084
1800.05/1763.66	v -x3085 -x3086 -x3087 -x3088 -x3089 x3090 -x3091 x3092 x3093 x3094 x3095 x3096 x3097 x3098 x3099 x3100 x3101 -x3102 x3103
1800.05/1763.66	v -x3104 x3105 -x3106 -x3107 x3108 x3109 -x3110 -x3111 -x3112 -x3113 -x3114 -x3115 -x3116 x3117 -x3118 x3119 -x3120 x3121
1800.05/1763.66	v x3122 x3123 x3124 x3125 x3126 x3127 x3128 x3129 x3130 x3131 x3132 x3133 x3134 x3135 x3136 -x3137 x3138 -x3139 -x3140 -x3141
1800.05/1763.66	v x3142 x3143 x3144 -x3145 x3146 -x3147 x3148 x3149 -x3150 -x3151 -x3152 -x3153 -x3154 -x3155 -x3156 -x3157 -x3158 -x3159
1800.05/1763.66	v -x3160 -x3161 -x3162 -x3163 -x3164 -x3165 -x3166 -x3167 -x3168 -x3169 -x3170 -x3171 -x3172 -x3173 -x3174 -x3175 -x3176
1800.05/1763.66	v -x3177 -x3178 -x3179 -x3180 -x3181 -x3182 -x3183 -x3184 -x3185 -x3186 -x3187 -x3188 -x3189 -x3190 -x3191 -x3192 -x3193
1800.05/1763.66	v -x3194 -x3195 -x3196 -x3197 -x3198 -x3199 -x3200 -x3201 -x3202 -x3203 -x3204 -x3205 -x3206 -x3207 -x3208 -x3209 -x3210
1800.05/1763.66	v x3211 x3212 x3213 x3214 -x3215 -x3216 x3217 -x3218 -x3219 x3220 x3221 x3222 x3223 -x3224 -x3225 -x3226 -x3227 -x3228 -x3229
1800.05/1763.66	v -x3230 -x3231 -x3232 -x3233 -x3234 -x3235 x3236 -x3237 x3238 x3239 x3240 x3241 x3242 x3243 x3244 x3245 x3246 x3247 x3248
1800.05/1763.66	v x3249 x3250 x3251 x3252 x3253 x3254 x3255 x3256 x3257 x3258 x3259 -x3260 -x3261 -x3262 x3263 -x3264 x3265 -x3266 x3267 x3268
1800.05/1763.66	v x3269 x3270 x3271 x3272 x3273 x3274 x3275 x3276 x3277 x3278 x3279 x3280 x3281 x3282 x3283 x3284 x3285 x3286 x3287 -x3288
1800.05/1763.66	v x3289 -x3290 x3291 x3292 x3293 -x3294 -x3295 x3296 x3297 -x3298 x3299 -x3300 -x3301 -x3302 -x3303 -x3304 -x3305 -x3306
1800.05/1763.66	v -x3307 -x3308 -x3309 -x3310 -x3311 -x3312 -x3313 -x3314 -x3315 -x3316 -x3317 -x3318 -x3319 -x3320 -x3321 -x3322 -x3323
1800.05/1763.66	v -x3324 -x3325 -x3326 -x3327 -x3328 -x3329 -x3330 -x3331 -x3332 -x3333 -x3334 -x3335 -x3336 -x3337 -x3338 -x3339 -x3340
1800.05/1763.66	v -x3341 -x3342 -x3343 -x3344 -x3345 -x3346 -x3347 -x3348 -x3349 -x3350 -x3351 -x3352 -x3353 -x3354 -x3355 -x3356 -x3357
1800.05/1763.66	v -x3358 -x3359 -x3360 x3361 -x3362 -x3363 -x3364 -x3365 -x3366 -x3367 -x3368 -x3369 -x3370 -x3371 -x3372 -x3373 -x3374
1800.05/1763.66	v -x3375 -x3376 -x3377 -x3378 -x3379 -x3380 -x3381 -x3382 -x3383 -x3384 -x3385 -x3386 x3387 -x3388 -x3389 -x3390 -x3391
1800.05/1763.66	v -x3392 -x3393 x3394 -x3395 x3396 -x3397 x3398 -x3399 -x3400 -x3401 -x3402 -x3403 x3404 -x3405 -x3406 -x3407 -x3408 -x3409
1800.05/1763.66	v -x3410 -x3411 -x3412 -x3413 x3414 -x3415 -x3416 -x3417 -x3418 -x3419 -x3420 -x3421 -x3422 -x3423 -x3424 -x3425 -x3426
1800.05/1763.66	v -x3427 -x3428 -x3429 -x3430 -x3431 -x3432 -x3433 -x3434 -x3435 -x3436 -x3437 -x3438 -x3439 -x3440 -x3441 -x3442 -x3443
1800.05/1763.66	v -x3444 -x3445 -x3446 -x3447 -x3448 -x3449 -x3450 -x3451 -x3452 -x3453 -x3454 -x3455 -x3456 -x3457 -x3458 -x3459 -x3460
1800.05/1763.66	v -x3461 -x3462 -x3463 -x3464 -x3465 -x3466 -x3467 -x3468 -x3469 -x3470 -x3471 -x3472 -x3473 -x3474 -x3475 -x3476 -x3477
1800.05/1763.66	v -x3478 -x3479 -x3480 -x3481 -x3482 -x3483 x3484 x3485 -x3486 -x3487 -x3488 -x3489 -x3490 -x3491 -x3492 x3493 -x3494 -x3495
1800.05/1763.66	v -x3496 -x3497 -x3498 -x3499 -x3500 -x3501 -x3502 -x3503 -x3504 -x3505 -x3506 -x3507 -x3508 -x3509 -x3510 -x3511 -x3512
1800.05/1763.66	v x3513 -x3514 -x3515 -x3516 x3517 -x3518 -x3519 -x3520 -x3521 -x3522 x3523 -x3524 -x3525 -x3526 -x3527 x3528 -x3529 -x3530
1800.05/1763.66	v -x3531 x3532 x3533 -x3534 -x3535 -x3536 -x3537 -x3538 -x3539 -x3540 -x3541 -x3542 -x3543 -x3544 -x3545 -x3546 -x3547 -x3548
1800.05/1763.66	v -x3549 -x3550 -x3551 -x3552 -x3553 -x3554 -x3555 -x3556 -x3557 -x3558 -x3559 -x3560 -x3561 -x3562 -x3563 -x3564 -x3565
1800.05/1763.66	v -x3566 -x3567 -x3568 -x3569 -x3570 -x3571 -x3572 -x3573 -x3574 -x3575 -x3576 -x3577 -x3578 -x3579 -x3580 -x3581 -x3582
1800.05/1763.66	v -x3583 -x3584 -x3585 -x3586 -x3587 -x3588 -x3589 -x3590 -x3591 -x3592 -x3593 -x3594 -x3595 -x3596 -x3597 -x3598 -x3599
1800.05/1763.66	v -x3600 x3601 x3602 x3603 x3604 x3605 x3606 x3607 x3608 x3609 x3610 x3611 x3612 x3613 x3614 x3615 x3616 x3617 x3618 x3619
1800.05/1763.66	v x3620 x3621 x3622 x3623 x3624 x3625 x3626 -x3627 -x3628 -x3629 -x3630 -x3631 -x3632 -x3633 -x3634 -x3635 -x3636 -x3637
1800.05/1763.66	v -x3638 -x3639 -x3640 -x3641 -x3642 -x3643 -x3644 -x3645 -x3646 -x3647 -x3648 -x3649 -x3650 -x3651 -x3652 -x3653 -x3654
1800.05/1763.66	v -x3655 -x3656 -x3657 -x3658 -x3659 -x3660 -x3661 -x3662 -x3663 -x3664 -x3665 -x3666 -x3667 -x3668 -x3669 -x3670 -x3671
1800.05/1763.66	v -x3672 -x3673 -x3674 -x3675 -x3676 -x3677 -x3678 -x3679 -x3680 -x3681 -x3682 -x3683 -x3684 -x3685 -x3686 -x3687 -x3688
1800.05/1763.66	v -x3689 -x3690 -x3691 -x3692 -x3693 -x3694 -x3695 -x3696 -x3697 -x3698 -x3699 -x3700 -x3701 -x3702 -x3703 -x3704 -x3705
1800.05/1763.66	v -x3706 -x3707 -x3708 -x3709 -x3710 -x3711 -x3712 -x3713 -x3714 -x3715 -x3716 -x3717 -x3718 -x3719 -x3720 -x3721 -x3722
1800.05/1763.66	v -x3723 -x3724 -x3725 -x3726 -x3727 -x3728 -x3729 -x3730 -x3731 -x3732 -x3733 -x3734 -x3735 -x3736 -x3737 -x3738 -x3739
1800.05/1763.66	v -x3740 -x3741 -x3742 -x3743 -x3744 -x3745 -x3746 -x3747 -x3748 -x3749 -x3750 x3751 x3752 x3753 x3754 x3755 x3756 x3757
1800.05/1763.66	v x3758 x3759 x3760 x3761 x3762 x3763 x3764 x3765 x3766 x3767 x3768 x3769 x3770 x3771 x3772 x3773 x3774 x3775 x3776 -x3777
1800.05/1763.66	v -x3778 -x3779 -x3780 -x3781 -x3782 -x3783 -x3784 -x3785 -x3786 -x3787 -x3788 -x3789 -x3790 -x3791 -x3792 -x3793 -x3794
1800.05/1763.66	v -x3795 -x3796 -x3797 -x3798 -x3799 -x3800 -x3801 -x3802 -x3803 -x3804 -x3805 -x3806 -x3807 -x3808 -x3809 -x3810 -x3811
1800.05/1763.66	v -x3812 -x3813 -x3814 -x3815 -x3816 -x3817 -x3818 -x3819 -x3820 -x3821 -x3822 -x3823 -x3824 -x3825 -x3826 -x3827 -x3828
1800.05/1763.66	v -x3829 -x3830 -x3831 -x3832 -x3833 -x3834 x3835 -x3836 -x3837 -x3838 -x3839 -x3840 -x3841 -x3842 -x3843 -x3844 -x3845
1800.05/1763.66	v -x3846 -x3847 -x3848 -x3849 -x3850 -x3851 -x3852 -x3853 -x3854 -x3855 -x3856 -x3857 -x3858 -x3859 -x3860 -x3861 -x3862
1800.05/1763.66	v -x3863 -x3864 -x3865 -x3866 -x3867 -x3868 -x3869 -x3870 -x3871 -x3872 -x3873 -x3874 -x3875 -x3876 -x3877 -x3878 -x3879
1800.05/1763.66	v -x3880 -x3881 -x3882 -x3883 -x3884 -x3885 -x3886 -x3887 -x3888 -x3889 -x3890 -x3891 -x3892 -x3893 -x3894 -x3895 -x3896
1800.05/1763.66	v -x3897 -x3898 -x3899 -x3900 -x3901 -x3902 -x3903 -x3904 -x3905 -x3906 -x3907 -x3908 -x3909 -x3910 -x3911 -x3912 -x3913
1800.05/1763.66	v -x3914 -x3915 -x3916 -x3917 -x3918 -x3919 -x3920 -x3921 -x3922 -x3923 -x3924 -x3925 -x3926 -x3927 -x3928 -x3929 -x3930
1800.05/1763.66	v -x3931 -x3932 -x3933 x3934 -x3935 x3936 -x3937 -x3938 -x3939 -x3940 -x3941 -x3942 -x3943 -x3944 -x3945 -x3946 -x3947 -x3948
1800.05/1763.66	v -x3949 -x3950 -x3951 -x3952 -x3953 -x3954 -x3955 -x3956 -x3957 x3958 -x3959 -x3960 -x3961 -x3962 -x3963 -x3964 -x3965
1800.05/1763.66	v -x3966 -x3967 -x3968 -x3969 -x3970 -x3971 -x3972 -x3973 -x3974 -x3975 -x3976 -x3977 -x3978 -x3979 -x3980 -x3981 -x3982
1800.05/1763.66	v -x3983 -x3984 -x3985 x3986 x3987 -x3988 -x3989 -x3990 -x3991 -x3992 -x3993 -x3994 -x3995 -x3996 -x3997 -x3998 -x3999 -x4000
1800.05/1763.66	v -x4001 -x4002 -x4003 -x4004 -x4005 -x4006 -x4007 -x4008 -x4009 -x4010 -x4011 -x4012 -x4013 -x4014 -x4015 -x4016 -x4017
1800.05/1763.66	v -x4018 -x4019 -x4020 -x4021 -x4022 -x4023 -x4024 -x4025 -x4026 -x4027 -x4028 -x4029 -x4030 -x4031 -x4032 -x4033 -x4034
1800.05/1763.66	v -x4035 -x4036 -x4037 -x4038 -x4039 -x4040 -x4041 -x4042 -x4043 -x4044 -x4045 -x4046 -x4047 -x4048 -x4049 -x4050 -x4051
1800.05/1763.66	v -x4052 -x4053 -x4054 -x4055 -x4056 x4057 -x4058 -x4059 -x4060 -x4061 -x4062 x4063 -x4064 -x4065 -x4066 -x4067 -x4068 -x4069
1800.05/1763.66	v -x4070 -x4071 -x4072 -x4073 -x4074 -x4075 -x4076 -x4077 -x4078 x4079 -x4080 -x4081 -x4082 -x4083 -x4084 -x4085 -x4086
1800.05/1763.66	v -x4087 -x4088 x4089 -x4090 -x4091 -x4092 -x4093 -x4094 -x4095 x4096 x4097 -x4098 -x4099 -x4100 -x4101 -x4102 -x4103 -x4104
1800.05/1763.66	v -x4105 -x4106 -x4107 -x4108 -x4109 -x4110 -x4111 -x4112 -x4113 -x4114 x4115 x4116 -x4117 -x4118 x4119 x4120 -x4121 -x4122
1800.05/1763.66	v -x4123 x4124 -x4125 -x4126 -x4127 x4128 -x4129 -x4130 -x4131 -x4132 -x4133 -x4134 -x4135 -x4136 -x4137 -x4138 -x4139 -x4140
1800.05/1763.66	v -x4141 -x4142 -x4143 -x4144 -x4145 -x4146 -x4147 -x4148 -x4149 -x4150 -x4151 -x4152 -x4153 -x4154 -x4155 -x4156 -x4157
1800.05/1763.66	v -x4158 -x4159 -x4160 -x4161 -x4162 -x4163 -x4164 -x4165 -x4166 -x4167 -x4168 -x4169 -x4170 -x4171 -x4172 -x4173 -x4174
1800.05/1763.66	v -x4175 -x4176 -x4177 -x4178 -x4179 -x4180 -x4181 -x4182 -x4183 -x4184 -x4185 -x4186 -x4187 -x4188 -x4189 -x4190 -x4191
1800.05/1763.66	v -x4192 -x4193 -x4194 -x4195 -x4196 -x4197 -x4198 -x4199 -x4200 x4201 x4202 x4203 x4204 x4205 x4206 x4207 x4208 x4209 x4210
1800.05/1763.66	v x4211 x4212 x4213 x4214 x4215 -x4216 -x4217 -x4218 -x4219 x4220 x4221 x4222 x4223 x4224 -x4225 x4226 -x4227 x4228 -x4229
1800.05/1763.66	v -x4230 x4231 x4232 x4233 x4234 x4235 x4236 x4237 x4238 x4239 x4240 x4241 x4242 x4243 x4244 x4245 x4246 x4247 x4248 x4249
1800.05/1763.66	v x4250 x4251 x4252 x4253 x4254 x4255 x4256 x4257 x4258 -x4259 -x4260 -x4261 -x4262 -x4263 -x4264 -x4265 -x4266 -x4267 -x4268
1800.05/1763.66	v -x4269 -x4270 -x4271 -x4272 -x4273 -x4274 -x4275 -x4276 -x4277 -x4278 -x4279 -x4280 -x4281 -x4282 -x4283 -x4284 -x4285
1800.05/1763.66	v -x4286 -x4287 -x4288 -x4289 -x4290 -x4291 -x4292 -x4293 -x4294 -x4295 -x4296 -x4297 -x4298 -x4299 -x4300 -x4301 -x4302
1800.05/1763.66	v -x4303 -x4304 -x4305 -x4306 -x4307 -x4308 -x4309 -x4310 -x4311 -x4312 -x4313 -x4314 -x4315 -x4316 -x4317 -x4318 -x4319
1800.05/1763.66	v -x4320 -x4321 -x4322 -x4323 -x4324 -x4325 -x4326 -x4327 -x4328 -x4329 -x4330 -x4331 -x4332 -x4333 -x4334 -x4335 -x4336
1800.05/1763.66	v -x4337 -x4338 -x4339 -x4340 -x4341 -x4342 -x4343 -x4344 -x4345 -x4346 -x4347 -x4348 -x4349 -x4350 x4351 x4352 x4353 x4354
1800.05/1763.66	v x4355 x4356 x4357 x4358 x4359 x4360 x4361 x4362 x4363 x4364 x4365 -x4366 -x4367 -x4368 x4369 x4370 x4371 x4372 x4373 x4374
1800.05/1763.66	v x4375 -x4376 x4377 -x4378 -x4379 -x4380 x4381 x4382 x4383 x4384 x4385 x4386 x4387 x4388 x4389 x4390 x4391 x4392 x4393 x4394
1800.05/1763.66	v x4395 x4396 x4397 x4398 x4399 x4400 x4401 x4402 x4403 x4404 x4405 x4406 x4407 x4408 -x4409 -x4410 -x4411 -x4412 -x4413 -x4414
1800.05/1763.66	v -x4415 -x4416 -x4417 -x4418 -x4419 -x4420 -x4421 -x4422 -x4423 -x4424 -x4425 -x4426 -x4427 -x4428 -x4429 -x4430 -x4431
1800.05/1763.66	v -x4432 -x4433 -x4434 -x4435 -x4436 -x4437 -x4438 -x4439 -x4440 -x4441 -x4442 -x4443 -x4444 -x4445 -x4446 -x4447 -x4448
1800.05/1763.66	v -x4449 -x4450 -x4451 -x4452 -x4453 -x4454 -x4455 -x4456 -x4457 -x4458 -x4459 -x4460 -x4461 -x4462 -x4463 -x4464 -x4465
1800.05/1763.66	v -x4466 -x4467 -x4468 -x4469 -x4470 -x4471 -x4472 -x4473 -x4474 -x4475 -x4476 -x4477 -x4478 -x4479 -x4480 -x4481 -x4482
1800.05/1763.66	v -x4483 -x4484 -x4485 -x4486 -x4487 -x4488 -x4489 -x4490 -x4491 -x4492 -x4493 -x4494 -x4495 -x4496 -x4497 -x4498 -x4499
1800.05/1763.66	v -x4500 -x4501 -x4502 -x4503 x4504 x4505 x4506 x4507 x4508 -x4509 -x4510 x4511 -x4512 x4513 x4514 x4515 -x4516 -x4517 -x4518
1800.05/1763.66	v x4519 x4520 x4521 x4522 -x4523 x4524 x4525 x4526 x4527 x4528 x4529 -x4530 x4531 x4532 x4533 x4534 x4535 x4536 x4537 x4538
1800.05/1763.66	v x4539 x4540 x4541 x4542 x4543 x4544 x4545 x4546 x4547 x4548 x4549 x4550 x4551 x4552 x4553 x4554 x4555 x4556 x4557 x4558 x4559
1800.05/1763.66	v -x4560 -x4561 -x4562 -x4563 -x4564 -x4565 -x4566 -x4567 -x4568 -x4569 -x4570 -x4571 -x4572 -x4573 -x4574 -x4575 -x4576
1800.05/1763.66	v -x4577 -x4578 -x4579 -x4580 -x4581 -x4582 -x4583 -x4584 -x4585 -x4586 -x4587 -x4588 -x4589 -x4590 -x4591 -x4592 -x4593
1800.05/1763.66	v -x4594 -x4595 -x4596 -x4597 -x4598 -x4599 -x4600 -x4601 -x4602 -x4603 -x4604 -x4605 -x4606 -x4607 -x4608 -x4609 -x4610
1800.05/1763.66	v -x4611 -x4612 -x4613 -x4614 -x4615 -x4616 -x4617 -x4618 -x4619 -x4620 -x4621 -x4622 -x4623 -x4624 -x4625 -x4626 -x4627
1800.05/1763.66	v -x4628 -x4629 -x4630 -x4631 -x4632 -x4633 -x4634 -x4635 -x4636 -x4637 -x4638 -x4639 -x4640 -x4641 -x4642 -x4643 -x4644
1800.05/1763.66	v -x4645 -x4646 -x4647 -x4648 -x4649 -x4650 -x4651 -x4652 -x4653 -x4654 -x4655 -x4656 x4657 -x4658 -x4659 -x4660 -x4661
1800.05/1763.66	v -x4662 -x4663 -x4664 -x4665 -x4666 -x4667 -x4668 -x4669 -x4670 -x4671 x4672 -x4673 -x4674 -x4675 -x4676 -x4677 x4678 -x4679
1800.05/1763.66	v x4680 -x4681 -x4682 -x4683 -x4684 -x4685 -x4686 -x4687 -x4688 -x4689 -x4690 -x4691 -x4692 -x4693 -x4694 -x4695 -x4696
1800.05/1763.66	v -x4697 -x4698 -x4699 -x4700 x4701 -x4702 -x4703 -x4704 -x4705 -x4706 -x4707 -x4708 -x4709 -x4710 -x4711 -x4712 -x4713
1800.05/1763.66	v -x4714 -x4715 -x4716 -x4717 -x4718 x4719 -x4720 x4721 -x4722 -x4723 -x4724 -x4725 -x4726 -x4727 -x4728 -x4729 -x4730 -x4731
1800.05/1763.66	v -x4732 -x4733 x4734 -x4735 -x4736 -x4737 -x4738 -x4739 x4740 -x4741 -x4742 -x4743 -x4744 -x4745 -x4746 -x4747 -x4748 -x4749
1800.05/1763.66	v -x4750 -x4751 -x4752 -x4753 -x4754 -x4755 -x4756 -x4757 -x4758 -x4759 -x4760 -x4761 -x4762 -x4763 -x4764 -x4765 -x4766
1800.05/1763.66	v -x4767 -x4768 -x4769 -x4770 -x4771 -x4772 -x4773 -x4774 -x4775 -x4776 -x4777 -x4778 -x4779 -x4780 -x4781 -x4782 -x4783
1800.05/1763.66	v -x4784 -x4785 -x4786 -x4787 -x4788 -x4789 -x4790 -x4791 -x4792 -x4793 -x4794 -x4795 -x4796 -x4797 -x4798 -x4799 -x4800
1800.05/1763.66	v -x4801 -x4802 -x4803 -x4804 -x4805 -x4806 -x4807 -x4808 -x4809 -x4810 -x4811 -x4812 -x4813 -x4814 -x4815 -x4816 -x4817
1800.05/1763.66	v -x4818 -x4819 -x4820 -x4821 -x4822 -x4823 -x4824 -x4825 x4826 -x4827 -x4828 x4829 -x4830 -x4831 -x4832 -x4833 -x4834 -x4835
1800.05/1763.66	v -x4836 -x4837 -x4838 -x4839 -x4840 -x4841 -x4842 -x4843 -x4844 -x4845 -x4846 -x4847 -x4848 -x4849 -x4850 -x4851 -x4852
1800.05/1763.66	v -x4853 -x4854 -x4855 -x4856 -x4857 -x4858 -x4859 -x4860 -x4861 -x4862 -x4863 -x4864 -x4865 -x4866 x4867 -x4868 -x4869
1800.05/1763.66	v -x4870 -x4871 -x4872 -x4873 -x4874 -x4875 -x4876 -x4877 -x4878 -x4879 -x4880 -x4881 -x4882 -x4883 -x4884 -x4885 -x4886
1800.05/1763.66	v -x4887 -x4888 -x4889 -x4890
1800.05/1763.70	c objective function=34499
1800.05/1763.70	c Total wall clock time (ms): 1763.276

Verifier Data (download as text)

OK	34499

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node68/watcher-351084-1176579894 -o ROOT/results/node68/solver-351084-1176579894 -C 1800 -W 3600 -M 1800 --output-limit 1,15 java -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351084-1176579894/sat4jPseudoCPClause.jar /tmp/evaluation/351084-1176579894/instance-351084-1176579894.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 4487
/proc/meminfo: memFree=1743992/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=272 CPUtime=0
/proc/4487/stat : 4487 (java) D 4485 4487 4424 0 -1 0 54 0 0 0 0 0 0 0 18 0 1 0 133978900 278528 37 18446744073709551615 134512640 134550740 4294956608 18446744073709551615 10515236 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4487/statm: 68 37 28 9 0 6 0

[startup+0.0393759 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 4487
/proc/meminfo: memFree=1743992/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=12056 CPUtime=0
/proc/4487/stat : 4487 (java) D 4485 4487 4424 0 -1 0 365 0 5 0 0 0 0 0 18 0 1 0 133978900 12345344 177 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 10486047 0 0 4096 0 18446744071563479169 0 0 17 0 0 0
/proc/4487/statm: 3014 177 135 9 0 1148 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12056

[startup+0.102337 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 4487
/proc/meminfo: memFree=1743992/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=12620 CPUtime=0.02
/proc/4487/stat : 4487 (java) S 4485 4487 4424 0 -1 0 821 0 26 0 0 2 0 0 18 0 2 0 133978900 12922880 603 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/4487/statm: 3155 603 286 9 0 1243 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 12620

[startup+0.301359 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 4487
/proc/meminfo: memFree=1743992/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=1780112 CPUtime=0.11
/proc/4487/stat : 4487 (java) S 4485 4487 4424 0 -1 0 3942 0 36 0 6 5 0 0 18 0 12 0 133978900 1822834688 3718 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4487/statm: 445028 3718 1121 9 0 442646 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 1780112

[startup+0.701398 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 4487
/proc/meminfo: memFree=1743992/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=1783136 CPUtime=0.64
/proc/4487/stat : 4487 (java) S 4485 4487 4424 0 -1 0 6021 0 36 0 57 7 0 0 18 0 12 0 133978900 1825931264 5689 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4487/statm: 445784 5689 1288 9 0 443395 0
Current children cumulated CPU time (s) 0.64
Current children cumulated vsize (KiB) 1783136

[startup+1.50248 s]
/proc/loadavg: 1.02 1.00 1.00 4/76 4499
/proc/meminfo: memFree=1706456/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=1794432 CPUtime=2.16
/proc/4487/stat : 4487 (java) S 4485 4487 4424 0 -1 0 18228 0 36 0 203 13 0 0 18 0 12 0 133978900 1837498368 14950 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4487/statm: 448608 14950 1315 9 0 446219 0
[pid=4487/tid=4489] ppid=4485 vsize=1794432 CPUtime=0.78
/proc/4487/task/4489/stat : 4489 (java) R 4485 4487 4424 0 -1 64 10946 0 10 0 71 7 0 0 18 0 12 0 133978908 1837498368 14950 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109514248 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4490] ppid=4485 vsize=1794432 CPUtime=0
/proc/4487/task/4490/stat : 4490 (java) S 4485 4487 4424 0 -1 64 3 0 0 0 0 0 0 0 19 0 12 0 133978914 1837498368 14950 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4491] ppid=4485 vsize=1794432 CPUtime=0
/proc/4487/task/4491/stat : 4491 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 20 0 12 0 133978914 1837498368 14950 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4492] ppid=4485 vsize=1794432 CPUtime=0
/proc/4487/task/4492/stat : 4492 (java) S 4485 4487 4424 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 133978918 1837498368 14950 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4493] ppid=4485 vsize=1794432 CPUtime=0
/proc/4487/task/4493/stat : 4493 (java) S 4485 4487 4424 0 -1 64 10 0 0 0 0 0 0 0 21 0 12 0 133978919 1837498368 14950 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4494] ppid=4485 vsize=1794432 CPUtime=0
/proc/4487/task/4494/stat : 4494 (java) S 4485 4487 4424 0 -1 64 4 0 0 0 0 0 0 0 22 0 12 0 133978919 1837498368 14950 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4495] ppid=4485 vsize=1794432 CPUtime=0
/proc/4487/task/4495/stat : 4495 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 19 0 12 0 133978928 1837498368 14950 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4496] ppid=4485 vsize=1794432 CPUtime=0.51
/proc/4487/task/4496/stat : 4496 (java) S 4485 4487 4424 0 -1 64 1659 0 0 0 51 0 0 0 16 0 12 0 133978928 1837498368 14950 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4497] ppid=4485 vsize=1794432 CPUtime=0.81
/proc/4487/task/4497/stat : 4497 (java) R 4485 4487 4424 0 -1 64 4926 0 0 0 80 1 0 0 18 0 12 0 133978928 1837498368 14950 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103336781 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4498] ppid=4485 vsize=1794432 CPUtime=0
/proc/4487/task/4498/stat : 4498 (java) S 4485 4487 4424 0 -1 64 2 0 0 0 0 0 0 0 21 0 12 0 133978928 1837498368 14950 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4499] ppid=4485 vsize=1794432 CPUtime=0
/proc/4487/task/4499/stat : 4499 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 133978928 1837498368 14950 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 1794432

[startup+3.10162 s]
/proc/loadavg: 1.02 1.00 1.00 4/77 4500
/proc/meminfo: memFree=1652176/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=1795552 CPUtime=4.67
/proc/4487/stat : 4487 (java) S 4485 4487 4424 0 -1 0 49064 0 36 0 441 26 0 0 18 0 13 0 133978900 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4487/statm: 448888 43541 1331 9 0 446499 0
[pid=4487/tid=4489] ppid=4485 vsize=1795552 CPUtime=2.01
/proc/4487/task/4489/stat : 4489 (java) R 4485 4487 4424 0 -1 64 37705 0 10 0 183 18 0 0 21 0 13 0 133978908 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109659804 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4490] ppid=4485 vsize=1795552 CPUtime=0.02
/proc/4487/task/4490/stat : 4490 (java) S 4485 4487 4424 0 -1 64 883 0 0 0 2 0 0 0 16 0 13 0 133978914 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4491] ppid=4485 vsize=1795552 CPUtime=0.02
/proc/4487/task/4491/stat : 4491 (java) S 4485 4487 4424 0 -1 64 686 0 0 0 2 0 0 0 16 0 13 0 133978914 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4492] ppid=4485 vsize=1795552 CPUtime=0
/proc/4487/task/4492/stat : 4492 (java) S 4485 4487 4424 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 133978918 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4493] ppid=4485 vsize=1795552 CPUtime=0
/proc/4487/task/4493/stat : 4493 (java) S 4485 4487 4424 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 133978919 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4494] ppid=4485 vsize=1795552 CPUtime=0
/proc/4487/task/4494/stat : 4494 (java) S 4485 4487 4424 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 133978919 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4495] ppid=4485 vsize=1795552 CPUtime=0
/proc/4487/task/4495/stat : 4495 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 133978928 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4496] ppid=4485 vsize=1795552 CPUtime=1.17
/proc/4487/task/4496/stat : 4496 (java) R 4485 4487 4424 0 -1 64 3043 0 0 0 116 1 0 0 17 0 13 0 133978928 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 103322430 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4497] ppid=4485 vsize=1795552 CPUtime=1.38
/proc/4487/task/4497/stat : 4497 (java) S 4485 4487 4424 0 -1 64 6042 0 0 0 136 2 0 0 16 0 13 0 133978928 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4498] ppid=4485 vsize=1795552 CPUtime=0
/proc/4487/task/4498/stat : 4498 (java) S 4485 4487 4424 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 133978928 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4499] ppid=4485 vsize=1795552 CPUtime=0
/proc/4487/task/4499/stat : 4499 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133978928 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4500] ppid=4485 vsize=1795552 CPUtime=0
/proc/4487/task/4500/stat : 4500 (java) S 4485 4487 4424 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 133979075 1838645248 43541 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 1795552

[startup+6.3029 s]
/proc/loadavg: 1.02 1.00 1.00 2/77 4500
/proc/meminfo: memFree=1557584/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=1794496 CPUtime=8.03
/proc/4487/stat : 4487 (java) S 4485 4487 4424 0 -1 0 52173 0 36 0 776 27 0 0 18 0 13 0 133978900 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4487/statm: 448624 46190 1333 9 0 446235 0
[pid=4487/tid=4489] ppid=4485 vsize=1794496 CPUtime=5.09
/proc/4487/task/4489/stat : 4489 (java) R 4485 4487 4424 0 -1 64 37708 0 10 0 491 18 0 0 19 0 13 0 133978908 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109660655 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4490] ppid=4485 vsize=1794496 CPUtime=0.09
/proc/4487/task/4490/stat : 4490 (java) S 4485 4487 4424 0 -1 64 2498 0 0 0 8 1 0 0 16 0 13 0 133978914 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4491] ppid=4485 vsize=1794496 CPUtime=0.08
/proc/4487/task/4491/stat : 4491 (java) S 4485 4487 4424 0 -1 64 2044 0 0 0 8 0 0 0 17 0 13 0 133978914 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4492] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4492/stat : 4492 (java) S 4485 4487 4424 0 -1 64 13 0 0 0 0 0 0 0 16 0 13 0 133978918 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4493] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4493/stat : 4493 (java) S 4485 4487 4424 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4494] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4494/stat : 4494 (java) S 4485 4487 4424 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4495] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4495/stat : 4495 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 133978928 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4496] ppid=4485 vsize=1794496 CPUtime=1.27
/proc/4487/task/4496/stat : 4496 (java) S 4485 4487 4424 0 -1 64 3168 0 0 0 126 1 0 0 16 0 13 0 133978928 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4497] ppid=4485 vsize=1794496 CPUtime=1.42
/proc/4487/task/4497/stat : 4497 (java) S 4485 4487 4424 0 -1 64 6045 0 0 0 140 2 0 0 17 0 13 0 133978928 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4498] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4498/stat : 4498 (java) S 4485 4487 4424 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 133978928 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4499] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4499/stat : 4499 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133978928 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4500] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4500/stat : 4500 (java) S 4485 4487 4424 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 133979075 1837563904 46190 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 1794496

[startup+12.7015 s]
/proc/loadavg: 1.02 1.00 1.00 2/77 4500
/proc/meminfo: memFree=1547552/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=1794496 CPUtime=14.55
/proc/4487/stat : 4487 (java) S 4485 4487 4424 0 -1 0 55620 0 36 0 1426 29 0 0 18 0 13 0 133978900 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4487/statm: 448624 47930 1333 9 0 446235 0
[pid=4487/tid=4489] ppid=4485 vsize=1794496 CPUtime=11.36
/proc/4487/task/4489/stat : 4489 (java) R 4485 4487 4424 0 -1 64 37711 0 10 0 1118 18 0 0 25 0 13 0 133978908 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109660721 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4490] ppid=4485 vsize=1794496 CPUtime=0.22
/proc/4487/task/4490/stat : 4490 (java) S 4485 4487 4424 0 -1 64 4378 0 0 0 20 2 0 0 16 0 13 0 133978914 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4491] ppid=4485 vsize=1794496 CPUtime=0.21
/proc/4487/task/4491/stat : 4491 (java) S 4485 4487 4424 0 -1 64 3594 0 0 0 20 1 0 0 17 0 13 0 133978914 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4492] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4492/stat : 4492 (java) S 4485 4487 4424 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 133978918 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4493] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4493/stat : 4493 (java) S 4485 4487 4424 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4494] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4494/stat : 4494 (java) S 4485 4487 4424 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4495] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4495/stat : 4495 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 133978928 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4496] ppid=4485 vsize=1794496 CPUtime=1.27
/proc/4487/task/4496/stat : 4496 (java) S 4485 4487 4424 0 -1 64 3168 0 0 0 126 1 0 0 16 0 13 0 133978928 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4497] ppid=4485 vsize=1794496 CPUtime=1.42
/proc/4487/task/4497/stat : 4497 (java) S 4485 4487 4424 0 -1 64 6045 0 0 0 140 2 0 0 17 0 13 0 133978928 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4498] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4498/stat : 4498 (java) S 4485 4487 4424 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 133978928 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4499] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4499/stat : 4499 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133978928 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4500] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4500/stat : 4500 (java) S 4485 4487 4424 0 -1 64 4 0 0 0 0 0 0 0 20 0 13 0 133979075 1837563904 47930 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.55
Current children cumulated vsize (KiB) 1794496

[startup+25.5026 s]
/proc/loadavg: 1.01 1.00 1.00 2/77 4500
/proc/meminfo: memFree=1525856/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=1794496 CPUtime=27.46
/proc/4487/stat : 4487 (java) S 4485 4487 4424 0 -1 0 62261 0 36 0 2714 32 0 0 18 0 13 0 133978900 1837563904 53390 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4487/statm: 448624 53390 1333 9 0 446235 0
[pid=4487/tid=4489] ppid=4485 vsize=1794496 CPUtime=24.03
/proc/4487/task/4489/stat : 4489 (java) R 4485 4487 4424 0 -1 64 38204 0 10 0 2384 19 0 0 25 0 13 0 133978908 1837563904 53390 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109660172 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4490] ppid=4485 vsize=1794496 CPUtime=0.33
/proc/4487/task/4490/stat : 4490 (java) S 4485 4487 4424 0 -1 64 7674 0 0 0 30 3 0 0 16 0 13 0 133978914 1837563904 53390 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4491] ppid=4485 vsize=1794496 CPUtime=0.34
/proc/4487/task/4491/stat : 4491 (java) S 4485 4487 4424 0 -1 64 6446 0 0 0 31 3 0 0 16 0 13 0 133978914 1837563904 53390 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4492] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4492/stat : 4492 (java) S 4485 4487 4424 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 133978918 1837563904 53390 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0

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

[pid=4487/tid=4492] ppid=4485 vsize=1794496 CPUtime=0.55
/proc/4487/task/4492/stat : 4492 (java) S 4485 4487 4424 0 -1 64 164 0 0 0 33 22 0 0 15 0 13 0 133978918 1837563904 163546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4493] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4493/stat : 4493 (java) S 4485 4487 4424 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 163546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4494] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4494/stat : 4494 (java) S 4485 4487 4424 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 163546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4495] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4495/stat : 4495 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 133978928 1837563904 163546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4496] ppid=4485 vsize=1794496 CPUtime=1.41
/proc/4487/task/4496/stat : 4496 (java) S 4485 4487 4424 0 -1 64 3170 0 0 0 140 1 0 0 16 0 13 0 133978928 1837563904 163546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4497] ppid=4485 vsize=1794496 CPUtime=1.59
/proc/4487/task/4497/stat : 4497 (java) S 4485 4487 4424 0 -1 64 6048 0 0 0 157 2 0 0 16 0 13 0 133978928 1837563904 163546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4498] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4498/stat : 4498 (java) S 4485 4487 4424 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 133978928 1837563904 163546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4499] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4499/stat : 4499 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133978928 1837563904 163546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4501] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4501/stat : 4501 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133982060 1837563904 163546 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1572.07
Current children cumulated vsize (KiB) 1794496

[startup+1602.3 s]
/proc/loadavg: 1.00 1.05 1.02 2/77 4699
/proc/meminfo: memFree=1069336/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=1794496 CPUtime=1633.81
/proc/4487/stat : 4487 (java) S 4485 4487 4424 0 -1 0 222156 0 36 0 163240 141 0 0 18 0 13 0 133978900 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4487/statm: 448624 167192 1336 9 0 446235 0
[pid=4487/tid=4489] ppid=4485 vsize=1794496 CPUtime=1568.79
/proc/4487/task/4489/stat : 4489 (java) R 4485 4487 4424 0 -1 64 62679 0 10 0 156836 43 0 0 25 0 13 0 133978908 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109764268 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4490] ppid=4485 vsize=1794496 CPUtime=30.69
/proc/4487/task/4490/stat : 4490 (java) S 4485 4487 4424 0 -1 64 75783 0 0 0 3036 33 0 0 16 0 13 0 133978914 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4491] ppid=4485 vsize=1794496 CPUtime=30.67
/proc/4487/task/4491/stat : 4491 (java) S 4485 4487 4424 0 -1 64 73613 0 0 0 3033 34 0 0 16 0 13 0 133978914 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4492] ppid=4485 vsize=1794496 CPUtime=0.57
/proc/4487/task/4492/stat : 4492 (java) S 4485 4487 4424 0 -1 64 164 0 0 0 34 23 0 0 15 0 13 0 133978918 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4493] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4493/stat : 4493 (java) S 4485 4487 4424 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4494] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4494/stat : 4494 (java) S 4485 4487 4424 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4495] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4495/stat : 4495 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 133978928 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4496] ppid=4485 vsize=1794496 CPUtime=1.41
/proc/4487/task/4496/stat : 4496 (java) S 4485 4487 4424 0 -1 64 3170 0 0 0 140 1 0 0 16 0 13 0 133978928 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4497] ppid=4485 vsize=1794496 CPUtime=1.59
/proc/4487/task/4497/stat : 4497 (java) S 4485 4487 4424 0 -1 64 6048 0 0 0 157 2 0 0 16 0 13 0 133978928 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4498] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4498/stat : 4498 (java) S 4485 4487 4424 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 133978928 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4499] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4499/stat : 4499 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133978928 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4501] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4501/stat : 4501 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133982060 1837563904 167192 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1633.81
Current children cumulated vsize (KiB) 1794496

[startup+1662.3 s]
/proc/loadavg: 1.00 1.04 1.01 2/77 4699
/proc/meminfo: memFree=1051160/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=1794496 CPUtime=1695.62
/proc/4487/stat : 4487 (java) S 4485 4487 4424 0 -1 0 226924 0 36 0 169417 145 0 0 18 0 13 0 133978900 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4487/statm: 448624 171691 1336 9 0 446235 0
[pid=4487/tid=4489] ppid=4485 vsize=1794496 CPUtime=1626.86
/proc/4487/task/4489/stat : 4489 (java) S 4485 4487 4424 0 -1 64 62761 0 10 0 162643 43 0 0 25 0 13 0 133978908 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4490] ppid=4485 vsize=1794496 CPUtime=32.56
/proc/4487/task/4490/stat : 4490 (java) R 4485 4487 4424 0 -1 64 77877 0 0 0 3221 35 0 0 16 0 13 0 133978914 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070783 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4491] ppid=4485 vsize=1794496 CPUtime=32.53
/proc/4487/task/4491/stat : 4491 (java) R 4485 4487 4424 0 -1 64 76205 0 0 0 3218 35 0 0 15 0 13 0 133978914 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 105070783 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4492] ppid=4485 vsize=1794496 CPUtime=0.59
/proc/4487/task/4492/stat : 4492 (java) S 4485 4487 4424 0 -1 64 164 0 0 0 35 24 0 0 16 0 13 0 133978918 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4493] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4493/stat : 4493 (java) S 4485 4487 4424 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4494] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4494/stat : 4494 (java) S 4485 4487 4424 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4495] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4495/stat : 4495 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 133978928 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4496] ppid=4485 vsize=1794496 CPUtime=1.41
/proc/4487/task/4496/stat : 4496 (java) S 4485 4487 4424 0 -1 64 3170 0 0 0 140 1 0 0 16 0 13 0 133978928 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4497] ppid=4485 vsize=1794496 CPUtime=1.59
/proc/4487/task/4497/stat : 4497 (java) S 4485 4487 4424 0 -1 64 6048 0 0 0 157 2 0 0 16 0 13 0 133978928 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4498] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4498/stat : 4498 (java) S 4485 4487 4424 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 133978928 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4499] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4499/stat : 4499 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133978928 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4501] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4501/stat : 4501 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133982060 1837563904 171691 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1695.62
Current children cumulated vsize (KiB) 1794496

[startup+1722.3 s]
/proc/loadavg: 1.00 1.03 1.01 2/77 4699
/proc/meminfo: memFree=1035992/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=1794496 CPUtime=1757.41
/proc/4487/stat : 4487 (java) S 4485 4487 4424 0 -1 0 230976 0 36 0 175593 148 0 0 18 0 13 0 133978900 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4487/statm: 448624 175512 1336 9 0 446235 0
[pid=4487/tid=4489] ppid=4485 vsize=1794496 CPUtime=1684.96
/proc/4487/task/4489/stat : 4489 (java) R 4485 4487 4424 0 -1 64 62840 0 10 0 168453 43 0 0 23 0 13 0 133978908 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109773910 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4490] ppid=4485 vsize=1794496 CPUtime=34.39
/proc/4487/task/4490/stat : 4490 (java) S 4485 4487 4424 0 -1 64 79556 0 0 0 3403 36 0 0 16 0 13 0 133978914 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4491] ppid=4485 vsize=1794496 CPUtime=34.37
/proc/4487/task/4491/stat : 4491 (java) S 4485 4487 4424 0 -1 64 78499 0 0 0 3400 37 0 0 16 0 13 0 133978914 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4492] ppid=4485 vsize=1794496 CPUtime=0.6
/proc/4487/task/4492/stat : 4492 (java) S 4485 4487 4424 0 -1 64 164 0 0 0 36 24 0 0 16 0 13 0 133978918 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4493] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4493/stat : 4493 (java) S 4485 4487 4424 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4494] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4494/stat : 4494 (java) S 4485 4487 4424 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4495] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4495/stat : 4495 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 133978928 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4496] ppid=4485 vsize=1794496 CPUtime=1.41
/proc/4487/task/4496/stat : 4496 (java) S 4485 4487 4424 0 -1 64 3170 0 0 0 140 1 0 0 16 0 13 0 133978928 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4497] ppid=4485 vsize=1794496 CPUtime=1.59
/proc/4487/task/4497/stat : 4497 (java) S 4485 4487 4424 0 -1 64 6048 0 0 0 157 2 0 0 16 0 13 0 133978928 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4498] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4498/stat : 4498 (java) S 4485 4487 4424 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 133978928 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4499] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4499/stat : 4499 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133978928 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4501] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4501/stat : 4501 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133982060 1837563904 175512 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1757.41
Current children cumulated vsize (KiB) 1794496



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1763.6 s]
/proc/loadavg: 1.00 1.02 1.00 2/77 4699
/proc/meminfo: memFree=1021656/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=1794496 CPUtime=1800.05
/proc/4487/stat : 4487 (java) S 4485 4487 4424 0 -1 0 234688 0 36 0 179855 150 0 0 18 0 13 0 133978900 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4487/statm: 448624 179055 1336 9 0 446235 0
[pid=4487/tid=4489] ppid=4485 vsize=1794496 CPUtime=1724.82
/proc/4487/task/4489/stat : 4489 (java) R 4485 4487 4424 0 -1 64 62896 0 10 0 172439 43 0 0 25 0 13 0 133978908 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4109560734 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4490] ppid=4485 vsize=1794496 CPUtime=35.77
/proc/4487/task/4490/stat : 4490 (java) S 4485 4487 4424 0 -1 64 81382 0 0 0 3541 36 0 0 16 0 13 0 133978914 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4491] ppid=4485 vsize=1794496 CPUtime=35.75
/proc/4487/task/4491/stat : 4491 (java) S 4485 4487 4424 0 -1 64 80329 0 0 0 3538 37 0 0 16 0 13 0 133978914 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4492] ppid=4485 vsize=1794496 CPUtime=0.62
/proc/4487/task/4492/stat : 4492 (java) S 4485 4487 4424 0 -1 64 164 0 0 0 37 25 0 0 16 0 13 0 133978918 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4493] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4493/stat : 4493 (java) S 4485 4487 4424 0 -1 64 10 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4494] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4494/stat : 4494 (java) S 4485 4487 4424 0 -1 64 6 0 0 0 0 0 0 0 17 0 13 0 133978919 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4495] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4495/stat : 4495 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 19 0 13 0 133978928 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4496] ppid=4485 vsize=1794496 CPUtime=1.41
/proc/4487/task/4496/stat : 4496 (java) S 4485 4487 4424 0 -1 64 3170 0 0 0 140 1 0 0 16 0 13 0 133978928 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4497] ppid=4485 vsize=1794496 CPUtime=1.59
/proc/4487/task/4497/stat : 4497 (java) S 4485 4487 4424 0 -1 64 6048 0 0 0 157 2 0 0 16 0 13 0 133978928 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4498] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4498/stat : 4498 (java) S 4485 4487 4424 0 -1 64 2 0 0 0 0 0 0 0 21 0 13 0 133978928 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4487/tid=4499] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4499/stat : 4499 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 133978928 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4487/tid=4501] ppid=4485 vsize=1794496 CPUtime=0
/proc/4487/task/4501/stat : 4501 (java) S 4485 4487 4424 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 133982060 1837563904 179055 18446744073709551615 134512640 134550740 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1794496

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

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

[startup+1763.8 s]
/proc/loadavg: 1.00 1.02 1.00 2/77 4699
/proc/meminfo: memFree=1021656/2055920 swapFree=4184836/4192956
[pid=4487] ppid=4485 vsize=0 CPUtime=1800.34
/proc/4487/stat : 4487 (java) Z 4485 4487 4424 0 -1 1036 234708 0 36 0 179876 158 0 0 15 0 2 0 133978900 0 0 18446744073709551615 0 0 0 0 0 0 0 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4487/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0

Child status: 143
Real time (s): 1763.85
CPU time (s): 1800.4
CPU user time (s): 1798.77
CPU system time (s): 1.62775
CPU usage (%): 102.072
Max. virtual memory (cumulated for all children) (KiB): 1795552

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.62775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 234708
page faults= 36
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60808
involuntary context switches= 34566

runsolver used 1.91171 second user time and 4.97424 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Sat Apr 14 19:44:54 UTC 2007

IDJOB= 351084
IDBENCH= 1660
IDSOLVER= 164
FILE ID= node68/351084-1176579894

PBS_JOBID= 4556928

Free space on /tmp= 66444 MiB

SOLVER NAME= sat4jPseudoCPClause 2007-03-23
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg.opb
COMMAND LINE= java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351084-1176579894/sat4jPseudoCPClause.jar /tmp/evaluation/351084-1176579894/instance-351084-1176579894.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-351084-1176579894 -o ROOT/results/node68/solver-351084-1176579894 -C 1800 -W 3600 -M 1800 --output-limit 1,15  java  -server -Xms1600M -Xmx1600M -jar /tmp/evaluation/351084-1176579894/sat4jPseudoCPClause.jar /tmp/evaluation/351084-1176579894/instance-351084-1176579894.opb

META MD5SUM SOLVER= 592978c395d7dcf045996aed0652cb30
MD5SUM BENCH=  ed91ea31528e8311a929ab543dc490cc

RANDOM SEED= 126933324

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1744464 kB
Buffers:         16092 kB
Cached:         181212 kB
SwapCached:       2208 kB
Active:          34736 kB
Inactive:       172040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1744464 kB
SwapTotal:     4192956 kB
SwapFree:      4184836 kB
Dirty:            4300 kB
Writeback:           0 kB
Mapped:          16492 kB
Slab:            90792 kB
Committed_AS:  1404200 kB
PageTables:       1380 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66444 MiB

End job on node68 on Sat Apr 14 20:14:20 UTC 2007