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/primes-dimacs-cnf/normalized-ii8e2.opb
MD5SUM	66ef5c48f4a7492e24281157b7778ffb
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	514
Optimality of the best value was proved	NO
Number of terms in the objective function	1740
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	1740
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	1740
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.04884
Number of variables	1740
Total number of constraints	6991
Number of constraints which are clauses	6991
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	10
Trace number 39565

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 13:21:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27618 boxname=wulflinc6 idbench=176 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  66ef5c48f4a7492e24281157b7778ffb  /oldhome/oroussel/tmp/wulflinc6/normalized-ii8e2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ii8e2.opb
IDLAUNCH: 27618
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        838008 kB
Buffers:         33736 kB
Cached:         140956 kB
SwapCached:       1020 kB
Active:          37276 kB
Inactive:       139572 kB
HighTotal:      131008 kB
HighFree:        96460 kB
LowTotal:       903652 kB
LowFree:        741548 kB
SwapTotal:     2097136 kB
SwapFree:      2095192 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            14168 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 13:41:31 (client local time) WITH STATUS 10 IN 1175.73 SECONDS
stats: 27618 0 1175.73 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1740 variables and 6991 constraints.
c After prepocess the problem consists of 1740 variables and 8381 constraints.
c preprocess terminated 65.836 s
c Initial Lower Bound: 465
c Lower Bound Elapsed time: 16.368
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 870 @ 131.784
c NEW SOLUTION FOUND: 869 @ 131.788
c NEW SOLUTION FOUND: 868 @ 131.81
c NEW SOLUTION FOUND: 867 @ 131.828
c NEW SOLUTION FOUND: 866 @ 131.847
c NEW SOLUTION FOUND: 865 @ 131.867
c NEW SOLUTION FOUND: 864 @ 131.887
c NEW SOLUTION FOUND: 863 @ 131.906
c NEW SOLUTION FOUND: 862 @ 131.926
c NEW SOLUTION FOUND: 861 @ 131.946
c NEW SOLUTION FOUND: 860 @ 131.966
c NEW SOLUTION FOUND: 859 @ 131.986
c NEW SOLUTION FOUND: 858 @ 132.007
c NEW SOLUTION FOUND: 857 @ 132.028
c NEW SOLUTION FOUND: 856 @ 132.048
c NEW SOLUTION FOUND: 855 @ 132.071
c NEW SOLUTION FOUND: 854 @ 132.094
c NEW SOLUTION FOUND: 853 @ 132.115
c NEW SOLUTION FOUND: 852 @ 132.138
c NEW SOLUTION FOUND: 851 @ 132.16
c NEW SOLUTION FOUND: 850 @ 132.205
c NEW SOLUTION FOUND: 849 @ 132.227
c NEW SOLUTION FOUND: 848 @ 132.297
c NEW SOLUTION FOUND: 847 @ 132.322
c NEW SOLUTION FOUND: 846 @ 132.349
c NEW SOLUTION FOUND: 845 @ 132.375
c NEW SOLUTION FOUND: 844 @ 132.401
c NEW SOLUTION FOUND: 843 @ 132.427
c NEW SOLUTION FOUND: 842 @ 132.454
c NEW SOLUTION FOUND: 841 @ 132.533
c NEW SOLUTION FOUND: 840 @ 132.562
c NEW SOLUTION FOUND: 839 @ 132.618
c NEW SOLUTION FOUND: 549 @ 463.658
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 
c Exit Code: 10
c Total time: 1175.71 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.97 0.96 1/54 14902
Raw data (stat): 14902 (runsolver) R 14901 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893314284 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 4609 0 0 0 985 12 0 0 25 0 1 0 893314284 19251200 3862 4294967295 134512640 134716908 3221224592 3221223264 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4700 3862 1111 63 0 4637 0
vsize: 18800
[startup+19.9998 s]
Raw data (loadavg): 0.89 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 4609 0 0 0 1985 12 0 0 25 0 1 0 893314284 19251200 3862 4294967295 134512640 134716908 3221224592 3221223264 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4700 3862 1111 63 0 4637 0
vsize: 18800
[startup+30.0003 s]
Raw data (loadavg): 0.91 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 4609 0 0 0 2985 12 0 0 25 0 1 0 893314284 19251200 3862 4294967295 134512640 134716908 3221224592 3221223264 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4700 3862 1111 63 0 4637 0
vsize: 18800
[startup+40.0005 s]
Raw data (loadavg): 0.92 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 4609 0 0 0 3986 12 0 0 25 0 1 0 893314284 19251200 3862 4294967295 134512640 134716908 3221224592 3221223264 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4700 3862 1111 63 0 4637 0
vsize: 18800
[startup+50.0003 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 4609 0 0 0 4986 12 0 0 25 0 1 0 893314284 19251200 3862 4294967295 134512640 134716908 3221224592 3221223264 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4700 3862 1111 63 0 4637 0
vsize: 18800
[startup+59.9998 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 4609 0 0 0 5986 12 0 0 25 0 1 0 893314284 19251200 3862 4294967295 134512640 134716908 3221224592 3221223264 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4700 3862 1111 63 0 4637 0
vsize: 18800
[startup+70.0002 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 4690 0 0 0 6986 13 0 0 25 0 1 0 893314284 19615744 3943 4294967295 134512640 134716908 3221224592 3221222540 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4789 3943 1111 63 0 4726 0
vsize: 19156
[startup+79.9997 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 6445 0 0 0 7981 17 0 0 25 0 1 0 893314284 25542656 5174 4294967295 134512640 134716908 3221224592 3221220404 1074786556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6236 5174 1111 63 0 6173 0
vsize: 24944
[startup+89.9993 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 6549 0 0 0 8981 18 0 0 25 0 1 0 893314284 24891392 5003 4294967295 134512640 134716908 3221224592 3221220508 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6077 5003 1111 63 0 6014 0
vsize: 24308
[startup+99.9994 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 6577 0 0 0 9982 18 0 0 25 0 1 0 893314284 25112576 5031 4294967295 134512640 134716908 3221224592 3221220724 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6131 5031 1111 63 0 6068 0
vsize: 24524
[startup+109.999 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 6578 0 0 0 10982 18 0 0 25 0 1 0 893314284 25112576 5032 4294967295 134512640 134716908 3221224592 3221220380 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6131 5032 1111 63 0 6068 0
vsize: 24524
[startup+120 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 6579 0 0 0 11982 18 0 0 25 0 1 0 893314284 25112576 5033 4294967295 134512640 134716908 3221224592 3221220508 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6131 5033 1111 63 0 6068 0
vsize: 24524
[startup+130 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 7645 0 0 0 12979 21 0 0 25 0 1 0 893314284 21274624 4323 4294967295 134512640 134716908 3221224592 3221222224 1075828224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 4323 1111 63 0 5131 0
vsize: 20776
[startup+140 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 14384 0 0 0 13961 40 0 0 25 0 1 0 893314284 26611712 4849 4294967295 134512640 134716908 3221224592 3221220472 1074788427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6497 4849 1111 63 0 6434 0
vsize: 25988
[startup+150 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 14428 0 0 0 14961 40 0 0 25 0 1 0 893314284 26611712 4893 4294967295 134512640 134716908 3221224592 3221220736 1074969467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6497 4893 1111 63 0 6434 0
vsize: 25988
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 14428 0 0 0 15961 40 0 0 25 0 1 0 893314284 26611712 4893 4294967295 134512640 134716908 3221224592 3221220812 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6497 4893 1111 63 0 6434 0
vsize: 25988
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 15120 0 0 0 16959 42 0 0 25 0 1 0 893314284 19644416 4111 4294967295 134512640 134716908 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 4111 1111 63 0 4733 0
vsize: 19184
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 16001 0 0 0 17958 44 0 0 25 0 1 0 893314284 26243072 4817 4294967295 134512640 134716908 3221224592 3221220812 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6407 4817 1111 63 0 6344 0
vsize: 25628
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 16018 0 0 0 18958 44 0 0 25 0 1 0 893314284 26431488 4834 4294967295 134512640 134716908 3221224592 3221220812 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6453 4834 1111 63 0 6390 0
vsize: 25812
[startup+200 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 16634 0 0 0 19957 46 0 0 25 0 1 0 893314284 19677184 4119 4294967295 134512640 134716908 3221224592 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4804 4119 1111 63 0 4741 0
vsize: 19216
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 17527 0 0 0 20955 48 0 0 25 0 1 0 893314284 26439680 4837 4294967295 134512640 134716908 3221224592 3221220460 1074787520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6455 4837 1111 63 0 6392 0
vsize: 25820
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 17536 0 0 0 21956 48 0 0 25 0 1 0 893314284 26632192 4846 4294967295 134512640 134716908 3221224592 3221220864 1074960771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6502 4846 1111 63 0 6439 0
vsize: 26008
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 19368 0 0 0 22951 53 0 0 25 0 1 0 893314284 26165248 4773 4294967295 134512640 134716908 3221224592 3221220812 1075116781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6388 4773 1111 63 0 6325 0
vsize: 25552
[startup+239.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 19403 0 0 0 23951 53 0 0 25 0 1 0 893314284 26542080 4808 4294967295 134512640 134716908 3221224592 3221220812 1075116787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6480 4808 1111 63 0 6417 0
vsize: 25920
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 20834 0 0 0 24949 55 0 0 25 0 1 0 893314284 26382336 4809 4294967295 134512640 134716908 3221224592 3221220752 1074794655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6441 4809 1111 63 0 6378 0
vsize: 25764
[startup+259.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 20846 0 0 0 25949 56 0 0 25 0 1 0 893314284 26570752 4821 4294967295 134512640 134716908 3221224592 3221220864 1074961347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6487 4821 1111 63 0 6424 0
vsize: 25948
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 22187 0 0 0 26947 58 0 0 25 0 1 0 893314284 26152960 4768 4294967295 134512640 134716908 3221224592 3221220736 1074969685 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6385 4768 1111 63 0 6322 0
vsize: 25540
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 22223 0 0 0 27947 58 0 0 25 0 1 0 893314284 26529792 4804 4294967295 134512640 134716908 3221224592 3221220720 1075561092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6477 4804 1111 63 0 6414 0
vsize: 25908
[startup+289.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 23542 0 0 0 28943 62 0 0 25 0 1 0 893314284 26148864 4763 4294967295 134512640 134716908 3221224592 3221220864 1074961496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6384 4763 1111 63 0 6321 0
vsize: 25536
[startup+299.997 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 23572 0 0 0 29943 62 0 0 25 0 1 0 893314284 26341376 4793 4294967295 134512640 134716908 3221224592 3221220812 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 4793 1111 63 0 6368 0
vsize: 25724
[startup+309.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 25042 0 0 0 30940 66 0 0 25 0 1 0 893314284 26193920 4783 4294967295 134512640 134716908 3221224592 3221220624 1075965240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6395 4783 1111 63 0 6332 0
vsize: 25580
[startup+319.997 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 25472 0 0 0 31939 67 0 0 25 0 1 0 893314284 24854528 4850 4294967295 134512640 134716908 3221224592 3221220832 1075115709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6068 4850 1111 63 0 6005 0
vsize: 24272
[startup+329.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 25472 0 0 0 32939 67 0 0 25 0 1 0 893314284 24854528 4850 4294967295 134512640 134716908 3221224592 3221220528 1075965232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6068 4850 1111 63 0 6005 0
vsize: 24272
[startup+339.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 26816 0 0 0 33935 72 0 0 25 0 1 0 893314284 26185728 4743 4294967295 134512640 134716908 3221224592 3221220864 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6393 4743 1111 63 0 6330 0
vsize: 25572
[startup+349.997 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 27273 0 0 0 34934 73 0 0 25 0 1 0 893314284 24657920 4831 4294967295 134512640 134716908 3221224592 3221220692 1075964214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6020 4831 1111 63 0 5957 0
vsize: 24080
[startup+359.997 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 27858 0 0 0 35933 74 0 0 25 0 1 0 893314284 19849216 4168 4294967295 134512640 134716908 3221224592 3221222640 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4846 4168 1111 63 0 4783 0
vsize: 19384
[startup+369.997 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 28631 0 0 0 36932 76 0 0 25 0 1 0 893314284 26185728 4774 4294967295 134512640 134716908 3221224592 3221220928 1075113519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6393 4774 1111 63 0 6330 0
vsize: 25572
[startup+379.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 30301 0 0 0 37929 79 0 0 25 0 1 0 893314284 26144768 4667 4294967295 134512640 134716908 3221224592 3221220864 1074961363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6383 4667 1111 63 0 6320 0
vsize: 25532
[startup+389.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 30396 0 0 0 38929 80 0 0 25 0 1 0 893314284 26144768 4762 4294967295 134512640 134716908 3221224592 3221220840 1074803880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6383 4762 1111 63 0 6320 0
vsize: 25532
[startup+399.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 31657 0 0 0 39927 82 0 0 25 0 1 0 893314284 26042368 4692 4294967295 134512640 134716908 3221224592 3221221712 1074834317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 4692 1111 63 0 6295 0
vsize: 25432
[startup+409.997 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 31699 0 0 0 40927 83 0 0 25 0 1 0 893314284 26193920 4734 4294967295 134512640 134716908 3221224592 3221220812 1075116564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6395 4734 1111 63 0 6332 0
vsize: 25580
[startup+419.997 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 32819 0 0 0 41923 86 0 0 25 0 1 0 893314284 25817088 4665 4294967295 134512640 134716908 3221224592 3221220812 1075116535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6303 4665 1111 63 0 6240 0
vsize: 25212
[startup+429.997 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 33816 0 0 0 42920 90 0 0 25 0 1 0 893314284 25694208 4593 4294967295 134512640 134716908 3221224592 3221220720 1075561083 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6273 4593 1111 63 0 6210 0
vsize: 25092
[startup+439.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 35026 0 0 0 43917 93 0 0 25 0 1 0 893314284 19656704 4121 4294967295 134512640 134716908 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 4121 1111 63 0 4736 0
vsize: 19196
[startup+449.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 36220 0 0 0 44914 96 0 0 25 0 1 0 893314284 25313280 4514 4294967295 134512640 134716908 3221224592 3221220736 1074970293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6180 4514 1111 63 0 6117 0
vsize: 24720
[startup+459.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 37602 0 0 0 45912 99 0 0 25 0 1 0 893314284 25071616 4402 4294967295 134512640 134716908 3221224592 3221221424 1075115406 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6121 4402 1111 63 0 6058 0
vsize: 24484
[startup+469.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 39343 0 0 0 46906 105 0 0 25 0 1 0 893314284 25190400 4437 4294967295 134512640 134716908 3221224592 3221220976 1074972807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6150 4437 1111 63 0 6087 0
vsize: 24600
[startup+479.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 40949 0 0 0 47902 109 0 0 25 0 1 0 893314284 25223168 4443 4294967295 134512640 134716908 3221224592 3221220812 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6158 4443 1111 63 0 6095 0
vsize: 24632
[startup+489.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 42615 0 0 0 48897 114 0 0 25 0 1 0 893314284 25186304 4434 4294967295 134512640 134716908 3221224592 3221221664 1074867212 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6149 4434 1111 63 0 6086 0
vsize: 24596
[startup+499.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 44041 0 0 0 49893 119 0 0 25 0 1 0 893314284 19664896 4123 4294967295 134512640 134716908 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4801 4123 1111 63 0 4738 0
vsize: 19204
[startup+509.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 45830 0 0 0 50889 124 0 0 25 0 1 0 893314284 25051136 4399 4294967295 134512640 134716908 3221224592 3221220812 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 4399 1111 63 0 6053 0
vsize: 24464
[startup+519.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 47235 0 0 0 51884 128 0 0 25 0 1 0 893314284 19656704 4122 4294967295 134512640 134716908 3221224592 3221222992 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 4122 1111 63 0 4736 0
vsize: 19196
[startup+529.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 48949 0 0 0 52880 133 0 0 25 0 1 0 893314284 19996672 4189 4294967295 134512640 134716908 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4882 4189 1111 63 0 4819 0
vsize: 19528
[startup+539.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 50663 0 0 0 53876 137 0 0 25 0 1 0 893314284 19664896 4124 4294967295 134512640 134716908 3221224592 3221222524 1074050755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4801 4124 1111 63 0 4738 0
vsize: 19204
[startup+549.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 52502 0 0 0 54871 142 0 0 25 0 1 0 893314284 25083904 4289 4294967295 134512640 134716908 3221224592 3221221360 1076083448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6124 4289 1111 63 0 6061 0
vsize: 24496
[startup+559.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 54034 0 0 0 55868 146 0 0 25 0 1 0 893314284 19673088 4126 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4803 4126 1111 63 0 4740 0
vsize: 19212
[startup+569.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 55851 0 0 0 56863 151 0 0 25 0 1 0 893314284 19656704 4122 4294967295 134512640 134716908 3221224592 3221222312 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4800 4123 1111 63 0 4737 0
vsize: 19196
[startup+579.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 57746 0 0 0 57859 155 0 0 25 0 1 0 893314284 25055232 4403 4294967295 134512640 134716908 3221224592 3221220736 1074950918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6117 4403 1111 63 0 6054 0
vsize: 24468
[startup+589.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 59479 0 0 0 58856 159 0 0 25 0 1 0 893314284 25083904 4408 4294967295 134512640 134716908 3221224592 3221220812 1075116798 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6124 4408 1111 63 0 6061 0
vsize: 24496
[startup+599.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 61181 0 0 0 59852 163 0 0 25 0 1 0 893314284 19644416 4119 4294967295 134512640 134716908 3221224592 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 4119 1111 63 0 4733 0
vsize: 19184
[startup+609.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 62822 0 0 0 60847 168 0 0 25 0 1 0 893314284 19824640 4128 4294967295 134512640 134716908 3221224592 3221221676 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4840 4129 1111 63 0 4777 0
vsize: 19360
[startup+619.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 64800 0 0 0 61843 173 0 0 25 0 1 0 893314284 19664896 4124 4294967295 134512640 134716908 3221224592 3221222992 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4801 4124 1111 63 0 4738 0
vsize: 19204
[startup+629.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 66550 0 0 0 62839 177 0 0 25 0 1 0 893314284 25239552 4446 4294967295 134512640 134716908 3221224592 3221220812 1075116464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6162 4446 1111 63 0 6099 0
vsize: 24648
[startup+639.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 68204 0 0 0 63836 181 0 0 25 0 1 0 893314284 25071616 4367 4294967295 134512640 134716908 3221224592 3221220812 1075116478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6121 4367 1111 63 0 6058 0
vsize: 24484
[startup+649.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 69854 0 0 0 64832 185 0 0 25 0 1 0 893314284 19660800 4123 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4800 4123 1111 63 0 4737 0
vsize: 19200
[startup+659.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 71669 0 0 0 65826 191 0 0 25 0 1 0 893314284 25190400 4421 4294967295 134512640 134716908 3221224592 3221220924 1076111476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6150 4421 1111 63 0 6087 0
vsize: 24600
[startup+669.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 73431 0 0 0 66821 197 0 0 25 0 1 0 893314284 19648512 4120 4294967295 134512640 134716908 3221224592 3221222992 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4797 4120 1111 63 0 4734 0
vsize: 19188
[startup+679.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 74899 0 0 0 67817 201 0 0 25 0 1 0 893314284 19656704 4122 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 4122 1111 63 0 4736 0
vsize: 19196
[startup+689.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 76537 0 0 0 68813 205 0 0 25 0 1 0 893314284 19664896 4124 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4801 4124 1111 63 0 4738 0
vsize: 19204
[startup+699.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 78288 0 0 0 69809 210 0 0 25 0 1 0 893314284 25186304 4434 4294967295 134512640 134716908 3221224592 3221221120 1075120000 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6149 4434 1111 63 0 6086 0
vsize: 24596
[startup+709.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 80009 0 0 0 70804 215 0 0 25 0 1 0 893314284 19664896 4124 4294967295 134512640 134716908 3221224592 3221222992 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4801 4124 1111 63 0 4738 0
vsize: 19204
[startup+719.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 81996 0 0 0 71799 220 0 0 25 0 1 0 893314284 19648512 4120 4294967295 134512640 134716908 3221224592 3221222992 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4797 4120 1111 63 0 4734 0
vsize: 19188
[startup+729.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 83835 0 0 0 72794 226 0 0 25 0 1 0 893314284 25202688 4429 4294967295 134512640 134716908 3221224592 3221220812 1075116876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6153 4429 1111 63 0 6090 0
vsize: 24612
[startup+739.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 85491 0 0 0 73789 231 0 0 25 0 1 0 893314284 25112576 4421 4294967295 134512640 134716908 3221224592 3221220800 1074815309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6131 4421 1111 63 0 6068 0
vsize: 24524
[startup+749.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 87128 0 0 0 74784 236 0 0 25 0 1 0 893314284 25120768 4414 4294967295 134512640 134716908 3221224592 3221220588 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6133 4414 1111 63 0 6070 0
vsize: 24532
[startup+759.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 88943 0 0 0 75779 241 0 0 25 0 1 0 893314284 20111360 4146 4294967295 134512640 134716908 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4910 4146 1111 63 0 4847 0
vsize: 19640
[startup+769.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 90570 0 0 0 76776 245 0 0 25 0 1 0 893314284 19677184 4127 4294967295 134512640 134716908 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4804 4127 1111 63 0 4741 0
vsize: 19216
[startup+779.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 92254 0 0 0 77771 251 0 0 25 0 1 0 893314284 19673088 4126 4294967295 134512640 134716908 3221224592 3221222904 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4803 4126 1111 63 0 4740 0
vsize: 19212
[startup+789.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 93837 0 0 0 78766 255 0 0 25 0 1 0 893314284 19677184 4127 4294967295 134512640 134716908 3221224592 3221222896 1074153753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4804 4127 1111 63 0 4741 0
vsize: 19216
[startup+799.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 95768 0 0 0 79762 260 0 0 25 0 1 0 893314284 25141248 4428 4294967295 134512640 134716908 3221224592 3221220812 1075116807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6138 4428 1111 63 0 6075 0
vsize: 24552
[startup+809.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 97391 0 0 0 80758 265 0 0 25 0 1 0 893314284 25067520 4384 4294967295 134512640 134716908 3221224592 3221220812 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6120 4384 1111 63 0 6057 0
vsize: 24480
[startup+819.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 98756 0 0 0 81754 269 0 0 25 0 1 0 893314284 19677184 4127 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4804 4127 1111 63 0 4741 0
vsize: 19216
[startup+829.998 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 100346 0 0 0 82750 273 0 0 25 0 1 0 893314284 19664896 4124 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4801 4124 1111 63 0 4738 0
vsize: 19204
[startup+839.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 102158 0 0 0 83745 278 0 0 25 0 1 0 893314284 25145344 4431 4294967295 134512640 134716908 3221224592 3221220812 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6139 4431 1111 63 0 6076 0
vsize: 24556
[startup+849.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 103995 0 0 0 84740 283 0 0 25 0 1 0 893314284 19644416 4119 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 4119 1111 63 0 4733 0
vsize: 19184
[startup+859.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 105603 0 0 0 85736 288 0 0 25 0 1 0 893314284 20185088 4149 4294967295 134512640 134716908 3221224592 3221222320 1075828650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4928 4149 1111 63 0 4865 0
vsize: 19712
[startup+869.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 107617 0 0 0 86730 294 0 0 25 0 1 0 893314284 19656704 4122 4294967295 134512640 134716908 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 4122 1111 63 0 4736 0
vsize: 19196
[startup+879.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 109469 0 0 0 87727 298 0 0 25 0 1 0 893314284 19673088 4126 4294967295 134512640 134716908 3221224592 3221222992 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4803 4126 1111 63 0 4740 0
vsize: 19212
[startup+889.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 111465 0 0 0 88722 303 0 0 25 0 1 0 893314284 19664896 4124 4294967295 134512640 134716908 3221224592 3221222904 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4801 4124 1111 63 0 4738 0
vsize: 19204
[startup+900 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 112857 0 0 0 89718 307 0 0 25 0 1 0 893314284 25505792 4539 4294967295 134512640 134716908 3221224592 3221220812 1075116876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4539 1111 63 0 6164 0
vsize: 24908
[startup+910 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 114566 0 0 0 90714 312 0 0 25 0 1 0 893314284 25219072 4427 4294967295 134512640 134716908 3221224592 3221220864 1074961210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6157 4427 1111 63 0 6094 0
vsize: 24628
[startup+919.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 116268 0 0 0 91710 316 0 0 25 0 1 0 893314284 25272320 4450 4294967295 134512640 134716908 3221224592 3221220540 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6170 4450 1111 63 0 6107 0
vsize: 24680
[startup+929.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 117958 0 0 0 92706 320 0 0 25 0 1 0 893314284 25153536 4422 4294967295 134512640 134716908 3221224592 3221220812 1075116498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6141 4422 1111 63 0 6078 0
vsize: 24564
[startup+939.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 119634 0 0 0 93701 326 0 0 25 0 1 0 893314284 25231360 4431 4294967295 134512640 134716908 3221224592 3221220812 1075116480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6160 4431 1111 63 0 6097 0
vsize: 24640
[startup+949.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 121482 0 0 0 94696 331 0 0 25 0 1 0 893314284 19660800 4123 4294967295 134512640 134716908 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4800 4123 1111 63 0 4737 0
vsize: 19200
[startup+959.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 123228 0 0 0 95692 336 0 0 25 0 1 0 893314284 19664896 4124 4294967295 134512640 134716908 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4801 4124 1111 63 0 4738 0
vsize: 19204
[startup+970 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 124934 0 0 0 96688 340 0 0 25 0 1 0 893314284 19644416 4119 4294967295 134512640 134716908 3221224592 3221222992 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 4119 1111 63 0 4733 0
vsize: 19184
[startup+979.999 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 126602 0 0 0 97684 344 0 0 25 0 1 0 893314284 19640320 4118 4294967295 134512640 134716908 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4795 4118 1111 63 0 4732 0
vsize: 19180
[startup+990 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 128282 0 0 0 98679 349 0 0 25 0 1 0 893314284 24920064 4371 4294967295 134512640 134716908 3221224592 3221220460 1074787650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6084 4371 1111 63 0 6021 0
vsize: 24336
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 129982 0 0 0 99675 354 0 0 25 0 1 0 893314284 19660800 4123 4294967295 134512640 134716908 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4800 4123 1111 63 0 4737 0
vsize: 19200
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 131768 0 0 0 100670 359 0 0 25 0 1 0 893314284 19664896 4124 4294967295 134512640 134716908 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4801 4124 1111 63 0 4738 0
vsize: 19204
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 133146 0 0 0 101667 363 0 0 25 0 1 0 893314284 19664896 4124 4294967295 134512640 134716908 3221224592 3221222904 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4801 4124 1111 63 0 4738 0
vsize: 19204
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 134357 0 0 0 102664 366 0 0 25 0 1 0 893314284 25493504 4525 4294967295 134512640 134716908 3221224592 3221220812 1075116866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6224 4525 1111 63 0 6161 0
vsize: 24896
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 135769 0 0 0 103660 370 0 0 25 0 1 0 893314284 25432064 4526 4294967295 134512640 134716908 3221224592 3221220720 1075561212 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6209 4526 1111 63 0 6146 0
vsize: 24836
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 137188 0 0 0 104657 373 0 0 25 0 1 0 893314284 25366528 4486 4294967295 134512640 134716908 3221224592 3221221596 1074621045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6193 4486 1111 63 0 6130 0
vsize: 24772
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 138595 0 0 0 105654 377 0 0 25 0 1 0 893314284 25505792 4523 4294967295 134512640 134716908 3221224592 3221221168 1076049806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4523 1111 63 0 6164 0
vsize: 24908
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 139933 0 0 0 106651 380 0 0 25 0 1 0 893314284 25505792 4527 4294967295 134512640 134716908 3221224592 3221221120 1075119993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6227 4527 1111 63 0 6164 0
vsize: 24908
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 141538 0 0 0 107646 385 0 0 25 0 1 0 893314284 19652608 4121 4294967295 134512640 134716908 3221224592 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4798 4121 1111 63 0 4735 0
vsize: 19192
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 142801 0 0 0 108643 388 0 0 25 0 1 0 893314284 19677184 4127 4294967295 134512640 134716908 3221224592 3221222992 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4804 4127 1111 63 0 4741 0
vsize: 19216
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 144394 0 0 0 109640 393 0 0 25 0 1 0 893314284 25296896 4481 4294967295 134512640 134716908 3221224592 3221220812 1075116767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6176 4481 1111 63 0 6113 0
vsize: 24704
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 146083 0 0 0 110635 397 0 0 25 0 1 0 893314284 19652608 4121 4294967295 134512640 134716908 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4798 4121 1111 63 0 4735 0
vsize: 19192
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 147868 0 0 0 111631 402 0 0 25 0 1 0 893314284 25210880 4438 4294967295 134512640 134716908 3221224592 3221220564 1074786528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6155 4438 1111 63 0 6092 0
vsize: 24620
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 149529 0 0 0 112628 406 0 0 25 0 1 0 893314284 25190400 4437 4294967295 134512640 134716908 3221224592 3221220720 1075561124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6150 4437 1111 63 0 6087 0
vsize: 24600
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 151442 0 0 0 113623 411 0 0 25 0 1 0 893314284 25206784 4430 4294967295 134512640 134716908 3221224592 3221220736 1074969605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6154 4430 1111 63 0 6091 0
vsize: 24616
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 153215 0 0 0 114618 416 0 0 25 0 1 0 893314284 19660800 4123 4294967295 134512640 134716908 3221224592 3221222992 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4800 4123 1111 63 0 4737 0
vsize: 19200
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 155209 0 0 0 115614 420 0 0 25 0 1 0 893314284 19652608 4121 4294967295 134512640 134716908 3221224592 3221222892 1074206265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4798 4121 1111 63 0 4735 0
vsize: 19192
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 157083 0 0 0 116611 424 0 0 25 0 1 0 893314284 24793088 4343 4294967295 134512640 134716908 3221224592 3221221512 1075964745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6053 4343 1111 63 0 5990 0
vsize: 24212
[startup+1175.38 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 14902
Raw data (stat): 14902 (bsolo_lpr-v2) R 14901 25568 25567 0 -1 0 157083 0 0 0 116611 424 0 0 25 0 1 0 893314284 24793088 4343 4294967295 134512640 134716908 3221224592 3221221512 1075964745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6053 4343 1111 63 0 5990 0
vsize: 0

Child status: 10
Real time (s): 1175.38
CPU time (s): 1175.73
CPU user time (s): 1171.45
CPU system time (s): 4.28035
CPU usage (%): 100.03
Max. virtual memory (Kb): 26008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	549
#### END VERIFIER DATA ####