Trace number 42876

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 HeuristicsSAT167 1667.4 1618.06

General information on the benchmark

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

Verifier Data (download as text)

OK	167

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node85/watcher-42876-1149407087 -o ROOT/results/node85/solver-42876-1149407087 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node85/42876-1149407087/instance-42876-1149407087.opb 646375768 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.05 1.08 1.02 2/68 31680
/proc/meminfo: memFree=1463368/2055892 swapFree=4085348/4096564
[pid=31680] ppid=31678 vsize=1460 CPUtime=0
/proc/31680/stat : 31680 (java) R 31678 31680 31634 0 -1 0 113 0 0 0 0 0 0 0 19 0 1 0 206347978 1495040 84 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 134517585 0 0 4096 0 0 0 0 17 1 0 0
/proc/31680/statm: 366 94 74 14 0 10 0

[startup+10.0023 s]
/proc/loadavg: 1.19 1.11 1.03 2/80 31696
/proc/meminfo: memFree=1285552/2055892 swapFree=4085348/4096564
[pid=31680] ppid=31678 vsize=1714556 CPUtime=11.65
/proc/31680/stat : 31680 (java) R 31678 31680 31634 0 -1 0 54267 0 1 0 1141 24 0 0 19 0 13 0 206347978 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071572112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31680/statm: 428639 46202 1914 14 0 415385 0
[pid=31680/tid=31681] ppid=31678 vsize=1714556 CPUtime=0.24
/proc/31680/task/31681/stat : 31681 (java) S 31678 31680 31634 0 -1 64 6816 0 0 0 22 2 0 0 16 0 13 0 206347981 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31682] ppid=31678 vsize=1714556 CPUtime=0.25
/proc/31680/task/31682/stat : 31682 (java) S 31678 31680 31634 0 -1 64 5856 0 0 0 22 3 0 0 16 0 13 0 206347981 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31683] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31683/stat : 31683 (java) S 31678 31680 31634 0 -1 64 22 0 0 0 1 0 0 0 15 0 13 0 206347984 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31684] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31684/stat : 31684 (java) S 31678 31680 31634 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31685] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31685/stat : 31685 (java) S 31678 31680 31634 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31686] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31686/stat : 31686 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206347988 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31687] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31687/stat : 31687 (java) S 31678 31680 31634 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 206347988 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31688] ppid=31678 vsize=1714556 CPUtime=1.16
/proc/31680/task/31688/stat : 31688 (java) S 31678 31680 31634 0 -1 64 3649 0 0 0 115 1 0 0 15 0 13 0 206347988 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31689] ppid=31678 vsize=1714556 CPUtime=0.96
/proc/31680/task/31689/stat : 31689 (java) S 31678 31680 31634 0 -1 64 1346 0 0 0 96 0 0 0 16 0 13 0 206347988 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31690] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31690/stat : 31690 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206347988 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31691] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31691/stat : 31691 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206347988 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31696] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31696/stat : 31696 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206348256 1755705344 46202 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.65
Current children cumulated vsize (Kb) 1714556

[startup+20.0095 s]
/proc/loadavg: 1.23 1.12 1.03 2/80 31696
/proc/meminfo: memFree=1261872/2055892 swapFree=4085348/4096564
[pid=31680] ppid=31678 vsize=1714556 CPUtime=22.02
/proc/31680/stat : 31680 (java) R 31678 31680 31634 0 -1 0 65663 0 1 0 2173 29 0 0 25 0 13 0 206347978 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071748052 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31680/statm: 428639 52145 1915 14 0 415385 0
[pid=31680/tid=31681] ppid=31678 vsize=1714556 CPUtime=0.34
/proc/31680/task/31681/stat : 31681 (java) S 31678 31680 31634 0 -1 64 9602 0 0 0 31 3 0 0 16 0 13 0 206347981 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31682] ppid=31678 vsize=1714556 CPUtime=0.34
/proc/31680/task/31682/stat : 31682 (java) S 31678 31680 31634 0 -1 64 8497 0 0 0 30 4 0 0 16 0 13 0 206347981 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31683] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31683/stat : 31683 (java) S 31678 31680 31634 0 -1 64 39 0 0 0 1 0 0 0 16 0 13 0 206347984 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31684] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31684/stat : 31684 (java) S 31678 31680 31634 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31685] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31685/stat : 31685 (java) S 31678 31680 31634 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31686] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31686/stat : 31686 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206347988 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31687] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31687/stat : 31687 (java) S 31678 31680 31634 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 206347988 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31688] ppid=31678 vsize=1714556 CPUtime=1.37
/proc/31680/task/31688/stat : 31688 (java) S 31678 31680 31634 0 -1 64 4196 0 0 0 136 1 0 0 16 0 13 0 206347988 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31689] ppid=31678 vsize=1714556 CPUtime=1.05
/proc/31680/task/31689/stat : 31689 (java) S 31678 31680 31634 0 -1 64 1349 0 0 0 105 0 0 0 16 0 13 0 206347988 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31690] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31690/stat : 31690 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206347988 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31691] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31691/stat : 31691 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206347988 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31696] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31696/stat : 31696 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206348256 1755705344 52145 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.02
Current children cumulated vsize (Kb) 1714556

[startup+30.0166 s]
/proc/loadavg: 1.20 1.12 1.03 2/80 31696
/proc/meminfo: memFree=1201392/2055892 swapFree=4085348/4096564
[pid=31680] ppid=31678 vsize=1714556 CPUtime=32.44
/proc/31680/stat : 31680 (java) R 31678 31680 31634 0 -1 0 84541 0 1 0 3204 40 0 0 25 0 13 0 206347978 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071549954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31680/statm: 428639 67302 1915 14 0 415385 0
[pid=31680/tid=31681] ppid=31678 vsize=1714556 CPUtime=0.68
/proc/31680/task/31681/stat : 31681 (java) S 31678 31680 31634 0 -1 64 18233 0 0 0 60 8 0 0 16 0 13 0 206347981 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31682] ppid=31678 vsize=1714556 CPUtime=0.68
/proc/31680/task/31682/stat : 31682 (java) S 31678 31680 31634 0 -1 64 16876 0 0 0 59 9 0 0 16 0 13 0 206347981 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31683] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31683/stat : 31683 (java) S 31678 31680 31634 0 -1 64 47 0 0 0 1 0 0 0 16 0 13 0 206347984 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31684] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31684/stat : 31684 (java) S 31678 31680 31634 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31685] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31685/stat : 31685 (java) S 31678 31680 31634 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31686] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31686/stat : 31686 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206347988 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31687] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31687/stat : 31687 (java) S 31678 31680 31634 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 206347988 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31688] ppid=31678 vsize=1714556 CPUtime=1.44
/proc/31680/task/31688/stat : 31688 (java) S 31678 31680 31634 0 -1 64 4202 0 0 0 143 1 0 0 16 0 13 0 206347988 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31689] ppid=31678 vsize=1714556 CPUtime=1.06
/proc/31680/task/31689/stat : 31689 (java) S 31678 31680 31634 0 -1 64 1349 0 0 0 106 0 0 0 17 0 13 0 206347988 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31690] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31690/stat : 31690 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206347988 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31691] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31691/stat : 31691 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206347988 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31696] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31696/stat : 31696 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206348256 1755705344 67302 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.44
Current children cumulated vsize (Kb) 1714556

[startup+40.0238 s]
/proc/loadavg: 1.24 1.13 1.04 2/80 31696
/proc/meminfo: memFree=1152624/2055892 swapFree=4085348/4096564
[pid=31680] ppid=31678 vsize=1714556 CPUtime=42.82
/proc/31680/stat : 31680 (java) R 31678 31680 31634 0 -1 0 99812 0 1 0 4234 48 0 0 20 0 13 0 206347978 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071572312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31680/statm: 428639 79472 1915 14 0 415385 0
[pid=31680/tid=31681] ppid=31678 vsize=1714556 CPUtime=1.06
/proc/31680/task/31681/stat : 31681 (java) S 31678 31680 31634 0 -1 64 26011 0 0 0 94 12 0 0 16 0 13 0 206347981 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31682] ppid=31678 vsize=1714556 CPUtime=1.06
/proc/31680/task/31682/stat : 31682 (java) S 31678 31680 31634 0 -1 64 24341 0 0 0 94 12 0 0 16 0 13 0 206347981 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31683] ppid=31678 vsize=1714556 CPUtime=0.02
/proc/31680/task/31683/stat : 31683 (java) S 31678 31680 31634 0 -1 64 48 0 0 0 2 0 0 0 15 0 13 0 206347984 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31684] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31684/stat : 31684 (java) S 31678 31680 31634 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31685] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31685/stat : 31685 (java) S 31678 31680 31634 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31686] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31686/stat : 31686 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206347988 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31687] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31687/stat : 31687 (java) S 31678 31680 31634 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 206347988 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31688] ppid=31678 vsize=1714556 CPUtime=1.44
/proc/31680/task/31688/stat : 31688 (java) S 31678 31680 31634 0 -1 64 4202 0 0 0 143 1 0 0 16 0 13 0 206347988 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31689] ppid=31678 vsize=1714556 CPUtime=1.06
/proc/31680/task/31689/stat : 31689 (java) S 31678 31680 31634 0 -1 64 1349 0 0 0 106 0 0 0 17 0 13 0 206347988 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31690] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31690/stat : 31690 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206347988 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31691] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31691/stat : 31691 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206347988 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31696] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31696/stat : 31696 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206348256 1755705344 79472 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.82
Current children cumulated vsize (Kb) 1714556

[startup+50.0309 s]
/proc/loadavg: 1.20 1.12 1.04 2/80 31696
/proc/meminfo: memFree=1136944/2055892 swapFree=4085348/4096564
[pid=31680] ppid=31678 vsize=1714556 CPUtime=53.01
/proc/31680/stat : 31680 (java) R 31678 31680 31634 0 -1 0 109734 0 1 0 5249 52 0 0 21 0 13 0 206347978 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566505 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31680/statm: 428639 83395 1915 14 0 415385 0
[pid=31680/tid=31681] ppid=31678 vsize=1714556 CPUtime=1.26
/proc/31680/task/31681/stat : 31681 (java) S 31678 31680 31634 0 -1 64 28568 0 0 0 112 14 0 0 16 0 13 0 206347981 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31682] ppid=31678 vsize=1714556 CPUtime=1.26
/proc/31680/task/31682/stat : 31682 (java) S 31678 31680 31634 0 -1 64 27497 0 0 0 113 13 0 0 16 0 13 0 206347981 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31683] ppid=31678 vsize=1714556 CPUtime=0.03
/proc/31680/task/31683/stat : 31683 (java) S 31678 31680 31634 0 -1 64 59 0 0 0 2 1 0 0 15 0 13 0 206347984 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31684] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31684/stat : 31684 (java) S 31678 31680 31634 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31685] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31685/stat : 31685 (java) S 31678 31680 31634 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31686] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31686/stat : 31686 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206347988 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31687] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31687/stat : 31687 (java) S 31678 31680 31634 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 206347988 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31688] ppid=31678 vsize=1714556 CPUtime=1.44
/proc/31680/task/31688/stat : 31688 (java) S 31678 31680 31634 0 -1 64 4202 0 0 0 143 1 0 0 16 0 13 0 206347988 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31689] ppid=31678 vsize=1714556 CPUtime=1.06
/proc/31680/task/31689/stat : 31689 (java) S 31678 31680 31634 0 -1 64 1349 0 0 0 106 0 0 0 17 0 13 0 206347988 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31690] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31690/stat : 31690 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206347988 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31691] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31691/stat : 31691 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206347988 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31696] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31696/stat : 31696 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 206348256 1755705344 83395 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 53.01
Current children cumulated vsize (Kb) 1714556

[startup+60.0381 s]
/proc/loadavg: 1.17 1.12 1.03 2/80 31697
/proc/meminfo: memFree=1107560/2055892 swapFree=4085348/4096564
[pid=31680] ppid=31678 vsize=1714556 CPUtime=63.39
/proc/31680/stat : 31680 (java) R 31678 31680 31634 0 -1 0 118188 0 1 0 6282 57 0 0 25 0 13 0 206347978 1755705344 90733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071407075 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31680/statm: 428639 90733 1915 14 0 415385 0
[pid=31680/tid=31681] ppid=31678 vsize=1714556 CPUtime=1.62
/proc/31680/task/31681/stat : 31681 (java) S 31678 31680 31634 0 -1 64 33109 0 0 0 147 15 0 0 16 0 13 0 206347981 1755705344 90733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31682] ppid=31678 vsize=1714556 CPUtime=1.63
/proc/31680/task/31682/stat : 31682 (java) S 31678 31680 31634 0 -1 64 31391 0 0 0 147 16 0 0 16 0 13 0 206347981 1755705344 90733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31683] ppid=31678 vsize=1714556 CPUtime=0.04
/proc/31680/task/31683/stat : 31683 (java) S 31678 31680 31634 0 -1 64 59 0 0 0 3 1 0 0 15 0 13 0 206347984 1755705344 90733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31684] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31684/stat : 31684 (java) S 31678 31680 31634 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 90733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31685] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31685/stat : 31685 (java) S 31678 31680 31634 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 90733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31686] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31686/stat : 31686 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206347988 1755705344 90733 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

/proc/31680/statm: 428639 390179 1917 14 0 415385 0
[pid=31680/tid=31681] ppid=31678 vsize=1714556 CPUtime=48.35
/proc/31680/task/31681/stat : 31681 (java) S 31678 31680 31634 0 -1 64 205849 0 0 0 4725 110 0 0 17 0 13 0 206347981 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31682] ppid=31678 vsize=1714556 CPUtime=48.33
/proc/31680/task/31682/stat : 31682 (java) S 31678 31680 31634 0 -1 64 195038 0 0 0 4728 105 0 0 17 0 13 0 206347981 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31683] ppid=31678 vsize=1714556 CPUtime=626.09
/proc/31680/task/31683/stat : 31683 (java) R 31678 31680 31634 0 -1 64 1070 0 0 0 62588 21 0 0 18 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154934409 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31684] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31684/stat : 31684 (java) S 31678 31680 31634 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31685] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31685/stat : 31685 (java) S 31678 31680 31634 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31686] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31686/stat : 31686 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31687] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31687/stat : 31687 (java) S 31678 31680 31634 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31688] ppid=31678 vsize=1714556 CPUtime=1.51
/proc/31680/task/31688/stat : 31688 (java) S 31678 31680 31634 0 -1 64 4204 0 0 0 150 1 0 0 16 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31689] ppid=31678 vsize=1714556 CPUtime=1.1
/proc/31680/task/31689/stat : 31689 (java) S 31678 31680 31634 0 -1 64 1352 0 0 0 110 0 0 0 16 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31690] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31690/stat : 31690 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31691] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31691/stat : 31691 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31699] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31699/stat : 31699 (java) S 31678 31680 31634 0 -1 64 84 0 0 0 0 0 0 0 16 0 13 0 206368847 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1610.45
Current children cumulated vsize (Kb) 1714556

[startup+1571.12 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31894
/proc/meminfo: memFree=17048/2055892 swapFree=4085340/4096564
[pid=31680] ppid=31678 vsize=1714556 CPUtime=1620.46
/proc/31680/stat : 31680 (java) S 31678 31680 31634 0 -1 0 457488 0 1 0 161779 267 0 0 18 0 13 0 206347978 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31680/statm: 428639 390179 1917 14 0 415385 0
[pid=31680/tid=31681] ppid=31678 vsize=1714556 CPUtime=48.35
/proc/31680/task/31681/stat : 31681 (java) S 31678 31680 31634 0 -1 64 205849 0 0 0 4725 110 0 0 17 0 13 0 206347981 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31682] ppid=31678 vsize=1714556 CPUtime=48.33
/proc/31680/task/31682/stat : 31682 (java) S 31678 31680 31634 0 -1 64 195038 0 0 0 4728 105 0 0 17 0 13 0 206347981 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31683] ppid=31678 vsize=1714556 CPUtime=635.45
/proc/31680/task/31683/stat : 31683 (java) R 31678 31680 31634 0 -1 64 1070 0 0 0 63524 21 0 0 20 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154644904 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31684] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31684/stat : 31684 (java) S 31678 31680 31634 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31685] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31685/stat : 31685 (java) S 31678 31680 31634 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31686] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31686/stat : 31686 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31687] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31687/stat : 31687 (java) S 31678 31680 31634 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31688] ppid=31678 vsize=1714556 CPUtime=1.51
/proc/31680/task/31688/stat : 31688 (java) S 31678 31680 31634 0 -1 64 4204 0 0 0 150 1 0 0 16 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31689] ppid=31678 vsize=1714556 CPUtime=1.1
/proc/31680/task/31689/stat : 31689 (java) S 31678 31680 31634 0 -1 64 1352 0 0 0 110 0 0 0 16 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31690] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31690/stat : 31690 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31691] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31691/stat : 31691 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31699] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31699/stat : 31699 (java) S 31678 31680 31634 0 -1 64 85 0 0 0 0 0 0 0 16 0 13 0 206368847 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1620.46
Current children cumulated vsize (Kb) 1714556

[startup+1581.13 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31894
/proc/meminfo: memFree=17048/2055892 swapFree=4085340/4096564
[pid=31680] ppid=31678 vsize=1714556 CPUtime=1630.46
/proc/31680/stat : 31680 (java) S 31678 31680 31634 0 -1 0 457489 0 1 0 162779 267 0 0 17 0 13 0 206347978 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31680/statm: 428639 390179 1917 14 0 415385 0
[pid=31680/tid=31681] ppid=31678 vsize=1714556 CPUtime=48.35
/proc/31680/task/31681/stat : 31681 (java) S 31678 31680 31634 0 -1 64 205849 0 0 0 4725 110 0 0 17 0 13 0 206347981 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31682] ppid=31678 vsize=1714556 CPUtime=48.33
/proc/31680/task/31682/stat : 31682 (java) S 31678 31680 31634 0 -1 64 195038 0 0 0 4728 105 0 0 17 0 13 0 206347981 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31683] ppid=31678 vsize=1714556 CPUtime=643.71
/proc/31680/task/31683/stat : 31683 (java) R 31678 31680 31634 0 -1 64 1070 0 0 0 64350 21 0 0 19 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154644902 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31684] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31684/stat : 31684 (java) S 31678 31680 31634 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31685] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31685/stat : 31685 (java) S 31678 31680 31634 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31686] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31686/stat : 31686 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31687] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31687/stat : 31687 (java) S 31678 31680 31634 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31688] ppid=31678 vsize=1714556 CPUtime=1.51
/proc/31680/task/31688/stat : 31688 (java) S 31678 31680 31634 0 -1 64 4204 0 0 0 150 1 0 0 16 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31689] ppid=31678 vsize=1714556 CPUtime=1.1
/proc/31680/task/31689/stat : 31689 (java) S 31678 31680 31634 0 -1 64 1352 0 0 0 110 0 0 0 16 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31690] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31690/stat : 31690 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31691] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31691/stat : 31691 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31699] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31699/stat : 31699 (java) S 31678 31680 31634 0 -1 64 86 0 0 0 0 0 0 0 16 0 13 0 206368847 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1630.46
Current children cumulated vsize (Kb) 1714556

[startup+1591.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31894
/proc/meminfo: memFree=17048/2055892 swapFree=4085340/4096564
[pid=31680] ppid=31678 vsize=1714556 CPUtime=1640.46
/proc/31680/stat : 31680 (java) S 31678 31680 31634 0 -1 0 457491 0 1 0 163779 267 0 0 18 0 13 0 206347978 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31680/statm: 428639 390179 1917 14 0 415385 0
[pid=31680/tid=31681] ppid=31678 vsize=1714556 CPUtime=48.35
/proc/31680/task/31681/stat : 31681 (java) S 31678 31680 31634 0 -1 64 205849 0 0 0 4725 110 0 0 17 0 13 0 206347981 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31682] ppid=31678 vsize=1714556 CPUtime=48.33
/proc/31680/task/31682/stat : 31682 (java) S 31678 31680 31634 0 -1 64 195038 0 0 0 4728 105 0 0 17 0 13 0 206347981 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31683] ppid=31678 vsize=1714556 CPUtime=653.36
/proc/31680/task/31683/stat : 31683 (java) R 31678 31680 31634 0 -1 64 1070 0 0 0 65315 21 0 0 25 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154936052 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31684] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31684/stat : 31684 (java) S 31678 31680 31634 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31685] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31685/stat : 31685 (java) S 31678 31680 31634 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31686] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31686/stat : 31686 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31687] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31687/stat : 31687 (java) S 31678 31680 31634 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31688] ppid=31678 vsize=1714556 CPUtime=1.51
/proc/31680/task/31688/stat : 31688 (java) S 31678 31680 31634 0 -1 64 4204 0 0 0 150 1 0 0 16 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31689] ppid=31678 vsize=1714556 CPUtime=1.1
/proc/31680/task/31689/stat : 31689 (java) S 31678 31680 31634 0 -1 64 1352 0 0 0 110 0 0 0 16 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31690] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31690/stat : 31690 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31691] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31691/stat : 31691 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31699] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31699/stat : 31699 (java) S 31678 31680 31634 0 -1 64 87 0 0 0 0 0 0 0 16 0 13 0 206368847 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1640.46
Current children cumulated vsize (Kb) 1714556

[startup+1601.14 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31894
/proc/meminfo: memFree=17048/2055892 swapFree=4085340/4096564
[pid=31680] ppid=31678 vsize=1714556 CPUtime=1650.47
/proc/31680/stat : 31680 (java) S 31678 31680 31634 0 -1 0 457494 0 1 0 164780 267 0 0 17 0 13 0 206347978 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31680/statm: 428639 390179 1917 14 0 415385 0
[pid=31680/tid=31681] ppid=31678 vsize=1714556 CPUtime=48.35
/proc/31680/task/31681/stat : 31681 (java) S 31678 31680 31634 0 -1 64 205849 0 0 0 4725 110 0 0 17 0 13 0 206347981 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31682] ppid=31678 vsize=1714556 CPUtime=48.33
/proc/31680/task/31682/stat : 31682 (java) S 31678 31680 31634 0 -1 64 195038 0 0 0 4728 105 0 0 17 0 13 0 206347981 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31683] ppid=31678 vsize=1714556 CPUtime=662.88
/proc/31680/task/31683/stat : 31683 (java) R 31678 31680 31634 0 -1 64 1070 0 0 0 66267 21 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152712157 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31684] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31684/stat : 31684 (java) S 31678 31680 31634 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31685] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31685/stat : 31685 (java) S 31678 31680 31634 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31686] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31686/stat : 31686 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31687] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31687/stat : 31687 (java) S 31678 31680 31634 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31688] ppid=31678 vsize=1714556 CPUtime=1.51
/proc/31680/task/31688/stat : 31688 (java) S 31678 31680 31634 0 -1 64 4204 0 0 0 150 1 0 0 16 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31689] ppid=31678 vsize=1714556 CPUtime=1.1
/proc/31680/task/31689/stat : 31689 (java) S 31678 31680 31634 0 -1 64 1352 0 0 0 110 0 0 0 16 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31690] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31690/stat : 31690 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31691] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31691/stat : 31691 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31699] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31699/stat : 31699 (java) S 31678 31680 31634 0 -1 64 89 0 0 0 0 0 0 0 16 0 13 0 206368847 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.47
Current children cumulated vsize (Kb) 1714556

[startup+1611.15 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31894
/proc/meminfo: memFree=16984/2055892 swapFree=4085340/4096564
[pid=31680] ppid=31678 vsize=1714556 CPUtime=1660.47
/proc/31680/stat : 31680 (java) S 31678 31680 31634 0 -1 0 457496 0 1 0 165780 267 0 0 18 0 13 0 206347978 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31680/statm: 428639 390179 1917 14 0 415385 0
[pid=31680/tid=31681] ppid=31678 vsize=1714556 CPUtime=48.35
/proc/31680/task/31681/stat : 31681 (java) S 31678 31680 31634 0 -1 64 205849 0 0 0 4725 110 0 0 17 0 13 0 206347981 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31682] ppid=31678 vsize=1714556 CPUtime=48.33
/proc/31680/task/31682/stat : 31682 (java) S 31678 31680 31634 0 -1 64 195038 0 0 0 4728 105 0 0 17 0 13 0 206347981 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31683] ppid=31678 vsize=1714556 CPUtime=672.55
/proc/31680/task/31683/stat : 31683 (java) R 31678 31680 31634 0 -1 64 1070 0 0 0 67234 21 0 0 17 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154468508 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31684] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31684/stat : 31684 (java) S 31678 31680 31634 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31685] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31685/stat : 31685 (java) S 31678 31680 31634 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 206347984 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31686] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31686/stat : 31686 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31687] ppid=31678 vsize=1714556 CPUtime=0.01
/proc/31680/task/31687/stat : 31687 (java) S 31678 31680 31634 0 -1 64 3 0 0 0 1 0 0 0 17 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31688] ppid=31678 vsize=1714556 CPUtime=1.51
/proc/31680/task/31688/stat : 31688 (java) S 31678 31680 31634 0 -1 64 4204 0 0 0 150 1 0 0 16 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31689] ppid=31678 vsize=1714556 CPUtime=1.1
/proc/31680/task/31689/stat : 31689 (java) S 31678 31680 31634 0 -1 64 1352 0 0 0 110 0 0 0 16 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31690] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31690/stat : 31690 (java) S 31678 31680 31634 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31680/tid=31691] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31691/stat : 31691 (java) S 31678 31680 31634 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 206347988 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31680/tid=31699] ppid=31678 vsize=1714556 CPUtime=0
/proc/31680/task/31699/stat : 31699 (java) S 31678 31680 31634 0 -1 64 90 0 0 0 0 0 0 0 16 0 13 0 206368847 1755705344 390179 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1660.47
Current children cumulated vsize (Kb) 1714556

Child status: 1
Real time (s): 1618.06
CPU time (s): 1667.4
CPU user time (s): 1664.49
CPU system time (s): 2.90556
CPU usage (%): 103.049
Max. virtual memory (cumulated for all children) (Kb): 1714556

Launcher Data (download as text)

Begin job on node85 on Sun Jun  4 07:44:47 UTC 2006


FILE ID= 42876-1149407087

PBS_JOBID= 314462

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-bench1.pi.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node85/42876-1149407087/instance-42876-1149407087.opb 646375768
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node85/watcher-42876-1149407087 -o ROOT/results/node85/solver-42876-1149407087 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoHeuristics.jar ROOT/tmp/node85/42876-1149407087/instance-42876-1149407087.opb 646375768

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  df1c0055bf82833faa95d352e28c6731

RANDOM SEED= 646375768


/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.218
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	: 6006.18
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.218
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1463576 kB
Buffers:         21496 kB
Cached:         501716 kB
SwapCached:       2360 kB
Active:          27920 kB
Inactive:       503852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1463576 kB
SwapTotal:     4096564 kB
SwapFree:      4085348 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          16760 kB
Slab:            47036 kB
Committed_AS:   393324 kB
PageTables:       1292 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node85 on Sun Jun  4 08:11:46 UTC 2006