Trace number 43122

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)3226624 1800.85 1784.56

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
MD5SUM56c71282ea86eaaf05df174b87b01c4e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3226624
Best CPU time to get the best result obtained on this benchmark1800.85
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3039236
Optimality of the best value was proved NO
Number of variables4464
Total number of constraints168
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 constraints168
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 4464
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 856864234722
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 856864234722
Number of bits of the biggest sum of numbers40
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	3226624

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.93 2/64 9929
/proc/meminfo: memFree=1763400/2055920 swapFree=4182232/4192956
[pid=9929] ppid=9927 vsize=1784 CPUtime=0
/proc/9929/stat : 9929 (java) D 9927 9929 9883 0 -1 0 170 0 0 0 0 0 0 0 18 0 1 0 196021404 1826816 141 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/9929/statm: 446 141 106 14 0 91 0

[startup+10.0027 s]
/proc/loadavg: 0.87 0.94 0.93 2/76 9943
/proc/meminfo: memFree=1574720/2055920 swapFree=4182232/4192956
[pid=9929] ppid=9927 vsize=1714548 CPUtime=11.57
/proc/9929/stat : 9929 (java) R 9927 9929 9883 0 -1 0 53639 0 1 0 1133 24 0 0 17 0 13 0 196021404 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071445629 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 428637 48951 1908 14 0 415384 0
[pid=9929/tid=9930] ppid=9927 vsize=1714548 CPUtime=0.26
/proc/9929/task/9930/stat : 9930 (java) S 9927 9929 9883 0 -1 64 6305 0 0 0 24 2 0 0 16 0 13 0 196021407 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9931] ppid=9927 vsize=1714548 CPUtime=0.27
/proc/9929/task/9931/stat : 9931 (java) S 9927 9929 9883 0 -1 64 5992 0 0 0 25 2 0 0 16 0 13 0 196021407 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=1714548 CPUtime=0
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 9883 0 -1 64 29 0 0 0 0 0 0 0 16 0 13 0 196021410 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9933] ppid=9927 vsize=1714548 CPUtime=0
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 9883 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196021410 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9934] ppid=9927 vsize=1714548 CPUtime=0
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 9883 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196021410 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9935] ppid=9927 vsize=1714548 CPUtime=0
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196021414 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=1714548 CPUtime=0
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 9883 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196021414 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=1714548 CPUtime=0.97
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 9883 0 -1 64 1631 0 0 0 97 0 0 0 17 0 13 0 196021414 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9938] ppid=9927 vsize=1714548 CPUtime=0.92
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 9883 0 -1 64 2689 0 0 0 91 1 0 0 17 0 13 0 196021414 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=1714548 CPUtime=0
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196021414 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=1714548 CPUtime=0
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 9883 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196021414 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=1714548 CPUtime=0
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196021841 1755697152 48951 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.57
Current children cumulated vsize (Kb) 1714548

[startup+20.0125 s]
/proc/loadavg: 0.89 0.94 0.93 2/76 9943
/proc/meminfo: memFree=1597632/2055920 swapFree=4182232/4192956
[pid=9929] ppid=9927 vsize=1713592 CPUtime=21.63
/proc/9929/stat : 9929 (java) R 9927 9929 9883 0 -1 0 54213 0 1 0 2138 25 0 0 25 0 13 0 196021404 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071613502 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 428398 43209 1908 14 0 415145 0
[pid=9929/tid=9930] ppid=9927 vsize=1713592 CPUtime=0.29
/proc/9929/task/9930/stat : 9930 (java) S 9927 9929 9883 0 -1 64 6582 0 0 0 26 3 0 0 16 0 13 0 196021407 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9931] ppid=9927 vsize=1713592 CPUtime=0.3
/proc/9929/task/9931/stat : 9931 (java) S 9927 9929 9883 0 -1 64 6262 0 0 0 28 2 0 0 15 0 13 0 196021407 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9932] ppid=9927 vsize=1713592 CPUtime=0.01
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 9883 0 -1 64 30 0 0 0 1 0 0 0 16 0 13 0 196021410 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9933] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 9883 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9934] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 9883 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9935] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196021414 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 9883 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196021414 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=1713592 CPUtime=0.99
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 9883 0 -1 64 1631 0 0 0 99 0 0 0 16 0 13 0 196021414 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9938] ppid=9927 vsize=1713592 CPUtime=0.95
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 9883 0 -1 64 2690 0 0 0 94 1 0 0 16 0 13 0 196021414 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196021414 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 9883 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196021414 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196021841 1754718208 43209 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.63
Current children cumulated vsize (Kb) 1713592

[startup+30.0203 s]
/proc/loadavg: 0.90 0.94 0.93 2/76 9943
/proc/meminfo: memFree=1613376/2055920 swapFree=4182232/4192956
[pid=9929] ppid=9927 vsize=1713592 CPUtime=31.68
/proc/9929/stat : 9929 (java) R 9927 9929 9883 0 -1 0 54524 0 1 0 3142 26 0 0 25 0 13 0 196021404 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071445706 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 428398 39279 1908 14 0 415145 0
[pid=9929/tid=9930] ppid=9927 vsize=1713592 CPUtime=0.31
/proc/9929/task/9930/stat : 9930 (java) S 9927 9929 9883 0 -1 64 6744 0 0 0 28 3 0 0 16 0 13 0 196021407 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9931] ppid=9927 vsize=1713592 CPUtime=0.33
/proc/9929/task/9931/stat : 9931 (java) S 9927 9929 9883 0 -1 64 6376 0 0 0 30 3 0 0 16 0 13 0 196021407 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=1713592 CPUtime=0.02
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 9883 0 -1 64 30 0 0 0 1 1 0 0 16 0 13 0 196021410 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9933] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 9883 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9934] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 9883 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9935] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196021414 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 9883 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196021414 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=1713592 CPUtime=1.03
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 9883 0 -1 64 1632 0 0 0 103 0 0 0 17 0 13 0 196021414 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9938] ppid=9927 vsize=1713592 CPUtime=0.95
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 9883 0 -1 64 2690 0 0 0 94 1 0 0 16 0 13 0 196021414 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196021414 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 9883 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196021414 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196021841 1754718208 39279 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.68
Current children cumulated vsize (Kb) 1713592

[startup+40.0271 s]
/proc/loadavg: 0.92 0.94 0.93 2/76 9943
/proc/meminfo: memFree=1615360/2055920 swapFree=4182232/4192956
[pid=9929] ppid=9927 vsize=1713592 CPUtime=41.71
/proc/9929/stat : 9929 (java) R 9927 9929 9883 0 -1 0 54973 0 1 0 4144 27 0 0 17 0 13 0 196021404 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071445691 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 428398 38797 1908 14 0 415145 0
[pid=9929/tid=9930] ppid=9927 vsize=1713592 CPUtime=0.33
/proc/9929/task/9930/stat : 9930 (java) S 9927 9929 9883 0 -1 64 6987 0 0 0 30 3 0 0 16 0 13 0 196021407 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9931] ppid=9927 vsize=1713592 CPUtime=0.35
/proc/9929/task/9931/stat : 9931 (java) S 9927 9929 9883 0 -1 64 6541 0 0 0 32 3 0 0 16 0 13 0 196021407 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=1713592 CPUtime=0.02
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 9883 0 -1 64 30 0 0 0 1 1 0 0 15 0 13 0 196021410 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9933] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 9883 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9934] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 9883 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9935] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196021414 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 9883 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196021414 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=1713592 CPUtime=1.03
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 9883 0 -1 64 1632 0 0 0 103 0 0 0 17 0 13 0 196021414 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9938] ppid=9927 vsize=1713592 CPUtime=0.96
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 9883 0 -1 64 2690 0 0 0 95 1 0 0 16 0 13 0 196021414 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196021414 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 9883 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196021414 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196021841 1754718208 38797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.71
Current children cumulated vsize (Kb) 1713592

[startup+50.0349 s]
/proc/loadavg: 0.93 0.94 0.93 2/76 9943
/proc/meminfo: memFree=1616640/2055920 swapFree=4182232/4192956
[pid=9929] ppid=9927 vsize=1713592 CPUtime=51.73
/proc/9929/stat : 9929 (java) R 9927 9929 9883 0 -1 0 55416 0 1 0 5145 28 0 0 17 0 13 0 196021404 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071445392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 428398 38464 1908 14 0 415145 0
[pid=9929/tid=9930] ppid=9927 vsize=1713592 CPUtime=0.36
/proc/9929/task/9930/stat : 9930 (java) S 9927 9929 9883 0 -1 64 7166 0 0 0 32 4 0 0 16 0 13 0 196021407 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9931] ppid=9927 vsize=1713592 CPUtime=0.38
/proc/9929/task/9931/stat : 9931 (java) S 9927 9929 9883 0 -1 64 6761 0 0 0 35 3 0 0 15 0 13 0 196021407 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=1713592 CPUtime=0.04
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 9883 0 -1 64 31 0 0 0 2 2 0 0 15 0 13 0 196021410 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9933] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 9883 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9934] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 9883 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9935] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196021414 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 9883 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196021414 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=1713592 CPUtime=1.03
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 9883 0 -1 64 1632 0 0 0 103 0 0 0 17 0 13 0 196021414 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9938] ppid=9927 vsize=1713592 CPUtime=0.96
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 9883 0 -1 64 2690 0 0 0 95 1 0 0 16 0 13 0 196021414 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196021414 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 9883 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196021414 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196021841 1754718208 38464 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.73
Current children cumulated vsize (Kb) 1713592

[startup+60.0418 s]
/proc/loadavg: 0.94 0.95 0.93 2/76 9943
/proc/meminfo: memFree=1586368/2055920 swapFree=4182232/4192956
[pid=9929] ppid=9927 vsize=1713592 CPUtime=61.78
/proc/9929/stat : 9929 (java) R 9927 9929 9883 0 -1 0 63507 0 1 0 6145 33 0 0 25 0 13 0 196021404 1754718208 46027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071615791 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9929/statm: 428398 46027 1908 14 0 415145 0
[pid=9929/tid=9930] ppid=9927 vsize=1713592 CPUtime=0.4
/proc/9929/task/9930/stat : 9930 (java) S 9927 9929 9883 0 -1 64 7676 0 0 0 36 4 0 0 16 0 13 0 196021407 1754718208 46027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9931] ppid=9927 vsize=1713592 CPUtime=0.43
/proc/9929/task/9931/stat : 9931 (java) S 9927 9929 9883 0 -1 64 7495 0 0 0 40 3 0 0 16 0 13 0 196021407 1754718208 46027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=1713592 CPUtime=0.04
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 9883 0 -1 64 58 0 0 0 2 2 0 0 16 0 13 0 196021410 1754718208 46027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9933] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 9883 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 46027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9934] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 9883 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 46027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9935] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196021414 1754718208 46027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=9929/tid=9933] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 9883 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 142603 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9934] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 9883 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 142603 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9935] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196021414 1754718208 142603 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 9883 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196021414 1754718208 142603 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=1713592 CPUtime=1.11
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 9883 0 -1 64 1638 0 0 0 111 0 0 0 17 0 13 0 196021414 1754718208 142603 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9938] ppid=9927 vsize=1713592 CPUtime=0.97
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 9883 0 -1 64 2691 0 0 0 96 1 0 0 16 0 13 0 196021414 1754718208 142603 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196021414 1754718208 142603 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 9883 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196021414 1754718208 142603 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196021841 1754718208 142603 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.44
Current children cumulated vsize (Kb) 1713592

[startup+1781.32 s]
/proc/loadavg: 1.00 0.99 0.93 2/76 10138
/proc/meminfo: memFree=1198208/2055920 swapFree=4182232/4192956
[pid=9929] ppid=9927 vsize=1713592 CPUtime=1797.47
/proc/9929/stat : 9929 (java) R 9927 9929 9883 0 -1 0 211533 0 1 0 179548 199 0 0 25 0 13 0 196021404 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564361 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9929/statm: 428398 142703 1909 14 0 415145 0
[pid=9929/tid=9930] ppid=9927 vsize=1713592 CPUtime=16.06
/proc/9929/task/9930/stat : 9930 (java) S 9927 9929 9883 0 -1 64 59263 0 0 0 1556 50 0 0 16 0 13 0 196021407 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9931] ppid=9927 vsize=1713592 CPUtime=16.31
/proc/9929/task/9931/stat : 9931 (java) S 9927 9929 9883 0 -1 64 56529 0 0 0 1574 57 0 0 16 0 13 0 196021407 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=1713592 CPUtime=0.75
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 9883 0 -1 64 195 0 0 0 43 32 0 0 15 0 13 0 196021410 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9933] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 9883 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9934] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 9883 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9935] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196021414 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 9883 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196021414 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=1713592 CPUtime=1.11
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 9883 0 -1 64 1638 0 0 0 111 0 0 0 17 0 13 0 196021414 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9938] ppid=9927 vsize=1713592 CPUtime=0.97
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 9883 0 -1 64 2691 0 0 0 96 1 0 0 16 0 13 0 196021414 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196021414 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 9883 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196021414 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196021841 1754718208 142703 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (Kb) 1713592

[startup+1782.33 s]
/proc/loadavg: 1.00 0.99 0.93 2/76 10138
/proc/meminfo: memFree=1198080/2055920 swapFree=4182232/4192956
[pid=9929] ppid=9927 vsize=1713592 CPUtime=1798.49
/proc/9929/stat : 9929 (java) R 9927 9929 9883 0 -1 0 211577 0 1 0 179650 199 0 0 25 0 13 0 196021404 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071613318 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9929/statm: 428398 142746 1909 14 0 415145 0
[pid=9929/tid=9930] ppid=9927 vsize=1713592 CPUtime=16.09
/proc/9929/task/9930/stat : 9930 (java) S 9927 9929 9883 0 -1 64 59300 0 0 0 1559 50 0 0 16 0 13 0 196021407 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9931] ppid=9927 vsize=1713592 CPUtime=16.33
/proc/9929/task/9931/stat : 9931 (java) S 9927 9929 9883 0 -1 64 56535 0 0 0 1576 57 0 0 17 0 13 0 196021407 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=1713592 CPUtime=0.75
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 9883 0 -1 64 195 0 0 0 43 32 0 0 16 0 13 0 196021410 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9933] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 9883 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9934] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 9883 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9935] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196021414 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 9883 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196021414 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=1713592 CPUtime=1.11
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 9883 0 -1 64 1638 0 0 0 111 0 0 0 17 0 13 0 196021414 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9938] ppid=9927 vsize=1713592 CPUtime=0.97
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 9883 0 -1 64 2691 0 0 0 96 1 0 0 16 0 13 0 196021414 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196021414 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 9883 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196021414 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196021841 1754718208 142746 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.49
Current children cumulated vsize (Kb) 1713592

[startup+1783.33 s]
/proc/loadavg: 1.00 0.99 0.93 2/76 10138
/proc/meminfo: memFree=1197824/2055920 swapFree=4182232/4192956
[pid=9929] ppid=9927 vsize=1713592 CPUtime=1799.52
/proc/9929/stat : 9929 (java) R 9927 9929 9883 0 -1 0 211640 0 1 0 179753 199 0 0 25 0 13 0 196021404 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071381492 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9929/statm: 428398 142803 1909 14 0 415145 0
[pid=9929/tid=9930] ppid=9927 vsize=1713592 CPUtime=16.11
/proc/9929/task/9930/stat : 9930 (java) S 9927 9929 9883 0 -1 64 59314 0 0 0 1561 50 0 0 17 0 13 0 196021407 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9931] ppid=9927 vsize=1713592 CPUtime=16.35
/proc/9929/task/9931/stat : 9931 (java) S 9927 9929 9883 0 -1 64 56583 0 0 0 1578 57 0 0 16 0 13 0 196021407 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=1713592 CPUtime=0.75
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 9883 0 -1 64 195 0 0 0 43 32 0 0 16 0 13 0 196021410 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9933] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 9883 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9934] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 9883 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9935] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196021414 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 9883 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196021414 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=1713592 CPUtime=1.11
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 9883 0 -1 64 1638 0 0 0 111 0 0 0 17 0 13 0 196021414 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9938] ppid=9927 vsize=1713592 CPUtime=0.97
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 9883 0 -1 64 2691 0 0 0 96 1 0 0 16 0 13 0 196021414 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196021414 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 9883 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196021414 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196021841 1754718208 142803 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (Kb) 1713592

[startup+1784.34 s]
/proc/loadavg: 1.00 0.99 0.93 2/76 10138
/proc/meminfo: memFree=1197440/2055920 swapFree=4182232/4192956
[pid=9929] ppid=9927 vsize=1713592 CPUtime=1800.55
/proc/9929/stat : 9929 (java) R 9927 9929 9883 0 -1 0 211729 0 1 0 179856 199 0 0 17 0 13 0 196021404 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071613494 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9929/statm: 428398 142891 1909 14 0 415145 0
[pid=9929/tid=9930] ppid=9927 vsize=1713592 CPUtime=16.13
/proc/9929/task/9930/stat : 9930 (java) S 9927 9929 9883 0 -1 64 59339 0 0 0 1563 50 0 0 16 0 13 0 196021407 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9931] ppid=9927 vsize=1713592 CPUtime=16.38
/proc/9929/task/9931/stat : 9931 (java) S 9927 9929 9883 0 -1 64 56646 0 0 0 1581 57 0 0 17 0 13 0 196021407 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=1713592 CPUtime=0.75
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 9883 0 -1 64 195 0 0 0 43 32 0 0 16 0 13 0 196021410 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9933] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 9883 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9934] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 9883 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9935] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196021414 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 9883 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196021414 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=1713592 CPUtime=1.11
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 9883 0 -1 64 1638 0 0 0 111 0 0 0 17 0 13 0 196021414 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9938] ppid=9927 vsize=1713592 CPUtime=0.97
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 9883 0 -1 64 2691 0 0 0 96 1 0 0 16 0 13 0 196021414 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196021414 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 9883 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196021414 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196021841 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 1713592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1784.35 s]
/proc/loadavg: 1.00 0.99 0.93 2/76 10138
/proc/meminfo: memFree=1197440/2055920 swapFree=4182232/4192956
[pid=9929] ppid=9927 vsize=1713592 CPUtime=1800.55
/proc/9929/stat : 9929 (java) R 9927 9929 9883 0 -1 0 211729 0 1 0 179856 199 0 0 17 0 13 0 196021404 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071570673 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9929/statm: 428398 142891 1909 14 0 415145 0
[pid=9929/tid=9930] ppid=9927 vsize=1713592 CPUtime=16.13
/proc/9929/task/9930/stat : 9930 (java) S 9927 9929 9883 0 -1 64 59339 0 0 0 1563 50 0 0 16 0 13 0 196021407 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9931] ppid=9927 vsize=1713592 CPUtime=16.38
/proc/9929/task/9931/stat : 9931 (java) S 9927 9929 9883 0 -1 64 56646 0 0 0 1581 57 0 0 17 0 13 0 196021407 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9932] ppid=9927 vsize=1713592 CPUtime=0.75
/proc/9929/task/9932/stat : 9932 (java) S 9927 9929 9883 0 -1 64 195 0 0 0 43 32 0 0 16 0 13 0 196021410 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9933] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9933/stat : 9933 (java) S 9927 9929 9883 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9934] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9934/stat : 9934 (java) S 9927 9929 9883 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196021410 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9935] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9935/stat : 9935 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 23 0 13 0 196021414 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9936] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9936/stat : 9936 (java) S 9927 9929 9883 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196021414 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9937] ppid=9927 vsize=1713592 CPUtime=1.11
/proc/9929/task/9937/stat : 9937 (java) S 9927 9929 9883 0 -1 64 1638 0 0 0 111 0 0 0 17 0 13 0 196021414 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9929/tid=9938] ppid=9927 vsize=1713592 CPUtime=0.97
/proc/9929/task/9938/stat : 9938 (java) S 9927 9929 9883 0 -1 64 2691 0 0 0 96 1 0 0 16 0 13 0 196021414 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9939] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9939/stat : 9939 (java) S 9927 9929 9883 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196021414 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9940] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9940/stat : 9940 (java) S 9927 9929 9883 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196021414 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=9929/tid=9943] ppid=9927 vsize=1713592 CPUtime=0
/proc/9929/task/9943/stat : 9943 (java) S 9927 9929 9883 0 -1 64 1 0 0 0 0 0 0 0 16 0 13 0 196021841 1754718208 142891 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (Kb) 1713592

Sending SIGTERM to -9929
Sleeping 2 seconds

Child status: 143
Real time (s): 1784.56
CPU time (s): 1800.85
CPU user time (s): 1798.76
CPU system time (s): 2.08768
CPU usage (%): 100.913
Max. virtual memory (cumulated for all children) (Kb): 1714548

Launcher Data (download as text)

Begin job on node70 on Sat Jun  3 02:58:38 UTC 2006


FILE ID= 43122-1149303518

PBS_JOBID= 307483

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran12x12.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node70/43122-1149303518/instance-43122-1149303518.opb 353461873
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-43122-1149303518 -o ROOT/results/node70/solver-43122-1149303518 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node70/43122-1149303518/instance-43122-1149303518.opb 353461873

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  56c71282ea86eaaf05df174b87b01c4e

RANDOM SEED= 353461873


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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1763608 kB
Buffers:         27516 kB
Cached:         193092 kB
SwapCached:       2364 kB
Active:          73448 kB
Inactive:       155740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1763608 kB
SwapTotal:     4192956 kB
SwapFree:      4182232 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          15416 kB
Slab:            49192 kB
Committed_AS:   227400 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node70 on Sat Jun  3 03:28:23 UTC 2006