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 34778

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-28 10:31:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=23996 boxname=wulflinc26 idbench=70 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  43952ea8e0659c6ffd861c99c0b605de  /oldhome/oroussel/tmp/wulflinc26/normalized-jac3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-jac3.opb
IDLAUNCH: 23996
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        542996 kB
Buffers:         32372 kB
Cached:         427720 kB
SwapCached:        744 kB
Active:          27808 kB
Inactive:       434396 kB
HighTotal:      131008 kB
HighFree:        44996 kB
LowTotal:       903652 kB
LowFree:        498000 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            23752 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 10:51:12 (client local time) WITH STATUS 0 IN 1202.45 SECONDS
stats: 23996 0 1202.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 708
c [startup+95.0255 s]  setting bit 10 to 1
c got solution with objective value: 196
c [startup+176.841 s]  setting bit 9 to 1
c CONFLICT during preprocess 
c [startup+183.112 s]  setting bit 8 to 0
c got solution with objective value: 68
c [startup+285.22 s]  setting bit 7 to 1
c [startup+326.221 s]  setting bit 6 to 0
c got solution with objective value: 36
c [startup+493.576 s]  setting bit 5 to 1

Decision: 1471658/1504259	Time: 357.444/86400
Decision: 1471658/1504259	Time: 526.348/86400
Decision: 1471658/1504259	Time: 703.892/86400s SATISFIABLE
v -x1 -x10 -x100 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x101 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x102 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x103 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x104 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x105 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x106 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 x1066 -x1067 -x1068 -x1069 -x107 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 x108 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x109 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x11 -x110 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x111 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x112 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x113 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x114 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x115 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x116 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x117 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x118 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x119 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x12 -x120 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x121 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x122 -x1220 -x1221 -x1222 x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x123 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 x1236 -x1237 -x1238 -x1239 -x124 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x125 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x126 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x127 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x128 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x129 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x13 -x130 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x131 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x132 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x133 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x134 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 x135 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x136 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x137 x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x138 -x1380 -x1381 -x1382 -x1383 -x1384 x1385 -x1386 -x1387 -x1388 -x1389 -x139 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x14 -x140 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x141 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x142 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x143 -x1430 -x1431 -x1432 -x1433 -x1434 x1435 -x1436 -x1437 -x1438 -x1439 -x144 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x145 -x1450 -x1451 -x1452 -x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x146 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 x1468 -x1469 -x147 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 x1478 x1479 -x148 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x149 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x15 x150 -x1500 -x1501 -x1502 -x1503 -x1504 -x1505 x1506 x1507 -x1508 x1509 -x151 -x1510 x1511 -x1512 x1513 -x1514 x1515 -x1516 x1517 -x1518 -x1519 -x152 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x153 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x154 -x1540 x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x155 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 -x1556 x1557 -x1558 -x1559 -x156 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x157 -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x158 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x159 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x16 -x160 -x1600 -x1601 -x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x161 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x162 -x1620 -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x163 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x164 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x165 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 -x1657 -x1658 -x1659 -x166 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x167 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x168 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x169 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x17 -x170 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 -x1709 -x171 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x172 -x1720 -x1721 -x1722 -x1723 -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x173 -x1730 -x1731 -x1732 -x174 -x175 -x176 -x177 -x178 -x179 -x18 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x19 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x2 -x20 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x21 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x22 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x23 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x24 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x25 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x26 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x27 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x28 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x29 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x3 -x30 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x31 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x32 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x33 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x34 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x35 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x36 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x37 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x38 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x39 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x4 -x40 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x41 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x42 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x43 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x44 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x45 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x46 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x47 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x48 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x49 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x5 -x50 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x51 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x52 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x53 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x54 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x55 -x550 -x551 -x552 -x553 x554 -x555 x556 -x557 -x558 -x559 -x56 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x57 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x58 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x59 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x6 -x60 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x61 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x62 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x63 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x64 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x65 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x66 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x67 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x68 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x69 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x7 -x70 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x71 -x710 -x711 -x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x72 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x73 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x74 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x75 x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x76 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 x769 -x77 -x770 -x771 -x772 -x773 -x774 -x775 -x776 x777 -x778 -x779 -x78 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x79 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x8 -x80 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x81 -x810 -x811 -x812 -x813 -x814 -x815 x816 -x817 -x818 -x819 -x82 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x83 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x84 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x85 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 x858 -x859 -x86 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x87 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x88 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x89 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x9 -x90 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x91 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x92 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x93 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x94 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x95 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x96 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x97 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x98 -x980 -x981 -x982 -x983 -x984 x985 -x986 -x987 -x988 -x989 -x99 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.94 0.69 1/54 32559
Raw data (stat): 32559 (runsolver) D 32558 20687 20686 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 864106916 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99999 s]
Raw data (loadavg): 0.88 0.94 0.70 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 29171 0 0 0 931 67 0 0 25 0 1 0 864106916 88920064 18269 4294967295 134512640 135726644 3221224592 3220764056 135280645 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21709 18269 300 300 0 21409 0
vsize: 86836
[startup+20.0006 s]
Raw data (loadavg): 0.90 0.94 0.70 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 57419 0 0 0 1867 131 0 0 25 0 1 0 864106916 174505984 35563 4294967295 134512640 135726644 3221224592 3220894280 135280658 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42604 35564 300 300 0 42304 0
vsize: 170416
[startup+30.0003 s]
Raw data (loadavg): 0.92 0.94 0.70 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 97680 0 0 0 2786 213 0 0 25 0 1 0 864106916 298471424 54149 4294967295 134512640 135726644 3221224592 3221150480 134767049 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72869 54149 300 300 0 72569 0
vsize: 291476
[startup+40 s]
Raw data (loadavg): 0.93 0.94 0.71 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 113020 0 0 0 3751 247 0 0 25 0 1 0 864106916 344326144 69268 4294967295 134512640 135726644 3221224592 3220849848 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84064 69268 300 300 0 83764 0
vsize: 336256
[startup+50.0006 s]
Raw data (loadavg): 0.94 0.95 0.71 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 133695 0 0 0 4707 292 0 0 25 0 1 0 864106916 516808704 89678 4294967295 134512640 135726644 3221224592 3220893976 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 126174 89680 300 300 0 125874 0
vsize: 504696
[startup+60.0003 s]
Raw data (loadavg): 0.95 0.95 0.71 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 193569 0 0 0 5588 411 0 0 25 0 1 0 864106916 594554880 106478 4294967295 134512640 135726644 3221224592 3221146384 134782330 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145155 106479 300 300 0 144855 0
vsize: 580620
[startup+70.001 s]
Raw data (loadavg): 0.95 0.95 0.71 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 204998 0 0 0 6566 433 0 0 25 0 1 0 864106916 628109312 117703 4294967295 134512640 135726644 3221224592 3221080080 134767091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153347 117703 300 300 0 153047 0
vsize: 613388
[startup+80.0018 s]
Raw data (loadavg): 0.96 0.95 0.72 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 220809 0 0 0 7530 469 0 0 25 0 1 0 864106916 661118976 133376 4294967295 134512640 135726644 3221224592 3221222920 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161406 133376 300 300 0 161106 0
vsize: 645624
[startup+90.0015 s]
Raw data (loadavg): 0.97 0.95 0.72 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 227936 0 0 0 8514 485 0 0 25 0 1 0 864106916 676155392 136567 4294967295 134512640 135726644 3221224592 3221222924 134735640 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165077 136567 300 300 0 164777 0
vsize: 660308
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.72 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 230912 0 0 0 9505 493 0 0 25 0 1 0 864106916 676302848 136604 4294967295 134512640 135726644 3221224592 3221222896 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 165113 136604 300 300 0 164813 0
vsize: 660452
[startup+110.001 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 232657 0 0 0 10502 496 0 0 25 0 1 0 864106916 680783872 137324 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166207 137324 300 300 0 165907 0
vsize: 664828
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 233196 0 0 0 11501 497 0 0 25 0 1 0 864106916 682430464 137603 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166609 137603 300 300 0 166309 0
vsize: 666436
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 233682 0 0 0 12500 498 0 0 25 0 1 0 864106916 683794432 137802 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166942 137802 300 300 0 166642 0
vsize: 667768
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.73 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 234378 0 0 0 13499 500 0 0 25 0 1 0 864106916 685858816 138195 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167446 138195 300 300 0 167146 0
vsize: 669784
[startup+150.001 s]
Raw data (loadavg): 0.99 0.96 0.73 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 234703 0 0 0 14499 500 0 0 25 0 1 0 864106916 687357952 138471 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167812 138471 300 300 0 167512 0
vsize: 671248
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 234882 0 0 0 15498 501 0 0 25 0 1 0 864106916 688107520 138598 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 167995 138598 300 300 0 167695 0
vsize: 671980
[startup+170.001 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 235150 0 0 0 16498 502 0 0 25 0 1 0 864106916 689041408 138768 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168223 138768 300 300 0 167923 0
vsize: 672892
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 238090 0 0 0 17490 509 0 0 25 0 1 0 864106916 701079552 141708 4294967295 134512640 135726644 3221224592 3221222892 134761854 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171162 141708 300 300 0 170862 0
vsize: 684648
[startup+190 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 241029 0 0 0 18481 518 0 0 25 0 1 0 864106916 689041408 138769 4294967295 134512640 135726644 3221224592 3221223088 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168223 138769 300 300 0 167923 0
vsize: 672892
[startup+200 s]
Raw data (loadavg): 0.99 0.96 0.74 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 241324 0 0 0 19481 518 0 0 25 0 1 0 864106916 689500160 139064 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168335 139064 300 300 0 168035 0
vsize: 673340
[startup+209.999 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 241482 0 0 0 20480 519 0 0 25 0 1 0 864106916 690081792 139189 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168477 139189 300 300 0 168177 0
vsize: 673908
[startup+220 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 241607 0 0 0 21480 519 0 0 25 0 1 0 864106916 690597888 139281 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168603 139281 300 300 0 168303 0
vsize: 674412
[startup+230 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 241763 0 0 0 22480 520 0 0 25 0 1 0 864106916 691228672 139380 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 168757 139380 300 300 0 168457 0
vsize: 675028
[startup+239.999 s]
Raw data (loadavg): 0.99 0.96 0.75 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 242011 0 0 0 23480 520 0 0 25 0 1 0 864106916 692441088 139579 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169053 139579 300 300 0 168753 0
vsize: 676212
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.75 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 242149 0 0 0 24479 521 0 0 25 0 1 0 864106916 692973568 139651 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169183 139651 300 300 0 168883 0
vsize: 676732
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 242234 0 0 0 25479 521 0 0 25 0 1 0 864106916 693538816 139736 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169321 139736 300 300 0 169021 0
vsize: 677284
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 242495 0 0 0 26478 522 0 0 25 0 1 0 864106916 694607872 139931 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169582 139931 300 300 0 169282 0
vsize: 678328
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 242771 0 0 0 27478 523 0 0 25 0 1 0 864106916 695586816 140108 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169821 140108 300 300 0 169521 0
vsize: 679284
[startup+289.998 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 245737 0 0 0 28470 530 0 0 25 0 1 0 864106916 695783424 140135 4294967295 134512640 135726644 3221224592 3221222896 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169869 140135 300 300 0 169569 0
vsize: 679476
[startup+299.998 s]
Raw data (loadavg): 0.99 0.97 0.76 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 245856 0 0 0 29470 530 0 0 25 0 1 0 864106916 695783424 140254 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169869 140254 300 300 0 169569 0
vsize: 679476
[startup+309.998 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 245860 0 0 0 30470 530 0 0 25 0 1 0 864106916 695783424 140258 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169869 140258 300 300 0 169569 0
vsize: 679476
[startup+319.998 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 245867 0 0 0 31470 530 0 0 25 0 1 0 864106916 695783424 140265 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169869 140265 300 300 0 169569 0
vsize: 679476
[startup+329.999 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 248810 0 0 0 32464 537 0 0 25 0 1 0 864106916 707821568 143208 4294967295 134512640 135726644 3221224592 3221222920 134761853 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172808 143208 300 300 0 172508 0
vsize: 691232
[startup+339.998 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 248835 0 0 0 33463 538 0 0 25 0 1 0 864106916 695930880 140294 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169905 140294 300 300 0 169605 0
vsize: 679620
[startup+349.998 s]
Raw data (loadavg): 0.99 0.97 0.77 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 248875 0 0 0 34463 538 0 0 25 0 1 0 864106916 696078336 140334 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169941 140334 300 300 0 169641 0
vsize: 679764
[startup+359.998 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 248947 0 0 0 35463 538 0 0 25 0 1 0 864106916 696590336 140406 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170066 140406 300 300 0 169766 0
vsize: 680264
[startup+369.999 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 248993 0 0 0 36463 538 0 0 25 0 1 0 864106916 696725504 140452 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170099 140452 300 300 0 169799 0
vsize: 680396
[startup+379.999 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 249059 0 0 0 37463 538 0 0 25 0 1 0 864106916 697085952 140518 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170187 140518 300 300 0 169887 0
vsize: 680748
[startup+389.999 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 249250 0 0 0 38463 539 0 0 25 0 1 0 864106916 698048512 140709 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170422 140709 300 300 0 170122 0
vsize: 681688
[startup+399.999 s]
Raw data (loadavg): 0.99 0.97 0.78 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 249307 0 0 0 39463 539 0 0 25 0 1 0 864106916 698318848 140766 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170488 140766 300 300 0 170188 0
vsize: 681952
[startup+409.998 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 249359 0 0 0 40463 539 0 0 25 0 1 0 864106916 698634240 140818 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170565 140818 300 300 0 170265 0
vsize: 682260
[startup+419.999 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 249424 0 0 0 41463 540 0 0 25 0 1 0 864106916 698961920 140883 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170645 140883 300 300 0 170345 0
vsize: 682580
[startup+430 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 249490 0 0 0 42463 540 0 0 25 0 1 0 864106916 699322368 140949 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170733 140949 300 300 0 170433 0
vsize: 682932
[startup+439.999 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 249542 0 0 0 43463 540 0 0 25 0 1 0 864106916 699486208 141001 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170773 141001 300 300 0 170473 0
vsize: 683092
[startup+449.999 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 249552 0 0 0 44463 540 0 0 25 0 1 0 864106916 699486208 141011 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170773 141011 300 300 0 170473 0
vsize: 683092
[startup+459.999 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 249565 0 0 0 45463 540 0 0 25 0 1 0 864106916 699650048 141024 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170813 141024 300 300 0 170513 0
vsize: 683252
[startup+469.999 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 249575 0 0 0 46463 540 0 0 25 0 1 0 864106916 699650048 141034 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170813 141034 300 300 0 170513 0
vsize: 683252
[startup+479.999 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 249676 0 0 0 47463 541 0 0 25 0 1 0 864106916 700145664 141135 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170934 141135 300 300 0 170634 0
vsize: 683736
[startup+489.999 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 249801 0 0 0 48463 541 0 0 25 0 1 0 864106916 700788736 141260 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171091 141260 300 300 0 170791 0
vsize: 684364
[startup+499.999 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 252740 0 0 0 49455 548 0 0 25 0 1 0 864106916 700788736 141260 4294967295 134512640 135726644 3221224592 3221223088 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171091 141260 300 300 0 170791 0
vsize: 684364
[startup+509.999 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 252795 0 0 0 50455 548 0 0 25 0 1 0 864106916 701087744 141315 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171164 141315 300 300 0 170864 0
vsize: 684656
[startup+520 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 252866 0 0 0 51455 548 0 0 25 0 1 0 864106916 701358080 141386 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171230 141386 300 300 0 170930 0
vsize: 684920
[startup+530 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 252867 0 0 0 52455 548 0 0 25 0 1 0 864106916 701358080 141387 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171230 141387 300 300 0 170930 0
vsize: 684920
[startup+540 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 252873 0 0 0 53455 548 0 0 25 0 1 0 864106916 701358080 141393 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171230 141393 300 300 0 170930 0
vsize: 684920
[startup+550 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 252878 0 0 0 54455 549 0 0 25 0 1 0 864106916 701358080 141398 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171230 141398 300 300 0 170930 0
vsize: 684920
[startup+560 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 252902 0 0 0 55455 549 0 0 25 0 1 0 864106916 701521920 141422 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171270 141422 300 300 0 170970 0
vsize: 685080
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 252909 0 0 0 56456 549 0 0 25 0 1 0 864106916 701521920 141429 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171270 141429 300 300 0 170970 0
vsize: 685080
[startup+580.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 252910 0 0 0 57456 549 0 0 25 0 1 0 864106916 701521920 141430 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171270 141430 300 300 0 170970 0
vsize: 685080
[startup+590 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 252937 0 0 0 58455 549 0 0 25 0 1 0 864106916 701669376 141457 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171306 141457 300 300 0 171006 0
vsize: 685224
[startup+600.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 252993 0 0 0 59455 550 0 0 25 0 1 0 864106916 701816832 141513 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171342 141513 300 300 0 171042 0
vsize: 685368
[startup+610.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253028 0 0 0 60455 551 0 0 25 0 1 0 864106916 701980672 141548 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171382 141548 300 300 0 171082 0
vsize: 685528
[startup+620.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253064 0 0 0 61454 551 0 0 25 0 1 0 864106916 702177280 141584 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171430 141584 300 300 0 171130 0
vsize: 685720
[startup+630.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253067 0 0 0 62454 551 0 0 25 0 1 0 864106916 702177280 141587 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171430 141587 300 300 0 171130 0
vsize: 685720
[startup+640.001 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253068 0 0 0 63454 551 0 0 25 0 1 0 864106916 702177280 141588 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171430 141588 300 300 0 171130 0
vsize: 685720
[startup+650.001 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253089 0 0 0 64454 552 0 0 25 0 1 0 864106916 702341120 141609 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171470 141609 300 300 0 171170 0
vsize: 685880
[startup+660.001 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253118 0 0 0 65454 552 0 0 25 0 1 0 864106916 702488576 141638 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171506 141638 300 300 0 171206 0
vsize: 686024
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253121 0 0 0 66455 552 0 0 25 0 1 0 864106916 702488576 141641 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171506 141641 300 300 0 171206 0
vsize: 686024
[startup+680.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253169 0 0 0 67455 552 0 0 25 0 1 0 864106916 702652416 141689 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171546 141689 300 300 0 171246 0
vsize: 686184
[startup+690.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253173 0 0 0 68454 552 0 0 25 0 1 0 864106916 702652416 141693 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171546 141693 300 300 0 171246 0
vsize: 686184
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253181 0 0 0 69454 553 0 0 25 0 1 0 864106916 702816256 141701 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171586 141701 300 300 0 171286 0
vsize: 686344
[startup+710.002 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253195 0 0 0 70454 553 0 0 25 0 1 0 864106916 702816256 141715 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171586 141715 300 300 0 171286 0
vsize: 686344
[startup+720.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253224 0 0 0 71454 553 0 0 25 0 1 0 864106916 702963712 141744 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171622 141744 300 300 0 171322 0
vsize: 686488
[startup+730.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253245 0 0 0 72454 554 0 0 25 0 1 0 864106916 702963712 141765 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171622 141765 300 300 0 171322 0
vsize: 686488
[startup+740.003 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253249 0 0 0 73454 554 0 0 25 0 1 0 864106916 702963712 141769 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171622 141769 300 300 0 171322 0
vsize: 686488
[startup+750.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253251 0 0 0 74454 554 0 0 25 0 1 0 864106916 702963712 141771 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171622 141771 300 300 0 171322 0
vsize: 686488
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253258 0 0 0 75454 554 0 0 25 0 1 0 864106916 702963712 141778 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171622 141778 300 300 0 171322 0
vsize: 686488
[startup+770.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253262 0 0 0 76454 554 0 0 25 0 1 0 864106916 702963712 141782 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171622 141782 300 300 0 171322 0
vsize: 686488
[startup+780.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253288 0 0 0 77454 555 0 0 25 0 1 0 864106916 703127552 141808 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171662 141808 300 300 0 171362 0
vsize: 686648
[startup+790.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253327 0 0 0 78454 555 0 0 25 0 1 0 864106916 703275008 141847 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171698 141847 300 300 0 171398 0
vsize: 686792
[startup+800.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253338 0 0 0 79454 555 0 0 25 0 1 0 864106916 703422464 141858 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171734 141858 300 300 0 171434 0
vsize: 686936
[startup+810.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253369 0 0 0 80453 556 0 0 25 0 1 0 864106916 703569920 141889 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171770 141889 300 300 0 171470 0
vsize: 687080
[startup+820.004 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253384 0 0 0 81454 556 0 0 25 0 1 0 864106916 703569920 141904 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171770 141904 300 300 0 171470 0
vsize: 687080
[startup+830.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253417 0 0 0 82453 556 0 0 25 0 1 0 864106916 703717376 141937 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171806 141937 300 300 0 171506 0
vsize: 687224
[startup+840.003 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 253419 0 0 0 83453 556 0 0 25 0 1 0 864106916 703717376 141939 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171806 141939 300 300 0 171506 0
vsize: 687224
[startup+850.003 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256358 0 0 0 84446 563 0 0 25 0 1 0 864106916 703717376 141939 4294967295 134512640 135726644 3221224592 3221223216 134779655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171806 141939 300 300 0 171506 0
vsize: 687224
[startup+860.003 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256359 0 0 0 85446 563 0 0 25 0 1 0 864106916 703717376 141940 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171806 141940 300 300 0 171506 0
vsize: 687224
[startup+870.004 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256359 0 0 0 86446 563 0 0 25 0 1 0 864106916 703717376 141940 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171806 141940 300 300 0 171506 0
vsize: 687224
[startup+880.005 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256376 0 0 0 87447 563 0 0 25 0 1 0 864106916 703881216 141957 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171846 141957 300 300 0 171546 0
vsize: 687384
[startup+890.004 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256376 0 0 0 88447 563 0 0 25 0 1 0 864106916 703881216 141957 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171846 141957 300 300 0 171546 0
vsize: 687384
[startup+900.004 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256389 0 0 0 89447 564 0 0 25 0 1 0 864106916 703881216 141970 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171846 141970 300 300 0 171546 0
vsize: 687384
[startup+910.004 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256389 0 0 0 90447 564 0 0 25 0 1 0 864106916 703881216 141970 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171846 141970 300 300 0 171546 0
vsize: 687384
[startup+920.004 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256412 0 0 0 91446 564 0 0 25 0 1 0 864106916 704028672 141993 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171882 141993 300 300 0 171582 0
vsize: 687528
[startup+930.004 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256450 0 0 0 92446 565 0 0 25 0 1 0 864106916 704192512 142031 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171922 142031 300 300 0 171622 0
vsize: 687688
[startup+940.004 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256479 0 0 0 93446 565 0 0 25 0 1 0 864106916 704356352 142060 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171962 142060 300 300 0 171662 0
vsize: 687848
[startup+950.004 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256479 0 0 0 94446 565 0 0 25 0 1 0 864106916 704356352 142060 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 171962 142060 300 300 0 171662 0
vsize: 687848
[startup+960.004 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256522 0 0 0 95446 565 0 0 25 0 1 0 864106916 704520192 142103 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172002 142103 300 300 0 171702 0
vsize: 688008
[startup+970.005 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256558 0 0 0 96446 565 0 0 25 0 1 0 864106916 704684032 142139 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172042 142139 300 300 0 171742 0
vsize: 688168
[startup+980.005 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256559 0 0 0 97446 566 0 0 25 0 1 0 864106916 704684032 142140 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172042 142140 300 300 0 171742 0
vsize: 688168
[startup+990.005 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256559 0 0 0 98446 566 0 0 25 0 1 0 864106916 704684032 142140 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172042 142140 300 300 0 171742 0
vsize: 688168
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256559 0 0 0 99446 566 0 0 25 0 1 0 864106916 704684032 142140 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172042 142140 300 300 0 171742 0
vsize: 688168
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 256562 0 0 0 100447 566 0 0 25 0 1 0 864106916 704684032 142143 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172042 142143 300 300 0 171742 0
vsize: 688168
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259503 0 0 0 101439 573 0 0 25 0 1 0 864106916 704684032 142145 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172042 142145 300 300 0 171742 0
vsize: 688168
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259512 0 0 0 102438 574 0 0 25 0 1 0 864106916 704847872 142154 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172082 142154 300 300 0 171782 0
vsize: 688328
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259532 0 0 0 103438 574 0 0 25 0 1 0 864106916 704847872 142174 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172082 142174 300 300 0 171782 0
vsize: 688328
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259561 0 0 0 104438 574 0 0 25 0 1 0 864106916 705011712 142203 4294967295 134512640 135726644 3221224592 3221223072 134729152 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172122 142203 300 300 0 171822 0
vsize: 688488
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259563 0 0 0 105441 574 0 0 25 0 1 0 864106916 705011712 142205 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172122 142205 300 300 0 171822 0
vsize: 688488
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259573 0 0 0 106441 574 0 0 25 0 1 0 864106916 705011712 142215 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172122 142215 300 300 0 171822 0
vsize: 688488
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259585 0 0 0 107441 575 0 0 25 0 1 0 864106916 705011712 142227 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172122 142227 300 300 0 171822 0
vsize: 688488
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259593 0 0 0 108441 575 0 0 25 0 1 0 864106916 705175552 142235 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172162 142235 300 300 0 171862 0
vsize: 688648
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259626 0 0 0 109441 575 0 0 25 0 1 0 864106916 705339392 142268 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172202 142268 300 300 0 171902 0
vsize: 688808
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259628 0 0 0 110441 575 0 0 25 0 1 0 864106916 705339392 142270 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172202 142270 300 300 0 171902 0
vsize: 688808
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259642 0 0 0 111441 575 0 0 25 0 1 0 864106916 705339392 142284 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172202 142284 300 300 0 171902 0
vsize: 688808
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259646 0 0 0 112441 576 0 0 25 0 1 0 864106916 705339392 142288 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172202 142288 300 300 0 171902 0
vsize: 688808
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259675 0 0 0 113440 576 0 0 25 0 1 0 864106916 705486848 142317 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172238 142317 300 300 0 171938 0
vsize: 688952
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259678 0 0 0 114440 577 0 0 25 0 1 0 864106916 705486848 142320 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172238 142320 300 300 0 171938 0
vsize: 688952
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259701 0 0 0 115440 577 0 0 25 0 1 0 864106916 705650688 142343 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172278 142343 300 300 0 171978 0
vsize: 689112
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259714 0 0 0 116440 577 0 0 25 0 1 0 864106916 705650688 142356 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172278 142356 300 300 0 171978 0
vsize: 689112
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259738 0 0 0 117440 577 0 0 25 0 1 0 864106916 705798144 142380 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172314 142380 300 300 0 172014 0
vsize: 689256
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 259747 0 0 0 118439 578 0 0 25 0 1 0 864106916 705798144 142389 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 172314 142389 300 300 0 172014 0
vsize: 689256
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 262686 0 0 0 119431 586 0 0 25 0 1 0 864106916 705798144 142389 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172314 142389 300 300 0 172014 0
vsize: 689256
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.3 s]
Raw data (loadavg): 0.99 0.97 0.88 1/53 32559
Raw data (stat): 32559 (pb2sat) R 32558 20687 20686 0 -1 0 262686 0 0 0 119431 586 0 0 25 0 1 0 864106916 705798144 142389 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172314 142389 300 300 0 172014 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.3
CPU time (s): 1202.45
CPU user time (s): 1196.32
CPU system time (s): 6.13207
CPU usage (%): 100.012
Max. virtual memory (Kb): 691232
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	36
#### END VERIFIER DATA ####