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/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:20:4.5:0.5:100.opb
MD5SUM	feaa96df552ef9989407735877840272
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13
Optimality of the best value was proved	NO
Number of terms in the objective function	776
Biggest coefficient in the objective function	474
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	2127
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	474
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	2127
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04084
Number of variables	776
Total number of constraints	1642
Number of constraints which are clauses	701
Number of constraints which are cardinality constraints (but not clauses)	941
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	20
Trace number 35082

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-28 11:52:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24295 boxname=wulflinc27 idbench=369 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  feaa96df552ef9989407735877840272  /oldhome/oroussel/tmp/wulflinc27/normalized-10:20:4.5:0.5:100.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc27/normalized-10:20:4.5:0.5:100.opb
IDLAUNCH: 24295
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        699648 kB
Buffers:         33796 kB
Cached:         271228 kB
SwapCached:        704 kB
Active:          23048 kB
Inactive:       284068 kB
HighTotal:      131008 kB
HighFree:        64820 kB
LowTotal:       903652 kB
LowFree:        634828 kB
SwapTotal:     2097892 kB
SwapFree:      2096316 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5128 kB
Slab:            22256 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:12:56 (client local time) WITH STATUS 10 IN 1201.14 SECONDS
stats: 24295 0 1201.14 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+58.2468 s]  setting bit 11 to 0
c got solution with objective value: 916
c [startup+61.3098 s]  setting bit 10 to 1
c got solution with objective value: 588
c [startup+132.777 s]  setting bit 9 to 1

Decision: 196492/393296	Time: 494.167/86400
Decision: 196492/393296	Time: 542.29/86400
Decision: 196492/393296	Time: 591.874/86400
Decision: 196492/393296	Time: 627.847/86400
Decision: 196492/393296	Time: 673.528/86400
Decision: 196492/393296	Time: 701.632/86400
Decision: 196492/393296	Time: 750.978/86400
Decision: 196492/393296	Time: 793.14/86400
Decision: 196492/393296	Time: 837.081/86400
Decision: 196492/393296	Time: 876.473/86400
Decision: 196492/393296	Time: 923.762/86400
Decision: 196492/393296	Time: 975.911/86400
Decision: 196492/393296	Time: 1017.98/86400
Decision: 196492/393296	Time: 1063.56/86400s SATISFIABLE
v one -v1 -v10 -v100 -v101 v102 v103 -v104 -v105 -v106 v107 v108 v109 -v11 v110 v111 -v112 v113 v114 -v115 -v116 -v117 -v118 v119 -v12 v120 -v121 v122 v123 -v124 -v125 -v126 -v127 -v128 -v129 -v13 -v130 -v131 -v132 -v133 -v134 -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 -v78 -v79 -v8 -v80 -v81 -v82 -v83 v84 v85 -v86 -v87 -v88 -v89 -v9 v90 -v91 -v92 -v93 -v94 v95 -v96 -v97 -v98 -v99 
#### 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.91 0.95 0.90 2/54 18636
Raw data (stat): 18636 (runsolver) R 18635 3394 3393 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864584997 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 30329 0 0 0 931 68 0 0 25 0 1 0 864584997 89821184 19252 4294967295 134512640 135726644 3221224576 3221068944 134772624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21929 19252 300 300 0 21629 0
vsize: 87716
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 56896 0 0 0 1869 130 0 0 25 0 1 0 864584997 173748224 34109 4294967295 134512640 135726644 3221224576 3221222880 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42419 34109 300 300 0 42119 0
vsize: 169676
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 57888 0 0 0 2866 132 0 0 25 0 1 0 864584997 176971776 34616 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43206 34616 300 300 0 42906 0
vsize: 172824
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 58153 0 0 0 3865 133 0 0 25 0 1 0 864584997 178102272 34848 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43482 34848 300 300 0 43182 0
vsize: 173928
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 58172 0 0 0 4865 133 0 0 25 0 1 0 864584997 178102272 34867 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43482 34867 300 300 0 43182 0
vsize: 173928
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 58990 0 0 0 5864 135 0 0 25 0 1 0 864584997 178249728 34916 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43518 34916 300 300 0 43218 0
vsize: 174072
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 60651 0 0 0 6860 139 0 0 25 0 1 0 864584997 182177792 35759 4294967295 134512640 135726644 3221224576 3221223264 134744977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44477 35759 300 300 0 44177 0
vsize: 177908
[startup+80.0053 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 61382 0 0 0 7858 141 0 0 25 0 1 0 864584997 184762368 36292 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45108 36292 300 300 0 44808 0
vsize: 180432
[startup+90.0061 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 61836 0 0 0 8857 142 0 0 25 0 1 0 864584997 186368000 36614 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45500 36614 300 300 0 45200 0
vsize: 182000
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 62493 0 0 0 9855 144 0 0 25 0 1 0 864584997 189231104 37123 4294967295 134512640 135726644 3221224576 3221223232 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46199 37123 300 300 0 45899 0
vsize: 184796
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 62844 0 0 0 10854 146 0 0 25 0 1 0 864584997 190623744 37409 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46539 37409 300 300 0 46239 0
vsize: 186156
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 63061 0 0 0 11854 146 0 0 25 0 1 0 864584997 191352832 37560 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46717 37560 300 300 0 46417 0
vsize: 186868
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 63438 0 0 0 12853 147 0 0 25 0 1 0 864584997 192581632 37805 4294967295 134512640 135726644 3221224576 3221222904 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47017 37805 300 300 0 46717 0
vsize: 188068
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 64409 0 0 0 13849 150 0 0 25 0 1 0 864584997 193441792 37991 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47227 37991 300 300 0 46927 0
vsize: 188908
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 64621 0 0 0 14849 151 0 0 25 0 1 0 864584997 194703360 38203 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47535 38203 300 300 0 47235 0
vsize: 190140
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 64695 0 0 0 15849 151 0 0 25 0 1 0 864584997 194973696 38277 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47601 38277 300 300 0 47301 0
vsize: 190404
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 64776 0 0 0 16849 151 0 0 25 0 1 0 864584997 195440640 38358 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47715 38358 300 300 0 47415 0
vsize: 190860
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 64991 0 0 0 17849 151 0 0 25 0 1 0 864584997 196378624 38507 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47944 38507 300 300 0 47644 0
vsize: 191776
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 65070 0 0 0 18849 152 0 0 25 0 1 0 864584997 196784128 38586 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48043 38586 300 300 0 47743 0
vsize: 192172
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 65260 0 0 0 19849 152 0 0 25 0 1 0 864584997 197451776 38710 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48206 38710 300 300 0 47906 0
vsize: 192824
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 65365 0 0 0 20848 153 0 0 25 0 1 0 864584997 197718016 38782 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48271 38782 300 300 0 47971 0
vsize: 193084
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 65540 0 0 0 21848 153 0 0 25 0 1 0 864584997 198385664 38891 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48434 38891 300 300 0 48134 0
vsize: 193736
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 65795 0 0 0 22848 154 0 0 25 0 1 0 864584997 199049216 39047 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48596 39047 300 300 0 48296 0
vsize: 194384
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 65816 0 0 0 23848 154 0 0 25 0 1 0 864584997 199049216 39068 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48596 39068 300 300 0 48296 0
vsize: 194384
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 65990 0 0 0 24847 154 0 0 25 0 1 0 864584997 199446528 39176 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48693 39176 300 300 0 48393 0
vsize: 194772
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66131 0 0 0 25847 155 0 0 25 0 1 0 864584997 199979008 39251 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48823 39251 300 300 0 48523 0
vsize: 195292
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66193 0 0 0 26847 155 0 0 25 0 1 0 864584997 200245248 39313 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48888 39313 300 300 0 48588 0
vsize: 195552
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66243 0 0 0 27847 155 0 0 25 0 1 0 864584997 200376320 39330 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48920 39330 300 300 0 48620 0
vsize: 195680
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66250 0 0 0 28847 155 0 0 25 0 1 0 864584997 200376320 39337 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48920 39337 300 300 0 48620 0
vsize: 195680
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66257 0 0 0 29847 156 0 0 25 0 1 0 864584997 200376320 39344 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48920 39344 300 300 0 48620 0
vsize: 195680
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66266 0 0 0 30847 156 0 0 25 0 1 0 864584997 200376320 39353 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48920 39353 300 300 0 48620 0
vsize: 195680
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66271 0 0 0 31847 156 0 0 25 0 1 0 864584997 200376320 39358 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48920 39358 300 300 0 48620 0
vsize: 195680
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66278 0 0 0 32847 157 0 0 25 0 1 0 864584997 200376320 39365 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48920 39365 300 300 0 48620 0
vsize: 195680
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66331 0 0 0 33847 157 0 0 25 0 1 0 864584997 200642560 39418 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48985 39418 300 300 0 48685 0
vsize: 195940
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66349 0 0 0 34847 157 0 0 25 0 1 0 864584997 200642560 39436 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48985 39436 300 300 0 48685 0
vsize: 195940
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66357 0 0 0 35847 157 0 0 25 0 1 0 864584997 200642560 39444 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48985 39444 300 300 0 48685 0
vsize: 195940
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66375 0 0 0 36847 157 0 0 25 0 1 0 864584997 200642560 39462 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48985 39462 300 300 0 48685 0
vsize: 195940
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66399 0 0 0 37847 158 0 0 25 0 1 0 864584997 200642560 39486 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48985 39486 300 300 0 48685 0
vsize: 195940
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66406 0 0 0 38847 158 0 0 25 0 1 0 864584997 200642560 39493 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48985 39493 300 300 0 48685 0
vsize: 195940
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66425 0 0 0 39847 158 0 0 25 0 1 0 864584997 200642560 39512 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48985 39512 300 300 0 48685 0
vsize: 195940
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66444 0 0 0 40847 158 0 0 25 0 1 0 864584997 200642560 39531 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48985 39531 300 300 0 48685 0
vsize: 195940
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18636
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66547 0 0 0 41847 158 0 0 25 0 1 0 864584997 200904704 39569 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49049 39569 300 300 0 48749 0
vsize: 196196
[startup+430.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18637
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66555 0 0 0 42847 158 0 0 25 0 1 0 864584997 200904704 39577 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49049 39577 300 300 0 48749 0
vsize: 196196
[startup+440.026 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 18689
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66794 0 0 0 43847 159 0 0 25 0 1 0 864584997 201564160 39685 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49210 39685 300 300 0 48910 0
vsize: 196840
[startup+450.025 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 18689
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66885 0 0 0 44847 159 0 0 25 0 1 0 864584997 201961472 39743 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49307 39743 300 300 0 49007 0
vsize: 197228
[startup+460.026 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 18689
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66900 0 0 0 45847 160 0 0 25 0 1 0 864584997 201961472 39758 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49307 39758 300 300 0 49007 0
vsize: 197228
[startup+470.027 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18689
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 66999 0 0 0 46847 160 0 0 25 0 1 0 864584997 202493952 39857 4294967295 134512640 135726644 3221224576 3221223072 134743886 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49437 39857 300 300 0 49137 0
vsize: 197748
[startup+480.027 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18689
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67054 0 0 0 47847 160 0 0 25 0 1 0 864584997 202760192 39912 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49502 39912 300 300 0 49202 0
vsize: 198008
[startup+490.027 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18689
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67113 0 0 0 48847 160 0 0 25 0 1 0 864584997 202891264 39938 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49534 39938 300 300 0 49234 0
vsize: 198136
[startup+500.027 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18689
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67162 0 0 0 49847 161 0 0 25 0 1 0 864584997 203157504 39987 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49599 39987 300 300 0 49299 0
vsize: 198396
[startup+510.027 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67254 0 0 0 50846 161 0 0 25 0 1 0 864584997 203689984 40079 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49729 40079 300 300 0 49429 0
vsize: 198916
[startup+520.027 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67264 0 0 0 51846 161 0 0 25 0 1 0 864584997 203689984 40089 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49729 40089 300 300 0 49429 0
vsize: 198916
[startup+530.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67271 0 0 0 52846 161 0 0 25 0 1 0 864584997 203689984 40096 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49729 40096 300 300 0 49429 0
vsize: 198916
[startup+540.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67277 0 0 0 53847 162 0 0 25 0 1 0 864584997 203689984 40102 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49729 40102 300 300 0 49429 0
vsize: 198916
[startup+550.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67283 0 0 0 54847 162 0 0 25 0 1 0 864584997 203689984 40108 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49729 40108 300 300 0 49429 0
vsize: 198916
[startup+560.034 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67292 0 0 0 55847 162 0 0 25 0 1 0 864584997 203689984 40117 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49729 40117 300 300 0 49429 0
vsize: 198916
[startup+570.041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67306 0 0 0 56848 162 0 0 25 0 1 0 864584997 203689984 40131 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49729 40131 300 300 0 49429 0
vsize: 198916
[startup+580.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67313 0 0 0 57848 162 0 0 25 0 1 0 864584997 203689984 40138 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49729 40138 300 300 0 49429 0
vsize: 198916
[startup+590.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67350 0 0 0 58848 162 0 0 25 0 1 0 864584997 203956224 40175 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49794 40175 300 300 0 49494 0
vsize: 199176
[startup+600.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67357 0 0 0 59848 162 0 0 25 0 1 0 864584997 203956224 40182 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49794 40182 300 300 0 49494 0
vsize: 199176
[startup+610.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67367 0 0 0 60848 162 0 0 25 0 1 0 864584997 203956224 40192 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49794 40192 300 300 0 49494 0
vsize: 199176
[startup+620.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 67375 0 0 0 61849 163 0 0 25 0 1 0 864584997 203956224 40200 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49794 40200 300 300 0 49494 0
vsize: 199176
[startup+630.149 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 68224 0 0 0 62857 165 0 0 25 0 1 0 864584997 204222464 40247 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49859 40247 300 300 0 49559 0
vsize: 199436
[startup+640.149 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 68286 0 0 0 63857 165 0 0 25 0 1 0 864584997 204353536 40276 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49891 40276 300 300 0 49591 0
vsize: 199564
[startup+650.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 68287 0 0 0 64857 165 0 0 25 0 1 0 864584997 204353536 40277 4294967295 134512640 135726644 3221224576 3221223216 134744671 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49891 40277 300 300 0 49591 0
vsize: 199564
[startup+660.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 68288 0 0 0 65857 165 0 0 25 0 1 0 864584997 204353536 40278 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49891 40278 300 300 0 49591 0
vsize: 199564
[startup+670.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 68289 0 0 0 66857 165 0 0 25 0 1 0 864584997 204353536 40279 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49891 40279 300 300 0 49591 0
vsize: 199564
[startup+680.153 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 69097 0 0 0 67855 167 0 0 25 0 1 0 864584997 204623872 40318 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49957 40318 300 300 0 49657 0
vsize: 199828
[startup+690.152 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 69098 0 0 0 68855 167 0 0 25 0 1 0 864584997 204623872 40319 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49957 40319 300 300 0 49657 0
vsize: 199828
[startup+700.155 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 69098 0 0 0 69856 167 0 0 25 0 1 0 864584997 204623872 40319 4294967295 134512640 135726644 3221224576 3221223108 134736763 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49957 40319 300 300 0 49657 0
vsize: 199828
[startup+710.156 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 69099 0 0 0 70856 167 0 0 25 0 1 0 864584997 204623872 40320 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49957 40320 300 300 0 49657 0
vsize: 199828
[startup+720.157 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 69125 0 0 0 71856 168 0 0 25 0 1 0 864584997 204759040 40346 4294967295 134512640 135726644 3221224576 3221223264 134744864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49990 40346 300 300 0 49690 0
vsize: 199960
[startup+730.158 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 69895 0 0 0 72854 170 0 0 25 0 1 0 864584997 204759040 40347 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49990 40347 300 300 0 49690 0
vsize: 199960
[startup+740.159 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18691
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 69896 0 0 0 73854 170 0 0 25 0 1 0 864584997 204759040 40348 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49990 40348 300 300 0 49690 0
vsize: 199960
[startup+750.158 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 69897 0 0 0 74854 170 0 0 25 0 1 0 864584997 204759040 40349 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49990 40349 300 300 0 49690 0
vsize: 199960
[startup+760.158 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 70667 0 0 0 75852 172 0 0 25 0 1 0 864584997 207908864 41119 4294967295 134512640 135726644 3221224576 3221222736 134765226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50759 41119 300 300 0 50459 0
vsize: 203036
[startup+770.163 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 70716 0 0 0 76853 172 0 0 25 0 1 0 864584997 204890112 40366 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50022 40366 300 300 0 49722 0
vsize: 200088
[startup+780.164 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 70737 0 0 0 77853 172 0 0 25 0 1 0 864584997 204890112 40387 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50022 40387 300 300 0 49722 0
vsize: 200088
[startup+790.174 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 70779 0 0 0 78854 173 0 0 25 0 1 0 864584997 205021184 40396 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50054 40396 300 300 0 49754 0
vsize: 200216
[startup+800.175 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 70787 0 0 0 79854 173 0 0 25 0 1 0 864584997 205021184 40404 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50054 40404 300 300 0 49754 0
vsize: 200216
[startup+810.175 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 71597 0 0 0 80852 174 0 0 25 0 1 0 864584997 205152256 40412 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50086 40412 300 300 0 49786 0
vsize: 200344
[startup+820.175 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 71608 0 0 0 81852 175 0 0 25 0 1 0 864584997 205152256 40423 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50086 40423 300 300 0 49786 0
vsize: 200344
[startup+830.176 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 71620 0 0 0 82852 175 0 0 25 0 1 0 864584997 205152256 40435 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50086 40435 300 300 0 49786 0
vsize: 200344
[startup+840.177 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 72391 0 0 0 83851 176 0 0 25 0 1 0 864584997 205152256 40437 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50086 40437 300 300 0 49786 0
vsize: 200344
[startup+850.177 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 72392 0 0 0 84851 176 0 0 25 0 1 0 864584997 205152256 40438 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50086 40438 300 300 0 49786 0
vsize: 200344
[startup+860.177 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 72393 0 0 0 85851 177 0 0 25 0 1 0 864584997 205152256 40439 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50086 40439 300 300 0 49786 0
vsize: 200344
[startup+870.177 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 72492 0 0 0 86851 177 0 0 25 0 1 0 864584997 205553664 40505 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50184 40505 300 300 0 49884 0
vsize: 200736
[startup+880.177 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 72540 0 0 0 87851 177 0 0 25 0 1 0 864584997 205684736 40520 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50216 40520 300 300 0 49916 0
vsize: 200864
[startup+890.178 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 73361 0 0 0 88849 179 0 0 25 0 1 0 864584997 205815808 40539 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50248 40539 300 300 0 49948 0
vsize: 200992
[startup+900.178 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 73362 0 0 0 89849 179 0 0 25 0 1 0 864584997 205815808 40540 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50248 40540 300 300 0 49948 0
vsize: 200992
[startup+910.179 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 73400 0 0 0 90849 179 0 0 25 0 1 0 864584997 206082048 40578 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50313 40578 300 300 0 50013 0
vsize: 201252
[startup+920.179 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 73401 0 0 0 91849 179 0 0 25 0 1 0 864584997 206082048 40579 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50313 40579 300 300 0 50013 0
vsize: 201252
[startup+930.178 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 74193 0 0 0 92847 182 0 0 25 0 1 0 864584997 206217216 40602 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50346 40602 300 300 0 50046 0
vsize: 201384
[startup+940.179 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 74201 0 0 0 93847 182 0 0 25 0 1 0 864584997 206217216 40610 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50346 40610 300 300 0 50046 0
vsize: 201384
[startup+950.179 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 74202 0 0 0 94847 183 0 0 25 0 1 0 864584997 206217216 40611 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50346 40611 300 300 0 50046 0
vsize: 201384
[startup+960.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 74202 0 0 0 95847 183 0 0 25 0 1 0 864584997 206217216 40611 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50346 40611 300 300 0 50046 0
vsize: 201384
[startup+970.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 74972 0 0 0 96845 185 0 0 25 0 1 0 864584997 206217216 40612 4294967295 134512640 135726644 3221224576 3221223072 134744328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50346 40612 300 300 0 50046 0
vsize: 201384
[startup+980.179 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 74987 0 0 0 97845 185 0 0 25 0 1 0 864584997 206217216 40627 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50346 40627 300 300 0 50046 0
vsize: 201384
[startup+990.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 74988 0 0 0 98845 185 0 0 25 0 1 0 864584997 206217216 40628 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50346 40628 300 300 0 50046 0
vsize: 201384
[startup+1000.18 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 74994 0 0 0 99845 186 0 0 25 0 1 0 864584997 206217216 40634 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50346 40634 300 300 0 50046 0
vsize: 201384
[startup+1010.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 75792 0 0 0 100843 187 0 0 25 0 1 0 864584997 206352384 40663 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50379 40663 300 300 0 50079 0
vsize: 201516
[startup+1020.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 75826 0 0 0 101843 188 0 0 25 0 1 0 864584997 206487552 40697 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50412 40697 300 300 0 50112 0
vsize: 201648
[startup+1030.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 75835 0 0 0 102843 188 0 0 25 0 1 0 864584997 206487552 40706 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50412 40706 300 300 0 50112 0
vsize: 201648
[startup+1040.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 75843 0 0 0 103844 188 0 0 25 0 1 0 864584997 206487552 40714 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50412 40714 300 300 0 50112 0
vsize: 201648
[startup+1050.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 75854 0 0 0 104844 188 0 0 25 0 1 0 864584997 206487552 40725 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50412 40725 300 300 0 50112 0
vsize: 201648
[startup+1060.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 76675 0 0 0 105842 190 0 0 25 0 1 0 864584997 206618624 40744 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50444 40744 300 300 0 50144 0
vsize: 201776
[startup+1070.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 76676 0 0 0 106843 190 0 0 25 0 1 0 864584997 206618624 40745 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50444 40745 300 300 0 50144 0
vsize: 201776
[startup+1080.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 76677 0 0 0 107843 190 0 0 25 0 1 0 864584997 206618624 40746 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50444 40746 300 300 0 50144 0
vsize: 201776
[startup+1090.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 76678 0 0 0 108843 190 0 0 25 0 1 0 864584997 206618624 40747 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50444 40747 300 300 0 50144 0
vsize: 201776
[startup+1100.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 76679 0 0 0 109843 190 0 0 25 0 1 0 864584997 206618624 40748 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50444 40748 300 300 0 50144 0
vsize: 201776
[startup+1110.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 77448 0 0 0 110841 192 0 0 25 0 1 0 864584997 206618624 40748 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50444 40748 300 300 0 50144 0
vsize: 201776
[startup+1120.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 77449 0 0 0 111841 192 0 0 25 0 1 0 864584997 206618624 40749 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50444 40749 300 300 0 50144 0
vsize: 201776
[startup+1130.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 77455 0 0 0 112841 192 0 0 25 0 1 0 864584997 206618624 40755 4294967295 134512640 135726644 3221224576 3221223072 134743967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50444 40755 300 300 0 50144 0
vsize: 201776
[startup+1140.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 77485 0 0 0 113841 192 0 0 25 0 1 0 864584997 206753792 40785 4294967295 134512640 135726644 3221224576 3221222816 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50477 40785 300 300 0 50177 0
vsize: 201908
[startup+1150.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 78267 0 0 0 114840 194 0 0 25 0 1 0 864584997 209903616 41567 4294967295 134512640 135726644 3221224576 3221222736 134765566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51246 41567 300 300 0 50946 0
vsize: 204984
[startup+1160.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 78283 0 0 0 115839 194 0 0 25 0 1 0 864584997 206753792 40814 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50477 40814 300 300 0 50177 0
vsize: 201908
[startup+1170.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 78291 0 0 0 116840 194 0 0 25 0 1 0 864584997 206753792 40822 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50477 40822 300 300 0 50177 0
vsize: 201908
[startup+1180.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 78300 0 0 0 117840 194 0 0 25 0 1 0 864584997 206753792 40831 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50477 40831 300 300 0 50177 0
vsize: 201908
[startup+1190.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 78311 0 0 0 118840 195 0 0 25 0 1 0 864584997 206753792 40842 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50477 40842 300 300 0 50177 0
vsize: 201908
[startup+1200.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18693
Raw data (stat): 18636 (pb2sat) R 18635 3394 3393 0 -1 0 79125 0 0 0 119837 197 0 0 25 0 1 0 864584997 207020032 40887 4294967295 134512640 135726644 3221224576 3221223072 134744120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50542 40887 300 300 0 50242 0
vsize: 202168
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.98 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 18693
Raw data (stat): 18636 (pb2sat) Z 18635 3394 3393 0 -1 12 79126 0 0 0 119908 205 0 0 25 0 1 0 864584997 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.98
CPU time (s): 1201.14
CPU user time (s): 1199.09
CPU system time (s): 2.05069
CPU usage (%): 100.013
Max. virtual memory (Kb): 204984
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	114
#### END VERIFIER DATA ####