Trace number 43633

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 NameAnswerCPU timeWall clock time
SAT4JPSEUDO 2006.2SAT 267.662 257.218

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
MD5SUMab4957c8b8761f975030868126e78f02
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark13.209
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables4500
Total number of constraints2559501
Number of constraints which are clauses2554450
Number of constraints which are cardinality constraints (but not clauses)101
Number of constraints which are nor clauses,nor cardinality constraints4950
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 480
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 2049
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

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

Verifier Data (download as text)

OK	0

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/node53/watcher-43633-1149226170 -o ROOT/results/node53/solver-43633-1149226170 -C 1800 -M 1800 -S 64 java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node53/43633-1149226170/instance-43633-1149226170.opb 679674465 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.82 0.92 0.90 2/64 13545
/proc/meminfo: memFree=1107528/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1500 CPUtime=0
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 88 0 0 0 0 0 0 0 19 0 1 0 188284692 1536000 69 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 8713910 0 0 4096 0 0 0 0 17 1 0 0
/proc/13545/statm: 363 60 45 14 0 8 0

[startup+10.0023 s]
/proc/loadavg: 0.84 0.92 0.90 2/75 13556
/proc/meminfo: memFree=917816/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1710844 CPUtime=10.55
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 50139 0 1 0 1031 24 0 0 25 0 12 0 188284692 1751904256 49265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071342642 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13545/statm: 427711 49265 1876 14 0 414458 0
[pid=13545/tid=13546] ppid=13543 vsize=1710844 CPUtime=0.16
/proc/13545/task/13546/stat : 13546 (java) S 13543 13545 13500 0 -1 64 2326 0 0 0 15 1 0 0 16 0 12 0 188284695 1751904256 49265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13547] ppid=13543 vsize=1710844 CPUtime=0.16
/proc/13545/task/13547/stat : 13547 (java) S 13543 13545 13500 0 -1 64 2289 0 0 0 15 1 0 0 16 0 12 0 188284695 1751904256 49265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13548] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13548/stat : 13548 (java) S 13543 13545 13500 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188284698 1751904256 49265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13549] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13549/stat : 13549 (java) S 13543 13545 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 49265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13550] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13550/stat : 13550 (java) S 13543 13545 13500 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 49265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13551] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13551/stat : 13551 (java) S 13543 13545 13500 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188284702 1751904256 49265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13552] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13552/stat : 13552 (java) S 13543 13545 13500 0 -1 64 3 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 49265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13553] ppid=13543 vsize=1710844 CPUtime=0.3
/proc/13545/task/13553/stat : 13553 (java) S 13543 13545 13500 0 -1 64 389 0 0 0 30 0 0 0 16 0 12 0 188284702 1751904256 49265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13554] ppid=13543 vsize=1710844 CPUtime=0.34
/proc/13545/task/13554/stat : 13554 (java) S 13543 13545 13500 0 -1 64 538 0 0 0 34 0 0 0 16 0 12 0 188284702 1751904256 49265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13555] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13555/stat : 13555 (java) S 13543 13545 13500 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188284702 1751904256 49265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13556] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 49265 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 10.55
Current children cumulated vsize (Kb) 1710844

[startup+20.0094 s]
/proc/loadavg: 0.87 0.92 0.90 2/75 13556
/proc/meminfo: memFree=906232/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1710844 CPUtime=20.68
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 53185 0 1 0 2042 26 0 0 18 0 12 0 188284692 1751904256 52192 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071339235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13545/statm: 427711 52192 1876 14 0 414458 0
[pid=13545/tid=13546] ppid=13543 vsize=1710844 CPUtime=0.3
/proc/13545/task/13546/stat : 13546 (java) S 13543 13545 13500 0 -1 64 3828 0 0 0 28 2 0 0 16 0 12 0 188284695 1751904256 52192 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13547] ppid=13543 vsize=1710844 CPUtime=0.28
/proc/13545/task/13547/stat : 13547 (java) S 13543 13545 13500 0 -1 64 3808 0 0 0 27 1 0 0 15 0 12 0 188284695 1751904256 52192 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13548] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13548/stat : 13548 (java) S 13543 13545 13500 0 -1 64 28 0 0 0 0 0 0 0 16 0 12 0 188284698 1751904256 52192 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13549] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13549/stat : 13549 (java) S 13543 13545 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 52192 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13550] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13550/stat : 13550 (java) S 13543 13545 13500 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 52192 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13551] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13551/stat : 13551 (java) S 13543 13545 13500 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188284702 1751904256 52192 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13552] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13552/stat : 13552 (java) S 13543 13545 13500 0 -1 64 3 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 52192 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13553] ppid=13543 vsize=1710844 CPUtime=0.3
/proc/13545/task/13553/stat : 13553 (java) S 13543 13545 13500 0 -1 64 389 0 0 0 30 0 0 0 16 0 12 0 188284702 1751904256 52192 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13554] ppid=13543 vsize=1710844 CPUtime=0.34
/proc/13545/task/13554/stat : 13554 (java) S 13543 13545 13500 0 -1 64 538 0 0 0 34 0 0 0 16 0 12 0 188284702 1751904256 52192 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13555] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13555/stat : 13555 (java) S 13543 13545 13500 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188284702 1751904256 52192 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13556] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 52192 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 20.68
Current children cumulated vsize (Kb) 1710844

[startup+30.0175 s]
/proc/loadavg: 0.89 0.92 0.90 2/75 13556
/proc/meminfo: memFree=897464/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1710844 CPUtime=30.83
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 55489 0 1 0 3054 29 0 0 25 0 12 0 188284692 1751904256 54395 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071341463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13545/statm: 427711 54395 1876 14 0 414458 0
[pid=13545/tid=13546] ppid=13543 vsize=1710844 CPUtime=0.45
/proc/13545/task/13546/stat : 13546 (java) S 13543 13545 13500 0 -1 64 5042 0 0 0 43 2 0 0 16 0 12 0 188284695 1751904256 54395 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13547] ppid=13543 vsize=1710844 CPUtime=0.45
/proc/13545/task/13547/stat : 13547 (java) S 13543 13545 13500 0 -1 64 4874 0 0 0 43 2 0 0 16 0 12 0 188284695 1751904256 54395 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13548] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13548/stat : 13548 (java) S 13543 13545 13500 0 -1 64 28 0 0 0 0 0 0 0 15 0 12 0 188284698 1751904256 54395 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13549] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13549/stat : 13549 (java) S 13543 13545 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 54395 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13550] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13550/stat : 13550 (java) S 13543 13545 13500 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 54395 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13551] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13551/stat : 13551 (java) S 13543 13545 13500 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188284702 1751904256 54395 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13552] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13552/stat : 13552 (java) S 13543 13545 13500 0 -1 64 3 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 54395 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13553] ppid=13543 vsize=1710844 CPUtime=0.3
/proc/13545/task/13553/stat : 13553 (java) S 13543 13545 13500 0 -1 64 389 0 0 0 30 0 0 0 16 0 12 0 188284702 1751904256 54395 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13554] ppid=13543 vsize=1710844 CPUtime=0.34
/proc/13545/task/13554/stat : 13554 (java) S 13543 13545 13500 0 -1 64 538 0 0 0 34 0 0 0 16 0 12 0 188284702 1751904256 54395 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13555] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13555/stat : 13555 (java) S 13543 13545 13500 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188284702 1751904256 54395 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13556] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 54395 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 30.83
Current children cumulated vsize (Kb) 1710844

[startup+40.0247 s]
/proc/loadavg: 0.90 0.93 0.90 2/75 13556
/proc/meminfo: memFree=883448/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1710844 CPUtime=41.02
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 59124 0 1 0 4070 32 0 0 25 0 12 0 188284692 1751904256 57898 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071339216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13545/statm: 427711 57898 1876 14 0 414458 0
[pid=13545/tid=13546] ppid=13543 vsize=1710844 CPUtime=0.64
/proc/13545/task/13546/stat : 13546 (java) S 13543 13545 13500 0 -1 64 6282 0 0 0 61 3 0 0 16 0 12 0 188284695 1751904256 57898 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13547] ppid=13543 vsize=1710844 CPUtime=0.64
/proc/13545/task/13547/stat : 13547 (java) S 13543 13545 13500 0 -1 64 7245 0 0 0 60 4 0 0 16 0 12 0 188284695 1751904256 57898 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13548] ppid=13543 vsize=1710844 CPUtime=0.01
/proc/13545/task/13548/stat : 13548 (java) S 13543 13545 13500 0 -1 64 28 0 0 0 1 0 0 0 15 0 12 0 188284698 1751904256 57898 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13549] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13549/stat : 13549 (java) S 13543 13545 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 57898 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13550] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13550/stat : 13550 (java) S 13543 13545 13500 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 57898 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13551] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13551/stat : 13551 (java) S 13543 13545 13500 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188284702 1751904256 57898 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13552] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13552/stat : 13552 (java) S 13543 13545 13500 0 -1 64 3 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 57898 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13553] ppid=13543 vsize=1710844 CPUtime=0.3
/proc/13545/task/13553/stat : 13553 (java) S 13543 13545 13500 0 -1 64 389 0 0 0 30 0 0 0 16 0 12 0 188284702 1751904256 57898 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13554] ppid=13543 vsize=1710844 CPUtime=0.34
/proc/13545/task/13554/stat : 13554 (java) S 13543 13545 13500 0 -1 64 538 0 0 0 34 0 0 0 16 0 12 0 188284702 1751904256 57898 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13555] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13555/stat : 13555 (java) S 13543 13545 13500 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188284702 1751904256 57898 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13556] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 57898 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.02
Current children cumulated vsize (Kb) 1710844

[startup+50.0318 s]
/proc/loadavg: 0.92 0.93 0.90 2/75 13556
/proc/meminfo: memFree=875640/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1710844 CPUtime=51.23
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 61158 0 1 0 5089 34 0 0 25 0 12 0 188284692 1751904256 59847 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071339216 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13545/statm: 427711 59847 1876 14 0 414458 0
[pid=13545/tid=13546] ppid=13543 vsize=1710844 CPUtime=0.84
/proc/13545/task/13546/stat : 13546 (java) S 13543 13545 13500 0 -1 64 7106 0 0 0 81 3 0 0 16 0 12 0 188284695 1751904256 59847 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13547] ppid=13543 vsize=1710844 CPUtime=0.84
/proc/13545/task/13547/stat : 13547 (java) S 13543 13545 13500 0 -1 64 8431 0 0 0 80 4 0 0 16 0 12 0 188284695 1751904256 59847 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13548] ppid=13543 vsize=1710844 CPUtime=0.01
/proc/13545/task/13548/stat : 13548 (java) S 13543 13545 13500 0 -1 64 28 0 0 0 1 0 0 0 16 0 12 0 188284698 1751904256 59847 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13549] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13549/stat : 13549 (java) S 13543 13545 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 59847 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13550] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13550/stat : 13550 (java) S 13543 13545 13500 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 59847 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13551] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13551/stat : 13551 (java) S 13543 13545 13500 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188284702 1751904256 59847 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13552] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13552/stat : 13552 (java) S 13543 13545 13500 0 -1 64 3 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 59847 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13553] ppid=13543 vsize=1710844 CPUtime=0.3
/proc/13545/task/13553/stat : 13553 (java) S 13543 13545 13500 0 -1 64 389 0 0 0 30 0 0 0 16 0 12 0 188284702 1751904256 59847 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13554] ppid=13543 vsize=1710844 CPUtime=0.34
/proc/13545/task/13554/stat : 13554 (java) S 13543 13545 13500 0 -1 64 538 0 0 0 34 0 0 0 17 0 12 0 188284702 1751904256 59847 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13555] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13555/stat : 13555 (java) S 13543 13545 13500 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188284702 1751904256 59847 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13556] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 59847 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (Kb) 1710844

[startup+60.0389 s]
/proc/loadavg: 0.93 0.93 0.90 2/75 13556
/proc/meminfo: memFree=868280/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1710844 CPUtime=61.43
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 63078 0 1 0 6106 37 0 0 21 0 12 0 188284692 1751904256 61700 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13545/statm: 427711 61700 1876 14 0 414458 0
[pid=13545/tid=13546] ppid=13543 vsize=1710844 CPUtime=1.05
/proc/13545/task/13546/stat : 13546 (java) S 13543 13545 13500 0 -1 64 7989 0 0 0 101 4 0 0 16 0 12 0 188284695 1751904256 61700 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13547] ppid=13543 vsize=1710844 CPUtime=1.06
/proc/13545/task/13547/stat : 13547 (java) S 13543 13545 13500 0 -1 64 9444 0 0 0 101 5 0 0 16 0 12 0 188284695 1751904256 61700 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13548] ppid=13543 vsize=1710844 CPUtime=0.01
/proc/13545/task/13548/stat : 13548 (java) S 13543 13545 13500 0 -1 64 28 0 0 0 1 0 0 0 16 0 12 0 188284698 1751904256 61700 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13549] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13549/stat : 13549 (java) S 13543 13545 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 61700 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13550] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13550/stat : 13550 (java) S 13543 13545 13500 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 61700 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13551] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13551/stat : 13551 (java) S 13543 13545 13500 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188284702 1751904256 61700 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13552] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13552/stat : 13552 (java) S 13543 13545 13500 0 -1 64 3 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 61700 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13553] ppid=13543 vsize=1710844 CPUtime=0.3
/proc/13545/task/13553/stat : 13553 (java) S 13543 13545 13500 0 -1 64 389 0 0 0 30 0 0 0 16 0 12 0 188284702 1751904256 61700 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13554] ppid=13543 vsize=1710844 CPUtime=0.34
/proc/13545/task/13554/stat : 13554 (java) S 13543 13545 13500 0 -1 64 538 0 0 0 34 0 0 0 17 0 12 0 188284702 1751904256 61700 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13555] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13555/stat : 13555 (java) S 13543 13545 13500 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188284702 1751904256 61700 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13556] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 61700 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0

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

[pid=13545/tid=13556] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 94652 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.2
Current children cumulated vsize (Kb) 1710844

[startup+200.146 s]
/proc/loadavg: 1.04 0.97 0.91 2/75 13556
/proc/meminfo: memFree=728568/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1710844 CPUtime=206.67
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 98888 0 1 0 20555 112 0 0 25 0 12 0 188284692 1751904256 96550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071341460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13545/statm: 427711 96550 1876 14 0 414458 0
[pid=13545/tid=13546] ppid=13543 vsize=1710844 CPUtime=6.32
/proc/13545/task/13546/stat : 13546 (java) S 13543 13545 13500 0 -1 64 25852 0 0 0 596 36 0 0 16 0 12 0 188284695 1751904256 96550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13547] ppid=13543 vsize=1710844 CPUtime=6.26
/proc/13545/task/13547/stat : 13547 (java) S 13543 13545 13500 0 -1 64 27068 0 0 0 594 32 0 0 16 0 12 0 188284695 1751904256 96550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13548] ppid=13543 vsize=1710844 CPUtime=0.08
/proc/13545/task/13548/stat : 13548 (java) S 13543 13545 13500 0 -1 64 28 0 0 0 6 2 0 0 16 0 12 0 188284698 1751904256 96550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13549] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13549/stat : 13549 (java) S 13543 13545 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 96550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13550] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13550/stat : 13550 (java) S 13543 13545 13500 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 96550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13551] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13551/stat : 13551 (java) S 13543 13545 13500 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188284702 1751904256 96550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13552] ppid=13543 vsize=1710844 CPUtime=0.01
/proc/13545/task/13552/stat : 13552 (java) S 13543 13545 13500 0 -1 64 3 0 0 0 1 0 0 0 16 0 12 0 188284702 1751904256 96550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13553] ppid=13543 vsize=1710844 CPUtime=0.31
/proc/13545/task/13553/stat : 13553 (java) S 13543 13545 13500 0 -1 64 390 0 0 0 31 0 0 0 16 0 12 0 188284702 1751904256 96550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13554] ppid=13543 vsize=1710844 CPUtime=0.35
/proc/13545/task/13554/stat : 13554 (java) S 13543 13545 13500 0 -1 64 539 0 0 0 35 0 0 0 17 0 12 0 188284702 1751904256 96550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13555] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13555/stat : 13555 (java) S 13543 13545 13500 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188284702 1751904256 96550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13556] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 96550 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 206.67
Current children cumulated vsize (Kb) 1710844

[startup+210.153 s]
/proc/loadavg: 1.03 0.97 0.91 2/75 13556
/proc/meminfo: memFree=721080/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1710844 CPUtime=217.16
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 100785 0 1 0 21602 114 0 0 18 0 12 0 188284692 1751904256 98376 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071339235 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13545/statm: 427711 98376 1876 14 0 414458 0
[pid=13545/tid=13546] ppid=13543 vsize=1710844 CPUtime=6.81
/proc/13545/task/13546/stat : 13546 (java) S 13543 13545 13500 0 -1 64 26851 0 0 0 645 36 0 0 16 0 12 0 188284695 1751904256 98376 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13547] ppid=13543 vsize=1710844 CPUtime=6.75
/proc/13545/task/13547/stat : 13547 (java) S 13543 13545 13500 0 -1 64 27943 0 0 0 642 33 0 0 16 0 12 0 188284695 1751904256 98376 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13548] ppid=13543 vsize=1710844 CPUtime=0.1
/proc/13545/task/13548/stat : 13548 (java) S 13543 13545 13500 0 -1 64 28 0 0 0 7 3 0 0 16 0 12 0 188284698 1751904256 98376 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13549] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13549/stat : 13549 (java) S 13543 13545 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 98376 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13550] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13550/stat : 13550 (java) S 13543 13545 13500 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 98376 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13551] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13551/stat : 13551 (java) S 13543 13545 13500 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188284702 1751904256 98376 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13552] ppid=13543 vsize=1710844 CPUtime=0.01
/proc/13545/task/13552/stat : 13552 (java) S 13543 13545 13500 0 -1 64 3 0 0 0 1 0 0 0 16 0 12 0 188284702 1751904256 98376 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13553] ppid=13543 vsize=1710844 CPUtime=0.31
/proc/13545/task/13553/stat : 13553 (java) S 13543 13545 13500 0 -1 64 390 0 0 0 31 0 0 0 16 0 12 0 188284702 1751904256 98376 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13554] ppid=13543 vsize=1710844 CPUtime=0.35
/proc/13545/task/13554/stat : 13554 (java) S 13543 13545 13500 0 -1 64 539 0 0 0 35 0 0 0 17 0 12 0 188284702 1751904256 98376 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13555] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13555/stat : 13555 (java) S 13543 13545 13500 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188284702 1751904256 98376 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13556] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 98376 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 217.16
Current children cumulated vsize (Kb) 1710844

[startup+220.16 s]
/proc/loadavg: 1.02 0.97 0.91 2/75 13556
/proc/meminfo: memFree=714040/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1710844 CPUtime=227.65
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 102616 0 1 0 22649 116 0 0 20 0 12 0 188284692 1751904256 100158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071360602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13545/statm: 427711 100158 1876 14 0 414458 0
[pid=13545/tid=13546] ppid=13543 vsize=1710844 CPUtime=7.3
/proc/13545/task/13546/stat : 13546 (java) S 13543 13545 13500 0 -1 64 27613 0 0 0 694 36 0 0 16 0 12 0 188284695 1751904256 100158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13547] ppid=13543 vsize=1710844 CPUtime=7.24
/proc/13545/task/13547/stat : 13547 (java) S 13543 13545 13500 0 -1 64 28989 0 0 0 691 33 0 0 16 0 12 0 188284695 1751904256 100158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13548] ppid=13543 vsize=1710844 CPUtime=0.1
/proc/13545/task/13548/stat : 13548 (java) S 13543 13545 13500 0 -1 64 28 0 0 0 7 3 0 0 16 0 12 0 188284698 1751904256 100158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13549] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13549/stat : 13549 (java) S 13543 13545 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 100158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13550] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13550/stat : 13550 (java) S 13543 13545 13500 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 100158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13551] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13551/stat : 13551 (java) S 13543 13545 13500 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188284702 1751904256 100158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13552] ppid=13543 vsize=1710844 CPUtime=0.01
/proc/13545/task/13552/stat : 13552 (java) S 13543 13545 13500 0 -1 64 3 0 0 0 1 0 0 0 16 0 12 0 188284702 1751904256 100158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13553] ppid=13543 vsize=1710844 CPUtime=0.31
/proc/13545/task/13553/stat : 13553 (java) S 13543 13545 13500 0 -1 64 390 0 0 0 31 0 0 0 16 0 12 0 188284702 1751904256 100158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13554] ppid=13543 vsize=1710844 CPUtime=0.35
/proc/13545/task/13554/stat : 13554 (java) S 13543 13545 13500 0 -1 64 539 0 0 0 35 0 0 0 17 0 12 0 188284702 1751904256 100158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13555] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13555/stat : 13555 (java) S 13543 13545 13500 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188284702 1751904256 100158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13556] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 100158 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 227.65
Current children cumulated vsize (Kb) 1710844

[startup+230.167 s]
/proc/loadavg: 1.02 0.97 0.91 2/75 13556
/proc/meminfo: memFree=707320/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1710844 CPUtime=238.12
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 104354 0 1 0 23693 119 0 0 25 0 12 0 188284692 1751904256 101838 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071451225 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13545/statm: 427711 101838 1876 14 0 414458 0
[pid=13545/tid=13546] ppid=13543 vsize=1710844 CPUtime=7.77
/proc/13545/task/13546/stat : 13546 (java) S 13543 13545 13500 0 -1 64 28396 0 0 0 740 37 0 0 16 0 12 0 188284695 1751904256 101838 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13547] ppid=13543 vsize=1710844 CPUtime=7.7
/proc/13545/task/13547/stat : 13547 (java) S 13543 13545 13500 0 -1 64 29922 0 0 0 737 33 0 0 16 0 12 0 188284695 1751904256 101838 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13548] ppid=13543 vsize=1710844 CPUtime=0.1
/proc/13545/task/13548/stat : 13548 (java) S 13543 13545 13500 0 -1 64 28 0 0 0 7 3 0 0 16 0 12 0 188284698 1751904256 101838 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13549] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13549/stat : 13549 (java) S 13543 13545 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 101838 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13550] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13550/stat : 13550 (java) S 13543 13545 13500 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 101838 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13551] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13551/stat : 13551 (java) S 13543 13545 13500 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188284702 1751904256 101838 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13552] ppid=13543 vsize=1710844 CPUtime=0.01
/proc/13545/task/13552/stat : 13552 (java) S 13543 13545 13500 0 -1 64 3 0 0 0 1 0 0 0 16 0 12 0 188284702 1751904256 101838 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13553] ppid=13543 vsize=1710844 CPUtime=0.31
/proc/13545/task/13553/stat : 13553 (java) S 13543 13545 13500 0 -1 64 390 0 0 0 31 0 0 0 16 0 12 0 188284702 1751904256 101838 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13554] ppid=13543 vsize=1710844 CPUtime=0.35
/proc/13545/task/13554/stat : 13554 (java) S 13543 13545 13500 0 -1 64 539 0 0 0 35 0 0 0 17 0 12 0 188284702 1751904256 101838 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13555] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13555/stat : 13555 (java) S 13543 13545 13500 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188284702 1751904256 101838 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13556] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 101838 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 238.12
Current children cumulated vsize (Kb) 1710844

[startup+240.174 s]
/proc/loadavg: 1.02 0.97 0.91 2/75 13556
/proc/meminfo: memFree=700088/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1710844 CPUtime=248.61
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 106194 0 1 0 24741 120 0 0 25 0 12 0 188284692 1751904256 103632 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433548 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13545/statm: 427711 103632 1876 14 0 414458 0
[pid=13545/tid=13546] ppid=13543 vsize=1710844 CPUtime=8.27
/proc/13545/task/13546/stat : 13546 (java) S 13543 13545 13500 0 -1 64 29455 0 0 0 790 37 0 0 16 0 12 0 188284695 1751904256 103632 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13547] ppid=13543 vsize=1710844 CPUtime=8.21
/proc/13545/task/13547/stat : 13547 (java) S 13543 13545 13500 0 -1 64 30680 0 0 0 787 34 0 0 16 0 12 0 188284695 1751904256 103632 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13548] ppid=13543 vsize=1710844 CPUtime=0.1
/proc/13545/task/13548/stat : 13548 (java) S 13543 13545 13500 0 -1 64 28 0 0 0 7 3 0 0 16 0 12 0 188284698 1751904256 103632 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13549] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13549/stat : 13549 (java) S 13543 13545 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 103632 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13550] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13550/stat : 13550 (java) S 13543 13545 13500 0 -1 64 5 0 0 0 0 0 0 0 16 0 12 0 188284699 1751904256 103632 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13551] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13551/stat : 13551 (java) S 13543 13545 13500 0 -1 64 1 0 0 0 0 0 0 0 24 0 12 0 188284702 1751904256 103632 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13552] ppid=13543 vsize=1710844 CPUtime=0.01
/proc/13545/task/13552/stat : 13552 (java) S 13543 13545 13500 0 -1 64 3 0 0 0 1 0 0 0 16 0 12 0 188284702 1751904256 103632 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13553] ppid=13543 vsize=1710844 CPUtime=0.31
/proc/13545/task/13553/stat : 13553 (java) S 13543 13545 13500 0 -1 64 390 0 0 0 31 0 0 0 16 0 12 0 188284702 1751904256 103632 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13554] ppid=13543 vsize=1710844 CPUtime=0.35
/proc/13545/task/13554/stat : 13554 (java) S 13543 13545 13500 0 -1 64 539 0 0 0 35 0 0 0 17 0 12 0 188284702 1751904256 103632 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13555] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13555/stat : 13555 (java) S 13543 13545 13500 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 188284702 1751904256 103632 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13556] ppid=13543 vsize=1710844 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 12 0 188284702 1751904256 103632 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 248.61
Current children cumulated vsize (Kb) 1710844

[startup+250.181 s]
/proc/loadavg: 1.09 0.99 0.92 2/76 13557
/proc/meminfo: memFree=671856/2055920 swapFree=4181356/4192956
[pid=13545] ppid=13543 vsize=1713692 CPUtime=260.29
/proc/13545/stat : 13545 (java) R 13543 13545 13500 0 -1 0 118732 0 1 0 25901 128 0 0 25 0 13 0 188284692 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071730815 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13545/statm: 428423 110626 1908 14 0 415170 0
[pid=13545/tid=13546] ppid=13543 vsize=1713692 CPUtime=8.64
/proc/13545/task/13546/stat : 13546 (java) S 13543 13545 13500 0 -1 64 32821 0 0 0 825 39 0 0 16 0 13 0 188284695 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13547] ppid=13543 vsize=1713692 CPUtime=8.58
/proc/13545/task/13547/stat : 13547 (java) S 13543 13545 13500 0 -1 64 34567 0 0 0 822 36 0 0 16 0 13 0 188284695 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13548] ppid=13543 vsize=1713692 CPUtime=0.11
/proc/13545/task/13548/stat : 13548 (java) S 13543 13545 13500 0 -1 64 29 0 0 0 8 3 0 0 15 0 13 0 188284698 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13549] ppid=13543 vsize=1713692 CPUtime=0
/proc/13545/task/13549/stat : 13549 (java) S 13543 13545 13500 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 188284699 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13550] ppid=13543 vsize=1713692 CPUtime=0
/proc/13545/task/13550/stat : 13550 (java) S 13543 13545 13500 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 188284699 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13551] ppid=13543 vsize=1713692 CPUtime=0
/proc/13545/task/13551/stat : 13551 (java) S 13543 13545 13500 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 188284702 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13552] ppid=13543 vsize=1713692 CPUtime=0.01
/proc/13545/task/13552/stat : 13552 (java) S 13543 13545 13500 0 -1 64 3 0 0 0 1 0 0 0 15 0 13 0 188284702 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13553] ppid=13543 vsize=1713692 CPUtime=1.2
/proc/13545/task/13553/stat : 13553 (java) S 13543 13545 13500 0 -1 64 3344 0 0 0 119 1 0 0 17 0 13 0 188284702 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13554] ppid=13543 vsize=1713692 CPUtime=1.05
/proc/13545/task/13554/stat : 13554 (java) S 13543 13545 13500 0 -1 64 2788 0 0 0 104 1 0 0 16 0 13 0 188284702 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13555] ppid=13543 vsize=1713692 CPUtime=0
/proc/13545/task/13555/stat : 13555 (java) S 13543 13545 13500 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 188284702 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13545/tid=13556] ppid=13543 vsize=1713692 CPUtime=0
/proc/13545/task/13556/stat : 13556 (java) S 13543 13545 13500 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 188284702 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13545/tid=13557] ppid=13543 vsize=1713692 CPUtime=0
/proc/13545/task/13557/stat : 13557 (java) S 13543 13545 13500 0 -1 64 4 0 0 0 0 0 0 0 25 0 13 0 188309183 1754820608 110626 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 260.29
Current children cumulated vsize (Kb) 1713692

Child status: 10
Real time (s): 257.218
CPU time (s): 267.662
CPU user time (s): 266.287
CPU system time (s): 1.37579
CPU usage (%): 104.061
Max. virtual memory (cumulated for all children) (Kb): 1713692

Launcher Data (download as text)

Begin job on node53 on Fri Jun  2 05:29:32 UTC 2006


FILE ID= 43633-1149226170

PBS_JOBID= 295854

BENCH NAME= ROOT/tmp/node53/43633-1149226170/instance-43633-1149226170.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node53/43633-1149226170/instance-43633-1149226170.opb 679674465
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node53/watcher-43633-1149226170 -o ROOT/results/node53/solver-43633-1149226170 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node53/43633-1149226170/instance-43633-1149226170.opb 679674465

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  ab4957c8b8761f975030868126e78f02

RANDOM SEED= 679674465


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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.249
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:       1107928 kB
Buffers:         36868 kB
Cached:         836972 kB
SwapCached:       3632 kB
Active:         540592 kB
Inactive:       342340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1107928 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:              72 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            51136 kB
Committed_AS:   244848 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node53 on Fri Jun  2 05:33:50 UTC 2006