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/miplib3/normalized-mps-v2-20-10-gen.opb
MD5SUM	44022c506f5e075b1877fcb50aa96dbc
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.169973
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 42521

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 09:34:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25730 boxname=wulflinc5 idbench=1030 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  44022c506f5e075b1877fcb50aa96dbc  /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: 25730
/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:        775048 kB
Buffers:         27664 kB
Cached:         208560 kB
SwapCached:        688 kB
Active:          27736 kB
Inactive:       210624 kB
HighTotal:      131008 kB
HighFree:        45612 kB
LowTotal:       903652 kB
LowFree:        729436 kB
SwapTotal:     2097136 kB
SwapFree:      2095520 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15636 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:54:58 (client local time) WITH STATUS 0 IN 1200.86 SECONDS
stats: 25730 7 1200.86 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.704/86400
c Decision: 122133/275150	Time: 206.503/86400
c Decision: 122705/275150	Time: 364.436/86400
c Decision: 122951/275150	Time: 436.035/86400
c Decision: 122966/275150	Time: 454.732/86400
c Decision: 123969/275150	Time: 849.156/86400
c Decision: 124409/275150	Time: 1034.65/86400
c Decision: 124683/275150	Time: 1181.88/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.88 0.94 0.90 2/54 11862
Raw data (stat): 11862 (runsolver) R 11861 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969723435 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 18076 0 0 0 959 39 0 0 25 0 1 0 969723435 57073664 10293 4294967295 134512640 135730672 3221224576 3221192648 134549353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13934 10293 301 301 0 13633 0
vsize: 55736
[startup+20.0011 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 37509 0 0 0 1912 85 0 0 25 0 1 0 969723435 111861760 21365 4294967295 134512640 135730672 3221224576 3221223232 134734759 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.0011 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 38789 0 0 0 2909 88 0 0 25 0 1 0 969723435 117805056 22447 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 28761 22447 301 301 0 28460 0
vsize: 115044
[startup+40.0016 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 39572 0 0 0 3907 91 0 0 25 0 1 0 969723435 121540608 23230 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29673 23230 301 301 0 29372 0
vsize: 118692
[startup+50.0013 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 40099 0 0 0 4904 94 0 0 25 0 1 0 969723435 124096512 23757 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30297 23757 301 301 0 29996 0
vsize: 121188
[startup+60.0024 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 40231 0 0 0 5902 96 0 0 25 0 1 0 969723435 124489728 23889 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30393 23889 301 301 0 30092 0
vsize: 121572
[startup+70.0028 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 40413 0 0 0 6900 98 0 0 25 0 1 0 969723435 124981248 24071 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30513 24071 301 301 0 30212 0
vsize: 122052
[startup+80.0026 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 40761 0 0 0 7898 100 0 0 25 0 1 0 969723435 126390272 24419 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30857 24419 301 301 0 30556 0
vsize: 123428
[startup+90.0027 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 40975 0 0 0 8895 103 0 0 25 0 1 0 969723435 127176704 24633 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31049 24633 301 301 0 30748 0
vsize: 124196
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 41133 0 0 0 9892 107 0 0 25 0 1 0 969723435 127766528 24791 4294967295 134512640 135730672 3221224576 3221222824 135284590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31193 24791 301 301 0 30892 0
vsize: 124772
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 41241 0 0 0 10889 110 0 0 25 0 1 0 969723435 128159744 24899 4294967295 134512640 135730672 3221224576 3221223232 134734837 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31289 24899 301 301 0 30988 0
vsize: 125156
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 41783 0 0 0 11885 114 0 0 25 0 1 0 969723435 130715648 25441 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31913 25441 301 301 0 31612 0
vsize: 127652
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 42143 0 0 0 12882 117 0 0 25 0 1 0 969723435 132485120 25801 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32345 25801 301 301 0 32044 0
vsize: 129380
[startup+140.003 s]
Raw data (loadavg): 0.99 0.96 0.91 3/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 42188 0 0 0 13880 120 0 0 25 0 1 0 969723435 132681728 25846 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32393 25846 301 301 0 32092 0
vsize: 129572
[startup+150.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 42505 0 0 0 14875 124 0 0 25 0 1 0 969723435 134057984 26163 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32729 26163 301 301 0 32428 0
vsize: 130916
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 42722 0 0 0 15873 127 0 0 25 0 1 0 969723435 134856704 26380 4294967295 134512640 135730672 3221224576 3221223196 135341601 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.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 43096 0 0 0 16869 131 0 0 25 0 1 0 969723435 136884224 26754 4294967295 134512640 135730672 3221224576 3221223264 134748499 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.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 43279 0 0 0 17865 135 0 0 25 0 1 0 969723435 137830400 26937 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33650 26937 301 301 0 33349 0
vsize: 134600
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 43983 0 0 0 18861 140 0 0 25 0 1 0 969723435 142290944 27641 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34739 27641 301 301 0 34438 0
vsize: 138956
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 44698 0 0 0 19857 143 0 0 25 0 1 0 969723435 143372288 27818 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35003 27818 301 301 0 34702 0
vsize: 140012
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 44704 0 0 0 20853 147 0 0 25 0 1 0 969723435 143372288 27824 4294967295 134512640 135730672 3221224576 3221223072 134747651 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.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 44716 0 0 0 21850 150 0 0 25 0 1 0 969723435 143372288 27836 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35003 27836 301 301 0 34702 0
vsize: 140012
[startup+230.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45269 0 0 0 22846 154 0 0 25 0 1 0 969723435 143372288 27851 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35003 27851 301 301 0 34702 0
vsize: 140012
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45319 0 0 0 23842 158 0 0 25 0 1 0 969723435 143568896 27901 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35051 27901 301 301 0 34750 0
vsize: 140204
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45388 0 0 0 24838 161 0 0 25 0 1 0 969723435 143765504 27970 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35099 27970 301 301 0 34798 0
vsize: 140396
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45535 0 0 0 25834 166 0 0 25 0 1 0 969723435 144490496 28117 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35276 28117 301 301 0 34975 0
vsize: 141104
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45619 0 0 0 26832 168 0 0 25 0 1 0 969723435 144687104 28201 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35324 28201 301 301 0 35023 0
vsize: 141296
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45726 0 0 0 27829 171 0 0 25 0 1 0 969723435 145227776 28308 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35456 28308 301 301 0 35155 0
vsize: 141824
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45781 0 0 0 28826 174 0 0 25 0 1 0 969723435 145424384 28363 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35504 28363 301 301 0 35203 0
vsize: 142016
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45816 0 0 0 29824 177 0 0 25 0 1 0 969723435 145620992 28398 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35552 28398 301 301 0 35251 0
vsize: 142208
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45916 0 0 0 30820 181 0 0 25 0 1 0 969723435 146014208 28498 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35648 28498 301 301 0 35347 0
vsize: 142592
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 45974 0 0 0 31817 184 0 0 25 0 1 0 969723435 146178048 28556 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35688 28556 301 301 0 35387 0
vsize: 142752
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46007 0 0 0 32814 188 0 0 25 0 1 0 969723435 146313216 28589 4294967295 134512640 135730672 3221224576 3221222896 134732476 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46016 0 0 0 33811 190 0 0 25 0 1 0 969723435 146313216 28598 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35721 28598 301 301 0 35420 0
vsize: 142884
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46025 0 0 0 34809 193 0 0 25 0 1 0 969723435 146313216 28607 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35721 28607 301 301 0 35420 0
vsize: 142884
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46069 0 0 0 35806 196 0 0 25 0 1 0 969723435 146477056 28651 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35761 28651 301 301 0 35460 0
vsize: 143044
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46168 0 0 0 36803 199 0 0 25 0 1 0 969723435 146984960 28750 4294967295 134512640 135730672 3221224576 3221223188 134748221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35885 28750 301 301 0 35584 0
vsize: 143540
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46366 0 0 0 37801 202 0 0 25 0 1 0 969723435 148131840 28948 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36165 28948 301 301 0 35864 0
vsize: 144660
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 46980 0 0 0 38797 206 0 0 25 0 1 0 969723435 148328448 29024 4294967295 134512640 135730672 3221224576 3221223264 134748549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36213 29024 301 301 0 35912 0
vsize: 144852
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 47044 0 0 0 39794 208 0 0 25 0 1 0 969723435 148688896 29088 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36301 29088 301 301 0 36000 0
vsize: 145204
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 47206 0 0 0 40791 212 0 0 25 0 1 0 969723435 149229568 29250 4294967295 134512640 135730672 3221224576 3221223232 134734761 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 47343 0 0 0 41788 215 0 0 25 0 1 0 969723435 150147072 29387 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36657 29387 301 301 0 36356 0
vsize: 146628
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 47426 0 0 0 42784 219 0 0 25 0 1 0 969723435 150507520 29470 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36745 29470 301 301 0 36444 0
vsize: 146980
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 47586 0 0 0 43780 224 0 0 25 0 1 0 969723435 151162880 29630 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36905 29630 301 301 0 36604 0
vsize: 147620
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 47624 0 0 0 44776 227 0 0 25 0 1 0 969723435 151298048 29668 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36938 29668 301 301 0 36637 0
vsize: 147752
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 48529 0 0 0 45773 231 0 0 25 0 1 0 969723435 152899584 29936 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37329 29936 301 301 0 37028 0
vsize: 149316
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 48543 0 0 0 46770 234 0 0 25 0 1 0 969723435 152899584 29950 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37329 29950 301 301 0 37028 0
vsize: 149316
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49284 0 0 0 47764 240 0 0 25 0 1 0 969723435 154251264 30153 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37659 30153 301 301 0 37358 0
vsize: 150636
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49390 0 0 0 48761 243 0 0 25 0 1 0 969723435 154685440 30259 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37765 30259 301 301 0 37464 0
vsize: 151060
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49490 0 0 0 49758 246 0 0 25 0 1 0 969723435 155176960 30359 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37885 30359 301 301 0 37584 0
vsize: 151540
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49524 0 0 0 50755 250 0 0 25 0 1 0 969723435 155373568 30393 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37933 30393 301 301 0 37632 0
vsize: 151732
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49664 0 0 0 51751 254 0 0 25 0 1 0 969723435 156033024 30533 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38094 30533 301 301 0 37793 0
vsize: 152376
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49718 0 0 0 52749 256 0 0 25 0 1 0 969723435 156360704 30587 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38174 30587 301 301 0 37873 0
vsize: 152696
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49779 0 0 0 53744 261 0 0 25 0 1 0 969723435 156524544 30648 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38214 30648 301 301 0 37913 0
vsize: 152856
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49833 0 0 0 54741 264 0 0 25 0 1 0 969723435 156659712 30702 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38247 30702 301 301 0 37946 0
vsize: 152988
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49847 0 0 0 55739 267 0 0 25 0 1 0 969723435 156659712 30716 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38247 30716 301 301 0 37946 0
vsize: 152988
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 49981 0 0 0 56734 272 0 0 25 0 1 0 969723435 157315072 30850 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38407 30850 301 301 0 38106 0
vsize: 153628
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50121 0 0 0 57731 275 0 0 25 0 1 0 969723435 157941760 30990 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38560 30990 301 301 0 38259 0
vsize: 154240
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50183 0 0 0 58728 279 0 0 25 0 1 0 969723435 158105600 31052 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38600 31052 301 301 0 38299 0
vsize: 154400
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50255 0 0 0 59725 282 0 0 25 0 1 0 969723435 158404608 31124 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38673 31124 301 301 0 38372 0
vsize: 154692
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50339 0 0 0 60723 284 0 0 25 0 1 0 969723435 158838784 31208 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38779 31208 301 301 0 38478 0
vsize: 155116
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50465 0 0 0 61720 287 0 0 25 0 1 0 969723435 159436800 31334 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38925 31334 301 301 0 38624 0
vsize: 155700
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50515 0 0 0 62716 291 0 0 25 0 1 0 969723435 159735808 31384 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38998 31384 301 301 0 38697 0
vsize: 155992
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50601 0 0 0 63713 295 0 0 25 0 1 0 969723435 160276480 31470 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39130 31470 301 301 0 38829 0
vsize: 156520
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50640 0 0 0 64710 298 0 0 25 0 1 0 969723435 160411648 31509 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39163 31509 301 301 0 38862 0
vsize: 156652
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50659 0 0 0 65707 301 0 0 25 0 1 0 969723435 160411648 31528 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39163 31528 301 301 0 38862 0
vsize: 156652
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50822 0 0 0 66703 306 0 0 25 0 1 0 969723435 161177600 31691 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39350 31691 301 301 0 39049 0
vsize: 157400
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 50884 0 0 0 67699 310 0 0 25 0 1 0 969723435 161538048 31753 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39438 31753 301 301 0 39137 0
vsize: 157752
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51041 0 0 0 68694 314 0 0 25 0 1 0 969723435 162455552 31910 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39662 31910 301 301 0 39361 0
vsize: 158648
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51110 0 0 0 69692 317 0 0 25 0 1 0 969723435 162652160 31979 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39710 31979 301 301 0 39409 0
vsize: 158840
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51141 0 0 0 70688 321 0 0 25 0 1 0 969723435 162787328 32010 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39743 32010 301 301 0 39442 0
vsize: 158972
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51226 0 0 0 71684 325 0 0 25 0 1 0 969723435 163192832 32095 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39842 32095 301 301 0 39541 0
vsize: 159368
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51333 0 0 0 72681 329 0 0 25 0 1 0 969723435 163979264 32202 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40034 32202 301 301 0 39733 0
vsize: 160136
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51362 0 0 0 73678 332 0 0 25 0 1 0 969723435 164175872 32231 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40082 32231 301 301 0 39781 0
vsize: 160328
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51381 0 0 0 74675 335 0 0 25 0 1 0 969723435 164175872 32250 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40082 32250 301 301 0 39781 0
vsize: 160328
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51396 0 0 0 75671 339 0 0 25 0 1 0 969723435 164175872 32265 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40082 32265 301 301 0 39781 0
vsize: 160328
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51418 0 0 0 76668 343 0 0 25 0 1 0 969723435 164175872 32287 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40082 32287 301 301 0 39781 0
vsize: 160328
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51490 0 0 0 77664 347 0 0 25 0 1 0 969723435 164503552 32359 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40162 32359 301 301 0 39861 0
vsize: 160648
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51512 0 0 0 78659 351 0 0 25 0 1 0 969723435 164503552 32381 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40162 32381 301 301 0 39861 0
vsize: 160648
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51575 0 0 0 79656 355 0 0 25 0 1 0 969723435 164970496 32444 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40276 32444 301 301 0 39975 0
vsize: 161104
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51630 0 0 0 80652 359 0 0 25 0 1 0 969723435 165105664 32499 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40309 32499 301 301 0 40008 0
vsize: 161236
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51640 0 0 0 81649 362 0 0 25 0 1 0 969723435 165105664 32509 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40309 32509 301 301 0 40008 0
vsize: 161236
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51656 0 0 0 82645 366 0 0 25 0 1 0 969723435 165105664 32525 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40309 32525 301 301 0 40008 0
vsize: 161236
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51680 0 0 0 83642 369 0 0 25 0 1 0 969723435 165253120 32549 4294967295 134512640 135730672 3221224576 3221223072 134747631 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40345 32549 301 301 0 40044 0
vsize: 161380
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51759 0 0 0 84638 374 0 0 25 0 1 0 969723435 165597184 32628 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40429 32628 301 301 0 40128 0
vsize: 161716
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 51798 0 0 0 85633 379 0 0 25 0 1 0 969723435 165793792 32667 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40477 32667 301 301 0 40176 0
vsize: 161908
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52370 0 0 0 86629 383 0 0 25 0 1 0 969723435 165957632 32701 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40517 32701 301 301 0 40216 0
vsize: 162068
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52421 0 0 0 87624 388 0 0 25 0 1 0 969723435 166289408 32752 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40598 32752 301 301 0 40297 0
vsize: 162392
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52521 0 0 0 88618 394 0 0 25 0 1 0 969723435 166879232 32852 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40742 32852 301 301 0 40441 0
vsize: 162968
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52640 0 0 0 89614 399 0 0 25 0 1 0 969723435 167665664 32971 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40934 32971 301 301 0 40633 0
vsize: 163736
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52728 0 0 0 90609 403 0 0 25 0 1 0 969723435 168132608 33059 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41048 33059 301 301 0 40747 0
vsize: 164192
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52805 0 0 0 91605 408 0 0 25 0 1 0 969723435 168525824 33136 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41144 33136 301 301 0 40843 0
vsize: 164576
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52893 0 0 0 92600 413 0 0 25 0 1 0 969723435 169115648 33224 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41288 33224 301 301 0 40987 0
vsize: 165152
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 52975 0 0 0 93597 417 0 0 25 0 1 0 969723435 169508864 33306 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41384 33306 301 301 0 41083 0
vsize: 165536
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53093 0 0 0 94592 421 0 0 25 0 1 0 969723435 170172416 33424 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41546 33424 301 301 0 41245 0
vsize: 166184
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53127 0 0 0 95588 426 0 0 25 0 1 0 969723435 170172416 33458 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41546 33458 301 301 0 41245 0
vsize: 166184
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53207 0 0 0 96584 430 0 0 25 0 1 0 969723435 170696704 33538 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41674 33538 301 301 0 41373 0
vsize: 166696
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53282 0 0 0 97580 434 0 0 25 0 1 0 969723435 171089920 33613 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41770 33613 301 301 0 41469 0
vsize: 167080
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53328 0 0 0 98576 438 0 0 25 0 1 0 969723435 171237376 33659 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41806 33659 301 301 0 41505 0
vsize: 167224
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53414 0 0 0 99572 442 0 0 25 0 1 0 969723435 171630592 33745 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41902 33745 301 301 0 41601 0
vsize: 167608
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53569 0 0 0 100567 447 0 0 25 0 1 0 969723435 172564480 33900 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42130 33900 301 301 0 41829 0
vsize: 168520
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53581 0 0 0 101565 450 0 0 25 0 1 0 969723435 172564480 33912 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42130 33912 301 301 0 41829 0
vsize: 168520
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53665 0 0 0 102561 454 0 0 25 0 1 0 969723435 173121536 33996 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42266 33996 301 301 0 41965 0
vsize: 169064
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53741 0 0 0 103555 460 0 0 25 0 1 0 969723435 173481984 34072 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42354 34072 301 301 0 42053 0
vsize: 169416
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 53890 0 0 0 104550 465 0 0 25 0 1 0 969723435 174247936 34221 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42541 34221 301 301 0 42240 0
vsize: 170164
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 54541 0 0 0 105547 468 0 0 25 0 1 0 969723435 174788608 34334 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42673 34334 301 301 0 42372 0
vsize: 170692
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 54651 0 0 0 106543 473 0 0 25 0 1 0 969723435 175464448 34444 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42838 34444 301 301 0 42537 0
vsize: 171352
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 54693 0 0 0 107538 477 0 0 25 0 1 0 969723435 175599616 34486 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42871 34486 301 301 0 42570 0
vsize: 171484
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 54746 0 0 0 108535 480 0 0 25 0 1 0 969723435 175763456 34539 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42911 34539 301 301 0 42610 0
vsize: 171644
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 54851 0 0 0 109532 484 0 0 25 0 1 0 969723435 176291840 34644 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43040 34644 301 301 0 42739 0
vsize: 172160
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 54938 0 0 0 110527 489 0 0 25 0 1 0 969723435 176881664 34731 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43184 34731 301 301 0 42883 0
vsize: 172736
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55076 0 0 0 111522 495 0 0 25 0 1 0 969723435 177545216 34869 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43346 34869 301 301 0 43045 0
vsize: 173384
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55121 0 0 0 112517 499 0 0 25 0 1 0 969723435 177741824 34914 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43394 34914 301 301 0 43093 0
vsize: 173576
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55162 0 0 0 113512 504 0 0 25 0 1 0 969723435 177938432 34955 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43442 34955 301 301 0 43141 0
vsize: 173768
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55213 0 0 0 114508 509 0 0 25 0 1 0 969723435 178331648 35006 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43538 35006 301 301 0 43237 0
vsize: 174152
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55265 0 0 0 115503 514 0 0 25 0 1 0 969723435 178528256 35058 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43586 35058 301 301 0 43285 0
vsize: 174344
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55323 0 0 0 116498 520 0 0 25 0 1 0 969723435 178724864 35116 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43634 35116 301 301 0 43333 0
vsize: 174536
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55389 0 0 0 117494 524 0 0 25 0 1 0 969723435 179118080 35182 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43730 35182 301 301 0 43429 0
vsize: 174920
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 55457 0 0 0 118489 528 0 0 25 0 1 0 969723435 179449856 35250 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43811 35250 301 301 0 43510 0
vsize: 175244
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11862
Raw data (stat): 11862 (pb2sat-v2) R 11861 7266 7265 0 -1 0 56073 0 0 0 119482 536 0 0 25 0 1 0 969723435 179843072 35328 4294967295 134512640 135730672 3221224576 3221223184 134744754 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 43907 35328 301 301 0 43606 0
vsize: 175628
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.72 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 11862
Raw data (stat): 11862 (pb2sat-v2) Z 11861 7266 7265 0 -1 12 56075 0 0 0 119542 543 0 0 25 0 1 0 969723435 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 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.86
CPU user time (s): 1195.43
CPU system time (s): 5.43517
CPU usage (%): 100.012
Max. virtual memory (Kb): 175628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####