PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 06:16:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=633 boxname=wulflinc31 idbench=71 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4a63080ba3e63c3b77e35782a700d569  /oldhome/oroussel/tmp/wulflinc31/normalized-prom2.pi.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-prom2.pi.opb
IDLAUNCH: 633
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        914976 kB
Buffers:         41572 kB
Cached:          55812 kB
SwapCached:        944 kB
Active:          81124 kB
Inactive:        18720 kB
HighTotal:      131008 kB
HighFree:        74172 kB
LowTotal:       903652 kB
LowFree:        840804 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14212 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 06:36:01 (client local time) WITH STATUS 10 IN 1175.05 SECONDS
stats: 633 0 1175.05 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2618 variables and 1988 constraints.
c After prepocess the problem consists of 2609 variables and 1758 constraints.
c preprocess terminated 1.272 s
c Initial Lower Bound: 257
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 351 @ 3.242
c NEW SOLUTION FOUND: 350 @ 3.247
c NEW SOLUTION FOUND: 349 @ 3.253
c NEW SOLUTION FOUND: 348 @ 3.264
c NEW SOLUTION FOUND: 347 @ 3.277
c NEW SOLUTION FOUND: 346 @ 3.317
c NEW SOLUTION FOUND: 345 @ 3.453
c NEW SOLUTION FOUND: 344 @ 9.417
c NEW SOLUTION FOUND: 343 @ 17.919
c NEW SOLUTION FOUND: 342 @ 42.684
c NEW SOLUTION FOUND: 341 @ 478.28
s SATISFIABLE
v x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x177 -x178 x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 x232 -x233 x234 -x235 -x236 -x237 -x238 -x239 -x240 x241 -x242 x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 x312 -x313 x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 x339 -x340 -x341 -x342 x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 x492 -x493 -x494 -x495 x496 -x497 x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 x528 -x529 -x530 -x531 -x532 x533 x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 x550 x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 x563 x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 x622 -x623 -x624 x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 x633 x634 x635 -x636 -x637 -x638 -x639 x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 x648 -x649 -x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 -x720 -x721 -x722 x723 -x724 -x725 x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 x735 -x736 -x737 x738 -x739 -x740 -x741 -x742 x743 -x744 -x745 -x746 -x747 -x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 x778 -x779 -x780 -x781 -x782 -x783 x784 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 x793 -x794 -x795 -x796 -x797 -x798 x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 x841 -x842 -x843 x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 x889 x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 x956 x957 -x958 -x959 -x960 -x961 x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 x980 -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 x1039 -x1040 -x1041 -x1042 -x1043 x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 -x1054 -x1055 -x1056 -x1057 -x1058 x1059 -x1060 -x1061 x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 x1081 x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 x1091 -x1092 -x1093 -x1094 -x1095 x1096 x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 x1105 -x1106 -x1107 -x1108 x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 x1233 -x1234 x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276 x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 x1286 -x1287 -x1288 -x1289 x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 x1299 -x1300 -x1301 -x1302 x1303 -x1304 -x1305 x1306 -x1307 -x1308 x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 x1321 -x1322 -x1323 -x1324 -x1325 x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 -x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384 -x1385 x1386 x1387 -x1388 -x1389 -x1390 -x1391 -x1392 x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x1451 x1452 -x1453 -x1454 x1455 -x1456 -x1457 -x1458 x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 x1467 -x1468 x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 x1477 -x1478 x1479 -x1480 -x1481 -x1482 -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501 x1502 -x1503 x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518 -x1519 -x1520 x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535 -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552 -x1553 -x1554 -x1555 x1556 -x1557 -x1558 x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571 x1572 -x1573 -x1574 -x1575 -x1576 x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588 -x1589 -x1590 -x1591 x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 x1599 -x1600 -x1601 x1602 -x1603 -x1604 -x1605 -x1606 -x1607 -x1608 x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 x1616 -x1617 -x1618 -x1619 -x1620 -x1621 x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 x1634 -x1635 -x1636 -x1637 -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 x1653 x1654 x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 x1667 -x1668 -x1669 -x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 -x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 x1704 -x1705 x1706 x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 x1715 -x1716 -x1717 x1718 x1719 x1720 -x1721 -x1722 -x1723 x1724 -x1725 -x1726 x1727 x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757 -x1758 -x1759 -x1760 -x1761 -x1762 x1763 -x1764 -x1765 x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 -x1783 -x1784 -x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 x1802 -x1803 -x1804 x1805 -x1806 -x1807 -x1808 -x1809 -x1810 -x1811 -x1812 -x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 x1821 -x1822 -x1823 -x1824 x1825 -x1826 x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 x1841 -x1842 -x1843 -x1844 -x1845 -x1846 -x1847 -x1848 -x1849 x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 x1857 -x1858 -x1859 -x1860 -x1861 -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 x1868 x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 -x1882 x1883 -x1884 -x1885 -x1886 -x1887 x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912 x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 x1926 -x1927 -x1928 -x1929 -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 x1943 -x1944 -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 x1955 -x1956 -x1957 x1958 -x1959 -x1960 -x1961 -x1962 -x1963 -x1964 -x1965 -x1966 -x1967 -x1968 x1969 -x1970 -x1971 -x1972 -x1973 -x1974 x1975 -x1976 -x1977 -x1978 -x1979 -x1980 -x1981 -x1982 x1983 -x1984 -x1985 -x1986 -x1987 -x1988 x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997 -x1998 x1999 -x2000 -x2001 -x2002 x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 x2010 -x2011 -x2012 -x2013 -x2014 -x2015 -x2016 -x2017 -x2018 -x2019 x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031 -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 x2040 -x2041 -x2042 -x2043 -x2044 -x2045 x2046 -x2047 x2048 -x2049 -x2050 -x2051 -x2052 x2053 -x2054 -x2055 x2056 x2057 -x2058 -x2059 -x2060 -x2061 -x2062 x2063 -x2064 -x2065 -x2066 -x2067 -x2068 -x2069 -x2070 x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 x2086 -x2087 -x2088 -x2089 -x2090 -x2091 x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 -x2103 -x2104 x2105 x2106 x2107 x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 x2115 -x2116 -x2117 -x2118 x2119 -x2120 x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 -x2144 -x2145 -x2146 x2147 -x2148 -x2149 -x2150 -x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 x2159 -x2160 -x2161 -x2162 -x2163 x2164 -x2165 x2166 x2167 -x2168 -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 x2180 x2181 -x2182 -x2183 -x2184 -x2185 -x2186 x2187 -x2188 -x2189 -x2190 -x2191 -x2192 x2193 -x2194 -x2195 -x2196 x2197 -x2198 -x2199 -x2200 -x2201 -x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 x2248 -x2249 -x2250 -x2251 -x2252 x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 x2264 -x2265 -x2266 -x2267 -x2268 -x2269 x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 x2295 -x2296 -x2297 -x2298 x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 x2306 -x2307 -x2308 -x2309 -x2310 -x2311 x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 x2319 -x2320 -x2321 -x2322 -x2323 -x2324 x2325 -x2326 -x2327 -x2328 -x2329 -x2330 x2331 -x2332 -x2333 x2334 -x2335 -x2336 -x2337 -x2338 -x2339 -x2340 -x2341 x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 x2349 x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 x2357 -x2358 -x2359 -x2360 -x2361 x2362 -x2363 -x2364 -x2365 x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 x2374 -x2375 x2376 -x2377 -x2378 -x2379 -x2380 -x2381 x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 x2393 -x2394 -x2395 -x2396 x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 x2428 -x2429 -x2430 -x2431 x2432 x2433 -x2434 x2435 -x2436 x2437 -x2438 -x2439 -x2440 x2441 -x2442 x2443 -x2444 x2445 -x2446 x2447 -x2448 -x2449 x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 x2462 x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 x2483 -x2484 -x2485 -x2486 -x2487 -x2488 x2489 -x2490 -x2491 -x2492 x2493 -x2494 -x2495 -x2496 -x2497 -x2498 x2499 -x2500 -x2501 -x2502 -x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509 x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 x2522 -x2523 -x2524 x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 x2536 -x2537 -x2538 -x2539 -x2540 -x2541 x2542 -x2543 -x2544 x2545 -x2546 -x2547 -x2548 x2549 -x2550 x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 x2558 -x2559 -x2560 -x2561 -x2562 -x2563 x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 x2572 -x2573 -x2574 -x2575 x2576 -x2577 -x2578 x2579 -x2580 -x2581 x2582 -x2583 -x2584 -x2585 -x2586 x2587 -x2588 x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 -x2598 -x2599 x2600 -x2601 -x2602 -x2603 x2604 -x2605 -x2606 x2607 -x2608 -x2609 -x2610 -x2611 -x2612 x2613 -x2614 x2615 -x2616 x2617 -x2618 
c Exit Code: 10
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 1.08 1.02 1.00 2/54 9634
Raw data (stat): 9634 (runsolver) R 9633 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 655167665 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3613 0 0 0 985 11 0 0 25 0 1 0 655167665 18460672 3583 4294967295 134512640 134714540 3221221792 3221220216 1077377193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4507 3583 1111 63 0 4444 0
vsize: 18028
[startup+20.0012 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3629 0 0 0 1984 12 0 0 25 0 1 0 655167665 18595840 3599 4294967295 134512640 134714540 3221221792 3221220488 134536874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4540 3599 1111 63 0 4477 0
vsize: 18160
[startup+30.0021 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3629 0 0 0 2984 13 0 0 25 0 1 0 655167665 18595840 3599 4294967295 134512640 134714540 3221221792 3221220472 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4540 3599 1111 63 0 4477 0
vsize: 18160
[startup+40.0031 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3647 0 0 0 3983 14 0 0 25 0 1 0 655167665 18595840 3617 4294967295 134512640 134714540 3221221792 3221220536 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4540 3617 1111 63 0 4477 0
vsize: 18160
[startup+50.0038 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3650 0 0 0 4982 15 0 0 25 0 1 0 655167665 18575360 3617 4294967295 134512640 134714540 3221221792 3221220640 134623830 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3617 1111 63 0 4472 0
vsize: 18140
[startup+60.0037 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3650 0 0 0 5981 16 0 0 25 0 1 0 655167665 18575360 3617 4294967295 134512640 134714540 3221221792 3221220312 1077377736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3617 1111 63 0 4472 0
vsize: 18140
[startup+70.0046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3650 0 0 0 6981 17 0 0 25 0 1 0 655167665 18575360 3617 4294967295 134512640 134714540 3221221792 3221220532 134604483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3617 1111 63 0 4472 0
vsize: 18140
[startup+80.0045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3659 0 0 0 7979 19 0 0 25 0 1 0 655167665 18690048 3626 4294967295 134512640 134714540 3221221792 3221220492 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4563 3626 1111 63 0 4500 0
vsize: 18252
[startup+90.0045 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 8978 20 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220448 134524415 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+100.004 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 9977 21 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220476 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+110.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 10976 22 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220472 1076648037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+120.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 11975 23 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220576 134524412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+130.005 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 12974 24 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220572 134543124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+140.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 13974 25 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220492 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+150.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 14973 25 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220028 1077379872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+160.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 15973 26 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220492 134535671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 16973 26 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220420 1077374446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 17972 27 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220488 134558544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 18972 27 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 19971 28 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220248 1077377168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 20971 28 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220480 134558529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 21971 29 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 22970 29 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220576 134624840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3708 0 0 0 23970 30 0 0 25 0 1 0 655167665 18825216 3675 4294967295 134512640 134714540 3221221792 3221220312 1077377416 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3675 1111 63 0 4533 0
vsize: 18384
[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3709 0 0 0 24969 31 0 0 25 0 1 0 655167665 18825216 3676 4294967295 134512640 134714540 3221221792 3221220528 134524203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3676 1111 63 0 4533 0
vsize: 18384
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3724 0 0 0 25969 32 0 0 25 0 1 0 655167665 18927616 3691 4294967295 134512640 134714540 3221221792 3221220608 134611108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4621 3691 1111 63 0 4558 0
vsize: 18484
[startup+270.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3724 0 0 0 26968 32 0 0 25 0 1 0 655167665 18886656 3691 4294967295 134512640 134714540 3221221792 3221220608 134611108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4611 3691 1111 63 0 4548 0
vsize: 18444
[startup+280.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3743 0 0 0 27968 33 0 0 25 0 1 0 655167665 19009536 3710 4294967295 134512640 134714540 3221221792 3221220348 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4641 3710 1111 63 0 4578 0
vsize: 18564
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 28967 33 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220664 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 29967 34 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220248 1077377203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 30967 34 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 31966 35 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220088 1077377455 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 32966 36 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220444 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 33966 36 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220536 134695407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 34965 37 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220312 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 35965 37 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220528 134695241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 36965 37 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220344 134543647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 37964 38 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220320 1076648048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 38964 39 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220632 134623807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 39963 40 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220372 1077374123 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+410.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 40963 40 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220368 134523399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 41963 41 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 42962 41 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220492 134535534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 43962 42 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220312 1077377159 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 44961 43 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220560 134624620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 45961 44 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220276 1077374488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+470.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 46960 44 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220400 134538825 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 47960 45 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220384 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 48958 46 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220212 1077374583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3772 0 0 0 49957 47 0 0 25 0 1 0 655167665 19091456 3739 4294967295 134512640 134714540 3221221792 3221220044 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3739 1111 63 0 4598 0
vsize: 18644
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3784 0 0 0 50957 47 0 0 25 0 1 0 655167665 19136512 3751 4294967295 134512640 134714540 3221221792 3221220216 1077377521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4672 3751 1111 63 0 4609 0
vsize: 18688
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 51957 47 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220348 134535628 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 52956 48 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 53956 49 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220448 134539617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+550.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 54956 49 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220544 134624493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+560.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 55955 50 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+570.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 56955 50 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220480 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 57954 51 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220488 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+590.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 58954 52 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220512 134625095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 59954 52 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220640 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 60954 52 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220680 134588433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+620.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 61953 53 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220572 134543556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+630.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 62953 53 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220500 134603388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+640.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 63953 54 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220348 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 64952 55 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220476 134532440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 65952 55 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220044 1077379860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+670.026 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 66951 56 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220464 1076648059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+680.027 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 67951 56 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220508 134535680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+690.027 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 68951 57 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220492 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+700.027 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 69950 58 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220576 134695698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+710.028 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 70950 58 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+720.028 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 71949 59 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220512 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+730.028 s]
Raw data (loadavg): 1.10 1.03 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 72949 59 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220528 134695270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+740.029 s]
Raw data (loadavg): 1.08 1.03 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 73948 60 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220132 1077378730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+750.03 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 74948 61 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220640 134623830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+760.03 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 75948 61 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220368 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+770.03 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 76947 62 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220304 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+780.03 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 77947 62 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+790.031 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 78947 63 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220440 134542982 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+800.032 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 79946 64 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220348 134535552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+810.031 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 80945 64 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+820.032 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 81945 65 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220348 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+830.033 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 82945 65 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220352 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+840.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 83944 66 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+850.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 84944 67 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220404 134535016 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+860.033 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 85943 67 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+870.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 86943 68 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220044 1077379872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+880.034 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 87942 69 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220592 134611418 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+890.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 88942 69 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220180 1077378623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+900.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 89941 70 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220608 134610714 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+910.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 90941 71 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220368 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+920.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 91940 72 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220368 134542603 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+930.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 92939 72 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220252 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+940.035 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 93939 73 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220512 134625099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+950.036 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 94939 73 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220384 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+960.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 95939 74 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220584 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3811 0 0 0 96938 74 0 0 25 0 1 0 655167665 19271680 3778 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3778 1111 63 0 4642 0
vsize: 18820
[startup+980.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3818 0 0 0 97937 76 0 0 25 0 1 0 655167665 19271680 3785 4294967295 134512640 134714540 3221221792 3221220492 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3785 1111 63 0 4642 0
vsize: 18820
[startup+990.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3818 0 0 0 98937 76 0 0 25 0 1 0 655167665 19271680 3785 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3785 1111 63 0 4642 0
vsize: 18820
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3818 0 0 0 99937 76 0 0 25 0 1 0 655167665 19271680 3785 4294967295 134512640 134714540 3221221792 3221220072 1077378048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3785 1111 63 0 4642 0
vsize: 18820
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3818 0 0 0 100936 77 0 0 25 0 1 0 655167665 19271680 3785 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3785 1111 63 0 4642 0
vsize: 18820
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3818 0 0 0 101936 78 0 0 25 0 1 0 655167665 19271680 3785 4294967295 134512640 134714540 3221221792 3221220500 134592339 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3785 1111 63 0 4642 0
vsize: 18820
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3818 0 0 0 102936 78 0 0 25 0 1 0 655167665 19271680 3785 4294967295 134512640 134714540 3221221792 3221220640 134623961 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3785 1111 63 0 4642 0
vsize: 18820
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3818 0 0 0 103935 79 0 0 25 0 1 0 655167665 19271680 3785 4294967295 134512640 134714540 3221221792 3221220456 134591891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3785 1111 63 0 4642 0
vsize: 18820
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3818 0 0 0 104934 80 0 0 25 0 1 0 655167665 19271680 3785 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4705 3785 1111 63 0 4642 0
vsize: 18820
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3849 0 0 0 105934 80 0 0 25 0 1 0 655167665 19390464 3816 4294967295 134512640 134714540 3221221792 3221220568 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4734 3816 1111 63 0 4671 0
vsize: 18936
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3866 0 0 0 106933 81 0 0 25 0 1 0 655167665 19525632 3833 4294967295 134512640 134714540 3221221792 3221220384 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3833 1111 63 0 4704 0
vsize: 19068
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3866 0 0 0 107932 82 0 0 25 0 1 0 655167665 19525632 3833 4294967295 134512640 134714540 3221221792 3221220420 1077374446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3833 1111 63 0 4704 0
vsize: 19068
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3869 0 0 0 108932 83 0 0 25 0 1 0 655167665 19525632 3836 4294967295 134512640 134714540 3221221792 3221220388 1077374207 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3836 1111 63 0 4704 0
vsize: 19068
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3869 0 0 0 109932 83 0 0 25 0 1 0 655167665 19525632 3836 4294967295 134512640 134714540 3221221792 3221220448 134540324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3836 1111 63 0 4704 0
vsize: 19068
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3869 0 0 0 110931 84 0 0 25 0 1 0 655167665 19525632 3836 4294967295 134512640 134714540 3221221792 3221220324 1077378587 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3836 1111 63 0 4704 0
vsize: 19068
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3869 0 0 0 111931 84 0 0 25 0 1 0 655167665 19525632 3836 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3836 1111 63 0 4704 0
vsize: 19068
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3869 0 0 0 112931 85 0 0 25 0 1 0 655167665 19525632 3836 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3836 1111 63 0 4704 0
vsize: 19068
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3869 0 0 0 113930 85 0 0 25 0 1 0 655167665 19525632 3836 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3836 1111 63 0 4704 0
vsize: 19068
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3869 0 0 0 114930 86 0 0 25 0 1 0 655167665 19525632 3836 4294967295 134512640 134714540 3221221792 3221220476 1076647540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3836 1111 63 0 4704 0
vsize: 19068
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3869 0 0 0 115929 87 0 0 25 0 1 0 655167665 19525632 3836 4294967295 134512640 134714540 3221221792 3221220488 134536909 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3836 1111 63 0 4704 0
vsize: 19068
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3869 0 0 0 116929 88 0 0 25 0 1 0 655167665 19525632 3836 4294967295 134512640 134714540 3221221792 3221220380 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3836 1111 63 0 4704 0
vsize: 19068
[startup+1174.92 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 9634
Raw data (stat): 9634 (bsolo_mis) R 9633 7876 7672 0 -1 0 3869 0 0 0 116929 88 0 0 25 0 1 0 655167665 19525632 3836 4294967295 134512640 134714540 3221221792 3221220380 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4767 3836 1111 63 0 4704 0
vsize: 0

Child status: 10
Real time (s): 1174.92
CPU time (s): 1175.05
CPU user time (s): 1174.15
CPU system time (s): 0.896863
CPU usage (%): 100.011
Max. virtual memory (Kb): 19068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	341
#### END VERIFIER DATA ####