PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-3pb.opb
MD5SUM	c267b57d74142f6538ad16680277f9bf
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	62
Optimality of the best value was proved	NO
Number of terms in the objective function	648
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	648
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	3
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	648
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02984
Number of variables	648
Total number of constraints	1954
Number of constraints which are clauses	1930
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	27
Trace number 42128

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 00:26:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25337 boxname=wulflinc6 idbench=239 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c267b57d74142f6538ad16680277f9bf  /oldhome/oroussel/tmp/wulflinc6/normalized-s4-4-3-3pb.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-s4-4-3-3pb.opb
IDLAUNCH: 25337
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        764196 kB
Buffers:         33888 kB
Cached:         214168 kB
SwapCached:       1028 kB
Active:          64528 kB
Inactive:       185776 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        763944 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            14556 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 00:38:12 (client local time) WITH STATUS 30 IN 716.663 SECONDS
stats: 25337 0 716.663 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 586/2962	Time: 4.46232/86400
c Decision: 586/2962	Time: 4.87326/86400
c Decision: 586/2962	Time: 5.44017/86400
c Decision: 593/2962	Time: 6.26705/86400
c Decision: 593/2962	Time: 6.93994/86400
c Decision: 593/2962	Time: 7.58085/86400
c Decision: 593/2962	Time: 8.21675/86400
c Decision: 593/2962	Time: 8.94464/86400
c Decision: 593/2962	Time: 9.78651/86400
c Decision: 593/2962	Time: 10.5734/86400
c Decision: 593/2962	Time: 11.3983/86400
c Decision: 593/2962	Time: 12.1921/86400
c Decision: 593/2962	Time: 13.044/86400
c Decision: 593/2962	Time: 13.8439/86400
c Decision: 593/2962	Time: 14.5588/86400
c Decision: 593/2962	Time: 15.6936/86400
c Decision: 593/2962	Time: 16.5435/86400
c Decision: 593/2962	Time: 17.4963/86400
c got solution with objective value: 72
c small objective detected
c CONFLICT during preprocess 

c [startup+20.2786 s]  setting bit 9 to 0
c CONFLICT during preprocess 

c [startup+20.431 s]  setting bit 8 to 0
c CONFLICT during preprocess 

c [startup+20.5758 s]  setting bit 7 to 0

c [startup+21.1056 s]  setting bit 6 to 0

c Decision: 22261/47139	Time: 17.5653/86400
c Decision: 22261/47139	Time: 21.7187/86400
c Decision: 22261/47139	Time: 26.439/86400
c Decision: 22848/47139	Time: 32.1421/86400
c Decision: 22848/47139	Time: 37.1544/86400
c Decision: 23894/47139	Time: 42.8125/86400
c [startup+68.3535 s]  setting bit 5 to 0

c Decision: 12846/47139	Time: 10.3464/86400
c Decision: 12846/47139	Time: 15.7006/86400
c Decision: 12846/47139	Time: 21.7227/86400
c Decision: 12846/47139	Time: 28.0057/86400
c Decision: 12846/47139	Time: 34.9377/86400
c Decision: 12846/47139	Time: 42.1176/86400
c Decision: 12846/47139	Time: 47.6468/86400
c Decision: 12846/47139	Time: 54.9206/86400
c Decision: 12846/47139	Time: 62.4475/86400
c Decision: 12846/47139	Time: 69.9734/86400
c Decision: 12846/47139	Time: 77.5132/86400
c Decision: 12846/47139	Time: 83.5843/86400
c Decision: 12846/47139	Time: 89.2324/86400
c Decision: 12846/47139	Time: 95.9874/86400
c Decision: 12846/47139	Time: 103.773/86400
c Decision: 12846/47139	Time: 111.051/86400
c Decision: 12846/47139	Time: 118.055/86400
c Decision: 12846/47139	Time: 124.67/86400
c Decision: 12846/47139	Time: 130.851/86400
c Decision: 12846/47139	Time: 139.182/86400
c Decision: 12846/47139	Time: 146.61/86400
c Decision: 12846/47139	Time: 152.728/86400
c Decision: 12892/47139	Time: 166.129/86400
c Decision: 12892/47139	Time: 173.682/86400
c Decision: 12892/47139	Time: 181.029/86400
c Decision: 12892/47139	Time: 188.655/86400
c Decision: 12892/47139	Time: 197.043/86400
c Decision: 12892/47139	Time: 205.185/86400
c Decision: 12892/47139	Time: 212.743/86400
c Decision: 12892/47139	Time: 222.424/86400
c [startup+319.362 s]  setting bit 4 to 0

c Decision: 13024/47139	Time: 45.3091/86400
c Decision: 14571/47139	Time: 58.6591/86400
c Decision: 14571/47139	Time: 66.9428/86400
c Decision: 14571/47139	Time: 75.5205/86400
c got solution with objective value: 62
c [startup+405.408 s]  setting bit 3 to 1

c Decision: 15319/47139	Time: 35.0087/86400
c Decision: 15319/47139	Time: 43.1564/86400
c Decision: 15319/47139	Time: 50.9783/86400
c Decision: 15319/47139	Time: 59.229/86400
c Decision: 15319/47139	Time: 66.8098/86400
c Decision: 15319/47139	Time: 75.3625/86400
c Decision: 15319/47139	Time: 82.9114/86400
c Decision: 15319/47139	Time: 91.1741/86400
c Decision: 15323/47139	Time: 107.364/86400
c Decision: 15329/47139	Time: 122.758/86400
c [startup+546.021 s]  setting bit 2 to 0

c Decision: 16878/47139	Time: 7.54485/86400
c Decision: 16878/47139	Time: 13.8639/86400
c Decision: 16878/47139	Time: 22.0536/86400
c Decision: 16878/47139	Time: 28.3377/86400
c Decision: 16878/47139	Time: 36.4945/86400
c Decision: 16878/47139	Time: 45.6941/86400
c Decision: 16878/47139	Time: 52.679/86400
c Decision: 16878/47139	Time: 62.3135/86400
c Decision: 16878/47139	Time: 70.7452/86400
c Decision: 16878/47139	Time: 80.1198/86400
c Decision: 16880/47139	Time: 89.5004/86400
c Decision: 16881/47139	Time: 100.14/86400
c Decision: 16887/47139	Time: 123.444/86400
c [startup+679.477 s]  setting bit 1 to 0

c got solution with objective value: 62
c [startup+716.202 s]  setting bit 0 to 1
s OPTIMUM FOUND
v -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 -v65 -v66 v67 -v68 -v69 -v7 -v70 -v71 -v72 -v73 -v74 -v75 -v76 -v77 -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.84 0.94 0.90 2/54 11978
Raw data (stat): 11978 (runsolver) R 11977 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966430000 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 1292 0 0 0 992 7 0 0 25 0 1 0 966430000 5988352 1094 4294967295 134512640 135730672 3221224592 3221223088 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1462 1094 301 301 0 1161 0
vsize: 5848
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 7429 0 0 0 1976 23 0 0 25 0 1 0 966430000 26955776 4727 4294967295 134512640 135730672 3221224592 3221075232 134611253 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6581 4728 301 301 0 6280 0
vsize: 26324
[startup+30.0024 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 8853 0 0 0 2973 26 0 0 25 0 1 0 966430000 29949952 5650 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7312 5650 301 301 0 7011 0
vsize: 29248
[startup+40.0029 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 9199 0 0 0 3971 29 0 0 25 0 1 0 966430000 30707712 5903 4294967295 134512640 135730672 3221224592 3221222972 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7497 5903 301 301 0 7196 0
vsize: 29988
[startup+50.0041 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 9408 0 0 0 4970 30 0 0 25 0 1 0 966430000 30904320 6019 4294967295 134512640 135730672 3221224592 3221222880 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7545 6019 301 301 0 7244 0
vsize: 30180
[startup+60.0039 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 9782 0 0 0 5968 32 0 0 25 0 1 0 966430000 31416320 6207 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7670 6207 301 301 0 7369 0
vsize: 30680
[startup+70.0044 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 10146 0 0 0 6967 34 0 0 25 0 1 0 966430000 31944704 6385 4294967295 134512640 135730672 3221224592 3221222880 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7799 6385 301 301 0 7498 0
vsize: 31196
[startup+80.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 10329 0 0 0 7966 35 0 0 25 0 1 0 966430000 31944704 6475 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7799 6475 301 301 0 7498 0
vsize: 31196
[startup+90.0057 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 10566 0 0 0 8965 36 0 0 25 0 1 0 966430000 32337920 6619 4294967295 134512640 135730672 3221224592 3221222800 134741582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7895 6619 301 301 0 7594 0
vsize: 31580
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 10779 0 0 0 9965 37 0 0 25 0 1 0 966430000 32608256 6739 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7961 6739 301 301 0 7660 0
vsize: 31844
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 10889 0 0 0 10965 38 0 0 25 0 1 0 966430000 32878592 6849 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8027 6849 301 301 0 7726 0
vsize: 32108
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 11062 0 0 0 11964 39 0 0 25 0 1 0 966430000 32878592 6929 4294967295 134512640 135730672 3221224592 3221222880 134747636 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8027 6929 301 301 0 7726 0
vsize: 32108
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 11125 0 0 0 12964 39 0 0 25 0 1 0 966430000 32878592 6992 4294967295 134512640 135730672 3221224592 3221222928 134740310 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8027 6992 301 301 0 7726 0
vsize: 32108
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 11314 0 0 0 13963 40 0 0 25 0 1 0 966430000 33026048 7088 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8063 7088 301 301 0 7762 0
vsize: 32252
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 11481 0 0 0 14963 41 0 0 25 0 1 0 966430000 33026048 7162 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8063 7162 301 301 0 7762 0
vsize: 32252
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 11776 0 0 0 15962 42 0 0 25 0 1 0 966430000 41549824 7271 4294967295 134512640 135730672 3221224592 3221223072 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10144 7271 301 301 0 9843 0
vsize: 40576
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 12053 0 0 0 16961 43 0 0 25 0 1 0 966430000 42106880 7455 4294967295 134512640 135730672 3221224592 3221223008 134748244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10280 7455 301 301 0 9979 0
vsize: 41120
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 12433 0 0 0 17960 45 0 0 25 0 1 0 966430000 42909696 7649 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10476 7649 301 301 0 10175 0
vsize: 41904
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 12609 0 0 0 18960 45 0 0 25 0 1 0 966430000 42909696 7732 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10476 7732 301 301 0 10175 0
vsize: 41904
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 12885 0 0 0 19959 47 0 0 25 0 1 0 966430000 42909696 7822 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10476 7822 301 301 0 10175 0
vsize: 41904
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 13050 0 0 0 20958 48 0 0 25 0 1 0 966430000 42909696 7894 4294967295 134512640 135730672 3221224592 3221223040 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10476 7894 301 301 0 10175 0
vsize: 41904
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 13186 0 0 0 21958 48 0 0 25 0 1 0 966430000 42909696 7937 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10476 7937 301 301 0 10175 0
vsize: 41904
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 13371 0 0 0 22957 49 0 0 25 0 1 0 966430000 43089920 8029 4294967295 134512640 135730672 3221224592 3221222880 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10520 8029 301 301 0 10219 0
vsize: 42080
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 13706 0 0 0 23956 50 0 0 25 0 1 0 966430000 43827200 8271 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10700 8271 301 301 0 10399 0
vsize: 42800
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 14016 0 0 0 24955 52 0 0 25 0 1 0 966430000 44097536 8395 4294967295 134512640 135730672 3221224592 3221222880 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10766 8395 301 301 0 10465 0
vsize: 43064
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 14162 0 0 0 25955 53 0 0 25 0 1 0 966430000 44097536 8448 4294967295 134512640 135730672 3221224592 3221222704 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10766 8448 301 301 0 10465 0
vsize: 43064
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 14303 0 0 0 26955 53 0 0 25 0 1 0 966430000 44367872 8496 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10832 8496 301 301 0 10531 0
vsize: 43328
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 14406 0 0 0 27954 54 0 0 25 0 1 0 966430000 44367872 8506 4294967295 134512640 135730672 3221224592 3221222880 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10832 8506 301 301 0 10531 0
vsize: 43328
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 14507 0 0 0 28954 54 0 0 25 0 1 0 966430000 44367872 8514 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10832 8514 301 301 0 10531 0
vsize: 43328
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 14828 0 0 0 29953 56 0 0 25 0 1 0 966430000 45178880 8742 4294967295 134512640 135730672 3221224592 3221222880 134747641 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11030 8742 301 301 0 10729 0
vsize: 44120
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 14925 0 0 0 30953 56 0 0 25 0 1 0 966430000 45178880 8839 4294967295 134512640 135730672 3221224592 3221223040 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11030 8839 301 301 0 10729 0
vsize: 44120
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 15123 0 0 0 31953 56 0 0 25 0 1 0 966430000 45178880 8944 4294967295 134512640 135730672 3221224592 3221222704 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11030 8944 301 301 0 10729 0
vsize: 44120
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 15201 0 0 0 32952 57 0 0 25 0 1 0 966430000 45178880 9022 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11030 9022 301 301 0 10729 0
vsize: 44120
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 15274 0 0 0 33951 59 0 0 25 0 1 0 966430000 45178880 9095 4294967295 134512640 135730672 3221224592 3221222624 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11030 9095 301 301 0 10729 0
vsize: 44120
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 15348 0 0 0 34951 60 0 0 25 0 1 0 966430000 45178880 9169 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11030 9169 301 301 0 10729 0
vsize: 44120
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 15407 0 0 0 35950 60 0 0 25 0 1 0 966430000 45178880 9228 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11030 9228 301 301 0 10729 0
vsize: 44120
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 15593 0 0 0 36950 61 0 0 25 0 1 0 966430000 45539328 9321 4294967295 134512640 135730672 3221224592 3221223008 134748191 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11118 9321 301 301 0 10817 0
vsize: 44472
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 15701 0 0 0 37949 62 0 0 25 0 1 0 966430000 45539328 9336 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11118 9336 301 301 0 10817 0
vsize: 44472
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 15845 0 0 0 38948 64 0 0 25 0 1 0 966430000 45715456 9387 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11161 9387 301 301 0 10860 0
vsize: 44644
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 16025 0 0 0 39948 65 0 0 25 0 1 0 966430000 45715456 9474 4294967295 134512640 135730672 3221224592 3221223072 134748570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11161 9474 301 301 0 10860 0
vsize: 44644
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 16268 0 0 0 40947 66 0 0 25 0 1 0 966430000 46170112 9624 4294967295 134512640 135730672 3221224592 3221222624 134786507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11272 9624 301 301 0 10971 0
vsize: 45088
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 16364 0 0 0 41947 66 0 0 25 0 1 0 966430000 46170112 9720 4294967295 134512640 135730672 3221224592 3221222928 134740316 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11272 9720 301 301 0 10971 0
vsize: 45088
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 16451 0 0 0 42947 67 0 0 25 0 1 0 966430000 46170112 9807 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11272 9807 301 301 0 10971 0
vsize: 45088
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 16647 0 0 0 43946 68 0 0 25 0 1 0 966430000 46305280 9910 4294967295 134512640 135730672 3221224592 3221222800 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11305 9910 301 301 0 11004 0
vsize: 45220
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 16764 0 0 0 44946 68 0 0 25 0 1 0 966430000 46440448 9934 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11338 9934 301 301 0 11037 0
vsize: 45352
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 16772 0 0 0 45946 69 0 0 25 0 1 0 966430000 46440448 9942 4294967295 134512640 135730672 3221224592 3221222880 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11338 9942 301 301 0 11037 0
vsize: 45352
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 16777 0 0 0 46946 69 0 0 25 0 1 0 966430000 46440448 9947 4294967295 134512640 135730672 3221224592 3221222880 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11338 9947 301 301 0 11037 0
vsize: 45352
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 16881 0 0 0 47946 70 0 0 25 0 1 0 966430000 46612480 9958 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11380 9958 301 301 0 11079 0
vsize: 45520
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 16954 0 0 0 48945 70 0 0 25 0 1 0 966430000 46612480 10031 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11380 10031 301 301 0 11079 0
vsize: 45520
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 17048 0 0 0 49945 71 0 0 25 0 1 0 966430000 46858240 10125 4294967295 134512640 135730672 3221224592 3221222880 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11440 10125 301 301 0 11139 0
vsize: 45760
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 17160 0 0 0 50945 71 0 0 25 0 1 0 966430000 46993408 10237 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11473 10237 301 301 0 11172 0
vsize: 45892
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 17398 0 0 0 51944 72 0 0 25 0 1 0 966430000 47263744 10382 4294967295 134512640 135730672 3221224592 3221222880 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11539 10382 301 301 0 11238 0
vsize: 46156
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 17610 0 0 0 52944 73 0 0 25 0 1 0 966430000 47398912 10501 4294967295 134512640 135730672 3221224592 3221222880 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11572 10501 301 301 0 11271 0
vsize: 46288
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 17684 0 0 0 53942 75 0 0 25 0 1 0 966430000 47542272 10575 4294967295 134512640 135730672 3221224592 3221222880 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11607 10575 301 301 0 11306 0
vsize: 46428
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 17784 0 0 0 54942 76 0 0 25 0 1 0 966430000 47542272 10582 4294967295 134512640 135730672 3221224592 3221223008 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11607 10582 301 301 0 11306 0
vsize: 46428
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 17883 0 0 0 55942 76 0 0 25 0 1 0 966430000 47542272 10588 4294967295 134512640 135730672 3221224592 3221222880 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11607 10588 301 301 0 11306 0
vsize: 46428
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 19520 0 0 0 56939 79 0 0 25 0 1 0 966430000 53833728 10595 4294967295 134512640 135730672 3221224592 3221222880 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13143 10595 301 301 0 12842 0
vsize: 52572
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 19565 0 0 0 57939 80 0 0 25 0 1 0 966430000 54104064 10640 4294967295 134512640 135730672 3221224592 3221222976 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13209 10640 301 301 0 12908 0
vsize: 52836
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 19704 0 0 0 58939 80 0 0 25 0 1 0 966430000 54374400 10686 4294967295 134512640 135730672 3221224592 3221223008 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13275 10686 301 301 0 12974 0
vsize: 53100
[startup+600.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 19709 0 0 0 59938 81 0 0 25 0 1 0 966430000 54374400 10691 4294967295 134512640 135730672 3221224592 3221223004 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13275 10691 301 301 0 12974 0
vsize: 53100
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 19718 0 0 0 60939 81 0 0 25 0 1 0 966430000 54374400 10700 4294967295 134512640 135730672 3221224592 3221222976 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13275 10700 301 301 0 12974 0
vsize: 53100
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 19726 0 0 0 61938 82 0 0 25 0 1 0 966430000 54374400 10708 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13275 10708 301 301 0 12974 0
vsize: 53100
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 19731 0 0 0 62939 82 0 0 25 0 1 0 966430000 54374400 10713 4294967295 134512640 135730672 3221224592 3221222880 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13275 10713 301 301 0 12974 0
vsize: 53100
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 19829 0 0 0 63939 82 0 0 25 0 1 0 966430000 54374400 10718 4294967295 134512640 135730672 3221224592 3221222880 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13275 10718 301 301 0 12974 0
vsize: 53100
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 19927 0 0 0 64938 83 0 0 25 0 1 0 966430000 54374400 10723 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13275 10723 301 301 0 12974 0
vsize: 53100
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 19931 0 0 0 65938 83 0 0 25 0 1 0 966430000 54374400 10727 4294967295 134512640 135730672 3221224592 3221222880 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13275 10727 301 301 0 12974 0
vsize: 53100
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 20030 0 0 0 66938 84 0 0 25 0 1 0 966430000 54374400 10733 4294967295 134512640 135730672 3221224592 3221222704 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13275 10733 301 301 0 12974 0
vsize: 53100
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 20160 0 0 0 67938 85 0 0 25 0 1 0 966430000 54517760 10770 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13310 10770 301 301 0 13009 0
vsize: 53240
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 20185 0 0 0 68938 85 0 0 25 0 1 0 966430000 54681600 10795 4294967295 134512640 135730672 3221224592 3221222880 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13350 10795 301 301 0 13049 0
vsize: 53400
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 20218 0 0 0 69938 86 0 0 25 0 1 0 966430000 54845440 10828 4294967295 134512640 135730672 3221224592 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13390 10828 301 301 0 13089 0
vsize: 53560
[startup+710.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 20245 0 0 0 70937 87 0 0 25 0 1 0 966430000 54992896 10855 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13426 10855 301 301 0 13125 0
vsize: 53704
[startup+716.45 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11978
Raw data (stat): 11978 (pb2sat-v2) R 11977 25568 25567 0 -1 0 20245 0 0 0 70937 87 0 0 25 0 1 0 966430000 54992896 10855 4294967295 134512640 135730672 3221224592 3221222880 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13426 10855 301 301 0 13125 0
vsize: 0

Child status: 30
Real time (s): 716.45
CPU time (s): 716.663
CPU user time (s): 715.769
CPU system time (s): 0.893864
CPU usage (%): 100.03
Max. virtual memory (Kb): 53704
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	62
#### END VERIFIER DATA ####