Trace number 42483

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)-36 1800.57 1778.68

General information on the benchmark

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

Verifier Data (download as text)

OK	-36

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.96 3/64 17042
/proc/meminfo: memFree=1487728/2055920 swapFree=4182212/4192956
[pid=17042] ppid=17040 vsize=1784 CPUtime=0
/proc/17042/stat : 17042 (java) D 17040 17042 16996 0 -1 0 166 0 0 0 0 0 0 0 19 0 1 0 198396735 1826816 137 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/17042/statm: 446 137 102 14 0 91 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.95 0.96 2/76 17055
/proc/meminfo: memFree=1309144/2055920 swapFree=4182212/4192956
[pid=17042] ppid=17040 vsize=1713744 CPUtime=11.39
/proc/17042/stat : 17042 (java) R 17040 17042 16996 0 -1 0 50201 0 1 0 1117 22 0 0 18 0 13 0 198396735 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071545122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17042/statm: 428436 46416 1906 14 0 415183 0
[pid=17042/tid=17043] ppid=17040 vsize=1713744 CPUtime=0.2
/proc/17042/task/17043/stat : 17043 (java) S 17040 17042 16996 0 -1 64 4884 0 0 0 18 2 0 0 16 0 13 0 198396738 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17044] ppid=17040 vsize=1713744 CPUtime=0.17
/proc/17042/task/17044/stat : 17044 (java) S 17040 17042 16996 0 -1 64 3494 0 0 0 16 1 0 0 16 0 13 0 198396738 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17045] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17045/stat : 17045 (java) S 17040 17042 16996 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 198396741 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17046] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17046/stat : 17046 (java) S 17040 17042 16996 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17047] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17047/stat : 17047 (java) S 17040 17042 16996 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17048] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17048/stat : 17048 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 198396745 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17049] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17049/stat : 17049 (java) S 17040 17042 16996 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198396745 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17050] ppid=17040 vsize=1713744 CPUtime=0.89
/proc/17042/task/17050/stat : 17050 (java) S 17040 17042 16996 0 -1 64 2217 0 0 0 89 0 0 0 17 0 13 0 198396745 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17051] ppid=17040 vsize=1713744 CPUtime=0.78
/proc/17042/task/17051/stat : 17051 (java) S 17040 17042 16996 0 -1 64 862 0 0 0 78 0 0 0 17 0 13 0 198396745 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17052] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17052/stat : 17052 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198396745 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17053] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17053/stat : 17053 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198396745 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17055] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17055/stat : 17055 (java) S 17040 17042 16996 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198397069 1754873856 46416 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.39
Current children cumulated vsize (Kb) 1713744

[startup+20.0104 s]
/proc/loadavg: 0.94 0.96 0.96 2/76 17055
/proc/meminfo: memFree=1322584/2055920 swapFree=4182212/4192956
[pid=17042] ppid=17040 vsize=1713744 CPUtime=21.47
/proc/17042/stat : 17042 (java) R 17040 17042 16996 0 -1 0 51336 0 1 0 2124 23 0 0 25 0 13 0 198396735 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071523698 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17042/statm: 428436 43043 1908 14 0 415183 0
[pid=17042/tid=17043] ppid=17040 vsize=1713744 CPUtime=0.23
/proc/17042/task/17043/stat : 17043 (java) S 17040 17042 16996 0 -1 64 5404 0 0 0 21 2 0 0 15 0 13 0 198396738 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17044] ppid=17040 vsize=1713744 CPUtime=0.2
/proc/17042/task/17044/stat : 17044 (java) S 17040 17042 16996 0 -1 64 4073 0 0 0 19 1 0 0 16 0 13 0 198396738 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17045] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17045/stat : 17045 (java) S 17040 17042 16996 0 -1 64 33 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17046] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17046/stat : 17046 (java) S 17040 17042 16996 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17047] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17047/stat : 17047 (java) S 17040 17042 16996 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17048] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17048/stat : 17048 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 198396745 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17049] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17049/stat : 17049 (java) S 17040 17042 16996 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198396745 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17050] ppid=17040 vsize=1713744 CPUtime=0.94
/proc/17042/task/17050/stat : 17050 (java) S 17040 17042 16996 0 -1 64 2226 0 0 0 94 0 0 0 17 0 13 0 198396745 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17051] ppid=17040 vsize=1713744 CPUtime=0.79
/proc/17042/task/17051/stat : 17051 (java) S 17040 17042 16996 0 -1 64 864 0 0 0 79 0 0 0 16 0 13 0 198396745 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17052] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17052/stat : 17052 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198396745 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17053] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17053/stat : 17053 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198396745 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17055] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17055/stat : 17055 (java) S 17040 17042 16996 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198397069 1754873856 43043 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.47
Current children cumulated vsize (Kb) 1713744

[startup+30.0177 s]
/proc/loadavg: 0.95 0.96 0.96 2/76 17055
/proc/meminfo: memFree=1335320/2055920 swapFree=4182212/4192956
[pid=17042] ppid=17040 vsize=1713744 CPUtime=31.5
/proc/17042/stat : 17042 (java) R 17040 17042 16996 0 -1 0 51967 0 1 0 3126 24 0 0 18 0 13 0 198396735 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071491306 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17042/statm: 428436 39856 1908 14 0 415183 0
[pid=17042/tid=17043] ppid=17040 vsize=1713744 CPUtime=0.26
/proc/17042/task/17043/stat : 17043 (java) S 17040 17042 16996 0 -1 64 5672 0 0 0 23 3 0 0 15 0 13 0 198396738 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17044] ppid=17040 vsize=1713744 CPUtime=0.24
/proc/17042/task/17044/stat : 17044 (java) S 17040 17042 16996 0 -1 64 4402 0 0 0 22 2 0 0 16 0 13 0 198396738 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17045] ppid=17040 vsize=1713744 CPUtime=0.01
/proc/17042/task/17045/stat : 17045 (java) S 17040 17042 16996 0 -1 64 33 0 0 0 0 1 0 0 16 0 13 0 198396741 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17046] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17046/stat : 17046 (java) S 17040 17042 16996 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17047] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17047/stat : 17047 (java) S 17040 17042 16996 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17048] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17048/stat : 17048 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 198396745 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17049] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17049/stat : 17049 (java) S 17040 17042 16996 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198396745 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17050] ppid=17040 vsize=1713744 CPUtime=0.94
/proc/17042/task/17050/stat : 17050 (java) S 17040 17042 16996 0 -1 64 2226 0 0 0 94 0 0 0 17 0 13 0 198396745 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17051] ppid=17040 vsize=1713744 CPUtime=0.79
/proc/17042/task/17051/stat : 17051 (java) S 17040 17042 16996 0 -1 64 864 0 0 0 79 0 0 0 16 0 13 0 198396745 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17052] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17052/stat : 17052 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198396745 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17053] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17053/stat : 17053 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198396745 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17055] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17055/stat : 17055 (java) S 17040 17042 16996 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 198397069 1754873856 39856 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.5
Current children cumulated vsize (Kb) 1713744

[startup+40.0265 s]
/proc/loadavg: 0.95 0.96 0.96 2/76 17057
/proc/meminfo: memFree=1338328/2055920 swapFree=4182212/4192956
[pid=17042] ppid=17040 vsize=1713744 CPUtime=41.52
/proc/17042/stat : 17042 (java) R 17040 17042 16996 0 -1 0 52374 0 1 0 4127 25 0 0 16 0 13 0 198396735 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071436125 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17042/statm: 428436 39160 1908 14 0 415183 0
[pid=17042/tid=17043] ppid=17040 vsize=1713744 CPUtime=0.28
/proc/17042/task/17043/stat : 17043 (java) S 17040 17042 16996 0 -1 64 5855 0 0 0 25 3 0 0 16 0 13 0 198396738 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17044] ppid=17040 vsize=1713744 CPUtime=0.26
/proc/17042/task/17044/stat : 17044 (java) S 17040 17042 16996 0 -1 64 4581 0 0 0 24 2 0 0 16 0 13 0 198396738 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17045] ppid=17040 vsize=1713744 CPUtime=0.01
/proc/17042/task/17045/stat : 17045 (java) S 17040 17042 16996 0 -1 64 33 0 0 0 0 1 0 0 15 0 13 0 198396741 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17046] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17046/stat : 17046 (java) S 17040 17042 16996 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17047] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17047/stat : 17047 (java) S 17040 17042 16996 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17048] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17048/stat : 17048 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 198396745 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17049] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17049/stat : 17049 (java) S 17040 17042 16996 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198396745 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17050] ppid=17040 vsize=1713744 CPUtime=0.94
/proc/17042/task/17050/stat : 17050 (java) S 17040 17042 16996 0 -1 64 2226 0 0 0 94 0 0 0 17 0 13 0 198396745 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17051] ppid=17040 vsize=1713744 CPUtime=0.79
/proc/17042/task/17051/stat : 17051 (java) S 17040 17042 16996 0 -1 64 864 0 0 0 79 0 0 0 16 0 13 0 198396745 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17052] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17052/stat : 17052 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198396745 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17053] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17053/stat : 17053 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198396745 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17055] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17055/stat : 17055 (java) S 17040 17042 16996 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 198397069 1754873856 39160 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.52
Current children cumulated vsize (Kb) 1713744

[startup+50.0335 s]
/proc/loadavg: 0.96 0.96 0.96 2/76 17057
/proc/meminfo: memFree=1342168/2055920 swapFree=4182212/4192956
[pid=17042] ppid=17040 vsize=1713744 CPUtime=51.54
/proc/17042/stat : 17042 (java) R 17040 17042 16996 0 -1 0 52708 0 1 0 5128 26 0 0 17 0 13 0 198396735 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071491351 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17042/statm: 428436 38146 1908 14 0 415183 0
[pid=17042/tid=17043] ppid=17040 vsize=1713744 CPUtime=0.3
/proc/17042/task/17043/stat : 17043 (java) S 17040 17042 16996 0 -1 64 5937 0 0 0 27 3 0 0 16 0 13 0 198396738 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17044] ppid=17040 vsize=1713744 CPUtime=0.28
/proc/17042/task/17044/stat : 17044 (java) S 17040 17042 16996 0 -1 64 4781 0 0 0 26 2 0 0 15 0 13 0 198396738 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17045] ppid=17040 vsize=1713744 CPUtime=0.01
/proc/17042/task/17045/stat : 17045 (java) S 17040 17042 16996 0 -1 64 33 0 0 0 0 1 0 0 16 0 13 0 198396741 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17046] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17046/stat : 17046 (java) S 17040 17042 16996 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17047] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17047/stat : 17047 (java) S 17040 17042 16996 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17048] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17048/stat : 17048 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 198396745 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17049] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17049/stat : 17049 (java) S 17040 17042 16996 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 198396745 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17050] ppid=17040 vsize=1713744 CPUtime=0.94
/proc/17042/task/17050/stat : 17050 (java) S 17040 17042 16996 0 -1 64 2226 0 0 0 94 0 0 0 17 0 13 0 198396745 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17051] ppid=17040 vsize=1713744 CPUtime=0.79
/proc/17042/task/17051/stat : 17051 (java) S 17040 17042 16996 0 -1 64 864 0 0 0 79 0 0 0 16 0 13 0 198396745 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17052] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17052/stat : 17052 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198396745 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17053] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17053/stat : 17053 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198396745 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17055] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17055/stat : 17055 (java) S 17040 17042 16996 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 198397069 1754873856 38146 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.54
Current children cumulated vsize (Kb) 1713744

[startup+60.0399 s]
/proc/loadavg: 0.97 0.96 0.96 2/76 17057
/proc/meminfo: memFree=1343320/2055920 swapFree=4182212/4192956
[pid=17042] ppid=17040 vsize=1713744 CPUtime=61.56
/proc/17042/stat : 17042 (java) R 17040 17042 16996 0 -1 0 53061 0 1 0 6129 27 0 0 17 0 13 0 198396735 1754873856 37861 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071435617 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17042/statm: 428436 37861 1908 14 0 415183 0
[pid=17042/tid=17043] ppid=17040 vsize=1713744 CPUtime=0.33
/proc/17042/task/17043/stat : 17043 (java) S 17040 17042 16996 0 -1 64 6108 0 0 0 30 3 0 0 16 0 13 0 198396738 1754873856 37861 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17044] ppid=17040 vsize=1713744 CPUtime=0.3
/proc/17042/task/17044/stat : 17044 (java) S 17040 17042 16996 0 -1 64 4903 0 0 0 28 2 0 0 15 0 13 0 198396738 1754873856 37861 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17045] ppid=17040 vsize=1713744 CPUtime=0.02
/proc/17042/task/17045/stat : 17045 (java) S 17040 17042 16996 0 -1 64 33 0 0 0 1 1 0 0 15 0 13 0 198396741 1754873856 37861 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17046] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17046/stat : 17046 (java) S 17040 17042 16996 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 37861 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17047] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17047/stat : 17047 (java) S 17040 17042 16996 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 37861 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17048] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17048/stat : 17048 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 198396745 1754873856 37861 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=17042/tid=17046] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17046/stat : 17046 (java) S 17040 17042 16996 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 132730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17047] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17047/stat : 17047 (java) S 17040 17042 16996 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 132730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17048] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17048/stat : 17048 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 198396745 1754873856 132730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17049] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17049/stat : 17049 (java) S 17040 17042 16996 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 198396745 1754873856 132730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17050] ppid=17040 vsize=1713744 CPUtime=1.03
/proc/17042/task/17050/stat : 17050 (java) S 17040 17042 16996 0 -1 64 2229 0 0 0 103 0 0 0 16 0 13 0 198396745 1754873856 132730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17051] ppid=17040 vsize=1713744 CPUtime=0.87
/proc/17042/task/17051/stat : 17051 (java) S 17040 17042 16996 0 -1 64 870 0 0 0 87 0 0 0 16 0 13 0 198396745 1754873856 132730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17052] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17052/stat : 17052 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198396745 1754873856 132730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17053] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17053/stat : 17053 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198396745 1754873856 132730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17062] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17062/stat : 17062 (java) S 17040 17042 16996 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 198539395 1754873856 132730 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (Kb) 1713744

[startup+1775.46 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 17257
/proc/meminfo: memFree=962240/2055920 swapFree=4182212/4192956
[pid=17042] ppid=17040 vsize=1713744 CPUtime=1797.23
/proc/17042/stat : 17042 (java) R 17040 17042 16996 0 -1 0 195459 0 1 0 179513 210 0 0 17 0 13 0 198396735 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071514257 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17042/statm: 428436 132735 1909 14 0 415183 0
[pid=17042/tid=17043] ppid=17040 vsize=1713744 CPUtime=21.8
/proc/17042/task/17043/stat : 17043 (java) S 17040 17042 16996 0 -1 64 55690 0 0 0 2124 56 0 0 16 0 13 0 198396738 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17044] ppid=17040 vsize=1713744 CPUtime=21.67
/proc/17042/task/17044/stat : 17044 (java) S 17040 17042 16996 0 -1 64 53393 0 0 0 2123 44 0 0 16 0 13 0 198396738 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17045] ppid=17040 vsize=1713744 CPUtime=1.05
/proc/17042/task/17045/stat : 17045 (java) S 17040 17042 16996 0 -1 64 148 0 0 0 59 46 0 0 15 0 13 0 198396741 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17046] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17046/stat : 17046 (java) S 17040 17042 16996 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17047] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17047/stat : 17047 (java) S 17040 17042 16996 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17048] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17048/stat : 17048 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 198396745 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17049] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17049/stat : 17049 (java) S 17040 17042 16996 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 198396745 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17050] ppid=17040 vsize=1713744 CPUtime=1.03
/proc/17042/task/17050/stat : 17050 (java) S 17040 17042 16996 0 -1 64 2229 0 0 0 103 0 0 0 16 0 13 0 198396745 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17051] ppid=17040 vsize=1713744 CPUtime=0.87
/proc/17042/task/17051/stat : 17051 (java) S 17040 17042 16996 0 -1 64 870 0 0 0 87 0 0 0 16 0 13 0 198396745 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17052] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17052/stat : 17052 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198396745 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17053] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17053/stat : 17053 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198396745 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17062] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17062/stat : 17062 (java) S 17040 17042 16996 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 198539395 1754873856 132735 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.23
Current children cumulated vsize (Kb) 1713744

[startup+1776.46 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 17257
/proc/meminfo: memFree=962240/2055920 swapFree=4182212/4192956
[pid=17042] ppid=17040 vsize=1713744 CPUtime=1798.25
/proc/17042/stat : 17042 (java) R 17040 17042 16996 0 -1 0 195468 0 1 0 179615 210 0 0 17 0 13 0 198396735 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071435649 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17042/statm: 428436 132741 1909 14 0 415183 0
[pid=17042/tid=17043] ppid=17040 vsize=1713744 CPUtime=21.82
/proc/17042/task/17043/stat : 17043 (java) S 17040 17042 16996 0 -1 64 55695 0 0 0 2126 56 0 0 16 0 13 0 198396738 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17044] ppid=17040 vsize=1713744 CPUtime=21.69
/proc/17042/task/17044/stat : 17044 (java) S 17040 17042 16996 0 -1 64 53394 0 0 0 2125 44 0 0 15 0 13 0 198396738 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17045] ppid=17040 vsize=1713744 CPUtime=1.05
/proc/17042/task/17045/stat : 17045 (java) S 17040 17042 16996 0 -1 64 148 0 0 0 59 46 0 0 15 0 13 0 198396741 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17046] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17046/stat : 17046 (java) S 17040 17042 16996 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17047] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17047/stat : 17047 (java) S 17040 17042 16996 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17048] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17048/stat : 17048 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 198396745 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17049] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17049/stat : 17049 (java) S 17040 17042 16996 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 198396745 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17050] ppid=17040 vsize=1713744 CPUtime=1.03
/proc/17042/task/17050/stat : 17050 (java) S 17040 17042 16996 0 -1 64 2229 0 0 0 103 0 0 0 16 0 13 0 198396745 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17051] ppid=17040 vsize=1713744 CPUtime=0.87
/proc/17042/task/17051/stat : 17051 (java) S 17040 17042 16996 0 -1 64 870 0 0 0 87 0 0 0 16 0 13 0 198396745 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17052] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17052/stat : 17052 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198396745 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17053] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17053/stat : 17053 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198396745 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17062] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17062/stat : 17062 (java) S 17040 17042 16996 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 198539395 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.25
Current children cumulated vsize (Kb) 1713744

[startup+1777.47 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 17257
/proc/meminfo: memFree=962240/2055920 swapFree=4182212/4192956
[pid=17042] ppid=17040 vsize=1713744 CPUtime=1799.27
/proc/17042/stat : 17042 (java) R 17040 17042 16996 0 -1 0 195470 0 1 0 179717 210 0 0 17 0 13 0 198396735 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071435676 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17042/statm: 428436 132741 1909 14 0 415183 0
[pid=17042/tid=17043] ppid=17040 vsize=1713744 CPUtime=21.83
/proc/17042/task/17043/stat : 17043 (java) S 17040 17042 16996 0 -1 64 55695 0 0 0 2127 56 0 0 16 0 13 0 198396738 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17044] ppid=17040 vsize=1713744 CPUtime=21.71
/proc/17042/task/17044/stat : 17044 (java) S 17040 17042 16996 0 -1 64 53394 0 0 0 2127 44 0 0 16 0 13 0 198396738 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17045] ppid=17040 vsize=1713744 CPUtime=1.05
/proc/17042/task/17045/stat : 17045 (java) S 17040 17042 16996 0 -1 64 148 0 0 0 59 46 0 0 15 0 13 0 198396741 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17046] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17046/stat : 17046 (java) S 17040 17042 16996 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17047] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17047/stat : 17047 (java) S 17040 17042 16996 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17048] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17048/stat : 17048 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 198396745 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17049] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17049/stat : 17049 (java) S 17040 17042 16996 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 198396745 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17050] ppid=17040 vsize=1713744 CPUtime=1.03
/proc/17042/task/17050/stat : 17050 (java) S 17040 17042 16996 0 -1 64 2229 0 0 0 103 0 0 0 16 0 13 0 198396745 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17051] ppid=17040 vsize=1713744 CPUtime=0.87
/proc/17042/task/17051/stat : 17051 (java) S 17040 17042 16996 0 -1 64 870 0 0 0 87 0 0 0 16 0 13 0 198396745 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17052] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17052/stat : 17052 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198396745 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17053] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17053/stat : 17053 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198396745 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17062] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17062/stat : 17062 (java) S 17040 17042 16996 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 198539395 1754873856 132741 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.27
Current children cumulated vsize (Kb) 1713744

[startup+1778.48 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 17257
/proc/meminfo: memFree=962240/2055920 swapFree=4182212/4192956
[pid=17042] ppid=17040 vsize=1713744 CPUtime=1800.29
/proc/17042/stat : 17042 (java) R 17040 17042 16996 0 -1 0 195478 0 1 0 179819 210 0 0 17 0 13 0 198396735 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071522026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17042/statm: 428436 132746 1909 14 0 415183 0
[pid=17042/tid=17043] ppid=17040 vsize=1713744 CPUtime=21.85
/proc/17042/task/17043/stat : 17043 (java) S 17040 17042 16996 0 -1 64 55699 0 0 0 2129 56 0 0 16 0 13 0 198396738 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17044] ppid=17040 vsize=1713744 CPUtime=21.72
/proc/17042/task/17044/stat : 17044 (java) S 17040 17042 16996 0 -1 64 53395 0 0 0 2128 44 0 0 16 0 13 0 198396738 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17045] ppid=17040 vsize=1713744 CPUtime=1.05
/proc/17042/task/17045/stat : 17045 (java) S 17040 17042 16996 0 -1 64 148 0 0 0 59 46 0 0 16 0 13 0 198396741 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17046] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17046/stat : 17046 (java) S 17040 17042 16996 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17047] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17047/stat : 17047 (java) S 17040 17042 16996 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17048] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17048/stat : 17048 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 198396745 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17049] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17049/stat : 17049 (java) S 17040 17042 16996 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 198396745 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17050] ppid=17040 vsize=1713744 CPUtime=1.03
/proc/17042/task/17050/stat : 17050 (java) S 17040 17042 16996 0 -1 64 2229 0 0 0 103 0 0 0 16 0 13 0 198396745 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17051] ppid=17040 vsize=1713744 CPUtime=0.87
/proc/17042/task/17051/stat : 17051 (java) S 17040 17042 16996 0 -1 64 870 0 0 0 87 0 0 0 16 0 13 0 198396745 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17052] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17052/stat : 17052 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198396745 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17053] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17053/stat : 17053 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198396745 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17062] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17062/stat : 17062 (java) S 17040 17042 16996 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 198539395 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (Kb) 1713744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.48 s]
/proc/loadavg: 1.00 1.00 0.99 2/76 17257
/proc/meminfo: memFree=962240/2055920 swapFree=4182212/4192956
[pid=17042] ppid=17040 vsize=1713744 CPUtime=1800.3
/proc/17042/stat : 17042 (java) R 17040 17042 16996 0 -1 0 195478 0 1 0 179820 210 0 0 17 0 13 0 198396735 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071435714 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/17042/statm: 428436 132746 1909 14 0 415183 0
[pid=17042/tid=17043] ppid=17040 vsize=1713744 CPUtime=21.85
/proc/17042/task/17043/stat : 17043 (java) S 17040 17042 16996 0 -1 64 55699 0 0 0 2129 56 0 0 16 0 13 0 198396738 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17044] ppid=17040 vsize=1713744 CPUtime=21.72
/proc/17042/task/17044/stat : 17044 (java) S 17040 17042 16996 0 -1 64 53395 0 0 0 2128 44 0 0 16 0 13 0 198396738 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17045] ppid=17040 vsize=1713744 CPUtime=1.05
/proc/17042/task/17045/stat : 17045 (java) S 17040 17042 16996 0 -1 64 148 0 0 0 59 46 0 0 16 0 13 0 198396741 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=17042/tid=17046] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17046/stat : 17046 (java) S 17040 17042 16996 0 -1 64 9 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17047] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17047/stat : 17047 (java) S 17040 17042 16996 0 -1 64 5 0 0 0 0 0 0 0 17 0 13 0 198396741 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17048] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17048/stat : 17048 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 198396745 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17049] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17049/stat : 17049 (java) S 17040 17042 16996 0 -1 64 4 0 0 0 0 0 0 0 17 0 13 0 198396745 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17050] ppid=17040 vsize=1713744 CPUtime=1.03
/proc/17042/task/17050/stat : 17050 (java) S 17040 17042 16996 0 -1 64 2229 0 0 0 103 0 0 0 16 0 13 0 198396745 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17051] ppid=17040 vsize=1713744 CPUtime=0.87
/proc/17042/task/17051/stat : 17051 (java) S 17040 17042 16996 0 -1 64 870 0 0 0 87 0 0 0 16 0 13 0 198396745 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17052] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17052/stat : 17052 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 198396745 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17053] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17053/stat : 17053 (java) S 17040 17042 16996 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 198396745 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=17042/tid=17062] ppid=17040 vsize=1713744 CPUtime=0
/proc/17042/task/17062/stat : 17062 (java) S 17040 17042 16996 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 198539395 1754873856 132746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (Kb) 1713744

Sending SIGTERM to -17042
Sleeping 2 seconds

Child status: 143
Real time (s): 1778.68
CPU time (s): 1800.57
CPU user time (s): 1798.39
CPU system time (s): 2.18467
CPU usage (%): 101.231
Max. virtual memory (cumulated for all children) (Kb): 1713744

Launcher Data (download as text)

Begin job on node71 on Sat Jun  3 09:34:31 UTC 2006


FILE ID= 42483-1149327271

PBS_JOBID= 309688

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-israel.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node71/42483-1149327271/instance-42483-1149327271.opb 385619909
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-42483-1149327271 -o ROOT/results/node71/solver-42483-1149327271 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node71/42483-1149327271/instance-42483-1149327271.opb 385619909

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  916719a95a95b5989e5d4b5f3d786df3

RANDOM SEED= 385619909


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1487936 kB
Buffers:         29816 kB
Cached:         464688 kB
SwapCached:       2372 kB
Active:          65300 kB
Inactive:       437840 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1487936 kB
SwapTotal:     4192956 kB
SwapFree:      4182212 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          15092 kB
Slab:            50808 kB
Committed_AS:   311524 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node71 on Sat Jun  3 10:04:09 UTC 2006