Trace number 43941

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.2SAT (TO)-48018 1800.43 1780.49

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-recipe.opb
MD5SUMafb312a519ee7dfceb0c5aec9cb860b5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-82060
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -118677
Optimality of the best value was proved NO
Number of variables3671
Total number of constraints159
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 constraints159
Minimum length of a constraint10
Maximum length of a constraint420
Number of terms in the objective function 1055
Biggest coefficient in the objective function 58802
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524960
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262113
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524960
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	-48018

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.95 0.98 2/68 31605
/proc/meminfo: memFree=1670320/2055892 swapFree=4087504/4096564
[pid=31605] ppid=31603 vsize=1788 CPUtime=0
/proc/31605/stat : 31605 (java) R 31603 31605 31559 0 -1 0 153 0 0 0 0 0 0 0 19 0 1 0 190615844 1830912 123 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31605/statm: 447 126 92 14 0 91 0

[startup+10.0026 s]
/proc/loadavg: 0.94 0.97 0.99 2/80 31620
/proc/meminfo: memFree=1502680/2055892 swapFree=4087504/4096564
[pid=31605] ppid=31603 vsize=1715964 CPUtime=11.57
/proc/31605/stat : 31605 (java) R 31603 31605 31559 0 -1 0 48828 0 1 0 1135 22 0 0 25 0 13 0 190615844 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071488294 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31605/statm: 428991 43711 1908 14 0 415737 0
[pid=31605/tid=31606] ppid=31603 vsize=1715964 CPUtime=0.16
/proc/31605/task/31606/stat : 31606 (java) S 31603 31605 31559 0 -1 64 3581 0 0 0 15 1 0 0 16 0 13 0 190615847 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31607] ppid=31603 vsize=1715964 CPUtime=0.16
/proc/31605/task/31607/stat : 31607 (java) S 31603 31605 31559 0 -1 64 3676 0 0 0 14 2 0 0 17 0 13 0 190615847 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31608] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31608/stat : 31608 (java) S 31603 31605 31559 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 190615850 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31609] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31609/stat : 31609 (java) S 31603 31605 31559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31610] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31610/stat : 31610 (java) S 31603 31605 31559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31611] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31611/stat : 31611 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 190615854 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31612] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31612/stat : 31612 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615854 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31613] ppid=31603 vsize=1715964 CPUtime=1.09
/proc/31605/task/31613/stat : 31613 (java) S 31603 31605 31559 0 -1 64 3090 0 0 0 108 1 0 0 17 0 13 0 190615854 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31614] ppid=31603 vsize=1715964 CPUtime=0.8
/proc/31605/task/31614/stat : 31614 (java) S 31603 31605 31559 0 -1 64 1890 0 0 0 79 1 0 0 17 0 13 0 190615854 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31615] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31615/stat : 31615 (java) S 31603 31605 31559 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190615854 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31616] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31616/stat : 31616 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190615854 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31620] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31620/stat : 31620 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 190615980 1757147136 43711 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.57
Current children cumulated vsize (Kb) 1715964

[startup+20.0095 s]
/proc/loadavg: 0.95 0.97 0.99 2/80 31620
/proc/meminfo: memFree=1478168/2055892 swapFree=4087504/4096564
[pid=31605] ppid=31603 vsize=1715964 CPUtime=21.75
/proc/31605/stat : 31605 (java) R 31603 31605 31559 0 -1 0 55493 0 1 0 2149 26 0 0 25 0 13 0 190615844 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071488297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31605/statm: 428991 49839 1910 14 0 415737 0
[pid=31605/tid=31606] ppid=31603 vsize=1715964 CPUtime=0.28
/proc/31605/task/31606/stat : 31606 (java) S 31603 31605 31559 0 -1 64 6771 0 0 0 26 2 0 0 16 0 13 0 190615847 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31607] ppid=31603 vsize=1715964 CPUtime=0.28
/proc/31605/task/31607/stat : 31607 (java) S 31603 31605 31559 0 -1 64 6784 0 0 0 25 3 0 0 16 0 13 0 190615847 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31608] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31608/stat : 31608 (java) S 31603 31605 31559 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 190615850 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31609] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31609/stat : 31609 (java) S 31603 31605 31559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31610] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31610/stat : 31610 (java) S 31603 31605 31559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31611] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31611/stat : 31611 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 190615854 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31612] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31612/stat : 31612 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615854 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31613] ppid=31603 vsize=1715964 CPUtime=1.15
/proc/31605/task/31613/stat : 31613 (java) S 31603 31605 31559 0 -1 64 3095 0 0 0 114 1 0 0 17 0 13 0 190615854 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31614] ppid=31603 vsize=1715964 CPUtime=0.8
/proc/31605/task/31614/stat : 31614 (java) S 31603 31605 31559 0 -1 64 1890 0 0 0 79 1 0 0 17 0 13 0 190615854 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31615] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31615/stat : 31615 (java) S 31603 31605 31559 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190615854 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31616] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31616/stat : 31616 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190615854 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31620] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31620/stat : 31620 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 190615980 1757147136 49839 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.75
Current children cumulated vsize (Kb) 1715964

[startup+30.0164 s]
/proc/loadavg: 0.95 0.97 0.99 2/80 31620
/proc/meminfo: memFree=1465816/2055892 swapFree=4087504/4096564
[pid=31605] ppid=31603 vsize=1715964 CPUtime=31.84
/proc/31605/stat : 31605 (java) R 31603 31605 31559 0 -1 0 58911 0 1 0 3157 27 0 0 24 0 13 0 190615844 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071601122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31605/statm: 428991 52870 1910 14 0 415737 0
[pid=31605/tid=31606] ppid=31603 vsize=1715964 CPUtime=0.36
/proc/31605/task/31606/stat : 31606 (java) S 31603 31605 31559 0 -1 64 8414 0 0 0 33 3 0 0 16 0 13 0 190615847 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31607] ppid=31603 vsize=1715964 CPUtime=0.36
/proc/31605/task/31607/stat : 31607 (java) S 31603 31605 31559 0 -1 64 8549 0 0 0 32 4 0 0 17 0 13 0 190615847 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31608] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31608/stat : 31608 (java) S 31603 31605 31559 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 190615850 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31609] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31609/stat : 31609 (java) S 31603 31605 31559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31610] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31610/stat : 31610 (java) S 31603 31605 31559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31611] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31611/stat : 31611 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 190615854 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31612] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31612/stat : 31612 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615854 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31613] ppid=31603 vsize=1715964 CPUtime=1.17
/proc/31605/task/31613/stat : 31613 (java) S 31603 31605 31559 0 -1 64 3096 0 0 0 116 1 0 0 16 0 13 0 190615854 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31614] ppid=31603 vsize=1715964 CPUtime=0.81
/proc/31605/task/31614/stat : 31614 (java) S 31603 31605 31559 0 -1 64 1890 0 0 0 80 1 0 0 17 0 13 0 190615854 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31615] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31615/stat : 31615 (java) S 31603 31605 31559 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190615854 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31616] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31616/stat : 31616 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190615854 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31620] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31620/stat : 31620 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 18 0 13 0 190615980 1757147136 52870 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.84
Current children cumulated vsize (Kb) 1715964

[startup+40.0233 s]
/proc/loadavg: 0.96 0.97 0.99 2/80 31620
/proc/meminfo: memFree=1464024/2055892 swapFree=4087504/4096564
[pid=31605] ppid=31603 vsize=1715964 CPUtime=41.91
/proc/31605/stat : 31605 (java) R 31603 31605 31559 0 -1 0 61535 0 1 0 4162 29 0 0 25 0 13 0 190615844 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071488297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31605/statm: 428991 53324 1910 14 0 415737 0
[pid=31605/tid=31606] ppid=31603 vsize=1715964 CPUtime=0.41
/proc/31605/task/31606/stat : 31606 (java) S 31603 31605 31559 0 -1 64 9712 0 0 0 38 3 0 0 16 0 13 0 190615847 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31607] ppid=31603 vsize=1715964 CPUtime=0.41
/proc/31605/task/31607/stat : 31607 (java) S 31603 31605 31559 0 -1 64 9868 0 0 0 36 5 0 0 16 0 13 0 190615847 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31608] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31608/stat : 31608 (java) S 31603 31605 31559 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 190615850 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31609] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31609/stat : 31609 (java) S 31603 31605 31559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31610] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31610/stat : 31610 (java) S 31603 31605 31559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31611] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31611/stat : 31611 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 190615854 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31612] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31612/stat : 31612 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615854 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31613] ppid=31603 vsize=1715964 CPUtime=1.17
/proc/31605/task/31613/stat : 31613 (java) S 31603 31605 31559 0 -1 64 3096 0 0 0 116 1 0 0 17 0 13 0 190615854 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31614] ppid=31603 vsize=1715964 CPUtime=0.81
/proc/31605/task/31614/stat : 31614 (java) S 31603 31605 31559 0 -1 64 1890 0 0 0 80 1 0 0 17 0 13 0 190615854 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31615] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31615/stat : 31615 (java) S 31603 31605 31559 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190615854 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31616] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31616/stat : 31616 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190615854 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31620] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31620/stat : 31620 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 190615980 1757147136 53324 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.91
Current children cumulated vsize (Kb) 1715964

[startup+50.0302 s]
/proc/loadavg: 0.97 0.97 0.99 2/80 31620
/proc/meminfo: memFree=1468696/2055892 swapFree=4087504/4096564
[pid=31605] ppid=31603 vsize=1715964 CPUtime=51.96
/proc/31605/stat : 31605 (java) R 31603 31605 31559 0 -1 0 62721 0 1 0 5166 30 0 0 25 0 13 0 190615844 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071678463 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31605/statm: 428991 52155 1910 14 0 415737 0
[pid=31605/tid=31606] ppid=31603 vsize=1715964 CPUtime=0.45
/proc/31605/task/31606/stat : 31606 (java) S 31603 31605 31559 0 -1 64 10268 0 0 0 42 3 0 0 17 0 13 0 190615847 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31607] ppid=31603 vsize=1715964 CPUtime=0.45
/proc/31605/task/31607/stat : 31607 (java) S 31603 31605 31559 0 -1 64 10490 0 0 0 40 5 0 0 16 0 13 0 190615847 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31608] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31608/stat : 31608 (java) S 31603 31605 31559 0 -1 64 26 0 0 0 0 0 0 0 16 0 13 0 190615850 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31609] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31609/stat : 31609 (java) S 31603 31605 31559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31610] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31610/stat : 31610 (java) S 31603 31605 31559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31611] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31611/stat : 31611 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 190615854 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31612] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31612/stat : 31612 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615854 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31613] ppid=31603 vsize=1715964 CPUtime=1.17
/proc/31605/task/31613/stat : 31613 (java) S 31603 31605 31559 0 -1 64 3096 0 0 0 116 1 0 0 17 0 13 0 190615854 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31614] ppid=31603 vsize=1715964 CPUtime=0.81
/proc/31605/task/31614/stat : 31614 (java) S 31603 31605 31559 0 -1 64 1890 0 0 0 80 1 0 0 17 0 13 0 190615854 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31615] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31615/stat : 31615 (java) S 31603 31605 31559 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190615854 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31616] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31616/stat : 31616 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190615854 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31620] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31620/stat : 31620 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 190615980 1757147136 52155 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.96
Current children cumulated vsize (Kb) 1715964

[startup+60.0371 s]
/proc/loadavg: 0.97 0.97 0.99 2/80 31620
/proc/meminfo: memFree=1473048/2055892 swapFree=4087504/4096564
[pid=31605] ppid=31603 vsize=1715964 CPUtime=61.99
/proc/31605/stat : 31605 (java) R 31603 31605 31559 0 -1 0 63616 0 1 0 6169 30 0 0 20 0 13 0 190615844 1757147136 51061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071507182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31605/statm: 428991 51061 1910 14 0 415737 0
[pid=31605/tid=31606] ppid=31603 vsize=1715964 CPUtime=0.49
/proc/31605/task/31606/stat : 31606 (java) S 31603 31605 31559 0 -1 64 10846 0 0 0 46 3 0 0 16 0 13 0 190615847 1757147136 51061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31607] ppid=31603 vsize=1715964 CPUtime=0.49
/proc/31605/task/31607/stat : 31607 (java) S 31603 31605 31559 0 -1 64 10800 0 0 0 44 5 0 0 17 0 13 0 190615847 1757147136 51061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31608] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31608/stat : 31608 (java) S 31603 31605 31559 0 -1 64 26 0 0 0 0 0 0 0 15 0 13 0 190615850 1757147136 51061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31609] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31609/stat : 31609 (java) S 31603 31605 31559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 51061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31610] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31610/stat : 31610 (java) S 31603 31605 31559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 51061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31611] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31611/stat : 31611 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 190615854 1757147136 51061 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=31605/tid=31609] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31609/stat : 31609 (java) S 31603 31605 31559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31610] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31610/stat : 31610 (java) S 31603 31605 31559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31611] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31611/stat : 31611 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 190615854 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31612] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31612/stat : 31612 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615854 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31613] ppid=31603 vsize=1715964 CPUtime=1.22
/proc/31605/task/31613/stat : 31613 (java) S 31603 31605 31559 0 -1 64 3096 0 0 0 121 1 0 0 17 0 13 0 190615854 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31614] ppid=31603 vsize=1715964 CPUtime=0.85
/proc/31605/task/31614/stat : 31614 (java) S 31603 31605 31559 0 -1 64 1890 0 0 0 84 1 0 0 16 0 13 0 190615854 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31615] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31615/stat : 31615 (java) S 31603 31605 31559 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190615854 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31616] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31616/stat : 31616 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190615854 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31620] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31620/stat : 31620 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615980 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (Kb) 1715964

[startup+1777.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31620
/proc/meminfo: memFree=1190808/2055892 swapFree=4087504/4096564
[pid=31605] ppid=31603 vsize=1715964 CPUtime=1797.13
/proc/31605/stat : 31605 (java) R 31603 31605 31559 0 -1 0 191781 0 1 0 179608 105 0 0 25 0 13 0 190615844 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071488194 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31605/statm: 428991 121233 1910 14 0 415737 0
[pid=31605/tid=31606] ppid=31603 vsize=1715964 CPUtime=19.23
/proc/31605/task/31606/stat : 31606 (java) S 31603 31605 31559 0 -1 64 50236 0 0 0 1900 23 0 0 17 0 13 0 190615847 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31607] ppid=31603 vsize=1715964 CPUtime=19.22
/proc/31605/task/31607/stat : 31607 (java) S 31603 31605 31559 0 -1 64 50683 0 0 0 1894 28 0 0 16 0 13 0 190615847 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31608] ppid=31603 vsize=1715964 CPUtime=0.3
/proc/31605/task/31608/stat : 31608 (java) S 31603 31605 31559 0 -1 64 182 0 0 0 16 14 0 0 16 0 13 0 190615850 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31609] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31609/stat : 31609 (java) S 31603 31605 31559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31610] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31610/stat : 31610 (java) S 31603 31605 31559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31611] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31611/stat : 31611 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 190615854 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31612] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31612/stat : 31612 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615854 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31613] ppid=31603 vsize=1715964 CPUtime=1.22
/proc/31605/task/31613/stat : 31613 (java) S 31603 31605 31559 0 -1 64 3096 0 0 0 121 1 0 0 17 0 13 0 190615854 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31614] ppid=31603 vsize=1715964 CPUtime=0.85
/proc/31605/task/31614/stat : 31614 (java) S 31603 31605 31559 0 -1 64 1890 0 0 0 84 1 0 0 16 0 13 0 190615854 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31615] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31615/stat : 31615 (java) S 31603 31605 31559 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190615854 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31616] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31616/stat : 31616 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190615854 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31620] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31620/stat : 31620 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615980 1757147136 121233 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.13
Current children cumulated vsize (Kb) 1715964

[startup+1778.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31620
/proc/meminfo: memFree=1190680/2055892 swapFree=4087504/4096564
[pid=31605] ppid=31603 vsize=1715964 CPUtime=1798.16
/proc/31605/stat : 31605 (java) R 31603 31605 31559 0 -1 0 191820 0 1 0 179711 105 0 0 22 0 13 0 190615844 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071678659 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31605/statm: 428991 121271 1910 14 0 415737 0
[pid=31605/tid=31606] ppid=31603 vsize=1715964 CPUtime=19.26
/proc/31605/task/31606/stat : 31606 (java) S 31603 31605 31559 0 -1 64 50267 0 0 0 1903 23 0 0 17 0 13 0 190615847 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31607] ppid=31603 vsize=1715964 CPUtime=19.25
/proc/31605/task/31607/stat : 31607 (java) S 31603 31605 31559 0 -1 64 50690 0 0 0 1897 28 0 0 16 0 13 0 190615847 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31608] ppid=31603 vsize=1715964 CPUtime=0.3
/proc/31605/task/31608/stat : 31608 (java) S 31603 31605 31559 0 -1 64 182 0 0 0 16 14 0 0 15 0 13 0 190615850 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31609] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31609/stat : 31609 (java) S 31603 31605 31559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31610] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31610/stat : 31610 (java) S 31603 31605 31559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31611] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31611/stat : 31611 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 190615854 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31612] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31612/stat : 31612 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615854 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31613] ppid=31603 vsize=1715964 CPUtime=1.22
/proc/31605/task/31613/stat : 31613 (java) S 31603 31605 31559 0 -1 64 3096 0 0 0 121 1 0 0 17 0 13 0 190615854 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31614] ppid=31603 vsize=1715964 CPUtime=0.85
/proc/31605/task/31614/stat : 31614 (java) S 31603 31605 31559 0 -1 64 1890 0 0 0 84 1 0 0 16 0 13 0 190615854 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31615] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31615/stat : 31615 (java) S 31603 31605 31559 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190615854 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31616] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31616/stat : 31616 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190615854 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31620] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31620/stat : 31620 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615980 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.16
Current children cumulated vsize (Kb) 1715964

[startup+1779.33 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31620
/proc/meminfo: memFree=1190680/2055892 swapFree=4087504/4096564
[pid=31605] ppid=31603 vsize=1715964 CPUtime=1799.17
/proc/31605/stat : 31605 (java) R 31603 31605 31559 0 -1 0 191820 0 1 0 179812 105 0 0 25 0 13 0 190615844 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071485705 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31605/statm: 428991 121271 1910 14 0 415737 0
[pid=31605/tid=31606] ppid=31603 vsize=1715964 CPUtime=19.26
/proc/31605/task/31606/stat : 31606 (java) S 31603 31605 31559 0 -1 64 50267 0 0 0 1903 23 0 0 17 0 13 0 190615847 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31607] ppid=31603 vsize=1715964 CPUtime=19.25
/proc/31605/task/31607/stat : 31607 (java) S 31603 31605 31559 0 -1 64 50690 0 0 0 1897 28 0 0 16 0 13 0 190615847 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31608] ppid=31603 vsize=1715964 CPUtime=0.3
/proc/31605/task/31608/stat : 31608 (java) S 31603 31605 31559 0 -1 64 182 0 0 0 16 14 0 0 16 0 13 0 190615850 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31609] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31609/stat : 31609 (java) S 31603 31605 31559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31610] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31610/stat : 31610 (java) S 31603 31605 31559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31611] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31611/stat : 31611 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 190615854 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31612] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31612/stat : 31612 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615854 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31613] ppid=31603 vsize=1715964 CPUtime=1.22
/proc/31605/task/31613/stat : 31613 (java) S 31603 31605 31559 0 -1 64 3096 0 0 0 121 1 0 0 17 0 13 0 190615854 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31614] ppid=31603 vsize=1715964 CPUtime=0.85
/proc/31605/task/31614/stat : 31614 (java) S 31603 31605 31559 0 -1 64 1890 0 0 0 84 1 0 0 16 0 13 0 190615854 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31615] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31615/stat : 31615 (java) S 31603 31605 31559 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190615854 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31616] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31616/stat : 31616 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190615854 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31620] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31620/stat : 31620 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615980 1757147136 121271 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.17
Current children cumulated vsize (Kb) 1715964

[startup+1780.33 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31620
/proc/meminfo: memFree=1190424/2055892 swapFree=4087504/4096564
[pid=31605] ppid=31603 vsize=1715964 CPUtime=1800.21
/proc/31605/stat : 31605 (java) R 31603 31605 31559 0 -1 0 191877 0 1 0 179916 105 0 0 20 0 13 0 190615844 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071507117 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31605/statm: 428991 121327 1910 14 0 415737 0
[pid=31605/tid=31606] ppid=31603 vsize=1715964 CPUtime=19.29
/proc/31605/task/31606/stat : 31606 (java) S 31603 31605 31559 0 -1 64 50310 0 0 0 1906 23 0 0 17 0 13 0 190615847 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31607] ppid=31603 vsize=1715964 CPUtime=19.28
/proc/31605/task/31607/stat : 31607 (java) S 31603 31605 31559 0 -1 64 50703 0 0 0 1900 28 0 0 16 0 13 0 190615847 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31608] ppid=31603 vsize=1715964 CPUtime=0.3
/proc/31605/task/31608/stat : 31608 (java) S 31603 31605 31559 0 -1 64 182 0 0 0 16 14 0 0 15 0 13 0 190615850 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31609] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31609/stat : 31609 (java) S 31603 31605 31559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31610] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31610/stat : 31610 (java) S 31603 31605 31559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31611] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31611/stat : 31611 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 190615854 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31612] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31612/stat : 31612 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615854 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31613] ppid=31603 vsize=1715964 CPUtime=1.22
/proc/31605/task/31613/stat : 31613 (java) S 31603 31605 31559 0 -1 64 3096 0 0 0 121 1 0 0 17 0 13 0 190615854 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31614] ppid=31603 vsize=1715964 CPUtime=0.85
/proc/31605/task/31614/stat : 31614 (java) S 31603 31605 31559 0 -1 64 1890 0 0 0 84 1 0 0 16 0 13 0 190615854 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31615] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31615/stat : 31615 (java) S 31603 31605 31559 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190615854 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31616] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31616/stat : 31616 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190615854 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31620] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31620/stat : 31620 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615980 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (Kb) 1715964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1780.34 s]
/proc/loadavg: 1.00 1.00 1.00 2/80 31620
/proc/meminfo: memFree=1190424/2055892 swapFree=4087504/4096564
[pid=31605] ppid=31603 vsize=1715964 CPUtime=1800.21
/proc/31605/stat : 31605 (java) R 31603 31605 31559 0 -1 0 191877 0 1 0 179916 105 0 0 20 0 13 0 190615844 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071507203 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/31605/statm: 428991 121327 1910 14 0 415737 0
[pid=31605/tid=31606] ppid=31603 vsize=1715964 CPUtime=19.29
/proc/31605/task/31606/stat : 31606 (java) S 31603 31605 31559 0 -1 64 50310 0 0 0 1906 23 0 0 17 0 13 0 190615847 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31607] ppid=31603 vsize=1715964 CPUtime=19.28
/proc/31605/task/31607/stat : 31607 (java) S 31603 31605 31559 0 -1 64 50703 0 0 0 1900 28 0 0 16 0 13 0 190615847 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31608] ppid=31603 vsize=1715964 CPUtime=0.3
/proc/31605/task/31608/stat : 31608 (java) S 31603 31605 31559 0 -1 64 182 0 0 0 16 14 0 0 15 0 13 0 190615850 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31609] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31609/stat : 31609 (java) S 31603 31605 31559 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31610] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31610/stat : 31610 (java) S 31603 31605 31559 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 190615851 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31611] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31611/stat : 31611 (java) S 31603 31605 31559 0 -1 64 0 0 0 0 0 0 0 0 24 0 13 0 190615854 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31612] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31612/stat : 31612 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615854 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31613] ppid=31603 vsize=1715964 CPUtime=1.22
/proc/31605/task/31613/stat : 31613 (java) S 31603 31605 31559 0 -1 64 3096 0 0 0 121 1 0 0 17 0 13 0 190615854 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31614] ppid=31603 vsize=1715964 CPUtime=0.85
/proc/31605/task/31614/stat : 31614 (java) S 31603 31605 31559 0 -1 64 1890 0 0 0 84 1 0 0 16 0 13 0 190615854 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31615] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31615/stat : 31615 (java) S 31603 31605 31559 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 190615854 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=31605/tid=31616] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31616/stat : 31616 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 190615854 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=31605/tid=31620] ppid=31603 vsize=1715964 CPUtime=0
/proc/31605/task/31620/stat : 31620 (java) S 31603 31605 31559 0 -1 64 2 0 0 0 0 0 0 0 16 0 13 0 190615980 1757147136 121327 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.21
Current children cumulated vsize (Kb) 1715964

Sending SIGTERM to -31605
Sleeping 2 seconds

Child status: 143
Real time (s): 1780.49
CPU time (s): 1800.43
CPU user time (s): 1799.3
CPU system time (s): 1.13383
CPU usage (%): 101.12
Max. virtual memory (cumulated for all children) (Kb): 1715964

Launcher Data (download as text)

Begin job on node82 on Sat Jun  3 11:31:06 UTC 2006


FILE ID= 43941-1149334266

PBS_JOBID= 310050

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-recipe.opb
COMMAND LINE= java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node82/43941-1149334266/instance-43941-1149334266.opb 509812925
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node82/watcher-43941-1149334266 -o ROOT/results/node82/solver-43941-1149334266 -C 1800 -M 1800 -S 64  java -server -Xms1500M -Xmx1500M -jar ROOT/solvers/PB/PB06final/user5/sat4jPseudoPlus.jar ROOT/tmp/node82/43941-1149334266/instance-43941-1149334266.opb 509812925

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  afb312a519ee7dfceb0c5aec9cb860b5

RANDOM SEED= 509812925


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1670656 kB
Buffers:         13940 kB
Cached:         306864 kB
SwapCached:       2740 kB
Active:          68620 kB
Inactive:       260924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1670656 kB
SwapTotal:     4096564 kB
SwapFree:      4087504 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14632 kB
Slab:            42052 kB
Committed_AS:   372484 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node82 on Sat Jun  3 12:00:46 UTC 2006