Trace number 50638

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)81 1800.58 1778.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
MD5SUM0b80319f4195f1e1329c2c4b63b416b0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark1800.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables5203
Total number of constraints19637
Number of constraints which are clauses19637
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint11
Maximum length of a constraint360
Number of terms in the objective function 5203
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5203
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5203
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	81

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

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node23/watcher-50638-1154095177 -o ROOT/results/node23/solver-50638-1154095177 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node23/50638-1154095177/instance-50638-1154095177.opb 596819175 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 20432
/proc/meminfo: memFree=1297624/2055920 swapFree=4183076/4192956
[pid=20432] ppid=20430 vsize=168 CPUtime=0
/proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 40 0 0 0 0 0 0 0 19 0 1 0 156377876 172032 23 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 2494763 0 0 4096 0 0 0 0 17 1 0 0
/proc/20432/statm: 42 23 18 14 0 2 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.98 0.99 2/76 20450
/proc/meminfo: memFree=1088960/2055920 swapFree=4183076/4192956
[pid=20432] ppid=20430 vsize=1712664 CPUtime=11.44
/proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 57755 0 1 0 1114 30 0 0 16 0 13 0 156377876 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071609693 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20432/statm: 428166 53979 1911 14 0 414913 0
[pid=20432/tid=20433] ppid=20430 vsize=1712664 CPUtime=0.22
/proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 8184 0 0 0 20 2 0 0 17 0 13 0 156377880 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20434] ppid=20430 vsize=1712664 CPUtime=0.22
/proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 5653 0 0 0 19 3 0 0 17 0 13 0 156377880 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20435] ppid=20430 vsize=1712664 CPUtime=0
/proc/20432/task/20435/stat : 20435 (java) R 20430 20432 20383 0 -1 64 34 0 0 0 0 0 0 0 17 0 13 0 156377882 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20436] ppid=20430 vsize=1712664 CPUtime=0
/proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156377883 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20437] ppid=20430 vsize=1712664 CPUtime=0
/proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156377883 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20438] ppid=20430 vsize=1712664 CPUtime=0
/proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156377886 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20439] ppid=20430 vsize=1712664 CPUtime=0
/proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156377886 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20440] ppid=20430 vsize=1712664 CPUtime=0.84
/proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 743 0 0 0 84 0 0 0 16 0 13 0 156377886 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20441] ppid=20430 vsize=1712664 CPUtime=0.98
/proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 2083 0 0 0 97 1 0 0 16 0 13 0 156377886 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20442] ppid=20430 vsize=1712664 CPUtime=0
/proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156377886 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20443] ppid=20430 vsize=1712664 CPUtime=0
/proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156377886 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20450] ppid=20430 vsize=1712664 CPUtime=0
/proc/20432/task/20450/stat : 20450 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156378823 1753767936 53979 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.44
Current children cumulated vsize (Kb) 1712664

[startup+20.0176 s]
/proc/loadavg: 0.94 0.98 0.99 2/76 20450
/proc/meminfo: memFree=1052104/2055920 swapFree=4183076/4192956
[pid=20432] ppid=20430 vsize=1713260 CPUtime=21.85
/proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 73191 0 1 0 2146 39 0 0 16 0 13 0 156377876 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564576 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20432/statm: 428315 63203 1912 14 0 415062 0
[pid=20432/tid=20433] ppid=20430 vsize=1713260 CPUtime=0.49
/proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 14616 0 0 0 43 6 0 0 17 0 13 0 156377880 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20434] ppid=20430 vsize=1713260 CPUtime=0.49
/proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 14347 0 0 0 43 6 0 0 17 0 13 0 156377880 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20435] ppid=20430 vsize=1713260 CPUtime=0.01
/proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 40 0 0 0 1 0 0 0 16 0 13 0 156377882 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20436] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20437] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20438] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156377886 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20439] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156377886 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20440] ppid=20430 vsize=1713260 CPUtime=0.89
/proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 748 0 0 0 89 0 0 0 16 0 13 0 156377886 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20441] ppid=20430 vsize=1713260 CPUtime=1.1
/proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 2358 0 0 0 109 1 0 0 17 0 13 0 156377886 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20442] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156377886 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20443] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156377886 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20450] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20450/stat : 20450 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156378823 1754378240 63203 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.85
Current children cumulated vsize (Kb) 1713260

[startup+30.0256 s]
/proc/loadavg: 0.95 0.98 0.99 2/76 20450
/proc/meminfo: memFree=1036104/2055920 swapFree=4183076/4192956
[pid=20432] ppid=20430 vsize=1713260 CPUtime=32.05
/proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 79346 0 1 0 3163 42 0 0 18 0 13 0 156377876 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071702380 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20432/statm: 428315 67254 1912 14 0 415062 0
[pid=20432/tid=20433] ppid=20430 vsize=1713260 CPUtime=0.67
/proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 17646 0 0 0 60 7 0 0 15 0 13 0 156377880 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20434] ppid=20430 vsize=1713260 CPUtime=0.68
/proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 17440 0 0 0 60 8 0 0 16 0 13 0 156377880 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20435] ppid=20430 vsize=1713260 CPUtime=0.02
/proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 44 0 0 0 1 1 0 0 15 0 13 0 156377882 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20436] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20437] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20438] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156377886 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20439] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156377886 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20440] ppid=20430 vsize=1713260 CPUtime=0.92
/proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 749 0 0 0 92 0 0 0 17 0 13 0 156377886 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20441] ppid=20430 vsize=1713260 CPUtime=1.11
/proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 2362 0 0 0 110 1 0 0 17 0 13 0 156377886 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20442] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156377886 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20443] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156377886 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20450] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20450/stat : 20450 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156378823 1754378240 67254 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.05
Current children cumulated vsize (Kb) 1713260

[startup+40.0335 s]
/proc/loadavg: 0.96 0.98 0.99 2/76 20450
/proc/meminfo: memFree=1043592/2055920 swapFree=4183076/4192956
[pid=20432] ppid=20430 vsize=1713260 CPUtime=42.11
/proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 79939 0 1 0 4169 42 0 0 19 0 13 0 156377876 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071765737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20432/statm: 428315 65394 1912 14 0 415062 0
[pid=20432/tid=20433] ppid=20430 vsize=1713260 CPUtime=0.72
/proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 17949 0 0 0 65 7 0 0 15 0 13 0 156377880 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20434] ppid=20430 vsize=1713260 CPUtime=0.74
/proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 17697 0 0 0 66 8 0 0 16 0 13 0 156377880 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20435] ppid=20430 vsize=1713260 CPUtime=0.03
/proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 53 0 0 0 2 1 0 0 16 0 13 0 156377882 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20436] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20437] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20438] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156377886 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20439] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156377886 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20440] ppid=20430 vsize=1713260 CPUtime=0.92
/proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 749 0 0 0 92 0 0 0 17 0 13 0 156377886 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20441] ppid=20430 vsize=1713260 CPUtime=1.11
/proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 2362 0 0 0 110 1 0 0 17 0 13 0 156377886 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20442] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156377886 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20443] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156377886 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20450] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20450/stat : 20450 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156378823 1754378240 65394 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.11
Current children cumulated vsize (Kb) 1713260

[startup+50.0415 s]
/proc/loadavg: 0.96 0.98 0.99 2/76 20450
/proc/meminfo: memFree=1030024/2055920 swapFree=4183076/4192956
[pid=20432] ppid=20430 vsize=1713260 CPUtime=52.16
/proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 84013 0 1 0 5172 44 0 0 18 0 13 0 156377876 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071765327 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20432/statm: 428315 68744 1912 14 0 415062 0
[pid=20432/tid=20433] ppid=20430 vsize=1713260 CPUtime=0.78
/proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 18365 0 0 0 71 7 0 0 16 0 13 0 156377880 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20434] ppid=20430 vsize=1713260 CPUtime=0.8
/proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 18088 0 0 0 72 8 0 0 16 0 13 0 156377880 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20435] ppid=20430 vsize=1713260 CPUtime=0.03
/proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 56 0 0 0 2 1 0 0 16 0 13 0 156377882 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20436] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20437] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20438] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156377886 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20439] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 156377886 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20440] ppid=20430 vsize=1713260 CPUtime=0.92
/proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 749 0 0 0 92 0 0 0 17 0 13 0 156377886 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20441] ppid=20430 vsize=1713260 CPUtime=1.11
/proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 2362 0 0 0 110 1 0 0 17 0 13 0 156377886 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20442] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156377886 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20443] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156377886 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20450] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20450/stat : 20450 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 156378823 1754378240 68744 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 52.16
Current children cumulated vsize (Kb) 1713260

[startup+60.0494 s]
/proc/loadavg: 0.97 0.98 0.99 2/76 20450
/proc/meminfo: memFree=1032072/2055920 swapFree=4183076/4192956
[pid=20432] ppid=20430 vsize=1713260 CPUtime=62.2
/proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 84070 0 1 0 6175 45 0 0 25 0 13 0 156377876 1754378240 68231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071771532 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20432/statm: 428315 68231 1912 14 0 415062 0
[pid=20432/tid=20433] ppid=20430 vsize=1713260 CPUtime=0.82
/proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 18381 0 0 0 75 7 0 0 16 0 13 0 156377880 1754378240 68231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20434] ppid=20430 vsize=1713260 CPUtime=0.82
/proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 18104 0 0 0 74 8 0 0 16 0 13 0 156377880 1754378240 68231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20435] ppid=20430 vsize=1713260 CPUtime=0.04
/proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 56 0 0 0 2 2 0 0 15 0 13 0 156377882 1754378240 68231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20436] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 68231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20437] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 68231 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20438] ppid=20430 vsize=1713260 CPUtime=0

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

/proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20437] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20438] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20439] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20440] ppid=20430 vsize=1713260 CPUtime=1.04
/proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 756 0 0 0 104 0 0 0 16 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20441] ppid=20430 vsize=1713260 CPUtime=1.17
/proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 2368 0 0 0 116 1 0 0 16 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20442] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20443] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20450] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20450/stat : 20450 (java) S 20430 20432 20383 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156378823 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.18
Current children cumulated vsize (Kb) 1713260

[startup+1775.49 s]
/proc/loadavg: 1.03 1.03 1.00 2/76 20648
/proc/meminfo: memFree=787656/2055920 swapFree=4183076/4192956
[pid=20432] ppid=20430 vsize=1713260 CPUtime=1797.2
/proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 183232 0 1 0 179505 215 0 0 17 0 13 0 156377876 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071609804 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20432/statm: 428315 129012 1912 14 0 415062 0
[pid=20432/tid=20433] ppid=20430 vsize=1713260 CPUtime=21.44
/proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 55179 0 0 0 2085 59 0 0 16 0 13 0 156377880 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20434] ppid=20430 vsize=1713260 CPUtime=21.51
/proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 53028 0 0 0 2090 61 0 0 16 0 13 0 156377880 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20435] ppid=20430 vsize=1713260 CPUtime=0.96
/proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 112 0 0 0 55 41 0 0 15 0 13 0 156377882 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20436] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20437] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20438] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20439] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20440] ppid=20430 vsize=1713260 CPUtime=1.04
/proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 756 0 0 0 104 0 0 0 16 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20441] ppid=20430 vsize=1713260 CPUtime=1.17
/proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 2368 0 0 0 116 1 0 0 16 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20442] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20443] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20450] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20450/stat : 20450 (java) S 20430 20432 20383 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156378823 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.2
Current children cumulated vsize (Kb) 1713260

[startup+1776.49 s]
/proc/loadavg: 1.03 1.02 1.00 2/76 20648
/proc/meminfo: memFree=787656/2055920 swapFree=4183076/4192956
[pid=20432] ppid=20430 vsize=1713260 CPUtime=1798.22
/proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 183234 0 1 0 179607 215 0 0 17 0 13 0 156377876 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071610494 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20432/statm: 428315 129012 1912 14 0 415062 0
[pid=20432/tid=20433] ppid=20430 vsize=1713260 CPUtime=21.45
/proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 55179 0 0 0 2086 59 0 0 16 0 13 0 156377880 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20434] ppid=20430 vsize=1713260 CPUtime=21.52
/proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 53028 0 0 0 2091 61 0 0 16 0 13 0 156377880 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20435] ppid=20430 vsize=1713260 CPUtime=0.96
/proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 112 0 0 0 55 41 0 0 15 0 13 0 156377882 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20436] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20437] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20438] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20439] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20440] ppid=20430 vsize=1713260 CPUtime=1.04
/proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 756 0 0 0 104 0 0 0 16 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20441] ppid=20430 vsize=1713260 CPUtime=1.17
/proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 2368 0 0 0 116 1 0 0 16 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20442] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20443] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20450] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20450/stat : 20450 (java) S 20430 20432 20383 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156378823 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.22
Current children cumulated vsize (Kb) 1713260

[startup+1777.51 s]
/proc/loadavg: 1.03 1.02 1.00 3/76 20648
/proc/meminfo: memFree=787656/2055920 swapFree=4183076/4192956
[pid=20432] ppid=20430 vsize=1713260 CPUtime=1799.25
/proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 183237 0 1 0 179710 215 0 0 17 0 13 0 156377876 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071609470 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20432/statm: 428315 129012 1912 14 0 415062 0
[pid=20432/tid=20433] ppid=20430 vsize=1713260 CPUtime=21.47
/proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 55179 0 0 0 2088 59 0 0 16 0 13 0 156377880 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20434] ppid=20430 vsize=1713260 CPUtime=21.54
/proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 53028 0 0 0 2093 61 0 0 16 0 13 0 156377880 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20435] ppid=20430 vsize=1713260 CPUtime=0.96
/proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 112 0 0 0 55 41 0 0 16 0 13 0 156377882 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20436] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20437] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20438] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20439] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20440] ppid=20430 vsize=1713260 CPUtime=1.04
/proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 756 0 0 0 104 0 0 0 16 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20441] ppid=20430 vsize=1713260 CPUtime=1.17
/proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 2368 0 0 0 116 1 0 0 16 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20442] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20443] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20450] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20450/stat : 20450 (java) S 20430 20432 20383 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156378823 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.25
Current children cumulated vsize (Kb) 1713260

[startup+1778.51 s]
/proc/loadavg: 1.03 1.02 1.00 2/76 20648
/proc/meminfo: memFree=787656/2055920 swapFree=4183076/4192956
[pid=20432] ppid=20430 vsize=1713260 CPUtime=1800.26
/proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 183239 0 1 0 179811 215 0 0 17 0 13 0 156377876 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071765412 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20432/statm: 428315 129012 1912 14 0 415062 0
[pid=20432/tid=20433] ppid=20430 vsize=1713260 CPUtime=21.48
/proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 55179 0 0 0 2089 59 0 0 16 0 13 0 156377880 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20434] ppid=20430 vsize=1713260 CPUtime=21.56
/proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 53028 0 0 0 2095 61 0 0 16 0 13 0 156377880 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20435] ppid=20430 vsize=1713260 CPUtime=0.97
/proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 112 0 0 0 56 41 0 0 16 0 13 0 156377882 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20436] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20437] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20438] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20439] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20440] ppid=20430 vsize=1713260 CPUtime=1.04
/proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 756 0 0 0 104 0 0 0 16 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20441] ppid=20430 vsize=1713260 CPUtime=1.17
/proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 2368 0 0 0 116 1 0 0 16 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20442] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20443] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20450] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20450/stat : 20450 (java) S 20430 20432 20383 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156378823 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (Kb) 1713260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1778.52 s]
/proc/loadavg: 1.03 1.02 1.00 2/76 20648
/proc/meminfo: memFree=787656/2055920 swapFree=4183076/4192956
[pid=20432] ppid=20430 vsize=1713260 CPUtime=1800.27
/proc/20432/stat : 20432 (java) R 20430 20432 20383 0 -1 0 183239 0 1 0 179812 215 0 0 17 0 13 0 156377876 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071772409 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20432/statm: 428315 129012 1912 14 0 415062 0
[pid=20432/tid=20433] ppid=20430 vsize=1713260 CPUtime=21.48
/proc/20432/task/20433/stat : 20433 (java) S 20430 20432 20383 0 -1 64 55179 0 0 0 2089 59 0 0 16 0 13 0 156377880 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20434] ppid=20430 vsize=1713260 CPUtime=21.56
/proc/20432/task/20434/stat : 20434 (java) S 20430 20432 20383 0 -1 64 53028 0 0 0 2095 61 0 0 16 0 13 0 156377880 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20435] ppid=20430 vsize=1713260 CPUtime=0.97
/proc/20432/task/20435/stat : 20435 (java) S 20430 20432 20383 0 -1 64 112 0 0 0 56 41 0 0 16 0 13 0 156377882 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20436] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20436/stat : 20436 (java) S 20430 20432 20383 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20437] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20437/stat : 20437 (java) S 20430 20432 20383 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 156377883 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20438] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20438/stat : 20438 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20439] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20439/stat : 20439 (java) S 20430 20432 20383 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20440] ppid=20430 vsize=1713260 CPUtime=1.04
/proc/20432/task/20440/stat : 20440 (java) S 20430 20432 20383 0 -1 64 756 0 0 0 104 0 0 0 16 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20441] ppid=20430 vsize=1713260 CPUtime=1.17
/proc/20432/task/20441/stat : 20441 (java) S 20430 20432 20383 0 -1 64 2368 0 0 0 116 1 0 0 16 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20432/tid=20442] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20442/stat : 20442 (java) S 20430 20432 20383 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20443] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20443/stat : 20443 (java) S 20430 20432 20383 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 156377886 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20432/tid=20450] ppid=20430 vsize=1713260 CPUtime=0
/proc/20432/task/20450/stat : 20450 (java) S 20430 20432 20383 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 156378823 1754378240 129012 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (Kb) 1713260

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child status: 143
Real time (s): 1778.73
CPU time (s): 1800.58
CPU user time (s): 1798.34
CPU system time (s): 2.23866
CPU usage (%): 101.229
Max. virtual memory (cumulated for all children) (Kb): 1713260
The end

Launcher Data (download as text)

Begin job on node23 on Fri Jul 28 13:59:37 UTC 2006


FILE ID= 50638-1154095177

PBS_JOBID= 885872

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node23/50638-1154095177/instance-50638-1154095177.opb 596819175
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node23/watcher-50638-1154095177 -o ROOT/results/node23/solver-50638-1154095177 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node23/50638-1154095177/instance-50638-1154095177.opb 596819175

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  0b80319f4195f1e1329c2c4b63b416b0

RANDOM SEED= 596819175

TIMEOUT= 1800 seconds


/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.281
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.281
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:       1297832 kB
Buffers:         32536 kB
Cached:         645180 kB
SwapCached:       3644 kB
Active:          76544 kB
Inactive:       609636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1297832 kB
SwapTotal:     4192956 kB
SwapFree:      4183076 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14524 kB
Slab:            57920 kB
Committed_AS:   683308 kB
PageTables:       1420 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node23 on Fri Jul 28 14:29:16 UTC 2006