Trace number 42872

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.2 HeuristicsSAT (TO)87 1801.42 1729.75

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

Verifier Data (download as text)

OK	87

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/node19/watcher-42872-1149405817 -o ROOT/results/node19/solver-42872-1149405817 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node19/42872-1149405817/instance-42872-1149405817.opb 624579261 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.99 2/64 19766
/proc/meminfo: memFree=1511384/2055920 swapFree=4181416/4192956
[pid=19766] ppid=19764 vsize=0 CPUtime=0
/proc/19766/stat : 19766 (java) R 19764 19766 19720 0 -1 0 178 0 0 0 0 0 0 0 18 0 1 0 206244726 0 0 18446744073709551615 0 0 0 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/19766/statm: 1 1 0 0 0 1 0

[startup+10.0021 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 19780
/proc/meminfo: memFree=1329272/2055920 swapFree=4181416/4192956
[pid=19766] ppid=19764 vsize=1720212 CPUtime=12.23
/proc/19766/stat : 19766 (java) R 19764 19766 19720 0 -1 0 56684 0 1 0 1194 29 0 0 25 0 13 0 206244726 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071394755 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19766/statm: 430053 47269 1911 14 0 416800 0
[pid=19766/tid=19767] ppid=19764 vsize=1720212 CPUtime=0.31
/proc/19766/task/19767/stat : 19767 (java) S 19764 19766 19720 0 -1 64 6144 0 0 0 27 4 0 0 16 0 13 0 206244730 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19768] ppid=19764 vsize=1720212 CPUtime=0.31
/proc/19766/task/19768/stat : 19768 (java) S 19764 19766 19720 0 -1 64 5672 0 0 0 28 3 0 0 16 0 13 0 206244730 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19769] ppid=19764 vsize=1720212 CPUtime=0
/proc/19766/task/19769/stat : 19769 (java) S 19764 19766 19720 0 -1 64 19 0 0 0 0 0 0 0 16 0 13 0 206244732 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19770] ppid=19764 vsize=1720212 CPUtime=0
/proc/19766/task/19770/stat : 19770 (java) S 19764 19766 19720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206244733 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19771] ppid=19764 vsize=1720212 CPUtime=0
/proc/19766/task/19771/stat : 19771 (java) S 19764 19766 19720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206244733 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19772] ppid=19764 vsize=1720212 CPUtime=0
/proc/19766/task/19772/stat : 19772 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 206244736 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19773] ppid=19764 vsize=1720212 CPUtime=0.01
/proc/19766/task/19773/stat : 19773 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206244736 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19774] ppid=19764 vsize=1720212 CPUtime=1.6
/proc/19766/task/19774/stat : 19774 (java) S 19764 19766 19720 0 -1 64 6459 0 0 0 158 2 0 0 16 0 13 0 206244736 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19775] ppid=19764 vsize=1720212 CPUtime=1.05
/proc/19766/task/19775/stat : 19775 (java) S 19764 19766 19720 0 -1 64 1842 0 0 0 104 1 0 0 16 0 13 0 206244736 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19776] ppid=19764 vsize=1720212 CPUtime=0
/proc/19766/task/19776/stat : 19776 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206244736 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19777] ppid=19764 vsize=1720212 CPUtime=0
/proc/19766/task/19777/stat : 19777 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206244736 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19780] ppid=19764 vsize=1720212 CPUtime=0
/proc/19766/task/19780/stat : 19780 (java) S 19764 19766 19720 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 206244894 1761497088 47269 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.23
Current children cumulated vsize (Kb) 1720212

[startup+20.0092 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 19780
/proc/meminfo: memFree=1269496/2055920 swapFree=4181416/4192956
[pid=19766] ppid=19764 vsize=1719188 CPUtime=22.69
/proc/19766/stat : 19766 (java) R 19764 19766 19720 0 -1 0 74791 0 1 0 2232 37 0 0 25 0 13 0 206244726 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071598731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19766/statm: 429797 62251 1912 14 0 416544 0
[pid=19766/tid=19767] ppid=19764 vsize=1719188 CPUtime=0.55
/proc/19766/task/19767/stat : 19767 (java) S 19764 19766 19720 0 -1 64 12572 0 0 0 48 7 0 0 16 0 13 0 206244730 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19768] ppid=19764 vsize=1719188 CPUtime=0.56
/proc/19766/task/19768/stat : 19768 (java) S 19764 19766 19720 0 -1 64 13356 0 0 0 49 7 0 0 17 0 13 0 206244730 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19769] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19769/stat : 19769 (java) S 19764 19766 19720 0 -1 64 37 0 0 0 0 0 0 0 16 0 13 0 206244732 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19770] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19770/stat : 19770 (java) S 19764 19766 19720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19771] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19771/stat : 19771 (java) S 19764 19766 19720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19772] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19772/stat : 19772 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 206244736 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19773] ppid=19764 vsize=1719188 CPUtime=0.01
/proc/19766/task/19773/stat : 19773 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206244736 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19774] ppid=19764 vsize=1719188 CPUtime=1.72
/proc/19766/task/19774/stat : 19774 (java) S 19764 19766 19720 0 -1 64 6488 0 0 0 170 2 0 0 16 0 13 0 206244736 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19775] ppid=19764 vsize=1719188 CPUtime=1.12
/proc/19766/task/19775/stat : 19775 (java) S 19764 19766 19720 0 -1 64 1845 0 0 0 111 1 0 0 17 0 13 0 206244736 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19776] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19776/stat : 19776 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206244736 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19777] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19777/stat : 19777 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206244736 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19780] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19780/stat : 19780 (java) S 19764 19766 19720 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 206244894 1760448512 62251 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 22.69
Current children cumulated vsize (Kb) 1719188

[startup+30.0723 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 19780
/proc/meminfo: memFree=1167736/2055920 swapFree=4181416/4192956
[pid=19766] ppid=19764 vsize=1719188 CPUtime=33.43
/proc/19766/stat : 19766 (java) R 19764 19766 19720 0 -1 0 105920 0 1 0 3289 54 0 0 25 0 13 0 206244726 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071648858 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19766/statm: 429797 87595 1912 14 0 416544 0
[pid=19766/tid=19767] ppid=19764 vsize=1719188 CPUtime=1.24
/proc/19766/task/19767/stat : 19767 (java) S 19764 19766 19720 0 -1 64 26743 0 0 0 110 14 0 0 15 0 13 0 206244730 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19768] ppid=19764 vsize=1719188 CPUtime=1.26
/proc/19766/task/19768/stat : 19768 (java) S 19764 19766 19720 0 -1 64 30290 0 0 0 110 16 0 0 16 0 13 0 206244730 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19769] ppid=19764 vsize=1719188 CPUtime=0.01
/proc/19766/task/19769/stat : 19769 (java) S 19764 19766 19720 0 -1 64 37 0 0 0 1 0 0 0 16 0 13 0 206244732 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19770] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19770/stat : 19770 (java) S 19764 19766 19720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19771] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19771/stat : 19771 (java) S 19764 19766 19720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19772] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19772/stat : 19772 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 206244736 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19773] ppid=19764 vsize=1719188 CPUtime=0.01
/proc/19766/task/19773/stat : 19773 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206244736 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19774] ppid=19764 vsize=1719188 CPUtime=1.73
/proc/19766/task/19774/stat : 19774 (java) S 19764 19766 19720 0 -1 64 6488 0 0 0 171 2 0 0 17 0 13 0 206244736 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19775] ppid=19764 vsize=1719188 CPUtime=1.16
/proc/19766/task/19775/stat : 19775 (java) S 19764 19766 19720 0 -1 64 1849 0 0 0 115 1 0 0 17 0 13 0 206244736 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19776] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19776/stat : 19776 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206244736 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19777] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19777/stat : 19777 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206244736 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19780] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19780/stat : 19780 (java) S 19764 19766 19720 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 206244894 1760448512 87595 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 33.43
Current children cumulated vsize (Kb) 1719188

[startup+40.0806 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 19780
/proc/meminfo: memFree=1161656/2055920 swapFree=4181416/4192956
[pid=19766] ppid=19764 vsize=1719188 CPUtime=43.63
/proc/19766/stat : 19766 (java) R 19764 19766 19720 0 -1 0 109369 0 1 0 4307 56 0 0 24 0 13 0 206244726 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071720580 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19766/statm: 429797 89164 1912 14 0 416544 0
[pid=19766/tid=19767] ppid=19764 vsize=1719188 CPUtime=1.44
/proc/19766/task/19767/stat : 19767 (java) S 19764 19766 19720 0 -1 64 28676 0 0 0 129 15 0 0 16 0 13 0 206244730 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19768] ppid=19764 vsize=1719188 CPUtime=1.44
/proc/19766/task/19768/stat : 19768 (java) S 19764 19766 19720 0 -1 64 31773 0 0 0 128 16 0 0 16 0 13 0 206244730 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19769] ppid=19764 vsize=1719188 CPUtime=0.02
/proc/19766/task/19769/stat : 19769 (java) S 19764 19766 19720 0 -1 64 41 0 0 0 1 1 0 0 16 0 13 0 206244732 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19770] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19770/stat : 19770 (java) S 19764 19766 19720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19771] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19771/stat : 19771 (java) S 19764 19766 19720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19772] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19772/stat : 19772 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 206244736 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19773] ppid=19764 vsize=1719188 CPUtime=0.01
/proc/19766/task/19773/stat : 19773 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206244736 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19774] ppid=19764 vsize=1719188 CPUtime=1.75
/proc/19766/task/19774/stat : 19774 (java) S 19764 19766 19720 0 -1 64 6489 0 0 0 173 2 0 0 17 0 13 0 206244736 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19775] ppid=19764 vsize=1719188 CPUtime=1.16
/proc/19766/task/19775/stat : 19775 (java) S 19764 19766 19720 0 -1 64 1849 0 0 0 115 1 0 0 17 0 13 0 206244736 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19776] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19776/stat : 19776 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206244736 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19777] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19777/stat : 19777 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206244736 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19780] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19780/stat : 19780 (java) S 19764 19766 19720 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206244894 1760448512 89164 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 43.63
Current children cumulated vsize (Kb) 1719188

[startup+50.0885 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 19780
/proc/meminfo: memFree=1132280/2055920 swapFree=4181416/4192956
[pid=19766] ppid=19764 vsize=1719188 CPUtime=53.89
/proc/19766/stat : 19766 (java) R 19764 19766 19720 0 -1 0 118098 0 1 0 5329 60 0 0 17 0 13 0 206244726 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071720447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19766/statm: 429797 96508 1912 14 0 416544 0
[pid=19766/tid=19767] ppid=19764 vsize=1719188 CPUtime=1.7
/proc/19766/task/19767/stat : 19767 (java) S 19764 19766 19720 0 -1 64 32743 0 0 0 153 17 0 0 16 0 13 0 206244730 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19768] ppid=19764 vsize=1719188 CPUtime=1.71
/proc/19766/task/19768/stat : 19768 (java) S 19764 19766 19720 0 -1 64 36188 0 0 0 153 18 0 0 16 0 13 0 206244730 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19769] ppid=19764 vsize=1719188 CPUtime=0.02
/proc/19766/task/19769/stat : 19769 (java) S 19764 19766 19720 0 -1 64 44 0 0 0 1 1 0 0 15 0 13 0 206244732 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19770] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19770/stat : 19770 (java) S 19764 19766 19720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19771] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19771/stat : 19771 (java) S 19764 19766 19720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19772] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19772/stat : 19772 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 206244736 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19773] ppid=19764 vsize=1719188 CPUtime=0.01
/proc/19766/task/19773/stat : 19773 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206244736 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19774] ppid=19764 vsize=1719188 CPUtime=1.75
/proc/19766/task/19774/stat : 19774 (java) S 19764 19766 19720 0 -1 64 6489 0 0 0 173 2 0 0 17 0 13 0 206244736 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19775] ppid=19764 vsize=1719188 CPUtime=1.16
/proc/19766/task/19775/stat : 19775 (java) S 19764 19766 19720 0 -1 64 1849 0 0 0 115 1 0 0 17 0 13 0 206244736 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19776] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19776/stat : 19776 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206244736 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19777] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19777/stat : 19777 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206244736 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19780] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19780/stat : 19780 (java) S 19764 19766 19720 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206244894 1760448512 96508 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 53.89
Current children cumulated vsize (Kb) 1719188

[startup+60.0956 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 19780
/proc/meminfo: memFree=1150712/2055920 swapFree=4181416/4192956
[pid=19766] ppid=19764 vsize=1719188 CPUtime=63.97
/proc/19766/stat : 19766 (java) R 19764 19766 19720 0 -1 0 118158 0 1 0 6336 61 0 0 18 0 13 0 206244726 1760448512 91798 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071648524 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19766/statm: 429797 91798 1912 14 0 416544 0
[pid=19766/tid=19767] ppid=19764 vsize=1719188 CPUtime=1.78
/proc/19766/task/19767/stat : 19767 (java) S 19764 19766 19720 0 -1 64 32766 0 0 0 161 17 0 0 16 0 13 0 206244730 1760448512 91798 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19768] ppid=19764 vsize=1719188 CPUtime=1.78
/proc/19766/task/19768/stat : 19768 (java) S 19764 19766 19720 0 -1 64 36199 0 0 0 160 18 0 0 16 0 13 0 206244730 1760448512 91798 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19769] ppid=19764 vsize=1719188 CPUtime=0.02
/proc/19766/task/19769/stat : 19769 (java) S 19764 19766 19720 0 -1 64 44 0 0 0 1 1 0 0 15 0 13 0 206244732 1760448512 91798 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19770] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19770/stat : 19770 (java) S 19764 19766 19720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 91798 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19771] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19771/stat : 19771 (java) S 19764 19766 19720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 91798 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19772] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19772/stat : 19772 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 206244736 1760448512 91798 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=19766/tid=19770] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19770/stat : 19770 (java) S 19764 19766 19720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 282994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19771] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19771/stat : 19771 (java) S 19764 19766 19720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 282994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19772] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19772/stat : 19772 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 206244736 1760448512 282994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19773] ppid=19764 vsize=1719188 CPUtime=0.01
/proc/19766/task/19773/stat : 19773 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206244736 1760448512 282994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19774] ppid=19764 vsize=1719188 CPUtime=1.76
/proc/19766/task/19774/stat : 19774 (java) S 19764 19766 19720 0 -1 64 6489 0 0 0 174 2 0 0 16 0 13 0 206244736 1760448512 282994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19775] ppid=19764 vsize=1719188 CPUtime=1.18
/proc/19766/task/19775/stat : 19775 (java) S 19764 19766 19720 0 -1 64 1850 0 0 0 117 1 0 0 17 0 13 0 206244736 1760448512 282994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19776] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19776/stat : 19776 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206244736 1760448512 282994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19777] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19777/stat : 19777 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206244736 1760448512 282994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19781] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19781/stat : 19781 (java) S 19764 19766 19720 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 206262878 1760448512 282994 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (Kb) 1719188

[startup+1726.4 s]
/proc/loadavg: 1.10 1.04 1.01 2/76 19783
/proc/meminfo: memFree=383664/2055920 swapFree=4181416/4192956
[pid=19766] ppid=19764 vsize=1719188 CPUtime=1797.82
/proc/19766/stat : 19766 (java) R 19764 19766 19720 0 -1 0 343912 0 1 0 179375 407 0 0 22 0 13 0 206244726 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19766/statm: 429797 283040 1912 14 0 416544 0
[pid=19766/tid=19767] ppid=19764 vsize=1719188 CPUtime=70.35
/proc/19766/task/19767/stat : 19767 (java) R 19764 19766 19720 0 -1 64 139091 0 0 0 6897 138 0 0 15 0 13 0 206244730 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4151726527 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19768] ppid=19764 vsize=1719188 CPUtime=70.3
/proc/19766/task/19768/stat : 19768 (java) R 19764 19766 19720 0 -1 64 145960 0 0 0 6839 191 0 0 16 0 13 0 206244730 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19769] ppid=19764 vsize=1719188 CPUtime=0.86
/proc/19766/task/19769/stat : 19769 (java) S 19764 19766 19720 0 -1 64 58 0 0 0 49 37 0 0 16 0 13 0 206244732 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19770] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19770/stat : 19770 (java) S 19764 19766 19720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19771] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19771/stat : 19771 (java) S 19764 19766 19720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19772] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19772/stat : 19772 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19773] ppid=19764 vsize=1719188 CPUtime=0.01
/proc/19766/task/19773/stat : 19773 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19774] ppid=19764 vsize=1719188 CPUtime=1.76
/proc/19766/task/19774/stat : 19774 (java) S 19764 19766 19720 0 -1 64 6489 0 0 0 174 2 0 0 16 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19775] ppid=19764 vsize=1719188 CPUtime=1.18
/proc/19766/task/19775/stat : 19775 (java) S 19764 19766 19720 0 -1 64 1850 0 0 0 117 1 0 0 17 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19776] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19776/stat : 19776 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19777] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19777/stat : 19777 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19781] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19781/stat : 19781 (java) S 19764 19766 19720 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 206262878 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (Kb) 1719188

[startup+1727.41 s]
/proc/loadavg: 1.10 1.04 1.01 2/76 19783
/proc/meminfo: memFree=383664/2055920 swapFree=4181416/4192956
[pid=19766] ppid=19764 vsize=1719188 CPUtime=1798.89
/proc/19766/stat : 19766 (java) R 19764 19766 19720 0 -1 0 343914 0 1 0 179482 407 0 0 17 0 13 0 206244726 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071850440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19766/statm: 429797 283040 1912 14 0 416544 0
[pid=19766/tid=19767] ppid=19764 vsize=1719188 CPUtime=70.42
/proc/19766/task/19767/stat : 19767 (java) S 19764 19766 19720 0 -1 64 139091 0 0 0 6904 138 0 0 16 0 13 0 206244730 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19768] ppid=19764 vsize=1719188 CPUtime=70.37
/proc/19766/task/19768/stat : 19768 (java) S 19764 19766 19720 0 -1 64 145960 0 0 0 6846 191 0 0 16 0 13 0 206244730 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19769] ppid=19764 vsize=1719188 CPUtime=0.86
/proc/19766/task/19769/stat : 19769 (java) S 19764 19766 19720 0 -1 64 58 0 0 0 49 37 0 0 16 0 13 0 206244732 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19770] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19770/stat : 19770 (java) S 19764 19766 19720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19771] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19771/stat : 19771 (java) S 19764 19766 19720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19772] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19772/stat : 19772 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19773] ppid=19764 vsize=1719188 CPUtime=0.01
/proc/19766/task/19773/stat : 19773 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19774] ppid=19764 vsize=1719188 CPUtime=1.76
/proc/19766/task/19774/stat : 19774 (java) S 19764 19766 19720 0 -1 64 6489 0 0 0 174 2 0 0 16 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19775] ppid=19764 vsize=1719188 CPUtime=1.18
/proc/19766/task/19775/stat : 19775 (java) S 19764 19766 19720 0 -1 64 1850 0 0 0 117 1 0 0 17 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19776] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19776/stat : 19776 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19777] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19777/stat : 19777 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19781] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19781/stat : 19781 (java) S 19764 19766 19720 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 206262878 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.89
Current children cumulated vsize (Kb) 1719188

[startup+1728.41 s]
/proc/loadavg: 1.10 1.04 1.01 2/76 19783
/proc/meminfo: memFree=383664/2055920 swapFree=4181416/4192956
[pid=19766] ppid=19764 vsize=1719188 CPUtime=1799.93
/proc/19766/stat : 19766 (java) R 19764 19766 19720 0 -1 0 343916 0 1 0 179586 407 0 0 21 0 13 0 206244726 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071665896 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/19766/statm: 429797 283040 1912 14 0 416544 0
[pid=19766/tid=19767] ppid=19764 vsize=1719188 CPUtime=70.47
/proc/19766/task/19767/stat : 19767 (java) S 19764 19766 19720 0 -1 64 139091 0 0 0 6909 138 0 0 16 0 13 0 206244730 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19768] ppid=19764 vsize=1719188 CPUtime=70.42
/proc/19766/task/19768/stat : 19768 (java) S 19764 19766 19720 0 -1 64 145960 0 0 0 6851 191 0 0 16 0 13 0 206244730 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19769] ppid=19764 vsize=1719188 CPUtime=0.86
/proc/19766/task/19769/stat : 19769 (java) S 19764 19766 19720 0 -1 64 58 0 0 0 49 37 0 0 16 0 13 0 206244732 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19770] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19770/stat : 19770 (java) S 19764 19766 19720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19771] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19771/stat : 19771 (java) S 19764 19766 19720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19772] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19772/stat : 19772 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19773] ppid=19764 vsize=1719188 CPUtime=0.01
/proc/19766/task/19773/stat : 19773 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19774] ppid=19764 vsize=1719188 CPUtime=1.76
/proc/19766/task/19774/stat : 19774 (java) S 19764 19766 19720 0 -1 64 6489 0 0 0 174 2 0 0 16 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19775] ppid=19764 vsize=1719188 CPUtime=1.18
/proc/19766/task/19775/stat : 19775 (java) S 19764 19766 19720 0 -1 64 1850 0 0 0 117 1 0 0 17 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19776] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19776/stat : 19776 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19777] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19777/stat : 19777 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206244736 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19781] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19781/stat : 19781 (java) S 19764 19766 19720 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 206262878 1760448512 283040 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.93
Current children cumulated vsize (Kb) 1719188

[startup+1729.42 s]
/proc/loadavg: 1.10 1.04 1.01 2/76 19783
/proc/meminfo: memFree=383280/2055920 swapFree=4181416/4192956
[pid=19766] ppid=19764 vsize=1719188 CPUtime=1800.99
/proc/19766/stat : 19766 (java) R 19764 19766 19720 0 -1 0 344006 0 1 0 179692 407 0 0 18 0 13 0 206244726 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19766/statm: 429797 283127 1912 14 0 416544 0
[pid=19766/tid=19767] ppid=19764 vsize=1719188 CPUtime=70.53
/proc/19766/task/19767/stat : 19767 (java) S 19764 19766 19720 0 -1 64 139119 0 0 0 6914 139 0 0 16 0 13 0 206244730 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19768] ppid=19764 vsize=1719188 CPUtime=70.47
/proc/19766/task/19768/stat : 19768 (java) S 19764 19766 19720 0 -1 64 146020 0 0 0 6856 191 0 0 17 0 13 0 206244730 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19769] ppid=19764 vsize=1719188 CPUtime=0.86
/proc/19766/task/19769/stat : 19769 (java) S 19764 19766 19720 0 -1 64 58 0 0 0 49 37 0 0 15 0 13 0 206244732 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19770] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19770/stat : 19770 (java) S 19764 19766 19720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19771] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19771/stat : 19771 (java) S 19764 19766 19720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19772] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19772/stat : 19772 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 206244736 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19773] ppid=19764 vsize=1719188 CPUtime=0.01
/proc/19766/task/19773/stat : 19773 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206244736 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19774] ppid=19764 vsize=1719188 CPUtime=1.76
/proc/19766/task/19774/stat : 19774 (java) S 19764 19766 19720 0 -1 64 6489 0 0 0 174 2 0 0 16 0 13 0 206244736 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19775] ppid=19764 vsize=1719188 CPUtime=1.18
/proc/19766/task/19775/stat : 19775 (java) S 19764 19766 19720 0 -1 64 1850 0 0 0 117 1 0 0 17 0 13 0 206244736 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19776] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19776/stat : 19776 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206244736 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19777] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19777/stat : 19777 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206244736 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19781] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19781/stat : 19781 (java) S 19764 19766 19720 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 206262878 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.99
Current children cumulated vsize (Kb) 1719188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1729.43 s]
/proc/loadavg: 1.10 1.04 1.01 2/76 19783
/proc/meminfo: memFree=383280/2055920 swapFree=4181416/4192956
[pid=19766] ppid=19764 vsize=1719188 CPUtime=1800.99
/proc/19766/stat : 19766 (java) R 19764 19766 19720 0 -1 0 344006 0 1 0 179692 407 0 0 18 0 13 0 206244726 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071648903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/19766/statm: 429797 283127 1912 14 0 416544 0
[pid=19766/tid=19767] ppid=19764 vsize=1719188 CPUtime=70.53
/proc/19766/task/19767/stat : 19767 (java) S 19764 19766 19720 0 -1 64 139119 0 0 0 6914 139 0 0 16 0 13 0 206244730 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19768] ppid=19764 vsize=1719188 CPUtime=70.47
/proc/19766/task/19768/stat : 19768 (java) S 19764 19766 19720 0 -1 64 146020 0 0 0 6856 191 0 0 17 0 13 0 206244730 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19769] ppid=19764 vsize=1719188 CPUtime=0.86
/proc/19766/task/19769/stat : 19769 (java) S 19764 19766 19720 0 -1 64 58 0 0 0 49 37 0 0 15 0 13 0 206244732 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19770] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19770/stat : 19770 (java) S 19764 19766 19720 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19771] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19771/stat : 19771 (java) S 19764 19766 19720 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206244733 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19772] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19772/stat : 19772 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 206244736 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19773] ppid=19764 vsize=1719188 CPUtime=0.01
/proc/19766/task/19773/stat : 19773 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 1 0 0 0 16 0 13 0 206244736 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19774] ppid=19764 vsize=1719188 CPUtime=1.76
/proc/19766/task/19774/stat : 19774 (java) S 19764 19766 19720 0 -1 64 6489 0 0 0 174 2 0 0 16 0 13 0 206244736 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19775] ppid=19764 vsize=1719188 CPUtime=1.18
/proc/19766/task/19775/stat : 19775 (java) S 19764 19766 19720 0 -1 64 1850 0 0 0 117 1 0 0 17 0 13 0 206244736 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=19766/tid=19776] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19776/stat : 19776 (java) S 19764 19766 19720 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206244736 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19777] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19777/stat : 19777 (java) S 19764 19766 19720 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 206244736 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=19766/tid=19781] ppid=19764 vsize=1719188 CPUtime=0
/proc/19766/task/19781/stat : 19781 (java) S 19764 19766 19720 0 -1 64 12 0 0 0 0 0 0 0 16 0 13 0 206262878 1760448512 283127 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.99
Current children cumulated vsize (Kb) 1719188

Sending SIGTERM to -19766
Sleeping 2 seconds

Child status: 143
Real time (s): 1729.75
CPU time (s): 1801.42
CPU user time (s): 1797.16
CPU system time (s): 4.25835
CPU usage (%): 104.144
Max. virtual memory (cumulated for all children) (Kb): 1720212

Launcher Data (download as text)

Begin job on node19 on Sun Jun  4 07:23:37 UTC 2006


FILE ID= 42872-1149405817

PBS_JOBID= 314398

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/sat4jPseudoHeuristics.jar ROOT/tmp/node19/42872-1149405817/instance-42872-1149405817.opb 624579261
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-42872-1149405817 -o ROOT/results/node19/solver-42872-1149405817 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node19/42872-1149405817/instance-42872-1149405817.opb 624579261

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  c7b7ba2fb8a9fff5b9677d5bbd1edc0f

RANDOM SEED= 624579261


/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.236
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.236
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:       1511656 kB
Buffers:         19484 kB
Cached:         461096 kB
SwapCached:       3104 kB
Active:          83304 kB
Inactive:       405840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1511656 kB
SwapTotal:     4192956 kB
SwapFree:      4181416 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          14732 kB
Slab:            41100 kB
Committed_AS:   426996 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node19 on Sun Jun  4 07:52:27 UTC 2006