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/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran4x64.opb
MD5SUM	7604157ea8afc3404bc57ce8776c9667
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	16763904
Optimality of the best value was proved	NO
Number of terms in the objective function	7936
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1503282307720
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1503282307720
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1225.15
Number of variables	7936
Total number of constraints	324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	324
Minimum length of a constraint	31
Maximum length of a constraint	1920
Trace number 42589

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 11:51:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25804 boxname=wulflinc3 idbench=1104 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7604157ea8afc3404bc57ce8776c9667  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-ran4x64.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-ran4x64.opb
IDLAUNCH: 25804
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        702348 kB
Buffers:         19808 kB
Cached:         290676 kB
SwapCached:        820 kB
Active:          33296 kB
Inactive:       279328 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        702096 kB
SwapTotal:     2097136 kB
SwapFree:      2095340 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14052 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:11:56 (client local time) WITH STATUS 0 IN 1201.77 SECONDS
stats: 25804 7 1201.77 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 29316/609855	Time: 70.9752/86400
c Decision: 29322/609855	Time: 132.508/86400
c Decision: 29329/609855	Time: 190.768/86400
c Decision: 29332/609855	Time: 233.089/86400
c Decision: 29332/609855	Time: 290.687/86400
c Decision: 29332/609855	Time: 347.344/86400
c Decision: 29383/609855	Time: 577.367/86400
c Decision: 29423/609855	Time: 845.328/86400
c Decision: 29458/609855	Time: 966.723/86400
c Decision: 29487/609855	Time: 1114.1/86400s UNKNOWN
#### 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 1/54 21718
Raw data (stat): 21718 (runsolver) R 21717 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970536078 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.0014 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 26087 0 0 0 943 55 0 0 25 0 1 0 970536078 81412096 15203 4294967295 134512640 135730672 3221224576 3220587568 134611018 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19876 15203 301 301 0 19575 0
vsize: 79504
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 52286 0 0 0 1884 113 0 0 25 0 1 0 970536078 156184576 30436 4294967295 134512640 135730672 3221224576 3220939648 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38131 30436 301 301 0 37830 0
vsize: 152524
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 91107 0 0 0 2810 188 0 0 25 0 1 0 970536078 271364096 47565 4294967295 134512640 135730672 3221224576 3221221888 134568880 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 66251 47565 301 301 0 65950 0
vsize: 265004
[startup+40.0026 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 92605 0 0 0 3804 193 0 0 25 0 1 0 970536078 271364096 47864 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66251 47864 301 301 0 65950 0
vsize: 265004
[startup+50.0032 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 93440 0 0 0 4801 196 0 0 25 0 1 0 970536078 275369984 48699 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 67229 48699 301 301 0 66928 0
vsize: 268916
[startup+60.0027 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 94215 0 0 0 5798 199 0 0 25 0 1 0 970536078 279093248 49474 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68138 49474 301 301 0 67837 0
vsize: 272552
[startup+70.0032 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 94988 0 0 0 6796 201 0 0 25 0 1 0 970536078 282857472 50247 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 69057 50247 301 301 0 68756 0
vsize: 276228
[startup+80.0034 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 96039 0 0 0 7793 204 0 0 25 0 1 0 970536078 288604160 51298 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70460 51298 301 301 0 70159 0
vsize: 281840
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 96878 0 0 0 8789 208 0 0 25 0 1 0 970536078 293257216 52137 4294967295 134512640 135730672 3221224576 3221223232 134734783 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71596 52137 301 301 0 71295 0
vsize: 286384
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 98264 0 0 0 9785 212 0 0 25 0 1 0 970536078 294567936 52331 4294967295 134512640 135730672 3221224576 3221223116 135301642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 71916 52331 301 301 0 71615 0
vsize: 287664
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 98453 0 0 0 10784 214 0 0 25 0 1 0 970536078 295452672 52520 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72132 52520 301 301 0 71831 0
vsize: 288528
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 98764 0 0 0 11781 216 0 0 25 0 1 0 970536078 297279488 52831 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72578 52831 301 301 0 72277 0
vsize: 290312
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 99069 0 0 0 12780 218 0 0 25 0 1 0 970536078 299327488 53136 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73078 53136 301 301 0 72777 0
vsize: 292312
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 99216 0 0 0 13778 220 0 0 25 0 1 0 970536078 300310528 53283 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73318 53283 301 301 0 73017 0
vsize: 293272
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 99467 0 0 0 14777 222 0 0 25 0 1 0 970536078 301965312 53534 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73722 53534 301 301 0 73421 0
vsize: 294888
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 99730 0 0 0 15774 225 0 0 25 0 1 0 970536078 303505408 53797 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 74098 53797 301 301 0 73797 0
vsize: 296392
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 101028 0 0 0 16769 229 0 0 25 0 1 0 970536078 304062464 53903 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74234 53903 301 301 0 73933 0
vsize: 296936
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 101128 0 0 0 17767 231 0 0 25 0 1 0 970536078 304848896 54003 4294967295 134512640 135730672 3221224576 3221223072 134747590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74426 54003 301 301 0 74125 0
vsize: 297704
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 101316 0 0 0 18766 233 0 0 25 0 1 0 970536078 305766400 54191 4294967295 134512640 135730672 3221224576 3221223072 134747939 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74650 54191 301 301 0 74349 0
vsize: 298600
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 101438 0 0 0 19764 234 0 0 25 0 1 0 970536078 306552832 54313 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74842 54313 301 301 0 74541 0
vsize: 299368
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 101585 0 0 0 20763 236 0 0 25 0 1 0 970536078 307535872 54460 4294967295 134512640 135730672 3221224576 3221223072 134747516 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75082 54460 301 301 0 74781 0
vsize: 300328
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 102880 0 0 0 21758 241 0 0 25 0 1 0 970536078 313008128 55755 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76418 55755 301 301 0 76117 0
vsize: 305672
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 102916 0 0 0 22756 243 0 0 25 0 1 0 970536078 308322304 54599 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75274 54599 301 301 0 74973 0
vsize: 301096
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 103018 0 0 0 23754 245 0 0 25 0 1 0 970536078 308817920 54701 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75395 54701 301 301 0 75094 0
vsize: 301580
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 103033 0 0 0 24753 246 0 0 25 0 1 0 970536078 308817920 54716 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75395 54716 301 301 0 75094 0
vsize: 301580
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 103092 0 0 0 25753 247 0 0 25 0 1 0 970536078 309211136 54775 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75491 54775 301 301 0 75190 0
vsize: 301964
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 104335 0 0 0 26749 251 0 0 25 0 1 0 970536078 309604352 54826 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75587 54826 301 301 0 75286 0
vsize: 302348
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 104399 0 0 0 27746 254 0 0 25 0 1 0 970536078 310095872 54890 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75707 54890 301 301 0 75406 0
vsize: 302828
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 104567 0 0 0 28743 257 0 0 25 0 1 0 970536078 310915072 55058 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75907 55058 301 301 0 75606 0
vsize: 303628
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 104657 0 0 0 29741 259 0 0 25 0 1 0 970536078 311406592 55148 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76027 55148 301 301 0 75726 0
vsize: 304108
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 104707 0 0 0 30739 261 0 0 25 0 1 0 970536078 311734272 55198 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76107 55198 301 301 0 75806 0
vsize: 304428
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 106039 0 0 0 31735 265 0 0 25 0 1 0 970536078 317501440 56530 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 77515 56530 301 301 0 77214 0
vsize: 310060
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 106133 0 0 0 32733 267 0 0 25 0 1 0 970536078 313208832 55432 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76467 55432 301 301 0 76166 0
vsize: 305868
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 106193 0 0 0 33732 269 0 0 25 0 1 0 970536078 313569280 55492 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76555 55492 301 301 0 76254 0
vsize: 306220
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 106263 0 0 0 34731 270 0 0 25 0 1 0 970536078 313929728 55562 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76643 55562 301 301 0 76342 0
vsize: 306572
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 106363 0 0 0 35730 271 0 0 25 0 1 0 970536078 314486784 55662 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76779 55662 301 301 0 76478 0
vsize: 307116
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 106468 0 0 0 36729 272 0 0 25 0 1 0 970536078 315240448 55767 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76963 55767 301 301 0 76662 0
vsize: 307852
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 107680 0 0 0 37726 276 0 0 25 0 1 0 970536078 315240448 55787 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 76963 55787 301 301 0 76662 0
vsize: 307852
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 107822 0 0 0 38724 277 0 0 25 0 1 0 970536078 316092416 55929 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77171 55929 301 301 0 76870 0
vsize: 308684
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 107973 0 0 0 39723 279 0 0 25 0 1 0 970536078 317140992 56080 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77427 56080 301 301 0 77126 0
vsize: 309708
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108034 0 0 0 40722 280 0 0 25 0 1 0 970536078 317501440 56141 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77515 56141 301 301 0 77214 0
vsize: 310060
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108054 0 0 0 41722 281 0 0 25 0 1 0 970536078 317501440 56161 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77515 56161 301 301 0 77214 0
vsize: 310060
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108096 0 0 0 42721 282 0 0 25 0 1 0 970536078 317894656 56203 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77611 56203 301 301 0 77310 0
vsize: 310444
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108138 0 0 0 43720 282 0 0 25 0 1 0 970536078 318091264 56245 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77659 56245 301 301 0 77358 0
vsize: 310636
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108141 0 0 0 44720 283 0 0 25 0 1 0 970536078 318091264 56248 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77659 56248 301 301 0 77358 0
vsize: 310636
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108144 0 0 0 45718 285 0 0 25 0 1 0 970536078 318091264 56251 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77659 56251 301 301 0 77358 0
vsize: 310636
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108148 0 0 0 46717 286 0 0 25 0 1 0 970536078 318091264 56255 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77659 56255 301 301 0 77358 0
vsize: 310636
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108168 0 0 0 47716 287 0 0 25 0 1 0 970536078 318287872 56275 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77707 56275 301 301 0 77406 0
vsize: 310828
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21718
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108198 0 0 0 48716 288 0 0 25 0 1 0 970536078 318484480 56305 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77755 56305 301 301 0 77454 0
vsize: 311020
[startup+500.035 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 21771
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108211 0 0 0 49716 288 0 0 25 0 1 0 970536078 318484480 56318 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77755 56318 301 301 0 77454 0
vsize: 311020
[startup+510.035 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 21771
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108222 0 0 0 50716 289 0 0 25 0 1 0 970536078 318484480 56329 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77755 56329 301 301 0 77454 0
vsize: 311020
[startup+520.034 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 21771
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108225 0 0 0 51715 290 0 0 25 0 1 0 970536078 318484480 56332 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77755 56332 301 301 0 77454 0
vsize: 311020
[startup+530.034 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 21771
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108226 0 0 0 52714 291 0 0 25 0 1 0 970536078 318484480 56333 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77755 56333 301 301 0 77454 0
vsize: 311020
[startup+540.034 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 21771
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108239 0 0 0 53713 292 0 0 25 0 1 0 970536078 318681088 56346 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77803 56346 301 301 0 77502 0
vsize: 311212
[startup+550.036 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 21771
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108270 0 0 0 54712 293 0 0 25 0 1 0 970536078 318877696 56377 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77851 56377 301 301 0 77550 0
vsize: 311404
[startup+560.036 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21771
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108310 0 0 0 55711 295 0 0 25 0 1 0 970536078 319074304 56417 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77899 56417 301 301 0 77598 0
vsize: 311596
[startup+570.036 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108370 0 0 0 56710 295 0 0 25 0 1 0 970536078 319385600 56477 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 77975 56477 301 301 0 77674 0
vsize: 311900
[startup+580.037 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108390 0 0 0 57709 297 0 0 25 0 1 0 970536078 319582208 56497 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78023 56497 301 301 0 77722 0
vsize: 312092
[startup+590.036 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108392 0 0 0 58708 298 0 0 25 0 1 0 970536078 319582208 56499 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78023 56499 301 301 0 77722 0
vsize: 312092
[startup+600.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 108394 0 0 0 59707 299 0 0 25 0 1 0 970536078 319582208 56501 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78023 56501 301 301 0 77722 0
vsize: 312092
[startup+610.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109626 0 0 0 60704 302 0 0 25 0 1 0 970536078 319778816 56541 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78071 56541 301 301 0 77770 0
vsize: 312284
[startup+620.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109635 0 0 0 61702 304 0 0 25 0 1 0 970536078 319778816 56550 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78071 56550 301 301 0 77770 0
vsize: 312284
[startup+630.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109671 0 0 0 62701 305 0 0 25 0 1 0 970536078 319975424 56586 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78119 56586 301 301 0 77818 0
vsize: 312476
[startup+640.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109694 0 0 0 63700 306 0 0 25 0 1 0 970536078 320172032 56609 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78167 56609 301 301 0 77866 0
vsize: 312668
[startup+650.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109783 0 0 0 64698 308 0 0 25 0 1 0 970536078 320761856 56698 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78311 56698 301 301 0 78010 0
vsize: 313244
[startup+660.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109841 0 0 0 65697 309 0 0 25 0 1 0 970536078 321155072 56756 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78407 56756 301 301 0 78106 0
vsize: 313628
[startup+670.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109860 0 0 0 66695 311 0 0 25 0 1 0 970536078 321351680 56775 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78455 56775 301 301 0 78154 0
vsize: 313820
[startup+680.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109910 0 0 0 67694 312 0 0 25 0 1 0 970536078 321548288 56825 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78503 56825 301 301 0 78202 0
vsize: 314012
[startup+690.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109951 0 0 0 68693 314 0 0 25 0 1 0 970536078 321941504 56866 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78599 56866 301 301 0 78298 0
vsize: 314396
[startup+700.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109965 0 0 0 69691 315 0 0 25 0 1 0 970536078 321941504 56880 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78599 56880 301 301 0 78298 0
vsize: 314396
[startup+710.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109984 0 0 0 70690 317 0 0 25 0 1 0 970536078 322138112 56899 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78647 56899 301 301 0 78346 0
vsize: 314588
[startup+720.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 109988 0 0 0 71688 319 0 0 25 0 1 0 970536078 322138112 56903 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78647 56903 301 301 0 78346 0
vsize: 314588
[startup+730.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110032 0 0 0 72687 320 0 0 25 0 1 0 970536078 322334720 56947 4294967295 134512640 135730672 3221224576 3221223088 135283013 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78695 56947 301 301 0 78394 0
vsize: 314780
[startup+740.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110045 0 0 0 73686 321 0 0 25 0 1 0 970536078 322334720 56960 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78695 56960 301 301 0 78394 0
vsize: 314780
[startup+750.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110076 0 0 0 74686 322 0 0 25 0 1 0 970536078 322531328 56991 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78743 56991 301 301 0 78442 0
vsize: 314972
[startup+760.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110079 0 0 0 75685 323 0 0 25 0 1 0 970536078 322531328 56994 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78743 56994 301 301 0 78442 0
vsize: 314972
[startup+770.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110091 0 0 0 76684 324 0 0 25 0 1 0 970536078 322727936 57006 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78791 57006 301 301 0 78490 0
vsize: 315164
[startup+780.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110169 0 0 0 77683 325 0 0 25 0 1 0 970536078 323121152 57084 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78887 57084 301 301 0 78586 0
vsize: 315548
[startup+790.045 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110171 0 0 0 78682 326 0 0 25 0 1 0 970536078 323121152 57086 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78887 57086 301 301 0 78586 0
vsize: 315548
[startup+800.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110208 0 0 0 79681 327 0 0 25 0 1 0 970536078 323317760 57123 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78935 57123 301 301 0 78634 0
vsize: 315740
[startup+810.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110220 0 0 0 80680 328 0 0 25 0 1 0 970536078 323514368 57135 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78983 57135 301 301 0 78682 0
vsize: 315932
[startup+820.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21773
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110223 0 0 0 81680 329 0 0 25 0 1 0 970536078 323514368 57138 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 78983 57138 301 301 0 78682 0
vsize: 315932
[startup+830.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110247 0 0 0 82679 329 0 0 25 0 1 0 970536078 323514368 57162 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78983 57162 301 301 0 78682 0
vsize: 315932
[startup+840.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110248 0 0 0 83678 331 0 0 25 0 1 0 970536078 323514368 57163 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78983 57163 301 301 0 78682 0
vsize: 315932
[startup+850.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110251 0 0 0 84678 331 0 0 25 0 1 0 970536078 323514368 57166 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 78983 57166 301 301 0 78682 0
vsize: 315932
[startup+860.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110278 0 0 0 85677 332 0 0 25 0 1 0 970536078 323710976 57193 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79031 57193 301 301 0 78730 0
vsize: 316124
[startup+870.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 110297 0 0 0 86676 334 0 0 25 0 1 0 970536078 323907584 57212 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79079 57212 301 301 0 78778 0
vsize: 316316
[startup+880.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111498 0 0 0 87671 338 0 0 25 0 1 0 970536078 323907584 57221 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79079 57221 301 301 0 78778 0
vsize: 316316
[startup+890.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111520 0 0 0 88669 339 0 0 25 0 1 0 970536078 323907584 57243 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79079 57243 301 301 0 78778 0
vsize: 316316
[startup+900.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111524 0 0 0 89668 341 0 0 25 0 1 0 970536078 323907584 57247 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79079 57247 301 301 0 78778 0
vsize: 316316
[startup+910.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111528 0 0 0 90667 342 0 0 25 0 1 0 970536078 323907584 57251 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79079 57251 301 301 0 78778 0
vsize: 316316
[startup+920.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111541 0 0 0 91667 343 0 0 25 0 1 0 970536078 324104192 57264 4294967295 134512640 135730672 3221224576 3221223200 134748120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79127 57264 301 301 0 78826 0
vsize: 316508
[startup+930.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111568 0 0 0 92667 343 0 0 25 0 1 0 970536078 324268032 57291 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79167 57291 301 301 0 78866 0
vsize: 316668
[startup+940.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111591 0 0 0 93665 345 0 0 25 0 1 0 970536078 324268032 57314 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79167 57314 301 301 0 78866 0
vsize: 316668
[startup+950.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111595 0 0 0 94665 345 0 0 25 0 1 0 970536078 324268032 57318 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79167 57318 301 301 0 78866 0
vsize: 316668
[startup+960.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111606 0 0 0 95664 346 0 0 25 0 1 0 970536078 324464640 57329 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79215 57329 301 301 0 78914 0
vsize: 316860
[startup+970.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111618 0 0 0 96664 347 0 0 25 0 1 0 970536078 324464640 57341 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79215 57341 301 301 0 78914 0
vsize: 316860
[startup+980.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111621 0 0 0 97663 348 0 0 25 0 1 0 970536078 324464640 57344 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79215 57344 301 301 0 78914 0
vsize: 316860
[startup+990.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 111625 0 0 0 98663 348 0 0 25 0 1 0 970536078 324464640 57348 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79215 57348 301 301 0 78914 0
vsize: 316860
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112819 0 0 0 99660 351 0 0 25 0 1 0 970536078 324464640 57350 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79215 57350 301 301 0 78914 0
vsize: 316860
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112844 0 0 0 100659 352 0 0 25 0 1 0 970536078 324661248 57375 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79263 57375 301 301 0 78962 0
vsize: 317052
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112865 0 0 0 101659 353 0 0 25 0 1 0 970536078 324661248 57396 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79263 57396 301 301 0 78962 0
vsize: 317052
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112908 0 0 0 102658 354 0 0 25 0 1 0 970536078 325054464 57439 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79359 57439 301 301 0 79058 0
vsize: 317436
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112929 0 0 0 103657 355 0 0 25 0 1 0 970536078 325054464 57460 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79359 57460 301 301 0 79058 0
vsize: 317436
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112941 0 0 0 104657 355 0 0 25 0 1 0 970536078 325251072 57472 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79407 57472 301 301 0 79106 0
vsize: 317628
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112961 0 0 0 105656 356 0 0 25 0 1 0 970536078 325251072 57492 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79407 57492 301 301 0 79106 0
vsize: 317628
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112975 0 0 0 106656 356 0 0 25 0 1 0 970536078 325447680 57506 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79455 57506 301 301 0 79154 0
vsize: 317820
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 112976 0 0 0 107656 357 0 0 25 0 1 0 970536078 325447680 57507 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79455 57507 301 301 0 79154 0
vsize: 317820
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 113008 0 0 0 108655 358 0 0 25 0 1 0 970536078 325644288 57539 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79503 57539 301 301 0 79202 0
vsize: 318012
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 113042 0 0 0 109654 359 0 0 25 0 1 0 970536078 325840896 57573 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79551 57573 301 301 0 79250 0
vsize: 318204
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 113062 0 0 0 110653 360 0 0 25 0 1 0 970536078 325840896 57593 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79551 57593 301 301 0 79250 0
vsize: 318204
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 113083 0 0 0 111653 361 0 0 25 0 1 0 970536078 326037504 57614 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79599 57614 301 301 0 79298 0
vsize: 318396
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 113084 0 0 0 112652 361 0 0 25 0 1 0 970536078 326037504 57615 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79599 57615 301 301 0 79298 0
vsize: 318396
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 113098 0 0 0 113652 362 0 0 25 0 1 0 970536078 326037504 57629 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79599 57629 301 301 0 79298 0
vsize: 318396
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 114290 0 0 0 114648 365 0 0 25 0 1 0 970536078 326037504 57629 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79599 57629 301 301 0 79298 0
vsize: 318396
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 114293 0 0 0 115648 366 0 0 25 0 1 0 970536078 326037504 57632 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79599 57632 301 301 0 79298 0
vsize: 318396
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 114353 0 0 0 116647 367 0 0 25 0 1 0 970536078 326430720 57692 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79695 57692 301 301 0 79394 0
vsize: 318780
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 114387 0 0 0 117646 368 0 0 25 0 1 0 970536078 326627328 57726 4294967295 134512640 135730672 3221224576 3221223244 134748653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79743 57726 301 301 0 79442 0
vsize: 318972
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 114397 0 0 0 118645 369 0 0 25 0 1 0 970536078 326823936 57736 4294967295 134512640 135730672 3221224576 3221223200 134748204 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79791 57736 301 301 0 79490 0
vsize: 319164
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 21775
Raw data (stat): 21718 (pb2sat-v2) R 21717 20224 20223 0 -1 0 114407 0 0 0 119645 370 0 0 25 0 1 0 970536078 326823936 57746 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79791 57746 301 301 0 79490 0
vsize: 319164
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.68 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 21775
Raw data (stat): 21718 (pb2sat-v2) Z 21717 20224 20223 0 -1 12 114409 0 0 0 119795 381 0 0 25 0 1 0 970536078 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: 0
Real time (s): 1201.68
CPU time (s): 1201.77
CPU user time (s): 1197.95
CPU system time (s): 3.81342
CPU usage (%): 100.007
Max. virtual memory (Kb): 319164
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####