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-ran6x43.opb
MD5SUM	a592293d47471ef0e8a1691df160b1e8
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	13241344
Optimality of the best value was proved	NO
Number of terms in the objective function	7998
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	1568780661323
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	1568780661323
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	1233.27
Number of variables	7998
Total number of constraints	307
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	307
Minimum length of a constraint	31
Maximum length of a constraint	1290
Trace number 42590

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
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:        652984 kB
Buffers:         34756 kB
Cached:         324836 kB
SwapCached:        944 kB
Active:          39788 kB
Inactive:       321964 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        652732 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14212 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:12:03 (client local time) WITH STATUS 0 IN 1201.4 SECONDS
stats: 25805 7 1201.4 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 28194/417545	Time: 54.3757/86400
c Decision: 28194/417545	Time: 65.488/86400
c Decision: 28194/417545	Time: 75.2026/86400
c Decision: 28194/417545	Time: 87.0998/86400
c Decision: 28194/417545	Time: 98.758/86400
c Decision: 28194/417545	Time: 113.436/86400
c Decision: 28194/417545	Time: 133.271/86400
c Decision: 28194/417545	Time: 146.687/86400
c Decision: 28194/417545	Time: 167.774/86400
c Decision: 28194/417545	Time: 183.171/86400
c Decision: 28194/417545	Time: 202.654/86400
c Decision: 28194/417545	Time: 217.97/86400
c Decision: 28194/417545	Time: 234.31/86400
c Decision: 28194/417545	Time: 251.687/86400
c Decision: 28194/417545	Time: 276.191/86400
c Decision: 28199/417545	Time: 302.645/86400
c Decision: 28199/417545	Time: 318.979/86400
c Decision: 28199/417545	Time: 337.115/86400
c Decision: 28199/417545	Time: 357.198/86400
c Decision: 28199/417545	Time: 375.492/86400
c Decision: 28199/417545	Time: 400.136/86400
c Decision: 28206/417545	Time: 431.68/86400
c Decision: 28206/417545	Time: 451.442/86400
c Decision: 28206/417545	Time: 474.596/86400
c Decision: 28211/417545	Time: 514.371/86400
c Decision: 28211/417545	Time: 539.759/86400
c Decision: 28211/417545	Time: 558.93/86400
c Decision: 28211/417545	Time: 579.084/86400
c Decision: 28211/417545	Time: 597.34/86400
c Decision: 28211/417545	Time: 615.006/86400
c Decision: 28211/417545	Time: 634.324/86400
c Decision: 28211/417545	Time: 661.69/86400
c Decision: 28211/417545	Time: 681.343/86400
c Decision: 28211/417545	Time: 705.188/86400
c Decision: 28211/417545	Time: 728.657/86400
c Decision: 28211/417545	Time: 755.439/86400
c Decision: 28211/417545	Time: 781.065/86400
c Decision: 28211/417545	Time: 800.644/86400
c Decision: 28211/417545	Time: 821.633/86400
c Decision: 28213/417545	Time: 850.554/86400
c Decision: 28213/417545	Time: 879.854/86400
c Decision: 28216/417545	Time: 896.819/86400
c Decision: 28216/417545	Time: 914.967/86400
c Decision: 28216/417545	Time: 933.316/86400
c Decision: 28216/417545	Time: 955.034/86400
c Decision: 28216/417545	Time: 973.678/86400
c Decision: 28216/417545	Time: 1001.6/86400
c Decision: 28216/417545	Time: 1022.7/86400
c Decision: 28216/417545	Time: 1043.37/86400
c Decision: 28216/417545	Time: 1064.52/86400
c Decision: 28216/417545	Time: 1091.2/86400
c Decision: 28216/417545	Time: 1112.99/86400
c Decision: 28216/417545	Time: 1137.66/86400
c Decision: 28216/417545	Time: 1160.54/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 25397
Raw data (stat): 25397 (runsolver) R 25396 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970535767 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.0009 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 25590 0 0 0 940 59 0 0 25 0 1 0 970535767 79294464 14641 4294967295 134512640 135730672 3221224576 3220632944 134546483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19359 14641 301 301 0 19058 0
vsize: 77436
[startup+20.0017 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 51633 0 0 0 1882 116 0 0 25 0 1 0 970535767 153391104 29713 4294967295 134512640 135730672 3221224576 3221223248 134742366 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37449 29713 301 301 0 37148 0
vsize: 149796
[startup+30.002 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 54874 0 0 0 2871 126 0 0 25 0 1 0 970535767 163700736 32138 4294967295 134512640 135730672 3221224576 3221223236 134748655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39966 32138 301 301 0 39665 0
vsize: 159864
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 56032 0 0 0 3868 129 0 0 25 0 1 0 970535767 169398272 33296 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41357 33296 301 301 0 41056 0
vsize: 165428
[startup+50.0031 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 56407 0 0 0 4866 131 0 0 25 0 1 0 970535767 171278336 33671 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41816 33671 301 301 0 41515 0
vsize: 167264
[startup+60.004 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 56634 0 0 0 5865 133 0 0 25 0 1 0 970535767 172302336 33898 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42066 33898 301 301 0 41765 0
vsize: 168264
[startup+70.0049 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 57442 0 0 0 6863 135 0 0 25 0 1 0 970535767 176033792 34706 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42977 34706 301 301 0 42676 0
vsize: 171908
[startup+80.0057 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 58540 0 0 0 7859 139 0 0 25 0 1 0 970535767 177213440 34988 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43265 34988 301 301 0 42964 0
vsize: 173060
[startup+90.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 59657 0 0 0 8855 143 0 0 25 0 1 0 970535767 178655232 35289 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43617 35289 301 301 0 43316 0
vsize: 174468
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 60560 0 0 0 9851 147 0 0 25 0 1 0 970535767 178982912 35376 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43697 35376 301 301 0 43396 0
vsize: 174788
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 61490 0 0 0 10846 151 0 0 25 0 1 0 970535767 179572736 35490 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43841 35490 301 301 0 43540 0
vsize: 175364
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 62356 0 0 0 11843 154 0 0 25 0 1 0 970535767 179707904 35540 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43874 35540 301 301 0 43573 0
vsize: 175496
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 62404 0 0 0 12843 155 0 0 25 0 1 0 970535767 179904512 35588 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43922 35588 301 301 0 43621 0
vsize: 175688
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 63552 0 0 0 13839 159 0 0 25 0 1 0 970535767 181547008 35920 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44323 35920 301 301 0 44022 0
vsize: 177292
[startup+150.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 63869 0 0 0 14837 160 0 0 25 0 1 0 970535767 183160832 36237 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44717 36237 301 301 0 44416 0
vsize: 178868
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 64809 0 0 0 15833 165 0 0 25 0 1 0 970535767 183885824 36361 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44894 36361 301 301 0 44593 0
vsize: 179576
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 65722 0 0 0 16830 169 0 0 25 0 1 0 970535767 184279040 36458 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44990 36458 301 301 0 44689 0
vsize: 179960
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 66032 0 0 0 17827 171 0 0 25 0 1 0 970535767 185782272 36768 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45357 36768 301 301 0 45056 0
vsize: 181428
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 66952 0 0 0 18823 176 0 0 25 0 1 0 970535767 186310656 36872 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45486 36872 301 301 0 45185 0
vsize: 181944
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 67026 0 0 0 19821 178 0 0 25 0 1 0 970535767 186703872 36946 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45582 36946 301 301 0 45281 0
vsize: 182328
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 67986 0 0 0 20818 181 0 0 25 0 1 0 970535767 187564032 37090 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45792 37090 301 301 0 45491 0
vsize: 183168
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 68133 0 0 0 21816 183 0 0 25 0 1 0 970535767 188289024 37237 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45969 37237 301 301 0 45668 0
vsize: 183876
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 68970 0 0 0 22813 186 0 0 25 0 1 0 970535767 188289024 37258 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45969 37258 301 301 0 45668 0
vsize: 183876
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 69120 0 0 0 23812 187 0 0 25 0 1 0 970535767 189014016 37408 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46146 37408 301 301 0 45845 0
vsize: 184584
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 69146 0 0 0 24811 188 0 0 25 0 1 0 970535767 189210624 37434 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46194 37434 301 301 0 45893 0
vsize: 184776
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 70175 0 0 0 25807 193 0 0 25 0 1 0 970535767 190427136 37647 4294967295 134512640 135730672 3221224576 3221223264 134748433 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46491 37647 301 301 0 46190 0
vsize: 185964
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 70292 0 0 0 26805 195 0 0 25 0 1 0 970535767 190967808 37764 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46623 37764 301 301 0 46322 0
vsize: 186492
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 71136 0 0 0 27801 199 0 0 25 0 1 0 970535767 191164416 37792 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46671 37792 301 301 0 46370 0
vsize: 186684
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 71388 0 0 0 28800 201 0 0 25 0 1 0 970535767 192303104 38011 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46949 38011 301 301 0 46648 0
vsize: 187796
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 72273 0 0 0 29796 204 0 0 25 0 1 0 970535767 192696320 38080 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47045 38080 301 301 0 46744 0
vsize: 188180
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 72286 0 0 0 30795 206 0 0 25 0 1 0 970535767 192696320 38093 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47045 38093 301 301 0 46744 0
vsize: 188180
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 72296 0 0 0 31794 207 0 0 25 0 1 0 970535767 192696320 38103 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47045 38103 301 301 0 46744 0
vsize: 188180
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 73181 0 0 0 32792 210 0 0 25 0 1 0 970535767 193089536 38172 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47141 38172 301 301 0 46840 0
vsize: 188564
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 74067 0 0 0 33788 213 0 0 25 0 1 0 970535767 193421312 38242 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47222 38242 301 301 0 46921 0
vsize: 188888
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 74109 0 0 0 34786 215 0 0 25 0 1 0 970535767 193691648 38284 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47288 38284 301 301 0 46987 0
vsize: 189152
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 74937 0 0 0 35784 218 0 0 25 0 1 0 970535767 193691648 38296 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47288 38296 301 301 0 46987 0
vsize: 189152
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 75044 0 0 0 36782 220 0 0 25 0 1 0 970535767 194232320 38403 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47420 38403 301 301 0 47119 0
vsize: 189680
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 75920 0 0 0 37778 224 0 0 25 0 1 0 970535767 194502656 38463 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47486 38463 301 301 0 47185 0
vsize: 189944
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 75929 0 0 0 38777 225 0 0 25 0 1 0 970535767 194502656 38472 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47486 38472 301 301 0 47185 0
vsize: 189944
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 76771 0 0 0 39774 229 0 0 25 0 1 0 970535767 194637824 38498 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47519 38498 301 301 0 47218 0
vsize: 190076
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 76807 0 0 0 40773 229 0 0 25 0 1 0 970535767 194772992 38534 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47552 38534 301 301 0 47251 0
vsize: 190208
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 77688 0 0 0 41771 232 0 0 25 0 1 0 970535767 195104768 38599 4294967295 134512640 135730672 3221224576 3221223200 134783291 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47633 38599 301 301 0 47332 0
vsize: 190532
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 77690 0 0 0 42769 234 0 0 25 0 1 0 970535767 195104768 38601 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47633 38601 301 301 0 47332 0
vsize: 190532
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 77774 0 0 0 43769 235 0 0 25 0 1 0 970535767 195694592 38685 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47777 38685 301 301 0 47476 0
vsize: 191108
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 77790 0 0 0 44767 236 0 0 25 0 1 0 970535767 195694592 38701 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47777 38701 301 301 0 47476 0
vsize: 191108
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 78619 0 0 0 45764 240 0 0 25 0 1 0 970535767 195694592 38714 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47777 38714 301 301 0 47476 0
vsize: 191108
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 78635 0 0 0 46763 241 0 0 25 0 1 0 970535767 195694592 38730 4294967295 134512640 135730672 3221224576 3221223088 134745862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47777 38730 301 301 0 47476 0
vsize: 191108
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 25397
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 79547 0 0 0 47760 244 0 0 25 0 1 0 970535767 196263936 38826 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47916 38826 301 301 0 47615 0
vsize: 191664
[startup+490.021 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 25450
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 79734 0 0 0 48759 245 0 0 25 0 1 0 970535767 197271552 39013 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48162 39013 301 301 0 47861 0
vsize: 192648
[startup+500.021 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 25450
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 80655 0 0 0 49757 248 0 0 25 0 1 0 970535767 198008832 39118 4294967295 134512640 135730672 3221224576 3221223072 134747708 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48342 39118 301 301 0 48041 0
vsize: 193368
[startup+510.021 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 25450
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 80720 0 0 0 50755 249 0 0 25 0 1 0 970535767 198279168 39183 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48408 39183 301 301 0 48107 0
vsize: 193632
[startup+520.021 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25450
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 80750 0 0 0 51754 251 0 0 25 0 1 0 970535767 198475776 39213 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48456 39213 301 301 0 48155 0
vsize: 193824
[startup+530.022 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 25450
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 80799 0 0 0 52753 252 0 0 25 0 1 0 970535767 198672384 39262 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48504 39262 301 301 0 48203 0
vsize: 194016
[startup+540.022 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25450
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 81788 0 0 0 53749 256 0 0 25 0 1 0 970535767 199483392 39435 4294967295 134512640 135730672 3221224576 3221223072 134747597 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48702 39435 301 301 0 48401 0
vsize: 194808
[startup+550.022 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 25450
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 81871 0 0 0 54748 257 0 0 25 0 1 0 970535767 199950336 39518 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48816 39518 301 301 0 48515 0
vsize: 195264
[startup+560.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 82822 0 0 0 55744 261 0 0 25 0 1 0 970535767 200613888 39653 4294967295 134512640 135730672 3221224576 3221223264 134748440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48978 39653 301 301 0 48677 0
vsize: 195912
[startup+570.023 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 82894 0 0 0 56743 263 0 0 25 0 1 0 970535767 200880128 39692 4294967295 134512640 135730672 3221224576 3221223168 134747724 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49043 39692 301 301 0 48742 0
vsize: 196172
[startup+580.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 83718 0 0 0 57740 266 0 0 25 0 1 0 970535767 200880128 39700 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49043 39700 301 301 0 48742 0
vsize: 196172
[startup+590.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 83883 0 0 0 58739 266 0 0 25 0 1 0 970535767 201719808 39865 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49248 39865 301 301 0 48947 0
vsize: 196992
[startup+600.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 84726 0 0 0 59736 270 0 0 25 0 1 0 970535767 201854976 39892 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49281 39892 301 301 0 48980 0
vsize: 197124
[startup+610.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 84736 0 0 0 60735 271 0 0 25 0 1 0 970535767 201854976 39902 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49281 39902 301 301 0 48980 0
vsize: 197124
[startup+620.024 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 85607 0 0 0 61731 275 0 0 25 0 1 0 970535767 202125312 39957 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49347 39957 301 301 0 49046 0
vsize: 197388
[startup+630.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 85664 0 0 0 62730 277 0 0 25 0 1 0 970535767 202457088 40014 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49428 40014 301 301 0 49127 0
vsize: 197712
[startup+640.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 86507 0 0 0 63726 280 0 0 25 0 1 0 970535767 202592256 40041 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49461 40041 301 301 0 49160 0
vsize: 197844
[startup+650.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 86515 0 0 0 64725 282 0 0 25 0 1 0 970535767 202592256 40049 4294967295 134512640 135730672 3221224576 3221223240 134748654 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49461 40049 301 301 0 49160 0
vsize: 197844
[startup+660.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 87400 0 0 0 65721 286 0 0 25 0 1 0 970535767 202862592 40118 4294967295 134512640 135730672 3221224576 3221223216 134765753 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49527 40118 301 301 0 49226 0
vsize: 198108
[startup+670.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 87513 0 0 0 66720 287 0 0 25 0 1 0 970535767 203464704 40231 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49674 40231 301 301 0 49373 0
vsize: 198696
[startup+680.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 87657 0 0 0 67719 288 0 0 25 0 1 0 970535767 204324864 40375 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49884 40375 301 301 0 49583 0
vsize: 199536
[startup+690.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 88479 0 0 0 68715 292 0 0 25 0 1 0 970535767 204324864 40381 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49884 40381 301 301 0 49583 0
vsize: 199536
[startup+700.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 88514 0 0 0 69714 293 0 0 25 0 1 0 970535767 204460032 40416 4294967295 134512640 135730672 3221224576 3221223088 134745852 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49917 40416 301 301 0 49616 0
vsize: 199668
[startup+710.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 89398 0 0 0 70710 297 0 0 25 0 1 0 970535767 204988416 40484 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50046 40484 301 301 0 49745 0
vsize: 200184
[startup+720.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 89527 0 0 0 71709 298 0 0 25 0 1 0 970535767 205524992 40580 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50177 40580 301 301 0 49876 0
vsize: 200708
[startup+730.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 90349 0 0 0 72706 302 0 0 25 0 1 0 970535767 205524992 40586 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50177 40586 301 301 0 49876 0
vsize: 200708
[startup+740.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 90428 0 0 0 73705 303 0 0 25 0 1 0 970535767 205930496 40665 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50276 40665 301 301 0 49975 0
vsize: 201104
[startup+750.026 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 91268 0 0 0 74702 306 0 0 25 0 1 0 970535767 206065664 40689 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50309 40689 301 301 0 50008 0
vsize: 201236
[startup+760.026 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 91351 0 0 0 75701 308 0 0 25 0 1 0 970535767 206471168 40772 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50408 40772 301 301 0 50107 0
vsize: 201632
[startup+770.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 91357 0 0 0 76700 309 0 0 25 0 1 0 970535767 206471168 40778 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50408 40778 301 301 0 50107 0
vsize: 201632
[startup+780.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 92207 0 0 0 77697 311 0 0 25 0 1 0 970535767 206606336 40812 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50441 40812 301 301 0 50140 0
vsize: 201764
[startup+790.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 92241 0 0 0 78697 312 0 0 25 0 1 0 970535767 206741504 40846 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50474 40846 301 301 0 50173 0
vsize: 201896
[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 92612 0 0 0 79695 314 0 0 25 0 1 0 970535767 210219008 41218 4294967295 134512640 135730672 3221224576 3221222912 134767241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51323 41225 301 301 0 51022 0
vsize: 205292
[startup+810.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25452
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 93103 0 0 0 80692 317 0 0 25 0 1 0 970535767 207011840 40892 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50540 40892 301 301 0 50239 0
vsize: 202160
[startup+820.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 93926 0 0 0 81690 320 0 0 25 0 1 0 970535767 210354176 41715 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51356 41715 301 301 0 51055 0
vsize: 205424
[startup+830.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 93987 0 0 0 82688 322 0 0 25 0 1 0 970535767 207282176 40960 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50606 40960 301 301 0 50305 0
vsize: 202424
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 94030 0 0 0 83687 323 0 0 25 0 1 0 970535767 207552512 41003 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50672 41003 301 301 0 50371 0
vsize: 202688
[startup+850.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 94850 0 0 0 84683 327 0 0 25 0 1 0 970535767 207552512 41007 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50672 41007 301 301 0 50371 0
vsize: 202688
[startup+860.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 94859 0 0 0 85681 329 0 0 25 0 1 0 970535767 207552512 41016 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50672 41016 301 301 0 50371 0
vsize: 202688
[startup+870.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 95698 0 0 0 86677 333 0 0 25 0 1 0 970535767 211030016 41855 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51521 41855 301 301 0 51220 0
vsize: 206084
[startup+880.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 95705 0 0 0 87676 335 0 0 25 0 1 0 970535767 207687680 41046 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50705 41046 301 301 0 50404 0
vsize: 202820
[startup+890.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 95818 0 0 0 88675 336 0 0 25 0 1 0 970535767 208363520 41159 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50870 41159 301 301 0 50569 0
vsize: 203480
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 96638 0 0 0 89671 340 0 0 25 0 1 0 970535767 208363520 41163 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50870 41163 301 301 0 50569 0
vsize: 203480
[startup+910.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 96663 0 0 0 90670 342 0 0 25 0 1 0 970535767 208498688 41188 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50903 41188 301 301 0 50602 0
vsize: 203612
[startup+920.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 97487 0 0 0 91666 346 0 0 25 0 1 0 970535767 208498688 41196 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50903 41196 301 301 0 50602 0
vsize: 203612
[startup+930.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 97493 0 0 0 92663 348 0 0 25 0 1 0 970535767 208498688 41202 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50903 41202 301 301 0 50602 0
vsize: 203612
[startup+940.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 98317 0 0 0 93662 351 0 0 25 0 1 0 970535767 208498688 41210 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50903 41210 301 301 0 50602 0
vsize: 203612
[startup+950.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 98323 0 0 0 94661 352 0 0 25 0 1 0 970535767 208498688 41216 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50903 41216 301 301 0 50602 0
vsize: 203612
[startup+960.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 99151 0 0 0 95658 356 0 0 25 0 1 0 970535767 208498688 41228 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50903 41228 301 301 0 50602 0
vsize: 203612
[startup+970.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 99159 0 0 0 96657 357 0 0 25 0 1 0 970535767 208498688 41236 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50903 41236 301 301 0 50602 0
vsize: 203612
[startup+980.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 99978 0 0 0 97653 361 0 0 25 0 1 0 970535767 208498688 41239 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50903 41239 301 301 0 50602 0
vsize: 203612
[startup+990.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 99986 0 0 0 98650 364 0 0 25 0 1 0 970535767 208498688 41247 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50903 41247 301 301 0 50602 0
vsize: 203612
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 100859 0 0 0 99647 367 0 0 25 0 1 0 970535767 208769024 41304 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50969 41304 301 301 0 50668 0
vsize: 203876
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 100897 0 0 0 100645 369 0 0 25 0 1 0 970535767 209039360 41342 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51035 41342 301 301 0 50734 0
vsize: 204140
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 100951 0 0 0 101644 371 0 0 25 0 1 0 970535767 209309696 41396 4294967295 134512640 135730672 3221224576 3221223088 134746168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51101 41396 301 301 0 50800 0
vsize: 204404
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 101772 0 0 0 102640 375 0 0 25 0 1 0 970535767 209309696 41401 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51101 41401 301 301 0 50800 0
vsize: 204404
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 101778 0 0 0 103639 376 0 0 25 0 1 0 970535767 209309696 41407 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51101 41407 301 301 0 50800 0
vsize: 204404
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 102598 0 0 0 104636 379 0 0 25 0 1 0 970535767 209309696 41411 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51101 41411 301 301 0 50800 0
vsize: 204404
[startup+1060.16 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 102604 0 0 0 105645 381 0 0 25 0 1 0 970535767 209309696 41417 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51101 41417 301 301 0 50800 0
vsize: 204404
[startup+1070.16 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 103462 0 0 0 106641 385 0 0 25 0 1 0 970535767 209580032 41459 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51167 41459 301 301 0 50866 0
vsize: 204668
[startup+1080.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 103469 0 0 0 107639 387 0 0 25 0 1 0 970535767 209580032 41466 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51167 41466 301 301 0 50866 0
vsize: 204668
[startup+1090.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 104288 0 0 0 108636 391 0 0 25 0 1 0 970535767 209580032 41469 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51167 41469 301 301 0 50866 0
vsize: 204668
[startup+1100.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 104293 0 0 0 109635 392 0 0 25 0 1 0 970535767 209580032 41474 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51167 41474 301 301 0 50866 0
vsize: 204668
[startup+1110.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 105172 0 0 0 110632 395 0 0 25 0 1 0 970535767 209985536 41537 4294967295 134512640 135730672 3221224576 3221223136 134787645 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51266 41537 301 301 0 50965 0
vsize: 205064
[startup+1120.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 105175 0 0 0 111630 397 0 0 25 0 1 0 970535767 209985536 41540 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51266 41540 301 301 0 50965 0
vsize: 205064
[startup+1130.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 105181 0 0 0 112629 398 0 0 25 0 1 0 970535767 209985536 41546 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51266 41546 301 301 0 50965 0
vsize: 205064
[startup+1140.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 106000 0 0 0 113626 401 0 0 25 0 1 0 970535767 209985536 41549 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51266 41549 301 301 0 50965 0
vsize: 205064
[startup+1150.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 106028 0 0 0 114626 402 0 0 25 0 1 0 970535767 210120704 41577 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51299 41577 301 301 0 50998 0
vsize: 205196
[startup+1160.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 106848 0 0 0 115622 406 0 0 25 0 1 0 970535767 210120704 41581 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51299 41581 301 301 0 50998 0
vsize: 205196
[startup+1170.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 106854 0 0 0 116621 407 0 0 25 0 1 0 970535767 210120704 41587 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51299 41587 301 301 0 50998 0
vsize: 205196
[startup+1180.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 107691 0 0 0 117618 410 0 0 25 0 1 0 970535767 213598208 42424 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52148 42424 301 301 0 51847 0
vsize: 208592
[startup+1190.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 107696 0 0 0 118617 412 0 0 25 0 1 0 970535767 210255872 41613 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51332 41613 301 301 0 51031 0
vsize: 205328
[startup+1200.17 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 25454
Raw data (stat): 25397 (pb2sat-v2) R 25396 21152 21151 0 -1 0 107699 0 0 0 119616 413 0 0 25 0 1 0 970535767 210255872 41616 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51332 41616 301 301 0 51031 0
vsize: 205328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.28 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 25454
Raw data (stat): 25397 (pb2sat-v2) Z 25396 21152 21151 0 -1 12 107701 0 0 0 119718 421 0 0 25 0 1 0 970535767 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.28
CPU time (s): 1201.4
CPU user time (s): 1197.19
CPU system time (s): 4.21336
CPU usage (%): 100.01
Max. virtual memory (Kb): 208592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####