Trace number 42648

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)889 1800.85 1785.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib3/normalized-reduced-mps-v2-20-10-qnet1_o.opb
MD5SUM8b204aeb505cc1c787aa4db3220d0b5a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark272
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 272
Optimality of the best value was proved NO
Number of variables5380
Total number of constraints584
Number of constraints which are clauses32
Number of constraints which are cardinality constraints (but not clauses)48
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint2
Maximum length of a constraint54
Number of terms in the objective function 3720
Biggest coefficient in the objective function 2115
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527620
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262086
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527620
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	889

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.98 2/64 30951
/proc/meminfo: memFree=1552240/2055920 swapFree=4180876/4192956
[pid=30951] ppid=30949 vsize=18540 CPUtime=0
/proc/30951/stat : 30951 (runsolver) D 30949 30951 30905 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 192583261 18984960 279 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 217051622695 0 2147483391 4096 24578 18446744072099781622 0 0 17 1 0 0
/proc/30951/statm: 4635 279 243 16 0 2626 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.98 0.98 2/76 30964
/proc/meminfo: memFree=1370336/2055920 swapFree=4180876/4192956
[pid=30951] ppid=30949 vsize=1714644 CPUtime=11.56
/proc/30951/stat : 30951 (java) R 30949 30951 30905 0 -1 0 51607 0 1 0 1133 23 0 0 25 0 13 0 192583261 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071648051 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30951/statm: 428661 47257 1913 14 0 415408 0
[pid=30951/tid=30952] ppid=30949 vsize=1714644 CPUtime=0.13
/proc/30951/task/30952/stat : 30952 (java) S 30949 30951 30905 0 -1 64 3133 0 0 0 12 1 0 0 16 0 13 0 192583265 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30953] ppid=30949 vsize=1714644 CPUtime=0.13
/proc/30951/task/30953/stat : 30953 (java) S 30949 30951 30905 0 -1 64 2794 0 0 0 12 1 0 0 16 0 13 0 192583265 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30954] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30954/stat : 30954 (java) S 30949 30951 30905 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 192583267 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30955] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30955/stat : 30955 (java) S 30949 30951 30905 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30956] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30956/stat : 30956 (java) S 30949 30951 30905 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30957] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30957/stat : 30957 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 192583271 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30958] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30958/stat : 30958 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192583271 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30959] ppid=30949 vsize=1714644 CPUtime=1.13
/proc/30951/task/30959/stat : 30959 (java) S 30949 30951 30905 0 -1 64 2709 0 0 0 112 1 0 0 17 0 13 0 192583271 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30960] ppid=30949 vsize=1714644 CPUtime=0.94
/proc/30951/task/30960/stat : 30960 (java) S 30949 30951 30905 0 -1 64 1781 0 0 0 94 0 0 0 16 0 13 0 192583271 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30961] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30961/stat : 30961 (java) S 30949 30951 30905 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192583271 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30962] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30962/stat : 30962 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192583271 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30964] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30964/stat : 30964 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 192583465 1755795456 47257 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.56
Current children cumulated vsize (Kb) 1714644

[startup+20.0103 s]
/proc/loadavg: 0.94 0.98 0.98 2/76 30964
/proc/meminfo: memFree=1356832/2055920 swapFree=4180876/4192956
[pid=30951] ppid=30949 vsize=1714644 CPUtime=21.7
/proc/30951/stat : 30951 (java) R 30949 30951 30905 0 -1 0 56942 0 1 0 2144 26 0 0 25 0 13 0 192583261 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071428593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30951/statm: 428661 50624 1915 14 0 415408 0
[pid=30951/tid=30952] ppid=30949 vsize=1714644 CPUtime=0.21
/proc/30951/task/30952/stat : 30952 (java) S 30949 30951 30905 0 -1 64 4694 0 0 0 20 1 0 0 16 0 13 0 192583265 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30953] ppid=30949 vsize=1714644 CPUtime=0.2
/proc/30951/task/30953/stat : 30953 (java) S 30949 30951 30905 0 -1 64 4227 0 0 0 18 2 0 0 16 0 13 0 192583265 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30954] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30954/stat : 30954 (java) S 30949 30951 30905 0 -1 64 42 0 0 0 0 0 0 0 15 0 13 0 192583267 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30955] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30955/stat : 30955 (java) S 30949 30951 30905 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30956] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30956/stat : 30956 (java) S 30949 30951 30905 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30957] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30957/stat : 30957 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 192583271 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30958] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30958/stat : 30958 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192583271 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30959] ppid=30949 vsize=1714644 CPUtime=1.17
/proc/30951/task/30959/stat : 30959 (java) S 30949 30951 30905 0 -1 64 2709 0 0 0 116 1 0 0 17 0 13 0 192583271 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30960] ppid=30949 vsize=1714644 CPUtime=0.96
/proc/30951/task/30960/stat : 30960 (java) S 30949 30951 30905 0 -1 64 1783 0 0 0 96 0 0 0 16 0 13 0 192583271 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30961] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30961/stat : 30961 (java) S 30949 30951 30905 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192583271 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30962] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30962/stat : 30962 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192583271 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30964] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30964/stat : 30964 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 192583465 1755795456 50624 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.7
Current children cumulated vsize (Kb) 1714644

[startup+30.0183 s]
/proc/loadavg: 0.95 0.98 0.98 2/76 30964
/proc/meminfo: memFree=1360800/2055920 swapFree=4180876/4192956
[pid=30951] ppid=30949 vsize=1714644 CPUtime=31.76
/proc/30951/stat : 30951 (java) R 30949 30951 30905 0 -1 0 57740 0 1 0 3150 26 0 0 25 0 13 0 192583261 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071638797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30951/statm: 428661 49611 1915 14 0 415408 0
[pid=30951/tid=30952] ppid=30949 vsize=1714644 CPUtime=0.24
/proc/30951/task/30952/stat : 30952 (java) S 30949 30951 30905 0 -1 64 5057 0 0 0 22 2 0 0 16 0 13 0 192583265 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30953] ppid=30949 vsize=1714644 CPUtime=0.23
/proc/30951/task/30953/stat : 30953 (java) S 30949 30951 30905 0 -1 64 4501 0 0 0 21 2 0 0 16 0 13 0 192583265 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30954] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30954/stat : 30954 (java) S 30949 30951 30905 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 192583267 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30955] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30955/stat : 30955 (java) S 30949 30951 30905 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30956] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30956/stat : 30956 (java) S 30949 30951 30905 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30957] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30957/stat : 30957 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 192583271 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30958] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30958/stat : 30958 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192583271 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30959] ppid=30949 vsize=1714644 CPUtime=1.2
/proc/30951/task/30959/stat : 30959 (java) S 30949 30951 30905 0 -1 64 2710 0 0 0 119 1 0 0 16 0 13 0 192583271 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30960] ppid=30949 vsize=1714644 CPUtime=0.98
/proc/30951/task/30960/stat : 30960 (java) S 30949 30951 30905 0 -1 64 1785 0 0 0 98 0 0 0 16 0 13 0 192583271 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30961] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30961/stat : 30961 (java) S 30949 30951 30905 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192583271 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30962] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30962/stat : 30962 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192583271 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30964] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30964/stat : 30964 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 192583465 1755795456 49611 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.76
Current children cumulated vsize (Kb) 1714644

[startup+40.0252 s]
/proc/loadavg: 0.96 0.98 0.98 2/76 30964
/proc/meminfo: memFree=1357088/2055920 swapFree=4180876/4192956
[pid=30951] ppid=30949 vsize=1714644 CPUtime=41.85
/proc/30951/stat : 30951 (java) R 30949 30951 30905 0 -1 0 59328 0 1 0 4158 27 0 0 25 0 13 0 192583261 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071741107 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30951/statm: 428661 50525 1915 14 0 415408 0
[pid=30951/tid=30952] ppid=30949 vsize=1714644 CPUtime=0.28
/proc/30951/task/30952/stat : 30952 (java) S 30949 30951 30905 0 -1 64 5954 0 0 0 26 2 0 0 16 0 13 0 192583265 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30953] ppid=30949 vsize=1714644 CPUtime=0.28
/proc/30951/task/30953/stat : 30953 (java) S 30949 30951 30905 0 -1 64 5183 0 0 0 25 3 0 0 16 0 13 0 192583265 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30954] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30954/stat : 30954 (java) S 30949 30951 30905 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 192583267 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30955] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30955/stat : 30955 (java) S 30949 30951 30905 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30956] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30956/stat : 30956 (java) S 30949 30951 30905 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30957] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30957/stat : 30957 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 192583271 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30958] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30958/stat : 30958 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192583271 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30959] ppid=30949 vsize=1714644 CPUtime=1.24
/proc/30951/task/30959/stat : 30959 (java) S 30949 30951 30905 0 -1 64 2715 0 0 0 123 1 0 0 16 0 13 0 192583271 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30960] ppid=30949 vsize=1714644 CPUtime=0.99
/proc/30951/task/30960/stat : 30960 (java) S 30949 30951 30905 0 -1 64 1785 0 0 0 99 0 0 0 16 0 13 0 192583271 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30961] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30961/stat : 30961 (java) S 30949 30951 30905 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192583271 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30962] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30962/stat : 30962 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192583271 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30964] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30964/stat : 30964 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 192583465 1755795456 50525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.85
Current children cumulated vsize (Kb) 1714644

[startup+50.0321 s]
/proc/loadavg: 0.96 0.98 0.98 2/76 30964
/proc/meminfo: memFree=1355424/2055920 swapFree=4180876/4192956
[pid=30951] ppid=30949 vsize=1714644 CPUtime=51.89
/proc/30951/stat : 30951 (java) R 30949 30951 30905 0 -1 0 60619 0 1 0 5161 28 0 0 25 0 13 0 192583261 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071638419 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30951/statm: 428661 50931 1915 14 0 415408 0
[pid=30951/tid=30952] ppid=30949 vsize=1714644 CPUtime=0.32
/proc/30951/task/30952/stat : 30952 (java) S 30949 30951 30905 0 -1 64 6807 0 0 0 29 3 0 0 16 0 13 0 192583265 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30953] ppid=30949 vsize=1714644 CPUtime=0.31
/proc/30951/task/30953/stat : 30953 (java) S 30949 30951 30905 0 -1 64 5617 0 0 0 28 3 0 0 16 0 13 0 192583265 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30954] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30954/stat : 30954 (java) S 30949 30951 30905 0 -1 64 42 0 0 0 0 0 0 0 16 0 13 0 192583267 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30955] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30955/stat : 30955 (java) S 30949 30951 30905 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30956] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30956/stat : 30956 (java) S 30949 30951 30905 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30957] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30957/stat : 30957 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 192583271 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30958] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30958/stat : 30958 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192583271 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30959] ppid=30949 vsize=1714644 CPUtime=1.24
/proc/30951/task/30959/stat : 30959 (java) S 30949 30951 30905 0 -1 64 2715 0 0 0 123 1 0 0 16 0 13 0 192583271 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30960] ppid=30949 vsize=1714644 CPUtime=0.99
/proc/30951/task/30960/stat : 30960 (java) S 30949 30951 30905 0 -1 64 1785 0 0 0 99 0 0 0 16 0 13 0 192583271 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30961] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30961/stat : 30961 (java) S 30949 30951 30905 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192583271 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30962] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30962/stat : 30962 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192583271 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30964] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30964/stat : 30964 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 192583465 1755795456 50931 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.89
Current children cumulated vsize (Kb) 1714644

[startup+60.0391 s]
/proc/loadavg: 0.97 0.98 0.98 2/76 30964
/proc/meminfo: memFree=1351648/2055920 swapFree=4180876/4192956
[pid=30951] ppid=30949 vsize=1714644 CPUtime=61.95
/proc/30951/stat : 30951 (java) R 30949 30951 30905 0 -1 0 62560 0 1 0 6166 29 0 0 25 0 13 0 192583261 1755795456 51882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071561595 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30951/statm: 428661 51882 1915 14 0 415408 0
[pid=30951/tid=30952] ppid=30949 vsize=1714644 CPUtime=0.38
/proc/30951/task/30952/stat : 30952 (java) S 30949 30951 30905 0 -1 64 7600 0 0 0 35 3 0 0 16 0 13 0 192583265 1755795456 51882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30953] ppid=30949 vsize=1714644 CPUtime=0.37
/proc/30951/task/30953/stat : 30953 (java) S 30949 30951 30905 0 -1 64 6757 0 0 0 33 4 0 0 16 0 13 0 192583265 1755795456 51882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30954] ppid=30949 vsize=1714644 CPUtime=0.01
/proc/30951/task/30954/stat : 30954 (java) S 30949 30951 30905 0 -1 64 42 0 0 0 1 0 0 0 16 0 13 0 192583267 1755795456 51882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30955] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30955/stat : 30955 (java) S 30949 30951 30905 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 51882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30956] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30956/stat : 30956 (java) S 30949 30951 30905 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 51882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30957] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30957/stat : 30957 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 192583271 1755795456 51882 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=30951/tid=30955] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30955/stat : 30955 (java) S 30949 30951 30905 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30956] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30956/stat : 30956 (java) S 30949 30951 30905 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30957] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30957/stat : 30957 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 192583271 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30958] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30958/stat : 30958 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192583271 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30959] ppid=30949 vsize=1714644 CPUtime=1.33
/proc/30951/task/30959/stat : 30959 (java) S 30949 30951 30905 0 -1 64 2722 0 0 0 132 1 0 0 16 0 13 0 192583271 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30960] ppid=30949 vsize=1714644 CPUtime=1.03
/proc/30951/task/30960/stat : 30960 (java) S 30949 30951 30905 0 -1 64 1787 0 0 0 103 0 0 0 17 0 13 0 192583271 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30961] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30961/stat : 30961 (java) S 30949 30951 30905 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192583271 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30962] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30962/stat : 30962 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192583271 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30964] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30964/stat : 30964 (java) S 30949 30951 30905 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192583465 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.44
Current children cumulated vsize (Kb) 1714644

[startup+1782.36 s]
/proc/loadavg: 1.08 1.04 1.01 2/76 30966
/proc/meminfo: memFree=992992/2055920 swapFree=4180876/4192956
[pid=30951] ppid=30949 vsize=1714644 CPUtime=1797.45
/proc/30951/stat : 30951 (java) R 30949 30951 30905 0 -1 0 254860 0 1 0 179608 137 0 0 25 0 13 0 192583261 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071638803 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30951/statm: 428661 141157 1915 14 0 415408 0
[pid=30951/tid=30952] ppid=30949 vsize=1714644 CPUtime=14.53
/proc/30951/task/30952/stat : 30952 (java) S 30949 30951 30905 0 -1 64 70037 0 0 0 1420 33 0 0 17 0 13 0 192583265 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30953] ppid=30949 vsize=1714644 CPUtime=14.51
/proc/30951/task/30953/stat : 30953 (java) S 30949 30951 30905 0 -1 64 69699 0 0 0 1417 34 0 0 16 0 13 0 192583265 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30954] ppid=30949 vsize=1714644 CPUtime=0.35
/proc/30951/task/30954/stat : 30954 (java) S 30949 30951 30905 0 -1 64 320 0 0 0 18 17 0 0 16 0 13 0 192583267 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30955] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30955/stat : 30955 (java) S 30949 30951 30905 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30956] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30956/stat : 30956 (java) S 30949 30951 30905 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30957] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30957/stat : 30957 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 192583271 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30958] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30958/stat : 30958 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192583271 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30959] ppid=30949 vsize=1714644 CPUtime=1.33
/proc/30951/task/30959/stat : 30959 (java) S 30949 30951 30905 0 -1 64 2722 0 0 0 132 1 0 0 16 0 13 0 192583271 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30960] ppid=30949 vsize=1714644 CPUtime=1.03
/proc/30951/task/30960/stat : 30960 (java) S 30949 30951 30905 0 -1 64 1787 0 0 0 103 0 0 0 17 0 13 0 192583271 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30961] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30961/stat : 30961 (java) S 30949 30951 30905 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192583271 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30962] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30962/stat : 30962 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192583271 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30964] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30964/stat : 30964 (java) S 30949 30951 30905 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192583465 1755795456 141157 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (Kb) 1714644

[startup+1783.36 s]
/proc/loadavg: 1.08 1.04 1.01 2/76 30966
/proc/meminfo: memFree=993824/2055920 swapFree=4180876/4192956
[pid=30951] ppid=30949 vsize=1714644 CPUtime=1798.47
/proc/30951/stat : 30951 (java) R 30949 30951 30905 0 -1 0 254946 0 1 0 179709 138 0 0 25 0 13 0 192583261 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071638797 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30951/statm: 428661 140951 1915 14 0 415408 0
[pid=30951/tid=30952] ppid=30949 vsize=1714644 CPUtime=14.55
/proc/30951/task/30952/stat : 30952 (java) S 30949 30951 30905 0 -1 64 70077 0 0 0 1421 34 0 0 16 0 13 0 192583265 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30953] ppid=30949 vsize=1714644 CPUtime=14.52
/proc/30951/task/30953/stat : 30953 (java) S 30949 30951 30905 0 -1 64 69744 0 0 0 1418 34 0 0 16 0 13 0 192583265 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30954] ppid=30949 vsize=1714644 CPUtime=0.35
/proc/30951/task/30954/stat : 30954 (java) S 30949 30951 30905 0 -1 64 320 0 0 0 18 17 0 0 16 0 13 0 192583267 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30955] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30955/stat : 30955 (java) S 30949 30951 30905 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30956] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30956/stat : 30956 (java) S 30949 30951 30905 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30957] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30957/stat : 30957 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 192583271 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30958] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30958/stat : 30958 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192583271 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30959] ppid=30949 vsize=1714644 CPUtime=1.33
/proc/30951/task/30959/stat : 30959 (java) S 30949 30951 30905 0 -1 64 2722 0 0 0 132 1 0 0 16 0 13 0 192583271 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30960] ppid=30949 vsize=1714644 CPUtime=1.03
/proc/30951/task/30960/stat : 30960 (java) S 30949 30951 30905 0 -1 64 1787 0 0 0 103 0 0 0 17 0 13 0 192583271 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30961] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30961/stat : 30961 (java) S 30949 30951 30905 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192583271 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30962] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30962/stat : 30962 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192583271 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30964] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30964/stat : 30964 (java) S 30949 30951 30905 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192583465 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.47
Current children cumulated vsize (Kb) 1714644

[startup+1784.37 s]
/proc/loadavg: 1.08 1.04 1.01 2/76 30966
/proc/meminfo: memFree=993824/2055920 swapFree=4180876/4192956
[pid=30951] ppid=30949 vsize=1714644 CPUtime=1799.48
/proc/30951/stat : 30951 (java) R 30949 30951 30905 0 -1 0 254946 0 1 0 179810 138 0 0 25 0 13 0 192583261 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071594638 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30951/statm: 428661 140951 1915 14 0 415408 0
[pid=30951/tid=30952] ppid=30949 vsize=1714644 CPUtime=14.55
/proc/30951/task/30952/stat : 30952 (java) S 30949 30951 30905 0 -1 64 70077 0 0 0 1421 34 0 0 16 0 13 0 192583265 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30953] ppid=30949 vsize=1714644 CPUtime=14.52
/proc/30951/task/30953/stat : 30953 (java) S 30949 30951 30905 0 -1 64 69744 0 0 0 1418 34 0 0 16 0 13 0 192583265 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30954] ppid=30949 vsize=1714644 CPUtime=0.35
/proc/30951/task/30954/stat : 30954 (java) S 30949 30951 30905 0 -1 64 320 0 0 0 18 17 0 0 16 0 13 0 192583267 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30955] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30955/stat : 30955 (java) S 30949 30951 30905 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30956] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30956/stat : 30956 (java) S 30949 30951 30905 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30957] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30957/stat : 30957 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 192583271 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30958] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30958/stat : 30958 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192583271 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30959] ppid=30949 vsize=1714644 CPUtime=1.33
/proc/30951/task/30959/stat : 30959 (java) S 30949 30951 30905 0 -1 64 2722 0 0 0 132 1 0 0 16 0 13 0 192583271 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30960] ppid=30949 vsize=1714644 CPUtime=1.03
/proc/30951/task/30960/stat : 30960 (java) S 30949 30951 30905 0 -1 64 1787 0 0 0 103 0 0 0 17 0 13 0 192583271 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30961] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30961/stat : 30961 (java) S 30949 30951 30905 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192583271 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30962] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30962/stat : 30962 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192583271 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30964] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30964/stat : 30964 (java) S 30949 30951 30905 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192583465 1755795456 140951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (Kb) 1714644

[startup+1785.38 s]
/proc/loadavg: 1.08 1.04 1.01 2/76 30966
/proc/meminfo: memFree=994592/2055920 swapFree=4180876/4192956
[pid=30951] ppid=30949 vsize=1714644 CPUtime=1800.5
/proc/30951/stat : 30951 (java) R 30949 30951 30905 0 -1 0 255027 0 1 0 179912 138 0 0 25 0 13 0 192583261 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071576184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30951/statm: 428661 140739 1915 14 0 415408 0
[pid=30951/tid=30952] ppid=30949 vsize=1714644 CPUtime=14.57
/proc/30951/task/30952/stat : 30952 (java) S 30949 30951 30905 0 -1 64 70113 0 0 0 1423 34 0 0 16 0 13 0 192583265 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30953] ppid=30949 vsize=1714644 CPUtime=14.54
/proc/30951/task/30953/stat : 30953 (java) S 30949 30951 30905 0 -1 64 69788 0 0 0 1420 34 0 0 17 0 13 0 192583265 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30954] ppid=30949 vsize=1714644 CPUtime=0.35
/proc/30951/task/30954/stat : 30954 (java) S 30949 30951 30905 0 -1 64 320 0 0 0 18 17 0 0 16 0 13 0 192583267 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30955] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30955/stat : 30955 (java) S 30949 30951 30905 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30956] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30956/stat : 30956 (java) S 30949 30951 30905 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30957] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30957/stat : 30957 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 192583271 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30958] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30958/stat : 30958 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192583271 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30959] ppid=30949 vsize=1714644 CPUtime=1.33
/proc/30951/task/30959/stat : 30959 (java) S 30949 30951 30905 0 -1 64 2722 0 0 0 132 1 0 0 16 0 13 0 192583271 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30960] ppid=30949 vsize=1714644 CPUtime=1.03
/proc/30951/task/30960/stat : 30960 (java) S 30949 30951 30905 0 -1 64 1787 0 0 0 103 0 0 0 17 0 13 0 192583271 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30961] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30961/stat : 30961 (java) S 30949 30951 30905 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192583271 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30962] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30962/stat : 30962 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192583271 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30964] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30964/stat : 30964 (java) S 30949 30951 30905 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192583465 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 1714644



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1785.38 s]
/proc/loadavg: 1.08 1.04 1.01 2/76 30966
/proc/meminfo: memFree=994592/2055920 swapFree=4180876/4192956
[pid=30951] ppid=30949 vsize=1714644 CPUtime=1800.5
/proc/30951/stat : 30951 (java) R 30949 30951 30905 0 -1 0 255027 0 1 0 179912 138 0 0 25 0 13 0 192583261 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071638445 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/30951/statm: 428661 140739 1915 14 0 415408 0
[pid=30951/tid=30952] ppid=30949 vsize=1714644 CPUtime=14.57
/proc/30951/task/30952/stat : 30952 (java) S 30949 30951 30905 0 -1 64 70113 0 0 0 1423 34 0 0 16 0 13 0 192583265 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30953] ppid=30949 vsize=1714644 CPUtime=14.54
/proc/30951/task/30953/stat : 30953 (java) S 30949 30951 30905 0 -1 64 69788 0 0 0 1420 34 0 0 17 0 13 0 192583265 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30954] ppid=30949 vsize=1714644 CPUtime=0.35
/proc/30951/task/30954/stat : 30954 (java) S 30949 30951 30905 0 -1 64 320 0 0 0 18 17 0 0 16 0 13 0 192583267 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30955] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30955/stat : 30955 (java) S 30949 30951 30905 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30956] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30956/stat : 30956 (java) S 30949 30951 30905 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 192583268 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30957] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30957/stat : 30957 (java) S 30949 30951 30905 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 192583271 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30958] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30958/stat : 30958 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 192583271 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30959] ppid=30949 vsize=1714644 CPUtime=1.33
/proc/30951/task/30959/stat : 30959 (java) S 30949 30951 30905 0 -1 64 2722 0 0 0 132 1 0 0 16 0 13 0 192583271 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=30951/tid=30960] ppid=30949 vsize=1714644 CPUtime=1.03
/proc/30951/task/30960/stat : 30960 (java) S 30949 30951 30905 0 -1 64 1787 0 0 0 103 0 0 0 17 0 13 0 192583271 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30961] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30961/stat : 30961 (java) S 30949 30951 30905 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 192583271 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30962] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30962/stat : 30962 (java) S 30949 30951 30905 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 192583271 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=30951/tid=30964] ppid=30949 vsize=1714644 CPUtime=0
/proc/30951/task/30964/stat : 30964 (java) S 30949 30951 30905 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 192583465 1755795456 140739 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (Kb) 1714644

Sending SIGTERM to -30951
Sleeping 2 seconds

Child status: 143
Real time (s): 1785.61
CPU time (s): 1800.85
CPU user time (s): 1799.37
CPU system time (s): 1.47378
CPU usage (%): 100.853
Max. virtual memory (cumulated for all children) (Kb): 1714644

Launcher Data (download as text)

Begin job on node59 on Fri Jun  2 17:25:50 UTC 2006


FILE ID= 42648-1149269150

PBS_JOBID= 301497

BENCH NAME= ROOT/tmp/node59/42648-1149269150/instance-42648-1149269150.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node59/42648-1149269150/instance-42648-1149269150.opb 184127625
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-42648-1149269150 -o ROOT/results/node59/solver-42648-1149269150 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node59/42648-1149269150/instance-42648-1149269150.opb 184127625

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  8b204aeb505cc1c787aa4db3220d0b5a

RANDOM SEED= 184127625


/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.272
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.272
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:       1552448 kB
Buffers:         36252 kB
Cached:         394904 kB
SwapCached:       3840 kB
Active:          29932 kB
Inactive:       410008 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1552448 kB
SwapTotal:     4192956 kB
SwapFree:      4180876 kB
Dirty:             204 kB
Writeback:           0 kB
Mapped:          14732 kB
Slab:            49512 kB
Committed_AS:   273636 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node59 on Fri Jun  2 17:55:36 UTC 2006