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-max1024.pi.opb
MD5SUM	6604a6c0d979e1f2b09762e6e4f70f84
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	259
Optimality of the best value was proved	NO
Number of terms in the objective function	1278
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	1278
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	1278
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.04584
Number of variables	1278
Total number of constraints	1087
Number of constraints which are clauses	1087
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	18
Trace number 23429

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 13:05:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=516 boxname=wulflinc31 idbench=58 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6604a6c0d979e1f2b09762e6e4f70f84  /oldhome/oroussel/tmp/wulflinc31/normalized-max1024.pi.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-max1024.pi.opb
IDLAUNCH: 516
/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:        920524 kB
Buffers:         39944 kB
Cached:          52136 kB
SwapCached:        944 kB
Active:          77204 kB
Inactive:        17360 kB
HighTotal:      131008 kB
HighFree:        77896 kB
LowTotal:       903652 kB
LowFree:        842628 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14048 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 13:24:42 (client local time) WITH STATUS 10 IN 1175.03 SECONDS
stats: 516 0 1175.03 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1278 variables and 1087 constraints.
c After prepocess the problem consists of 1264 variables and 1040 constraints.
c preprocess terminated 0.678 s
c Initial Lower Bound: 235
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 288 @ 1.063
c NEW SOLUTION FOUND: 287 @ 1.096
c NEW SOLUTION FOUND: 286 @ 1.85
c NEW SOLUTION FOUND: 285 @ 5.036
c NEW SOLUTION FOUND: 284 @ 40.552
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 
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): 0.93 0.98 0.98 2/54 2442
Raw data (stat): 2442 (runsolver) R 2441 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 648979068 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.94 0.98 0.98 2/54 2442
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1497 0 0 0 990 5 0 0 25 0 1 0 648979068 9764864 1470 4294967295 134512640 134714540 3221221792 3221220608 134611157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2384 1470 1111 63 0 2321 0
vsize: 9536
[startup+20.0023 s]
Raw data (loadavg): 0.95 0.98 0.98 2/54 2442
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1504 0 0 0 1989 6 0 0 25 0 1 0 648979068 9764864 1477 4294967295 134512640 134714540 3221221792 3221220348 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2384 1477 1111 63 0 2321 0
vsize: 9536
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.98 0.98 2/54 2442
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1506 0 0 0 2989 7 0 0 25 0 1 0 648979068 9764864 1479 4294967295 134512640 134714540 3221221792 3221220312 1077377254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2384 1479 1111 63 0 2321 0
vsize: 9536
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 2442
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1517 0 0 0 3988 8 0 0 25 0 1 0 648979068 9895936 1490 4294967295 134512640 134714540 3221221792 3221220492 134558496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2416 1490 1111 63 0 2353 0
vsize: 9664
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1519 0 0 0 4987 9 0 0 25 0 1 0 648979068 9895936 1492 4294967295 134512640 134714540 3221221792 3221220464 134524477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2416 1492 1111 63 0 2353 0
vsize: 9664
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1519 0 0 0 5986 10 0 0 25 0 1 0 648979068 9850880 1492 4294967295 134512640 134714540 3221221792 3221220512 134625060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1492 1111 63 0 2342 0
vsize: 9620
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1519 0 0 0 6985 11 0 0 25 0 1 0 648979068 9850880 1492 4294967295 134512640 134714540 3221221792 3221220440 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1492 1111 63 0 2342 0
vsize: 9620
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1519 0 0 0 7984 12 0 0 25 0 1 0 648979068 9850880 1492 4294967295 134512640 134714540 3221221792 3221220384 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1492 1111 63 0 2342 0
vsize: 9620
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1523 0 0 0 8983 13 0 0 25 0 1 0 648979068 9850880 1496 4294967295 134512640 134714540 3221221792 3221220552 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1496 1111 63 0 2342 0
vsize: 9620
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1523 0 0 0 9982 15 0 0 25 0 1 0 648979068 9850880 1496 4294967295 134512640 134714540 3221221792 3221220576 134558542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1496 1111 63 0 2342 0
vsize: 9620
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1523 0 0 0 10982 15 0 0 25 0 1 0 648979068 9850880 1496 4294967295 134512640 134714540 3221221792 3221220396 1076530932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1496 1111 63 0 2342 0
vsize: 9620
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1523 0 0 0 11981 16 0 0 25 0 1 0 648979068 9850880 1496 4294967295 134512640 134714540 3221221792 3221220512 134625095 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1496 1111 63 0 2342 0
vsize: 9620
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1533 0 0 0 12980 17 0 0 25 0 1 0 648979068 9850880 1506 4294967295 134512640 134714540 3221221792 3221220028 1077379913 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1506 1111 63 0 2342 0
vsize: 9620
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1533 0 0 0 13980 18 0 0 25 0 1 0 648979068 9850880 1506 4294967295 134512640 134714540 3221221792 3221220276 1077374514 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2405 1506 1111 63 0 2342 0
vsize: 9620
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1536 0 0 0 14979 19 0 0 25 0 1 0 648979068 9986048 1509 4294967295 134512640 134714540 3221221792 3221220328 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1509 1111 63 0 2375 0
vsize: 9752
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1554 0 0 0 15978 20 0 0 25 0 1 0 648979068 9986048 1527 4294967295 134512640 134714540 3221221792 3221220492 134535500 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1527 1111 63 0 2375 0
vsize: 9752
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1554 0 0 0 16976 22 0 0 25 0 1 0 648979068 9986048 1527 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1527 1111 63 0 2375 0
vsize: 9752
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1554 0 0 0 17976 23 0 0 25 0 1 0 648979068 9986048 1527 4294967295 134512640 134714540 3221221792 3221220504 134558629 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1527 1111 63 0 2375 0
vsize: 9752
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 18975 24 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220524 134558496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 19974 24 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220044 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 20973 26 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220536 134542409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 21972 27 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 22972 27 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 23971 28 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220352 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 24970 29 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 25969 31 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220432 134534107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 26969 31 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220388 1077374598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 27968 32 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220436 134539863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 28967 33 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220492 134535606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 29967 34 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220448 134591893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 30966 35 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220488 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 31965 35 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220616 134586923 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1560 0 0 0 32965 36 0 0 25 0 1 0 648979068 9986048 1533 4294967295 134512640 134714540 3221221792 3221220496 134592438 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1533 1111 63 0 2375 0
vsize: 9752
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1562 0 0 0 33964 37 0 0 25 0 1 0 648979068 9986048 1535 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1535 1111 63 0 2375 0
vsize: 9752
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1562 0 0 0 34963 38 0 0 25 0 1 0 648979068 9986048 1535 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1535 1111 63 0 2375 0
vsize: 9752
[startup+360.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1562 0 0 0 35962 40 0 0 25 0 1 0 648979068 9986048 1535 4294967295 134512640 134714540 3221221792 3221220432 134594338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1535 1111 63 0 2375 0
vsize: 9752
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1562 0 0 0 36961 40 0 0 25 0 1 0 648979068 9986048 1535 4294967295 134512640 134714540 3221221792 3221220432 134594343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1535 1111 63 0 2375 0
vsize: 9752
[startup+380.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1562 0 0 0 37960 42 0 0 25 0 1 0 648979068 9986048 1535 4294967295 134512640 134714540 3221221792 3221220304 134540480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1535 1111 63 0 2375 0
vsize: 9752
[startup+390.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1565 0 0 0 38959 43 0 0 25 0 1 0 648979068 9986048 1538 4294967295 134512640 134714540 3221221792 3221220348 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2438 1538 1111 63 0 2375 0
vsize: 9752
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 39959 43 0 0 25 0 1 0 648979068 10121216 1560 4294967295 134512640 134714540 3221221792 3221220440 1077374435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2471 1560 1111 63 0 2408 0
vsize: 9884
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 40958 44 0 0 25 0 1 0 648979068 10121216 1560 4294967295 134512640 134714540 3221221792 3221220604 134611385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2471 1560 1111 63 0 2408 0
vsize: 9884
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 41958 45 0 0 25 0 1 0 648979068 10121216 1560 4294967295 134512640 134714540 3221221792 3221220512 134592320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2471 1560 1111 63 0 2408 0
vsize: 9884
[startup+430.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 42958 45 0 0 25 0 1 0 648979068 10121216 1560 4294967295 134512640 134714540 3221221792 3221220576 134624719 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2471 1560 1111 63 0 2408 0
vsize: 9884
[startup+440.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 43957 46 0 0 25 0 1 0 648979068 10121216 1560 4294967295 134512640 134714540 3221221792 3221220464 134524396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2471 1560 1111 63 0 2408 0
vsize: 9884
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 44956 47 0 0 25 0 1 0 648979068 10121216 1560 4294967295 134512640 134714540 3221221792 3221220476 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2471 1560 1111 63 0 2408 0
vsize: 9884
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 45954 49 0 0 25 0 1 0 648979068 10121216 1560 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2471 1560 1111 63 0 2408 0
vsize: 9884
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 46954 50 0 0 25 0 1 0 648979068 10121216 1560 4294967295 134512640 134714540 3221221792 3221220448 134539760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2471 1560 1111 63 0 2408 0
vsize: 9884
[startup+480.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 47953 51 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220400 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 48952 52 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220492 134535503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+500.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 49951 53 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220488 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+510.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 50950 54 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220608 134610813 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 51950 55 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220368 134535335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+530.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 52948 56 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220352 1077378571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+540.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 53947 58 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 54947 58 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220488 134558477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+560.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 55946 59 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220304 134540040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 56945 60 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220576 134558501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+580.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 57944 62 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220432 134594343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+590.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 58943 63 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220516 1077374071 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+600.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 59943 63 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220424 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+610.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 60942 64 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220592 134611191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+620.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 61941 65 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220480 134534159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+630.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 62940 66 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220420 1077374455 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+640.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 63939 68 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220312 1077377249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+650.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 64938 68 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220584 134542445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1587 0 0 0 65937 70 0 0 25 0 1 0 648979068 10072064 1560 4294967295 134512640 134714540 3221221792 3221220608 134610536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1560 1111 63 0 2396 0
vsize: 9836
[startup+670.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 66937 71 0 0 25 0 1 0 648979068 10182656 1561 4294967295 134512640 134714540 3221221792 3221220108 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2486 1561 1111 63 0 2423 0
vsize: 9944
[startup+680.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 67936 71 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220508 134592180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+690.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 68936 72 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220512 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+700.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 69935 73 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220444 134534134 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+710.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 70935 73 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220528 134604688 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+720.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 71934 74 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220328 1077378415 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+730.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 72932 76 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220488 134536889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+740.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 73931 77 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+750.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 74930 78 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220540 1076530932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+760.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 75929 79 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220528 134585074 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+770.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 76928 80 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220320 134539893 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+780.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 77927 82 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220384 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+790.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 78927 83 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+800.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 79925 84 0 0 25 0 1 0 648979068 10162176 1561 4294967295 134512640 134714540 3221221792 3221220448 134539593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2481 1561 1111 63 0 2418 0
vsize: 9924
[startup+810.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 80925 85 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220464 134603700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+820.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 81923 86 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220464 1076648048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+830.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 82922 87 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220444 1077374432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+840.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 83922 88 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220488 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+850.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 84921 89 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+860.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 85920 90 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+870.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 86919 91 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220396 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+880.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 87919 92 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220384 134538795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+890.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 88918 93 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220328 1077377249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+900.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 89918 93 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220352 1077377147 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+910.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 90917 94 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220492 134535497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+920.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 91916 95 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220432 134524436 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+930.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 92915 96 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+940.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 93915 97 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220552 134543157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+950.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 94915 97 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220528 134584901 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+960.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 95914 98 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220448 134584836 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+970.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 96912 99 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220496 134603839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+980.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1588 0 0 0 97911 100 0 0 25 0 1 0 648979068 10158080 1561 4294967295 134512640 134714540 3221221792 3221220476 134558784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1561 1111 63 0 2417 0
vsize: 9920
[startup+990.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 98910 102 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220472 134532457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 99909 103 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220584 134673069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 100908 104 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 101908 104 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220348 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 102907 106 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220492 134535506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 103906 106 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220088 1077377762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 104906 107 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220436 134524577 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 105905 108 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220424 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 106904 109 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220492 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 107903 110 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 108901 112 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220396 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 109900 113 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 110900 114 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220384 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 111898 115 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 112897 117 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220432 134524471 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 113897 117 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220512 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 114896 118 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220328 1077377221 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 115895 119 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 116894 120 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220328 1077377159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 9920
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.98 0.98 1/53 2444
Raw data (stat): 2442 (bsolo_mis) R 2441 7876 7672 0 -1 0 1598 0 0 0 116894 120 0 0 25 0 1 0 648979068 10158080 1571 4294967295 134512640 134714540 3221221792 3221220328 1077377159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2480 1571 1111 63 0 2417 0
vsize: 0

Child status: 10
Real time (s): 1174.9
CPU time (s): 1175.03
CPU user time (s): 1173.82
CPU system time (s): 1.21681
CPU usage (%): 100.011
Max. virtual memory (Kb): 9944
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	284
#### END VERIFIER DATA ####