Trace number 44068

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)-3076 1800.4 1793.51

General information on the benchmark

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

Verifier Data (download as text)

OK	-3076

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 0.97 3/64 32398
/proc/meminfo: memFree=1871472/2055920 swapFree=4180888/4192956
[pid=32398] ppid=32396 vsize=308 CPUtime=0
/proc/32398/stat : 32398 (java) R 32396 32398 32352 0 -1 0 54 0 0 0 0 0 0 0 19 0 1 0 193057284 315392 37 18446744073709551615 134512640 134570276 4294956624 18446744073709551615 7862925 0 0 4096 0 0 0 0 17 1 0 0
/proc/32398/statm: 77 40 31 14 0 5 0

[startup+10.0031 s]
/proc/loadavg: 0.99 0.98 0.97 2/76 32415
/proc/meminfo: memFree=1691288/2055920 swapFree=4180888/4192956
[pid=32398] ppid=32396 vsize=1713256 CPUtime=11.4
/proc/32398/stat : 32398 (java) R 32396 32398 32352 0 -1 0 49890 0 1 0 1115 25 0 0 25 0 13 0 193057284 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433187 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32398/statm: 428314 46842 1910 14 0 415061 0
[pid=32398/tid=32399] ppid=32396 vsize=1713256 CPUtime=0.21
/proc/32398/task/32399/stat : 32399 (java) S 32396 32398 32352 0 -1 64 5037 0 0 0 19 2 0 0 15 0 13 0 193057287 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32400] ppid=32396 vsize=1713256 CPUtime=0.21
/proc/32398/task/32400/stat : 32400 (java) S 32396 32398 32352 0 -1 64 4791 0 0 0 18 3 0 0 16 0 13 0 193057287 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32401] ppid=32396 vsize=1713256 CPUtime=0
/proc/32398/task/32401/stat : 32401 (java) S 32396 32398 32352 0 -1 64 25 0 0 0 0 0 0 0 16 0 13 0 193057290 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32402] ppid=32396 vsize=1713256 CPUtime=0
/proc/32398/task/32402/stat : 32402 (java) S 32396 32398 32352 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193057290 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32403] ppid=32396 vsize=1713256 CPUtime=0
/proc/32398/task/32403/stat : 32403 (java) S 32396 32398 32352 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193057290 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1713256 CPUtime=0
/proc/32398/task/32404/stat : 32404 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193057294 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=1713256 CPUtime=0
/proc/32398/task/32405/stat : 32405 (java) S 32396 32398 32352 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 193057294 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32406] ppid=32396 vsize=1713256 CPUtime=0.73
/proc/32398/task/32406/stat : 32406 (java) S 32396 32398 32352 0 -1 64 1197 0 0 0 73 0 0 0 16 0 13 0 193057294 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32407] ppid=32396 vsize=1713256 CPUtime=0.87
/proc/32398/task/32407/stat : 32407 (java) S 32396 32398 32352 0 -1 64 1909 0 0 0 87 0 0 0 16 0 13 0 193057294 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32408] ppid=32396 vsize=1713256 CPUtime=0
/proc/32398/task/32408/stat : 32408 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193057294 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32409] ppid=32396 vsize=1713256 CPUtime=0
/proc/32398/task/32409/stat : 32409 (java) S 32396 32398 32352 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193057294 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32415] ppid=32396 vsize=1713256 CPUtime=0
/proc/32398/task/32415/stat : 32415 (java) S 32396 32398 32352 0 -1 64 0 0 0 0 0 0 0 0 23 0 13 0 193057620 1754374144 46842 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.4
Current children cumulated vsize (Kb) 1713256

[startup+20.0101 s]
/proc/loadavg: 0.99 0.98 0.97 2/76 32416
/proc/meminfo: memFree=1688344/2055920 swapFree=4180888/4192956
[pid=32398] ppid=32396 vsize=1714280 CPUtime=21.48
/proc/32398/stat : 32398 (java) R 32396 32398 32352 0 -1 0 51753 0 1 0 2122 26 0 0 25 0 13 0 193057284 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071615834 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32398/statm: 428570 47545 1910 14 0 415317 0
[pid=32398/tid=32399] ppid=32396 vsize=1714280 CPUtime=0.24
/proc/32398/task/32399/stat : 32399 (java) S 32396 32398 32352 0 -1 64 5734 0 0 0 22 2 0 0 16 0 13 0 193057287 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32400] ppid=32396 vsize=1714280 CPUtime=0.24
/proc/32398/task/32400/stat : 32400 (java) S 32396 32398 32352 0 -1 64 5526 0 0 0 21 3 0 0 16 0 13 0 193057287 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32401] ppid=32396 vsize=1714280 CPUtime=0.01
/proc/32398/task/32401/stat : 32401 (java) S 32396 32398 32352 0 -1 64 25 0 0 0 1 0 0 0 16 0 13 0 193057290 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32402] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32402/stat : 32402 (java) S 32396 32398 32352 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32403] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32403/stat : 32403 (java) S 32396 32398 32352 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32404/stat : 32404 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193057294 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32405/stat : 32405 (java) S 32396 32398 32352 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 193057294 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32406] ppid=32396 vsize=1714280 CPUtime=0.77
/proc/32398/task/32406/stat : 32406 (java) S 32396 32398 32352 0 -1 64 1617 0 0 0 77 0 0 0 17 0 13 0 193057294 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32407] ppid=32396 vsize=1714280 CPUtime=0.87
/proc/32398/task/32407/stat : 32407 (java) S 32396 32398 32352 0 -1 64 1909 0 0 0 87 0 0 0 16 0 13 0 193057294 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32408] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32408/stat : 32408 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193057294 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32409] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32409/stat : 32409 (java) S 32396 32398 32352 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193057294 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32416] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32416/stat : 32416 (java) S 32396 32398 32352 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 193058984 1755422720 47545 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 21.48
Current children cumulated vsize (Kb) 1714280

[startup+30.0171 s]
/proc/loadavg: 0.99 0.98 0.97 2/76 32416
/proc/meminfo: memFree=1702808/2055920 swapFree=4180888/4192956
[pid=32398] ppid=32396 vsize=1714280 CPUtime=31.49
/proc/32398/stat : 32398 (java) R 32396 32398 32352 0 -1 0 51976 0 1 0 3122 27 0 0 25 0 13 0 193057284 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071616381 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32398/statm: 428570 43943 1910 14 0 415317 0
[pid=32398/tid=32399] ppid=32396 vsize=1714280 CPUtime=0.25
/proc/32398/task/32399/stat : 32399 (java) S 32396 32398 32352 0 -1 64 5828 0 0 0 23 2 0 0 16 0 13 0 193057287 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32400] ppid=32396 vsize=1714280 CPUtime=0.25
/proc/32398/task/32400/stat : 32400 (java) S 32396 32398 32352 0 -1 64 5642 0 0 0 22 3 0 0 16 0 13 0 193057287 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32401] ppid=32396 vsize=1714280 CPUtime=0.01
/proc/32398/task/32401/stat : 32401 (java) S 32396 32398 32352 0 -1 64 25 0 0 0 1 0 0 0 16 0 13 0 193057290 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32402] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32402/stat : 32402 (java) S 32396 32398 32352 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32403] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32403/stat : 32403 (java) S 32396 32398 32352 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32404/stat : 32404 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193057294 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32405/stat : 32405 (java) S 32396 32398 32352 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 193057294 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32406] ppid=32396 vsize=1714280 CPUtime=0.77
/proc/32398/task/32406/stat : 32406 (java) S 32396 32398 32352 0 -1 64 1617 0 0 0 77 0 0 0 17 0 13 0 193057294 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32407] ppid=32396 vsize=1714280 CPUtime=0.87
/proc/32398/task/32407/stat : 32407 (java) S 32396 32398 32352 0 -1 64 1909 0 0 0 87 0 0 0 16 0 13 0 193057294 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32408] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32408/stat : 32408 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193057294 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32409] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32409/stat : 32409 (java) S 32396 32398 32352 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193057294 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32416] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32416/stat : 32416 (java) S 32396 32398 32352 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 193058984 1755422720 43943 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.49
Current children cumulated vsize (Kb) 1714280

[startup+40.024 s]
/proc/loadavg: 0.99 0.98 0.97 2/76 32416
/proc/meminfo: memFree=1714584/2055920 swapFree=4180888/4192956
[pid=32398] ppid=32396 vsize=1714280 CPUtime=41.5
/proc/32398/stat : 32398 (java) R 32396 32398 32352 0 -1 0 52252 0 1 0 4122 28 0 0 20 0 13 0 193057284 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071626004 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32398/statm: 428570 41009 1910 14 0 415317 0
[pid=32398/tid=32399] ppid=32396 vsize=1714280 CPUtime=0.27
/proc/32398/task/32399/stat : 32399 (java) S 32396 32398 32352 0 -1 64 5989 0 0 0 24 3 0 0 16 0 13 0 193057287 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32400] ppid=32396 vsize=1714280 CPUtime=0.26
/proc/32398/task/32400/stat : 32400 (java) S 32396 32398 32352 0 -1 64 5742 0 0 0 23 3 0 0 16 0 13 0 193057287 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32401] ppid=32396 vsize=1714280 CPUtime=0.02
/proc/32398/task/32401/stat : 32401 (java) S 32396 32398 32352 0 -1 64 25 0 0 0 1 1 0 0 15 0 13 0 193057290 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32402] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32402/stat : 32402 (java) S 32396 32398 32352 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32403] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32403/stat : 32403 (java) S 32396 32398 32352 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32404/stat : 32404 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193057294 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32405/stat : 32405 (java) S 32396 32398 32352 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 193057294 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32406] ppid=32396 vsize=1714280 CPUtime=0.77
/proc/32398/task/32406/stat : 32406 (java) S 32396 32398 32352 0 -1 64 1617 0 0 0 77 0 0 0 17 0 13 0 193057294 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32407] ppid=32396 vsize=1714280 CPUtime=0.87
/proc/32398/task/32407/stat : 32407 (java) S 32396 32398 32352 0 -1 64 1909 0 0 0 87 0 0 0 16 0 13 0 193057294 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32408] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32408/stat : 32408 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193057294 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32409] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32409/stat : 32409 (java) S 32396 32398 32352 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193057294 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32416] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32416/stat : 32416 (java) S 32396 32398 32352 0 -1 64 0 0 0 0 0 0 0 0 25 0 13 0 193058984 1755422720 41009 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 41.5
Current children cumulated vsize (Kb) 1714280

[startup+50.031 s]
/proc/loadavg: 0.99 0.98 0.97 2/76 32416
/proc/meminfo: memFree=1721560/2055920 swapFree=4180888/4192956
[pid=32398] ppid=32396 vsize=1714280 CPUtime=51.51
/proc/32398/stat : 32398 (java) R 32396 32398 32352 0 -1 0 52523 0 1 0 5123 28 0 0 20 0 13 0 193057284 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071433046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32398/statm: 428570 39262 1910 14 0 415317 0
[pid=32398/tid=32399] ppid=32396 vsize=1714280 CPUtime=0.29
/proc/32398/task/32399/stat : 32399 (java) S 32396 32398 32352 0 -1 64 6127 0 0 0 26 3 0 0 16 0 13 0 193057287 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32400] ppid=32396 vsize=1714280 CPUtime=0.28
/proc/32398/task/32400/stat : 32400 (java) S 32396 32398 32352 0 -1 64 5860 0 0 0 25 3 0 0 16 0 13 0 193057287 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32401] ppid=32396 vsize=1714280 CPUtime=0.02
/proc/32398/task/32401/stat : 32401 (java) S 32396 32398 32352 0 -1 64 25 0 0 0 1 1 0 0 16 0 13 0 193057290 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32402] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32402/stat : 32402 (java) S 32396 32398 32352 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32403] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32403/stat : 32403 (java) S 32396 32398 32352 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32404/stat : 32404 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193057294 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32405/stat : 32405 (java) S 32396 32398 32352 0 -1 64 3 0 0 0 0 0 0 0 17 0 13 0 193057294 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32406] ppid=32396 vsize=1714280 CPUtime=0.77
/proc/32398/task/32406/stat : 32406 (java) S 32396 32398 32352 0 -1 64 1617 0 0 0 77 0 0 0 17 0 13 0 193057294 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32407] ppid=32396 vsize=1714280 CPUtime=0.87
/proc/32398/task/32407/stat : 32407 (java) S 32396 32398 32352 0 -1 64 1909 0 0 0 87 0 0 0 16 0 13 0 193057294 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32408] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32408/stat : 32408 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193057294 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32409] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32409/stat : 32409 (java) S 32396 32398 32352 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193057294 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32416] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32416/stat : 32416 (java) S 32396 32398 32352 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 193058984 1755422720 39262 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.51
Current children cumulated vsize (Kb) 1714280

[startup+60.038 s]
/proc/loadavg: 0.99 0.98 0.97 2/76 32417
/proc/meminfo: memFree=1718544/2055920 swapFree=4180888/4192956
[pid=32398] ppid=32396 vsize=1714280 CPUtime=61.62
/proc/32398/stat : 32398 (java) R 32396 32398 32352 0 -1 0 54147 0 1 0 6133 29 0 0 23 0 13 0 193057284 1755422720 40054 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071624269 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32398/statm: 428570 40054 1910 14 0 415317 0
[pid=32398/tid=32399] ppid=32396 vsize=1714280 CPUtime=0.33
/proc/32398/task/32399/stat : 32399 (java) S 32396 32398 32352 0 -1 64 6992 0 0 0 30 3 0 0 16 0 13 0 193057287 1755422720 40054 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32400] ppid=32396 vsize=1714280 CPUtime=0.33
/proc/32398/task/32400/stat : 32400 (java) S 32396 32398 32352 0 -1 64 6605 0 0 0 29 4 0 0 16 0 13 0 193057287 1755422720 40054 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32401] ppid=32396 vsize=1714280 CPUtime=0.02
/proc/32398/task/32401/stat : 32401 (java) S 32396 32398 32352 0 -1 64 25 0 0 0 1 1 0 0 15 0 13 0 193057290 1755422720 40054 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32402] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32402/stat : 32402 (java) S 32396 32398 32352 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 40054 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32403] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32403/stat : 32403 (java) S 32396 32398 32352 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 40054 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32404/stat : 32404 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193057294 1755422720 40054 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0

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

[pid=32398/tid=32402] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32402/stat : 32402 (java) S 32396 32398 32352 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32403] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32403/stat : 32403 (java) S 32396 32398 32352 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32404/stat : 32404 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32405/stat : 32405 (java) S 32396 32398 32352 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32406] ppid=32396 vsize=1714280 CPUtime=0.84
/proc/32398/task/32406/stat : 32406 (java) S 32396 32398 32352 0 -1 64 1618 0 0 0 84 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32407] ppid=32396 vsize=1714280 CPUtime=1
/proc/32398/task/32407/stat : 32407 (java) S 32396 32398 32352 0 -1 64 1923 0 0 0 100 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32408] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32408/stat : 32408 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32409] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32409/stat : 32409 (java) S 32396 32398 32352 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32418] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32418/stat : 32418 (java) S 32396 32398 32352 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 193064866 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1796.03
Current children cumulated vsize (Kb) 1714280

[startup+1790.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 32613
/proc/meminfo: memFree=1303376/2055920 swapFree=4180888/4192956
[pid=32398] ppid=32396 vsize=1714280 CPUtime=1797.04
/proc/32398/stat : 32398 (java) R 32396 32398 32352 0 -1 0 320574 0 1 0 179508 196 0 0 25 0 13 0 193057284 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071551658 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32398/statm: 428570 143252 1910 14 0 415317 0
[pid=32398/tid=32399] ppid=32396 vsize=1714280 CPUtime=6.19
/proc/32398/task/32399/stat : 32399 (java) S 32396 32398 32352 0 -1 64 84335 0 0 0 571 48 0 0 16 0 13 0 193057287 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32400] ppid=32396 vsize=1714280 CPUtime=6.17
/proc/32398/task/32400/stat : 32400 (java) S 32396 32398 32352 0 -1 64 83863 0 0 0 566 51 0 0 16 0 13 0 193057287 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32401] ppid=32396 vsize=1714280 CPUtime=0.4
/proc/32398/task/32401/stat : 32401 (java) S 32396 32398 32352 0 -1 64 380 0 0 0 19 21 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32402] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32402/stat : 32402 (java) S 32396 32398 32352 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32403] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32403/stat : 32403 (java) S 32396 32398 32352 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32404/stat : 32404 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32405/stat : 32405 (java) S 32396 32398 32352 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32406] ppid=32396 vsize=1714280 CPUtime=0.84
/proc/32398/task/32406/stat : 32406 (java) S 32396 32398 32352 0 -1 64 1618 0 0 0 84 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32407] ppid=32396 vsize=1714280 CPUtime=1
/proc/32398/task/32407/stat : 32407 (java) S 32396 32398 32352 0 -1 64 1923 0 0 0 100 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32408] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32408/stat : 32408 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32409] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32409/stat : 32409 (java) S 32396 32398 32352 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32418] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32418/stat : 32418 (java) S 32396 32398 32352 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 193064866 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1797.04
Current children cumulated vsize (Kb) 1714280

[startup+1791.27 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 32613
/proc/meminfo: memFree=1303376/2055920 swapFree=4180888/4192956
[pid=32398] ppid=32396 vsize=1714280 CPUtime=1798.05
/proc/32398/stat : 32398 (java) R 32396 32398 32352 0 -1 0 320575 0 1 0 179609 196 0 0 20 0 13 0 193057284 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071551615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32398/statm: 428570 143252 1910 14 0 415317 0
[pid=32398/tid=32399] ppid=32396 vsize=1714280 CPUtime=6.19
/proc/32398/task/32399/stat : 32399 (java) S 32396 32398 32352 0 -1 64 84335 0 0 0 571 48 0 0 16 0 13 0 193057287 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32400] ppid=32396 vsize=1714280 CPUtime=6.17
/proc/32398/task/32400/stat : 32400 (java) S 32396 32398 32352 0 -1 64 83863 0 0 0 566 51 0 0 16 0 13 0 193057287 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32401] ppid=32396 vsize=1714280 CPUtime=0.4
/proc/32398/task/32401/stat : 32401 (java) S 32396 32398 32352 0 -1 64 380 0 0 0 19 21 0 0 15 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32402] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32402/stat : 32402 (java) S 32396 32398 32352 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32403] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32403/stat : 32403 (java) S 32396 32398 32352 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32404/stat : 32404 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32405/stat : 32405 (java) S 32396 32398 32352 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32406] ppid=32396 vsize=1714280 CPUtime=0.84
/proc/32398/task/32406/stat : 32406 (java) S 32396 32398 32352 0 -1 64 1618 0 0 0 84 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32407] ppid=32396 vsize=1714280 CPUtime=1
/proc/32398/task/32407/stat : 32407 (java) S 32396 32398 32352 0 -1 64 1923 0 0 0 100 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32408] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32408/stat : 32408 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32409] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32409/stat : 32409 (java) S 32396 32398 32352 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32418] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32418/stat : 32418 (java) S 32396 32398 32352 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 193064866 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (Kb) 1714280

[startup+1792.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 32613
/proc/meminfo: memFree=1303376/2055920 swapFree=4180888/4192956
[pid=32398] ppid=32396 vsize=1714280 CPUtime=1799.05
/proc/32398/stat : 32398 (java) R 32396 32398 32352 0 -1 0 320575 0 1 0 179709 196 0 0 25 0 13 0 193057284 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071551818 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32398/statm: 428570 143252 1910 14 0 415317 0
[pid=32398/tid=32399] ppid=32396 vsize=1714280 CPUtime=6.19
/proc/32398/task/32399/stat : 32399 (java) S 32396 32398 32352 0 -1 64 84335 0 0 0 571 48 0 0 16 0 13 0 193057287 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32400] ppid=32396 vsize=1714280 CPUtime=6.17
/proc/32398/task/32400/stat : 32400 (java) S 32396 32398 32352 0 -1 64 83863 0 0 0 566 51 0 0 16 0 13 0 193057287 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32401] ppid=32396 vsize=1714280 CPUtime=0.4
/proc/32398/task/32401/stat : 32401 (java) S 32396 32398 32352 0 -1 64 380 0 0 0 19 21 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32402] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32402/stat : 32402 (java) S 32396 32398 32352 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32403] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32403/stat : 32403 (java) S 32396 32398 32352 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32404/stat : 32404 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32405/stat : 32405 (java) S 32396 32398 32352 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32406] ppid=32396 vsize=1714280 CPUtime=0.84
/proc/32398/task/32406/stat : 32406 (java) S 32396 32398 32352 0 -1 64 1618 0 0 0 84 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32407] ppid=32396 vsize=1714280 CPUtime=1
/proc/32398/task/32407/stat : 32407 (java) S 32396 32398 32352 0 -1 64 1923 0 0 0 100 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32408] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32408/stat : 32408 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32409] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32409/stat : 32409 (java) S 32396 32398 32352 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32418] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32418/stat : 32418 (java) S 32396 32398 32352 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 193064866 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1799.05
Current children cumulated vsize (Kb) 1714280

[startup+1793.28 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 32613
/proc/meminfo: memFree=1303376/2055920 swapFree=4180888/4192956
[pid=32398] ppid=32396 vsize=1714280 CPUtime=1800.06
/proc/32398/stat : 32398 (java) R 32396 32398 32352 0 -1 0 320575 0 1 0 179810 196 0 0 25 0 13 0 193057284 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071551611 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32398/statm: 428570 143252 1910 14 0 415317 0
[pid=32398/tid=32399] ppid=32396 vsize=1714280 CPUtime=6.19
/proc/32398/task/32399/stat : 32399 (java) S 32396 32398 32352 0 -1 64 84335 0 0 0 571 48 0 0 16 0 13 0 193057287 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32400] ppid=32396 vsize=1714280 CPUtime=6.17
/proc/32398/task/32400/stat : 32400 (java) S 32396 32398 32352 0 -1 64 83863 0 0 0 566 51 0 0 16 0 13 0 193057287 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32401] ppid=32396 vsize=1714280 CPUtime=0.4
/proc/32398/task/32401/stat : 32401 (java) S 32396 32398 32352 0 -1 64 380 0 0 0 19 21 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32402] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32402/stat : 32402 (java) S 32396 32398 32352 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32403] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32403/stat : 32403 (java) S 32396 32398 32352 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32404/stat : 32404 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32405/stat : 32405 (java) S 32396 32398 32352 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32406] ppid=32396 vsize=1714280 CPUtime=0.84
/proc/32398/task/32406/stat : 32406 (java) S 32396 32398 32352 0 -1 64 1618 0 0 0 84 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32407] ppid=32396 vsize=1714280 CPUtime=1
/proc/32398/task/32407/stat : 32407 (java) S 32396 32398 32352 0 -1 64 1923 0 0 0 100 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32408] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32408/stat : 32408 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32409] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32409/stat : 32409 (java) S 32396 32398 32352 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32418] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32418/stat : 32418 (java) S 32396 32398 32352 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 193064866 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (Kb) 1714280



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.29 s]
/proc/loadavg: 1.00 1.00 1.00 2/76 32613
/proc/meminfo: memFree=1303376/2055920 swapFree=4180888/4192956
[pid=32398] ppid=32396 vsize=1714280 CPUtime=1800.06
/proc/32398/stat : 32398 (java) R 32396 32398 32352 0 -1 0 320575 0 1 0 179810 196 0 0 25 0 13 0 193057284 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4071551793 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32398/statm: 428570 143252 1910 14 0 415317 0
[pid=32398/tid=32399] ppid=32396 vsize=1714280 CPUtime=6.19
/proc/32398/task/32399/stat : 32399 (java) S 32396 32398 32352 0 -1 64 84335 0 0 0 571 48 0 0 16 0 13 0 193057287 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32400] ppid=32396 vsize=1714280 CPUtime=6.17
/proc/32398/task/32400/stat : 32400 (java) S 32396 32398 32352 0 -1 64 83863 0 0 0 566 51 0 0 16 0 13 0 193057287 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32401] ppid=32396 vsize=1714280 CPUtime=0.4
/proc/32398/task/32401/stat : 32401 (java) S 32396 32398 32352 0 -1 64 380 0 0 0 19 21 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32402] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32402/stat : 32402 (java) S 32396 32398 32352 0 -1 64 9 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32403] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32403/stat : 32403 (java) S 32396 32398 32352 0 -1 64 5 0 0 0 0 0 0 0 16 0 13 0 193057290 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32404] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32404/stat : 32404 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 24 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32405] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32405/stat : 32405 (java) S 32396 32398 32352 0 -1 64 3 0 0 0 0 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32406] ppid=32396 vsize=1714280 CPUtime=0.84
/proc/32398/task/32406/stat : 32406 (java) S 32396 32398 32352 0 -1 64 1618 0 0 0 84 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32407] ppid=32396 vsize=1714280 CPUtime=1
/proc/32398/task/32407/stat : 32407 (java) S 32396 32398 32352 0 -1 64 1923 0 0 0 100 0 0 0 16 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32408] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32408/stat : 32408 (java) S 32396 32398 32352 0 -1 64 1 0 0 0 0 0 0 0 25 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32398/tid=32409] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32409/stat : 32409 (java) S 32396 32398 32352 0 -1 64 2 0 0 0 0 0 0 0 15 0 13 0 193057294 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32398/tid=32418] ppid=32396 vsize=1714280 CPUtime=0
/proc/32398/task/32418/stat : 32418 (java) S 32396 32398 32352 0 -1 64 0 0 0 0 0 0 0 0 16 0 13 0 193064866 1755422720 143252 18446744073709551615 134512640 134570276 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (Kb) 1714280

Sending SIGTERM to -32398
Sleeping 2 seconds

Child status: 143
Real time (s): 1793.51
CPU time (s): 1800.4
CPU user time (s): 1798.34
CPU system time (s): 2.05569
CPU usage (%): 100.384
Max. virtual memory (cumulated for all children) (Kb): 1714280

Launcher Data (download as text)

Begin job on node18 on Fri Jun  2 18:45:43 UTC 2006


FILE ID= 44068-1149273943

PBS_JOBID= 301371

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

MD5SUM SOLVER= e9637a7554f3ecdf74c1815f89d00213
MD5SUM BENCH=  7ddc5796bc843f2bf9bc94a0b22fd8e4

RANDOM SEED= 25502560


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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
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:       1871680 kB
Buffers:         11280 kB
Cached:         107912 kB
SwapCached:       3684 kB
Active:          41252 kB
Inactive:        86632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1871680 kB
SwapTotal:     4192956 kB
SwapFree:      4180888 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14680 kB
Slab:            42368 kB
Committed_AS:   289128 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node18 on Fri Jun  2 19:15:37 UTC 2006