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-gen.opb
MD5SUM	860f839de61311f9d82ecee84a58294b
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	13134
Biggest coefficient in the objective function	3456331981783040
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	2106245048465744992
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	3456331981783040
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	2106245048465744992
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.167973
Number of variables	19038
Total number of constraints	1074
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	144
Number of constraints which are nor clauses,nor cardinality constraints	930
Minimum length of a constraint	1
Maximum length of a constraint	264
Trace number 42403

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 06:36:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25614 boxname=wulflinc5 idbench=914 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  860f839de61311f9d82ecee84a58294b  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-gen.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-gen.opb
IDLAUNCH: 25614
/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:        716544 kB
Buffers:         34776 kB
Cached:         260188 kB
SwapCached:        700 kB
Active:          74752 kB
Inactive:       222332 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        716292 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15364 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 06:56:35 (client local time) WITH STATUS 0 IN 1200.84 SECONDS
stats: 25614 7 1200.84 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 122067/275150	Time: 177.791/86400
c Decision: 122133/275150	Time: 206.556/86400
c Decision: 122705/275150	Time: 364.489/86400
c Decision: 122951/275150	Time: 436.446/86400
c Decision: 122966/275150	Time: 455.354/86400
c Decision: 123969/275150	Time: 854.364/86400
c Decision: 124409/275150	Time: 1041.87/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.98 1.04 0.94 2/54 10211
Raw data (stat): 10211 (runsolver) R 10210 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968653018 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.0007 s]
Raw data (loadavg): 0.98 1.03 0.94 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 18703 0 0 0 957 41 0 0 25 0 1 0 968653018 57073664 10908 4294967295 134512640 135730672 3221224576 3221188920 134787557 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13934 10908 301 301 0 13633 0
vsize: 55736
[startup+20.0019 s]
Raw data (loadavg): 1.14 1.07 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 37509 0 0 0 1915 83 0 0 25 0 1 0 968653018 111861760 21365 4294967295 134512640 135730672 3221224576 3221222824 135284640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27310 21365 301 301 0 27009 0
vsize: 109240
[startup+30.0032 s]
Raw data (loadavg): 1.12 1.06 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 38895 0 0 0 2911 87 0 0 25 0 1 0 968653018 118198272 22553 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28857 22553 301 301 0 28556 0
vsize: 115428
[startup+40.0029 s]
Raw data (loadavg): 1.10 1.06 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 39624 0 0 0 3908 90 0 0 25 0 1 0 968653018 121737216 23282 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29721 23282 301 301 0 29420 0
vsize: 118884
[startup+50.0032 s]
Raw data (loadavg): 1.08 1.06 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 40103 0 0 0 4905 93 0 0 25 0 1 0 968653018 124096512 23761 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30297 23761 301 301 0 29996 0
vsize: 121188
[startup+60.0034 s]
Raw data (loadavg): 1.07 1.06 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 40234 0 0 0 5903 96 0 0 25 0 1 0 968653018 124489728 23892 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30393 23892 301 301 0 30092 0
vsize: 121572
[startup+70.0037 s]
Raw data (loadavg): 1.06 1.05 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 40424 0 0 0 6899 99 0 0 25 0 1 0 968653018 125145088 24082 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30553 24082 301 301 0 30252 0
vsize: 122212
[startup+80.0046 s]
Raw data (loadavg): 1.05 1.05 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 40793 0 0 0 7896 102 0 0 25 0 1 0 968653018 126390272 24451 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30857 24451 301 301 0 30556 0
vsize: 123428
[startup+90.0049 s]
Raw data (loadavg): 1.04 1.05 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 40976 0 0 0 8893 105 0 0 25 0 1 0 968653018 127176704 24634 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31049 24634 301 301 0 30748 0
vsize: 124196
[startup+100.005 s]
Raw data (loadavg): 1.03 1.05 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 41164 0 0 0 9890 109 0 0 25 0 1 0 968653018 127963136 24822 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31241 24822 301 301 0 30940 0
vsize: 124964
[startup+110.005 s]
Raw data (loadavg): 1.03 1.05 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 41257 0 0 0 10886 112 0 0 25 0 1 0 968653018 128159744 24915 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31289 24915 301 301 0 30988 0
vsize: 125156
[startup+120.006 s]
Raw data (loadavg): 1.02 1.04 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 41787 0 0 0 11883 116 0 0 25 0 1 0 968653018 130715648 25445 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31913 25445 301 301 0 31612 0
vsize: 127652
[startup+130.007 s]
Raw data (loadavg): 1.02 1.04 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 42144 0 0 0 12877 121 0 0 25 0 1 0 968653018 132485120 25802 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32345 25802 301 301 0 32044 0
vsize: 129380
[startup+140.006 s]
Raw data (loadavg): 1.02 1.04 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 42190 0 0 0 13874 125 0 0 25 0 1 0 968653018 132681728 25848 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32393 25848 301 301 0 32092 0
vsize: 129572
[startup+150.007 s]
Raw data (loadavg): 1.01 1.04 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 42509 0 0 0 14870 129 0 0 25 0 1 0 968653018 134057984 26167 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32729 26167 301 301 0 32428 0
vsize: 130916
[startup+160.007 s]
Raw data (loadavg): 1.01 1.04 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 42722 0 0 0 15865 134 0 0 25 0 1 0 968653018 134856704 26380 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32924 26380 301 301 0 32623 0
vsize: 131696
[startup+170.008 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 43096 0 0 0 16861 138 0 0 25 0 1 0 968653018 136884224 26754 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33419 26754 301 301 0 33118 0
vsize: 133676
[startup+180.008 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 43280 0 0 0 17857 143 0 0 25 0 1 0 968653018 137830400 26938 4294967295 134512640 135730672 3221224576 3221223240 134765721 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33650 26938 301 301 0 33349 0
vsize: 134600
[startup+190.009 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 44004 0 0 0 18853 147 0 0 25 0 1 0 968653018 142426112 27662 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34772 27662 301 301 0 34471 0
vsize: 139088
[startup+200.01 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 44699 0 0 0 19848 151 0 0 25 0 1 0 968653018 143372288 27819 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35003 27819 301 301 0 34702 0
vsize: 140012
[startup+210.01 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 44704 0 0 0 20845 155 0 0 25 0 1 0 968653018 143372288 27824 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35003 27824 301 301 0 34702 0
vsize: 140012
[startup+220.011 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 44717 0 0 0 21840 160 0 0 25 0 1 0 968653018 143372288 27837 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35003 27837 301 301 0 34702 0
vsize: 140012
[startup+230.011 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 45269 0 0 0 22834 165 0 0 25 0 1 0 968653018 143372288 27851 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35003 27851 301 301 0 34702 0
vsize: 140012
[startup+240.011 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 45321 0 0 0 23830 169 0 0 25 0 1 0 968653018 143568896 27903 4294967295 134512640 135730672 3221224576 3221223072 134747842 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35051 27903 301 301 0 34750 0
vsize: 140204
[startup+250.012 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 45403 0 0 0 24825 174 0 0 25 0 1 0 968653018 143962112 27985 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35147 27985 301 301 0 34846 0
vsize: 140588
[startup+260.012 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 45563 0 0 0 25822 178 0 0 25 0 1 0 968653018 144687104 28145 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35324 28145 301 301 0 35023 0
vsize: 141296
[startup+270.013 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 45620 0 0 0 26820 180 0 0 25 0 1 0 968653018 144687104 28202 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35324 28202 301 301 0 35023 0
vsize: 141296
[startup+280.014 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 45731 0 0 0 27816 184 0 0 25 0 1 0 968653018 145227776 28313 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35456 28313 301 301 0 35155 0
vsize: 141824
[startup+290.013 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 45782 0 0 0 28812 188 0 0 25 0 1 0 968653018 145424384 28364 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35504 28364 301 301 0 35203 0
vsize: 142016
[startup+300.014 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 45831 0 0 0 29808 192 0 0 25 0 1 0 968653018 145620992 28413 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35552 28413 301 301 0 35251 0
vsize: 142208
[startup+310.014 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 45918 0 0 0 30805 196 0 0 25 0 1 0 968653018 146014208 28500 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35648 28500 301 301 0 35347 0
vsize: 142592
[startup+320.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 45975 0 0 0 31801 200 0 0 25 0 1 0 968653018 146178048 28557 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35688 28557 301 301 0 35387 0
vsize: 142752
[startup+330.016 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 46007 0 0 0 32799 201 0 0 25 0 1 0 968653018 146313216 28589 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35721 28589 301 301 0 35420 0
vsize: 142884
[startup+340.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 46018 0 0 0 33796 205 0 0 25 0 1 0 968653018 146313216 28600 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35721 28600 301 301 0 35420 0
vsize: 142884
[startup+350.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 46026 0 0 0 34793 208 0 0 25 0 1 0 968653018 146313216 28608 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35721 28608 301 301 0 35420 0
vsize: 142884
[startup+360.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 46070 0 0 0 35791 210 0 0 25 0 1 0 968653018 146477056 28652 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35761 28652 301 301 0 35460 0
vsize: 143044
[startup+370.017 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 46169 0 0 0 36788 214 0 0 25 0 1 0 968653018 146984960 28751 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35885 28751 301 301 0 35584 0
vsize: 143540
[startup+380.017 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 46373 0 0 0 37784 217 0 0 25 0 1 0 968653018 148131840 28955 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36165 28955 301 301 0 35864 0
vsize: 144660
[startup+390.017 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 46981 0 0 0 38780 222 0 0 25 0 1 0 968653018 148328448 29025 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36213 29025 301 301 0 35912 0
vsize: 144852
[startup+400.019 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 47045 0 0 0 39775 227 0 0 25 0 1 0 968653018 148688896 29089 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36301 29089 301 301 0 36000 0
vsize: 145204
[startup+410.018 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 47206 0 0 0 40772 230 0 0 25 0 1 0 968653018 149229568 29250 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36433 29250 301 301 0 36132 0
vsize: 145732
[startup+420.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 47344 0 0 0 41768 234 0 0 25 0 1 0 968653018 150147072 29388 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36657 29388 301 301 0 36356 0
vsize: 146628
[startup+430.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 47487 0 0 0 42763 239 0 0 25 0 1 0 968653018 150835200 29531 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36825 29531 301 301 0 36524 0
vsize: 147300
[startup+440.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 47586 0 0 0 43761 242 0 0 25 0 1 0 968653018 151162880 29630 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36905 29630 301 301 0 36604 0
vsize: 147620
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 47625 0 0 0 44758 244 0 0 25 0 1 0 968653018 151298048 29669 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36938 29669 301 301 0 36637 0
vsize: 147752
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 48529 0 0 0 45754 248 0 0 25 0 1 0 968653018 152899584 29936 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37329 29936 301 301 0 37028 0
vsize: 149316
[startup+470.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 48543 0 0 0 46752 251 0 0 25 0 1 0 968653018 152899584 29950 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37329 29950 301 301 0 37028 0
vsize: 149316
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 49284 0 0 0 47748 255 0 0 25 0 1 0 968653018 154251264 30153 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37659 30153 301 301 0 37358 0
vsize: 150636
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 49369 0 0 0 48744 259 0 0 25 0 1 0 968653018 154685440 30238 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37765 30238 301 301 0 37464 0
vsize: 151060
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 49489 0 0 0 49740 263 0 0 25 0 1 0 968653018 155176960 30358 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37885 30358 301 301 0 37584 0
vsize: 151540
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 49514 0 0 0 50736 267 0 0 25 0 1 0 968653018 155176960 30383 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37885 30383 301 301 0 37584 0
vsize: 151540
[startup+520.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 49664 0 0 0 51733 271 0 0 25 0 1 0 968653018 156033024 30533 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38094 30533 301 301 0 37793 0
vsize: 152376
[startup+530.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 49712 0 0 0 52730 273 0 0 25 0 1 0 968653018 156196864 30581 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38134 30581 301 301 0 37833 0
vsize: 152536
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 49778 0 0 0 53726 278 0 0 25 0 1 0 968653018 156524544 30647 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38214 30647 301 301 0 37913 0
vsize: 152856
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 49813 0 0 0 54723 281 0 0 25 0 1 0 968653018 156524544 30682 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38214 30682 301 301 0 37913 0
vsize: 152856
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 49846 0 0 0 55720 284 0 0 25 0 1 0 968653018 156659712 30715 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38247 30715 301 301 0 37946 0
vsize: 152988
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 49967 0 0 0 56716 288 0 0 25 0 1 0 968653018 157151232 30836 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38367 30836 301 301 0 38066 0
vsize: 153468
[startup+580.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 50119 0 0 0 57712 293 0 0 25 0 1 0 968653018 157941760 30988 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38560 30988 301 301 0 38259 0
vsize: 154240
[startup+590.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 50148 0 0 0 58709 296 0 0 25 0 1 0 968653018 157941760 31017 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38560 31017 301 301 0 38259 0
vsize: 154240
[startup+600.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 50236 0 0 0 59705 300 0 0 25 0 1 0 968653018 158269440 31105 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38640 31105 301 301 0 38339 0
vsize: 154560
[startup+610.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 50302 0 0 0 60702 304 0 0 25 0 1 0 968653018 158674944 31171 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38739 31171 301 301 0 38438 0
vsize: 154956
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 50462 0 0 0 61699 306 0 0 25 0 1 0 968653018 159436800 31331 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38925 31331 301 301 0 38624 0
vsize: 155700
[startup+630.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 50502 0 0 0 62696 310 0 0 25 0 1 0 968653018 159735808 31371 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38998 31371 301 301 0 38697 0
vsize: 155992
[startup+640.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 50599 0 0 0 63693 313 0 0 25 0 1 0 968653018 160276480 31468 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39130 31468 301 301 0 38829 0
vsize: 156520
[startup+650.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 50637 0 0 0 64690 316 0 0 25 0 1 0 968653018 160411648 31506 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39163 31506 301 301 0 38862 0
vsize: 156652
[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 50650 0 0 0 65686 321 0 0 25 0 1 0 968653018 160411648 31519 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39163 31519 301 301 0 38862 0
vsize: 156652
[startup+670.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 50783 0 0 0 66681 325 0 0 25 0 1 0 968653018 160980992 31652 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39302 31652 301 301 0 39001 0
vsize: 157208
[startup+680.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 50852 0 0 0 67677 330 0 0 25 0 1 0 968653018 161374208 31721 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39398 31721 301 301 0 39097 0
vsize: 157592
[startup+690.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51030 0 0 0 68673 334 0 0 25 0 1 0 968653018 162258944 31899 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39614 31899 301 301 0 39313 0
vsize: 158456
[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51102 0 0 0 69671 337 0 0 25 0 1 0 968653018 162652160 31971 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39710 31971 301 301 0 39409 0
vsize: 158840
[startup+710.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51137 0 0 0 70667 340 0 0 25 0 1 0 968653018 162787328 32006 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 32006 301 301 0 39442 0
vsize: 158972
[startup+720.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51206 0 0 0 71663 345 0 0 25 0 1 0 968653018 163057664 32075 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39809 32075 301 301 0 39508 0
vsize: 159236
[startup+730.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51268 0 0 0 72660 348 0 0 25 0 1 0 968653018 163586048 32137 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39938 32137 301 301 0 39637 0
vsize: 159752
[startup+740.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51359 0 0 0 73657 351 0 0 25 0 1 0 968653018 164175872 32228 4294967295 134512640 135730672 3221224576 3221223164 134747446 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40082 32228 301 301 0 39781 0
vsize: 160328
[startup+750.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51378 0 0 0 74654 355 0 0 25 0 1 0 968653018 164175872 32247 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40082 32247 301 301 0 39781 0
vsize: 160328
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51392 0 0 0 75649 359 0 0 25 0 1 0 968653018 164175872 32261 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40082 32261 301 301 0 39781 0
vsize: 160328
[startup+770.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51411 0 0 0 76646 363 0 0 25 0 1 0 968653018 164175872 32280 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40082 32280 301 301 0 39781 0
vsize: 160328
[startup+780.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51446 0 0 0 77641 368 0 0 25 0 1 0 968653018 164339712 32315 4294967295 134512640 135730672 3221224576 3221223072 134747555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40122 32315 301 301 0 39821 0
vsize: 160488
[startup+790.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51498 0 0 0 78637 373 0 0 25 0 1 0 968653018 164503552 32367 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40162 32367 301 301 0 39861 0
vsize: 160648
[startup+800.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51562 0 0 0 79632 377 0 0 25 0 1 0 968653018 164773888 32431 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40228 32431 301 301 0 39927 0
vsize: 160912
[startup+810.03 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51626 0 0 0 80629 380 0 0 25 0 1 0 968653018 165105664 32495 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40309 32495 301 301 0 40008 0
vsize: 161236
[startup+820.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51636 0 0 0 81626 383 0 0 25 0 1 0 968653018 165105664 32505 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40309 32505 301 301 0 40008 0
vsize: 161236
[startup+830.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51649 0 0 0 82622 388 0 0 25 0 1 0 968653018 165105664 32518 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40309 32518 301 301 0 40008 0
vsize: 161236
[startup+840.031 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51664 0 0 0 83618 392 0 0 25 0 1 0 968653018 165253120 32533 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40345 32533 301 301 0 40044 0
vsize: 161380
[startup+850.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51734 0 0 0 84614 396 0 0 25 0 1 0 968653018 165597184 32603 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40429 32603 301 301 0 40128 0
vsize: 161716
[startup+860.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 51775 0 0 0 85610 401 0 0 25 0 1 0 968653018 165793792 32644 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40477 32644 301 301 0 40176 0
vsize: 161908
[startup+870.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 52370 0 0 0 86604 407 0 0 25 0 1 0 968653018 168161280 33239 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41055 33239 301 301 0 40754 0
vsize: 164220
[startup+880.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 52383 0 0 0 87602 409 0 0 25 0 1 0 968653018 166154240 32714 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40565 32714 301 301 0 40264 0
vsize: 162260
[startup+890.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 52474 0 0 0 88596 414 0 0 25 0 1 0 968653018 166682624 32805 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40694 32805 301 301 0 40393 0
vsize: 162776
[startup+900.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 52593 0 0 0 89591 420 0 0 25 0 1 0 968653018 167272448 32924 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40838 32924 301 301 0 40537 0
vsize: 163352
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 52672 0 0 0 90587 424 0 0 25 0 1 0 968653018 167862272 33003 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40982 33003 301 301 0 40681 0
vsize: 163928
[startup+920.035 s]
Raw data (loadavg): 1.08 1.02 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 52731 0 0 0 91584 427 0 0 25 0 1 0 968653018 168132608 33062 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41048 33062 301 301 0 40747 0
vsize: 164192
[startup+930.035 s]
Raw data (loadavg): 1.07 1.02 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 52886 0 0 0 92581 431 0 0 25 0 1 0 968653018 169115648 33217 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41288 33217 301 301 0 40987 0
vsize: 165152
[startup+940.035 s]
Raw data (loadavg): 1.06 1.01 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 52973 0 0 0 93577 434 0 0 25 0 1 0 968653018 169508864 33304 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41384 33304 301 301 0 41083 0
vsize: 165536
[startup+950.035 s]
Raw data (loadavg): 1.05 1.01 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 53014 0 0 0 94573 439 0 0 25 0 1 0 968653018 169644032 33345 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41417 33345 301 301 0 41116 0
vsize: 165668
[startup+960.035 s]
Raw data (loadavg): 1.04 1.01 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 53120 0 0 0 95568 444 0 0 25 0 1 0 968653018 170172416 33451 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41546 33451 301 301 0 41245 0
vsize: 166184
[startup+970.036 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 53132 0 0 0 96564 448 0 0 25 0 1 0 968653018 170172416 33463 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41546 33463 301 301 0 41245 0
vsize: 166184
[startup+980.036 s]
Raw data (loadavg): 1.03 1.01 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 53244 0 0 0 97559 453 0 0 25 0 1 0 968653018 170893312 33575 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41722 33575 301 301 0 41421 0
vsize: 166888
[startup+990.037 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 53321 0 0 0 98555 457 0 0 25 0 1 0 968653018 171237376 33652 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41806 33652 301 301 0 41505 0
vsize: 167224
[startup+1000.04 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 53385 0 0 0 99550 462 0 0 25 0 1 0 968653018 171433984 33716 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41854 33716 301 301 0 41553 0
vsize: 167416
[startup+1010.04 s]
Raw data (loadavg): 1.02 1.01 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 53534 0 0 0 100547 466 0 0 25 0 1 0 968653018 172429312 33865 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42097 33865 301 301 0 41796 0
vsize: 168388
[startup+1020.04 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 53574 0 0 0 101542 471 0 0 25 0 1 0 968653018 172564480 33905 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42130 33905 301 301 0 41829 0
vsize: 168520
[startup+1030.04 s]
Raw data (loadavg): 1.01 1.01 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 53611 0 0 0 102537 476 0 0 25 0 1 0 968653018 172728320 33942 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42170 33942 301 301 0 41869 0
vsize: 168680
[startup+1040.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 53722 0 0 0 103532 482 0 0 25 0 1 0 968653018 173285376 34053 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42306 34053 301 301 0 42005 0
vsize: 169224
[startup+1050.04 s]
Raw data (loadavg): 1.01 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 53778 0 0 0 104529 485 0 0 25 0 1 0 968653018 173678592 34109 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42402 34109 301 301 0 42101 0
vsize: 169608
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 54518 0 0 0 105525 489 0 0 25 0 1 0 968653018 174653440 34311 4294967295 134512640 135730672 3221224576 3221223072 134747474 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42640 34311 301 301 0 42339 0
vsize: 170560
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 54602 0 0 0 106522 492 0 0 25 0 1 0 968653018 175194112 34395 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42772 34395 301 301 0 42471 0
vsize: 171088
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 54677 0 0 0 107519 495 0 0 25 0 1 0 968653018 175599616 34470 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42871 34470 301 301 0 42570 0
vsize: 171484
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 54728 0 0 0 108514 500 0 0 25 0 1 0 968653018 175763456 34521 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42911 34521 301 301 0 42610 0
vsize: 171644
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 54767 0 0 0 109511 503 0 0 25 0 1 0 968653018 175898624 34560 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42944 34560 301 301 0 42643 0
vsize: 171776
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 54909 0 0 0 110505 510 0 0 25 0 1 0 968653018 176685056 34702 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43136 34702 301 301 0 42835 0
vsize: 172544
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 54964 0 0 0 111500 514 0 0 25 0 1 0 968653018 176881664 34757 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43184 34757 301 301 0 42883 0
vsize: 172736
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 55111 0 0 0 112494 520 0 0 25 0 1 0 968653018 177741824 34904 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43394 34904 301 301 0 43093 0
vsize: 173576
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 55125 0 0 0 113490 525 0 0 25 0 1 0 968653018 177741824 34918 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43394 34918 301 301 0 43093 0
vsize: 173576
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 55163 0 0 0 114486 529 0 0 25 0 1 0 968653018 177938432 34956 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43442 34956 301 301 0 43141 0
vsize: 173768
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 55225 0 0 0 115482 533 0 0 25 0 1 0 968653018 178331648 35018 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43538 35018 301 301 0 43237 0
vsize: 174152
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 55269 0 0 0 116478 538 0 0 25 0 1 0 968653018 178528256 35062 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43586 35062 301 301 0 43285 0
vsize: 174344
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 55326 0 0 0 117472 544 0 0 25 0 1 0 968653018 178724864 35119 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43634 35119 301 301 0 43333 0
vsize: 174536
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 55410 0 0 0 118468 548 0 0 25 0 1 0 968653018 179253248 35203 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43763 35203 301 301 0 43462 0
vsize: 175052
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/54 10211
Raw data (stat): 10211 (pb2sat-v2) R 10210 7266 7265 0 -1 0 55480 0 0 0 119463 553 0 0 25 0 1 0 968653018 179646464 35273 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43859 35273 301 301 0 43558 0
vsize: 175436
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.72 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 10211
Raw data (stat): 10211 (pb2sat-v2) Z 10210 7266 7265 0 -1 12 55482 0 0 0 119523 560 0 0 25 0 1 0 968653018 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): 1200.72
CPU time (s): 1200.84
CPU user time (s): 1195.23
CPU system time (s): 5.60615
CPU usage (%): 100.01
Max. virtual memory (Kb): 175436
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####