Trace number 42638

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)-3839 1800.77 1783.7

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mkc.opb
MD5SUM7ddc5796bc843f2bf9bc94a0b22fd8e4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-4316
Best CPU time to get the best result obtained on this benchmark1800.59
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -4362
Optimality of the best value was proved NO
Number of variables5383
Total number of constraints3279
Number of constraints which are clauses2977
Number of constraints which are cardinality constraints (but not clauses)276
Number of constraints which are nor clauses,nor cardinality constraints26
Minimum length of a constraint2
Maximum length of a constraint2952
Number of terms in the objective function 2946
Biggest coefficient in the objective function 334
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 526119
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 254588
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 526119
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-3839

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.97 3/64 23236
/proc/meminfo: memFree=1723744/2055920 swapFree=4180904/4192956
[pid=23236] ppid=23234 vsize=1452 CPUtime=0
/proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 103 0 0 0 0 0 0 0 19 0 1 0 193018667 1486848 75 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 7916870 0 0 4096 0 0 0 0 17 1 0 0
/proc/23236/statm: 363 84 66 14 0 8 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.98 0.97 2/76 23249
/proc/meminfo: memFree=1556096/2055920 swapFree=4180904/4192956
[pid=23236] ppid=23234 vsize=1713136 CPUtime=11.45
/proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 45740 0 1 0 1122 23 0 0 18 0 13 0 193018667 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23236/statm: 428284 43740 1911 14 0 415031 0
[pid=23236/tid=23237] ppid=23234 vsize=1713136 CPUtime=0.12
/proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 2950 0 0 0 12 0 0 0 16 0 13 0 193018670 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23238] ppid=23234 vsize=1713136 CPUtime=0.13
/proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 2948 0 0 0 12 1 0 0 16 0 13 0 193018670 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23239] ppid=23234 vsize=1713136 CPUtime=0
/proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 193018673 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23240] ppid=23234 vsize=1713136 CPUtime=0
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=1713136 CPUtime=0
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=1713136 CPUtime=0
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23243] ppid=23234 vsize=1713136 CPUtime=0
/proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23244] ppid=23234 vsize=1713136 CPUtime=1.04
/proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1599 0 0 0 103 1 0 0 15 0 13 0 193018677 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23245] ppid=23234 vsize=1713136 CPUtime=0.79
/proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1610 0 0 0 78 1 0 0 16 0 13 0 193018677 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23246] ppid=23234 vsize=1713136 CPUtime=0
/proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23247] ppid=23234 vsize=1713136 CPUtime=0
/proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23249] ppid=23234 vsize=1713136 CPUtime=0
/proc/23236/task/23249/stat : 23249 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 193018878 1754251264 43740 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.45
Current children cumulated vsize (Kb) 1713136

[startup+20.0101 s]
/proc/loadavg: 0.94 0.98 0.97 2/76 23249
/proc/meminfo: memFree=1529992/2055920 swapFree=4180904/4192956
[pid=23236] ppid=23234 vsize=1713964 CPUtime=21.71
/proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 52807 0 1 0 2145 26 0 0 25 0 13 0 193018667 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071561585 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23236/statm: 428491 50259 1911 14 0 415238 0
[pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=0.34
/proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 6554 0 0 0 32 2 0 0 17 0 13 0 193018670 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=0.34
/proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 6220 0 0 0 32 2 0 0 16 0 13 0 193018670 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.07
/proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1772 0 0 0 106 1 0 0 17 0 13 0 193018677 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.81
/proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1616 0 0 0 80 1 0 0 16 0 13 0 193018677 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23249] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23249/stat : 23249 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 193018878 1755099136 50259 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.71
Current children cumulated vsize (Kb) 1713964

[startup+30.0171 s]
/proc/loadavg: 0.95 0.98 0.97 2/76 23250
/proc/meminfo: memFree=1508672/2055920 swapFree=4180904/4192956
[pid=23236] ppid=23234 vsize=1713964 CPUtime=31.96
/proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 59123 0 1 0 3167 29 0 0 25 0 13 0 193018667 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071694008 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23236/statm: 428491 55577 1911 14 0 415238 0
[pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=0.49
/proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 9332 0 0 0 45 4 0 0 16 0 13 0 193018670 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=0.49
/proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 9743 0 0 0 45 4 0 0 16 0 13 0 193018670 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.12
/proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1774 0 0 0 111 1 0 0 16 0 13 0 193018677 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.9
/proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1620 0 0 0 89 1 0 0 16 0 13 0 193018677 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23250] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23250/stat : 23250 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 193020744 1755099136 55577 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.96
Current children cumulated vsize (Kb) 1713964

[startup+40.0242 s]
/proc/loadavg: 0.96 0.98 0.97 2/76 23251
/proc/meminfo: memFree=1489720/2055920 swapFree=4180904/4192956
[pid=23236] ppid=23234 vsize=1713964 CPUtime=42.11
/proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 64351 0 1 0 4179 32 0 0 25 0 13 0 193018667 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071652193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23236/statm: 428491 60300 1911 14 0 415238 0
[pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=0.61
/proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 11618 0 0 0 56 5 0 0 16 0 13 0 193018670 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=0.62
/proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 12496 0 0 0 57 5 0 0 17 0 13 0 193018670 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.14
/proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1774 0 0 0 113 1 0 0 16 0 13 0 193018677 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.9
/proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1621 0 0 0 89 1 0 0 16 0 13 0 193018677 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23251] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23251/stat : 23251 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 193022358 1755099136 60300 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 42.11
Current children cumulated vsize (Kb) 1713964

[startup+50.0312 s]
/proc/loadavg: 0.96 0.98 0.97 2/76 23251
/proc/meminfo: memFree=1471608/2055920 swapFree=4180904/4192956
[pid=23236] ppid=23234 vsize=1713964 CPUtime=52.26
/proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 69567 0 1 0 5192 34 0 0 25 0 13 0 193018667 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071516019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23236/statm: 428491 64837 1911 14 0 415238 0
[pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=0.76
/proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 14503 0 0 0 70 6 0 0 16 0 13 0 193018670 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=0.76
/proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 14821 0 0 0 70 6 0 0 17 0 13 0 193018670 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 27 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.14
/proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1774 0 0 0 113 1 0 0 16 0 13 0 193018677 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.91
/proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1622 0 0 0 90 1 0 0 17 0 13 0 193018677 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23251] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23251/stat : 23251 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 19 0 13 0 193022358 1755099136 64837 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 52.26
Current children cumulated vsize (Kb) 1713964

[startup+60.0383 s]
/proc/loadavg: 0.97 0.98 0.97 2/76 23252
/proc/meminfo: memFree=1421424/2055920 swapFree=4180904/4192956
[pid=23236] ppid=23234 vsize=1713964 CPUtime=62.6
/proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 84201 0 1 0 6219 41 0 0 25 0 13 0 193018667 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071569807 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23236/statm: 428491 77359 1911 14 0 415238 0
[pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=1.06
/proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 22693 0 0 0 96 10 0 0 16 0 13 0 193018670 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=1.06
/proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 21045 0 0 0 97 9 0 0 16 0 13 0 193018670 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 28 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 77359 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.19
/proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1985 0 0 0 118 1 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.93
/proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1623 0 0 0 92 1 0 0 17 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23253] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23253/stat : 23253 (java) S 23234 23236 23190 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 193028341 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.28
Current children cumulated vsize (Kb) 1713964

[startup+1780.31 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 23448
/proc/meminfo: memFree=174952/2055920 swapFree=4180904/4192956
[pid=23236] ppid=23234 vsize=1713964 CPUtime=1797.28
/proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 597127 0 1 0 179426 302 0 0 25 0 13 0 193018667 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649273 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23236/statm: 428491 388057 1913 14 0 415238 0
[pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=16.22
/proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 255442 0 0 0 1499 123 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=16.25
/proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 258565 0 0 0 1505 120 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=2.71
/proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 259 0 0 0 257 14 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.19
/proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1985 0 0 0 118 1 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.93
/proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1623 0 0 0 92 1 0 0 17 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23253] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23253/stat : 23253 (java) S 23234 23236 23190 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 193028341 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.28
Current children cumulated vsize (Kb) 1713964

[startup+1781.32 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 23448
/proc/meminfo: memFree=174952/2055920 swapFree=4180904/4192956
[pid=23236] ppid=23234 vsize=1713964 CPUtime=1798.29
/proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 597127 0 1 0 179527 302 0 0 25 0 13 0 193018667 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23236/statm: 428491 388057 1913 14 0 415238 0
[pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=16.22
/proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 255442 0 0 0 1499 123 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=16.25
/proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 258565 0 0 0 1505 120 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=2.71
/proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 259 0 0 0 257 14 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.19
/proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1985 0 0 0 118 1 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.93
/proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1623 0 0 0 92 1 0 0 17 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23253] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23253/stat : 23253 (java) S 23234 23236 23190 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 193028341 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.29
Current children cumulated vsize (Kb) 1713964

[startup+1782.33 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 23448
/proc/meminfo: memFree=174952/2055920 swapFree=4180904/4192956
[pid=23236] ppid=23234 vsize=1713964 CPUtime=1799.29
/proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 597127 0 1 0 179627 302 0 0 25 0 13 0 193018667 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649230 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23236/statm: 428491 388057 1913 14 0 415238 0
[pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=16.22
/proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 255442 0 0 0 1499 123 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=16.25
/proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 258565 0 0 0 1505 120 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=2.71
/proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 259 0 0 0 257 14 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.19
/proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1985 0 0 0 118 1 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.93
/proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1623 0 0 0 92 1 0 0 17 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23253] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23253/stat : 23253 (java) S 23234 23236 23190 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 193028341 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.29
Current children cumulated vsize (Kb) 1713964

[startup+1783.33 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 23448
/proc/meminfo: memFree=174952/2055920 swapFree=4180904/4192956
[pid=23236] ppid=23234 vsize=1713964 CPUtime=1800.3
/proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 597127 0 1 0 179728 302 0 0 25 0 13 0 193018667 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649331 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23236/statm: 428491 388057 1913 14 0 415238 0
[pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=16.22
/proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 255442 0 0 0 1499 123 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=16.25
/proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 258565 0 0 0 1505 120 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=2.71
/proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 259 0 0 0 257 14 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.19
/proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1985 0 0 0 118 1 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.93
/proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1623 0 0 0 92 1 0 0 17 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23253] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23253/stat : 23253 (java) S 23234 23236 23190 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 193028341 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (Kb) 1713964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1783.34 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 23448
/proc/meminfo: memFree=174952/2055920 swapFree=4180904/4192956
[pid=23236] ppid=23234 vsize=1713964 CPUtime=1800.3
/proc/23236/stat : 23236 (java) R 23234 23236 23190 0 -1 0 597127 0 1 0 179728 302 0 0 25 0 13 0 193018667 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071649295 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23236/statm: 428491 388057 1913 14 0 415238 0
[pid=23236/tid=23237] ppid=23234 vsize=1713964 CPUtime=16.22
/proc/23236/task/23237/stat : 23237 (java) S 23234 23236 23190 0 -1 64 255442 0 0 0 1499 123 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23238] ppid=23234 vsize=1713964 CPUtime=16.25
/proc/23236/task/23238/stat : 23238 (java) S 23234 23236 23190 0 -1 64 258565 0 0 0 1505 120 0 0 16 0 13 0 193018670 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23239] ppid=23234 vsize=1713964 CPUtime=2.71
/proc/23236/task/23239/stat : 23239 (java) S 23234 23236 23190 0 -1 64 259 0 0 0 257 14 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23240] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23240/stat : 23240 (java) S 23234 23236 23190 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23241] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23241/stat : 23241 (java) S 23234 23236 23190 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193018673 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23242] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23242/stat : 23242 (java) S 23234 23236 23190 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23243] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23243/stat : 23243 (java) S 23234 23236 23190 0 -1 64 18 0 0 0 0 0 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23244] ppid=23234 vsize=1713964 CPUtime=1.19
/proc/23236/task/23244/stat : 23244 (java) S 23234 23236 23190 0 -1 64 1985 0 0 0 118 1 0 0 16 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23245] ppid=23234 vsize=1713964 CPUtime=0.93
/proc/23236/task/23245/stat : 23245 (java) S 23234 23236 23190 0 -1 64 1623 0 0 0 92 1 0 0 17 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23246] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23246/stat : 23246 (java) S 23234 23236 23190 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23236/tid=23247] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23247/stat : 23247 (java) S 23234 23236 23190 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193018677 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23236/tid=23253] ppid=23234 vsize=1713964 CPUtime=0
/proc/23236/task/23253/stat : 23253 (java) S 23234 23236 23190 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 193028341 1755099136 388057 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (Kb) 1713964

Sending SIGTERM to -23236
Sleeping 2 seconds

Child status: 143
Real time (s): 1783.7
CPU time (s): 1800.77
CPU user time (s): 1797.49
CPU system time (s): 3.2725
CPU usage (%): 100.957
Max. virtual memory (cumulated for all children) (Kb): 1713964

Launcher Data (download as text)

Begin job on node30 on Fri Jun  2 18:39:10 UTC 2006


FILE ID= 42638-1149273550

PBS_JOBID= 301360

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

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  7ddc5796bc843f2bf9bc94a0b22fd8e4

RANDOM SEED= 988876059


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1723952 kB
Buffers:         12868 kB
Cached:         249184 kB
SwapCached:       3488 kB
Active:          43124 kB
Inactive:       227412 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723952 kB
SwapTotal:     4192956 kB
SwapFree:      4180904 kB
Dirty:             240 kB
Writeback:           0 kB
Mapped:          14724 kB
Slab:            47504 kB
Committed_AS:   236368 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node30 on Fri Jun  2 19:08:54 UTC 2006