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/ttp/normalized-circ8_3.opb
MD5SUM	2ea3853c4fb57dccc00d289069858df9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	172
Optimality of the best value was proved	NO
Number of terms in the objective function	448
Biggest coefficient in the objective function	4
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	1024
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	24
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	1024
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	1189.06
Number of variables	1344
Total number of constraints	16096
Number of constraints which are clauses	8208
Number of constraints which are cardinality constraints (but not clauses)	496
Number of constraints which are nor clauses,nor cardinality constraints	7392
Minimum length of a constraint	2
Maximum length of a constraint	28
Trace number 42165

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 00:58:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25357 boxname=wulflinc2 idbench=259 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2ea3853c4fb57dccc00d289069858df9  /oldhome/oroussel/tmp/wulflinc2/normalized-circ8_3.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-circ8_3.opb
IDLAUNCH: 25357
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        855624 kB
Buffers:         34120 kB
Cached:         119464 kB
SwapCached:       4448 kB
Active:          61908 kB
Inactive:        96788 kB
HighTotal:      131008 kB
HighFree:        23520 kB
LowTotal:       903652 kB
LowFree:        832104 kB
SwapTotal:     2097136 kB
SwapFree:      2091696 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14760 kB
Committed_AS:    71892 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 01:18:18 (client local time) WITH STATUS 10 IN 1200.66 SECONDS
stats: 25357 0 1200.66 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 200
c small objective detected
c CONFLICT during preprocess 
c [startup+14.9304 s]  setting bit 10 to 0
c CONFLICT during preprocess 
c [startup+15.4631 s]  setting bit 9 to 0
c CONFLICT during preprocess 
c [startup+15.9976 s]  setting bit 8 to 0

c Decision: 47235/143677	Time: 78.803/86400
c Decision: 47235/143677	Time: 88.7535/86400
c Decision: 47235/143677	Time: 99.3179/86400
c Decision: 47235/143677	Time: 110.421/86400
c Decision: 47235/143677	Time: 121.352/86400
c Decision: 47235/143677	Time: 131.764/86400
c Decision: 47235/143677	Time: 142.015/86400
c Decision: 47235/143677	Time: 151.623/86400
c Decision: 47235/143677	Time: 162.104/86400
c Decision: 47235/143677	Time: 173.419/86400
c Decision: 47235/143677	Time: 184.248/86400
c Decision: 47235/143677	Time: 193.964/86400
c Decision: 47235/143677	Time: 204.453/86400
c Decision: 47235/143677	Time: 216.362/86400
c Decision: 47235/143677	Time: 226.786/86400
c Decision: 47235/143677	Time: 238.069/86400
c Decision: 47235/143677	Time: 248.516/86400
c Decision: 47235/143677	Time: 258.62/86400
c Decision: 47235/143677	Time: 268.579/86400
c Decision: 47235/143677	Time: 279.31/86400
c Decision: 47235/143677	Time: 290.291/86400
c Decision: 47235/143677	Time: 300.448/86400
c Decision: 47235/143677	Time: 310.179/86400
c Decision: 47235/143677	Time: 320.779/86400
c Decision: 47235/143677	Time: 330.883/86400
c Decision: 47235/143677	Time: 341.664/86400
c Decision: 47235/143677	Time: 351.738/86400
c Decision: 47235/143677	Time: 362.559/86400
c Decision: 47235/143677	Time: 373.431/86400
c Decision: 47235/143677	Time: 383.346/86400
c Decision: 47235/143677	Time: 395.734/86400
c Decision: 47235/143677	Time: 406.576/86400
c Decision: 47235/143677	Time: 417.718/86400
c Decision: 47235/143677	Time: 429.32/86400
c Decision: 47235/143677	Time: 441.195/86400
c Decision: 47235/143677	Time: 452.205/86400
c Decision: 47235/143677	Time: 462.411/86400
c Decision: 47235/143677	Time: 472.625/86400
c Decision: 47235/143677	Time: 483.459/86400
c Decision: 47235/143677	Time: 494.444/86400
c Decision: 47235/143677	Time: 505.116/86400
c Decision: 47235/143677	Time: 516.417/86400
c Decision: 47235/143677	Time: 526.601/86400
c Decision: 47235/143677	Time: 538.027/86400
c Decision: 47235/143677	Time: 548.658/86400
c Decision: 47235/143677	Time: 561.615/86400
c Decision: 47235/143677	Time: 572.067/86400
c Decision: 47235/143677	Time: 582.926/86400
c Decision: 47235/143677	Time: 593.115/86400
c Decision: 47235/143677	Time: 604.042/86400
c Decision: 47235/143677	Time: 615.701/86400
c Decision: 47235/143677	Time: 625.864/86400
c Decision: 47235/143677	Time: 636.683/86400
c Decision: 47235/143677	Time: 649.281/86400
c Decision: 47235/143677	Time: 659.65/86400
c Decision: 47235/143677	Time: 671.341/86400
c Decision: 47235/143677	Time: 682.608/86400
c Decision: 47235/143677	Time: 693.147/86400
c Decision: 47235/143677	Time: 704.178/86400
c Decision: 47235/143677	Time: 714.897/86400
c Decision: 47235/143677	Time: 726.838/86400
c Decision: 47235/143677	Time: 738.033/86400
c Decision: 47235/143677	Time: 749.021/86400
c Decision: 47235/143677	Time: 761.717/86400
c Decision: 47235/143677	Time: 772.518/86400
c Decision: 47235/143677	Time: 784.743/86400
c Decision: 47235/143677	Time: 796.424/86400
c Decision: 47235/143677	Time: 808.495/86400
c Decision: 47235/143677	Time: 820.711/86400
c Decision: 47235/143677	Time: 831.804/86400
c Decision: 47235/143677	Time: 842.791/86400
c Decision: 47235/143677	Time: 853.712/86400
c Decision: 47235/143677	Time: 864.593/86400
c Decision: 47235/143677	Time: 875.571/86400
c Decision: 47235/143677	Time: 885.928/86400
c Decision: 47235/143677	Time: 897.337/86400
c Decision: 47235/143677	Time: 908.914/86400
c Decision: 47235/143677	Time: 919.609/86400
c Decision: 47235/143677	Time: 930.534/86400
c Decision: 47235/143677	Time: 941.885/86400
c Decision: 47235/143677	Time: 953.635/86400
c Decision: 47235/143677	Time: 965.447/86400
c Decision: 47235/143677	Time: 975.771/86400
c Decision: 47235/143677	Time: 987.04/86400
c Decision: 47235/143677	Time: 998.487/86400
c Decision: 47305/143677	Time: 1012.5/86400
c Decision: 47305/143677	Time: 1023.36/86400
c Decision: 47305/143677	Time: 1034.59/86400
c Decision: 47305/143677	Time: 1046.45/86400
c Decision: 47305/143677	Time: 1059.32/86400
c Decision: 47305/143677	Time: 1072.37/86400
c Decision: 47305/143677	Time: 1084.18/86400
c Decision: 47305/143677	Time: 1095.88/86400
c Decision: 47305/143677	Time: 1108.1/86400
c Decision: 47305/143677	Time: 1119.01/86400
c Decision: 47305/143677	Time: 1132.15/86400
c Decision: 47305/143677	Time: 1142.65/86400
c Decision: 47305/143677	Time: 1153.23/86400
c Decision: 47305/143677	Time: 1164.86/86400
c Decision: 47305/143677	Time: 1175.15/86400s SATISFIABLE
v v1 v10 v100 -v1000 -v1001 -v1002 -v1003 v1004 -v1005 -v1006 -v1007 -v1008 -v1009 -v101 v1010 -v1011 -v1012 -v1013 -v1014 -v1015 -v1016 v1017 -v1018 -v1019 -v102 -v1020 -v1021 -v1022 -v1023 v1024 v1025 v1026 v1027 -v1028 v1029 -v103 -v1030 -v1031 v1032 -v1033 -v1034 -v1035 -v1036 v1037 -v1038 -v1039 -v104 -v1040 -v1041 -v1042 -v1043 -v1044 -v1045 -v1046 -v1047 -v1048 v1049 -v105 -v1050 -v1051 -v1052 v1053 -v1054 -v1055 -v1056 -v1057 -v1058 -v1059 v106 v1060 -v1061 -v1062 -v1063 -v1064 -v1065 -v1066 v1067 -v1068 -v1069 -v107 -v1070 -v1071 -v1072 -v1073 v1074 -v1075 -v1076 -v1077 -v1078 -v1079 -v108 -v1080 v1081 -v1082 -v1083 -v1084 -v1085 -v1086 v1087 v1088 -v1089 -v109 v1090 v1091 v1092 v1093 -v1094 -v1095 -v1096 -v1097 -v1098 -v1099 -v11 -v110 -v1100 -v1101 -v1102 -v1103 v1104 -v1105 -v1106 -v1107 -v1108 -v1109 -v111 v1110 -v1111 -v1112 -v1113 -v1114 -v1115 -v1116 v1117 -v1118 -v1119 -v112 -v1120 -v1121 -v1122 -v1123 v1124 -v1125 -v1126 -v1127 v1128 -v1129 -v113 -v1130 -v1131 -v1132 -v1133 -v1134 -v1135 -v1136 -v1137 v1138 -v1139 -v114 -v1140 -v1141 -v1142 -v1143 -v1144 v1145 -v1146 -v1147 -v1148 -v1149 v115 v1150 -v1151 v1152 v1153 v1154 v1155 -v1156 -v1157 -v1158 -v1159 -v116 v1160 -v1161 -v1162 -v1163 -v1164 v1165 -v1166 -v1167 -v1168 -v1169 -v117 -v1170 -v1171 -v1172 -v1173 v1174 -v1175 -v1176 v1177 -v1178 -v1179 -v118 -v1180 -v1181 -v1182 -v1183 -v1184 v1185 -v1186 -v1187 -v1188 -v1189 -v119 -v1190 -v1191 -v1192 -v1193 -v1194 v1195 -v1196 -v1197 -v1198 -v1199 -v12 -v120 -v1200 -v1201 v1202 -v1203 -v1204 -v1205 -v1206 -v1207 -v1208 v1209 -v121 -v1210 -v1211 v1212 -v1213 -v1214 -v1215 v1216 v1217 -v1218 -v1219 -v122 -v1220 -v1221 -v1222 -v1223 -v1224 v1225 -v1226 -v1227 -v1228 v1229 -v123 -v1230 -v1231 -v1232 -v1233 -v1234 -v1235 -v1236 -v1237 v1238 -v1239 -v124 -v1240 -v1241 -v1242 -v1243 -v1244 v1245 -v1246 v1247 -v1248 -v1249 -v125 -v1250 -v1251 -v1252 -v1253 -v1254 -v1255 -v1256 -v1257 -v1258 v1259 -v126 -v1260 -v1261 -v1262 v1263 -v1264 -v1265 -v1266 -v1267 -v1268 -v1269 -v127 -v1270 v1271 -v1272 -v1273 -v1274 -v1275 v1276 -v1277 -v1278 v1279 v128 v1280 v1281 -v1282 -v1283 -v1284 -v1285 -v1286 -v1287 v1288 -v1289 v129 v1290 -v1291 -v1292 -v1293 -v1294 -v1295 -v1296 -v1297 -v1298 -v1299 -v13 -v130 -v1300 -v1301 v1302 -v1303 -v1304 v1305 -v1306 -v1307 -v1308 -v1309 -v131 -v1310 -v1311 -v1312 -v1313 -v1314 -v1315 v1316 -v1317 -v1318 -v1319 -v132 -v1320 -v1321 -v1322 v1323 -v1324 -v1325 -v1326 -v1327 -v1328 -v1329 -v133 v1330 -v1331 -v1332 -v1333 -v1334 -v1335 v1336 -v1337 v1338 v1339 -v134 -v1340 -v1341 v1342 -v1343 v1344 -v135 -v136 -v137 v138 -v139 -v14 -v140 -v141 -v142 -v143 -v144 -v145 -v146 v147 -v148 -v149 -v15 -v150 -v151 -v152 -v153 v154 -v155 -v156 -v157 -v158 -v159 -v16 -v160 -v161 -v162 -v163 -v164 v165 -v166 -v167 -v168 -v169 -v17 -v170 v171 -v172 -v173 -v174 -v175 -v176 v177 -v178 -v179 v18 -v180 -v181 -v182 -v183 -v184 -v185 -v186 -v187 -v188 v189 -v19 -v190 -v191 -v192 -v193 -v194 -v195 v196 -v197 -v198 -v199 -v2 -v20 -v200 -v201 -v202 -v203 -v204 -v205 -v206 v207 -v208 -v209 -v21 -v210 -v211 -v212 -v213 -v214 -v215 v216 -v217 -v218 -v219 -v22 v220 -v221 -v222 -v223 -v224 -v225 -v226 -v227 -v228 -v229 -v23 v230 -v231 -v232 -v233 -v234 -v235 -v236 -v237 v238 -v239 -v24 -v240 -v241 -v242 -v243 -v244 -v245 -v246 v247 -v248 -v249 -v25 -v250 -v251 -v252 -v253 -v254 -v255 v256 v257 -v258 -v259 -v26 -v260 -v261 -v262 -v263 -v264 -v265 -v266 -v267 -v268 v269 -v27 -v270 -v271 -v272 -v273 -v274 v275 -v276 -v277 -v278 -v279 -v28 -v280 -v281 -v282 v283 -v284 -v285 -v286 -v287 -v288 -v289 -v29 -v290 -v291 -v292 v293 -v294 -v295 -v296 -v297 -v298 -v299 -v3 -v30 -v300 -v301 v302 -v303 -v304 -v305 -v306 -v307 -v308 -v309 -v31 v310 -v311 -v312 v313 -v314 -v315 -v316 -v317 -v318 -v319 v32 -v320 -v321 v322 -v323 -v324 -v325 -v326 -v327 -v328 -v329 -v33 v330 -v331 -v332 -v333 -v334 -v335 -v336 -v337 -v338 v339 -v34 -v340 -v341 -v342 -v343 -v344 -v345 -v346 -v347 v348 -v349 -v35 -v350 -v351 -v352 -v353 -v354 -v355 -v356 v357 -v358 -v359 -v36 -v360 -v361 -v362 -v363 -v364 v365 -v366 -v367 -v368 -v369 v37 -v370 -v371 v372 -v373 -v374 -v375 -v376 -v377 -v378 v379 -v38 -v380 -v381 -v382 -v383 -v384 -v385 -v386 -v387 -v388 -v389 -v39 -v390 v391 -v392 -v393 v394 -v395 -v396 -v397 -v398 -v399 -v4 -v40 -v400 -v401 -v402 -v403 -v404 -v405 v406 -v407 -v408 -v409 v41 -v410 -v411 v412 -v413 -v414 -v415 -v416 -v417 v418 -v419 -v42 -v420 -v421 -v422 -v423 -v424 -v425 -v426 -v427 -v428 -v429 -v43 v430 -v431 -v432 -v433 -v434 -v435 -v436 -v437 -v438 v439 -v44 -v440 -v441 -v442 -v443 v444 -v445 -v446 -v447 -v448 v449 -v45 -v450 -v451 -v452 -v453 -v454 -v455 -v456 -v457 -v458 -v459 -v46 -v460 -v461 -v462 -v463 v464 -v465 -v466 -v467 -v468 -v469 -v47 -v470 v471 -v472 -v473 -v474 -v475 -v476 -v477 v478 -v479 -v48 -v480 v481 -v482 -v483 -v484 -v485 -v486 -v487 -v488 -v489 -v49 -v490 -v491 -v492 -v493 v494 -v495 -v496 -v497 -v498 -v499 -v5 -v50 -v500 -v501 -v502 v503 -v504 -v505 -v506 -v507 -v508 -v509 -v51 -v510 -v511 v512 -v513 -v514 -v515 -v516 -v517 v518 -v519 -v52 -v520 -v521 -v522 v523 -v524 -v525 -v526 -v527 -v528 -v529 v53 -v530 v531 -v532 -v533 -v534 -v535 -v536 -v537 -v538 -v539 -v54 -v540 v541 -v542 -v543 -v544 -v545 -v546 -v547 -v548 v549 -v55 -v550 -v551 -v552 -v553 -v554 -v555 -v556 -v557 v558 -v559 -v56 -v560 -v561 -v562 -v563 -v564 -v565 -v566 -v567 v568 -v569 -v57 -v570 -v571 -v572 -v573 -v574 -v575 v576 v577 -v578 -v579 -v58 -v580 -v581 -v582 -v583 -v584 -v585 v586 -v587 -v588 -v589 -v59 -v590 -v591 -v592 -v593 -v594 -v595 -v596 v597 -v598 -v599 -v6 -v60 -v600 v601 -v602 -v603 -v604 -v605 -v606 -v607 -v608 -v609 -v61 -v610 -v611 -v612 v613 -v614 -v615 -v616 -v617 -v618 -v619 -v62 -v620 -v621 -v622 v623 -v624 -v625 -v626 -v627 -v628 -v629 -v63 -v630 v631 -v632 -v633 v634 -v635 -v636 -v637 -v638 -v639 v64 -v640 v641 -v642 -v643 -v644 -v645 -v646 -v647 -v648 -v649 -v65 -v650 -v651 v652 -v653 -v654 -v655 -v656 v657 -v658 -v659 -v66 -v660 -v661 -v662 -v663 -v664 -v665 -v666 -v667 v668 -v669 -v67 -v670 -v671 -v672 -v673 -v674 -v675 -v676 -v677 -v678 v679 -v68 -v680 -v681 -v682 -v683 -v684 -v685 -v686 -v687 v688 -v689 -v69 -v690 -v691 -v692 -v693 -v694 v695 -v696 -v697 -v698 -v699 -v7 -v70 -v700 -v701 -v702 -v703 v704 v705 -v706 -v707 -v708 -v709 -v71 -v710 -v711 -v712 v713 -v714 -v715 -v716 -v717 -v718 -v719 v72 -v720 -v721 -v722 v723 -v724 -v725 -v726 -v727 -v728 -v729 -v73 -v730 -v731 v732 -v733 -v734 -v735 -v736 -v737 -v738 v739 v74 -v740 -v741 -v742 -v743 -v744 -v745 -v746 -v747 v748 -v749 -v75 -v750 -v751 -v752 -v753 -v754 -v755 -v756 -v757 -v758 v759 -v76 -v760 -v761 -v762 -v763 -v764 -v765 -v766 v767 -v768 -v769 -v77 -v770 -v771 -v772 v773 -v774 -v775 -v776 -v777 v778 -v779 -v78 -v780 -v781 -v782 -v783 -v784 -v785 -v786 -v787 v788 -v789 -v79 -v790 -v791 -v792 -v793 -v794 -v795 v796 -v797 -v798 -v799 -v8 -v80 -v800 -v801 -v802 -v803 -v804 v805 -v806 -v807 -v808 -v809 -v81 -v810 -v811 -v812 -v813 v814 -v815 -v816 -v817 v818 -v819 -v82 -v820 -v821 -v822 -v823 -v824 -v825 -v826 -v827 -v828 -v829 v83 v830 -v831 -v832 -v833 -v834 v835 -v836 -v837 -v838 -v839 -v84 -v840 -v841 -v842 -v843 -v844 -v845 v846 -v847 -v848 -v849 -v85 -v850 v851 -v852 -v853 -v854 -v855 -v856 -v857 -v858 -v859 -v86 -v860 -v861 -v862 v863 -v864 -v865 -v866 -v867 -v868 -v869 -v87 -v870 -v871 v872 -v873 -v874 -v875 -v876 -v877 v878 -v879 -v88 -v880 -v881 -v882 -v883 -v884 -v885 -v886 v887 -v888 -v889 -v89 -v890 -v891 -v892 -v893 -v894 -v895 v896 v897 -v898 v899 -v9 -v90 v900 v901 -v902 v903 -v904 -v905 -v906 -v907 -v908 v909 -v91 -v910 v911 -v912 -v913 -v914 -v915 -v916 -v917 v918 -v919 v92 -v920 -v921 -v922 -v923 -v924 -v925 -v926 v927 -v928 -v929 -v93 -v930 -v931 v932 -v933 -v934 -v935 -v936 -v937 -v938 v939 -v94 -v940 -v941 -v942 -v943 -v944 -v945 v946 -v947 -v948 -v949 -v95 -v950 -v951 -v952 v953 -v954 -v955 -v956 -v957 -v958 -v959 -v96 -v960 -v961 v962 -v963 v964 v965 v966 -v967 v968 -v969 -v97 -v970 -v971 -v972 -v973 v974 -v975 -v976 -v977 -v978 -v979 -v98 -v980 -v981 v982 -v983 -v984 -v985 -v986 -v987 -v988 v989 -v99 -v990 -v991 -v992 -v993 -v994 -v995 -v996 -v997 -v998 v999 
#### 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.93 2/54 1829
Raw data (stat): 1829 (runsolver) R 1828 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966626951 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 1829
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 10139 0 0 0 975 24 0 0 25 0 1 0 966626951 30097408 6118 4294967295 134512640 135730672 3221224592 3221223088 134747555 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7348 6118 301 301 0 7047 0
vsize: 29392
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 1829
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 21634 0 0 0 1947 51 0 0 25 0 1 0 966626951 62083072 12426 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15157 12426 301 301 0 14856 0
vsize: 60628
[startup+30.001 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 1829
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 21681 0 0 0 2946 52 0 0 25 0 1 0 966626951 62083072 12473 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15157 12473 301 301 0 14856 0
vsize: 60628
[startup+40.002 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 1829
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 21735 0 0 0 3946 52 0 0 25 0 1 0 966626951 62083072 12527 4294967295 134512640 135730672 3221224592 3221222976 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15157 12527 301 301 0 14856 0
vsize: 60628
[startup+50.0027 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 1829
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 21786 0 0 0 4946 53 0 0 25 0 1 0 966626951 62083072 12578 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15157 12578 301 301 0 14856 0
vsize: 60628
[startup+60.0021 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 1829
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 21827 0 0 0 5945 53 0 0 25 0 1 0 966626951 62083072 12619 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15157 12619 301 301 0 14856 0
vsize: 60628
[startup+70.0031 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 1829
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 21875 0 0 0 6945 54 0 0 25 0 1 0 966626951 62226432 12667 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15192 12667 301 301 0 14891 0
vsize: 60768
[startup+80.0039 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 1829
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 21974 0 0 0 7945 54 0 0 25 0 1 0 966626951 62586880 12766 4294967295 134512640 135730672 3221224592 3221222976 134763635 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15280 12766 301 301 0 14979 0
vsize: 61120
[startup+90.0042 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 1829
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 22058 0 0 0 8944 55 0 0 25 0 1 0 966626951 62750720 12850 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15320 12850 301 301 0 15019 0
vsize: 61280
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 1829
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 22363 0 0 0 9942 57 0 0 25 0 1 0 966626951 62947328 12874 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15368 12874 301 301 0 15067 0
vsize: 61472
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.93 2/58 1872
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 22678 0 0 0 10939 59 0 0 25 0 1 0 966626951 63143936 12908 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15416 12908 301 301 0 15115 0
vsize: 61664
[startup+120.005 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 1882
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 22975 0 0 0 11939 59 0 0 25 0 1 0 966626951 63143936 12924 4294967295 134512640 135730672 3221224592 3221222976 134763622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15416 12924 301 301 0 15115 0
vsize: 61664
[startup+130.005 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 1882
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 23270 0 0 0 12938 61 0 0 25 0 1 0 966626951 63143936 12938 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15416 12938 301 301 0 15115 0
vsize: 61664
[startup+140.006 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 1882
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 23570 0 0 0 13937 62 0 0 25 0 1 0 966626951 63340544 12957 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15464 12957 301 301 0 15163 0
vsize: 61856
[startup+150.007 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 1882
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 23891 0 0 0 14936 63 0 0 25 0 1 0 966626951 63537152 12997 4294967295 134512640 135730672 3221224592 3221222704 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15512 12997 301 301 0 15211 0
vsize: 62048
[startup+160.007 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 1882
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 24203 0 0 0 15935 64 0 0 25 0 1 0 966626951 63733760 13028 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15560 13028 301 301 0 15259 0
vsize: 62240
[startup+170.007 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 1882
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 24501 0 0 0 16934 65 0 0 25 0 1 0 966626951 63733760 13045 4294967295 134512640 135730672 3221224592 3221222880 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15560 13045 301 301 0 15259 0
vsize: 62240
[startup+180.006 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 1882
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 24807 0 0 0 17932 66 0 0 25 0 1 0 966626951 63930368 13070 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15608 13070 301 301 0 15307 0
vsize: 62432
[startup+190.008 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 25109 0 0 0 18932 68 0 0 25 0 1 0 966626951 63930368 13091 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15608 13091 301 301 0 15307 0
vsize: 62432
[startup+200.008 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 25426 0 0 0 19931 69 0 0 25 0 1 0 966626951 63930368 13127 4294967295 134512640 135730672 3221224592 3221223008 134783330 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15608 13127 301 301 0 15307 0
vsize: 62432
[startup+210.008 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 25711 0 0 0 20930 70 0 0 25 0 1 0 966626951 63930368 13131 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15608 13131 301 301 0 15307 0
vsize: 62432
[startup+220.009 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 25715 0 0 0 21930 70 0 0 25 0 1 0 966626951 63930368 13135 4294967295 134512640 135730672 3221224592 3221222896 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15608 13135 301 301 0 15307 0
vsize: 62432
[startup+230.008 s]
Raw data (loadavg): 1.01 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 26045 0 0 0 22929 71 0 0 25 0 1 0 966626951 72515584 13184 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17704 13184 301 301 0 17403 0
vsize: 70816
[startup+240.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 26371 0 0 0 23928 72 0 0 25 0 1 0 966626951 72515584 13229 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17704 13229 301 301 0 17403 0
vsize: 70816
[startup+250.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 26687 0 0 0 24927 73 0 0 25 0 1 0 966626951 72515584 13264 4294967295 134512640 135730672 3221224592 3221223028 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17704 13264 301 301 0 17403 0
vsize: 70816
[startup+260.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 26981 0 0 0 25926 74 0 0 25 0 1 0 966626951 72515584 13277 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17704 13277 301 301 0 17403 0
vsize: 70816
[startup+270.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 27266 0 0 0 26925 76 0 0 25 0 1 0 966626951 72515584 13281 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17704 13281 301 301 0 17403 0
vsize: 70816
[startup+280.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 27551 0 0 0 27924 76 0 0 25 0 1 0 966626951 72515584 13285 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17704 13285 301 301 0 17403 0
vsize: 70816
[startup+290.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 27836 0 0 0 28924 77 0 0 25 0 1 0 966626951 72515584 13289 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17704 13289 301 301 0 17403 0
vsize: 70816
[startup+300.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 31209 0 0 0 29916 85 0 0 25 0 1 0 966626951 85098496 13308 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20776 13308 301 301 0 20475 0
vsize: 83104
[startup+310.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 31509 0 0 0 30915 86 0 0 25 0 1 0 966626951 85098496 13327 4294967295 134512640 135730672 3221224592 3221223040 134734837 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20776 13327 301 301 0 20475 0
vsize: 83104
[startup+320.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 31794 0 0 0 31914 87 0 0 25 0 1 0 966626951 85098496 13331 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20776 13331 301 301 0 20475 0
vsize: 83104
[startup+330.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 32079 0 0 0 32914 88 0 0 25 0 1 0 966626951 85098496 13335 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20776 13335 301 301 0 20475 0
vsize: 83104
[startup+340.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 32381 0 0 0 33912 90 0 0 25 0 1 0 966626951 85098496 13356 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20776 13356 301 301 0 20475 0
vsize: 83104
[startup+350.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 32682 0 0 0 34912 90 0 0 25 0 1 0 966626951 85098496 13376 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20776 13376 301 301 0 20475 0
vsize: 83104
[startup+360.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 32990 0 0 0 35911 91 0 0 25 0 1 0 966626951 85098496 13403 4294967295 134512640 135730672 3221224592 3221222880 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20776 13403 301 301 0 20475 0
vsize: 83104
[startup+370.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 33284 0 0 0 36909 93 0 0 25 0 1 0 966626951 85295104 13416 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13416 301 301 0 20523 0
vsize: 83296
[startup+380.008 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 33569 0 0 0 37909 93 0 0 25 0 1 0 966626951 85295104 13420 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13420 301 301 0 20523 0
vsize: 83296
[startup+390.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 33864 0 0 0 38908 94 0 0 25 0 1 0 966626951 85295104 13434 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13434 301 301 0 20523 0
vsize: 83296
[startup+400.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 34159 0 0 0 39908 95 0 0 25 0 1 0 966626951 85295104 13448 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13448 301 301 0 20523 0
vsize: 83296
[startup+410.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 34189 0 0 0 40907 96 0 0 25 0 1 0 966626951 85295104 13478 4294967295 134512640 135730672 3221224592 3221222880 134747590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13478 301 301 0 20523 0
vsize: 83296
[startup+420.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 34486 0 0 0 41906 97 0 0 25 0 1 0 966626951 85295104 13494 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13494 301 301 0 20523 0
vsize: 83296
[startup+430.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 34771 0 0 0 42905 99 0 0 25 0 1 0 966626951 85295104 13498 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13498 301 301 0 20523 0
vsize: 83296
[startup+440.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 35056 0 0 0 43903 100 0 0 25 0 1 0 966626951 85295104 13502 4294967295 134512640 135730672 3221224592 3221222880 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13502 301 301 0 20523 0
vsize: 83296
[startup+450.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 35350 0 0 0 44902 101 0 0 25 0 1 0 966626951 85295104 13515 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13515 301 301 0 20523 0
vsize: 83296
[startup+460.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 35671 0 0 0 45901 103 0 0 25 0 1 0 966626951 85295104 13555 4294967295 134512640 135730672 3221224592 3221222880 134747627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13555 301 301 0 20523 0
vsize: 83296
[startup+470.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1884
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 35981 0 0 0 46900 104 0 0 25 0 1 0 966626951 85295104 13584 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13584 301 301 0 20523 0
vsize: 83296
[startup+480.009 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 36266 0 0 0 47899 105 0 0 25 0 1 0 966626951 85295104 13588 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13588 301 301 0 20523 0
vsize: 83296
[startup+490.01 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 36551 0 0 0 48898 106 0 0 25 0 1 0 966626951 85295104 13592 4294967295 134512640 135730672 3221224592 3221222704 134732804 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13592 301 301 0 20523 0
vsize: 83296
[startup+500.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 36836 0 0 0 49898 107 0 0 25 0 1 0 966626951 85295104 13596 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13596 301 301 0 20523 0
vsize: 83296
[startup+510.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 36840 0 0 0 50898 107 0 0 25 0 1 0 966626951 85295104 13600 4294967295 134512640 135730672 3221224592 3221222896 134745856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13600 301 301 0 20523 0
vsize: 83296
[startup+520.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 37161 0 0 0 51897 108 0 0 25 0 1 0 966626951 85295104 13640 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13640 301 301 0 20523 0
vsize: 83296
[startup+530.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 37446 0 0 0 52896 109 0 0 25 0 1 0 966626951 85295104 13644 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13644 301 301 0 20523 0
vsize: 83296
[startup+540.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 37731 0 0 0 53895 110 0 0 25 0 1 0 966626951 85295104 13648 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20824 13648 301 301 0 20523 0
vsize: 83296
[startup+550.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 38057 0 0 0 54894 111 0 0 25 0 1 0 966626951 85491712 13693 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20872 13693 301 301 0 20571 0
vsize: 83488
[startup+560.011 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 38381 0 0 0 55893 113 0 0 25 0 1 0 966626951 85688320 13736 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20920 13736 301 301 0 20619 0
vsize: 83680
[startup+570.012 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 38722 0 0 0 56891 114 0 0 25 0 1 0 966626951 85688320 13796 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20920 13796 301 301 0 20619 0
vsize: 83680
[startup+580.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 39030 0 0 0 57891 115 0 0 25 0 1 0 966626951 85688320 13823 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20920 13823 301 301 0 20619 0
vsize: 83680
[startup+590.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 39329 0 0 0 58890 116 0 0 25 0 1 0 966626951 85884928 13841 4294967295 134512640 135730672 3221224592 3221223008 134748143 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20968 13841 301 301 0 20667 0
vsize: 83872
[startup+600.013 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 39614 0 0 0 59889 117 0 0 25 0 1 0 966626951 85884928 13845 4294967295 134512640 135730672 3221224592 3221222880 134747947 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20968 13845 301 301 0 20667 0
vsize: 83872
[startup+610.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 39911 0 0 0 60889 118 0 0 25 0 1 0 966626951 85884928 13861 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20968 13861 301 301 0 20667 0
vsize: 83872
[startup+620.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 40207 0 0 0 61888 119 0 0 25 0 1 0 966626951 85884928 13876 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20968 13876 301 301 0 20667 0
vsize: 83872
[startup+630.014 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 40250 0 0 0 62888 119 0 0 25 0 1 0 966626951 85884928 13919 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20968 13919 301 301 0 20667 0
vsize: 83872
[startup+640.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 40536 0 0 0 63887 120 0 0 25 0 1 0 966626951 85884928 13924 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20968 13924 301 301 0 20667 0
vsize: 83872
[startup+650.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 40821 0 0 0 64886 122 0 0 25 0 1 0 966626951 85884928 13928 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20968 13928 301 301 0 20667 0
vsize: 83872
[startup+660.015 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 41105 0 0 0 65885 123 0 0 25 0 1 0 966626951 85884928 13931 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20968 13931 301 301 0 20667 0
vsize: 83872
[startup+670.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 41401 0 0 0 66884 124 0 0 25 0 1 0 966626951 85884928 13946 4294967295 134512640 135730672 3221224592 3221222880 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20968 13946 301 301 0 20667 0
vsize: 83872
[startup+680.016 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 41700 0 0 0 67883 125 0 0 25 0 1 0 966626951 86007808 13964 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20998 13964 301 301 0 20697 0
vsize: 83992
[startup+690.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 42012 0 0 0 68882 126 0 0 25 0 1 0 966626951 86007808 13995 4294967295 134512640 135730672 3221224592 3221222720 134767147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20998 13995 301 301 0 20697 0
vsize: 83992
[startup+700.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 42301 0 0 0 69882 127 0 0 25 0 1 0 966626951 86007808 14003 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20998 14003 301 301 0 20697 0
vsize: 83992
[startup+710.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 42600 0 0 0 70881 128 0 0 25 0 1 0 966626951 86007808 14021 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20998 14021 301 301 0 20697 0
vsize: 83992
[startup+720.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 42888 0 0 0 71880 129 0 0 25 0 1 0 966626951 87293952 14309 4294967295 134512640 135730672 3221224592 3221222520 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21312 14309 301 301 0 21011 0
vsize: 85248
[startup+730.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 42945 0 0 0 72880 129 0 0 25 0 1 0 966626951 86286336 14085 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21066 14085 301 301 0 20765 0
vsize: 84264
[startup+740.017 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 43263 0 0 0 73879 130 0 0 25 0 1 0 966626951 86286336 14122 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21066 14122 301 301 0 20765 0
vsize: 84264
[startup+750.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 43554 0 0 0 74878 132 0 0 25 0 1 0 966626951 86286336 14132 4294967295 134512640 135730672 3221224592 3221222880 134747539 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21066 14132 301 301 0 20765 0
vsize: 84264
[startup+760.018 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 43839 0 0 0 75877 133 0 0 25 0 1 0 966626951 86286336 14136 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21066 14136 301 301 0 20765 0
vsize: 84264
[startup+770.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 44124 0 0 0 76876 134 0 0 25 0 1 0 966626951 86286336 14140 4294967295 134512640 135730672 3221224592 3221223008 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21066 14140 301 301 0 20765 0
vsize: 84264
[startup+780.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 44435 0 0 0 77876 134 0 0 25 0 1 0 966626951 86417408 14170 4294967295 134512640 135730672 3221224592 3221222880 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21098 14170 301 301 0 20797 0
vsize: 84392
[startup+790.019 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 44720 0 0 0 78875 135 0 0 25 0 1 0 966626951 86417408 14174 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21098 14174 301 301 0 20797 0
vsize: 84392
[startup+800.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 45017 0 0 0 79874 137 0 0 25 0 1 0 966626951 87703552 14471 4294967295 134512640 135730672 3221224592 3221222520 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21412 14471 301 301 0 21111 0
vsize: 85648
[startup+810.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 45035 0 0 0 80874 137 0 0 25 0 1 0 966626951 86552576 14208 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21131 14208 301 301 0 20830 0
vsize: 84524
[startup+820.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 45325 0 0 0 81873 138 0 0 25 0 1 0 966626951 86552576 14217 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21131 14217 301 301 0 20830 0
vsize: 84524
[startup+830.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 45615 0 0 0 82872 139 0 0 25 0 1 0 966626951 86552576 14226 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21131 14226 301 301 0 20830 0
vsize: 84524
[startup+840.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 45903 0 0 0 83871 140 0 0 25 0 1 0 966626951 86687744 14233 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21164 14233 301 301 0 20863 0
vsize: 84656
[startup+850.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 46209 0 0 0 84870 141 0 0 25 0 1 0 966626951 86687744 14258 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21164 14258 301 301 0 20863 0
vsize: 84656
[startup+860.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 46530 0 0 0 85869 143 0 0 25 0 1 0 966626951 86687744 14298 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21164 14298 301 301 0 20863 0
vsize: 84656
[startup+870.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 46819 0 0 0 86868 144 0 0 25 0 1 0 966626951 86687744 14306 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21164 14306 301 301 0 20863 0
vsize: 84656
[startup+880.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 46828 0 0 0 87868 144 0 0 25 0 1 0 966626951 86687744 14315 4294967295 134512640 135730672 3221224592 3221222896 134746501 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21164 14315 301 301 0 20863 0
vsize: 84656
[startup+890.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 47119 0 0 0 88867 145 0 0 25 0 1 0 966626951 86687744 14325 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21164 14325 301 301 0 20863 0
vsize: 84656
[startup+900.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 47410 0 0 0 89866 146 0 0 25 0 1 0 966626951 86822912 14335 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21197 14335 301 301 0 20896 0
vsize: 84788
[startup+910.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 47702 0 0 0 90866 147 0 0 25 0 1 0 966626951 86822912 14346 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21197 14346 301 301 0 20896 0
vsize: 84788
[startup+920.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 47995 0 0 0 91865 148 0 0 25 0 1 0 966626951 86822912 14358 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21197 14358 301 301 0 20896 0
vsize: 84788
[startup+930.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 48284 0 0 0 92864 149 0 0 25 0 1 0 966626951 86822912 14366 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21197 14366 301 301 0 20896 0
vsize: 84788
[startup+940.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 48579 0 0 0 93864 150 0 0 25 0 1 0 966626951 86958080 14380 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21230 14380 301 301 0 20929 0
vsize: 84920
[startup+950.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 48872 0 0 0 94863 151 0 0 25 0 1 0 966626951 86958080 14392 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21230 14392 301 301 0 20929 0
vsize: 84920
[startup+960.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 49193 0 0 0 95862 152 0 0 25 0 1 0 966626951 86958080 14432 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21230 14432 301 301 0 20929 0
vsize: 84920
[startup+970.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 49522 0 0 0 96861 153 0 0 25 0 1 0 966626951 86958080 14480 4294967295 134512640 135730672 3221224592 3221223040 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21230 14480 301 301 0 20929 0
vsize: 84920
[startup+980.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 49533 0 0 0 97861 153 0 0 25 0 1 0 966626951 86958080 14491 4294967295 134512640 135730672 3221224592 3221223040 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21230 14491 301 301 0 20929 0
vsize: 84920
[startup+990.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 49826 0 0 0 98860 154 0 0 25 0 1 0 966626951 87089152 14503 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21262 14503 301 301 0 20961 0
vsize: 85048
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 50116 0 0 0 99859 155 0 0 25 0 1 0 966626951 87089152 14512 4294967295 134512640 135730672 3221224592 3221223072 134748464 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21262 14512 301 301 0 20961 0
vsize: 85048
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 50445 0 0 0 100858 156 0 0 25 0 1 0 966626951 87089152 14560 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21262 14560 301 301 0 20961 0
vsize: 85048
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 50766 0 0 0 101857 157 0 0 25 0 1 0 966626951 87089152 14600 4294967295 134512640 135730672 3221224592 3221222880 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21262 14600 301 301 0 20961 0
vsize: 85048
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 51085 0 0 0 102856 158 0 0 25 0 1 0 966626951 87228416 14638 4294967295 134512640 135730672 3221224592 3221223008 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21296 14638 301 301 0 20995 0
vsize: 85184
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 51378 0 0 0 103854 159 0 0 25 0 1 0 966626951 87228416 14650 4294967295 134512640 135730672 3221224592 3221222768 134761283 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21296 14650 301 301 0 20995 0
vsize: 85184
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 51390 0 0 0 104854 160 0 0 25 0 1 0 966626951 87228416 14662 4294967295 134512640 135730672 3221224592 3221222896 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21296 14662 301 301 0 20995 0
vsize: 85184
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 51682 0 0 0 105853 161 0 0 25 0 1 0 966626951 87228416 14673 4294967295 134512640 135730672 3221224592 3221222880 134747558 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21296 14673 301 301 0 20995 0
vsize: 85184
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 51981 0 0 0 106851 162 0 0 25 0 1 0 966626951 87363584 14691 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21329 14691 301 301 0 21028 0
vsize: 85316
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 52297 0 0 0 107850 163 0 0 25 0 1 0 966626951 87363584 14726 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21329 14726 301 301 0 21028 0
vsize: 85316
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 52614 0 0 0 108849 164 0 0 25 0 1 0 966626951 87363584 14762 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21329 14762 301 301 0 21028 0
vsize: 85316
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 52904 0 0 0 109848 165 0 0 25 0 1 0 966626951 87363584 14771 4294967295 134512640 135730672 3221224592 3221222800 134741733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21329 14771 301 301 0 21028 0
vsize: 85316
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 52916 0 0 0 110848 166 0 0 25 0 1 0 966626951 87363584 14783 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21329 14783 301 301 0 21028 0
vsize: 85316
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 53211 0 0 0 111847 167 0 0 25 0 1 0 966626951 87543808 14797 4294967295 134512640 135730672 3221224592 3221222640 134767094 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21373 14797 301 301 0 21072 0
vsize: 85492
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 53518 0 0 0 112846 168 0 0 25 0 1 0 966626951 87695360 14823 4294967295 134512640 135730672 3221224592 3221222880 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21410 14823 301 301 0 21109 0
vsize: 85640
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 53840 0 0 0 113846 169 0 0 25 0 1 0 966626951 87695360 14864 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21410 14864 301 301 0 21109 0
vsize: 85640
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 54150 0 0 0 114845 170 0 0 25 0 1 0 966626951 87695360 14893 4294967295 134512640 135730672 3221224592 3221223028 134748260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21410 14893 301 301 0 21109 0
vsize: 85640
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 54441 0 0 0 115844 171 0 0 25 0 1 0 966626951 87695360 14903 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21410 14903 301 301 0 21109 0
vsize: 85640
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 54734 0 0 0 116843 172 0 0 25 0 1 0 966626951 87695360 14915 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21410 14915 301 301 0 21109 0
vsize: 85640
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 54742 0 0 0 117842 173 0 0 25 0 1 0 966626951 87695360 14923 4294967295 134512640 135730672 3221224592 3221222720 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21410 14923 301 301 0 21109 0
vsize: 85640
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 55039 0 0 0 118841 174 0 0 25 0 1 0 966626951 87830528 14939 4294967295 134512640 135730672 3221224592 3221223008 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21443 14939 301 301 0 21142 0
vsize: 85772
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/54 1886
Raw data (stat): 1829 (pb2sat-v2) R 1828 31399 31398 0 -1 0 55328 0 0 0 119840 175 0 0 25 0 1 0 966626951 87830528 14947 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21443 14947 301 301 0 21142 0
vsize: 85772
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.53 s]
Raw data (loadavg): 1.00 0.99 0.93 1/54 1886
Raw data (stat): 1829 (pb2sat-v2) Z 1828 31399 31398 0 -1 12 55330 0 0 0 119887 178 0 0 25 0 1 0 966626951 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 10
Real time (s): 1200.53
CPU time (s): 1200.66
CPU user time (s): 1198.88
CPU system time (s): 1.78773
CPU usage (%): 100.011
Max. virtual memory (Kb): 85772
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	200
#### END VERIFIER DATA ####