Trace number 44302

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)86 1800.74 1743.54

General information on the benchmark

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

Verifier Data (download as text)

OK	86

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
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node83/watcher-44302-1149405892 -o ROOT/results/node83/solver-44302-1149405892 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node83/44302-1149405892/instance-44302-1149405892.opb 12611252 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.94 2/67 17335
/proc/meminfo: memFree=1541664/2055888 swapFree=4085408/4096564
[pid=17335] ppid=17333 vsize=1788 CPUtime=0
/proc/17335/stat : 17335 (java) D 17333 17335 17289 0 -1 0 166 0 0 0 0 0 0 0 19 0 1 0 206228596 1830912 135 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099917094 0 0 17 1 0 0
/proc/17335/statm: 447 135 100 14 0 91 0

[startup+10.0018 s]
/proc/loadavg: 0.93 0.95 0.94 2/79 17349
/proc/meminfo: memFree=1366784/2055888 swapFree=4085408/4096564
[pid=17335] ppid=17333 vsize=1715584 CPUtime=11.64
/proc/17335/stat : 17335 (java) R 17333 17335 17289 0 -1 0 52150 0 1 0 1140 24 0 0 25 0 13 0 206228596 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071668890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17335/statm: 428896 45508 1910 14 0 415642 0
[pid=17335/tid=17336] ppid=17333 vsize=1715584 CPUtime=0.3
/proc/17335/task/17336/stat : 17336 (java) S 17333 17335 17289 0 -1 64 4442 0 0 0 28 2 0 0 15 0 13 0 206228599 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17337] ppid=17333 vsize=1715584 CPUtime=0.3
/proc/17335/task/17337/stat : 17337 (java) S 17333 17335 17289 0 -1 64 7261 0 0 0 26 4 0 0 16 0 13 0 206228599 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17338] ppid=17333 vsize=1715584 CPUtime=0
/proc/17335/task/17338/stat : 17338 (java) S 17333 17335 17289 0 -1 64 17 0 0 0 0 0 0 0 16 0 13 0 206228602 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17339] ppid=17333 vsize=1715584 CPUtime=0
/proc/17335/task/17339/stat : 17339 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206228603 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17340] ppid=17333 vsize=1715584 CPUtime=0
/proc/17335/task/17340/stat : 17340 (java) S 17333 17335 17289 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206228603 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17341] ppid=17333 vsize=1715584 CPUtime=0
/proc/17335/task/17341/stat : 17341 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206228606 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17342] ppid=17333 vsize=1715584 CPUtime=0
/proc/17335/task/17342/stat : 17342 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206228606 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17343] ppid=17333 vsize=1715584 CPUtime=1.03
/proc/17335/task/17343/stat : 17343 (java) S 17333 17335 17289 0 -1 64 3237 0 0 0 102 1 0 0 17 0 13 0 206228606 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17344] ppid=17333 vsize=1715584 CPUtime=0.83
/proc/17335/task/17344/stat : 17344 (java) S 17333 17335 17289 0 -1 64 614 0 0 0 83 0 0 0 16 0 13 0 206228606 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17345] ppid=17333 vsize=1715584 CPUtime=0
/proc/17335/task/17345/stat : 17345 (java) S 17333 17335 17289 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206228606 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17346] ppid=17333 vsize=1715584 CPUtime=0
/proc/17335/task/17346/stat : 17346 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206228606 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17349] ppid=17333 vsize=1715584 CPUtime=0
/proc/17335/task/17349/stat : 17349 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 206228745 1756758016 45508 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (Kb) 1715584

[startup+20.0087 s]
/proc/loadavg: 0.94 0.96 0.94 2/79 17349
/proc/meminfo: memFree=1293824/2055888 swapFree=4085408/4096564
[pid=17335] ppid=17333 vsize=1715452 CPUtime=21.98
/proc/17335/stat : 17335 (java) R 17333 17335 17289 0 -1 0 73937 0 1 0 2163 35 0 0 16 0 13 0 206228596 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071547661 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17335/statm: 428863 63788 1911 14 0 415609 0
[pid=17335/tid=17336] ppid=17333 vsize=1715452 CPUtime=0.63
/proc/17335/task/17336/stat : 17336 (java) S 17333 17335 17289 0 -1 64 13637 0 0 0 57 6 0 0 16 0 13 0 206228599 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17337] ppid=17333 vsize=1715452 CPUtime=0.64
/proc/17335/task/17337/stat : 17337 (java) S 17333 17335 17289 0 -1 64 15910 0 0 0 56 8 0 0 17 0 13 0 206228599 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17338] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17338/stat : 17338 (java) S 17333 17335 17289 0 -1 64 35 0 0 0 0 0 0 0 15 0 13 0 206228602 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17339] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17339/stat : 17339 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17340] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17340/stat : 17340 (java) S 17333 17335 17289 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17341] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17341/stat : 17341 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206228606 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17342] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17342/stat : 17342 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206228606 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17343] ppid=17333 vsize=1715452 CPUtime=1.04
/proc/17335/task/17343/stat : 17343 (java) S 17333 17335 17289 0 -1 64 3237 0 0 0 103 1 0 0 16 0 13 0 206228606 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17344] ppid=17333 vsize=1715452 CPUtime=0.84
/proc/17335/task/17344/stat : 17344 (java) S 17333 17335 17289 0 -1 64 614 0 0 0 84 0 0 0 16 0 13 0 206228606 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17345] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17345/stat : 17345 (java) S 17333 17335 17289 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206228606 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17346] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17346/stat : 17346 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206228606 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17349] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17349/stat : 17349 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 206228745 1756622848 63788 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.98
Current children cumulated vsize (Kb) 1715452

[startup+30.0156 s]
/proc/loadavg: 0.95 0.96 0.94 2/79 17349
/proc/meminfo: memFree=1204544/2055888 swapFree=4085408/4096564
[pid=17335] ppid=17333 vsize=1715452 CPUtime=32.61
/proc/17335/stat : 17335 (java) R 17333 17335 17289 0 -1 0 101260 0 1 0 3212 49 0 0 20 0 13 0 206228596 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071569509 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17335/statm: 428863 86047 1911 14 0 415609 0
[pid=17335/tid=17336] ppid=17333 vsize=1715452 CPUtime=1.22
/proc/17335/task/17336/stat : 17336 (java) S 17333 17335 17289 0 -1 64 27076 0 0 0 109 13 0 0 16 0 13 0 206228599 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17337] ppid=17333 vsize=1715452 CPUtime=1.24
/proc/17335/task/17337/stat : 17337 (java) S 17333 17335 17289 0 -1 64 29694 0 0 0 109 15 0 0 16 0 13 0 206228599 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17338] ppid=17333 vsize=1715452 CPUtime=0.01
/proc/17335/task/17338/stat : 17338 (java) S 17333 17335 17289 0 -1 64 35 0 0 0 0 1 0 0 16 0 13 0 206228602 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17339] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17339/stat : 17339 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17340] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17340/stat : 17340 (java) S 17333 17335 17289 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17341] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17341/stat : 17341 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206228606 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17342] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17342/stat : 17342 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206228606 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17343] ppid=17333 vsize=1715452 CPUtime=1.07
/proc/17335/task/17343/stat : 17343 (java) S 17333 17335 17289 0 -1 64 3238 0 0 0 106 1 0 0 17 0 13 0 206228606 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17344] ppid=17333 vsize=1715452 CPUtime=0.87
/proc/17335/task/17344/stat : 17344 (java) S 17333 17335 17289 0 -1 64 693 0 0 0 87 0 0 0 17 0 13 0 206228606 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17345] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17345/stat : 17345 (java) S 17333 17335 17289 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206228606 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17346] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17346/stat : 17346 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206228606 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17349] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17349/stat : 17349 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 206228745 1756622848 86047 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.61
Current children cumulated vsize (Kb) 1715452

[startup+40.0226 s]
/proc/loadavg: 0.95 0.96 0.94 2/79 17349
/proc/meminfo: memFree=1196544/2055888 swapFree=4085408/4096564
[pid=17335] ppid=17333 vsize=1715452 CPUtime=42.82
/proc/17335/stat : 17335 (java) R 17333 17335 17289 0 -1 0 105516 0 1 0 4230 52 0 0 17 0 13 0 206228596 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071747776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17335/statm: 428863 88074 1911 14 0 415609 0
[pid=17335/tid=17336] ppid=17333 vsize=1715452 CPUtime=1.44
/proc/17335/task/17336/stat : 17336 (java) S 17333 17335 17289 0 -1 64 28920 0 0 0 130 14 0 0 15 0 13 0 206228599 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17337] ppid=17333 vsize=1715452 CPUtime=1.45
/proc/17335/task/17337/stat : 17337 (java) S 17333 17335 17289 0 -1 64 31593 0 0 0 129 16 0 0 16 0 13 0 206228599 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17338] ppid=17333 vsize=1715452 CPUtime=0.02
/proc/17335/task/17338/stat : 17338 (java) S 17333 17335 17289 0 -1 64 40 0 0 0 1 1 0 0 16 0 13 0 206228602 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17339] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17339/stat : 17339 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17340] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17340/stat : 17340 (java) S 17333 17335 17289 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17341] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17341/stat : 17341 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206228606 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17342] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17342/stat : 17342 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206228606 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17343] ppid=17333 vsize=1715452 CPUtime=1.07
/proc/17335/task/17343/stat : 17343 (java) S 17333 17335 17289 0 -1 64 3238 0 0 0 106 1 0 0 17 0 13 0 206228606 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17344] ppid=17333 vsize=1715452 CPUtime=0.87
/proc/17335/task/17344/stat : 17344 (java) S 17333 17335 17289 0 -1 64 693 0 0 0 87 0 0 0 17 0 13 0 206228606 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17345] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17345/stat : 17345 (java) S 17333 17335 17289 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206228606 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17346] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17346/stat : 17346 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206228606 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17349] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17349/stat : 17349 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206228745 1756622848 88074 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.82
Current children cumulated vsize (Kb) 1715452

[startup+50.0295 s]
/proc/loadavg: 0.96 0.96 0.94 2/79 17349
/proc/meminfo: memFree=1155072/2055888 swapFree=4085408/4096564
[pid=17335] ppid=17333 vsize=1715452 CPUtime=53.15
/proc/17335/stat : 17335 (java) R 17333 17335 17289 0 -1 0 118151 0 1 0 5256 59 0 0 18 0 13 0 206228596 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071547490 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17335/statm: 428863 98443 1911 14 0 415609 0
[pid=17335/tid=17336] ppid=17333 vsize=1715452 CPUtime=1.76
/proc/17335/task/17336/stat : 17336 (java) S 17333 17335 17289 0 -1 64 34996 0 0 0 158 18 0 0 17 0 13 0 206228599 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17337] ppid=17333 vsize=1715452 CPUtime=1.78
/proc/17335/task/17337/stat : 17337 (java) S 17333 17335 17289 0 -1 64 37925 0 0 0 159 19 0 0 16 0 13 0 206228599 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17338] ppid=17333 vsize=1715452 CPUtime=0.02
/proc/17335/task/17338/stat : 17338 (java) S 17333 17335 17289 0 -1 64 43 0 0 0 1 1 0 0 15 0 13 0 206228602 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17339] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17339/stat : 17339 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17340] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17340/stat : 17340 (java) S 17333 17335 17289 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17341] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17341/stat : 17341 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206228606 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17342] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17342/stat : 17342 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206228606 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17343] ppid=17333 vsize=1715452 CPUtime=1.07
/proc/17335/task/17343/stat : 17343 (java) S 17333 17335 17289 0 -1 64 3238 0 0 0 106 1 0 0 17 0 13 0 206228606 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17344] ppid=17333 vsize=1715452 CPUtime=0.87
/proc/17335/task/17344/stat : 17344 (java) S 17333 17335 17289 0 -1 64 693 0 0 0 87 0 0 0 17 0 13 0 206228606 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17345] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17345/stat : 17345 (java) S 17333 17335 17289 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206228606 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17346] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17346/stat : 17346 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206228606 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17349] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17349/stat : 17349 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206228745 1756622848 98443 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 53.15
Current children cumulated vsize (Kb) 1715452

[startup+60.0364 s]
/proc/loadavg: 0.97 0.96 0.94 2/79 17349
/proc/meminfo: memFree=1131136/2055888 swapFree=4085408/4096564
[pid=17335] ppid=17333 vsize=1715452 CPUtime=63.47
/proc/17335/stat : 17335 (java) R 17333 17335 17289 0 -1 0 125246 0 1 0 6284 63 0 0 22 0 13 0 206228596 1756622848 104377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071747372 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17335/statm: 428863 104377 1911 14 0 415609 0
[pid=17335/tid=17336] ppid=17333 vsize=1715452 CPUtime=2.08
/proc/17335/task/17336/stat : 17336 (java) S 17333 17335 17289 0 -1 64 38579 0 0 0 188 20 0 0 16 0 13 0 206228599 1756622848 104377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17337] ppid=17333 vsize=1715452 CPUtime=2.1
/proc/17335/task/17337/stat : 17337 (java) S 17333 17335 17289 0 -1 64 41411 0 0 0 189 21 0 0 16 0 13 0 206228599 1756622848 104377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17338] ppid=17333 vsize=1715452 CPUtime=0.03
/proc/17335/task/17338/stat : 17338 (java) S 17333 17335 17289 0 -1 64 43 0 0 0 1 2 0 0 15 0 13 0 206228602 1756622848 104377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17339] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17339/stat : 17339 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 104377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17340] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17340/stat : 17340 (java) S 17333 17335 17289 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 104377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17341] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17341/stat : 17341 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206228606 1756622848 104377 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=17335/tid=17339] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17339/stat : 17339 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 223281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17340] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17340/stat : 17340 (java) S 17333 17335 17289 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 223281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17341] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17341/stat : 17341 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206228606 1756622848 223281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17342] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17342/stat : 17342 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206228606 1756622848 223281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17343] ppid=17333 vsize=1715452 CPUtime=1.08
/proc/17335/task/17343/stat : 17343 (java) S 17333 17335 17289 0 -1 64 3239 0 0 0 107 1 0 0 16 0 13 0 206228606 1756622848 223281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17344] ppid=17333 vsize=1715452 CPUtime=0.89
/proc/17335/task/17344/stat : 17344 (java) S 17333 17335 17289 0 -1 64 694 0 0 0 89 0 0 0 16 0 13 0 206228606 1756622848 223281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17345] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17345/stat : 17345 (java) S 17333 17335 17289 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206228606 1756622848 223281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17346] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17346/stat : 17346 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206228606 1756622848 223281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17351] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17351/stat : 17351 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206237588 1756622848 223281 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.19
Current children cumulated vsize (Kb) 1715452

[startup+1740.26 s]
/proc/loadavg: 1.00 1.00 0.97 2/79 17353
/proc/meminfo: memFree=653624/2055888 swapFree=4085408/4096564
[pid=17335] ppid=17333 vsize=1715452 CPUtime=1797.25
/proc/17335/stat : 17335 (java) R 17333 17335 17289 0 -1 0 265429 0 1 0 179457 268 0 0 19 0 13 0 206228596 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071547780 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17335/statm: 428863 223288 1911 14 0 415609 0
[pid=17335/tid=17336] ppid=17333 vsize=1715452 CPUtime=57.07
/proc/17335/task/17336/stat : 17336 (java) S 17333 17335 17289 0 -1 64 106871 0 0 0 5610 97 0 0 15 0 13 0 206228599 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17337] ppid=17333 vsize=1715452 CPUtime=57.07
/proc/17335/task/17337/stat : 17337 (java) S 17333 17335 17289 0 -1 64 108460 0 0 0 5607 100 0 0 16 0 13 0 206228599 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17338] ppid=17333 vsize=1715452 CPUtime=0.93
/proc/17335/task/17338/stat : 17338 (java) S 17333 17335 17289 0 -1 64 51 0 0 0 58 35 0 0 15 0 13 0 206228602 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17339] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17339/stat : 17339 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17340] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17340/stat : 17340 (java) S 17333 17335 17289 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17341] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17341/stat : 17341 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17342] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17342/stat : 17342 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17343] ppid=17333 vsize=1715452 CPUtime=1.08
/proc/17335/task/17343/stat : 17343 (java) S 17333 17335 17289 0 -1 64 3239 0 0 0 107 1 0 0 16 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17344] ppid=17333 vsize=1715452 CPUtime=0.89
/proc/17335/task/17344/stat : 17344 (java) S 17333 17335 17289 0 -1 64 694 0 0 0 89 0 0 0 16 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17345] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17345/stat : 17345 (java) S 17333 17335 17289 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17346] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17346/stat : 17346 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17351] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17351/stat : 17351 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206237588 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.25
Current children cumulated vsize (Kb) 1715452

[startup+1741.27 s]
/proc/loadavg: 1.00 1.00 0.97 2/79 17353
/proc/meminfo: memFree=653624/2055888 swapFree=4085408/4096564
[pid=17335] ppid=17333 vsize=1715452 CPUtime=1798.3
/proc/17335/stat : 17335 (java) R 17333 17335 17289 0 -1 0 265432 0 1 0 179562 268 0 0 16 0 13 0 206228596 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071747319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17335/statm: 428863 223288 1911 14 0 415609 0
[pid=17335/tid=17336] ppid=17333 vsize=1715452 CPUtime=57.12
/proc/17335/task/17336/stat : 17336 (java) S 17333 17335 17289 0 -1 64 106871 0 0 0 5615 97 0 0 16 0 13 0 206228599 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17337] ppid=17333 vsize=1715452 CPUtime=57.12
/proc/17335/task/17337/stat : 17337 (java) S 17333 17335 17289 0 -1 64 108460 0 0 0 5612 100 0 0 16 0 13 0 206228599 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17338] ppid=17333 vsize=1715452 CPUtime=0.93
/proc/17335/task/17338/stat : 17338 (java) S 17333 17335 17289 0 -1 64 51 0 0 0 58 35 0 0 16 0 13 0 206228602 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17339] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17339/stat : 17339 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17340] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17340/stat : 17340 (java) S 17333 17335 17289 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17341] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17341/stat : 17341 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17342] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17342/stat : 17342 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17343] ppid=17333 vsize=1715452 CPUtime=1.08
/proc/17335/task/17343/stat : 17343 (java) S 17333 17335 17289 0 -1 64 3239 0 0 0 107 1 0 0 16 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17344] ppid=17333 vsize=1715452 CPUtime=0.89
/proc/17335/task/17344/stat : 17344 (java) S 17333 17335 17289 0 -1 64 694 0 0 0 89 0 0 0 16 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17345] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17345/stat : 17345 (java) S 17333 17335 17289 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17346] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17346/stat : 17346 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17351] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17351/stat : 17351 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206237588 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.3
Current children cumulated vsize (Kb) 1715452

[startup+1742.27 s]
/proc/loadavg: 1.00 1.00 0.97 2/79 17353
/proc/meminfo: memFree=653624/2055888 swapFree=4085408/4096564
[pid=17335] ppid=17333 vsize=1715452 CPUtime=1799.34
/proc/17335/stat : 17335 (java) R 17333 17335 17289 0 -1 0 265434 0 1 0 179666 268 0 0 20 0 13 0 206228596 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071547589 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17335/statm: 428863 223288 1911 14 0 415609 0
[pid=17335/tid=17336] ppid=17333 vsize=1715452 CPUtime=57.16
/proc/17335/task/17336/stat : 17336 (java) S 17333 17335 17289 0 -1 64 106871 0 0 0 5619 97 0 0 16 0 13 0 206228599 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17337] ppid=17333 vsize=1715452 CPUtime=57.15
/proc/17335/task/17337/stat : 17337 (java) S 17333 17335 17289 0 -1 64 108460 0 0 0 5615 100 0 0 16 0 13 0 206228599 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17338] ppid=17333 vsize=1715452 CPUtime=0.93
/proc/17335/task/17338/stat : 17338 (java) S 17333 17335 17289 0 -1 64 51 0 0 0 58 35 0 0 15 0 13 0 206228602 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17339] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17339/stat : 17339 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17340] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17340/stat : 17340 (java) S 17333 17335 17289 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17341] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17341/stat : 17341 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17342] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17342/stat : 17342 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17343] ppid=17333 vsize=1715452 CPUtime=1.08
/proc/17335/task/17343/stat : 17343 (java) S 17333 17335 17289 0 -1 64 3239 0 0 0 107 1 0 0 16 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17344] ppid=17333 vsize=1715452 CPUtime=0.89
/proc/17335/task/17344/stat : 17344 (java) S 17333 17335 17289 0 -1 64 694 0 0 0 89 0 0 0 16 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17345] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17345/stat : 17345 (java) S 17333 17335 17289 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17346] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17346/stat : 17346 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206228606 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17351] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17351/stat : 17351 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206237588 1756622848 223288 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.34
Current children cumulated vsize (Kb) 1715452

[startup+1743.28 s]
/proc/loadavg: 1.00 1.00 0.97 2/79 17353
/proc/meminfo: memFree=653624/2055888 swapFree=4085408/4096564
[pid=17335] ppid=17333 vsize=1715452 CPUtime=1800.39
/proc/17335/stat : 17335 (java) R 17333 17335 17289 0 -1 0 265444 0 1 0 179771 268 0 0 17 0 13 0 206228596 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071747805 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17335/statm: 428863 223295 1911 14 0 415609 0
[pid=17335/tid=17336] ppid=17333 vsize=1715452 CPUtime=57.21
/proc/17335/task/17336/stat : 17336 (java) S 17333 17335 17289 0 -1 64 106878 0 0 0 5624 97 0 0 16 0 13 0 206228599 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17337] ppid=17333 vsize=1715452 CPUtime=57.2
/proc/17335/task/17337/stat : 17337 (java) S 17333 17335 17289 0 -1 64 108460 0 0 0 5620 100 0 0 16 0 13 0 206228599 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17338] ppid=17333 vsize=1715452 CPUtime=0.93
/proc/17335/task/17338/stat : 17338 (java) S 17333 17335 17289 0 -1 64 51 0 0 0 58 35 0 0 15 0 13 0 206228602 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17339] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17339/stat : 17339 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17340] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17340/stat : 17340 (java) S 17333 17335 17289 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17341] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17341/stat : 17341 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206228606 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17342] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17342/stat : 17342 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206228606 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17343] ppid=17333 vsize=1715452 CPUtime=1.08
/proc/17335/task/17343/stat : 17343 (java) S 17333 17335 17289 0 -1 64 3239 0 0 0 107 1 0 0 16 0 13 0 206228606 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17344] ppid=17333 vsize=1715452 CPUtime=0.89
/proc/17335/task/17344/stat : 17344 (java) S 17333 17335 17289 0 -1 64 694 0 0 0 89 0 0 0 16 0 13 0 206228606 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17345] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17345/stat : 17345 (java) S 17333 17335 17289 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206228606 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17346] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17346/stat : 17346 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206228606 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17351] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17351/stat : 17351 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206237588 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (Kb) 1715452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1743.28 s]
/proc/loadavg: 1.00 1.00 0.97 2/79 17353
/proc/meminfo: memFree=653624/2055888 swapFree=4085408/4096564
[pid=17335] ppid=17333 vsize=1715452 CPUtime=1800.4
/proc/17335/stat : 17335 (java) R 17333 17335 17289 0 -1 0 265444 0 1 0 179772 268 0 0 17 0 13 0 206228596 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071547661 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17335/statm: 428863 223295 1911 14 0 415609 0
[pid=17335/tid=17336] ppid=17333 vsize=1715452 CPUtime=57.21
/proc/17335/task/17336/stat : 17336 (java) S 17333 17335 17289 0 -1 64 106878 0 0 0 5624 97 0 0 16 0 13 0 206228599 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17337] ppid=17333 vsize=1715452 CPUtime=57.2
/proc/17335/task/17337/stat : 17337 (java) S 17333 17335 17289 0 -1 64 108460 0 0 0 5620 100 0 0 16 0 13 0 206228599 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17338] ppid=17333 vsize=1715452 CPUtime=0.93
/proc/17335/task/17338/stat : 17338 (java) S 17333 17335 17289 0 -1 64 51 0 0 0 58 35 0 0 15 0 13 0 206228602 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17339] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17339/stat : 17339 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17340] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17340/stat : 17340 (java) S 17333 17335 17289 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206228603 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17341] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17341/stat : 17341 (java) S 17333 17335 17289 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 206228606 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17342] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17342/stat : 17342 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 206228606 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17343] ppid=17333 vsize=1715452 CPUtime=1.08
/proc/17335/task/17343/stat : 17343 (java) S 17333 17335 17289 0 -1 64 3239 0 0 0 107 1 0 0 16 0 13 0 206228606 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17344] ppid=17333 vsize=1715452 CPUtime=0.89
/proc/17335/task/17344/stat : 17344 (java) S 17333 17335 17289 0 -1 64 694 0 0 0 89 0 0 0 16 0 13 0 206228606 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17335/tid=17345] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17345/stat : 17345 (java) S 17333 17335 17289 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206228606 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17346] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17346/stat : 17346 (java) S 17333 17335 17289 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206228606 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17335/tid=17351] ppid=17333 vsize=1715452 CPUtime=0
/proc/17335/task/17351/stat : 17351 (java) S 17333 17335 17289 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206237588 1756622848 223295 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.4
Current children cumulated vsize (Kb) 1715452

Sending SIGTERM to -17335
Sleeping 2 seconds

Child status: 143
Real time (s): 1743.54
CPU time (s): 1800.74
CPU user time (s): 1797.92
CPU system time (s): 2.82057
CPU usage (%): 103.281
Max. virtual memory (cumulated for all children) (Kb): 1715584

Launcher Data (download as text)

Begin job on node83 on Sun Jun  4 07:24:52 UTC 2006


FILE ID= 44302-1149405892

PBS_JOBID= 314405

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-exam.pi.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node83/44302-1149405892/instance-44302-1149405892.opb 12611252
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node83/watcher-44302-1149405892 -o ROOT/results/node83/solver-44302-1149405892 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node83/44302-1149405892/instance-44302-1149405892.opb 12611252

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  c7b7ba2fb8a9fff5b9677d5bbd1edc0f

RANDOM SEED= 12611252


/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.265
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	: 6006.16
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.265
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	: 5999.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1542000 kB
Buffers:         30912 kB
Cached:         411852 kB
SwapCached:       2364 kB
Active:         254796 kB
Inactive:       196696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1542000 kB
SwapTotal:     4096564 kB
SwapFree:      4085408 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          16880 kB
Slab:            49032 kB
Committed_AS:   457232 kB
PageTables:       1284 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node83 on Sun Jun  4 07:53:56 UTC 2006