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 41981

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-15 20:45:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25168 boxname=wulflinc6 idbench=70 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  43952ea8e0659c6ffd861c99c0b605de  /oldhome/oroussel/tmp/wulflinc6/normalized-jac3.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-jac3.opb
IDLAUNCH: 25168
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        767684 kB
Buffers:         33576 kB
Cached:         210944 kB
SwapCached:       1028 kB
Active:          64008 kB
Inactive:       182712 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        767432 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            14620 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-15 21:05:06 (client local time) WITH STATUS 0 IN 1202.58 SECONDS
stats: 25168 0 1202.58 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: 1732
c big objective detected
c trying from 0 to 511
c got solution with objective value: 511
c starting final optimization
c CONFLICT during preprocess 
c [startup+58.3155 s]  setting bit 10 to 0
c CONFLICT during preprocess 
c [startup+61.4264 s]  setting bit 9 to 0
c got solution with objective value: 255
c [startup+68.5864 s]  setting bit 8 to 1
c got solution with objective value: 127
c [startup+76.5829 s]  setting bit 7 to 1
c got solution with objective value: 63
c [startup+101.608 s]  setting bit 6 to 1
c got solution with objective value: 31
c [startup+159.713 s]  setting bit 5 to 1

c Decision: 732067/758224	Time: 205.99/86400
c Decision: 732067/758224	Time: 307.828/86400
c Decision: 733100/758224	Time: 458.8/86400
c Decision: 733100/758224	Time: 566.315/86400
c Decision: 733100/758224	Time: 649.85/86400
c Decision: 734054/758224	Time: 792.091/86400
c Decision: 734054/758224	Time: 900.543/86400
c Decision: 734054/758224	Time: 991.442/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
Raw data (loadavg): 0.89 0.95 0.90 2/54 9616
Raw data (stat): 9616 (runsolver) R 9615 25568 25567 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 965102677 884736 93 4294967295 134512640 135332820 3221224480 3221219820 134957955 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+9.99995 s]
Raw data (loadavg): 0.91 0.95 0.90 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 27202 0 0 0 941 58 0 0 25 0 1 0 965102677 86110208 16323 4294967295 134512640 135730672 3221224592 3220681712 134546483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21023 16323 301 301 0 20722 0
vsize: 84092
[startup+20.0004 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 54340 0 0 0 1881 118 0 0 25 0 1 0 965102677 170074112 32520 4294967295 134512640 135730672 3221224592 3220997496 135284319 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41522 32520 301 301 0 41221 0
vsize: 166088
[startup+30.0012 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 94939 0 0 0 2798 202 0 0 25 0 1 0 965102677 298500096 51457 4294967295 134512640 135730672 3221224592 3220998112 134786335 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72876 51458 301 301 0 72575 0
vsize: 291504
[startup+40.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 107702 0 0 0 3771 229 0 0 25 0 1 0 965102677 336650240 64012 4294967295 134512640 135730672 3221224592 3220697864 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 82190 64012 301 301 0 81889 0
vsize: 328760
[startup+50.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 115702 0 0 0 4755 245 0 0 25 0 1 0 965102677 359620608 69470 4294967295 134512640 135730672 3221224592 3221222816 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87798 69470 301 301 0 87497 0
vsize: 351192
[startup+60.0017 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 119773 0 0 0 5746 255 0 0 25 0 1 0 965102677 368889856 71637 4294967295 134512640 135730672 3221224592 3221222512 134768808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90061 71637 301 301 0 89760 0
vsize: 360244
[startup+70.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 123860 0 0 0 6737 264 0 0 25 0 1 0 965102677 372027392 72190 4294967295 134512640 135730672 3221224592 3221222488 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90827 72190 301 301 0 90526 0
vsize: 363308
[startup+80.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 126201 0 0 0 7732 269 0 0 25 0 1 0 965102677 368861184 71056 4294967295 134512640 135730672 3221224592 3221222496 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90054 71056 301 301 0 89753 0
vsize: 360216
[startup+90.0031 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 126551 0 0 0 8731 270 0 0 25 0 1 0 965102677 369922048 71406 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90313 71406 301 301 0 90012 0
vsize: 361252
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 126625 0 0 0 9731 270 0 0 25 0 1 0 965102677 370216960 71480 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90385 71480 301 301 0 90084 0
vsize: 361540
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 128436 0 0 0 10728 274 0 0 25 0 1 0 965102677 371445760 71810 4294967295 134512640 135730672 3221224592 3221222688 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90685 71810 301 301 0 90384 0
vsize: 362740
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 128772 0 0 0 11727 275 0 0 25 0 1 0 965102677 372887552 72146 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91037 72146 301 301 0 90736 0
vsize: 364148
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 128781 0 0 0 12727 275 0 0 25 0 1 0 965102677 372887552 72155 4294967295 134512640 135730672 3221224592 3221222688 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91037 72155 301 301 0 90736 0
vsize: 364148
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 128798 0 0 0 13727 275 0 0 25 0 1 0 965102677 373047296 72172 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91076 72172 301 301 0 90775 0
vsize: 364304
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 128910 0 0 0 14727 276 0 0 25 0 1 0 965102677 373489664 72284 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91184 72284 301 301 0 90883 0
vsize: 364736
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 129134 0 0 0 15726 277 0 0 25 0 1 0 965102677 374759424 72508 4294967295 134512640 135730672 3221224592 3221222768 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91494 72508 301 301 0 91193 0
vsize: 365976
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 130708 0 0 0 16723 281 0 0 25 0 1 0 965102677 374939648 72601 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91538 72601 301 301 0 91237 0
vsize: 366152
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 130756 0 0 0 17723 281 0 0 25 0 1 0 965102677 375234560 72649 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91610 72649 301 301 0 91309 0
vsize: 366440
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 130763 0 0 0 18724 281 0 0 25 0 1 0 965102677 375234560 72656 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91610 72656 301 301 0 91309 0
vsize: 366440
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 130803 0 0 0 19724 281 0 0 25 0 1 0 965102677 375398400 72696 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91650 72696 301 301 0 91349 0
vsize: 366600
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 130840 0 0 0 20724 281 0 0 25 0 1 0 965102677 375545856 72733 4294967295 134512640 135730672 3221224592 3221222672 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91686 72733 301 301 0 91385 0
vsize: 366744
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 130897 0 0 0 21724 281 0 0 25 0 1 0 965102677 375840768 72790 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91758 72790 301 301 0 91457 0
vsize: 367032
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131004 0 0 0 22724 282 0 0 25 0 1 0 965102677 376283136 72897 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91866 72897 301 301 0 91565 0
vsize: 367464
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131070 0 0 0 23724 282 0 0 25 0 1 0 965102677 376610816 72963 4294967295 134512640 135730672 3221224592 3221222688 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91946 72963 301 301 0 91645 0
vsize: 367784
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131128 0 0 0 24724 282 0 0 25 0 1 0 965102677 376905728 73021 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92018 73021 301 301 0 91717 0
vsize: 368072
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131183 0 0 0 25724 282 0 0 25 0 1 0 965102677 377053184 73076 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92054 73076 301 301 0 91753 0
vsize: 368216
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131197 0 0 0 26724 283 0 0 25 0 1 0 965102677 377200640 73090 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92090 73090 301 301 0 91789 0
vsize: 368360
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131246 0 0 0 27724 283 0 0 25 0 1 0 965102677 377348096 73139 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92126 73139 301 301 0 91825 0
vsize: 368504
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131360 0 0 0 28724 284 0 0 25 0 1 0 965102677 378003456 73253 4294967295 134512640 135730672 3221224592 3221222688 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92286 73253 301 301 0 91985 0
vsize: 369144
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131401 0 0 0 29724 284 0 0 25 0 1 0 965102677 378167296 73294 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92326 73294 301 301 0 92025 0
vsize: 369304
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131449 0 0 0 30725 284 0 0 25 0 1 0 965102677 378314752 73342 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92362 73342 301 301 0 92061 0
vsize: 369448
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131527 0 0 0 31724 285 0 0 25 0 1 0 965102677 378642432 73420 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92442 73420 301 301 0 92141 0
vsize: 369768
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131573 0 0 0 32724 285 0 0 25 0 1 0 965102677 378953728 73466 4294967295 134512640 135730672 3221224592 3221222812 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92518 73466 301 301 0 92217 0
vsize: 370072
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131593 0 0 0 33724 285 0 0 25 0 1 0 965102677 378953728 73486 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92518 73486 301 301 0 92217 0
vsize: 370072
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131624 0 0 0 34724 286 0 0 25 0 1 0 965102677 379117568 73517 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92558 73517 301 301 0 92257 0
vsize: 370232
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 131672 0 0 0 35724 286 0 0 25 0 1 0 965102677 379281408 73565 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92598 73565 301 301 0 92297 0
vsize: 370392
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 133156 0 0 0 36720 290 0 0 25 0 1 0 965102677 379281408 73568 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92598 73568 301 301 0 92297 0
vsize: 370392
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 133168 0 0 0 37721 290 0 0 25 0 1 0 965102677 379281408 73580 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92598 73580 301 301 0 92297 0
vsize: 370392
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 133174 0 0 0 38721 290 0 0 25 0 1 0 965102677 379281408 73586 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92598 73586 301 301 0 92297 0
vsize: 370392
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 133190 0 0 0 39721 290 0 0 25 0 1 0 965102677 379428864 73602 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92634 73602 301 301 0 92333 0
vsize: 370536
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 133207 0 0 0 40721 291 0 0 25 0 1 0 965102677 379428864 73619 4294967295 134512640 135730672 3221224592 3221222688 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92634 73619 301 301 0 92333 0
vsize: 370536
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 133237 0 0 0 41722 291 0 0 25 0 1 0 965102677 379592704 73649 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92674 73649 301 301 0 92373 0
vsize: 370696
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 133260 0 0 0 42722 291 0 0 25 0 1 0 965102677 379740160 73672 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92710 73672 301 301 0 92409 0
vsize: 370840
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 133275 0 0 0 43722 291 0 0 25 0 1 0 965102677 379740160 73687 4294967295 134512640 135730672 3221224592 3221222688 134747597 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92710 73687 301 301 0 92409 0
vsize: 370840
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 133296 0 0 0 44722 292 0 0 25 0 1 0 965102677 379936768 73708 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92758 73708 301 301 0 92457 0
vsize: 371032
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 133341 0 0 0 45722 292 0 0 25 0 1 0 965102677 380084224 73753 4294967295 134512640 135730672 3221224592 3221222688 134747555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92794 73753 301 301 0 92493 0
vsize: 371176
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 134834 0 0 0 46718 296 0 0 25 0 1 0 965102677 380084224 73765 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92794 73765 301 301 0 92493 0
vsize: 371176
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 134834 0 0 0 47718 296 0 0 25 0 1 0 965102677 380084224 73765 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92794 73765 301 301 0 92493 0
vsize: 371176
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 134836 0 0 0 48718 296 0 0 25 0 1 0 965102677 380084224 73767 4294967295 134512640 135730672 3221224592 3221222848 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92794 73767 301 301 0 92493 0
vsize: 371176
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 134836 0 0 0 49719 297 0 0 25 0 1 0 965102677 380084224 73767 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92794 73767 301 301 0 92493 0
vsize: 371176
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 134843 0 0 0 50719 297 0 0 25 0 1 0 965102677 380248064 73774 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92834 73774 301 301 0 92533 0
vsize: 371336
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 134866 0 0 0 51719 297 0 0 25 0 1 0 965102677 380248064 73797 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92834 73797 301 301 0 92533 0
vsize: 371336
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 134884 0 0 0 52719 297 0 0 25 0 1 0 965102677 380395520 73815 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92870 73815 301 301 0 92569 0
vsize: 371480
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 134893 0 0 0 53720 297 0 0 25 0 1 0 965102677 380395520 73824 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92870 73824 301 301 0 92569 0
vsize: 371480
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 134947 0 0 0 54719 298 0 0 25 0 1 0 965102677 380542976 73878 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92906 73878 301 301 0 92605 0
vsize: 371624
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 134996 0 0 0 55719 298 0 0 25 0 1 0 965102677 380690432 73927 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92942 73927 301 301 0 92641 0
vsize: 371768
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 135011 0 0 0 56720 298 0 0 25 0 1 0 965102677 380854272 73942 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92982 73942 301 301 0 92681 0
vsize: 371928
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 135036 0 0 0 57720 298 0 0 25 0 1 0 965102677 380854272 73967 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92982 73967 301 301 0 92681 0
vsize: 371928
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 135060 0 0 0 58720 298 0 0 25 0 1 0 965102677 381018112 73991 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93022 73991 301 301 0 92721 0
vsize: 372088
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 135133 0 0 0 59720 299 0 0 25 0 1 0 965102677 381329408 74064 4294967295 134512640 135730672 3221224592 3221222688 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93098 74064 301 301 0 92797 0
vsize: 372392
[startup+610.014 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 135173 0 0 0 60720 299 0 0 25 0 1 0 965102677 381493248 74104 4294967295 134512640 135730672 3221224592 3221222688 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93138 74104 301 301 0 92837 0
vsize: 372552
[startup+620.014 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 136657 0 0 0 61715 304 0 0 25 0 1 0 965102677 381493248 74107 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93138 74107 301 301 0 92837 0
vsize: 372552
[startup+630.014 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 136660 0 0 0 62715 304 0 0 25 0 1 0 965102677 381493248 74110 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93138 74110 301 301 0 92837 0
vsize: 372552
[startup+640.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 136661 0 0 0 63716 304 0 0 25 0 1 0 965102677 381493248 74111 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93138 74111 301 301 0 92837 0
vsize: 372552
[startup+650.015 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 136664 0 0 0 64716 304 0 0 25 0 1 0 965102677 381493248 74114 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93138 74114 301 301 0 92837 0
vsize: 372552
[startup+660.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 136671 0 0 0 65716 304 0 0 25 0 1 0 965102677 381493248 74121 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93138 74121 301 301 0 92837 0
vsize: 372552
[startup+670.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 136728 0 0 0 66716 305 0 0 25 0 1 0 965102677 381657088 74178 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93178 74178 301 301 0 92877 0
vsize: 372712
[startup+680.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 136757 0 0 0 67716 305 0 0 25 0 1 0 965102677 381820928 74207 4294967295 134512640 135730672 3221224592 3221222688 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93218 74207 301 301 0 92917 0
vsize: 372872
[startup+690.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 136773 0 0 0 68716 305 0 0 25 0 1 0 965102677 381820928 74223 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93218 74223 301 301 0 92917 0
vsize: 372872
[startup+700.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 136808 0 0 0 69716 306 0 0 25 0 1 0 965102677 381984768 74258 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93258 74258 301 301 0 92957 0
vsize: 373032
[startup+710.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 136845 0 0 0 70716 306 0 0 25 0 1 0 965102677 382148608 74295 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93298 74295 301 301 0 92997 0
vsize: 373192
[startup+720.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 136860 0 0 0 71716 307 0 0 25 0 1 0 965102677 382148608 74310 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93298 74310 301 301 0 92997 0
vsize: 373192
[startup+730.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 138350 0 0 0 72712 310 0 0 25 0 1 0 965102677 382148608 74319 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93298 74319 301 301 0 92997 0
vsize: 373192
[startup+740.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 138361 0 0 0 73712 311 0 0 25 0 1 0 965102677 382148608 74330 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93298 74330 301 301 0 92997 0
vsize: 373192
[startup+750.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 138406 0 0 0 74712 311 0 0 25 0 1 0 965102677 382312448 74375 4294967295 134512640 135730672 3221224592 3221222784 134763996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93338 74375 301 301 0 93037 0
vsize: 373352
[startup+760.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 138410 0 0 0 75712 311 0 0 25 0 1 0 965102677 382312448 74379 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93338 74379 301 301 0 93037 0
vsize: 373352
[startup+770.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 138446 0 0 0 76713 312 0 0 25 0 1 0 965102677 382476288 74415 4294967295 134512640 135730672 3221224592 3221222688 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93378 74415 301 301 0 93077 0
vsize: 373512
[startup+780.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 138452 0 0 0 77713 312 0 0 25 0 1 0 965102677 382476288 74421 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93378 74421 301 301 0 93077 0
vsize: 373512
[startup+790.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 138474 0 0 0 78713 312 0 0 25 0 1 0 965102677 382476288 74443 4294967295 134512640 135730672 3221224592 3221222688 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93378 74443 301 301 0 93077 0
vsize: 373512
[startup+800.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 138485 0 0 0 79713 312 0 0 25 0 1 0 965102677 382476288 74454 4294967295 134512640 135730672 3221224592 3221222688 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93378 74454 301 301 0 93077 0
vsize: 373512
[startup+810.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 139970 0 0 0 80710 316 0 0 25 0 1 0 965102677 382476288 74458 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93378 74458 301 301 0 93077 0
vsize: 373512
[startup+820.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 139976 0 0 0 81711 316 0 0 25 0 1 0 965102677 382476288 74464 4294967295 134512640 135730672 3221224592 3221222688 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93378 74464 301 301 0 93077 0
vsize: 373512
[startup+830.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 139988 0 0 0 82711 316 0 0 25 0 1 0 965102677 382476288 74476 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93378 74476 301 301 0 93077 0
vsize: 373512
[startup+840.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 140002 0 0 0 83711 316 0 0 25 0 1 0 965102677 382640128 74490 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93418 74490 301 301 0 93117 0
vsize: 373672
[startup+850.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 140008 0 0 0 84711 316 0 0 25 0 1 0 965102677 382640128 74496 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93418 74496 301 301 0 93117 0
vsize: 373672
[startup+860.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 140036 0 0 0 85711 317 0 0 25 0 1 0 965102677 382640128 74524 4294967295 134512640 135730672 3221224592 3221222812 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93418 74524 301 301 0 93117 0
vsize: 373672
[startup+870.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 140062 0 0 0 86711 317 0 0 25 0 1 0 965102677 382803968 74550 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93458 74550 301 301 0 93157 0
vsize: 373832
[startup+880.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 140084 0 0 0 87712 317 0 0 25 0 1 0 965102677 382803968 74572 4294967295 134512640 135730672 3221224592 3221222688 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93458 74572 301 301 0 93157 0
vsize: 373832
[startup+890.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9616
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 140093 0 0 0 88712 317 0 0 25 0 1 0 965102677 382803968 74581 4294967295 134512640 135730672 3221224592 3221222688 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93458 74581 301 301 0 93157 0
vsize: 373832
[startup+900.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/57 9619
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 140101 0 0 0 89712 317 0 0 25 0 1 0 965102677 382803968 74589 4294967295 134512640 135730672 3221224592 3221222688 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93458 74589 301 301 0 93157 0
vsize: 373832
[startup+910.027 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 9669
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 140116 0 0 0 90712 317 0 0 25 0 1 0 965102677 382967808 74604 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93498 74604 301 301 0 93197 0
vsize: 373992
[startup+920.028 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 9669
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 140141 0 0 0 91713 318 0 0 25 0 1 0 965102677 382967808 74629 4294967295 134512640 135730672 3221224592 3221222688 134747644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93498 74629 301 301 0 93197 0
vsize: 373992
[startup+930.028 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 9669
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 140154 0 0 0 92713 318 0 0 25 0 1 0 965102677 382967808 74642 4294967295 134512640 135730672 3221224592 3221222688 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93498 74642 301 301 0 93197 0
vsize: 373992
[startup+940.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 9669
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 140171 0 0 0 93713 318 0 0 25 0 1 0 965102677 383131648 74659 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93538 74659 301 301 0 93237 0
vsize: 374152
[startup+950.029 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 9669
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 141656 0 0 0 94709 322 0 0 25 0 1 0 965102677 383131648 74663 4294967295 134512640 135730672 3221224592 3221222816 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93538 74663 301 301 0 93237 0
vsize: 374152
[startup+960.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 9669
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 141670 0 0 0 95709 323 0 0 25 0 1 0 965102677 383131648 74677 4294967295 134512640 135730672 3221224592 3221222688 134747629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93538 74677 301 301 0 93237 0
vsize: 374152
[startup+970.031 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9669
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 141670 0 0 0 96709 323 0 0 25 0 1 0 965102677 383131648 74677 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93538 74677 301 301 0 93237 0
vsize: 374152
[startup+980.031 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 141670 0 0 0 97709 323 0 0 25 0 1 0 965102677 383131648 74677 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93538 74677 301 301 0 93237 0
vsize: 374152
[startup+990.032 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 141671 0 0 0 98710 323 0 0 25 0 1 0 965102677 383131648 74678 4294967295 134512640 135730672 3221224592 3221222812 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93538 74678 301 301 0 93237 0
vsize: 374152
[startup+1000.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 141671 0 0 0 99710 323 0 0 25 0 1 0 965102677 383131648 74678 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93538 74678 301 301 0 93237 0
vsize: 374152
[startup+1010.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 141671 0 0 0 100710 323 0 0 25 0 1 0 965102677 383131648 74678 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93538 74678 301 301 0 93237 0
vsize: 374152
[startup+1020.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 141685 0 0 0 101710 324 0 0 25 0 1 0 965102677 383131648 74692 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93538 74692 301 301 0 93237 0
vsize: 374152
[startup+1030.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 141698 0 0 0 102710 324 0 0 25 0 1 0 965102677 383328256 74705 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93586 74705 301 301 0 93285 0
vsize: 374344
[startup+1040.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 141700 0 0 0 103711 324 0 0 25 0 1 0 965102677 383328256 74707 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93586 74707 301 301 0 93285 0
vsize: 374344
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 141701 0 0 0 104711 324 0 0 25 0 1 0 965102677 383328256 74708 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93586 74708 301 301 0 93285 0
vsize: 374344
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 143188 0 0 0 105707 328 0 0 25 0 1 0 965102677 383328256 74714 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93586 74714 301 301 0 93285 0
vsize: 374344
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 143190 0 0 0 106708 328 0 0 25 0 1 0 965102677 383328256 74716 4294967295 134512640 135730672 3221224592 3221222784 134763568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93586 74716 301 301 0 93285 0
vsize: 374344
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 143190 0 0 0 107708 328 0 0 25 0 1 0 965102677 383328256 74716 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93586 74716 301 301 0 93285 0
vsize: 374344
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 143191 0 0 0 108708 328 0 0 25 0 1 0 965102677 383328256 74717 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93586 74717 301 301 0 93285 0
vsize: 374344
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 143191 0 0 0 109709 328 0 0 25 0 1 0 965102677 383328256 74717 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93586 74717 301 301 0 93285 0
vsize: 374344
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 143200 0 0 0 110708 329 0 0 25 0 1 0 965102677 383328256 74726 4294967295 134512640 135730672 3221224592 3221222848 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93586 74726 301 301 0 93285 0
vsize: 374344
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 143212 0 0 0 111709 329 0 0 25 0 1 0 965102677 383328256 74738 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93586 74738 301 301 0 93285 0
vsize: 374344
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 143236 0 0 0 112709 330 0 0 25 0 1 0 965102677 383492096 74762 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93626 74762 301 301 0 93325 0
vsize: 374504
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 143253 0 0 0 113709 330 0 0 25 0 1 0 965102677 383627264 74779 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93659 74779 301 301 0 93358 0
vsize: 374636
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 144754 0 0 0 114706 333 0 0 25 0 1 0 965102677 389693440 76280 4294967295 134512640 135730672 3221224592 3221222336 134768818 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95140 76280 301 301 0 94839 0
vsize: 380560
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 144761 0 0 0 115706 333 0 0 25 0 1 0 965102677 383774720 74806 4294967295 134512640 135730672 3221224592 3221222688 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93695 74806 301 301 0 93394 0
vsize: 374780
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 144761 0 0 0 116706 333 0 0 25 0 1 0 965102677 383774720 74806 4294967295 134512640 135730672 3221224592 3221222848 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93695 74806 301 301 0 93394 0
vsize: 374780
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 144767 0 0 0 117707 334 0 0 25 0 1 0 965102677 383774720 74812 4294967295 134512640 135730672 3221224592 3221222688 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93695 74812 301 301 0 93394 0
vsize: 374780
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 144767 0 0 0 118707 334 0 0 25 0 1 0 965102677 383774720 74812 4294967295 134512640 135730672 3221224592 3221222688 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93695 74812 301 301 0 93394 0
vsize: 374780
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 144773 0 0 0 119707 334 0 0 25 0 1 0 965102677 383774720 74818 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93695 74818 301 301 0 93394 0
vsize: 374780
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.2 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 9671
Raw data (stat): 9616 (pb2sat-v2) R 9615 25568 25567 0 -1 0 144773 0 0 0 119707 334 0 0 25 0 1 0 965102677 383774720 74818 4294967295 134512640 135730672 3221224592 3221222688 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93695 74818 301 301 0 93394 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.2
CPU time (s): 1202.58
CPU user time (s): 1199.08
CPU system time (s): 3.49747
CPU usage (%): 100.031
Max. virtual memory (Kb): 380560
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	31
#### END VERIFIER DATA ####