PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/submitted/een/normalized-p2756.opb
MD5SUM	f3d955cf36894e7107b7f25ccaa97360
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	7463
Optimality of the best value was proved	NO
Number of terms in the objective function	2166
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	321831
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	321831
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04884
Number of variables	2734
Total number of constraints	738
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	220
Number of constraints which are nor clauses,nor cardinality constraints	386
Minimum length of a constraint	2
Maximum length of a constraint	535
Trace number 29411

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-25 07:21:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20803 boxname=wulflinc28 idbench=393 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  f3d955cf36894e7107b7f25ccaa97360  /oldhome/oroussel/tmp/wulflinc28/normalized-p2756.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc28/normalized-p2756.opb
IDLAUNCH: 20803
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        726256 kB
Buffers:         23200 kB
Cached:         264272 kB
SwapCached:       1052 kB
Active:          34352 kB
Inactive:       255616 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        726004 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5464 kB
Slab:            12812 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 07:42:02 (client local time) WITH STATUS 143 IN 1253.37 SECONDS
stats: 20803 0 1253.37 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-p2756.opb
c reading problem ... done. Time 4.766 ms.
c #vars     2741
c #constraints  738
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=              119538 		Current CPU time: 11.06 ms
c CURRENT OPTIMUM=              119340 		Current CPU time: 12.34 ms
c CURRENT OPTIMUM=              119148 		Current CPU time: 102.66 ms
c CURRENT OPTIMUM=               27756 		Current CPU time: 104.38 ms
c CURRENT OPTIMUM=               27755 		Current CPU time: 147.87 ms
c CURRENT OPTIMUM=               27747 		Current CPU time: 355.70 ms
c CURRENT OPTIMUM=               20593 		Current CPU time: 363.57 ms
c starts	: 8
c conflicts	: 219
c decisions	: 31141
c propagations	: 53052
c inspects	: 67795
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 218
c root simplifications	: 19
s SATISFIABLE
v -x0 -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 -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 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 x370 x371 -x372 -x373 -x374 -x375 x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882 -x883 x884 x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 x895 -x896 -x897 x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 x1009 x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 x1020 -x1021 -x1022 x1023 -x1024 x1025 x1026 x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 x1310 x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 x1500 -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 x1942 -x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 x1977 -x1978 -x1979 -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048 -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068 x2069 -x2070 -x2071 x2072 -x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 x2141 -x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 x2163 -x2164 -x2165 -x2643 -x2644 -x2640 x2641 -x2635 x2636 -x2632 -x2633 -x2629 x2630 -x2626 -x2627 -x2623 x2624 -x2618 -x2619 -x2614 x2615 -x2611 -x2612 -x2608 -x2609 -x2477 x2478 -x2474 x2475 -x2471 -x2472 -x2467 -x2468 -x2463 -x2464 -x2555 x2556 -x2560 -x2561 -x2564 -x2565 -x2568 -x2569 -x2572 -x2573 -x2583 -x2584 -x2587 -x2588 -x2590 -x2591 -x2593 x2594 -x2597 -x2598 -x2604 x2605 -x2507 x2508 -x2504 -x2505 -x2501 -x2502 -x2498 -x2499 -x2494 -x2495 -x2490 -x2491 -x2485 -x2486 -x2480 -x2481 -x2458 x2459 -x2453 -x2454 -x2448 -x2449 -x2444 x2445 -x2437 -x2438 -x2432 x2433 -x2425 -x2426 -x2419 -x2420 -x2413 -x2414 -x2405 -x2406 -x2399 x2400 -x2378 -x2379 -x2371 x2372 -x2366 x2367 -x2363 x2364 -x2360 -x2361 -x2357 x2358 -x2352 -x2353 -x2348 -x2349 -x2345 -x2346 -x2342 -x2343 -x2331 x2332 -x2328 x2329 -x2325 -x2326 -x2322 x2323 -x2175 x2176 -x2171 -x2172 -x2250 x2251 -x2263 -x2264 -x2266 -x2267 -x2269 -x2270 -x2272 -x2273 -x2276 -x2277 -x2284 x2285 -x2287 -x2288 -x2290 -x2291 -x2293 -x2294 -x2296 -x2297 -x2307 x2308 x2310 -x2311 -x2313 -x2314 -x2317 -x2318 -x2392 -x2393 -x2386 x2387 -x2235 -x2236 -x2231 x2232 -x2227 -x2228 -x2223 x2224 -x2219 -x2220 -x2214 -x2215 -x2202 x2203 -x2198 -x2199 -x2194 x2195 -x2191 -x2192 -x2187 x2188 -x2183 x2184 -x2179 -x2180 -x2166 x2167 -x2246 -x2247 -x2242 -x2243 -x2239 -x2240 -x2578 -x2404 x2258 x2208 -x2647 -x2256 -x2257 -x2212 x2190 -x2193 -x2390 -x2435 x2752 -x2753 -x2301 -x2170 -x2169 -x2173 -x2174 -x2218 -x2217 -x2221 -x2222 x2238 -x2241 -x2336 -x2305 -x2648 -x2649 -x2340 -x2337 -x2302 -x2754 x2750 -x2751 -x2245 -x2237 -x2216 -x2197 -x2189 -x2168 -x2391 -x2389 -x2394 -x2397 -x2395 -x2396 -x2398 -x2376 -x2375 -x2377 -x2374 -x2380 -x2384 -x2382 -x2383 -x2381 -x2385 x2338 -x2339 x2303 -x2304 -x2559 -x2558 -x2562 -x2563 -x2225 x2226 -x2177 -x2178 -x2607 -x2610 -x2628 -x2586 -x2589 -x2489 -x2488 -x2492 -x2493 -x2462 -x2461 -x2465 -x2466 -x2452 -x2455 -x2436 -x2439 -x2442 -x2440 -x2441 -x2443 -x2424 -x2423 -x2422 -x2427 -x2430 -x2428 -x2429 -x2431 -x2412 -x2415 -x2416 -x2204 -x2205 -x2233 -x2234 -x2298 x2185 -x2186 -x2252 -x2253 x2456 -x2457 -x2417 -x2418 -x2275 -x2278 -x2279 x2702 x2703 -x2704 -x2292 -x2320 -x2321 -x2295 -x2566 -x2658 -x2659 -x2660 -x2663 -x2662 -x2661 -x2664 -x2403 -x2407 -x2410 -x2408 -x2409 -x2402 -x2411 -x2631 -x2280 -x2282 -x2281 -x2283 -x2274 -x2271 -x2670 -x2669 -x2672 -x2671 -x2673 -x2674 -x2675 -x2676 -x2679 -x2678 -x2677 -x2680 -x2312 -x2685 -x2686 -x2687 -x2362 -x2592 -x2369 -x2370 -x2613 -x2700 -x2701 -x2355 -x2356 -x2654 -x2653 -x2656 -x2655 -x2657 x2543 -x2544 -x2447 -x2450 -x2451 x2697 x2698 -x2699 -x2551 -x2552 -x2710 -x2709 -x2712 -x2711 -x2713 -x2726 -x2725 -x2728 -x2727 -x2729 -x2347 -x2690 -x2691 -x2692 -x2688 -x2689 -x2716 -x2718 -x2717 -x2719 -x2714 -x2715 -x2732 -x2734 -x2733 -x2735 -x2299 -x2300 -x2327 -x2334 -x2335 -x2730 -x2731 x2341 -x2344 x2681 -x2682 x2373 -x2683 -x2684 -x2359 -x2606 -x2651 -x2652 -x2625 x2388 -x2693 -x2694 -x2720 -x2721 -x2722 x2401 -x2324 x2309 -x2665 -x2666 -x2421 -x2667 -x2668 -x2557 x2434 x2446 -x2289 -x2695 -x2696 -x2268 -x2723 -x2724 -x2645 x2736 -x2737 -x2201 -x2513 x2705 -x2706 -x2249 -x2585 -x2707 -x2708 -x2210 -x2254 -x2260 -x2206 -x2181 -x2229 -x2230 -x2571 -x2575 -x2574 -x2576 -x2596 x2599 -x2600 -x2514 -x2182 -x2637 -x2482 x2286 -x2617 -x2620 -x2262 -x2265 -x2509 x2740 -x2741 x2746 x2747 -x2567 -x2570 -x2316 -x2319 -x2333 -x2351 -x2354 -x2638 -x2639 -x2368 -x2634 -x2621 -x2622 -x2601 -x2602 -x2603 -x2595 -x2616 -x2577 -x2581 -x2580 -x2579 -x2582 -x2315 -x2642 -x2365 -x2534 -x2535 -x2536 -x2521 -x2525 -x2523 -x2524 -x2522 -x2526 -x2350 -x2515 -x2330 -x2512 x2744 -x2745 -x2738 -x2739 -x2547 -x2548 x2549 x2550 x2553 -x2554 x2742 x2743 x2748 -x2749 x2460 -x2469 -x2487 -x2496 -x2545 -x2546 x2541 x2542 -x2539 -x2540 x2537 -x2538 x2532 -x2533 x2530 x2531 -x2527 -x2528 -x2529 -x2519 -x2520 -x2516 -x2517 -x2518 -x2497 -x2500 -x2470 -x2473 x2510 x2511 x2483 x2484 -x2506 -x2479 -x2503 -x2476 
c objectif function=20593
c Total CPU time (ms) : 1239.368
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.99 2/54 3459
Raw data (stat): 3459 (runsolver) R 3458 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837043816 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0196 s]
Raw data (loadavg): 1.18 1.03 1.01 3/64 3469
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18062 0 1 0 660 40 0 0 25 0 11 0 837043816 860377088 20683 4294967295 134512640 134569956 3221224384 3221214772 1130917357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210053 20683 13086 16 0 210037 0
vsize: 840212
[startup+20.0822 s]
Raw data (loadavg): 1.15 1.03 1.01 2/64 3471
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18114 4 1 0 1494 41 0 0 25 0 11 0 837043816 864870400 22218 4294967295 134512640 134569956 3221224384 3221214408 1131611715 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211150 22218 13086 16 0 211134 0
vsize: 844600
[startup+30.0819 s]
Raw data (loadavg): 1.20 1.05 1.01 2/64 3471
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 2451 41 0 0 25 0 11 0 837043816 863281152 21844 4294967295 134512640 134569956 3221224384 3221214440 1130917154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 21844 13086 16 0 210746 0
vsize: 843048
[startup+40.0829 s]
Raw data (loadavg): 1.17 1.04 1.01 2/64 3471
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 3404 41 0 0 25 0 11 0 837043816 863281152 22029 4294967295 134512640 134569956 3221224384 3221214592 1131486186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 22029 13086 16 0 210746 0
vsize: 843048
[startup+50.0831 s]
Raw data (loadavg): 1.15 1.04 1.01 2/64 3471
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 4367 41 0 0 25 0 11 0 837043816 863281152 22104 4294967295 134512640 134569956 3221224384 3221214592 1131486602 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 22104 13086 16 0 210746 0
vsize: 843048
[startup+60.0834 s]
Raw data (loadavg): 1.12 1.04 1.01 2/64 3471
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 5316 42 0 0 25 0 11 0 837043816 863281152 22448 4294967295 134512640 134569956 3221224384 3221214488 1131268864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 22448 13086 16 0 210746 0
vsize: 843048
[startup+70.084 s]
Raw data (loadavg): 1.10 1.04 1.01 2/64 3471
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 6270 42 0 0 25 0 11 0 837043816 863281152 22448 4294967295 134512640 134569956 3221224384 3221214600 1131490449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 22448 13086 16 0 210746 0
vsize: 843048
[startup+80.0842 s]
Raw data (loadavg): 1.09 1.04 1.01 2/64 3471
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 7229 42 0 0 25 0 11 0 837043816 863281152 22887 4294967295 134512640 134569956 3221224384 3221214572 1130885175 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 22887 13086 16 0 210746 0
vsize: 843048
[startup+90.0879 s]
Raw data (loadavg): 1.07 1.03 1.01 2/64 3471
Raw data (stat): 3459 (java) S 3458 24821 24820 0 -1 0 18115 4 1 0 8199 42 0 0 25 0 11 0 837043816 863281152 22971 4294967295 134512640 134569956 3221224384 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 22971 13086 16 0 210746 0
vsize: 843048
[startup+100.088 s]
Raw data (loadavg): 1.06 1.03 1.01 2/64 3471
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 9171 42 0 0 25 0 11 0 837043816 863281152 23055 4294967295 134512640 134569956 3221224384 3221214616 1131202585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23055 13086 16 0 210746 0
vsize: 843048
[startup+110.088 s]
Raw data (loadavg): 1.05 1.03 1.01 2/64 3473
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 10147 42 0 0 25 0 11 0 837043816 863281152 23102 4294967295 134512640 134569956 3221224384 3221214488 1131269011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23102 13086 16 0 210746 0
vsize: 843048
[startup+120.088 s]
Raw data (loadavg): 1.04 1.03 1.01 2/64 3473
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 11115 42 0 0 25 0 11 0 837043816 863281152 23222 4294967295 134512640 134569956 3221224384 3221214496 1131268864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23222 13086 16 0 210746 0
vsize: 843048
[startup+130.088 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 3473
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 12080 42 0 0 25 0 11 0 837043816 863281152 23222 4294967295 134512640 134569956 3221224384 3221214600 1131489857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23222 13086 16 0 210746 0
vsize: 843048
[startup+140.088 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 3473
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 13050 42 0 0 25 0 11 0 837043816 863281152 23376 4294967295 134512640 134569956 3221224384 3221214600 1131489557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23376 13086 16 0 210746 0
vsize: 843048
[startup+150.09 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 14021 42 0 0 25 0 11 0 837043816 863281152 23415 4294967295 134512640 134569956 3221224384 3221214464 1131262619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23415 13086 16 0 210746 0
vsize: 843048
[startup+160.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 14983 42 0 0 25 0 11 0 837043816 863281152 23542 4294967295 134512640 134569956 3221224384 3221214472 1131253944 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23542 13086 16 0 210746 0
vsize: 843048
[startup+170.09 s]
Raw data (loadavg): 1.02 1.02 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 15937 43 0 0 25 0 11 0 837043816 863281152 23618 4294967295 134512640 134569956 3221224384 3221214488 1131268931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23618 13086 16 0 210746 0
vsize: 843048
[startup+180.091 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 16900 43 0 0 25 0 11 0 837043816 863281152 23693 4294967295 134512640 134569956 3221224384 3221214520 1131614270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23693 13086 16 0 210746 0
vsize: 843048
[startup+190.091 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 17854 43 0 0 25 0 11 0 837043816 863281152 23693 4294967295 134512640 134569956 3221224384 3221214600 1131490613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23693 13086 16 0 210746 0
vsize: 843048
[startup+200.091 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 18818 43 0 0 25 0 11 0 837043816 863281152 23731 4294967295 134512640 134569956 3221224384 3221214488 1131269011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23731 13086 16 0 210746 0
vsize: 843048
[startup+210.092 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 19778 43 0 0 24 0 11 0 837043816 863281152 23851 4294967295 134512640 134569956 3221224384 3221214520 1131612825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 23851 13086 16 0 210746 0
vsize: 843048
[startup+220.093 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 20753 43 0 0 25 0 11 0 837043816 863281152 24141 4294967295 134512640 134569956 3221224384 3221214520 1131611659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24141 13086 16 0 210746 0
vsize: 843048
[startup+230.092 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 21738 43 0 0 25 0 11 0 837043816 863281152 24216 4294967295 134512640 134569956 3221224384 3221214592 1131486207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24216 13086 16 0 210746 0
vsize: 843048
[startup+240.094 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 22724 43 0 0 25 0 11 0 837043816 863281152 24332 4294967295 134512640 134569956 3221224384 3221214496 1131269011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24332 13086 16 0 210746 0
vsize: 843048
[startup+250.094 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 23712 43 0 0 25 0 11 0 837043816 863281152 24332 4294967295 134512640 134569956 3221224384 3221214556 1131253920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24332 13086 16 0 210746 0
vsize: 843048
[startup+260.093 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 24697 43 0 0 25 0 11 0 837043816 863281152 24332 4294967295 134512640 134569956 3221224384 3221214488 1131269011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24332 13086 16 0 210746 0
vsize: 843048
[startup+270.094 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 25678 44 0 0 25 0 11 0 837043816 863281152 24332 4294967295 134512640 134569956 3221224384 3221214520 1131611903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24332 13086 16 0 210746 0
vsize: 843048
[startup+280.094 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 26660 44 0 0 25 0 11 0 837043816 863281152 24383 4294967295 134512640 134569956 3221224384 3221214520 1131611903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24383 13086 16 0 210746 0
vsize: 843048
[startup+290.094 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 27639 44 0 0 25 0 11 0 837043816 863281152 24383 4294967295 134512640 134569956 3221224384 3221214592 1131486270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24383 13086 16 0 210746 0
vsize: 843048
[startup+300.095 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 28621 44 0 0 25 0 11 0 837043816 863281152 24517 4294967295 134512640 134569956 3221224384 3221214488 1131268958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24517 13086 16 0 210746 0
vsize: 843048
[startup+310.094 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 29605 44 0 0 25 0 11 0 837043816 863281152 24532 4294967295 134512640 134569956 3221224384 3221214592 1131486167 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24532 13086 16 0 210746 0
vsize: 843048
[startup+320.095 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 30590 44 0 0 24 0 11 0 837043816 863281152 24535 4294967295 134512640 134569956 3221224384 3221214600 1131490162 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24535 13086 16 0 210746 0
vsize: 843048
[startup+330.095 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 31580 44 0 0 25 0 11 0 837043816 863281152 24588 4294967295 134512640 134569956 3221224384 3221214520 1131612794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24588 13086 16 0 210746 0
vsize: 843048
[startup+340.095 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 32571 44 0 0 25 0 11 0 837043816 863281152 24649 4294967295 134512640 134569956 3221224384 3221214520 1131612787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24649 13086 16 0 210746 0
vsize: 843048
[startup+350.096 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3474
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 33567 44 0 0 25 0 11 0 837043816 863281152 24662 4294967295 134512640 134569956 3221224384 3221214624 1131467096 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24662 13086 16 0 210746 0
vsize: 843048
[startup+360.096 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3475
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 34560 44 0 0 25 0 11 0 837043816 863281152 24670 4294967295 134512640 134569956 3221224384 3221214464 1131263436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24670 13086 16 0 210746 0
vsize: 843048
[startup+370.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 35540 44 0 0 25 0 11 0 837043816 863281152 24677 4294967295 134512640 134569956 3221224384 3221214624 1131462812 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24677 13086 16 0 210746 0
vsize: 843048
[startup+380.096 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 36514 45 0 0 25 0 11 0 837043816 863281152 24681 4294967295 134512640 134569956 3221224384 3221214520 1131612835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24681 13086 16 0 210746 0
vsize: 843048
[startup+390.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 37485 45 0 0 25 0 11 0 837043816 863281152 24688 4294967295 134512640 134569956 3221224384 3221214596 1131202555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24688 13086 16 0 210746 0
vsize: 843048
[startup+400.097 s]
Raw data (loadavg): 1.00 1.00 1.00 3/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 38458 45 0 0 25 0 11 0 837043816 863281152 24701 4294967295 134512640 134569956 3221224384 3221214600 1131489778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24701 13086 16 0 210746 0
vsize: 843048
[startup+410.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 39435 45 0 0 24 0 11 0 837043816 863281152 24790 4294967295 134512640 134569956 3221224384 3221214600 1131489560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24790 13086 16 0 210746 0
vsize: 843048
[startup+420.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 40419 45 0 0 25 0 11 0 837043816 863281152 24877 4294967295 134512640 134569956 3221224384 3221214596 1131202544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24877 13086 16 0 210746 0
vsize: 843048
[startup+430.097 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 41410 45 0 0 25 0 11 0 837043816 863281152 24966 4294967295 134512640 134569956 3221224384 3221214600 1131490576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24966 13086 16 0 210746 0
vsize: 843048
[startup+440.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 42405 45 0 0 25 0 11 0 837043816 863281152 24995 4294967295 134512640 134569956 3221224384 3221214496 1131269877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24995 13086 16 0 210746 0
vsize: 843048
[startup+450.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 43395 45 0 0 25 0 11 0 837043816 863281152 24995 4294967295 134512640 134569956 3221224384 3221214488 1131268864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24995 13086 16 0 210746 0
vsize: 843048
[startup+460.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 44379 46 0 0 25 0 11 0 837043816 863281152 24995 4294967295 134512640 134569956 3221224384 3221214632 1131194486 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24995 13086 16 0 210746 0
vsize: 843048
[startup+470.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 45359 46 0 0 25 0 11 0 837043816 863281152 24995 4294967295 134512640 134569956 3221224384 3221214496 1131269011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210762 24995 13086 16 0 210746 0
vsize: 843048
[startup+480.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 46339 46 0 0 25 0 11 0 837043816 863281152 24996 4294967295 134512640 134569956 3221224384 3221214600 1131490186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 24996 13086 16 0 210746 0
vsize: 843048
[startup+490.098 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 47321 46 0 0 25 0 11 0 837043816 863281152 25030 4294967295 134512640 134569956 3221224384 3221214592 1131217241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25030 13086 16 0 210746 0
vsize: 843048
[startup+500.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 48308 46 0 0 25 0 11 0 837043816 863281152 25108 4294967295 134512640 134569956 3221224384 3221214576 1131202585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25108 13086 16 0 210746 0
vsize: 843048
[startup+510.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 49295 46 0 0 25 0 11 0 837043816 863281152 25112 4294967295 134512640 134569956 3221224384 3221214664 1131620312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25112 13086 16 0 210746 0
vsize: 843048
[startup+520.099 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 50289 46 0 0 25 0 11 0 837043816 863281152 25200 4294967295 134512640 134569956 3221224384 3221214600 1131489424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25200 13086 16 0 210746 0
vsize: 843048
[startup+530.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 51277 46 0 0 25 0 11 0 837043816 863281152 25201 4294967295 134512640 134569956 3221224384 3221214488 1131268864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25201 13086 16 0 210746 0
vsize: 843048
[startup+540.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 52264 46 0 0 25 0 11 0 837043816 863281152 25201 4294967295 134512640 134569956 3221224384 3221214592 1131486160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25201 13086 16 0 210746 0
vsize: 843048
[startup+550.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 53251 46 0 0 25 0 11 0 837043816 863281152 25201 4294967295 134512640 134569956 3221224384 3221214520 1131614841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25201 13086 16 0 210746 0
vsize: 843048
[startup+560.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 54235 47 0 0 25 0 11 0 837043816 863281152 25201 4294967295 134512640 134569956 3221224384 3221214496 1131269274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25201 13086 16 0 210746 0
vsize: 843048
[startup+570.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 55221 47 0 0 25 0 11 0 837043816 863281152 25236 4294967295 134512640 134569956 3221224384 3221214600 1131489424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25236 13086 16 0 210746 0
vsize: 843048
[startup+580.101 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 56213 47 0 0 25 0 11 0 837043816 863281152 25313 4294967295 134512640 134569956 3221224384 3221214600 1131489818 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25313 13086 16 0 210746 0
vsize: 843048
[startup+590.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 57199 47 0 0 25 0 11 0 837043816 863281152 25315 4294967295 134512640 134569956 3221224384 3221213856 1131219567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25315 13086 16 0 210746 0
vsize: 843048
[startup+600.103 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 58167 47 0 0 25 0 11 0 837043816 863281152 25330 4294967295 134512640 134569956 3221224384 3221214624 1131463826 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25330 13086 16 0 210746 0
vsize: 843048
[startup+610.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 59127 47 0 0 25 0 11 0 837043816 863281152 25330 4294967295 134512640 134569956 3221224384 3221214600 1131489560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25330 13086 16 0 210746 0
vsize: 843048
[startup+620.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 60084 47 0 0 25 0 11 0 837043816 863281152 25330 4294967295 134512640 134569956 3221224384 3221214592 1131486724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25330 13086 16 0 210746 0
vsize: 843048
[startup+630.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 61032 47 0 0 25 0 11 0 837043816 863281152 25382 4294967295 134512640 134569956 3221224384 3221214784 1131503610 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25382 13086 16 0 210746 0
vsize: 843048
[startup+640.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 61989 47 0 0 25 0 11 0 837043816 863281152 25465 4294967295 134512640 134569956 3221224384 3221214496 1131269188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25465 13086 16 0 210746 0
vsize: 843048
[startup+650.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 62948 47 0 0 25 0 11 0 837043816 863281152 25744 4294967295 134512640 134569956 3221224384 3221214496 1131269011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25744 13086 16 0 210746 0
vsize: 843048
[startup+660.102 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 63924 47 0 0 25 0 11 0 837043816 863281152 25868 4294967295 134512640 134569956 3221224384 3221214600 1131490531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25868 13086 16 0 210746 0
vsize: 843048
[startup+670.106 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) S 3458 24821 24820 0 -1 0 18115 4 1 0 64897 47 0 0 25 0 11 0 837043816 863281152 25868 4294967295 134512640 134569956 3221224384 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25868 13086 16 0 210746 0
vsize: 843048
[startup+680.105 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 65877 47 0 0 25 0 11 0 837043816 863281152 25920 4294967295 134512640 134569956 3221224384 3221214488 1131268931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 25920 13086 16 0 210746 0
vsize: 843048
[startup+690.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 66861 47 0 0 25 0 11 0 837043816 863281152 26069 4294967295 134512640 134569956 3221224384 3221214592 1131486325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26069 13086 16 0 210746 0
vsize: 843048
[startup+700.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 67850 48 0 0 25 0 11 0 837043816 863281152 26069 4294967295 134512640 134569956 3221224384 3221214488 1131268931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26069 13086 16 0 210746 0
vsize: 843048
[startup+710.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 68838 48 0 0 25 0 11 0 837043816 863281152 26069 4294967295 134512640 134569956 3221224384 3221214520 1131611664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26069 13086 16 0 210746 0
vsize: 843048
[startup+720.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 69830 48 0 0 25 0 11 0 837043816 863281152 26157 4294967295 134512640 134569956 3221224384 3221214616 1131202585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26157 13086 16 0 210746 0
vsize: 843048
[startup+730.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 70827 48 0 0 25 0 11 0 837043816 863281152 26157 4294967295 134512640 134569956 3221224384 3221214520 1131612904 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26157 13086 16 0 210746 0
vsize: 843048
[startup+740.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 71823 48 0 0 25 0 11 0 837043816 863281152 26158 4294967295 134512640 134569956 3221224384 3221214592 1131486211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26158 13086 16 0 210746 0
vsize: 843048
[startup+750.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 72819 48 0 0 25 0 11 0 837043816 863281152 26158 4294967295 134512640 134569956 3221224384 3221214520 1131612778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26158 13086 16 0 210746 0
vsize: 843048
[startup+760.107 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 73813 48 0 0 25 0 11 0 837043816 863281152 26172 4294967295 134512640 134569956 3221224384 3221214712 1131324853 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26172 13086 16 0 210746 0
vsize: 843048
[startup+770.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 74806 48 0 0 25 0 11 0 837043816 863281152 26175 4294967295 134512640 134569956 3221224384 3221214600 1131489560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26175 13086 16 0 210746 0
vsize: 843048
[startup+780.108 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 75798 48 0 0 25 0 11 0 837043816 863281152 26177 4294967295 134512640 134569956 3221224384 3221214488 1131269274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26177 13086 16 0 210746 0
vsize: 843048
[startup+790.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 76792 48 0 0 25 0 11 0 837043816 863281152 26180 4294967295 134512640 134569956 3221224384 3221214520 1131614317 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26180 13086 16 0 210746 0
vsize: 843048
[startup+800.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 77786 48 0 0 25 0 11 0 837043816 863281152 26186 4294967295 134512640 134569956 3221224384 3221214496 1131269011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26186 13086 16 0 210746 0
vsize: 843048
[startup+810.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 78775 48 0 0 25 0 11 0 837043816 863281152 26194 4294967295 134512640 134569956 3221224384 3221214520 1131611659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26194 13086 16 0 210746 0
vsize: 843048
[startup+820.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 79760 48 0 0 25 0 11 0 837043816 863281152 26196 4294967295 134512640 134569956 3221224384 3221214520 1131611903 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26196 13086 16 0 210746 0
vsize: 843048
[startup+830.109 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 80745 48 0 0 25 0 11 0 837043816 863281152 26196 4294967295 134512640 134569956 3221224384 3221214464 1131263181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26196 13086 16 0 210746 0
vsize: 843048
[startup+840.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 81727 48 0 0 25 0 11 0 837043816 863281152 26196 4294967295 134512640 134569956 3221224384 3221214600 1131490066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26196 13086 16 0 210746 0
vsize: 843048
[startup+850.111 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 82713 48 0 0 25 0 11 0 837043816 863281152 26196 4294967295 134512640 134569956 3221224384 3221214520 1131611668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26196 13086 16 0 210746 0
vsize: 843048
[startup+860.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 83702 48 0 0 25 0 11 0 837043816 863281152 26306 4294967295 134512640 134569956 3221224384 3221214544 1131593858 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26306 13086 16 0 210746 0
vsize: 843048
[startup+870.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 84693 48 0 0 25 0 11 0 837043816 863281152 26306 4294967295 134512640 134569956 3221224384 3221214464 1131262561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26306 13086 16 0 210746 0
vsize: 843048
[startup+880.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 85669 48 0 0 25 0 11 0 837043816 863281152 26354 4294967295 134512640 134569956 3221224384 3221214560 1131279287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26354 13086 16 0 210746 0
vsize: 843048
[startup+890.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 86637 48 0 0 25 0 11 0 837043816 863281152 26354 4294967295 134512640 134569956 3221224384 3221214488 1131268931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26354 13086 16 0 210746 0
vsize: 843048
[startup+900.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 87610 48 0 0 25 0 11 0 837043816 863281152 26354 4294967295 134512640 134569956 3221224384 3221214520 1131614256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26354 13086 16 0 210746 0
vsize: 843048
[startup+910.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 88588 48 0 0 25 0 11 0 837043816 863281152 26367 4294967295 134512640 134569956 3221224384 3221214624 1131462822 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26367 13086 16 0 210746 0
vsize: 843048
[startup+920.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 89555 48 0 0 24 0 11 0 837043816 863281152 26480 4294967295 134512640 134569956 3221224384 3221214488 1131268864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26480 13086 16 0 210746 0
vsize: 843048
[startup+930.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 90539 48 0 0 25 0 11 0 837043816 863281152 26608 4294967295 134512640 134569956 3221224384 3221214520 1131611993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26608 13086 16 0 210746 0
vsize: 843048
[startup+940.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 91530 49 0 0 25 0 11 0 837043816 863281152 26701 4294967295 134512640 134569956 3221224384 3221214712 1131324844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26701 13086 16 0 210746 0
vsize: 843048
[startup+950.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 92517 49 0 0 25 0 11 0 837043816 863281152 26701 4294967295 134512640 134569956 3221224384 3221214520 1131612136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26701 13086 16 0 210746 0
vsize: 843048
[startup+960.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 93505 49 0 0 25 0 11 0 837043816 863281152 26716 4294967295 134512640 134569956 3221224384 3221214520 1131612151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26716 13086 16 0 210746 0
vsize: 843048
[startup+970.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 94495 49 0 0 24 0 11 0 837043816 863281152 26716 4294967295 134512640 134569956 3221224384 3221214584 1131189049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26716 13086 16 0 210746 0
vsize: 843048
[startup+980.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 95477 49 0 0 25 0 11 0 837043816 863281152 26716 4294967295 134512640 134569956 3221224384 3221214360 1078830586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26716 13086 16 0 210746 0
vsize: 843048
[startup+990.115 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 96460 49 0 0 25 0 11 0 837043816 863281152 26813 4294967295 134512640 134569956 3221224384 3221214600 1131489942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26813 13086 16 0 210746 0
vsize: 843048
[startup+1000.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 97450 49 0 0 25 0 11 0 837043816 863281152 26814 4294967295 134512640 134569956 3221224384 3221214600 1131489332 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26814 13086 16 0 210746 0
vsize: 843048
[startup+1010.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 98430 50 0 0 24 0 11 0 837043816 863281152 26814 4294967295 134512640 134569956 3221224384 3221214488 1131268864 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26814 13086 16 0 210746 0
vsize: 843048
[startup+1020.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 99413 50 0 0 25 0 11 0 837043816 863281152 26827 4294967295 134512640 134569956 3221224384 3221214488 1131269895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26827 13086 16 0 210746 0
vsize: 843048
[startup+1030.11 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 100398 50 0 0 25 0 11 0 837043816 863281152 26913 4294967295 134512640 134569956 3221224384 3221214488 1131268958 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26913 13086 16 0 210746 0
vsize: 843048
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 101386 50 0 0 25 0 11 0 837043816 863281152 26913 4294967295 134512640 134569956 3221224384 3221214488 1131268914 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26913 13086 16 0 210746 0
vsize: 843048
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 102370 50 0 0 25 0 11 0 837043816 863281152 26928 4294967295 134512640 134569956 3221224384 3221214520 1131614841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 26928 13086 16 0 210746 0
vsize: 843048
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 103348 50 0 0 25 0 11 0 837043816 863281152 27023 4294967295 134512640 134569956 3221224384 3221214556 1131262400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27023 13086 16 0 210746 0
vsize: 843048
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 104324 50 0 0 25 0 11 0 837043816 863281152 27023 4294967295 134512640 134569956 3221224384 3221214600 1131489834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27023 13086 16 0 210746 0
vsize: 843048
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 105295 50 0 0 25 0 11 0 837043816 863281152 27023 4294967295 134512640 134569956 3221224384 3221214600 1131490075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27023 13086 16 0 210746 0
vsize: 843048
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 106267 50 0 0 25 0 11 0 837043816 863281152 27039 4294967295 134512640 134569956 3221224384 3221214488 1131268866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27039 13086 16 0 210746 0
vsize: 843048
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 107239 50 0 0 25 0 11 0 837043816 863281152 27152 4294967295 134512640 134569956 3221224384 3221214464 1131263287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27152 13086 16 0 210746 0
vsize: 843048
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 108194 50 0 0 25 0 11 0 837043816 863281152 27205 4294967295 134512640 134569956 3221224384 3221214592 1131189040 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27205 13086 16 0 210746 0
vsize: 843048
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 109152 50 0 0 25 0 11 0 837043816 863281152 27250 4294967295 134512640 134569956 3221224384 3221214576 1131202585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27250 13086 16 0 210746 0
vsize: 843048
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 110116 50 0 0 25 0 11 0 837043816 863281152 27343 4294967295 134512640 134569956 3221224384 3221214576 1131202585 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27343 13086 16 0 210746 0
vsize: 843048
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 111073 50 0 0 25 0 11 0 837043816 863281152 27387 4294967295 134512640 134569956 3221224384 3221214592 1131486688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27387 13086 16 0 210746 0
vsize: 843048
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 112034 50 0 0 25 0 11 0 837043816 863281152 27558 4294967295 134512640 134569956 3221224384 3221214496 1131269283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27558 13086 16 0 210746 0
vsize: 843048
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 113014 51 0 0 25 0 11 0 837043816 863281152 27742 4294967295 134512640 134569956 3221224384 3221214496 1131269011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27742 13086 16 0 210746 0
vsize: 843048
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 113994 51 0 0 25 0 11 0 837043816 863281152 27742 4294967295 134512640 134569956 3221224384 3221214600 1131489560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27742 13086 16 0 210746 0
vsize: 843048
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 114975 51 0 0 25 0 11 0 837043816 863281152 27848 4294967295 134512640 134569956 3221224384 3221214496 1131269011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27848 13086 16 0 210746 0
vsize: 843048
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 115968 51 0 0 25 0 11 0 837043816 863281152 27892 4294967295 134512640 134569956 3221224384 3221214600 1131489430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27892 13086 16 0 210746 0
vsize: 843048
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 116963 51 0 0 25 0 11 0 837043816 863281152 27893 4294967295 134512640 134569956 3221224384 3221214496 1131268847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27893 13086 16 0 210746 0
vsize: 843048
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 117952 51 0 0 25 0 11 0 837043816 863281152 27896 4294967295 134512640 134569956 3221224384 3221214592 1131486666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27896 13086 16 0 210746 0
vsize: 843048
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 118939 51 0 0 25 0 11 0 837043816 863281152 27896 4294967295 134512640 134569956 3221224384 3221214600 1131489376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27896 13086 16 0 210746 0
vsize: 843048
[startup+1230.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 119922 51 0 0 24 0 11 0 837043816 863281152 27896 4294967295 134512640 134569956 3221224384 3221214600 1131489560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27896 13086 16 0 210746 0
vsize: 843048
[startup+1240.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3476
Raw data (stat): 3459 (java) R 3458 24821 24820 0 -1 0 18115 4 1 0 120904 51 0 0 25 0 11 0 837043816 863281152 27896 4294967295 134512640 134569956 3221224384 3221214488 1131268827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210762 27896 13086 16 0 210746 0
vsize: 843048
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.43 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3478
Raw data (stat): 3459 (java) Z 3458 24821 24820 0 -1 1036 18115 17028 1 0 120929 56 4304 46 25 0 1 0 837043816 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.43
CPU time (s): 1253.37
CPU user time (s): 1252.34
CPU system time (s): 1.03284
CPU usage (%): 101.043
Max. virtual memory (Kb): 844600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	20593
#### END VERIFIER DATA ####