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/manquinho/logic-synthesis/normalized-prom2.pi.opb
MD5SUM	4a63080ba3e63c3b77e35782a700d569
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	330
Optimality of the best value was proved	NO
Number of terms in the objective function	2618
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2618
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2618
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.71974
Number of variables	2617
Total number of constraints	1988
Number of constraints which are clauses	1988
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	30
Trace number 29130

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 04:58:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20481 boxname=wulflinc31 idbench=71 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  4a63080ba3e63c3b77e35782a700d569  /oldhome/oroussel/tmp/wulflinc31/normalized-prom2.pi.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc31/normalized-prom2.pi.opb
IDLAUNCH: 20481
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        515192 kB
Buffers:          6088 kB
Cached:         483272 kB
SwapCached:        920 kB
Active:          53488 kB
Inactive:       437976 kB
HighTotal:      131008 kB
HighFree:         3108 kB
LowTotal:       903652 kB
LowFree:        512084 kB
SwapTotal:     2097892 kB
SwapFree:      2095956 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5192 kB
Slab:            22480 kB
Committed_AS:    63804 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:19:27 (client local time) WITH STATUS 143 IN 1270.13 SECONDS
stats: 20481 0 1270.13 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/wulflinc31/normalized-prom2.pi.opb
c reading problem ... done. Time 4.891 ms.
c #vars     2618
c #constraints  1988
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                 497 		Current CPU time: 5.62 ms
c CURRENT OPTIMUM=                 496 		Current CPU time: 9.74 ms
c CURRENT OPTIMUM=                 449 		Current CPU time: 13.11 ms
c CURRENT OPTIMUM=                 448 		Current CPU time: 24.59 ms
c CURRENT OPTIMUM=                 445 		Current CPU time: 28.19 ms
c CURRENT OPTIMUM=                 444 		Current CPU time: 30.80 ms
c CURRENT OPTIMUM=                 442 		Current CPU time: 36.10 ms
c CURRENT OPTIMUM=                 440 		Current CPU time: 45.59 ms
c CURRENT OPTIMUM=                 439 		Current CPU time: 79.78 ms
c CURRENT OPTIMUM=                 435 		Current CPU time: 103.80 ms
c CURRENT OPTIMUM=                 434 		Current CPU time: 107.30 ms
c CURRENT OPTIMUM=                 432 		Current CPU time: 130.60 ms
c CURRENT OPTIMUM=                 431 		Current CPU time: 153.71 ms
c CURRENT OPTIMUM=                 430 		Current CPU time: 224.59 ms
c CURRENT OPTIMUM=                 429 		Current CPU time: 1256.54 ms
c starts	: 19
c conflicts	: 802
c decisions	: 43397
c propagations	: 69880
c inspects	: 403060
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 802
c root simplifications	: 19
s SATISFIABLE
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 -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 x2166 -x2167 -x2168 -x2169 x2170 -x2171 -x2172 x2173 -x2174 -x2175 -x2176 x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 -x2224 x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 x2246 -x2247 -x2248 -x2249 x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 x2281 -x2282 -x2283 x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 x2317 x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 x2334 -x2335 -x2336 x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 x2367 -x2368 x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 -x2376 x2377 -x2378 -x2379 -x2380 -x2381 -x2382 x2383 x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 x2422 -x2423 -x2424 -x2425 -x2426 x2427 -x2428 x2429 -x2430 -x2431 x2432 -x2433 -x2434 x2435 x2436 -x2437 x2438 x2439 -x2440 -x2441 -x2442 -x2443 x2444 -x2445 -x2446 -x2447 x2448 -x2449 -x2450 x2451 -x2452 x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 x2462 -x2463 x2464 -x2465 x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 x2488 -x2489 -x2490 x2491 x2492 -x2493 -x2494 x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 x2503 -x2504 -x2505 -x2506 x2507 -x2508 x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 x2520 -x2521 -x2522 -x2523 -x2524 -x2525 x2526 -x2527 -x2528 x2529 -x2530 -x2531 -x2532 x2533 -x2534 -x2535 -x2536 x2537 x2538 -x2539 -x2540 -x2541 -x2542 -x2543 x2544 x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 x2554 -x2555 -x2556 x2557 -x2558 -x2559 -x2560 x2561 -x2562 -x2563 -x2564 x2565 x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 x2575 -x2576 -x2577 x2578 -x2579 x2580 x2581 x2582 x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 x2590 x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 x2603 x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 x2612 x2613 -x2614 -x2615 -x2616 x2617 -x2618 
c objectif function=429
c Total CPU time (ms) : 1259.395
#### 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.92 0.98 0.99 2/55 10890
Raw data (stat): 10890 (runsolver) R 10889 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 836160347 1052672 99 4294967295 134512640 135381576 3221224416 3221219636 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 1.09 1.02 1.01 3/65 10901
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18136 3 4 0 802 43 0 0 25 0 11 0 836160347 860270592 21382 4294967295 134512640 134569956 3221224384 3221214524 1077650880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210027 21382 13086 16 0 210011 0
vsize: 840108
[startup+20.0016 s]
Raw data (loadavg): 1.22 1.05 1.02 2/65 10903
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18137 3 4 0 1684 43 0 0 18 0 11 0 836160347 860270592 21951 4294967295 134512640 134569956 3221224384 3221214632 1131255085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 21951 13086 16 0 210011 0
vsize: 840108
[startup+30.003 s]
Raw data (loadavg): 1.19 1.05 1.01 2/65 10907
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18137 3 4 0 2596 44 0 0 25 0 11 0 836160347 860270592 22575 4294967295 134512640 134569956 3221224384 3221214624 1131297583 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 22575 13086 16 0 210011 0
vsize: 840108
[startup+40.0026 s]
Raw data (loadavg): 1.16 1.04 1.01 2/65 10909
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 3509 45 0 0 24 0 11 0 836160347 860270592 23279 4294967295 134512640 134569956 3221224384 3221214664 1131297065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 23279 13086 16 0 210011 0
vsize: 840108
[startup+50.0034 s]
Raw data (loadavg): 1.13 1.04 1.01 2/65 10910
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 4428 45 0 0 25 0 11 0 836160347 860270592 24532 4294967295 134512640 134569956 3221224384 3221214664 1131297479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 24532 13086 16 0 210011 0
vsize: 840108
[startup+60.0034 s]
Raw data (loadavg): 1.11 1.04 1.01 2/65 10910
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 5353 45 0 0 25 0 11 0 836160347 860270592 24532 4294967295 134512640 134569956 3221224384 3221214768 1131360059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 24532 13086 16 0 210011 0
vsize: 840108
[startup+70.0043 s]
Raw data (loadavg): 1.10 1.04 1.01 2/65 10910
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 6277 45 0 0 16 0 11 0 836160347 860270592 25045 4294967295 134512640 134569956 3221224384 3221214664 1131297479 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 25045 13086 16 0 210011 0
vsize: 840108
[startup+80.0052 s]
Raw data (loadavg): 1.08 1.04 1.01 2/65 10910
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 7162 45 0 0 25 0 11 0 836160347 860270592 28603 4294967295 134512640 134569956 3221224384 3221214576 1131208144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 28603 13086 16 0 210011 0
vsize: 840108
[startup+90.0052 s]
Raw data (loadavg): 1.07 1.03 1.01 2/65 10913
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 8135 45 0 0 25 0 11 0 836160347 860270592 28603 4294967295 134512640 134569956 3221224384 3221214656 1131194974 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 28603 13086 16 0 210011 0
vsize: 840108
[startup+100.007 s]
Raw data (loadavg): 1.06 1.03 1.01 2/66 10914
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 9102 45 0 0 25 0 11 0 836160347 860270592 28603 4294967295 134512640 134569956 3221224384 3221214664 1131297057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 28603 13086 16 0 210011 0
vsize: 840108
[startup+110.007 s]
Raw data (loadavg): 1.12 1.05 1.01 2/65 10968
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 10057 50 0 0 25 0 11 0 836160347 860270592 28603 4294967295 134512640 134569956 3221224384 3221214768 1131360072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 28603 13086 16 0 210011 0
vsize: 840108
[startup+120.012 s]
Raw data (loadavg): 1.10 1.05 1.01 2/65 10968
Raw data (stat): 10890 (java) S 10889 29618 29617 0 -1 0 18138 3 4 0 10981 50 0 0 25 0 11 0 836160347 860270592 28604 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 28604 13086 16 0 210011 0
vsize: 840108
[startup+130.013 s]
Raw data (loadavg): 1.09 1.04 1.01 2/65 10968
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 11906 50 0 0 25 0 11 0 836160347 860270592 28791 4294967295 134512640 134569956 3221224384 3221214768 1131360069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 28791 13086 16 0 210011 0
vsize: 840108
[startup+140.013 s]
Raw data (loadavg): 1.07 1.04 1.01 2/65 10969
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 12810 50 0 0 25 0 11 0 836160347 860270592 29882 4294967295 134512640 134569956 3221224384 3221214768 1131360072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210027 29882 13086 16 0 210011 0
vsize: 840108
[startup+150.014 s]
Raw data (loadavg): 1.06 1.04 1.01 2/65 10971
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 13724 50 0 0 24 0 11 0 836160347 860270592 31455 4294967295 134512640 134569956 3221224384 3221214576 1131381724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 31455 13086 16 0 210011 0
vsize: 840108
[startup+160.014 s]
Raw data (loadavg): 1.05 1.04 1.01 2/65 10972
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 14656 50 0 0 25 0 11 0 836160347 860270592 32570 4294967295 134512640 134569956 3221224384 3221214768 1131360476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 32570 13086 16 0 210011 0
vsize: 840108
[startup+170.015 s]
Raw data (loadavg): 1.04 1.04 1.01 2/65 10974
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 15593 50 0 0 25 0 11 0 836160347 860270592 32570 4294967295 134512640 134569956 3221224384 3221214576 1131208122 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 32570 13086 16 0 210011 0
vsize: 840108
[startup+180.015 s]
Raw data (loadavg): 1.04 1.03 1.00 2/65 10974
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 16520 50 0 0 25 0 11 0 836160347 860270592 32570 4294967295 134512640 134569956 3221224384 3221214664 1131297091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 32570 13086 16 0 210011 0
vsize: 840108
[startup+190.016 s]
Raw data (loadavg): 1.03 1.03 1.00 2/65 10974
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 17437 50 0 0 25 0 11 0 836160347 860270592 32570 4294967295 134512640 134569956 3221224384 3221214664 1131297577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 32570 13086 16 0 210011 0
vsize: 840108
[startup+200.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 10974
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 18399 51 0 0 25 0 11 0 836160347 860270592 33439 4294967295 134512640 134569956 3221224384 3221214768 1131359917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 33439 13086 16 0 210011 0
vsize: 840108
[startup+210.016 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 10976
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 19375 51 0 0 25 0 11 0 836160347 860270592 33447 4294967295 134512640 134569956 3221224384 3221214240 1131311056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 33447 13086 16 0 210011 0
vsize: 840108
[startup+220.017 s]
Raw data (loadavg): 1.02 1.03 1.00 2/65 10976
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 20286 51 0 0 25 0 11 0 836160347 860270592 35133 4294967295 134512640 134569956 3221224384 3221214656 1131194400 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 35133 13086 16 0 210011 0
vsize: 840108
[startup+230.018 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 10977
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 21220 51 0 0 25 0 11 0 836160347 860270592 36013 4294967295 134512640 134569956 3221224384 3221214656 1131194292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 36013 13086 16 0 210011 0
vsize: 840108
[startup+240.017 s]
Raw data (loadavg): 1.01 1.03 1.00 2/65 10977
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 22156 51 0 0 25 0 11 0 836160347 860270592 36013 4294967295 134512640 134569956 3221224384 3221214632 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 36013 13086 16 0 210011 0
vsize: 840108
[startup+250.018 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 10977
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 23082 51 0 0 25 0 11 0 836160347 860270592 36013 4294967295 134512640 134569956 3221224384 3221214768 1131360072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 36013 13086 16 0 210011 0
vsize: 840108
[startup+260.019 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 10977
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 23998 51 0 0 25 0 11 0 836160347 860270592 36013 4294967295 134512640 134569956 3221224384 3221214768 1131360069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 36013 13086 16 0 210011 0
vsize: 840108
[startup+270.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/65 10979
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 24919 51 0 0 25 0 11 0 836160347 860270592 36713 4294967295 134512640 134569956 3221224384 3221214768 1131360567 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 36713 13086 16 0 210011 0
vsize: 840108
[startup+280.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10979
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 25909 52 0 0 25 0 11 0 836160347 860270592 36828 4294967295 134512640 134569956 3221224384 3221214664 1131297053 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 36828 13086 16 0 210011 0
vsize: 840108
[startup+290.02 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10979
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 26902 52 0 0 25 0 11 0 836160347 860270592 36836 4294967295 134512640 134569956 3221224384 3221214664 1131298061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 36836 13086 16 0 210011 0
vsize: 840108
[startup+300.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10979
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 27881 52 0 0 24 0 11 0 836160347 860270592 36840 4294967295 134512640 134569956 3221224384 3221214768 1131428571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 36840 13086 16 0 210011 0
vsize: 840108
[startup+310.021 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10979
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 28815 52 0 0 25 0 11 0 836160347 860270592 36843 4294967295 134512640 134569956 3221224384 3221214768 1131360072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 36843 13086 16 0 210011 0
vsize: 840108
[startup+320.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10979
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 29729 52 0 0 25 0 11 0 836160347 860270592 37913 4294967295 134512640 134569956 3221224384 3221214768 1131360072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 37913 13086 16 0 210011 0
vsize: 840108
[startup+330.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10981
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18138 3 4 0 30664 52 0 0 25 0 11 0 836160347 860270592 38635 4294967295 134512640 134569956 3221224384 3221214576 1131381746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 38635 13086 16 0 210011 0
vsize: 840108
[startup+340.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/65 10981
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18139 3 4 0 31581 52 0 0 25 0 11 0 836160347 860270592 39822 4294967295 134512640 134569956 3221224384 3221214504 1131255085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 39822 13086 16 0 210011 0
vsize: 840108
[startup+350.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10981
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18139 3 4 0 32523 52 0 0 25 0 11 0 836160347 860270592 39944 4294967295 134512640 134569956 3221224384 3221214504 1131254773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 39944 13086 16 0 210011 0
vsize: 840108
[startup+360.039 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10981
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 33462 52 0 0 25 0 11 0 836160347 860270592 39946 4294967295 134512640 134569956 3221224384 3221214504 1131255085 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 39946 13086 16 0 210011 0
vsize: 840108
[startup+370.04 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10981
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 34405 52 0 0 25 0 11 0 836160347 860270592 40013 4294967295 134512640 134569956 3221224384 3221214568 1131217664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210027 40013 13086 16 0 210011 0
vsize: 840108
[startup+380.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10981
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 35354 53 0 0 25 0 11 0 836160347 860336128 40046 4294967295 134512640 134569956 3221224384 3221214680 1131445187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 40046 13086 16 0 210027 0
vsize: 840172
[startup+390.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10983
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 36292 53 0 0 25 0 11 0 836160347 860336128 40047 4294967295 134512640 134569956 3221224384 3221214656 1131239414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 40047 13086 16 0 210027 0
vsize: 840172
[startup+400.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10983
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 37249 53 0 0 25 0 11 0 836160347 860336128 40371 4294967295 134512640 134569956 3221224384 3221214584 1131255044 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210043 40371 13086 16 0 210027 0
vsize: 840172
[startup+410.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10983
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 38220 54 0 0 25 0 11 0 836160347 860336128 40724 4294967295 134512640 134569956 3221224384 3221214676 1131334889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 40724 13086 16 0 210027 0
vsize: 840172
[startup+420.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10983
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 39196 54 0 0 25 0 11 0 836160347 860336128 40724 4294967295 134512640 134569956 3221224384 3221214584 1131254819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 40724 13086 16 0 210027 0
vsize: 840172
[startup+430.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10985
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 40179 54 0 0 25 0 11 0 836160347 860336128 40765 4294967295 134512640 134569956 3221224384 3221214584 1131254787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210043 40765 13086 16 0 210027 0
vsize: 840172
[startup+440.049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/65 10985
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 41159 54 0 0 25 0 11 0 836160347 860336128 40765 4294967295 134512640 134569956 3221224384 3221214584 1131254920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 40765 13086 16 0 210027 0
vsize: 840172
[startup+450.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10987
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 42137 55 0 0 25 0 11 0 836160347 860336128 40765 4294967295 134512640 134569956 3221224384 3221214656 1131194292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 40765 13086 16 0 210027 0
vsize: 840172
[startup+460.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10987
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 43101 55 0 0 25 0 11 0 836160347 860336128 40846 4294967295 134512640 134569956 3221224384 3221214768 1131360612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 40846 13086 16 0 210027 0
vsize: 840172
[startup+470.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10987
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 44056 56 0 0 25 0 11 0 836160347 860336128 40846 4294967295 134512640 134569956 3221224384 3221214656 1131194355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 40846 13086 16 0 210027 0
vsize: 840172
[startup+480.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10987
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 45005 56 0 0 25 0 11 0 836160347 860336128 40846 4294967295 134512640 134569956 3221224384 3221214656 1131194292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 40846 13086 16 0 210027 0
vsize: 840172
[startup+490.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10987
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 45954 56 0 0 25 0 11 0 836160347 860336128 40887 4294967295 134512640 134569956 3221224384 3221214664 1131297416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 40887 13086 16 0 210027 0
vsize: 840172
[startup+500.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10987
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 46933 57 0 0 25 0 11 0 836160347 860336128 41269 4294967295 134512640 134569956 3221224384 3221214768 1131360612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 41269 13086 16 0 210027 0
vsize: 840172
[startup+510.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10989
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 47926 57 0 0 25 0 11 0 836160347 860336128 41272 4294967295 134512640 134569956 3221224384 3221214656 1131194323 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 41272 13086 16 0 210027 0
vsize: 840172
[startup+520.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10989
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 48919 57 0 0 25 0 11 0 836160347 860336128 41275 4294967295 134512640 134569956 3221224384 3221214768 1131360612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 41275 13086 16 0 210027 0
vsize: 840172
[startup+530.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10989
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 49912 57 0 0 25 0 11 0 836160347 860336128 41278 4294967295 134512640 134569956 3221224384 3221214664 1131297432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 41278 13086 16 0 210027 0
vsize: 840172
[startup+540.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10989
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 50905 58 0 0 25 0 11 0 836160347 860336128 41281 4294967295 134512640 134569956 3221224384 3221214664 1131297086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 41281 13086 16 0 210027 0
vsize: 840172
[startup+550.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10989
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 51897 58 0 0 25 0 11 0 836160347 860336128 41284 4294967295 134512640 134569956 3221224384 3221214664 1131297521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 41284 13086 16 0 210027 0
vsize: 840172
[startup+560.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10989
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 52840 59 0 0 25 0 11 0 836160347 860336128 43731 4294967295 134512640 134569956 3221224384 3221214664 1131298068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210043 43731 13086 16 0 210027 0
vsize: 840172
[startup+570.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10991
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 53804 60 0 0 25 0 11 0 836160347 860336128 43731 4294967295 134512640 134569956 3221224384 3221214768 1131360476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 43731 13086 16 0 210027 0
vsize: 840172
[startup+580.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10991
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 54731 60 0 0 25 0 11 0 836160347 860336128 43931 4294967295 134512640 134569956 3221224384 3221214672 1131254920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 43931 13086 16 0 210027 0
vsize: 840172
[startup+590.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10991
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 55662 60 0 0 25 0 11 0 836160347 860336128 45712 4294967295 134512640 134569956 3221224384 3221214768 1131360069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 45712 13086 16 0 210027 0
vsize: 840172
[startup+600.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10991
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 56594 60 0 0 25 0 11 0 836160347 860336128 46172 4294967295 134512640 134569956 3221224384 3221214176 1131173416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 46172 13086 16 0 210027 0
vsize: 840172
[startup+610.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10991
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 57525 61 0 0 25 0 11 0 836160347 860336128 46662 4294967295 134512640 134569956 3221224384 3221214576 1131208122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 46662 13086 16 0 210027 0
vsize: 840172
[startup+620.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10991
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 58437 61 0 0 25 0 11 0 836160347 860336128 47531 4294967295 134512640 134569956 3221224384 3221214664 1131297232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 47531 13086 16 0 210027 0
vsize: 840172
[startup+630.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10993
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 59363 62 0 0 25 0 11 0 836160347 860336128 47531 4294967295 134512640 134569956 3221224384 3221214656 1131194292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 47531 13086 16 0 210027 0
vsize: 840172
[startup+640.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10993
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 60326 63 0 0 25 0 11 0 836160347 860336128 48322 4294967295 134512640 134569956 3221224384 3221214768 1131360152 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 48322 13086 16 0 210027 0
vsize: 840172
[startup+650.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10993
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 61266 63 0 0 25 0 11 0 836160347 860336128 48322 4294967295 134512640 134569956 3221224384 3221214768 1131360487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 48322 13086 16 0 210027 0
vsize: 840172
[startup+660.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10993
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 62197 63 0 0 25 0 11 0 836160347 860336128 48405 4294967295 134512640 134569956 3221224384 3221214664 1131297521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 48405 13086 16 0 210027 0
vsize: 840172
[startup+670.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10993
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 63120 64 0 0 25 0 11 0 836160347 860336128 48405 4294967295 134512640 134569956 3221224384 3221214664 1131297618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 48405 13086 16 0 210027 0
vsize: 840172
[startup+680.065 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10993
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 64032 64 0 0 25 0 11 0 836160347 860336128 48405 4294967295 134512640 134569956 3221224384 3221214768 1131360072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 48405 13086 16 0 210027 0
vsize: 840172
[startup+690.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10995
Raw data (stat): 10890 (java) S 10889 29618 29617 0 -1 0 18140 3 4 0 64986 65 0 0 25 0 11 0 836160347 860336128 49226 4294967295 134512640 134569956 3221224384 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 49226 13086 16 0 210027 0
vsize: 840172
[startup+700.066 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10995
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 65977 65 0 0 25 0 11 0 836160347 860336128 49236 4294967295 134512640 134569956 3221224384 3221214664 1131297070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 49236 13086 16 0 210027 0
vsize: 840172
[startup+710.067 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10995
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 66967 65 0 0 25 0 11 0 836160347 860336128 49242 4294967295 134512640 134569956 3221224384 3221214764 1131298281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 49242 13086 16 0 210027 0
vsize: 840172
[startup+720.068 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10995
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 67959 66 0 0 25 0 11 0 836160347 860336128 49249 4294967295 134512640 134569956 3221224384 3221214768 1131360612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 49249 13086 16 0 210027 0
vsize: 840172
[startup+730.069 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10995
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 68951 66 0 0 25 0 11 0 836160347 860336128 49253 4294967295 134512640 134569956 3221224384 3221214664 1131297134 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 49253 13086 16 0 210027 0
vsize: 840172
[startup+740.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10995
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 69942 67 0 0 25 0 11 0 836160347 860336128 49258 4294967295 134512640 134569956 3221224384 3221214768 1131360072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 49258 13086 16 0 210027 0
vsize: 840172
[startup+750.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10997
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 70934 67 0 0 25 0 11 0 836160347 860336128 49262 4294967295 134512640 134569956 3221224384 3221214656 1131194292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 49262 13086 16 0 210027 0
vsize: 840172
[startup+760.072 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10997
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 71925 68 0 0 25 0 11 0 836160347 860336128 49267 4294967295 134512640 134569956 3221224384 3221214576 1131208144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 49267 13086 16 0 210027 0
vsize: 840172
[startup+770.073 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 10997
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 72918 68 0 0 25 0 11 0 836160347 860336128 49271 4294967295 134512640 134569956 3221224384 3221214656 1131194311 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 49271 13086 16 0 210027 0
vsize: 840172
[startup+780.074 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 10997
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 73880 68 0 0 25 0 11 0 836160347 860336128 49274 4294967295 134512640 134569956 3221224384 3221214664 1131298013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 49274 13086 16 0 210027 0
vsize: 840172
[startup+790.073 s]
Raw data (loadavg): 1.06 1.02 1.00 2/65 10997
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 74817 69 0 0 25 0 11 0 836160347 860336128 49276 4294967295 134512640 134569956 3221224384 3221214768 1131360072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 49276 13086 16 0 210027 0
vsize: 840172
[startup+800.074 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 10997
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 75742 69 0 0 25 0 11 0 836160347 860336128 49653 4294967295 134512640 134569956 3221224384 3221214656 1131194285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 49653 13086 16 0 210027 0
vsize: 840172
[startup+810.076 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 10999
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 76656 69 0 0 25 0 11 0 836160347 860336128 50075 4294967295 134512640 134569956 3221224384 3221214576 1131381732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 50075 13086 16 0 210027 0
vsize: 840172
[startup+820.076 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 10999
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 77588 70 0 0 25 0 11 0 836160347 860336128 51192 4294967295 134512640 134569956 3221224384 3221214768 1131360054 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 51192 13086 16 0 210027 0
vsize: 840172
[startup+830.077 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 10999
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 78527 70 0 0 25 0 11 0 836160347 860336128 51819 4294967295 134512640 134569956 3221224384 3221214768 1131360072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 51819 13086 16 0 210027 0
vsize: 840172
[startup+840.076 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 10999
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 79461 71 0 0 25 0 11 0 836160347 860336128 52674 4294967295 134512640 134569956 3221224384 3221214768 1131360072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 52674 13086 16 0 210027 0
vsize: 840172
[startup+850.077 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 10999
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 80399 72 0 0 25 0 11 0 836160347 860336128 53150 4294967295 134512640 134569956 3221224384 3221214576 1131381746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 53150 13086 16 0 210027 0
vsize: 840172
[startup+860.077 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 10999
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 81306 72 0 0 25 0 11 0 836160347 860336128 54578 4294967295 134512640 134569956 3221224384 3221214576 1131381724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 54578 13086 16 0 210027 0
vsize: 840172
[startup+870.077 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 11001
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 82247 72 0 0 24 0 11 0 836160347 860336128 54578 4294967295 134512640 134569956 3221224384 3221214656 1131194346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 54578 13086 16 0 210027 0
vsize: 840172
[startup+880.078 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 11001
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 83162 72 0 0 25 0 11 0 836160347 860336128 54742 4294967295 134512640 134569956 3221224384 3221214768 1131360640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 54742 13086 16 0 210027 0
vsize: 840172
[startup+890.078 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 11001
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 84099 73 0 0 25 0 11 0 836160347 860336128 54826 4294967295 134512640 134569956 3221224384 3221214264 1131290370 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 54826 13086 16 0 210027 0
vsize: 840172
[startup+900.079 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 11001
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 85013 73 0 0 25 0 11 0 836160347 860336128 56723 4294967295 134512640 134569956 3221224384 3221214576 1131381752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 56723 13086 16 0 210027 0
vsize: 840172
[startup+910.079 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 11001
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 85958 73 0 0 25 0 11 0 836160347 860336128 58161 4294967295 134512640 134569956 3221224384 3221214768 1131360203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58161 13086 16 0 210027 0
vsize: 840172
[startup+920.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11001
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 86942 74 0 0 25 0 11 0 836160347 860336128 58161 4294967295 134512640 134569956 3221224384 3221214664 1131297521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58161 13086 16 0 210027 0
vsize: 840172
[startup+930.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11003
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 87914 74 0 0 25 0 11 0 836160347 860336128 58161 4294967295 134512640 134569956 3221224384 3221214768 1131360072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58161 13086 16 0 210027 0
vsize: 840172
[startup+940.079 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11003
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 88876 75 0 0 25 0 11 0 836160347 860336128 58161 4294967295 134512640 134569956 3221224384 3221214768 1131359929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58161 13086 16 0 210027 0
vsize: 840172
[startup+950.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11003
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 89841 76 0 0 25 0 11 0 836160347 860336128 58161 4294967295 134512640 134569956 3221224384 3221214656 1131194292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58161 13086 16 0 210027 0
vsize: 840172
[startup+960.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11003
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 90799 76 0 0 25 0 11 0 836160347 860336128 58161 4294967295 134512640 134569956 3221224384 3221214656 1131194319 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58161 13086 16 0 210027 0
vsize: 840172
[startup+970.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11003
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 91754 76 0 0 25 0 11 0 836160347 860336128 58472 4294967295 134512640 134569956 3221224384 3221214656 1131194292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58472 13086 16 0 210027 0
vsize: 840172
[startup+980.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11003
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 92738 77 0 0 25 0 11 0 836160347 860336128 58612 4294967295 134512640 134569956 3221224384 3221214656 1131194462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58612 13086 16 0 210027 0
vsize: 840172
[startup+990.082 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11005
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 93728 77 0 0 24 0 11 0 836160347 860336128 58616 4294967295 134512640 134569956 3221224384 3221214664 1131297098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58616 13086 16 0 210027 0
vsize: 840172
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11005
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 94720 78 0 0 25 0 11 0 836160347 860336128 58620 4294967295 134512640 134569956 3221224384 3221214664 1131297432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58620 13086 16 0 210027 0
vsize: 840172
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11005
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 95711 78 0 0 25 0 11 0 836160347 860336128 58623 4294967295 134512640 134569956 3221224384 3221214664 1131297442 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58623 13086 16 0 210027 0
vsize: 840172
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11005
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 96701 78 0 0 24 0 11 0 836160347 860336128 58626 4294967295 134512640 134569956 3221224384 3221214768 1131360059 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58626 13086 16 0 210027 0
vsize: 840172
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11005
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 97693 78 0 0 25 0 11 0 836160347 860336128 58628 4294967295 134512640 134569956 3221224384 3221214664 1131297538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58628 13086 16 0 210027 0
vsize: 840172
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11005
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 98683 79 0 0 25 0 11 0 836160347 860336128 58634 4294967295 134512640 134569956 3221224384 3221214656 1131194330 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58634 13086 16 0 210027 0
vsize: 840172
[startup+1050.09 s]
Raw data (loadavg): 1.08 1.02 1.01 2/65 11007
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 99674 80 0 0 25 0 11 0 836160347 860336128 58636 4294967295 134512640 134569956 3221224384 3221214656 1131194292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58636 13086 16 0 210027 0
vsize: 840172
[startup+1060.09 s]
Raw data (loadavg): 1.07 1.02 1.00 2/65 11007
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 100664 80 0 0 25 0 11 0 836160347 860336128 58639 4294967295 134512640 134569956 3221224384 3221214768 1131360072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58639 13086 16 0 210027 0
vsize: 840172
[startup+1070.09 s]
Raw data (loadavg): 1.06 1.01 1.00 2/65 11007
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 101654 81 0 0 25 0 11 0 836160347 860336128 58643 4294967295 134512640 134569956 3221224384 3221214768 1131359917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58643 13086 16 0 210027 0
vsize: 840172
[startup+1080.09 s]
Raw data (loadavg): 1.05 1.01 1.00 2/65 11007
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 102645 81 0 0 25 0 11 0 836160347 860336128 58646 4294967295 134512640 134569956 3221224384 3221214664 1131297277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58646 13086 16 0 210027 0
vsize: 840172
[startup+1090.09 s]
Raw data (loadavg): 1.04 1.01 1.00 2/65 11007
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 103636 81 0 0 24 0 11 0 836160347 860336128 58648 4294967295 134512640 134569956 3221224384 3221214768 1131360612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58648 13086 16 0 210027 0
vsize: 840172
[startup+1100.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 11007
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 104626 82 0 0 25 0 11 0 836160347 860336128 58652 4294967295 134512640 134569956 3221224384 3221214664 1131297988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58652 13086 16 0 210027 0
vsize: 840172
[startup+1110.09 s]
Raw data (loadavg): 1.03 1.01 1.00 2/65 11009
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 105617 82 0 0 25 0 11 0 836160347 860336128 58653 4294967295 134512640 134569956 3221224384 3221214768 1131360500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58653 13086 16 0 210027 0
vsize: 840172
[startup+1120.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 11009
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 106608 83 0 0 25 0 11 0 836160347 860336128 58656 4294967295 134512640 134569956 3221224384 3221214664 1131297439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58656 13086 16 0 210027 0
vsize: 840172
[startup+1130.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 11009
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 107599 83 0 0 25 0 11 0 836160347 860336128 58659 4294967295 134512640 134569956 3221224384 3221214576 1131209172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58659 13086 16 0 210027 0
vsize: 840172
[startup+1140.09 s]
Raw data (loadavg): 1.02 1.01 1.00 2/65 11009
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 108589 83 0 0 25 0 11 0 836160347 860336128 58661 4294967295 134512640 134569956 3221224384 3221214664 1131297521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210043 58661 13086 16 0 210027 0
vsize: 840172
[startup+1150.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 11009
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 109579 84 0 0 25 0 11 0 836160347 860336128 58662 4294967295 134512640 134569956 3221224384 3221214656 1131194315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58662 13086 16 0 210027 0
vsize: 840172
[startup+1160.09 s]
Raw data (loadavg): 1.01 1.01 1.00 2/65 11009
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 110569 84 0 0 25 0 11 0 836160347 860336128 58665 4294967295 134512640 134569956 3221224384 3221214664 1131297521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58665 13086 16 0 210027 0
vsize: 840172
[startup+1170.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 11011
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 111559 84 0 0 25 0 11 0 836160347 860336128 58670 4294967295 134512640 134569956 3221224384 3221214664 1131297618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58670 13086 16 0 210027 0
vsize: 840172
[startup+1180.09 s]
Raw data (loadavg): 1.01 1.00 1.00 2/65 11011
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 112549 85 0 0 25 0 11 0 836160347 860336128 58674 4294967295 134512640 134569956 3221224384 3221214664 1131297521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58674 13086 16 0 210027 0
vsize: 840172
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11011
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 113539 85 0 0 25 0 11 0 836160347 860336128 58677 4294967295 134512640 134569956 3221224384 3221214664 1131297057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58677 13086 16 0 210027 0
vsize: 840172
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11011
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 114529 85 0 0 25 0 11 0 836160347 860336128 58679 4294967295 134512640 134569956 3221224384 3221214664 1131297521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210043 58679 13086 16 0 210027 0
vsize: 840172
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11011
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 115520 86 0 0 25 0 11 0 836160347 860336128 58680 4294967295 134512640 134569956 3221224384 3221214664 1131297577 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58680 13086 16 0 210027 0
vsize: 840172
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11011
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 116510 86 0 0 19 0 11 0 836160347 860336128 58684 4294967295 134512640 134569956 3221224384 3221214664 1131298110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58684 13086 16 0 210027 0
vsize: 840172
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11013
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 117480 87 0 0 25 0 11 0 836160347 860336128 58686 4294967295 134512640 134569956 3221224384 3221214664 1131297764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58686 13086 16 0 210027 0
vsize: 840172
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11013
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 118418 87 0 0 25 0 11 0 836160347 860336128 58689 4294967295 134512640 134569956 3221224384 3221214768 1131427556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 58689 13086 16 0 210027 0
vsize: 840172
[startup+1250.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11013
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 119313 88 0 0 25 0 11 0 836160347 860336128 62144 4294967295 134512640 134569956 3221224384 3221214768 1131360500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 62144 13086 16 0 210027 0
vsize: 840172
[startup+1260.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/65 11014
Raw data (stat): 10890 (java) R 10889 29618 29617 0 -1 0 18140 3 4 0 120254 88 0 0 25 0 11 0 836160347 860336128 64362 4294967295 134512640 134569956 3221224384 3221214656 1131194292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210043 64362 13086 16 0 210027 0
vsize: 840172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.49 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 11016
Raw data (stat): 10890 (java) Z 10889 29618 29617 0 -1 1036 18140 49399 4 0 120281 99 6515 116 25 0 1 0 836160347 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 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): 1260.49
CPU time (s): 1270.13
CPU user time (s): 1267.98
CPU system time (s): 2.15867
CPU usage (%): 100.765
Max. virtual memory (Kb): 840172
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	429
#### END VERIFIER DATA ####