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/MIPLIB/miplib/normalized-mps-v2-20-10-set1al.opb
MD5SUM	1f33433ec2b5955518c8bc8b8e0b8c29
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	7200
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	1616008034847
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	10737418240
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	1616008034847
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.129979
Number of variables	14400
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	630
Trace number 42432

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        714712 kB
Buffers:         34824 kB
Cached:         262248 kB
SwapCached:        700 kB
Active:          74564 kB
Inactive:       224588 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        714460 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15248 kB
Committed_AS:    63704 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:38:57 (client local time) WITH STATUS 0 IN 1201.19 SECONDS
stats: 25645 7 1201.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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.93 0.98 0.95 1/54 10545
Raw data (stat): 10545 (runsolver) R 10544 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968907262 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.0005 s]
Raw data (loadavg): 0.94 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 24850 0 0 0 944 54 0 0 25 0 1 0 968907262 78184448 13905 4294967295 134512640 135730672 3221224576 3221101544 135284239 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19088 13905 301 301 0 18787 0
vsize: 76352
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 49229 0 0 0 1891 107 0 0 25 0 1 0 968907262 157372416 26672 4294967295 134512640 135730672 3221224576 3221222880 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38421 26672 301 301 0 38120 0
vsize: 153684
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 49247 0 0 0 2885 113 0 0 25 0 1 0 968907262 157372416 26690 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38421 26690 301 301 0 38120 0
vsize: 153684
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 49264 0 0 0 3882 116 0 0 25 0 1 0 968907262 157372416 26707 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38421 26707 301 301 0 38120 0
vsize: 153684
[startup+50.0029 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 49280 0 0 0 4879 119 0 0 25 0 1 0 968907262 157372416 26723 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38421 26723 301 301 0 38120 0
vsize: 153684
[startup+60.003 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 49292 0 0 0 5874 124 0 0 25 0 1 0 968907262 157372416 26735 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38421 26735 301 301 0 38120 0
vsize: 153684
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 49306 0 0 0 6870 128 0 0 25 0 1 0 968907262 157372416 26749 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38421 26749 301 301 0 38120 0
vsize: 153684
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 49356 0 0 0 7866 133 0 0 25 0 1 0 968907262 157507584 26799 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38454 26799 301 301 0 38153 0
vsize: 153816
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 49599 0 0 0 8862 137 0 0 25 0 1 0 968907262 158625792 27042 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38727 27042 301 301 0 38426 0
vsize: 154908
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 49691 0 0 0 9859 140 0 0 25 0 1 0 968907262 158904320 27134 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38795 27134 301 301 0 38494 0
vsize: 155180
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 49855 0 0 0 10855 144 0 0 25 0 1 0 968907262 159789056 27298 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39011 27298 301 301 0 38710 0
vsize: 156044
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 49921 0 0 0 11852 148 0 0 25 0 1 0 968907262 159936512 27364 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39047 27364 301 301 0 38746 0
vsize: 156188
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 50213 0 0 0 12847 153 0 0 25 0 1 0 968907262 161067008 27656 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39323 27656 301 301 0 39022 0
vsize: 157292
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 50248 0 0 0 13844 156 0 0 25 0 1 0 968907262 161230848 27691 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39363 27691 301 301 0 39062 0
vsize: 157452
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 50316 0 0 0 14839 161 0 0 25 0 1 0 968907262 161525760 27759 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39435 27759 301 301 0 39134 0
vsize: 157740
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 50441 0 0 0 15835 165 0 0 25 0 1 0 968907262 162127872 27884 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39582 27884 301 301 0 39281 0
vsize: 158328
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 50552 0 0 0 16831 169 0 0 25 0 1 0 968907262 162783232 27995 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39742 27995 301 301 0 39441 0
vsize: 158968
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 50631 0 0 0 17827 174 0 0 25 0 1 0 968907262 163217408 28074 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39848 28074 301 301 0 39547 0
vsize: 159392
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 50721 0 0 0 18823 178 0 0 25 0 1 0 968907262 163512320 28164 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39920 28164 301 301 0 39619 0
vsize: 159680
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 50823 0 0 0 19818 183 0 0 25 0 1 0 968907262 163942400 28266 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40025 28266 301 301 0 39724 0
vsize: 160100
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 50967 0 0 0 20814 187 0 0 25 0 1 0 968907262 164499456 28410 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40161 28410 301 301 0 39860 0
vsize: 160644
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51049 0 0 0 21811 191 0 0 25 0 1 0 968907262 164921344 28492 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40264 28492 301 301 0 39963 0
vsize: 161056
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51082 0 0 0 22806 196 0 0 25 0 1 0 968907262 164921344 28525 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40264 28525 301 301 0 39963 0
vsize: 161056
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51144 0 0 0 23802 200 0 0 25 0 1 0 968907262 165203968 28587 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40333 28587 301 301 0 40032 0
vsize: 161332
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51264 0 0 0 24798 204 0 0 25 0 1 0 968907262 165695488 28707 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40453 28707 301 301 0 40152 0
vsize: 161812
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51339 0 0 0 25795 207 0 0 25 0 1 0 968907262 166187008 28782 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40573 28782 301 301 0 40272 0
vsize: 162292
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51404 0 0 0 26791 211 0 0 25 0 1 0 968907262 166334464 28847 4294967295 134512640 135730672 3221224576 3221223180 134747440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40609 28847 301 301 0 40308 0
vsize: 162436
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51435 0 0 0 27787 216 0 0 25 0 1 0 968907262 166481920 28878 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40645 28878 301 301 0 40344 0
vsize: 162580
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51479 0 0 0 28784 220 0 0 25 0 1 0 968907262 166617088 28922 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40678 28922 301 301 0 40377 0
vsize: 162712
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51529 0 0 0 29780 224 0 0 25 0 1 0 968907262 166752256 28972 4294967295 134512640 135730672 3221224576 3221223184 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40711 28972 301 301 0 40410 0
vsize: 162844
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51579 0 0 0 30774 229 0 0 25 0 1 0 968907262 167030784 29022 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40779 29022 301 301 0 40478 0
vsize: 163116
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51670 0 0 0 31770 234 0 0 25 0 1 0 968907262 167305216 29113 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40846 29113 301 301 0 40545 0
vsize: 163384
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51696 0 0 0 32766 237 0 0 25 0 1 0 968907262 167452672 29139 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40882 29139 301 301 0 40581 0
vsize: 163528
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51724 0 0 0 33763 241 0 0 25 0 1 0 968907262 167600128 29167 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40918 29167 301 301 0 40617 0
vsize: 163672
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51751 0 0 0 34758 246 0 0 25 0 1 0 968907262 167600128 29194 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40918 29194 301 301 0 40617 0
vsize: 163672
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51800 0 0 0 35754 251 0 0 25 0 1 0 968907262 167735296 29243 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40951 29243 301 301 0 40650 0
vsize: 163804
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51846 0 0 0 36750 255 0 0 25 0 1 0 968907262 167874560 29289 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40985 29289 301 301 0 40684 0
vsize: 163940
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51903 0 0 0 37745 260 0 0 25 0 1 0 968907262 168144896 29346 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41051 29346 301 301 0 40750 0
vsize: 164204
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 51977 0 0 0 38741 264 0 0 25 0 1 0 968907262 168435712 29420 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41122 29420 301 301 0 40821 0
vsize: 164488
[startup+400.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52035 0 0 0 39735 270 0 0 25 0 1 0 968907262 168574976 29478 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41156 29478 301 301 0 40855 0
vsize: 164624
[startup+410.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52095 0 0 0 40731 275 0 0 25 0 1 0 968907262 168845312 29538 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41222 29538 301 301 0 40921 0
vsize: 164888
[startup+420.013 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52145 0 0 0 41727 279 0 0 25 0 1 0 968907262 168988672 29588 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41257 29588 301 301 0 40956 0
vsize: 165028
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52182 0 0 0 42724 282 0 0 25 0 1 0 968907262 169136128 29625 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41293 29625 301 301 0 40992 0
vsize: 165172
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52208 0 0 0 43719 287 0 0 25 0 1 0 968907262 169136128 29651 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41293 29651 301 301 0 40992 0
vsize: 165172
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52283 0 0 0 44714 292 0 0 25 0 1 0 968907262 169549824 29726 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41394 29726 301 301 0 41093 0
vsize: 165576
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52319 0 0 0 45710 296 0 0 25 0 1 0 968907262 169549824 29762 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41394 29762 301 301 0 41093 0
vsize: 165576
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52342 0 0 0 46705 301 0 0 25 0 1 0 968907262 169689088 29785 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41428 29785 301 301 0 41127 0
vsize: 165712
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52400 0 0 0 47701 306 0 0 25 0 1 0 968907262 169824256 29843 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41461 29843 301 301 0 41160 0
vsize: 165844
[startup+490.014 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52526 0 0 0 48696 311 0 0 25 0 1 0 968907262 170369024 29969 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41594 29969 301 301 0 41293 0
vsize: 166376
[startup+500.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52552 0 0 0 49692 315 0 0 25 0 1 0 968907262 170369024 29995 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41594 29995 301 301 0 41293 0
vsize: 166376
[startup+510.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52635 0 0 0 50688 320 0 0 25 0 1 0 968907262 170815488 30078 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41703 30078 301 301 0 41402 0
vsize: 166812
[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52708 0 0 0 51683 325 0 0 25 0 1 0 968907262 170979328 30151 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41743 30151 301 301 0 41442 0
vsize: 166972
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52788 0 0 0 52679 329 0 0 25 0 1 0 968907262 171446272 30231 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41857 30231 301 301 0 41556 0
vsize: 167428
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52881 0 0 0 53675 333 0 0 25 0 1 0 968907262 171773952 30324 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41937 30324 301 301 0 41636 0
vsize: 167748
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 52975 0 0 0 54671 337 0 0 25 0 1 0 968907262 172249088 30418 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42053 30418 301 301 0 41752 0
vsize: 168212
[startup+560.016 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 53049 0 0 0 55668 341 0 0 25 0 1 0 968907262 172576768 30492 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42133 30492 301 301 0 41832 0
vsize: 168532
[startup+570.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 53191 0 0 0 56664 345 0 0 25 0 1 0 968907262 173379584 30634 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42329 30634 301 301 0 42028 0
vsize: 169316
[startup+580.017 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 53304 0 0 0 57661 348 0 0 25 0 1 0 968907262 173871104 30747 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42449 30747 301 301 0 42148 0
vsize: 169796
[startup+590.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 53413 0 0 0 58655 354 0 0 25 0 1 0 968907262 174362624 30856 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42569 30856 301 301 0 42268 0
vsize: 170276
[startup+600.018 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 53525 0 0 0 59650 359 0 0 25 0 1 0 968907262 175017984 30968 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42729 30968 301 301 0 42428 0
vsize: 170916
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 53543 0 0 0 60647 363 0 0 25 0 1 0 968907262 175017984 30986 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42729 30986 301 301 0 42428 0
vsize: 170916
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 53610 0 0 0 61642 367 0 0 25 0 1 0 968907262 175345664 31053 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42809 31053 301 301 0 42508 0
vsize: 171236
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 53661 0 0 0 62639 371 0 0 25 0 1 0 968907262 175509504 31104 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42849 31104 301 301 0 42548 0
vsize: 171396
[startup+640.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 53737 0 0 0 63633 377 0 0 25 0 1 0 968907262 175837184 31180 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42929 31180 301 301 0 42628 0
vsize: 171716
[startup+650.02 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 53811 0 0 0 64628 382 0 0 25 0 1 0 968907262 176164864 31254 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43009 31254 301 301 0 42708 0
vsize: 172036
[startup+660.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 53847 0 0 0 65625 386 0 0 25 0 1 0 968907262 176328704 31290 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43049 31290 301 301 0 42748 0
vsize: 172196
[startup+670.021 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 53922 0 0 0 66620 391 0 0 25 0 1 0 968907262 176656384 31365 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43129 31365 301 301 0 42828 0
vsize: 172516
[startup+680.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54020 0 0 0 67615 396 0 0 25 0 1 0 968907262 177147904 31463 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43249 31463 301 301 0 42948 0
vsize: 172996
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54168 0 0 0 68610 401 0 0 25 0 1 0 968907262 177803264 31611 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43409 31611 301 301 0 43108 0
vsize: 173636
[startup+700.022 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54239 0 0 0 69605 406 0 0 25 0 1 0 968907262 178130944 31682 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43489 31682 301 301 0 43188 0
vsize: 173956
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54278 0 0 0 70601 411 0 0 25 0 1 0 968907262 178294784 31721 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43529 31721 301 301 0 43228 0
vsize: 174116
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54326 0 0 0 71597 415 0 0 25 0 1 0 968907262 178458624 31769 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43569 31769 301 301 0 43268 0
vsize: 174276
[startup+730.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54373 0 0 0 72593 419 0 0 25 0 1 0 968907262 178622464 31816 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43609 31816 301 301 0 43308 0
vsize: 174436
[startup+740.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54394 0 0 0 73588 424 0 0 25 0 1 0 968907262 178622464 31837 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43609 31837 301 301 0 43308 0
vsize: 174436
[startup+750.025 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54460 0 0 0 74584 428 0 0 25 0 1 0 968907262 178950144 31903 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43689 31903 301 301 0 43388 0
vsize: 174756
[startup+760.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54518 0 0 0 75581 432 0 0 25 0 1 0 968907262 179113984 31961 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43729 31961 301 301 0 43428 0
vsize: 174916
[startup+770.026 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54576 0 0 0 76577 435 0 0 25 0 1 0 968907262 179417088 32019 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43803 32019 301 301 0 43502 0
vsize: 175212
[startup+780.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54647 0 0 0 77573 440 0 0 25 0 1 0 968907262 179716096 32090 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43876 32090 301 301 0 43575 0
vsize: 175504
[startup+790.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54679 0 0 0 78569 444 0 0 25 0 1 0 968907262 179716096 32122 4294967295 134512640 135730672 3221224576 3221223200 134748179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43876 32122 301 301 0 43575 0
vsize: 175504
[startup+800.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54726 0 0 0 79565 448 0 0 25 0 1 0 968907262 180011008 32169 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43948 32169 301 301 0 43647 0
vsize: 175792
[startup+810.029 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54768 0 0 0 80562 452 0 0 25 0 1 0 968907262 180166656 32211 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43986 32211 301 301 0 43685 0
vsize: 175944
[startup+820.028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54803 0 0 0 81557 457 0 0 25 0 1 0 968907262 180305920 32246 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44020 32246 301 301 0 43719 0
vsize: 176080
[startup+830.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54849 0 0 0 82552 463 0 0 25 0 1 0 968907262 180469760 32292 4294967295 134512640 135730672 3221224576 3221223220 134748260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44060 32292 301 301 0 43759 0
vsize: 176240
[startup+840.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54896 0 0 0 83547 467 0 0 25 0 1 0 968907262 180633600 32339 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44100 32339 301 301 0 43799 0
vsize: 176400
[startup+850.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54925 0 0 0 84542 473 0 0 25 0 1 0 968907262 180772864 32368 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44134 32368 301 301 0 43833 0
vsize: 176536
[startup+860.031 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 54980 0 0 0 85537 478 0 0 25 0 1 0 968907262 181051392 32423 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44202 32423 301 301 0 43901 0
vsize: 176808
[startup+870.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55018 0 0 0 86533 482 0 0 25 0 1 0 968907262 181051392 32461 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44202 32461 301 301 0 43901 0
vsize: 176808
[startup+880.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55035 0 0 0 87528 487 0 0 25 0 1 0 968907262 181207040 32478 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44240 32478 301 301 0 43939 0
vsize: 176960
[startup+890.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55045 0 0 0 88524 491 0 0 25 0 1 0 968907262 181207040 32488 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44240 32488 301 301 0 43939 0
vsize: 176960
[startup+900.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55077 0 0 0 89519 496 0 0 25 0 1 0 968907262 181346304 32520 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44274 32520 301 301 0 43973 0
vsize: 177096
[startup+910.03 s]
Raw data (loadavg): 0.99 0.98 0.95 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55102 0 0 0 90515 501 0 0 25 0 1 0 968907262 181346304 32545 4294967295 134512640 135730672 3221224576 3221223232 134734790 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44274 32545 301 301 0 43973 0
vsize: 177096
[startup+920.031 s]
Raw data (loadavg): 1.15 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55140 0 0 0 91511 505 0 0 25 0 1 0 968907262 181485568 32583 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44308 32583 301 301 0 44007 0
vsize: 177232
[startup+930.031 s]
Raw data (loadavg): 1.12 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55154 0 0 0 92506 510 0 0 25 0 1 0 968907262 181485568 32597 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44308 32597 301 301 0 44007 0
vsize: 177232
[startup+940.032 s]
Raw data (loadavg): 1.10 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55182 0 0 0 93502 514 0 0 25 0 1 0 968907262 181624832 32625 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44342 32625 301 301 0 44041 0
vsize: 177368
[startup+950.032 s]
Raw data (loadavg): 1.09 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55223 0 0 0 94498 519 0 0 25 0 1 0 968907262 181624832 32666 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44342 32666 301 301 0 44041 0
vsize: 177368
[startup+960.034 s]
Raw data (loadavg): 1.07 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55258 0 0 0 95493 524 0 0 25 0 1 0 968907262 181624832 32701 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44342 32701 301 301 0 44041 0
vsize: 177368
[startup+970.035 s]
Raw data (loadavg): 1.06 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55287 0 0 0 96489 529 0 0 25 0 1 0 968907262 181760000 32730 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44375 32730 301 301 0 44074 0
vsize: 177500
[startup+980.035 s]
Raw data (loadavg): 1.13 1.02 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55319 0 0 0 97484 533 0 0 25 0 1 0 968907262 181899264 32762 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44409 32762 301 301 0 44108 0
vsize: 177636
[startup+990.036 s]
Raw data (loadavg): 1.11 1.02 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55360 0 0 0 98481 537 0 0 25 0 1 0 968907262 182046720 32803 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44445 32803 301 301 0 44144 0
vsize: 177780
[startup+1000.03 s]
Raw data (loadavg): 1.09 1.02 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55377 0 0 0 99475 543 0 0 25 0 1 0 968907262 182046720 32820 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44445 32820 301 301 0 44144 0
vsize: 177780
[startup+1010.04 s]
Raw data (loadavg): 1.08 1.02 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55403 0 0 0 100470 548 0 0 25 0 1 0 968907262 182046720 32846 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44445 32846 301 301 0 44144 0
vsize: 177780
[startup+1020.04 s]
Raw data (loadavg): 1.06 1.02 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55417 0 0 0 101466 552 0 0 25 0 1 0 968907262 182185984 32860 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44479 32860 301 301 0 44178 0
vsize: 177916
[startup+1030.04 s]
Raw data (loadavg): 1.05 1.02 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55442 0 0 0 102463 556 0 0 25 0 1 0 968907262 182185984 32885 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44479 32885 301 301 0 44178 0
vsize: 177916
[startup+1040.04 s]
Raw data (loadavg): 1.04 1.02 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55462 0 0 0 103457 562 0 0 25 0 1 0 968907262 182185984 32905 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44479 32905 301 301 0 44178 0
vsize: 177916
[startup+1050.04 s]
Raw data (loadavg): 1.04 1.02 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55488 0 0 0 104452 567 0 0 25 0 1 0 968907262 182325248 32931 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44513 32931 301 301 0 44212 0
vsize: 178052
[startup+1060.04 s]
Raw data (loadavg): 1.03 1.02 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55549 0 0 0 105446 573 0 0 25 0 1 0 968907262 182460416 32992 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44546 32992 301 301 0 44245 0
vsize: 178184
[startup+1070.04 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55586 0 0 0 106442 577 0 0 25 0 1 0 968907262 182595584 33029 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44579 33029 301 301 0 44278 0
vsize: 178316
[startup+1080.04 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55633 0 0 0 107436 583 0 0 25 0 1 0 968907262 182734848 33076 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44613 33076 301 301 0 44312 0
vsize: 178452
[startup+1090.04 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55670 0 0 0 108432 588 0 0 25 0 1 0 968907262 182870016 33113 4294967295 134512640 135730672 3221224576 3221223184 134744757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44646 33113 301 301 0 44345 0
vsize: 178584
[startup+1100.04 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55695 0 0 0 109428 592 0 0 25 0 1 0 968907262 183005184 33138 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44679 33138 301 301 0 44378 0
vsize: 178716
[startup+1110.04 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55721 0 0 0 110423 597 0 0 25 0 1 0 968907262 183005184 33164 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44679 33164 301 301 0 44378 0
vsize: 178716
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55747 0 0 0 111418 602 0 0 25 0 1 0 968907262 183144448 33190 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44713 33190 301 301 0 44412 0
vsize: 178852
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55759 0 0 0 112414 607 0 0 25 0 1 0 968907262 183144448 33202 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44713 33202 301 301 0 44412 0
vsize: 178852
[startup+1140.04 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55780 0 0 0 113409 612 0 0 25 0 1 0 968907262 183287808 33223 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44748 33223 301 301 0 44447 0
vsize: 178992
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55812 0 0 0 114403 617 0 0 25 0 1 0 968907262 183287808 33255 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44748 33255 301 301 0 44447 0
vsize: 178992
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.01 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55851 0 0 0 115397 623 0 0 25 0 1 0 968907262 183422976 33294 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44781 33294 301 301 0 44480 0
vsize: 179124
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55902 0 0 0 116392 629 0 0 25 0 1 0 968907262 183558144 33345 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44814 33345 301 301 0 44513 0
vsize: 179256
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55927 0 0 0 117386 634 0 0 25 0 1 0 968907262 183697408 33370 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44848 33370 301 301 0 44547 0
vsize: 179392
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55964 0 0 0 118381 640 0 0 25 0 1 0 968907262 183832576 33407 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44881 33407 301 301 0 44580 0
vsize: 179524
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10545
Raw data (stat): 10545 (pb2sat-v2) R 10544 7266 7265 0 -1 0 55983 0 0 0 119376 645 0 0 25 0 1 0 968907262 183832576 33426 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44881 33426 301 301 0 44580 0
vsize: 179524
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.01 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 10545
Raw data (stat): 10545 (pb2sat-v2) Z 10544 7266 7265 0 -1 12 55985 0 0 0 119467 652 0 0 25 0 1 0 968907262 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.01
CPU time (s): 1201.19
CPU user time (s): 1194.67
CPU system time (s): 6.52001
CPU usage (%): 100.015
Max. virtual memory (Kb): 179524
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####