Trace number 43123

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)3449843 1800.52 1786.56

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	3449843

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.91 3/64 5959
/proc/meminfo: memFree=1419416/2055920 swapFree=4182292/4192956
[pid=5959] ppid=5957 vsize=1496 CPUtime=0
/proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 61 0 0 0 0 0 0 0 19 0 1 0 196018029 1531904 44 18446744073709551615 134512640 134570276 4294956608 18446744073709551615 7358191 0 0 4096 0 0 0 0 17 1 0 0
/proc/5959/statm: 375 52 41 14 0 8 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.97 0.91 2/76 5975
/proc/meminfo: memFree=1237392/2055920 swapFree=4182292/4192956
[pid=5959] ppid=5957 vsize=1712364 CPUtime=11.37
/proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 51941 0 1 0 1114 23 0 0 25 0 13 0 196018029 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071578297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5959/statm: 428091 47299 1909 14 0 414838 0
[pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=0.23
/proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 5895 0 0 0 21 2 0 0 15 0 13 0 196018033 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=0.23
/proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 5879 0 0 0 21 2 0 0 16 0 13 0 196018033 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 196018035 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1
/proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2414 0 0 0 99 1 0 0 16 0 13 0 196018039 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.76
/proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 869 0 0 0 76 0 0 0 16 0 13 0 196018039 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196019017 1753460736 47299 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (Kb) 1712364

[startup+20.0094 s]
/proc/loadavg: 0.94 0.97 0.91 2/76 5975
/proc/meminfo: memFree=1240976/2055920 swapFree=4182292/4192956
[pid=5959] ppid=5957 vsize=1712364 CPUtime=21.5
/proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 53367 0 1 0 2125 25 0 0 25 0 13 0 196018029 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566691 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5959/statm: 428091 46347 1909 14 0 414838 0
[pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=0.26
/proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 6533 0 0 0 24 2 0 0 16 0 13 0 196018033 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=0.27
/proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 6641 0 0 0 24 3 0 0 16 0 13 0 196018033 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 32 0 0 0 0 0 0 0 16 0 13 0 196018035 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.1
/proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2418 0 0 0 109 1 0 0 17 0 13 0 196018039 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.78
/proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 869 0 0 0 78 0 0 0 17 0 13 0 196018039 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196019017 1753460736 46347 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 21.5
Current children cumulated vsize (Kb) 1712364

[startup+30.0163 s]
/proc/loadavg: 0.95 0.97 0.91 2/76 5975
/proc/meminfo: memFree=1252816/2055920 swapFree=4182292/4192956
[pid=5959] ppid=5957 vsize=1712364 CPUtime=31.53
/proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 54026 0 1 0 3127 26 0 0 18 0 13 0 196018029 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071586026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5959/statm: 428091 43414 1909 14 0 414838 0
[pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=0.29
/proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 6793 0 0 0 26 3 0 0 15 0 13 0 196018033 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=0.29
/proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 7024 0 0 0 26 3 0 0 16 0 13 0 196018033 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 32 0 0 0 0 0 0 0 15 0 13 0 196018035 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.1
/proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2418 0 0 0 109 1 0 0 17 0 13 0 196018039 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.78
/proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 869 0 0 0 78 0 0 0 17 0 13 0 196018039 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 196019017 1753460736 43414 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.53
Current children cumulated vsize (Kb) 1712364

[startup+40.0233 s]
/proc/loadavg: 0.95 0.97 0.91 2/76 5975
/proc/meminfo: memFree=1260176/2055920 swapFree=4182292/4192956
[pid=5959] ppid=5957 vsize=1712364 CPUtime=41.53
/proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 54274 0 1 0 4127 26 0 0 18 0 13 0 196018029 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071436458 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5959/statm: 428091 41545 1909 14 0 414838 0
[pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=0.31
/proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 6924 0 0 0 28 3 0 0 16 0 13 0 196018033 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=0.3
/proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 7115 0 0 0 27 3 0 0 16 0 13 0 196018033 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.01
/proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 32 0 0 0 1 0 0 0 15 0 13 0 196018035 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.1
/proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2418 0 0 0 109 1 0 0 17 0 13 0 196018039 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.78
/proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 869 0 0 0 78 0 0 0 17 0 13 0 196018039 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 41545 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.53
Current children cumulated vsize (Kb) 1712364

[startup+50.0302 s]
/proc/loadavg: 0.96 0.97 0.91 2/76 5975
/proc/meminfo: memFree=1261840/2055920 swapFree=4182292/4192956
[pid=5959] ppid=5957 vsize=1712364 CPUtime=51.54
/proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 54455 0 1 0 5127 27 0 0 21 0 13 0 196018029 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071436537 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5959/statm: 428091 41197 1909 14 0 414838 0
[pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=0.32
/proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 6968 0 0 0 29 3 0 0 16 0 13 0 196018033 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=0.31
/proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 7225 0 0 0 28 3 0 0 15 0 13 0 196018033 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.01
/proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 32 0 0 0 1 0 0 0 15 0 13 0 196018035 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.1
/proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2418 0 0 0 109 1 0 0 17 0 13 0 196018039 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.78
/proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 869 0 0 0 78 0 0 0 17 0 13 0 196018039 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 41197 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.54
Current children cumulated vsize (Kb) 1712364

[startup+60.0372 s]
/proc/loadavg: 0.97 0.97 0.91 2/76 5975
/proc/meminfo: memFree=1262672/2055920 swapFree=4182292/4192956
[pid=5959] ppid=5957 vsize=1712364 CPUtime=61.56
/proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 54688 0 1 0 6129 27 0 0 17 0 13 0 196018029 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071586907 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5959/statm: 428091 40933 1909 14 0 414838 0
[pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=0.34
/proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 7066 0 0 0 31 3 0 0 15 0 13 0 196018033 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=0.33
/proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 7330 0 0 0 30 3 0 0 16 0 13 0 196018033 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.01
/proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 32 0 0 0 1 0 0 0 15 0 13 0 196018035 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 40933 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.17
/proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2424 0 0 0 116 1 0 0 17 0 13 0 196018039 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.8
/proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 870 0 0 0 80 0 0 0 16 0 13 0 196018039 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 112525 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1796.2
Current children cumulated vsize (Kb) 1712364

[startup+1783.37 s]
/proc/loadavg: 1.07 1.02 0.94 2/76 6170
/proc/meminfo: memFree=974096/2055920 swapFree=4182292/4192956
[pid=5959] ppid=5957 vsize=1712364 CPUtime=1797.23
/proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 205709 0 1 0 179534 189 0 0 18 0 13 0 196018029 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071555808 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5959/statm: 428091 112797 1912 14 0 414838 0
[pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=13.97
/proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 43101 0 0 0 1359 38 0 0 16 0 13 0 196018033 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=14.07
/proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 43154 0 0 0 1365 42 0 0 16 0 13 0 196018033 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.98
/proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 209 0 0 0 56 42 0 0 16 0 13 0 196018035 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.17
/proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2424 0 0 0 116 1 0 0 17 0 13 0 196018039 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.8
/proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 870 0 0 0 80 0 0 0 16 0 13 0 196018039 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 112797 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1797.23
Current children cumulated vsize (Kb) 1712364

[startup+1784.38 s]
/proc/loadavg: 1.07 1.02 0.94 2/76 6170
/proc/meminfo: memFree=973712/2055920 swapFree=4182292/4192956
[pid=5959] ppid=5957 vsize=1712364 CPUtime=1798.25
/proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 205815 0 1 0 179636 189 0 0 25 0 13 0 196018029 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071578303 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5959/statm: 428091 112899 1912 14 0 414838 0
[pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=13.98
/proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 43165 0 0 0 1360 38 0 0 15 0 13 0 196018033 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=14.08
/proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 43195 0 0 0 1366 42 0 0 16 0 13 0 196018033 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.98
/proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 209 0 0 0 56 42 0 0 16 0 13 0 196018035 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.17
/proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2424 0 0 0 116 1 0 0 17 0 13 0 196018039 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.8
/proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 870 0 0 0 80 0 0 0 16 0 13 0 196018039 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 112899 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1798.25
Current children cumulated vsize (Kb) 1712364

[startup+1785.38 s]
/proc/loadavg: 1.07 1.02 0.94 2/76 6170
/proc/meminfo: memFree=973008/2055920 swapFree=4182292/4192956
[pid=5959] ppid=5957 vsize=1712364 CPUtime=1799.26
/proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 205993 0 1 0 179737 189 0 0 25 0 13 0 196018029 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566800 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5959/statm: 428091 113072 1912 14 0 414838 0
[pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=13.99
/proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 43254 0 0 0 1361 38 0 0 15 0 13 0 196018033 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=14.1
/proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 43283 0 0 0 1368 42 0 0 16 0 13 0 196018033 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.98
/proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 209 0 0 0 56 42 0 0 16 0 13 0 196018035 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.17
/proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2424 0 0 0 116 1 0 0 17 0 13 0 196018039 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.8
/proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 870 0 0 0 80 0 0 0 16 0 13 0 196018039 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 113072 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1799.26
Current children cumulated vsize (Kb) 1712364

[startup+1786.39 s]
/proc/loadavg: 1.07 1.02 0.94 2/76 6170
/proc/meminfo: memFree=972112/2055920 swapFree=4182292/4192956
[pid=5959] ppid=5957 vsize=1712364 CPUtime=1800.29
/proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 206228 0 1 0 179840 189 0 0 24 0 13 0 196018029 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071435882 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5959/statm: 428091 113292 1912 14 0 414838 0
[pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=14.01
/proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 43396 0 0 0 1363 38 0 0 16 0 13 0 196018033 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=14.12
/proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 43374 0 0 0 1370 42 0 0 16 0 13 0 196018033 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.98
/proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 209 0 0 0 56 42 0 0 16 0 13 0 196018035 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.17
/proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2424 0 0 0 116 1 0 0 17 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.8
/proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 870 0 0 0 80 0 0 0 16 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (Kb) 1712364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1786.4 s]
/proc/loadavg: 1.07 1.02 0.94 2/76 6170
/proc/meminfo: memFree=972112/2055920 swapFree=4182292/4192956
[pid=5959] ppid=5957 vsize=1712364 CPUtime=1800.29
/proc/5959/stat : 5959 (java) R 5957 5959 5913 0 -1 0 206228 0 1 0 179840 189 0 0 24 0 13 0 196018029 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4071566760 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5959/statm: 428091 113292 1912 14 0 414838 0
[pid=5959/tid=5960] ppid=5957 vsize=1712364 CPUtime=14.01
/proc/5959/task/5960/stat : 5960 (java) S 5957 5959 5913 0 -1 64 43396 0 0 0 1363 38 0 0 16 0 13 0 196018033 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5961] ppid=5957 vsize=1712364 CPUtime=14.12
/proc/5959/task/5961/stat : 5961 (java) S 5957 5959 5913 0 -1 64 43374 0 0 0 1370 42 0 0 16 0 13 0 196018033 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5962] ppid=5957 vsize=1712364 CPUtime=0.98
/proc/5959/task/5962/stat : 5962 (java) S 5957 5959 5913 0 -1 64 209 0 0 0 56 42 0 0 16 0 13 0 196018035 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5963] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5963/stat : 5963 (java) S 5957 5959 5913 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5964] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5964/stat : 5964 (java) S 5957 5959 5913 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 196018036 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5965] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5965/stat : 5965 (java) S 5957 5959 5913 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5966] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5966/stat : 5966 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5967] ppid=5957 vsize=1712364 CPUtime=1.17
/proc/5959/task/5967/stat : 5967 (java) S 5957 5959 5913 0 -1 64 2424 0 0 0 116 1 0 0 17 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5968] ppid=5957 vsize=1712364 CPUtime=0.8
/proc/5959/task/5968/stat : 5968 (java) S 5957 5959 5913 0 -1 64 870 0 0 0 80 0 0 0 16 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5969] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5969/stat : 5969 (java) S 5957 5959 5913 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5959/tid=5970] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5970/stat : 5970 (java) S 5957 5959 5913 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 196018039 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5959/tid=5975] ppid=5957 vsize=1712364 CPUtime=0
/proc/5959/task/5975/stat : 5975 (java) S 5957 5959 5913 0 -1 64 4 0 0 0 0 0 0 0 16 0 13 0 196019017 1753460736 113292 18446744073709551615 134512640 134570276 4294956448 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (Kb) 1712364

Sending SIGTERM to -5959
Sleeping 2 seconds

Child status: 143
Real time (s): 1786.56
CPU time (s): 1800.52
CPU user time (s): 1798.56
CPU system time (s): 1.9607
CPU usage (%): 100.782
Max. virtual memory (cumulated for all children) (Kb): 1712364

Launcher Data (download as text)

Begin job on node74 on Sat Jun  3 02:58:57 UTC 2006


FILE ID= 43123-1149303537

PBS_JOBID= 307485

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

MD5SUM SOLVER= 3cef94aa015dc0dd234d31843a257d70
MD5SUM BENCH=  9d08937c2a2ec73e4fca19adadace920

RANDOM SEED= 383684584


/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.274
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.274
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:       1419624 kB
Buffers:         39512 kB
Cached:         518332 kB
SwapCached:       2476 kB
Active:          33168 kB
Inactive:       533488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1419624 kB
SwapTotal:     4192956 kB
SwapFree:      4182292 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          15808 kB
Slab:            55656 kB
Committed_AS:   266004 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 node74 on Sat Jun  3 03:28:44 UTC 2006