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-jac3.opb
MD5SUM	43952ea8e0659c6ffd861c99c0b605de
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	15
Optimality of the best value was proved	NO
Number of terms in the objective function	1732
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	1732
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1732
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05384
Number of variables	1731
Total number of constraints	1254
Number of constraints which are clauses	1254
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	2
Maximum length of a constraint	694
Trace number 29129

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-25 04:58:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20480 boxname=wulflinc21 idbench=70 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  43952ea8e0659c6ffd861c99c0b605de  /oldhome/oroussel/tmp/wulflinc21/normalized-jac3.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc21/normalized-jac3.opb
IDLAUNCH: 20480
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        243256 kB
Buffers:         27364 kB
Cached:         733216 kB
SwapCached:       1020 kB
Active:          44636 kB
Inactive:       718176 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        243004 kB
SwapTotal:     2097892 kB
SwapFree:      2096008 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5112 kB
Slab:            22940 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 05:19:26 (client local time) WITH STATUS 143 IN 1270 SECONDS
stats: 20480 0 1270 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/wulflinc21/normalized-jac3.opb
c reading problem ... done. Time 4.122 ms.
c #vars     1732
c #constraints  1254
c SATISFIABLE
c OPTIMIZING...
c CURRENT OPTIMUM=                  25 		Current CPU time: 5.23 ms
c CURRENT OPTIMUM=                  24 		Current CPU time: 7.05 ms
c CURRENT OPTIMUM=                  23 		Current CPU time: 10.52 ms
c CURRENT OPTIMUM=                  22 		Current CPU time: 88.32 ms
c CURRENT OPTIMUM=                  21 		Current CPU time: 1174.62 ms
c starts	: 10
c conflicts	: 680
c decisions	: 40786
c propagations	: 84691
c inspects	: 255185
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 679
c root simplifications	: 10
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 
c objectif function=21
c Total CPU time (ms) : 1259.221
#### 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.84 0.94 0.95 2/55 9743
Raw data (stat): 9743 (runsolver) R 9742 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 713445118 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.0003 s]
Raw data (loadavg): 0.94 0.96 0.96 2/65 9755
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18133 3 4 0 693 43 0 0 25 0 11 0 713445118 861999104 21311 4294967295 134512640 134569956 3221224384 3221214192 1131237490 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210449 21311 13086 16 0 210433 0
vsize: 841796
[startup+20.001 s]
Raw data (loadavg): 0.95 0.96 0.96 2/65 9756
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18134 3 4 0 1612 43 0 0 25 0 11 0 713445118 861888512 24152 4294967295 134512640 134569956 3221224384 3221214732 1131353640 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210422 24152 13086 16 0 210406 0
vsize: 841688
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.96 0.96 2/65 9756
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18134 3 4 0 2522 43 0 0 25 0 11 0 713445118 861786112 25392 4294967295 134512640 134569956 3221224384 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 25392 13086 16 0 210381 0
vsize: 841588
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.96 0.96 2/65 9756
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18136 3 4 0 3446 44 0 0 25 0 11 0 713445118 861786112 25983 4294967295 134512640 134569956 3221224384 3221213160 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 25983 13086 16 0 210381 0
vsize: 841588
[startup+50.0021 s]
Raw data (loadavg): 0.97 0.96 0.96 2/65 9756
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 4390 44 0 0 25 0 11 0 713445118 861786112 25873 4294967295 134512640 134569956 3221224384 3221214620 1130885204 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 25873 13086 16 0 210381 0
vsize: 841588
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.96 0.96 2/65 9756
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 5334 44 0 0 25 0 11 0 713445118 861786112 25874 4294967295 134512640 134569956 3221224384 3221214664 1131497801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 25874 13086 16 0 210381 0
vsize: 841588
[startup+70.0025 s]
Raw data (loadavg): 0.98 0.96 0.96 2/65 9756
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18136 3 4 0 6270 45 0 0 25 0 11 0 713445118 861786112 25875 4294967295 134512640 134569956 3221224384 3221213336 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 25875 13086 16 0 210381 0
vsize: 841588
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.96 2/65 9756
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 7186 45 0 0 24 0 11 0 713445118 861786112 26916 4294967295 134512640 134569956 3221224384 3221214624 1131253221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 26916 13086 16 0 210381 0
vsize: 841588
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.96 0.96 2/65 9757
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 8112 45 0 0 25 0 11 0 713445118 861786112 27490 4294967295 134512640 134569956 3221224384 3221214656 1131189560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 27490 13086 16 0 210381 0
vsize: 841588
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.96 2/67 9761
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18136 3 4 0 9032 46 0 0 25 0 11 0 713445118 861786112 27966 4294967295 134512640 134569956 3221224384 3221213192 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 27966 13086 16 0 210381 0
vsize: 841588
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9810
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 9964 50 0 0 25 0 11 0 713445118 861786112 28056 4294967295 134512640 134569956 3221224384 3221214552 1131415287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 28056 13086 16 0 210381 0
vsize: 841588
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9810
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18136 3 4 0 10897 51 0 0 25 0 11 0 713445118 861786112 28056 4294967295 134512640 134569956 3221224384 3221213184 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 28056 13086 16 0 210381 0
vsize: 841588
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9810
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 11827 51 0 0 25 0 11 0 713445118 861786112 28056 4294967295 134512640 134569956 3221224384 3221214632 1131512288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 28056 13086 16 0 210381 0
vsize: 841588
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9810
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 12766 51 0 0 25 0 11 0 713445118 861786112 28448 4294967295 134512640 134569956 3221224384 3221214480 1131352848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 28448 13086 16 0 210381 0
vsize: 841588
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9810
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 13719 51 0 0 25 0 11 0 713445118 861786112 28884 4294967295 134512640 134569956 3221224384 3221214472 1131189668 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 28884 13086 16 0 210381 0
vsize: 841588
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9812
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 14696 52 0 0 25 0 11 0 713445118 861786112 28884 4294967295 134512640 134569956 3221224384 3221214768 1131445552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 28884 13086 16 0 210381 0
vsize: 841588
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9812
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 15642 52 0 0 24 0 11 0 713445118 861786112 28928 4294967295 134512640 134569956 3221224384 3221214656 1131189492 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 28928 13086 16 0 210381 0
vsize: 841588
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 16572 53 0 0 25 0 11 0 713445118 861786112 29350 4294967295 134512640 134569956 3221224384 3221214768 1131445496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 29350 13086 16 0 210381 0
vsize: 841588
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 17484 53 0 0 25 0 11 0 713445118 861786112 30119 4294967295 134512640 134569956 3221224384 3221214824 1131331163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 30119 13086 16 0 210381 0
vsize: 841588
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 18427 53 0 0 25 0 11 0 713445118 861786112 30494 4294967295 134512640 134569956 3221224384 3221214664 1131352723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 30494 13086 16 0 210381 0
vsize: 841588
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 19362 53 0 0 25 0 11 0 713445118 861786112 30732 4294967295 134512640 134569956 3221224384 3221214664 1131521083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 30732 13086 16 0 210381 0
vsize: 841588
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 20291 54 0 0 25 0 11 0 713445118 861786112 30732 4294967295 134512640 134569956 3221224384 3221214664 1131497859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 30732 13086 16 0 210381 0
vsize: 841588
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 21230 54 0 0 25 0 11 0 713445118 861786112 30732 4294967295 134512640 134569956 3221224384 3221214528 1131352723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 30732 13086 16 0 210381 0
vsize: 841588
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 22170 54 0 0 25 0 11 0 713445118 861786112 30976 4294967295 134512640 134569956 3221224384 3221214664 1131521497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 30976 13086 16 0 210381 0
vsize: 841588
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 23129 54 0 0 25 0 11 0 713445118 861786112 31368 4294967295 134512640 134569956 3221224384 3221214648 1131192000 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31368 13086 16 0 210381 0
vsize: 841588
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 24111 54 0 0 25 0 11 0 713445118 861786112 31538 4294967295 134512640 134569956 3221224384 3221214664 1131521383 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31538 13086 16 0 210381 0
vsize: 841588
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 25093 55 0 0 25 0 11 0 713445118 861786112 31538 4294967295 134512640 134569956 3221224384 3221214664 1131498377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31538 13086 16 0 210381 0
vsize: 841588
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 26078 55 0 0 25 0 11 0 713445118 861786112 31569 4294967295 134512640 134569956 3221224384 3221214664 1131498105 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31569 13086 16 0 210381 0
vsize: 841588
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 27063 56 0 0 25 0 11 0 713445118 861786112 31594 4294967295 134512640 134569956 3221224384 3221214664 1131521518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31594 13086 16 0 210381 0
vsize: 841588
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 28049 56 0 0 25 0 11 0 713445118 861786112 31594 4294967295 134512640 134569956 3221224384 3221214664 1131498065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31594 13086 16 0 210381 0
vsize: 841588
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 29043 56 0 0 25 0 11 0 713445118 861786112 31668 4294967295 134512640 134569956 3221224384 3221214560 1131352786 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31668 13086 16 0 210381 0
vsize: 841588
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 30034 57 0 0 25 0 11 0 713445118 861786112 31669 4294967295 134512640 134569956 3221224384 3221214560 1131352576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31669 13086 16 0 210381 0
vsize: 841588
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 31011 57 0 0 25 0 11 0 713445118 861786112 31669 4294967295 134512640 134569956 3221224384 3221214528 1131352723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31669 13086 16 0 210381 0
vsize: 841588
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 31986 57 0 0 25 0 11 0 713445118 861786112 31669 4294967295 134512640 134569956 3221224384 3221214768 1131445496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31669 13086 16 0 210381 0
vsize: 841588
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 32952 57 0 0 25 0 11 0 713445118 861786112 31669 4294967295 134512640 134569956 3221224384 3221214560 1131352576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31669 13086 16 0 210381 0
vsize: 841588
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 33907 57 0 0 22 0 11 0 713445118 861786112 31669 4294967295 134512640 134569956 3221224384 3221214664 1131498498 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31669 13086 16 0 210381 0
vsize: 841588
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 34862 57 0 0 25 0 11 0 713445118 861786112 31813 4294967295 134512640 134569956 3221224384 3221214560 1131352723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31813 13086 16 0 210381 0
vsize: 841588
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 35824 57 0 0 25 0 11 0 713445118 861786112 31813 4294967295 134512640 134569956 3221224384 3221214664 1131497922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31813 13086 16 0 210381 0
vsize: 841588
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 36784 57 0 0 25 0 11 0 713445118 861786112 31987 4294967295 134512640 134569956 3221224384 3221214560 1131352576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 31987 13086 16 0 210381 0
vsize: 841588
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 37751 58 0 0 25 0 11 0 713445118 861786112 32075 4294967295 134512640 134569956 3221224384 3221214664 1131498321 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 32075 13086 16 0 210381 0
vsize: 841588
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 38724 58 0 0 25 0 11 0 713445118 861786112 32186 4294967295 134512640 134569956 3221224384 3221214620 1130885243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 32186 13086 16 0 210381 0
vsize: 841588
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 39701 58 0 0 25 0 11 0 713445118 861786112 32242 4294967295 134512640 134569956 3221224384 3221214648 1131191928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 32242 13086 16 0 210381 0
vsize: 841588
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 40683 58 0 0 25 0 11 0 713445118 861786112 32356 4294967295 134512640 134569956 3221224384 3221214768 1131445972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 32356 13086 16 0 210381 0
vsize: 841588
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9814
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 41666 59 0 0 25 0 11 0 713445118 861786112 32356 4294967295 134512640 134569956 3221224384 3221214768 1131445496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 32356 13086 16 0 210381 0
vsize: 841588
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 42634 59 0 0 25 0 11 0 713445118 861786112 32374 4294967295 134512640 134569956 3221224384 3221214664 1131498441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 32374 13086 16 0 210381 0
vsize: 841588
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 43594 59 0 0 25 0 11 0 713445118 861786112 32374 4294967295 134512640 134569956 3221224384 3221214552 1131189582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 32374 13086 16 0 210381 0
vsize: 841588
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18136 3 4 0 44527 60 0 0 25 0 11 0 713445118 861786112 32404 4294967295 134512640 134569956 3221224384 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 32404 13086 16 0 210381 0
vsize: 841588
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 45455 60 0 0 25 0 11 0 713445118 861786112 32404 4294967295 134512640 134569956 3221224384 3221214560 1131352780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 32404 13086 16 0 210381 0
vsize: 841588
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 46391 60 0 0 25 0 11 0 713445118 861786112 32596 4294967295 134512640 134569956 3221224384 3221214620 1130885144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 32596 13086 16 0 210381 0
vsize: 841588
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 47327 60 0 0 25 0 11 0 713445118 861786112 32623 4294967295 134512640 134569956 3221224384 3221214664 1131521340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 32623 13086 16 0 210381 0
vsize: 841588
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 48284 60 0 0 25 0 11 0 713445118 861786112 33082 4294967295 134512640 134569956 3221224384 3221214664 1131497855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 33082 13086 16 0 210381 0
vsize: 841588
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 49260 61 0 0 25 0 11 0 713445118 861786112 33265 4294967295 134512640 134569956 3221224384 3221214560 1131352723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 33265 13086 16 0 210381 0
vsize: 841588
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 50227 61 0 0 25 0 11 0 713445118 861786112 33265 4294967295 134512640 134569956 3221224384 3221214664 1131345645 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 33265 13086 16 0 210381 0
vsize: 841588
[startup+540.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 51193 61 0 0 25 0 11 0 713445118 861786112 33293 4294967295 134512640 134569956 3221224384 3221214664 1131497922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 33293 13086 16 0 210381 0
vsize: 841588
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 52149 61 0 0 25 0 11 0 713445118 861786112 33322 4294967295 134512640 134569956 3221224384 3221214664 1131498451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 33322 13086 16 0 210381 0
vsize: 841588
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 53109 62 0 0 25 0 11 0 713445118 861786112 33322 4294967295 134512640 134569956 3221224384 3221214576 1131397200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 33322 13086 16 0 210381 0
vsize: 841588
[startup+570.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18136 3 4 0 54065 62 0 0 25 0 11 0 713445118 861786112 33416 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 33416 13086 16 0 210381 0
vsize: 841588
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 55017 62 0 0 25 0 11 0 713445118 861786112 33639 4294967295 134512640 134569956 3221224384 3221214664 1131498523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 33639 13086 16 0 210381 0
vsize: 841588
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 55979 63 0 0 25 0 11 0 713445118 861786112 33668 4294967295 134512640 134569956 3221224384 3221214660 1131388736 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 33668 13086 16 0 210381 0
vsize: 841588
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 56944 63 0 0 25 0 11 0 713445118 861786112 33755 4294967295 134512640 134569956 3221224384 3221214560 1131352780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 33755 13086 16 0 210381 0
vsize: 841588
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 57913 63 0 0 25 0 11 0 713445118 861786112 33785 4294967295 134512640 134569956 3221224384 3221214664 1131498065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 33785 13086 16 0 210381 0
vsize: 841588
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 58887 63 0 0 25 0 11 0 713445118 861786112 33875 4294967295 134512640 134569956 3221224384 3221214664 1131521106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 33875 13086 16 0 210381 0
vsize: 841588
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 59872 63 0 0 25 0 11 0 713445118 861786112 34102 4294967295 134512640 134569956 3221224384 3221214592 1131345315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34102 13086 16 0 210381 0
vsize: 841588
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 60862 64 0 0 25 0 11 0 713445118 861786112 34124 4294967295 134512640 134569956 3221224384 3221214664 1131521340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34124 13086 16 0 210381 0
vsize: 841588
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 61845 64 0 0 25 0 11 0 713445118 861786112 34124 4294967295 134512640 134569956 3221224384 3221214664 1131497875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34124 13086 16 0 210381 0
vsize: 841588
[startup+660.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 62828 64 0 0 25 0 11 0 713445118 861786112 34124 4294967295 134512640 134569956 3221224384 3221214664 1131345372 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34124 13086 16 0 210381 0
vsize: 841588
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 63803 65 0 0 25 0 11 0 713445118 861786112 34124 4294967295 134512640 134569956 3221224384 3221214664 1131497922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34124 13086 16 0 210381 0
vsize: 841588
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 64780 65 0 0 25 0 11 0 713445118 861786112 34124 4294967295 134512640 134569956 3221224384 3221214664 1131521414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34124 13086 16 0 210381 0
vsize: 841588
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 65754 65 0 0 25 0 11 0 713445118 861786112 34183 4294967295 134512640 134569956 3221224384 3221214656 1131388763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34183 13086 16 0 210381 0
vsize: 841588
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 66732 65 0 0 25 0 11 0 713445118 861786112 34212 4294967295 134512640 134569956 3221224384 3221214664 1131498243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34212 13086 16 0 210381 0
vsize: 841588
[startup+710.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 67716 65 0 0 25 0 11 0 713445118 861786112 34271 4294967295 134512640 134569956 3221224384 3221214560 1131352723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34271 13086 16 0 210381 0
vsize: 841588
[startup+720.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 68705 65 0 0 25 0 11 0 713445118 861786112 34356 4294967295 134512640 134569956 3221224384 3221214560 1131352986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34356 13086 16 0 210381 0
vsize: 841588
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 69700 66 0 0 25 0 11 0 713445118 861786112 34356 4294967295 134512640 134569956 3221224384 3221214808 1131371779 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34356 13086 16 0 210381 0
vsize: 841588
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18136 3 4 0 70679 66 0 0 25 0 11 0 713445118 861786112 34379 4294967295 134512640 134569956 3221224384 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34379 13086 16 0 210381 0
vsize: 841588
[startup+750.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 71651 66 0 0 25 0 11 0 713445118 861786112 34379 4294967295 134512640 134569956 3221224384 3221214552 1131189611 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34379 13086 16 0 210381 0
vsize: 841588
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 72620 67 0 0 25 0 11 0 713445118 861786112 34379 4294967295 134512640 134569956 3221224384 3221214664 1131497807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34379 13086 16 0 210381 0
vsize: 841588
[startup+770.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 73578 67 0 0 25 0 11 0 713445118 861786112 34379 4294967295 134512640 134569956 3221224384 3221214620 1130885222 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34379 13086 16 0 210381 0
vsize: 841588
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 74539 67 0 0 25 0 11 0 713445118 861786112 34471 4294967295 134512640 134569956 3221224384 3221214664 1131497807 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34471 13086 16 0 210381 0
vsize: 841588
[startup+790.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 75499 67 0 0 25 0 11 0 713445118 861786112 34555 4294967295 134512640 134569956 3221224384 3221214560 1131352982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34555 13086 16 0 210381 0
vsize: 841588
[startup+800.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18136 3 4 0 76469 67 0 0 25 0 11 0 713445118 861786112 34642 4294967295 134512640 134569956 3221224384 3221214664 1131498080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210397 34642 13086 16 0 210381 0
vsize: 841588
[startup+810.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 77442 67 0 0 24 0 11 0 713445118 861786112 34776 4294967295 134512640 134569956 3221224384 3221214528 1131352547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34776 13086 16 0 210381 0
vsize: 841588
[startup+820.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 78426 68 0 0 25 0 11 0 713445118 861786112 34809 4294967295 134512640 134569956 3221224384 3221214560 1131353406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34809 13086 16 0 210381 0
vsize: 841588
[startup+830.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 79417 68 0 0 25 0 11 0 713445118 861786112 34898 4294967295 134512640 134569956 3221224384 3221214664 1131497922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34898 13086 16 0 210381 0
vsize: 841588
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 80413 68 0 0 25 0 11 0 713445118 861786112 34901 4294967295 134512640 134569956 3221224384 3221214664 1131521392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34901 13086 16 0 210381 0
vsize: 841588
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 81389 68 0 0 25 0 11 0 713445118 861786112 34901 4294967295 134512640 134569956 3221224384 3221214664 1131498151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34901 13086 16 0 210381 0
vsize: 841588
[startup+860.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 82351 68 0 0 25 0 11 0 713445118 861786112 34901 4294967295 134512640 134569956 3221224384 3221214464 1131560989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34901 13086 16 0 210381 0
vsize: 841588
[startup+870.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 83303 69 0 0 25 0 11 0 713445118 861786112 34928 4294967295 134512640 134569956 3221224384 3221214560 1131352723 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34928 13086 16 0 210381 0
vsize: 841588
[startup+880.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 84261 69 0 0 25 0 11 0 713445118 861786112 34928 4294967295 134512640 134569956 3221224384 3221214664 1131497859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34928 13086 16 0 210381 0
vsize: 841588
[startup+890.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 85211 69 0 0 24 0 11 0 713445118 861786112 34963 4294967295 134512640 134569956 3221224384 3221214664 1131498065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 34963 13086 16 0 210381 0
vsize: 841588
[startup+900.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 86178 69 0 0 25 0 11 0 713445118 861786112 35290 4294967295 134512640 134569956 3221224384 3221214664 1131497899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35290 13086 16 0 210381 0
vsize: 841588
[startup+910.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 87149 70 0 0 25 0 11 0 713445118 861786112 35358 4294967295 134512640 134569956 3221224384 3221214664 1131345572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35358 13086 16 0 210381 0
vsize: 841588
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 88111 70 0 0 25 0 11 0 713445118 861786112 35417 4294967295 134512640 134569956 3221224384 3221214664 1131521430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35417 13086 16 0 210381 0
vsize: 841588
[startup+930.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 89075 70 0 0 25 0 11 0 713445118 861786112 35417 4294967295 134512640 134569956 3221224384 3221214664 1131497913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35417 13086 16 0 210381 0
vsize: 841588
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 90044 70 0 0 25 0 11 0 713445118 861786112 35417 4294967295 134512640 134569956 3221224384 3221214624 1131253209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35417 13086 16 0 210381 0
vsize: 841588
[startup+950.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 91012 70 0 0 25 0 11 0 713445118 861786112 35481 4294967295 134512640 134569956 3221224384 3221214528 1131352653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35481 13086 16 0 210381 0
vsize: 841588
[startup+960.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 91992 71 0 0 25 0 11 0 713445118 861786112 35745 4294967295 134512640 134569956 3221224384 3221214560 1131353528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35745 13086 16 0 210381 0
vsize: 841588
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 92988 71 0 0 25 0 11 0 713445118 861786112 35745 4294967295 134512640 134569956 3221224384 3221214664 1131498111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35745 13086 16 0 210381 0
vsize: 841588
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 93983 71 0 0 25 0 11 0 713445118 861786112 35745 4294967295 134512640 134569956 3221224384 3221214664 1131498248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35745 13086 16 0 210381 0
vsize: 841588
[startup+990.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 94979 71 0 0 25 0 11 0 713445118 861786112 35745 4294967295 134512640 134569956 3221224384 3221214552 1131189582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35745 13086 16 0 210381 0
vsize: 841588
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 95975 71 0 0 25 0 11 0 713445118 861786112 35746 4294967295 134512640 134569956 3221224384 3221214648 1131191928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35746 13086 16 0 210381 0
vsize: 841588
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 96969 71 0 0 25 0 11 0 713445118 861786112 35747 4294967295 134512640 134569956 3221224384 3221214648 1131192002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35747 13086 16 0 210381 0
vsize: 841588
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 97964 72 0 0 25 0 11 0 713445118 861786112 35747 4294967295 134512640 134569956 3221224384 3221214560 1131353276 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35747 13086 16 0 210381 0
vsize: 841588
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 98958 72 0 0 25 0 11 0 713445118 861786112 35747 4294967295 134512640 134569956 3221224384 3221214768 1131445493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210397 35747 13086 16 0 210381 0
vsize: 841588
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18137 3 4 0 99942 72 0 0 25 0 11 0 713445118 861786112 35747 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35747 13086 16 0 210381 0
vsize: 841588
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 100903 72 0 0 25 0 11 0 713445118 861786112 35758 4294967295 134512640 134569956 3221224384 3221214768 1131445496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 35758 13086 16 0 210381 0
vsize: 841588
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 101819 72 0 0 24 0 11 0 713445118 861786112 36225 4294967295 134512640 134569956 3221224384 3221214664 1131345713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 36225 13086 16 0 210381 0
vsize: 841588
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 102747 72 0 0 25 0 11 0 713445118 861786112 36724 4294967295 134512640 134569956 3221224384 3221214768 1131445496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 36724 13086 16 0 210381 0
vsize: 841588
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 103671 72 0 0 25 0 11 0 713445118 861786112 37433 4294967295 134512640 134569956 3221224384 3221214664 1131498088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 37433 13086 16 0 210381 0
vsize: 841588
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 104609 72 0 0 25 0 11 0 713445118 861786112 37433 4294967295 134512640 134569956 3221224384 3221214664 1131497801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 37433 13086 16 0 210381 0
vsize: 841588
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18137 3 4 0 105553 72 0 0 25 0 11 0 713445118 861786112 37433 4294967295 134512640 134569956 3221224384 3221213232 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 37433 13086 16 0 210381 0
vsize: 841588
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 106497 72 0 0 25 0 11 0 713445118 861786112 37433 4294967295 134512640 134569956 3221224384 3221214560 1131352525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 37433 13086 16 0 210381 0
vsize: 841588
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 107435 72 0 0 25 0 11 0 713445118 861786112 37470 4294967295 134512640 134569956 3221224384 3221214664 1131497801 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 37470 13086 16 0 210381 0
vsize: 841588
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 108385 73 0 0 25 0 11 0 713445118 861786112 38225 4294967295 134512640 134569956 3221224384 3221214664 1131345283 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 38225 13086 16 0 210381 0
vsize: 841588
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 109346 73 0 0 25 0 11 0 713445118 861786112 38225 4294967295 134512640 134569956 3221224384 3221214560 1131352974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 38225 13086 16 0 210381 0
vsize: 841588
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 110306 73 0 0 25 0 11 0 713445118 861786112 38225 4294967295 134512640 134569956 3221224384 3221214684 1131191911 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 38225 13086 16 0 210381 0
vsize: 841588
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18137 3 4 0 111263 73 0 0 25 0 11 0 713445118 861786112 38225 4294967295 134512640 134569956 3221224384 3221213408 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 38225 13086 16 0 210381 0
vsize: 841588
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9822
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18137 3 4 0 112224 74 0 0 25 0 11 0 713445118 861786112 38225 4294967295 134512640 134569956 3221224384 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 38225 13086 16 0 210381 0
vsize: 841588
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9823
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 113185 74 0 0 25 0 11 0 713445118 861786112 38554 4294967295 134512640 134569956 3221224384 3221214656 1131189511 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 38554 13086 16 0 210381 0
vsize: 841588
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9823
Raw data (stat): 9743 (java) S 9742 32363 32362 0 -1 0 18137 3 4 0 114158 74 0 0 25 0 11 0 713445118 861786112 38664 4294967295 134512640 134569956 3221224384 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 38664 13086 16 0 210381 0
vsize: 841588
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9823
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 115107 74 0 0 25 0 11 0 713445118 861786112 38664 4294967295 134512640 134569956 3221224384 3221214768 1131445969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 38664 13086 16 0 210381 0
vsize: 841588
[startup+1210.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9823
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 116021 74 0 0 25 0 11 0 713445118 861786112 39194 4294967295 134512640 134569956 3221224384 3221214664 1131345638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 39194 13086 16 0 210381 0
vsize: 841588
[startup+1220.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9823
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 116942 74 0 0 25 0 11 0 713445118 861786112 39698 4294967295 134512640 134569956 3221224384 3221214768 1131445744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 39698 13086 16 0 210381 0
vsize: 841588
[startup+1230.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9823
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 117884 75 0 0 25 0 11 0 713445118 861786112 40069 4294967295 134512640 134569956 3221224384 3221214664 1131345214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 40069 13086 16 0 210381 0
vsize: 841588
[startup+1240.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9823
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 118829 75 0 0 25 0 11 0 713445118 861786112 40272 4294967295 134512640 134569956 3221224384 3221214656 1131189507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 40272 13086 16 0 210381 0
vsize: 841588
[startup+1250.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9823
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 119752 75 0 0 25 0 11 0 713445118 861786112 40371 4294967295 134512640 134569956 3221224384 3221214664 1131345449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 40371 13086 16 0 210381 0
vsize: 841588
[startup+1260.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/65 9823
Raw data (stat): 9743 (java) R 9742 32363 32362 0 -1 0 18137 3 4 0 120674 75 0 0 25 0 11 0 713445118 861786112 40675 4294967295 134512640 134569956 3221224384 3221214500 1077558140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210397 40675 13086 16 0 210381 0
vsize: 841588
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.32 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 9825
Raw data (stat): 9743 (java) Z 9742 32363 32362 0 -1 1036 18137 25246 4 0 120696 82 6158 61 25 0 1 0 713445118 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.32
CPU time (s): 1270
CPU user time (s): 1268.56
CPU system time (s): 1.44078
CPU usage (%): 100.768
Max. virtual memory (Kb): 841796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	21
#### END VERIFIER DATA ####