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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. 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.
  4. 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

Namesubmitted/manquinho/ttp/normalized-circ8_3.opb
MD5SUM2ea3853c4fb57dccc00d289069858df9
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 170
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 numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.08
Number of variables1344
Total number of constraints16096
Number of constraints which are clauses8208
Number of constraints which are cardinality constraints (but not clauses)496
Number of constraints which are nor clauses,nor cardinality constraints7392
Minimum length of a constraint2
Maximum length of a constraint28

Trace number 9791

Launcher Data

LAUNCH ON wulflinc27 THE 2005-09-23 15:07:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=8462 boxname=wulflinc27 idbench=258 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2ea3853c4fb57dccc00d289069858df9  /oldhome/oroussel/tmp/wulflinc27/normalized-circ8_3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-circ8_3.opb
IDLAUNCH: 8462
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.039
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        943044 kB
Buffers:         11124 kB
Cached:          63608 kB
SwapCached:          0 kB
Active:          45688 kB
Inactive:        31932 kB
HighTotal:      131008 kB
HighFree:        63000 kB
LowTotal:       903652 kB
LowFree:        880044 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6976 kB
Slab:             8552 kB
Committed_AS:    63616 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 15:28:06 (client local time) WITH STATUS 10 IN 1203.71 SECONDS
stats: 8462 0 1203.71 10

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+15.2316 s]  setting bit 10 to 0
c CONFLICT during preprocess 
c [startup+15.7844 s]  setting bit 9 to 0
c CONFLICT during preprocess 
c [startup+16.3367 s]  setting bit 8 to 0

c Decision: 47235/143677	Time: 81.8936/86400
c Decision: 47235/143677	Time: 92.253/86400
c Decision: 47235/143677	Time: 103.197/86400
c Decision: 47235/143677	Time: 114.714/86400
c Decision: 47235/143677	Time: 126.086/86400
c Decision: 47235/143677	Time: 136.927/86400
c Decision: 47235/143677	Time: 147.581/86400
c Decision: 47235/143677	Time: 157.63/86400
c Decision: 47235/143677	Time: 168.556/86400
c Decision: 47235/143677	Time: 180.337/86400
c Decision: 47235/143677	Time: 191.599/86400
c Decision: 47235/143677	Time: 201.726/86400
c Decision: 47235/143677	Time: 212.619/86400
c Decision: 47235/143677	Time: 225.029/86400
c Decision: 47235/143677	Time: 235.906/86400
c Decision: 47235/143677	Time: 247.689/86400
c Decision: 47235/143677	Time: 258.532/86400
c Decision: 47235/143677	Time: 269.038/86400
c Decision: 47235/143677	Time: 279.446/86400
c Decision: 47235/143677	Time: 290.598/86400
c Decision: 47235/143677	Time: 302.022/86400
c Decision: 47235/143677	Time: 312.572/86400
c Decision: 47235/143677	Time: 322.712/86400
c Decision: 47235/143677	Time: 333.734/86400
c Decision: 47235/143677	Time: 344.25/86400
c Decision: 47235/143677	Time: 355.491/86400
c Decision: 47235/143677	Time: 365.923/86400
c Decision: 47235/143677	Time: 377.146/86400
c Decision: 47235/143677	Time: 388.441/86400
c Decision: 47235/143677	Time: 398.746/86400
c Decision: 47235/143677	Time: 411.626/86400
c Decision: 47235/143677	Time: 422.824/86400
c Decision: 47235/143677	Time: 434.268/86400
c Decision: 47235/143677	Time: 446.162/86400
c Decision: 47235/143677	Time: 458.315/86400
c Decision: 47235/143677	Time: 469.661/86400
c Decision: 47235/143677	Time: 480.096/86400
c Decision: 47235/143677	Time: 490.57/86400
c Decision: 47235/143677	Time: 501.689/86400
c Decision: 47235/143677	Time: 512.962/86400
c Decision: 47235/143677	Time: 523.953/86400
c Decision: 47235/143677	Time: 535.542/86400
c Decision: 47235/143677	Time: 545.974/86400
c Decision: 47235/143677	Time: 557.699/86400
c Decision: 47235/143677	Time: 568.61/86400
c Decision: 47235/143677	Time: 581.884/86400
c Decision: 47235/143677	Time: 592.662/86400
c Decision: 47235/143677	Time: 603.936/86400
c Decision: 47235/143677	Time: 614.521/86400
c Decision: 47235/143677	Time: 625.868/86400
c Decision: 47235/143677	Time: 637.923/86400
c Decision: 47235/143677	Time: 648.35/86400
c Decision: 47235/143677	Time: 659.439/86400
c Decision: 47235/143677	Time: 672.526/86400
c Decision: 47235/143677	Time: 683.303/86400
c Decision: 47235/143677	Time: 695.342/86400
c Decision: 47235/143677	Time: 706.867/86400
c Decision: 47235/143677	Time: 717.661/86400
c Decision: 47235/143677	Time: 728.946/86400
c Decision: 47235/143677	Time: 739.984/86400
c Decision: 47235/143677	Time: 752.383/86400
c Decision: 47235/143677	Time: 763.972/86400
c Decision: 47235/143677	Time: 775.29/86400
c Decision: 47235/143677	Time: 788.278/86400
c Decision: 47235/143677	Time: 799.358/86400
c Decision: 47235/143677	Time: 811.907/86400
c Decision: 47235/143677	Time: 823.885/86400
c Decision: 47235/143677	Time: 836.28/86400
c Decision: 47235/143677	Time: 848.804/86400
c Decision: 47235/143677	Time: 860.214/86400
c Decision: 47235/143677	Time: 871.533/86400
c Decision: 47235/143677	Time: 882.742/86400
c Decision: 47235/143677	Time: 893.925/86400
c Decision: 47235/143677	Time: 905.217/86400
c Decision: 47235/143677	Time: 915.862/86400
c Decision: 47235/143677	Time: 927.551/86400
c Decision: 47235/143677	Time: 939.385/86400
c Decision: 47235/143677	Time: 950.366/86400
c Decision: 47235/143677	Time: 961.558/86400
c Decision: 47235/143677	Time: 973.207/86400
c Decision: 47235/143677	Time: 985.253/86400
c Decision: 47235/143677	Time: 997.441/86400
c Decision: 47235/143677	Time: 1008.13/86400
c Decision: 47235/143677	Time: 1019.7/86400
c Decision: 47235/143677	Time: 1031.42/86400
c Decision: 47305/143677	Time: 1045.76/86400
c Decision: 47305/143677	Time: 1056.96/86400
c Decision: 47305/143677	Time: 1068.46/86400
c Decision: 47305/143677	Time: 1080.78/86400
c Decision: 47305/143677	Time: 1094.15/86400
c Decision: 47305/143677	Time: 1107.7/86400
c Decision: 47305/143677	Time: 1119.93/86400
c Decision: 47305/143677	Time: 1132.09/86400
c Decision: 47305/143677	Time: 1144.77/86400
c Decision: 47305/143677	Time: 1156.12/86400
c Decision: 47305/143677	Time: 1169.74/86400
c Decision: 47305/143677	Time: 1180.66/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

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21108825 1527808 2 4294967295 134512640 135987407 3221224576 3221224576 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 373 2 364 364 0 9 0
[pid=8156] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc27/normalized-circ8_3.opb

[startup+10.0017 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 10794 0 0 0 960 30 0 0 25 0 1 0 21108825 32694272 6665 4294967295 134512640 135987407 3221224576 3221223264 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 7982 6665 364 364 0 7618 0
[pid=8156] vsize: 31928
Current children cumulated CPU time (s) 9.9
Current children cumulated vsize (Kb) 31928

[startup+20.0025 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 23111 0 0 0 1925 60 0 0 25 0 1 0 21108825 67940352 13633 4294967295 134512640 135987407 3221224576 3221223172 135477963 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 16587 13633 364 364 0 16223 0
[pid=8156] vsize: 66348
Current children cumulated CPU time (s) 19.85
Current children cumulated vsize (Kb) 66348

[startup+30.0033 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 23212 0 0 0 2919 62 0 0 25 0 1 0 21108825 68251648 13734 4294967295 134512640 135987407 3221224576 3221223120 134811948 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 16663 13734 364 364 0 16299 0
[pid=8156] vsize: 66652
Current children cumulated CPU time (s) 29.81
Current children cumulated vsize (Kb) 66652

[startup+40.0042 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 23299 0 0 0 3911 65 0 0 25 0 1 0 21108825 68386816 13821 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 16696 13821 364 364 0 16332 0
[pid=8156] vsize: 66784
Current children cumulated CPU time (s) 39.76
Current children cumulated vsize (Kb) 66784

[startup+50.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 23357 0 0 0 4903 67 0 0 25 0 1 0 21108825 68386816 13879 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 16696 13879 364 364 0 16332 0
[pid=8156] vsize: 66784
Current children cumulated CPU time (s) 49.7
Current children cumulated vsize (Kb) 66784

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 23424 0 0 0 5895 70 0 0 25 0 1 0 21108825 68534272 13946 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 16732 13946 364 364 0 16368 0
[pid=8156] vsize: 66928
Current children cumulated CPU time (s) 59.65
Current children cumulated vsize (Kb) 66928

[startup+70.0056 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 23542 0 0 0 6882 75 0 0 25 0 1 0 21108825 68829184 14064 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 16804 14064 364 364 0 16440 0
[pid=8156] vsize: 67216
Current children cumulated CPU time (s) 69.57
Current children cumulated vsize (Kb) 67216

[startup+80.0065 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 23642 0 0 0 7873 79 0 0 25 0 1 0 21108825 69189632 14164 4294967295 134512640 135987407 3221224576 3221223248 134824696 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 16892 14164 364 364 0 16528 0
[pid=8156] vsize: 67568
Current children cumulated CPU time (s) 79.52
Current children cumulated vsize (Kb) 67568

[startup+90.0073 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 23747 0 0 0 8860 84 0 0 25 0 1 0 21108825 69550080 14269 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 16980 14269 364 364 0 16616 0
[pid=8156] vsize: 67920
Current children cumulated CPU time (s) 89.44
Current children cumulated vsize (Kb) 67920

[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 24055 0 0 0 9852 86 0 0 25 0 1 0 21108825 69550080 14296 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 16980 14296 364 364 0 16616 0
[pid=8156] vsize: 67920
Current children cumulated CPU time (s) 99.38
Current children cumulated vsize (Kb) 67920

[startup+110.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 24360 0 0 0 10840 91 0 0 25 0 1 0 21108825 69713920 14320 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 17020 14320 364 364 0 16656 0
[pid=8156] vsize: 68080
Current children cumulated CPU time (s) 109.31
Current children cumulated vsize (Kb) 68080

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 24681 0 0 0 11832 94 0 0 25 0 1 0 21108825 71000064 14641 4294967295 134512640 135987407 3221224576 3221222792 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 17334 14641 364 364 0 16970 0
[pid=8156] vsize: 69336
Current children cumulated CPU time (s) 119.26
Current children cumulated vsize (Kb) 69336

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.99 1/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) T 8155 8156 4005 0 -1 0 24707 0 0 0 12824 97 0 0 25 0 1 0 21108825 70045696 14386 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8156/statm): 17101 14386 364 364 0 16737 0
[pid=8156] vsize: 68404
Current children cumulated CPU time (s) 129.21
Current children cumulated vsize (Kb) 68404

[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 24995 0 0 0 13815 101 0 0 25 0 1 0 21108825 70045696 14393 4294967295 134512640 135987407 3221224576 3221223280 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 17101 14393 364 364 0 16737 0
[pid=8156] vsize: 68404
Current children cumulated CPU time (s) 139.16
Current children cumulated vsize (Kb) 68404

[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 25345 0 0 0 14808 104 0 0 25 0 1 0 21108825 70385664 14462 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 17184 14462 364 364 0 16820 0
[pid=8156] vsize: 68736
Current children cumulated CPU time (s) 149.12
Current children cumulated vsize (Kb) 68736

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 25672 0 0 0 15800 107 0 0 25 0 1 0 21108825 70549504 14508 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 17224 14508 364 364 0 16860 0
[pid=8156] vsize: 68896
Current children cumulated CPU time (s) 159.07
Current children cumulated vsize (Kb) 68896

[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 25959 0 0 0 16791 111 0 0 25 0 1 0 21108825 70549504 14514 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 17224 14514 364 364 0 16860 0
[pid=8156] vsize: 68896
Current children cumulated CPU time (s) 169.02
Current children cumulated vsize (Kb) 68896

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 26289 0 0 0 17782 115 0 0 25 0 1 0 21108825 70746112 14563 4294967295 134512640 135987407 3221224576 3221222992 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 17272 14563 364 364 0 16908 0
[pid=8156] vsize: 69088
Current children cumulated CPU time (s) 178.97
Current children cumulated vsize (Kb) 69088

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 26584 0 0 0 18771 120 0 0 25 0 1 0 21108825 70942720 14577 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 17320 14577 364 364 0 16956 0
[pid=8156] vsize: 69280
Current children cumulated CPU time (s) 188.91
Current children cumulated vsize (Kb) 69280

[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 26891 0 0 0 19763 123 0 0 25 0 1 0 21108825 70942720 14603 4294967295 134512640 135987407 3221224576 3221223120 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 17320 14603 364 364 0 16956 0
[pid=8156] vsize: 69280
Current children cumulated CPU time (s) 198.86
Current children cumulated vsize (Kb) 69280

[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 27204 0 0 0 20755 126 0 0 25 0 1 0 21108825 70942720 14635 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 17320 14635 364 364 0 16956 0
[pid=8156] vsize: 69280
Current children cumulated CPU time (s) 208.81
Current children cumulated vsize (Kb) 69280

[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 27489 0 0 0 21745 130 0 0 25 0 1 0 21108825 70942720 14639 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 17320 14639 364 364 0 16956 0
[pid=8156] vsize: 69280
Current children cumulated CPU time (s) 218.75
Current children cumulated vsize (Kb) 69280

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 27773 0 0 0 22737 132 0 0 25 0 1 0 21108825 72093696 14923 4294967295 134512640 135987407 3221224576 3221222816 134828884 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 17601 14923 364 364 0 17237 0
[pid=8156] vsize: 70404
Current children cumulated CPU time (s) 228.69
Current children cumulated vsize (Kb) 70404

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 27836 0 0 0 23731 134 0 0 25 0 1 0 21108825 79511552 14705 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 19412 14705 364 364 0 19048 0
[pid=8156] vsize: 77648
Current children cumulated CPU time (s) 238.65
Current children cumulated vsize (Kb) 77648

[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 28161 0 0 0 24724 138 0 0 25 0 1 0 21108825 79511552 14749 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 19412 14749 364 364 0 19048 0
[pid=8156] vsize: 77648
Current children cumulated CPU time (s) 248.62
Current children cumulated vsize (Kb) 77648

[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 28474 0 0 0 25716 141 0 0 25 0 1 0 21108825 79511552 14781 4294967295 134512640 135987407 3221224576 3221223296 134812647 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 19412 14781 364 364 0 19048 0
[pid=8156] vsize: 77648
Current children cumulated CPU time (s) 258.57
Current children cumulated vsize (Kb) 77648

[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 28776 0 0 0 26709 144 0 0 25 0 1 0 21108825 79646720 14802 4294967295 134512640 135987407 3221224576 3221223280 134790062 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 19445 14802 364 364 0 19081 0
[pid=8156] vsize: 77780
Current children cumulated CPU time (s) 268.53
Current children cumulated vsize (Kb) 77780

[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 29068 0 0 0 27702 146 0 0 25 0 1 0 21108825 79646720 14813 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 19445 14813 364 364 0 19081 0
[pid=8156] vsize: 77780
Current children cumulated CPU time (s) 278.48
Current children cumulated vsize (Kb) 77780

[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 29360 0 0 0 28693 150 0 0 25 0 1 0 21108825 79646720 14824 4294967295 134512640 135987407 3221224576 3221223120 134811990 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 19445 14824 364 364 0 19081 0
[pid=8156] vsize: 77780
Current children cumulated CPU time (s) 288.43
Current children cumulated vsize (Kb) 77780

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 29657 0 0 0 29683 154 0 0 25 0 1 0 21108825 79646720 14840 4294967295 134512640 135987407 3221224576 3221223120 134811824 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 19445 14840 364 364 0 19081 0
[pid=8156] vsize: 77780
Current children cumulated CPU time (s) 298.37
Current children cumulated vsize (Kb) 77780

[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) T 8155 8156 4005 0 -1 0 29957 0 0 0 30675 157 0 0 25 0 1 0 21108825 79831040 14859 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8156/statm): 19490 14859 364 364 0 19126 0
[pid=8156] vsize: 77960
Current children cumulated CPU time (s) 308.32
Current children cumulated vsize (Kb) 77960

[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.99 1/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) T 8155 8156 4005 0 -1 0 33341 0 0 0 31659 168 0 0 25 0 1 0 21108825 92413952 14889 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22562 14889 364 364 0 22198 0
[pid=8156] vsize: 90248
Current children cumulated CPU time (s) 318.27
Current children cumulated vsize (Kb) 90248

[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 33351 0 0 0 32648 172 0 0 25 0 1 0 21108825 92413952 14899 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22562 14899 364 364 0 22198 0
[pid=8156] vsize: 90248
Current children cumulated CPU time (s) 328.2
Current children cumulated vsize (Kb) 90248

[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 33647 0 0 0 33638 176 0 0 25 0 1 0 21108825 92413952 14914 4294967295 134512640 135987407 3221224576 3221223280 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22562 14914 364 364 0 22198 0
[pid=8156] vsize: 90248
Current children cumulated CPU time (s) 338.14
Current children cumulated vsize (Kb) 90248

[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 33956 0 0 0 34628 180 0 0 25 0 1 0 21108825 92565504 14942 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22599 14942 364 364 0 22235 0
[pid=8156] vsize: 90396
Current children cumulated CPU time (s) 348.08
Current children cumulated vsize (Kb) 90396

[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 34246 0 0 0 35619 184 0 0 25 0 1 0 21108825 92565504 14951 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22599 14951 364 364 0 22235 0
[pid=8156] vsize: 90396
Current children cumulated CPU time (s) 358.03
Current children cumulated vsize (Kb) 90396

[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 34566 0 0 0 36608 189 0 0 25 0 1 0 21108825 92565504 14990 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22599 14990 364 364 0 22235 0
[pid=8156] vsize: 90396
Current children cumulated CPU time (s) 367.97
Current children cumulated vsize (Kb) 90396

[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 34866 0 0 0 37599 192 0 0 25 0 1 0 21108825 92565504 15009 4294967295 134512640 135987407 3221224576 3221223248 134824720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22599 15009 364 364 0 22235 0
[pid=8156] vsize: 90396
Current children cumulated CPU time (s) 377.91
Current children cumulated vsize (Kb) 90396

[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 35162 0 0 0 38590 196 0 0 25 0 1 0 21108825 92704768 15024 4294967295 134512640 135987407 3221224576 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22633 15024 364 364 0 22269 0
[pid=8156] vsize: 90532
Current children cumulated CPU time (s) 387.86
Current children cumulated vsize (Kb) 90532

[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 35465 0 0 0 39582 199 0 0 25 0 1 0 21108825 92704768 15046 4294967295 134512640 135987407 3221224576 3221223120 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22633 15046 364 364 0 22269 0
[pid=8156] vsize: 90532
Current children cumulated CPU time (s) 397.81
Current children cumulated vsize (Kb) 90532

[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 35753 0 0 0 40573 203 0 0 25 0 1 0 21108825 92704768 15053 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22633 15053 364 364 0 22269 0
[pid=8156] vsize: 90532
Current children cumulated CPU time (s) 407.76
Current children cumulated vsize (Kb) 90532

[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 36063 0 0 0 41564 206 0 0 25 0 1 0 21108825 92839936 15082 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22666 15082 364 364 0 22302 0
[pid=8156] vsize: 90664
Current children cumulated CPU time (s) 417.7
Current children cumulated vsize (Kb) 90664

[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 36377 0 0 0 42556 211 0 0 25 0 1 0 21108825 92839936 15115 4294967295 134512640 135987407 3221224576 3221223248 134876811 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22666 15115 364 364 0 22302 0
[pid=8156] vsize: 90664
Current children cumulated CPU time (s) 427.67
Current children cumulated vsize (Kb) 90664

[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 36397 0 0 0 43545 215 0 0 25 0 1 0 21108825 92839936 15135 4294967295 134512640 135987407 3221224576 3221223120 134812002 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22666 15135 364 364 0 22302 0
[pid=8156] vsize: 90664
Current children cumulated CPU time (s) 437.6
Current children cumulated vsize (Kb) 90664

[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.99 1/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) T 8155 8156 4005 0 -1 0 36682 0 0 0 44538 219 0 0 25 0 1 0 21108825 92839936 15139 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22666 15139 364 364 0 22302 0
[pid=8156] vsize: 90664
Current children cumulated CPU time (s) 447.57
Current children cumulated vsize (Kb) 90664

[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 36974 0 0 0 45529 223 0 0 25 0 1 0 21108825 92975104 15150 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22699 15150 364 364 0 22335 0
[pid=8156] vsize: 90796
Current children cumulated CPU time (s) 457.52
Current children cumulated vsize (Kb) 90796

[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 37273 0 0 0 46522 226 0 0 25 0 1 0 21108825 92975104 15168 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22699 15168 364 364 0 22335 0
[pid=8156] vsize: 90796
Current children cumulated CPU time (s) 467.48
Current children cumulated vsize (Kb) 90796

[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 37608 0 0 0 47511 230 0 0 25 0 1 0 21108825 92975104 15222 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22699 15222 364 364 0 22335 0
[pid=8156] vsize: 90796
Current children cumulated CPU time (s) 477.41
Current children cumulated vsize (Kb) 90796

[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 37923 0 0 0 48502 234 0 0 25 0 1 0 21108825 93118464 15256 4294967295 134512640 135987407 3221224576 3221223184 134801245 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22734 15256 364 364 0 22370 0
[pid=8156] vsize: 90936
Current children cumulated CPU time (s) 487.36
Current children cumulated vsize (Kb) 90936

[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 38216 0 0 0 49492 237 0 0 25 0 1 0 21108825 93118464 15268 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22734 15268 364 364 0 22370 0
[pid=8156] vsize: 90936
Current children cumulated CPU time (s) 497.29
Current children cumulated vsize (Kb) 90936

[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 38507 0 0 0 50487 240 0 0 25 0 1 0 21108825 93118464 15278 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22734 15278 364 364 0 22370 0
[pid=8156] vsize: 90936
Current children cumulated CPU time (s) 507.27
Current children cumulated vsize (Kb) 90936

[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 38518 0 0 0 51479 242 0 0 25 0 1 0 21108825 93118464 15289 4294967295 134512640 135987407 3221224576 3221223000 134801602 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22734 15289 364 364 0 22370 0
[pid=8156] vsize: 90936
Current children cumulated CPU time (s) 517.21
Current children cumulated vsize (Kb) 90936

[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 38813 0 0 0 52472 246 0 0 25 0 1 0 21108825 93118464 15303 4294967295 134512640 135987407 3221224576 3221223120 134811850 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22734 15303 364 364 0 22370 0
[pid=8156] vsize: 90936
Current children cumulated CPU time (s) 527.18
Current children cumulated vsize (Kb) 90936

[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 39129 0 0 0 53464 249 0 0 25 0 1 0 21108825 93253632 15338 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22767 15338 364 364 0 22403 0
[pid=8156] vsize: 91068
Current children cumulated CPU time (s) 537.13
Current children cumulated vsize (Kb) 91068

[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 39434 0 0 0 54456 252 0 0 25 0 1 0 21108825 93253632 15362 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22767 15362 364 364 0 22403 0
[pid=8156] vsize: 91068
Current children cumulated CPU time (s) 547.08
Current children cumulated vsize (Kb) 91068

[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 39727 0 0 0 55447 256 0 0 25 0 1 0 21108825 93253632 15374 4294967295 134512640 135987407 3221224576 3221223120 134812120 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22767 15374 364 364 0 22403 0
[pid=8156] vsize: 91068
Current children cumulated CPU time (s) 557.03
Current children cumulated vsize (Kb) 91068

[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 40029 0 0 0 56437 260 0 0 25 0 1 0 21108825 93442048 15395 4294967295 134512640 135987407 3221224576 3221223120 134812194 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22813 15395 364 364 0 22449 0
[pid=8156] vsize: 91252
Current children cumulated CPU time (s) 566.97
Current children cumulated vsize (Kb) 91252

[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 40381 0 0 0 57431 263 0 0 25 0 1 0 21108825 93638656 15466 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22861 15466 364 364 0 22497 0
[pid=8156] vsize: 91444
Current children cumulated CPU time (s) 576.94
Current children cumulated vsize (Kb) 91444

[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 40720 0 0 0 58420 267 0 0 25 0 1 0 21108825 93638656 15524 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22861 15524 364 364 0 22497 0
[pid=8156] vsize: 91444
Current children cumulated CPU time (s) 586.87
Current children cumulated vsize (Kb) 91444

[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 40758 0 0 0 59414 269 0 0 25 0 1 0 21108825 93638656 15562 4294967295 134512640 135987407 3221224576 3221223120 134811992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22861 15562 364 364 0 22497 0
[pid=8156] vsize: 91444
Current children cumulated CPU time (s) 596.83
Current children cumulated vsize (Kb) 91444

[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 41043 0 0 0 60403 273 0 0 25 0 1 0 21108825 93638656 15566 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22861 15566 364 364 0 22497 0
[pid=8156] vsize: 91444
Current children cumulated CPU time (s) 606.76
Current children cumulated vsize (Kb) 91444

[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 41344 0 0 0 61396 276 0 0 25 0 1 0 21108825 93835264 15586 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22909 15586 364 364 0 22545 0
[pid=8156] vsize: 91636
Current children cumulated CPU time (s) 616.72
Current children cumulated vsize (Kb) 91636

[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 41640 0 0 0 62387 280 0 0 25 0 1 0 21108825 93835264 15601 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22909 15601 364 364 0 22545 0
[pid=8156] vsize: 91636
Current children cumulated CPU time (s) 626.67
Current children cumulated vsize (Kb) 91636

[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 41924 0 0 0 63377 284 0 0 25 0 1 0 21108825 93835264 15604 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22909 15604 364 364 0 22545 0
[pid=8156] vsize: 91636
Current children cumulated CPU time (s) 636.61
Current children cumulated vsize (Kb) 91636

[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 42242 0 0 0 64364 289 0 0 25 0 1 0 21108825 93835264 15641 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22909 15641 364 364 0 22545 0
[pid=8156] vsize: 91636
Current children cumulated CPU time (s) 646.53
Current children cumulated vsize (Kb) 91636

[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 42557 0 0 0 65355 294 0 0 25 0 1 0 21108825 93835264 15675 4294967295 134512640 135987407 3221224576 3221223296 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22909 15675 364 364 0 22545 0
[pid=8156] vsize: 91636
Current children cumulated CPU time (s) 656.49
Current children cumulated vsize (Kb) 91636

[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 42849 0 0 0 66347 297 0 0 25 0 1 0 21108825 93970432 15686 4294967295 134512640 135987407 3221224576 3221223248 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22942 15686 364 364 0 22578 0
[pid=8156] vsize: 91768
Current children cumulated CPU time (s) 666.44
Current children cumulated vsize (Kb) 91768

[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 43144 0 0 0 67337 300 0 0 25 0 1 0 21108825 93970432 15700 4294967295 134512640 135987407 3221224576 3221223120 134811822 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22942 15700 364 364 0 22578 0
[pid=8156] vsize: 91768
Current children cumulated CPU time (s) 676.37
Current children cumulated vsize (Kb) 91768

[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 43151 0 0 0 68327 304 0 0 25 0 1 0 21108825 93970432 15707 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22942 15707 364 364 0 22578 0
[pid=8156] vsize: 91768
Current children cumulated CPU time (s) 686.31
Current children cumulated vsize (Kb) 91768

[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 43448 0 0 0 69317 309 0 0 25 0 1 0 21108825 93970432 15723 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22942 15723 364 364 0 22578 0
[pid=8156] vsize: 91768
Current children cumulated CPU time (s) 696.26
Current children cumulated vsize (Kb) 91768

[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 43755 0 0 0 70309 312 0 0 25 0 1 0 21108825 94105600 15749 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 22975 15749 364 364 0 22611 0
[pid=8156] vsize: 91900
Current children cumulated CPU time (s) 706.21
Current children cumulated vsize (Kb) 91900

[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 44062 0 0 0 71301 314 0 0 25 0 1 0 21108825 94105600 15775 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22975 15775 364 364 0 22611 0
[pid=8156] vsize: 91900
Current children cumulated CPU time (s) 716.15
Current children cumulated vsize (Kb) 91900

[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 44351 0 0 0 72295 316 0 0 25 0 1 0 21108825 94105600 15783 4294967295 134512640 135987407 3221224576 3221223280 134790069 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 22975 15783 364 364 0 22611 0
[pid=8156] vsize: 91900
Current children cumulated CPU time (s) 726.11
Current children cumulated vsize (Kb) 91900

[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 44656 0 0 0 73282 322 0 0 25 0 1 0 21108825 94240768 15807 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23008 15807 364 364 0 22644 0
[pid=8156] vsize: 92032
Current children cumulated CPU time (s) 736.04
Current children cumulated vsize (Kb) 92032

[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 44946 0 0 0 74275 324 0 0 25 0 1 0 21108825 94240768 15816 4294967295 134512640 135987407 3221224576 3221223008 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23008 15816 364 364 0 22644 0
[pid=8156] vsize: 92032
Current children cumulated CPU time (s) 745.99
Current children cumulated vsize (Kb) 92032

[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 45281 0 0 0 75265 328 0 0 25 0 1 0 21108825 95563776 16151 4294967295 134512640 135987407 3221224576 3221222792 134827499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23331 16151 364 364 0 22967 0
[pid=8156] vsize: 93324
Current children cumulated CPU time (s) 755.93
Current children cumulated vsize (Kb) 93324

[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 45317 0 0 0 76260 329 0 0 25 0 1 0 21108825 94412800 15906 4294967295 134512640 135987407 3221224576 3221223120 134788831 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23050 15906 364 364 0 22686 0
[pid=8156] vsize: 92200
Current children cumulated CPU time (s) 765.89
Current children cumulated vsize (Kb) 92200

[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 45608 0 0 0 77252 332 0 0 25 0 1 0 21108825 94412800 15916 4294967295 134512640 135987407 3221224576 3221223120 134811756 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23050 15916 364 364 0 22686 0
[pid=8156] vsize: 92200
Current children cumulated CPU time (s) 775.84
Current children cumulated vsize (Kb) 92200

[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 45893 0 0 0 78241 337 0 0 25 0 1 0 21108825 94412800 15920 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23050 15920 364 364 0 22686 0
[pid=8156] vsize: 92200
Current children cumulated CPU time (s) 785.78
Current children cumulated vsize (Kb) 92200

[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 46182 0 0 0 79235 340 0 0 25 0 1 0 21108825 94547968 15928 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23083 15928 364 364 0 22719 0
[pid=8156] vsize: 92332
Current children cumulated CPU time (s) 795.75
Current children cumulated vsize (Kb) 92332

[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 46495 0 0 0 80227 342 0 0 25 0 1 0 21108825 94711808 15960 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23123 15960 364 364 0 22759 0
[pid=8156] vsize: 92492
Current children cumulated CPU time (s) 805.69
Current children cumulated vsize (Kb) 92492

[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 46780 0 0 0 81218 345 0 0 25 0 1 0 21108825 94711808 15964 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23123 15964 364 364 0 22759 0
[pid=8156] vsize: 92492
Current children cumulated CPU time (s) 815.63
Current children cumulated vsize (Kb) 92492

[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) T 8155 8156 4005 0 -1 0 46794 0 0 0 82207 348 0 0 25 0 1 0 21108825 94711808 15978 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23123 15978 364 364 0 22759 0
[pid=8156] vsize: 92492
Current children cumulated CPU time (s) 825.55
Current children cumulated vsize (Kb) 92492

[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 47099 0 0 0 83202 350 0 0 25 0 1 0 21108825 94711808 16002 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23123 16002 364 364 0 22759 0
[pid=8156] vsize: 92492
Current children cumulated CPU time (s) 835.52
Current children cumulated vsize (Kb) 92492

[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) T 8155 8156 4005 0 -1 0 47390 0 0 0 84189 355 0 0 25 0 1 0 21108825 94846976 16012 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23156 16012 364 364 0 22792 0
[pid=8156] vsize: 92624
Current children cumulated CPU time (s) 845.44
Current children cumulated vsize (Kb) 92624

[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 47678 0 0 0 85179 359 0 0 25 0 1 0 21108825 94846976 16019 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23156 16019 364 364 0 22792 0
[pid=8156] vsize: 92624
Current children cumulated CPU time (s) 855.38
Current children cumulated vsize (Kb) 92624

[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 47968 0 0 0 86171 362 0 0 25 0 1 0 21108825 94846976 16028 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23156 16028 364 364 0 22792 0
[pid=8156] vsize: 92624
Current children cumulated CPU time (s) 865.33
Current children cumulated vsize (Kb) 92624

[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 47980 0 0 0 87165 365 0 0 25 0 1 0 21108825 94846976 16040 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23156 16040 364 364 0 22792 0
[pid=8156] vsize: 92624
Current children cumulated CPU time (s) 875.3
Current children cumulated vsize (Kb) 92624

[startup+890.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 48303 0 0 0 88154 370 0 0 25 0 1 0 21108825 94846976 16082 4294967295 134512640 135987407 3221224576 3221223120 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23156 16082 364 364 0 22792 0
[pid=8156] vsize: 92624
Current children cumulated CPU time (s) 885.24
Current children cumulated vsize (Kb) 92624

[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 48605 0 0 0 89146 374 0 0 25 0 1 0 21108825 94846976 16103 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23156 16103 364 364 0 22792 0
[pid=8156] vsize: 92624
Current children cumulated CPU time (s) 895.2
Current children cumulated vsize (Kb) 92624

[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 48897 0 0 0 90135 378 0 0 25 0 1 0 21108825 94982144 16114 4294967295 134512640 135987407 3221224576 3221223120 134811816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23189 16114 364 364 0 22825 0
[pid=8156] vsize: 92756
Current children cumulated CPU time (s) 905.13
Current children cumulated vsize (Kb) 92756

[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 49188 0 0 0 91124 382 0 0 25 0 1 0 21108825 94982144 16124 4294967295 134512640 135987407 3221224576 3221223008 135486726 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23189 16124 364 364 0 22825 0
[pid=8156] vsize: 92756
Current children cumulated CPU time (s) 915.06
Current children cumulated vsize (Kb) 92756

[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 49485 0 0 0 92114 387 0 0 25 0 1 0 21108825 94982144 16140 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23189 16140 364 364 0 22825 0
[pid=8156] vsize: 92756
Current children cumulated CPU time (s) 925.01
Current children cumulated vsize (Kb) 92756

[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 49777 0 0 0 93105 391 0 0 25 0 1 0 21108825 94982144 16151 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23189 16151 364 364 0 22825 0
[pid=8156] vsize: 92756
Current children cumulated CPU time (s) 934.96
Current children cumulated vsize (Kb) 92756

[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 50067 0 0 0 94097 393 0 0 25 0 1 0 21108825 95121408 16160 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23223 16160 364 364 0 22859 0
[pid=8156] vsize: 92892
Current children cumulated CPU time (s) 944.9
Current children cumulated vsize (Kb) 92892

[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 50080 0 0 0 95089 395 0 0 25 0 1 0 21108825 95121408 16173 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23223 16173 364 364 0 22859 0
[pid=8156] vsize: 92892
Current children cumulated CPU time (s) 954.84
Current children cumulated vsize (Kb) 92892

[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 50369 0 0 0 96080 399 0 0 25 0 1 0 21108825 95121408 16181 4294967295 134512640 135987407 3221224576 3221223120 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23223 16181 364 364 0 22859 0
[pid=8156] vsize: 92892
Current children cumulated CPU time (s) 964.79
Current children cumulated vsize (Kb) 92892

[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 50664 0 0 0 97071 402 0 0 25 0 1 0 21108825 95121408 16195 4294967295 134512640 135987407 3221224576 3221223120 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23223 16195 364 364 0 22859 0
[pid=8156] vsize: 92892
Current children cumulated CPU time (s) 974.73
Current children cumulated vsize (Kb) 92892

[startup+990.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 50971 0 0 0 98062 406 0 0 25 0 1 0 21108825 95256576 16221 4294967295 134512640 135987407 3221224576 3221223120 134811983 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23256 16221 364 364 0 22892 0
[pid=8156] vsize: 93024
Current children cumulated CPU time (s) 984.68
Current children cumulated vsize (Kb) 93024

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 51299 0 0 0 99053 409 0 0 25 0 1 0 21108825 95256576 16268 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23256 16268 364 364 0 22892 0
[pid=8156] vsize: 93024
Current children cumulated CPU time (s) 994.62
Current children cumulated vsize (Kb) 93024

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 51611 0 0 0 100045 413 0 0 25 0 1 0 21108825 95256576 16299 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23256 16299 364 364 0 22892 0
[pid=8156] vsize: 93024
Current children cumulated CPU time (s) 1004.58
Current children cumulated vsize (Kb) 93024

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 51904 0 0 0 101035 418 0 0 25 0 1 0 21108825 95256576 16311 4294967295 134512640 135987407 3221224576 3221223184 134801245 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23256 16311 364 364 0 22892 0
[pid=8156] vsize: 93024
Current children cumulated CPU time (s) 1014.53
Current children cumulated vsize (Kb) 93024

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 52199 0 0 0 102024 421 0 0 25 0 1 0 21108825 95391744 16325 4294967295 134512640 135987407 3221224576 3221222992 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23289 16325 364 364 0 22925 0
[pid=8156] vsize: 93156
Current children cumulated CPU time (s) 1024.45
Current children cumulated vsize (Kb) 93156

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 52208 0 0 0 103016 423 0 0 25 0 1 0 21108825 95391744 16334 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23289 16334 364 364 0 22925 0
[pid=8156] vsize: 93156
Current children cumulated CPU time (s) 1034.39
Current children cumulated vsize (Kb) 93156

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 52541 0 0 0 104008 427 0 0 25 0 1 0 21108825 95391744 16386 4294967295 134512640 135987407 3221224576 3221223248 134812261 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23289 16386 364 364 0 22925 0
[pid=8156] vsize: 93156
Current children cumulated CPU time (s) 1044.35
Current children cumulated vsize (Kb) 93156

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 52862 0 0 0 104998 432 0 0 25 0 1 0 21108825 95391744 16426 4294967295 134512640 135987407 3221224576 3221223008 134788831 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23289 16426 364 364 0 22925 0
[pid=8156] vsize: 93156
Current children cumulated CPU time (s) 1054.3
Current children cumulated vsize (Kb) 93156

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 53183 0 0 0 105989 434 0 0 25 0 1 0 21108825 95526912 16466 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23322 16466 364 364 0 22958 0
[pid=8156] vsize: 93288
Current children cumulated CPU time (s) 1064.23
Current children cumulated vsize (Kb) 93288

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 53474 0 0 0 106979 439 0 0 25 0 1 0 21108825 95526912 16476 4294967295 134512640 135987407 3221224576 3221223120 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23322 16476 364 364 0 22958 0
[pid=8156] vsize: 93288
Current children cumulated CPU time (s) 1074.18
Current children cumulated vsize (Kb) 93288

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 53487 0 0 0 107971 442 0 0 25 0 1 0 21108825 95526912 16489 4294967295 134512640 135987407 3221224576 3221223152 134813813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8156/statm): 23322 16489 364 364 0 22958 0
[pid=8156] vsize: 93288
Current children cumulated CPU time (s) 1084.13
Current children cumulated vsize (Kb) 93288

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 53780 0 0 0 108964 444 0 0 25 0 1 0 21108825 95526912 16501 4294967295 134512640 135987407 3221224576 3221223120 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23322 16501 364 364 0 22958 0
[pid=8156] vsize: 93288
Current children cumulated CPU time (s) 1094.08
Current children cumulated vsize (Kb) 93288

[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 54078 0 0 0 109958 447 0 0 25 0 1 0 21108825 95666176 16518 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23356 16518 364 364 0 22992 0
[pid=8156] vsize: 93424
Current children cumulated CPU time (s) 1104.05
Current children cumulated vsize (Kb) 93424

[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 54394 0 0 0 110950 450 0 0 25 0 1 0 21108825 95666176 16553 4294967295 134512640 135987407 3221224576 3221223216 134812358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23356 16553 364 364 0 22992 0
[pid=8156] vsize: 93424
Current children cumulated CPU time (s) 1114
Current children cumulated vsize (Kb) 93424

[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 54712 0 0 0 111940 455 0 0 25 0 1 0 21108825 95666176 16590 4294967295 134512640 135987407 3221224576 3221223120 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23356 16590 364 364 0 22992 0
[pid=8156] vsize: 93424
Current children cumulated CPU time (s) 1123.95
Current children cumulated vsize (Kb) 93424

[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 54724 0 0 0 112933 457 0 0 25 0 1 0 21108825 95666176 16602 4294967295 134512640 135987407 3221224576 3221223120 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23356 16602 364 364 0 22992 0
[pid=8156] vsize: 93424
Current children cumulated CPU time (s) 1133.9
Current children cumulated vsize (Kb) 93424

[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 55017 0 0 0 113923 461 0 0 25 0 1 0 21108825 95801344 16614 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23389 16614 364 364 0 23025 0
[pid=8156] vsize: 93556
Current children cumulated CPU time (s) 1143.84
Current children cumulated vsize (Kb) 93556

[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 55310 0 0 0 114910 466 0 0 25 0 1 0 21108825 95801344 16626 4294967295 134512640 135987407 3221224576 3221223296 134812585 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23389 16626 364 364 0 23025 0
[pid=8156] vsize: 93556
Current children cumulated CPU time (s) 1153.76
Current children cumulated vsize (Kb) 93556

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 55610 0 0 0 115900 470 0 0 25 0 1 0 21108825 95944704 16645 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23424 16645 364 364 0 23060 0
[pid=8156] vsize: 93696
Current children cumulated CPU time (s) 1163.7
Current children cumulated vsize (Kb) 93696

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 55934 0 0 0 116887 475 0 0 25 0 1 0 21108825 96079872 16688 4294967295 134512640 135987407 3221224576 3221223120 134811975 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23457 16688 364 364 0 23093 0
[pid=8156] vsize: 93828
Current children cumulated CPU time (s) 1173.62
Current children cumulated vsize (Kb) 93828

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 55977 0 0 0 117882 477 0 0 25 0 1 0 21108825 96079872 16731 4294967295 134512640 135987407 3221224576 3221223120 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23457 16731 364 364 0 23093 0
[pid=8156] vsize: 93828
Current children cumulated CPU time (s) 1183.59
Current children cumulated vsize (Kb) 93828

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.99 1/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) T 8155 8156 4005 0 -1 0 56269 0 0 0 118870 483 0 0 25 0 1 0 21108825 96079872 16742 4294967295 134512640 135987407 3221224576 3221223260 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23457 16742 364 364 0 23093 0
[pid=8156] vsize: 93828
Current children cumulated CPU time (s) 1193.53
Current children cumulated vsize (Kb) 93828

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 56562 0 0 0 119859 487 0 0 25 0 1 0 21108825 96079872 16754 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23457 16754 364 364 0 23093 0
[pid=8156] vsize: 93828
Current children cumulated CPU time (s) 1203.46
Current children cumulated vsize (Kb) 93828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 8156
Raw data (/proc/8156/stat): 8156 (pb2sat) R 8155 8156 4005 0 -1 0 56562 0 0 0 119859 487 0 0 25 0 1 0 21108825 96079872 16754 4294967295 134512640 135987407 3221224576 3221223120 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8156/statm): 23457 16754 364 364 0 23093 0
[pid=8156] vsize: 93828
Current children cumulated CPU time (s) 1203.46
Current children cumulated vsize (Kb) 93828

Sending SIGTERM to -8156
Sleeping 2 seconds
One traced child (pid=8156) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1210.31
CPU time (s): 1203.71
CPU user time (s): 1198.8
CPU system time (s): 4.91025
CPU usage (%): 99.4552
Max. virtual memory (cumulated for all children) (Kb): 93828

Verifier Data

Verifier:	OK	200