Trace number 43207

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
SAT4JPSEUDO 2006.2 HeuristicsSAT (TO)-106265035525 1800.33 1790.6

General information on the benchmark

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

Verifier Data (download as text)

OK	-106265035525

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.99 0.93 3/64 21531
/proc/meminfo: memFree=1540816/2055920 swapFree=4180892/4192956
[pid=21531] ppid=21529 vsize=18540 CPUtime=0
/proc/21531/stat : 21531 (runsolver) R 21529 21531 21485 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 196590553 18984960 279 18446744073709551615 4194304 4262084 548682068944 18446744073709551615 238487661863 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/21531/statm: 4635 279 243 16 0 2626 0

[startup+10.002 s]
/proc/loadavg: 0.94 0.99 0.93 2/76 21543
/proc/meminfo: memFree=1357896/2055920 swapFree=4180892/4192956
[pid=21531] ppid=21529 vsize=1714568 CPUtime=11.52
/proc/21531/stat : 21531 (java) R 21529 21531 21485 0 -1 0 52139 0 1 0 1126 26 0 0 25 0 13 0 196590553 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071429730 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21531/statm: 428642 47537 1908 14 0 415389 0
[pid=21531/tid=21532] ppid=21529 vsize=1714568 CPUtime=0.16
/proc/21531/task/21532/stat : 21532 (java) S 21529 21531 21485 0 -1 64 4146 0 0 0 14 2 0 0 16 0 13 0 196590557 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21533] ppid=21529 vsize=1714568 CPUtime=0.16
/proc/21531/task/21533/stat : 21533 (java) S 21529 21531 21485 0 -1 64 3956 0 0 0 14 2 0 0 16 0 13 0 196590557 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21534] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21534/stat : 21534 (java) S 21529 21531 21485 0 -1 64 33 0 0 0 0 0 0 0 16 0 13 0 196590559 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21535] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21535/stat : 21535 (java) S 21529 21531 21485 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21536] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21536/stat : 21536 (java) S 21529 21531 21485 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21537] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21537/stat : 21537 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21538] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21538/stat : 21538 (java) S 21529 21531 21485 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196590563 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21539] ppid=21529 vsize=1714568 CPUtime=0.85
/proc/21531/task/21539/stat : 21539 (java) S 21529 21531 21485 0 -1 64 2200 0 0 0 84 1 0 0 17 0 13 0 196590563 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21540] ppid=21529 vsize=1714568 CPUtime=1.03
/proc/21531/task/21540/stat : 21540 (java) S 21529 21531 21485 0 -1 64 2141 0 0 0 102 1 0 0 17 0 13 0 196590563 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21541] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21541/stat : 21541 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21542] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21542/stat : 21542 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196590563 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21543] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21543/stat : 21543 (java) S 21529 21531 21485 0 -1 64 3 0 0 0 0 0 0 0 24 0 13 0 196590699 1755717632 47537 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (Kb) 1714568

[startup+20.0092 s]
/proc/loadavg: 0.95 0.99 0.93 2/76 21545
/proc/meminfo: memFree=1355136/2055920 swapFree=4180892/4192956
[pid=21531] ppid=21529 vsize=1714568 CPUtime=21.72
/proc/21531/stat : 21531 (java) R 21529 21531 21485 0 -1 0 53938 0 1 0 2144 28 0 0 21 0 13 0 196590553 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071429726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21531/statm: 428642 48206 1909 14 0 415389 0
[pid=21531/tid=21532] ppid=21529 vsize=1714568 CPUtime=0.2
/proc/21531/task/21532/stat : 21532 (java) S 21529 21531 21485 0 -1 64 5162 0 0 0 18 2 0 0 16 0 13 0 196590557 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21533] ppid=21529 vsize=1714568 CPUtime=0.2
/proc/21531/task/21533/stat : 21533 (java) S 21529 21531 21485 0 -1 64 4701 0 0 0 18 2 0 0 16 0 13 0 196590557 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21534] ppid=21529 vsize=1714568 CPUtime=0.01
/proc/21531/task/21534/stat : 21534 (java) S 21529 21531 21485 0 -1 64 33 0 0 0 1 0 0 0 16 0 13 0 196590559 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21535] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21535/stat : 21535 (java) S 21529 21531 21485 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21536] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21536/stat : 21536 (java) S 21529 21531 21485 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21537] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21537/stat : 21537 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21538] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21538/stat : 21538 (java) S 21529 21531 21485 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196590563 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21539] ppid=21529 vsize=1714568 CPUtime=0.95
/proc/21531/task/21539/stat : 21539 (java) S 21529 21531 21485 0 -1 64 2206 0 0 0 94 1 0 0 17 0 13 0 196590563 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21540] ppid=21529 vsize=1714568 CPUtime=1.1
/proc/21531/task/21540/stat : 21540 (java) S 21529 21531 21485 0 -1 64 2154 0 0 0 109 1 0 0 17 0 13 0 196590563 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21541] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21541/stat : 21541 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21542] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21542/stat : 21542 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196590563 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21545] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21545/stat : 21545 (java) S 21529 21531 21485 0 -1 64 0 0 0 0 0 0 0 0 21 0 13 0 196592457 1755717632 48206 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.72
Current children cumulated vsize (Kb) 1714568

[startup+30.0173 s]
/proc/loadavg: 0.95 0.99 0.93 2/76 21546
/proc/meminfo: memFree=1359736/2055920 swapFree=4180892/4192956
[pid=21531] ppid=21529 vsize=1714568 CPUtime=31.82
/proc/21531/stat : 21531 (java) R 21529 21531 21485 0 -1 0 55850 0 1 0 3153 29 0 0 25 0 13 0 196590553 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071430081 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21531/statm: 428642 47051 1909 14 0 415389 0
[pid=21531/tid=21532] ppid=21529 vsize=1714568 CPUtime=0.27
/proc/21531/task/21532/stat : 21532 (java) S 21529 21531 21485 0 -1 64 6088 0 0 0 24 3 0 0 16 0 13 0 196590557 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21533] ppid=21529 vsize=1714568 CPUtime=0.26
/proc/21531/task/21533/stat : 21533 (java) S 21529 21531 21485 0 -1 64 5673 0 0 0 23 3 0 0 16 0 13 0 196590557 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21534] ppid=21529 vsize=1714568 CPUtime=0.01
/proc/21531/task/21534/stat : 21534 (java) S 21529 21531 21485 0 -1 64 33 0 0 0 1 0 0 0 16 0 13 0 196590559 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21535] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21535/stat : 21535 (java) S 21529 21531 21485 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21536] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21536/stat : 21536 (java) S 21529 21531 21485 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21537] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21537/stat : 21537 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21538] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21538/stat : 21538 (java) S 21529 21531 21485 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196590563 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21539] ppid=21529 vsize=1714568 CPUtime=0.98
/proc/21531/task/21539/stat : 21539 (java) S 21529 21531 21485 0 -1 64 2206 0 0 0 97 1 0 0 17 0 13 0 196590563 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21540] ppid=21529 vsize=1714568 CPUtime=1.11
/proc/21531/task/21540/stat : 21540 (java) S 21529 21531 21485 0 -1 64 2154 0 0 0 110 1 0 0 16 0 13 0 196590563 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21541] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21541/stat : 21541 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21542] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21542/stat : 21542 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196590563 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21546] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21546/stat : 21546 (java) S 21529 21531 21485 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196593362 1755717632 47051 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.82
Current children cumulated vsize (Kb) 1714568

[startup+40.0255 s]
/proc/loadavg: 0.96 0.99 0.93 2/76 21547
/proc/meminfo: memFree=1362864/2055920 swapFree=4180892/4192956
[pid=21531] ppid=21529 vsize=1714568 CPUtime=41.88
/proc/21531/stat : 21531 (java) R 21529 21531 21485 0 -1 0 56847 0 1 0 4158 30 0 0 20 0 13 0 196590553 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071430060 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21531/statm: 428642 46260 1909 14 0 415389 0
[pid=21531/tid=21532] ppid=21529 vsize=1714568 CPUtime=0.31
/proc/21531/task/21532/stat : 21532 (java) S 21529 21531 21485 0 -1 64 6636 0 0 0 28 3 0 0 16 0 13 0 196590557 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21533] ppid=21529 vsize=1714568 CPUtime=0.3
/proc/21531/task/21533/stat : 21533 (java) S 21529 21531 21485 0 -1 64 6113 0 0 0 27 3 0 0 16 0 13 0 196590557 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21534] ppid=21529 vsize=1714568 CPUtime=0.02
/proc/21531/task/21534/stat : 21534 (java) S 21529 21531 21485 0 -1 64 33 0 0 0 1 1 0 0 15 0 13 0 196590559 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21535] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21535/stat : 21535 (java) S 21529 21531 21485 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21536] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21536/stat : 21536 (java) S 21529 21531 21485 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21537] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21537/stat : 21537 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21538] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21538/stat : 21538 (java) S 21529 21531 21485 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196590563 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21539] ppid=21529 vsize=1714568 CPUtime=0.98
/proc/21531/task/21539/stat : 21539 (java) S 21529 21531 21485 0 -1 64 2206 0 0 0 97 1 0 0 17 0 13 0 196590563 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21540] ppid=21529 vsize=1714568 CPUtime=1.13
/proc/21531/task/21540/stat : 21540 (java) S 21529 21531 21485 0 -1 64 2154 0 0 0 112 1 0 0 16 0 13 0 196590563 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21541] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21541/stat : 21541 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21542] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21542/stat : 21542 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196590563 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21547] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21547/stat : 21547 (java) S 21529 21531 21485 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196594256 1755717632 46260 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.88
Current children cumulated vsize (Kb) 1714568

[startup+50.0326 s]
/proc/loadavg: 0.97 0.99 0.93 2/76 21548
/proc/meminfo: memFree=1342960/2055920 swapFree=4180892/4192956
[pid=21531] ppid=21529 vsize=1714568 CPUtime=51.93
/proc/21531/stat : 21531 (java) R 21529 21531 21485 0 -1 0 63216 0 1 0 5161 32 0 0 25 0 13 0 196590553 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071564307 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21531/statm: 428642 51296 1909 14 0 415389 0
[pid=21531/tid=21532] ppid=21529 vsize=1714568 CPUtime=0.38
/proc/21531/task/21532/stat : 21532 (java) S 21529 21531 21485 0 -1 64 8355 0 0 0 35 3 0 0 16 0 13 0 196590557 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21533] ppid=21529 vsize=1714568 CPUtime=0.36
/proc/21531/task/21533/stat : 21533 (java) S 21529 21531 21485 0 -1 64 7073 0 0 0 33 3 0 0 16 0 13 0 196590557 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21534] ppid=21529 vsize=1714568 CPUtime=0.02
/proc/21531/task/21534/stat : 21534 (java) S 21529 21531 21485 0 -1 64 55 0 0 0 1 1 0 0 16 0 13 0 196590559 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21535] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21535/stat : 21535 (java) S 21529 21531 21485 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21536] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21536/stat : 21536 (java) S 21529 21531 21485 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21537] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21537/stat : 21537 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21538] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21538/stat : 21538 (java) S 21529 21531 21485 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196590563 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21539] ppid=21529 vsize=1714568 CPUtime=0.98
/proc/21531/task/21539/stat : 21539 (java) S 21529 21531 21485 0 -1 64 2206 0 0 0 97 1 0 0 17 0 13 0 196590563 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21540] ppid=21529 vsize=1714568 CPUtime=1.13
/proc/21531/task/21540/stat : 21540 (java) S 21529 21531 21485 0 -1 64 2154 0 0 0 112 1 0 0 16 0 13 0 196590563 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21541] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21541/stat : 21541 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21542] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21542/stat : 21542 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196590563 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21547] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21547/stat : 21547 (java) S 21529 21531 21485 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196594256 1755717632 51296 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.93
Current children cumulated vsize (Kb) 1714568

[startup+60.0397 s]
/proc/loadavg: 0.97 0.99 0.93 2/76 21548
/proc/meminfo: memFree=1327792/2055920 swapFree=4180892/4192956
[pid=21531] ppid=21529 vsize=1714568 CPUtime=61.97
/proc/21531/stat : 21531 (java) R 21529 21531 21485 0 -1 0 68314 0 1 0 6163 34 0 0 19 0 13 0 196590553 1755717632 55027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071581939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21531/statm: 428642 55027 1909 14 0 415389 0
[pid=21531/tid=21532] ppid=21529 vsize=1714568 CPUtime=0.42
/proc/21531/task/21532/stat : 21532 (java) S 21529 21531 21485 0 -1 64 8972 0 0 0 38 4 0 0 15 0 13 0 196590557 1755717632 55027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21533] ppid=21529 vsize=1714568 CPUtime=0.39
/proc/21531/task/21533/stat : 21533 (java) S 21529 21531 21485 0 -1 64 7661 0 0 0 36 3 0 0 16 0 13 0 196590557 1755717632 55027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21534] ppid=21529 vsize=1714568 CPUtime=0.02
/proc/21531/task/21534/stat : 21534 (java) S 21529 21531 21485 0 -1 64 64 0 0 0 1 1 0 0 15 0 13 0 196590559 1755717632 55027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21535] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21535/stat : 21535 (java) S 21529 21531 21485 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 55027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21536] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21536/stat : 21536 (java) S 21529 21531 21485 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 55027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21537] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21537/stat : 21537 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 55027 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=21531/tid=21535] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21535/stat : 21535 (java) S 21529 21531 21485 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21536] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21536/stat : 21536 (java) S 21529 21531 21485 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21537] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21537/stat : 21537 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21538] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21538/stat : 21538 (java) S 21529 21531 21485 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196590563 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21539] ppid=21529 vsize=1714568 CPUtime=0.99
/proc/21531/task/21539/stat : 21539 (java) S 21529 21531 21485 0 -1 64 2206 0 0 0 98 1 0 0 17 0 13 0 196590563 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21540] ppid=21529 vsize=1714568 CPUtime=1.13
/proc/21531/task/21540/stat : 21540 (java) S 21529 21531 21485 0 -1 64 2154 0 0 0 112 1 0 0 17 0 13 0 196590563 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21541] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21541/stat : 21541 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21542] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21542/stat : 21542 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196590563 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21547] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21547/stat : 21547 (java) S 21529 21531 21485 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196594256 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.02
Current children cumulated vsize (Kb) 1714568

[startup+1787.4 s]
/proc/loadavg: 1.00 1.00 0.94 2/76 21744
/proc/meminfo: memFree=1083504/2055920 swapFree=4180892/4192956
[pid=21531] ppid=21529 vsize=1714568 CPUtime=1797.03
/proc/21531/stat : 21531 (java) R 21529 21531 21485 0 -1 0 255137 0 1 0 179485 218 0 0 18 0 13 0 196590553 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071581986 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21531/statm: 428642 115666 1909 14 0 415389 0
[pid=21531/tid=21532] ppid=21529 vsize=1714568 CPUtime=10.11
/proc/21531/task/21532/stat : 21532 (java) S 21529 21531 21485 0 -1 64 55129 0 0 0 975 36 0 0 16 0 13 0 196590557 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21533] ppid=21529 vsize=1714568 CPUtime=10.21
/proc/21531/task/21533/stat : 21533 (java) S 21529 21531 21485 0 -1 64 53172 0 0 0 981 40 0 0 16 0 13 0 196590557 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21534] ppid=21529 vsize=1714568 CPUtime=1.2
/proc/21531/task/21534/stat : 21534 (java) S 21529 21531 21485 0 -1 64 393 0 0 0 66 54 0 0 16 0 13 0 196590559 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21535] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21535/stat : 21535 (java) S 21529 21531 21485 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21536] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21536/stat : 21536 (java) S 21529 21531 21485 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21537] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21537/stat : 21537 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21538] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21538/stat : 21538 (java) S 21529 21531 21485 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196590563 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21539] ppid=21529 vsize=1714568 CPUtime=0.99
/proc/21531/task/21539/stat : 21539 (java) S 21529 21531 21485 0 -1 64 2206 0 0 0 98 1 0 0 17 0 13 0 196590563 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21540] ppid=21529 vsize=1714568 CPUtime=1.13
/proc/21531/task/21540/stat : 21540 (java) S 21529 21531 21485 0 -1 64 2154 0 0 0 112 1 0 0 17 0 13 0 196590563 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21541] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21541/stat : 21541 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21542] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21542/stat : 21542 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196590563 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21547] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21547/stat : 21547 (java) S 21529 21531 21485 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196594256 1755717632 115666 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (Kb) 1714568

[startup+1788.41 s]
/proc/loadavg: 1.00 1.00 0.94 2/76 21744
/proc/meminfo: memFree=1082864/2055920 swapFree=4180892/4192956
[pid=21531] ppid=21529 vsize=1714568 CPUtime=1798.04
/proc/21531/stat : 21531 (java) R 21529 21531 21485 0 -1 0 255472 0 1 0 179586 218 0 0 19 0 13 0 196590553 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071372014 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21531/statm: 428642 115887 1909 14 0 415389 0
[pid=21531/tid=21532] ppid=21529 vsize=1714568 CPUtime=10.12
/proc/21531/task/21532/stat : 21532 (java) S 21529 21531 21485 0 -1 64 55292 0 0 0 976 36 0 0 16 0 13 0 196590557 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21533] ppid=21529 vsize=1714568 CPUtime=10.22
/proc/21531/task/21533/stat : 21533 (java) S 21529 21531 21485 0 -1 64 53342 0 0 0 982 40 0 0 16 0 13 0 196590557 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21534] ppid=21529 vsize=1714568 CPUtime=1.2
/proc/21531/task/21534/stat : 21534 (java) S 21529 21531 21485 0 -1 64 393 0 0 0 66 54 0 0 16 0 13 0 196590559 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21535] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21535/stat : 21535 (java) S 21529 21531 21485 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21536] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21536/stat : 21536 (java) S 21529 21531 21485 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21537] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21537/stat : 21537 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21538] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21538/stat : 21538 (java) S 21529 21531 21485 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196590563 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21539] ppid=21529 vsize=1714568 CPUtime=0.99
/proc/21531/task/21539/stat : 21539 (java) S 21529 21531 21485 0 -1 64 2206 0 0 0 98 1 0 0 17 0 13 0 196590563 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21540] ppid=21529 vsize=1714568 CPUtime=1.13
/proc/21531/task/21540/stat : 21540 (java) S 21529 21531 21485 0 -1 64 2154 0 0 0 112 1 0 0 17 0 13 0 196590563 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21541] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21541/stat : 21541 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21542] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21542/stat : 21542 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196590563 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21547] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21547/stat : 21547 (java) S 21529 21531 21485 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196594256 1755717632 115887 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.04
Current children cumulated vsize (Kb) 1714568

[startup+1789.41 s]
/proc/loadavg: 1.00 1.00 0.94 2/76 21744
/proc/meminfo: memFree=1082352/2055920 swapFree=4180892/4192956
[pid=21531] ppid=21529 vsize=1714568 CPUtime=1799.06
/proc/21531/stat : 21531 (java) R 21529 21531 21485 0 -1 0 255606 0 1 0 179688 218 0 0 20 0 13 0 196590553 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071669774 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21531/statm: 428642 116013 1909 14 0 415389 0
[pid=21531/tid=21532] ppid=21529 vsize=1714568 CPUtime=10.13
/proc/21531/task/21532/stat : 21532 (java) S 21529 21531 21485 0 -1 64 55355 0 0 0 977 36 0 0 16 0 13 0 196590557 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21533] ppid=21529 vsize=1714568 CPUtime=10.23
/proc/21531/task/21533/stat : 21533 (java) S 21529 21531 21485 0 -1 64 53412 0 0 0 983 40 0 0 16 0 13 0 196590557 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21534] ppid=21529 vsize=1714568 CPUtime=1.2
/proc/21531/task/21534/stat : 21534 (java) S 21529 21531 21485 0 -1 64 393 0 0 0 66 54 0 0 15 0 13 0 196590559 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21535] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21535/stat : 21535 (java) S 21529 21531 21485 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21536] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21536/stat : 21536 (java) S 21529 21531 21485 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21537] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21537/stat : 21537 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21538] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21538/stat : 21538 (java) S 21529 21531 21485 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196590563 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21539] ppid=21529 vsize=1714568 CPUtime=0.99
/proc/21531/task/21539/stat : 21539 (java) S 21529 21531 21485 0 -1 64 2206 0 0 0 98 1 0 0 17 0 13 0 196590563 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21540] ppid=21529 vsize=1714568 CPUtime=1.13
/proc/21531/task/21540/stat : 21540 (java) S 21529 21531 21485 0 -1 64 2154 0 0 0 112 1 0 0 17 0 13 0 196590563 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21541] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21541/stat : 21541 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21542] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21542/stat : 21542 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196590563 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21547] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21547/stat : 21547 (java) S 21529 21531 21485 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196594256 1755717632 116013 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (Kb) 1714568

[startup+1790.42 s]
/proc/loadavg: 1.00 1.00 0.94 2/76 21744
/proc/meminfo: memFree=1082352/2055920 swapFree=4180892/4192956
[pid=21531] ppid=21529 vsize=1714568 CPUtime=1800.06
/proc/21531/stat : 21531 (java) R 21529 21531 21485 0 -1 0 255629 0 1 0 179788 218 0 0 23 0 13 0 196590553 1755717632 116035 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21531/statm: 428642 116035 1909 14 0 415389 0
[pid=21531/tid=21532] ppid=21529 vsize=1714568 CPUtime=10.13
/proc/21531/task/21532/stat : 21532 (java) R 21529 21531 21485 0 -1 64 55377 0 0 0 977 36 0 0 16 0 13 0 196590557 1755717632 116035 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4152729458 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21533] ppid=21529 vsize=1714568 CPUtime=10.23
/proc/21531/task/21533/stat : 21533 (java) R 21529 21531 21485 0 -1 64 53412 0 0 0 983 40 0 0 16 0 13 0 196590557 1755717632 116035 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21534] ppid=21529 vsize=1714568 CPUtime=1.2
/proc/21531/task/21534/stat : 21534 (java) S 21529 21531 21485 0 -1 64 393 0 0 0 66 54 0 0 15 0 13 0 196590559 1755717632 116035 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21535] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21535/stat : 21535 (java) S 21529 21531 21485 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 116035 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21536] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21536/stat : 21536 (java) S 21529 21531 21485 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 116035 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21537] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21537/stat : 21537 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 116035 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21538] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21538/stat : 21538 (java) S 21529 21531 21485 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196590563 1755717632 116036 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21539] ppid=21529 vsize=1714568 CPUtime=0.99
/proc/21531/task/21539/stat : 21539 (java) S 21529 21531 21485 0 -1 64 2206 0 0 0 98 1 0 0 17 0 13 0 196590563 1755717632 116037 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21540] ppid=21529 vsize=1714568 CPUtime=1.13
/proc/21531/task/21540/stat : 21540 (java) S 21529 21531 21485 0 -1 64 2154 0 0 0 112 1 0 0 17 0 13 0 196590563 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21541] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21541/stat : 21541 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21542] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21542/stat : 21542 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196590563 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21547] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21547/stat : 21547 (java) S 21529 21531 21485 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196594256 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (Kb) 1714568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1790.42 s]
/proc/loadavg: 1.00 1.00 0.94 4/76 21744
/proc/meminfo: memFree=1082224/2055920 swapFree=4180892/4192956
[pid=21531] ppid=21529 vsize=1714568 CPUtime=1800.07
/proc/21531/stat : 21531 (java) R 21529 21531 21485 0 -1 0 255635 0 1 0 179789 218 0 0 23 0 13 0 196590553 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21531/statm: 428642 116041 1909 14 0 415389 0
[pid=21531/tid=21532] ppid=21529 vsize=1714568 CPUtime=10.13
/proc/21531/task/21532/stat : 21532 (java) R 21529 21531 21485 0 -1 64 55377 0 0 0 977 36 0 0 16 0 13 0 196590557 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154649170 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21533] ppid=21529 vsize=1714568 CPUtime=10.24
/proc/21531/task/21533/stat : 21533 (java) R 21529 21531 21485 0 -1 64 53418 0 0 0 984 40 0 0 16 0 13 0 196590557 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4154649170 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21534] ppid=21529 vsize=1714568 CPUtime=1.2
/proc/21531/task/21534/stat : 21534 (java) S 21529 21531 21485 0 -1 64 393 0 0 0 66 54 0 0 15 0 13 0 196590559 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21535] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21535/stat : 21535 (java) S 21529 21531 21485 0 -1 64 8 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21536] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21536/stat : 21536 (java) S 21529 21531 21485 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196590560 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21537] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21537/stat : 21537 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21538] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21538/stat : 21538 (java) S 21529 21531 21485 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 196590563 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21531/tid=21539] ppid=21529 vsize=1714568 CPUtime=0.99
/proc/21531/task/21539/stat : 21539 (java) S 21529 21531 21485 0 -1 64 2206 0 0 0 98 1 0 0 17 0 13 0 196590563 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21540] ppid=21529 vsize=1714568 CPUtime=1.13
/proc/21531/task/21540/stat : 21540 (java) S 21529 21531 21485 0 -1 64 2154 0 0 0 112 1 0 0 17 0 13 0 196590563 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21541] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21541/stat : 21541 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196590563 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21542] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21542/stat : 21542 (java) S 21529 21531 21485 0 -1 64 1 0 0 0 0 0 0 0 15 0 13 0 196590563 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21531/tid=21547] ppid=21529 vsize=1714568 CPUtime=0
/proc/21531/task/21547/stat : 21547 (java) S 21529 21531 21485 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196594256 1755717632 116041 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (Kb) 1714568

Sending SIGTERM to -21531
Sleeping 2 seconds

Child status: 143
Real time (s): 1790.6
CPU time (s): 1800.33
CPU user time (s): 1798.07
CPU system time (s): 2.26666
CPU usage (%): 100.543
Max. virtual memory (cumulated for all children) (Kb): 1714568

Launcher Data (download as text)

Begin job on node23 on Sat Jun  3 04:34:29 UTC 2006


FILE ID= 43207-1149309269

PBS_JOBID= 307822

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

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  eda4269ba1a2bb6f24002a9139c11119

RANDOM SEED= 690293212


/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.213
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	: 5931.00
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.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1541024 kB
Buffers:         28724 kB
Cached:         412972 kB
SwapCached:       3704 kB
Active:          63480 kB
Inactive:       386796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1541024 kB
SwapTotal:     4192956 kB
SwapFree:      4180892 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14708 kB
Slab:            50712 kB
Committed_AS:   306372 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node23 on Sat Jun  3 05:04:20 UTC 2006