Trace number 50860

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
SAT4JPSEUDO 2006.2SAT (TO)81 1800.7 1779.63

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
MD5SUM0b80319f4195f1e1329c2c4b63b416b0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark1800.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables5203
Total number of constraints19637
Number of constraints which are clauses19637
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint11
Maximum length of a constraint360
Number of terms in the objective function 5203
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5203
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5203
Number of bits of the biggest sum of numbers13
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 (download as text)

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

Verifier Data (download as text)

OK	81

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

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

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node7/watcher-50860-1154095169 -o ROOT/results/node7/solver-50860-1154095169 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node7/50860-1154095169/instance-50860-1154095169.opb 457050525 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.01 1.04 1.00 2/64 3138
/proc/meminfo: memFree=1437560/2055920 swapFree=4182852/4192956
[pid=3138] ppid=3136 vsize=172 CPUtime=0
/proc/3138/stat : 3138 (java) R 3136 3138 3089 0 -1 0 202 0 0 0 0 0 0 0 18 0 1 0 156378252 176128 24 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 0 0 0
/proc/3138/statm: 43 24 18 14 0 3 0

[startup+10.0021 s]
/proc/loadavg: 1.01 1.04 1.00 2/76 3156
/proc/meminfo: memFree=1229144/2055920 swapFree=4182852/4192956
[pid=3138] ppid=3136 vsize=1711472 CPUtime=11.14
/proc/3138/stat : 3138 (java) R 3136 3138 3089 0 -1 0 56880 0 1 0 1084 30 0 0 17 0 13 0 156378252 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071659070 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3138/statm: 427868 53911 1910 14 0 414615 0
[pid=3138/tid=3139] ppid=3136 vsize=1711472 CPUtime=0.24
/proc/3138/task/3139/stat : 3139 (java) S 3136 3138 3089 0 -1 64 8221 0 0 0 21 3 0 0 16 0 13 0 156378258 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3140] ppid=3136 vsize=1711472 CPUtime=0.23
/proc/3138/task/3140/stat : 3140 (java) S 3136 3138 3089 0 -1 64 6099 0 0 0 20 3 0 0 16 0 13 0 156378258 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3141] ppid=3136 vsize=1711472 CPUtime=0
/proc/3138/task/3141/stat : 3141 (java) S 3136 3138 3089 0 -1 64 37 0 0 0 0 0 0 0 16 0 13 0 156378261 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3142] ppid=3136 vsize=1711472 CPUtime=0
/proc/3138/task/3142/stat : 3142 (java) S 3136 3138 3089 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156378261 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3143] ppid=3136 vsize=1711472 CPUtime=0
/proc/3138/task/3143/stat : 3143 (java) S 3136 3138 3089 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156378261 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3144] ppid=3136 vsize=1711472 CPUtime=0
/proc/3138/task/3144/stat : 3144 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156378265 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3145] ppid=3136 vsize=1711472 CPUtime=0
/proc/3138/task/3145/stat : 3145 (java) S 3136 3138 3089 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156378265 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3146] ppid=3136 vsize=1711472 CPUtime=0.74
/proc/3138/task/3146/stat : 3146 (java) S 3136 3138 3089 0 -1 64 968 0 0 0 74 0 0 0 16 0 13 0 156378265 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3147] ppid=3136 vsize=1711472 CPUtime=0.67
/proc/3138/task/3147/stat : 3147 (java) S 3136 3138 3089 0 -1 64 483 0 0 0 67 0 0 0 17 0 13 0 156378265 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3148] ppid=3136 vsize=1711472 CPUtime=0
/proc/3138/task/3148/stat : 3148 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156378265 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3149] ppid=3136 vsize=1711472 CPUtime=0
/proc/3138/task/3149/stat : 3149 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156378265 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3156] ppid=3136 vsize=1711472 CPUtime=0
/proc/3138/task/3156/stat : 3156 (java) S 3136 3138 3089 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156379163 1752547328 53911 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.14
Current children cumulated vsize (Kb) 1711472

[startup+20.0148 s]
/proc/loadavg: 1.01 1.04 1.00 2/76 3156
/proc/meminfo: memFree=1193112/2055920 swapFree=4182852/4192956
[pid=3138] ppid=3136 vsize=1712404 CPUtime=21.76
/proc/3138/stat : 3138 (java) R 3136 3138 3089 0 -1 0 72107 0 1 0 2138 38 0 0 25 0 13 0 156378252 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071230831 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3138/statm: 428101 62909 1910 14 0 414848 0
[pid=3138/tid=3139] ppid=3136 vsize=1712404 CPUtime=0.5
/proc/3138/task/3139/stat : 3139 (java) S 3136 3138 3089 0 -1 64 15707 0 0 0 43 7 0 0 16 0 13 0 156378258 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3140] ppid=3136 vsize=1712404 CPUtime=0.5
/proc/3138/task/3140/stat : 3140 (java) S 3136 3138 3089 0 -1 64 12360 0 0 0 43 7 0 0 16 0 13 0 156378258 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3141] ppid=3136 vsize=1712404 CPUtime=0
/proc/3138/task/3141/stat : 3141 (java) S 3136 3138 3089 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 156378261 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3142] ppid=3136 vsize=1712404 CPUtime=0
/proc/3138/task/3142/stat : 3142 (java) S 3136 3138 3089 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156378261 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3143] ppid=3136 vsize=1712404 CPUtime=0
/proc/3138/task/3143/stat : 3143 (java) S 3136 3138 3089 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156378261 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3144] ppid=3136 vsize=1712404 CPUtime=0
/proc/3138/task/3144/stat : 3144 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156378265 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3145] ppid=3136 vsize=1712404 CPUtime=0
/proc/3138/task/3145/stat : 3145 (java) S 3136 3138 3089 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156378265 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3146] ppid=3136 vsize=1712404 CPUtime=0.93
/proc/3138/task/3146/stat : 3146 (java) S 3136 3138 3089 0 -1 64 997 0 0 0 93 0 0 0 17 0 13 0 156378265 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3147] ppid=3136 vsize=1712404 CPUtime=0.88
/proc/3138/task/3147/stat : 3147 (java) S 3136 3138 3089 0 -1 64 1906 0 0 0 88 0 0 0 16 0 13 0 156378265 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3148] ppid=3136 vsize=1712404 CPUtime=0
/proc/3138/task/3148/stat : 3148 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156378265 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3149] ppid=3136 vsize=1712404 CPUtime=0
/proc/3138/task/3149/stat : 3149 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156378265 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3156] ppid=3136 vsize=1712404 CPUtime=0
/proc/3138/task/3156/stat : 3156 (java) S 3136 3138 3089 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156379163 1753501696 62909 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.76
Current children cumulated vsize (Kb) 1712404

[startup+30.0216 s]
/proc/loadavg: 1.01 1.04 1.00 2/76 3156
/proc/meminfo: memFree=1178456/2055920 swapFree=4182852/4192956
[pid=3138] ppid=3136 vsize=1711988 CPUtime=32.03
/proc/3138/stat : 3138 (java) R 3136 3138 3089 0 -1 0 79117 0 1 0 3160 43 0 0 25 0 13 0 156378252 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071694806 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3138/statm: 427997 66639 1910 14 0 414744 0
[pid=3138/tid=3139] ppid=3136 vsize=1711988 CPUtime=0.68
/proc/3138/task/3139/stat : 3139 (java) S 3136 3138 3089 0 -1 64 19212 0 0 0 60 8 0 0 15 0 13 0 156378258 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3140] ppid=3136 vsize=1711988 CPUtime=0.68
/proc/3138/task/3140/stat : 3140 (java) S 3136 3138 3089 0 -1 64 15822 0 0 0 60 8 0 0 16 0 13 0 156378258 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3141] ppid=3136 vsize=1711988 CPUtime=0.02
/proc/3138/task/3141/stat : 3141 (java) S 3136 3138 3089 0 -1 64 47 0 0 0 1 1 0 0 16 0 13 0 156378261 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3142] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3142/stat : 3142 (java) S 3136 3138 3089 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3143] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3143/stat : 3143 (java) S 3136 3138 3089 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3144] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3144/stat : 3144 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156378265 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3145] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3145/stat : 3145 (java) S 3136 3138 3089 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156378265 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3146] ppid=3136 vsize=1711988 CPUtime=0.94
/proc/3138/task/3146/stat : 3146 (java) S 3136 3138 3089 0 -1 64 997 0 0 0 94 0 0 0 16 0 13 0 156378265 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3147] ppid=3136 vsize=1711988 CPUtime=0.96
/proc/3138/task/3147/stat : 3147 (java) S 3136 3138 3089 0 -1 64 1920 0 0 0 96 0 0 0 17 0 13 0 156378265 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3148] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3148/stat : 3148 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156378265 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3149] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3149/stat : 3149 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156378265 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3156] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3156/stat : 3156 (java) S 3136 3138 3089 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156379163 1753075712 66639 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.03
Current children cumulated vsize (Kb) 1711988

[startup+40.0285 s]
/proc/loadavg: 1.00 1.04 1.00 2/76 3156
/proc/meminfo: memFree=1184984/2055920 swapFree=4182852/4192956
[pid=3138] ppid=3136 vsize=1711988 CPUtime=42.08
/proc/3138/stat : 3138 (java) R 3136 3138 3089 0 -1 0 79943 0 1 0 4164 44 0 0 22 0 13 0 156378252 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071556976 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3138/statm: 427997 64954 1910 14 0 414744 0
[pid=3138/tid=3139] ppid=3136 vsize=1711988 CPUtime=0.75
/proc/3138/task/3139/stat : 3139 (java) S 3136 3138 3089 0 -1 64 19513 0 0 0 66 9 0 0 16 0 13 0 156378258 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3140] ppid=3136 vsize=1711988 CPUtime=0.73
/proc/3138/task/3140/stat : 3140 (java) S 3136 3138 3089 0 -1 64 16126 0 0 0 65 8 0 0 16 0 13 0 156378258 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3141] ppid=3136 vsize=1711988 CPUtime=0.02
/proc/3138/task/3141/stat : 3141 (java) S 3136 3138 3089 0 -1 64 53 0 0 0 1 1 0 0 15 0 13 0 156378261 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3142] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3142/stat : 3142 (java) S 3136 3138 3089 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3143] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3143/stat : 3143 (java) S 3136 3138 3089 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3144] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3144/stat : 3144 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156378265 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3145] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3145/stat : 3145 (java) S 3136 3138 3089 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156378265 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3146] ppid=3136 vsize=1711988 CPUtime=0.94
/proc/3138/task/3146/stat : 3146 (java) S 3136 3138 3089 0 -1 64 997 0 0 0 94 0 0 0 16 0 13 0 156378265 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3147] ppid=3136 vsize=1711988 CPUtime=0.96
/proc/3138/task/3147/stat : 3147 (java) S 3136 3138 3089 0 -1 64 1920 0 0 0 96 0 0 0 17 0 13 0 156378265 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3148] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3148/stat : 3148 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156378265 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3149] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3149/stat : 3149 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156378265 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3156] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3156/stat : 3156 (java) S 3136 3138 3089 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156379163 1753075712 64954 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.08
Current children cumulated vsize (Kb) 1711988

[startup+50.0363 s]
/proc/loadavg: 1.00 1.04 1.00 2/76 3156
/proc/meminfo: memFree=1187352/2055920 swapFree=4182852/4192956
[pid=3138] ppid=3136 vsize=1711988 CPUtime=52.13
/proc/3138/stat : 3138 (java) R 3136 3138 3089 0 -1 0 80473 0 1 0 5168 45 0 0 25 0 13 0 156378252 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071694764 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3138/statm: 427997 64412 1910 14 0 414744 0
[pid=3138/tid=3139] ppid=3136 vsize=1711988 CPUtime=0.79
/proc/3138/task/3139/stat : 3139 (java) S 3136 3138 3089 0 -1 64 19797 0 0 0 70 9 0 0 16 0 13 0 156378258 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3140] ppid=3136 vsize=1711988 CPUtime=0.78
/proc/3138/task/3140/stat : 3140 (java) S 3136 3138 3089 0 -1 64 16336 0 0 0 70 8 0 0 16 0 13 0 156378258 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3141] ppid=3136 vsize=1711988 CPUtime=0.03
/proc/3138/task/3141/stat : 3141 (java) S 3136 3138 3089 0 -1 64 63 0 0 0 1 2 0 0 16 0 13 0 156378261 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3142] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3142/stat : 3142 (java) S 3136 3138 3089 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3143] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3143/stat : 3143 (java) S 3136 3138 3089 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3144] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3144/stat : 3144 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156378265 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3145] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3145/stat : 3145 (java) S 3136 3138 3089 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156378265 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3146] ppid=3136 vsize=1711988 CPUtime=0.94
/proc/3138/task/3146/stat : 3146 (java) S 3136 3138 3089 0 -1 64 997 0 0 0 94 0 0 0 16 0 13 0 156378265 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3147] ppid=3136 vsize=1711988 CPUtime=0.96
/proc/3138/task/3147/stat : 3147 (java) S 3136 3138 3089 0 -1 64 1920 0 0 0 96 0 0 0 17 0 13 0 156378265 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3148] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3148/stat : 3148 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156378265 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3149] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3149/stat : 3149 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156378265 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3156] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3156/stat : 3156 (java) S 3136 3138 3089 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156379163 1753075712 64412 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 52.13
Current children cumulated vsize (Kb) 1711988

[startup+60.0442 s]
/proc/loadavg: 1.00 1.03 1.00 2/76 3156
/proc/meminfo: memFree=1187160/2055920 swapFree=4182852/4192956
[pid=3138] ppid=3136 vsize=1711988 CPUtime=62.17
/proc/3138/stat : 3138 (java) R 3136 3138 3089 0 -1 0 80626 0 1 0 6172 45 0 0 17 0 13 0 156378252 1753075712 64451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071659539 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3138/statm: 427997 64451 1910 14 0 414744 0
[pid=3138/tid=3139] ppid=3136 vsize=1711988 CPUtime=0.83
/proc/3138/task/3139/stat : 3139 (java) S 3136 3138 3089 0 -1 64 19861 0 0 0 74 9 0 0 16 0 13 0 156378258 1753075712 64451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3140] ppid=3136 vsize=1711988 CPUtime=0.83
/proc/3138/task/3140/stat : 3140 (java) S 3136 3138 3089 0 -1 64 16394 0 0 0 74 9 0 0 16 0 13 0 156378258 1753075712 64451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3141] ppid=3136 vsize=1711988 CPUtime=0.03
/proc/3138/task/3141/stat : 3141 (java) S 3136 3138 3089 0 -1 64 63 0 0 0 1 2 0 0 16 0 13 0 156378261 1753075712 64451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3142] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3142/stat : 3142 (java) S 3136 3138 3089 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 64451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3143] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3143/stat : 3143 (java) S 3136 3138 3089 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 64451 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3144] ppid=3136 vsize=1711988 CPUtime=0

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

/proc/3138/task/3142/stat : 3142 (java) S 3136 3138 3089 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3143] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3143/stat : 3143 (java) S 3136 3138 3089 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3144] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3144/stat : 3144 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3145] ppid=3136 vsize=1711988 CPUtime=0.01
/proc/3138/task/3145/stat : 3145 (java) S 3136 3138 3089 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3146] ppid=3136 vsize=1711988 CPUtime=1.09
/proc/3138/task/3146/stat : 3146 (java) S 3136 3138 3089 0 -1 64 1005 0 0 0 109 0 0 0 16 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3147] ppid=3136 vsize=1711988 CPUtime=1.07
/proc/3138/task/3147/stat : 3147 (java) S 3136 3138 3089 0 -1 64 1926 0 0 0 107 0 0 0 17 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3148] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3148/stat : 3148 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3149] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3149/stat : 3149 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3156] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3156/stat : 3156 (java) S 3136 3138 3089 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156379163 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.25
Current children cumulated vsize (Kb) 1711988

[startup+1776.37 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 3354
/proc/meminfo: memFree=929368/2055920 swapFree=4182852/4192956
[pid=3138] ppid=3136 vsize=1711988 CPUtime=1797.27
/proc/3138/stat : 3138 (java) R 3136 3138 3089 0 -1 0 182047 0 1 0 179503 224 0 0 21 0 13 0 156378252 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071659153 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3138/statm: 427997 128576 1910 14 0 414744 0
[pid=3138/tid=3139] ppid=3136 vsize=1711988 CPUtime=20.72
/proc/3138/task/3139/stat : 3139 (java) S 3136 3138 3089 0 -1 64 55509 0 0 0 2015 57 0 0 16 0 13 0 156378258 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3140] ppid=3136 vsize=1711988 CPUtime=20.84
/proc/3138/task/3140/stat : 3140 (java) S 3136 3138 3089 0 -1 64 54842 0 0 0 2014 70 0 0 15 0 13 0 156378258 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3141] ppid=3136 vsize=1711988 CPUtime=0.93
/proc/3138/task/3141/stat : 3141 (java) S 3136 3138 3089 0 -1 64 112 0 0 0 54 39 0 0 16 0 13 0 156378261 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3142] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3142/stat : 3142 (java) S 3136 3138 3089 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3143] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3143/stat : 3143 (java) S 3136 3138 3089 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3144] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3144/stat : 3144 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3145] ppid=3136 vsize=1711988 CPUtime=0.01
/proc/3138/task/3145/stat : 3145 (java) S 3136 3138 3089 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3146] ppid=3136 vsize=1711988 CPUtime=1.09
/proc/3138/task/3146/stat : 3146 (java) S 3136 3138 3089 0 -1 64 1005 0 0 0 109 0 0 0 16 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3147] ppid=3136 vsize=1711988 CPUtime=1.07
/proc/3138/task/3147/stat : 3147 (java) S 3136 3138 3089 0 -1 64 1926 0 0 0 107 0 0 0 17 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3148] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3148/stat : 3148 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3149] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3149/stat : 3149 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3156] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3156/stat : 3156 (java) S 3136 3138 3089 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156379163 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.27
Current children cumulated vsize (Kb) 1711988

[startup+1777.38 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 3354
/proc/meminfo: memFree=929368/2055920 swapFree=4182852/4192956
[pid=3138] ppid=3136 vsize=1711988 CPUtime=1798.28
/proc/3138/stat : 3138 (java) R 3136 3138 3089 0 -1 0 182049 0 1 0 179604 224 0 0 19 0 13 0 156378252 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071429053 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3138/statm: 427997 128576 1910 14 0 414744 0
[pid=3138/tid=3139] ppid=3136 vsize=1711988 CPUtime=20.73
/proc/3138/task/3139/stat : 3139 (java) S 3136 3138 3089 0 -1 64 55509 0 0 0 2016 57 0 0 15 0 13 0 156378258 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3140] ppid=3136 vsize=1711988 CPUtime=20.85
/proc/3138/task/3140/stat : 3140 (java) S 3136 3138 3089 0 -1 64 54842 0 0 0 2015 70 0 0 16 0 13 0 156378258 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3141] ppid=3136 vsize=1711988 CPUtime=0.93
/proc/3138/task/3141/stat : 3141 (java) S 3136 3138 3089 0 -1 64 112 0 0 0 54 39 0 0 16 0 13 0 156378261 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3142] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3142/stat : 3142 (java) S 3136 3138 3089 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3143] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3143/stat : 3143 (java) S 3136 3138 3089 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3144] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3144/stat : 3144 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3145] ppid=3136 vsize=1711988 CPUtime=0.01
/proc/3138/task/3145/stat : 3145 (java) S 3136 3138 3089 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3146] ppid=3136 vsize=1711988 CPUtime=1.09
/proc/3138/task/3146/stat : 3146 (java) S 3136 3138 3089 0 -1 64 1005 0 0 0 109 0 0 0 16 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3147] ppid=3136 vsize=1711988 CPUtime=1.07
/proc/3138/task/3147/stat : 3147 (java) S 3136 3138 3089 0 -1 64 1926 0 0 0 107 0 0 0 17 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3148] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3148/stat : 3148 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3149] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3149/stat : 3149 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156378265 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3156] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3156/stat : 3156 (java) S 3136 3138 3089 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156379163 1753075712 128576 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.28
Current children cumulated vsize (Kb) 1711988

[startup+1778.38 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 3354
/proc/meminfo: memFree=929112/2055920 swapFree=4182852/4192956
[pid=3138] ppid=3136 vsize=1711988 CPUtime=1799.31
/proc/3138/stat : 3138 (java) R 3136 3138 3089 0 -1 0 182144 0 1 0 179707 224 0 0 17 0 13 0 156378252 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071556657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3138/statm: 427997 128661 1910 14 0 414744 0
[pid=3138/tid=3139] ppid=3136 vsize=1711988 CPUtime=20.75
/proc/3138/task/3139/stat : 3139 (java) S 3136 3138 3089 0 -1 64 55575 0 0 0 2018 57 0 0 15 0 13 0 156378258 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3140] ppid=3136 vsize=1711988 CPUtime=20.88
/proc/3138/task/3140/stat : 3140 (java) S 3136 3138 3089 0 -1 64 54868 0 0 0 2018 70 0 0 16 0 13 0 156378258 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3141] ppid=3136 vsize=1711988 CPUtime=0.93
/proc/3138/task/3141/stat : 3141 (java) S 3136 3138 3089 0 -1 64 112 0 0 0 54 39 0 0 16 0 13 0 156378261 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3142] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3142/stat : 3142 (java) S 3136 3138 3089 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3143] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3143/stat : 3143 (java) S 3136 3138 3089 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3144] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3144/stat : 3144 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3145] ppid=3136 vsize=1711988 CPUtime=0.01
/proc/3138/task/3145/stat : 3145 (java) S 3136 3138 3089 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3146] ppid=3136 vsize=1711988 CPUtime=1.09
/proc/3138/task/3146/stat : 3146 (java) S 3136 3138 3089 0 -1 64 1005 0 0 0 109 0 0 0 16 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3147] ppid=3136 vsize=1711988 CPUtime=1.07
/proc/3138/task/3147/stat : 3147 (java) S 3136 3138 3089 0 -1 64 1926 0 0 0 107 0 0 0 17 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3148] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3148/stat : 3148 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3149] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3149/stat : 3149 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3156] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3156/stat : 3156 (java) S 3136 3138 3089 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156379163 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.31
Current children cumulated vsize (Kb) 1711988

[startup+1779.39 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 3354
/proc/meminfo: memFree=929112/2055920 swapFree=4182852/4192956
[pid=3138] ppid=3136 vsize=1711988 CPUtime=1800.33
/proc/3138/stat : 3138 (java) R 3136 3138 3089 0 -1 0 182146 0 1 0 179809 224 0 0 19 0 13 0 156378252 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071556533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3138/statm: 427997 128661 1910 14 0 414744 0
[pid=3138/tid=3139] ppid=3136 vsize=1711988 CPUtime=20.77
/proc/3138/task/3139/stat : 3139 (java) S 3136 3138 3089 0 -1 64 55575 0 0 0 2020 57 0 0 16 0 13 0 156378258 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3140] ppid=3136 vsize=1711988 CPUtime=20.89
/proc/3138/task/3140/stat : 3140 (java) S 3136 3138 3089 0 -1 64 54868 0 0 0 2019 70 0 0 16 0 13 0 156378258 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3141] ppid=3136 vsize=1711988 CPUtime=0.93
/proc/3138/task/3141/stat : 3141 (java) S 3136 3138 3089 0 -1 64 112 0 0 0 54 39 0 0 16 0 13 0 156378261 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3142] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3142/stat : 3142 (java) S 3136 3138 3089 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3143] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3143/stat : 3143 (java) S 3136 3138 3089 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3144] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3144/stat : 3144 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3145] ppid=3136 vsize=1711988 CPUtime=0.01
/proc/3138/task/3145/stat : 3145 (java) S 3136 3138 3089 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3146] ppid=3136 vsize=1711988 CPUtime=1.09
/proc/3138/task/3146/stat : 3146 (java) S 3136 3138 3089 0 -1 64 1005 0 0 0 109 0 0 0 16 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3147] ppid=3136 vsize=1711988 CPUtime=1.07
/proc/3138/task/3147/stat : 3147 (java) S 3136 3138 3089 0 -1 64 1926 0 0 0 107 0 0 0 17 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3148] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3148/stat : 3148 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3149] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3149/stat : 3149 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3156] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3156/stat : 3156 (java) S 3136 3138 3089 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156379163 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (Kb) 1711988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1779.39 s]
/proc/loadavg: 1.00 1.01 1.00 2/76 3354
/proc/meminfo: memFree=929112/2055920 swapFree=4182852/4192956
[pid=3138] ppid=3136 vsize=1711988 CPUtime=1800.33
/proc/3138/stat : 3138 (java) R 3136 3138 3089 0 -1 0 182146 0 1 0 179809 224 0 0 19 0 13 0 156378252 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071694783 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3138/statm: 427997 128661 1910 14 0 414744 0
[pid=3138/tid=3139] ppid=3136 vsize=1711988 CPUtime=20.77
/proc/3138/task/3139/stat : 3139 (java) S 3136 3138 3089 0 -1 64 55575 0 0 0 2020 57 0 0 16 0 13 0 156378258 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3140] ppid=3136 vsize=1711988 CPUtime=20.89
/proc/3138/task/3140/stat : 3140 (java) S 3136 3138 3089 0 -1 64 54868 0 0 0 2019 70 0 0 16 0 13 0 156378258 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3141] ppid=3136 vsize=1711988 CPUtime=0.93
/proc/3138/task/3141/stat : 3141 (java) S 3136 3138 3089 0 -1 64 112 0 0 0 54 39 0 0 16 0 13 0 156378261 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3142] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3142/stat : 3142 (java) S 3136 3138 3089 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3143] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3143/stat : 3143 (java) S 3136 3138 3089 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156378261 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3144] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3144/stat : 3144 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3145] ppid=3136 vsize=1711988 CPUtime=0.01
/proc/3138/task/3145/stat : 3145 (java) S 3136 3138 3089 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3146] ppid=3136 vsize=1711988 CPUtime=1.09
/proc/3138/task/3146/stat : 3146 (java) S 3136 3138 3089 0 -1 64 1005 0 0 0 109 0 0 0 16 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3138/tid=3147] ppid=3136 vsize=1711988 CPUtime=1.07
/proc/3138/task/3147/stat : 3147 (java) S 3136 3138 3089 0 -1 64 1926 0 0 0 107 0 0 0 17 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3148] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3148/stat : 3148 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3149] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3149/stat : 3149 (java) S 3136 3138 3089 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156378265 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3138/tid=3156] ppid=3136 vsize=1711988 CPUtime=0
/proc/3138/task/3156/stat : 3156 (java) S 3136 3138 3089 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156379163 1753075712 128661 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (Kb) 1711988

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

Child status: 143
Real time (s): 1779.63
CPU time (s): 1800.7
CPU user time (s): 1798.37
CPU system time (s): 2.32965
CPU usage (%): 101.184
Max. virtual memory (cumulated for all children) (Kb): 1712404
The end

Launcher Data (download as text)

Begin job on node7 on Fri Jul 28 13:59:29 UTC 2006


FILE ID= 50860-1154095169

PBS_JOBID= 885871

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node7/50860-1154095169/instance-50860-1154095169.opb 457050525
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node7/watcher-50860-1154095169 -o ROOT/results/node7/solver-50860-1154095169 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node7/50860-1154095169/instance-50860-1154095169.opb 457050525

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  0b80319f4195f1e1329c2c4b63b416b0

RANDOM SEED= 457050525

TIMEOUT= 1800 seconds


/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.281
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.281
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:       1437768 kB
Buffers:         34336 kB
Cached:         507084 kB
SwapCached:       4484 kB
Active:          37384 kB
Inactive:       513420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1437768 kB
SwapTotal:     4192956 kB
SwapFree:      4182852 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14488 kB
Slab:            53344 kB
Committed_AS:   699616 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node7 on Fri Jul 28 14:29:08 UTC 2006