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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        696880 kB
Buffers:         34468 kB
Cached:         280992 kB
SwapCached:        944 kB
Active:          31340 kB
Inactive:       286264 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        696628 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14528 kB
Committed_AS:    71908 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 07:43:08 (client local time) WITH STATUS 0 IN 1201.18 SECONDS
stats: 25647 7 1201.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 1/54 23506
Raw data (stat): 23506 (runsolver) R 23505 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968922097 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.0016 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 24869 0 0 0 947 52 0 0 25 0 1 0 968922097 78184448 13988 4294967295 134512640 135730672 3221224576 3221129056 134611000 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19088 13988 301 301 0 18787 0
vsize: 76352
[startup+20.0019 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49163 0 0 0 1896 102 0 0 25 0 1 0 968922097 157372416 26671 4294967295 134512640 135730672 3221224576 3221222880 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38421 26671 301 301 0 38120 0
vsize: 153684
[startup+30.0017 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49181 0 0 0 2891 107 0 0 25 0 1 0 968922097 157372416 26689 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38421 26689 301 301 0 38120 0
vsize: 153684
[startup+40.0019 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49198 0 0 0 3888 111 0 0 25 0 1 0 968922097 157372416 26706 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38421 26706 301 301 0 38120 0
vsize: 153684
[startup+50.0024 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49212 0 0 0 4883 115 0 0 25 0 1 0 968922097 157372416 26720 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38421 26720 301 301 0 38120 0
vsize: 153684
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49227 0 0 0 5879 120 0 0 25 0 1 0 968922097 157372416 26735 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38421 26735 301 301 0 38120 0
vsize: 153684
[startup+70.0035 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49241 0 0 0 6875 124 0 0 25 0 1 0 968922097 157372416 26749 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38421 26749 301 301 0 38120 0
vsize: 153684
[startup+80.0034 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49256 0 0 0 7871 129 0 0 25 0 1 0 968922097 157372416 26764 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38421 26764 301 301 0 38120 0
vsize: 153684
[startup+90.004 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49267 0 0 0 8866 133 0 0 25 0 1 0 968922097 157372416 26775 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38421 26775 301 301 0 38120 0
vsize: 153684
[startup+100.004 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49518 0 0 0 9861 138 0 0 25 0 1 0 968922097 158511104 27026 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38699 27026 301 301 0 38398 0
vsize: 154796
[startup+110.005 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49585 0 0 0 10858 142 0 0 25 0 1 0 968922097 158650368 27093 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38733 27093 301 301 0 38432 0
vsize: 154932
[startup+120.005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49715 0 0 0 11854 146 0 0 25 0 1 0 968922097 159240192 27223 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38877 27223 301 301 0 38576 0
vsize: 155508
[startup+130.005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49804 0 0 0 12849 151 0 0 25 0 1 0 968922097 159682560 27312 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38985 27312 301 301 0 38684 0
vsize: 155940
[startup+140.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49828 0 0 0 13845 156 0 0 25 0 1 0 968922097 159682560 27336 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38985 27336 301 301 0 38684 0
vsize: 155940
[startup+150.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 49956 0 0 0 14841 160 0 0 25 0 1 0 968922097 160284672 27464 4294967295 134512640 135730672 3221224576 3221223200 134748168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39132 27464 301 301 0 38831 0
vsize: 156528
[startup+160.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 50153 0 0 0 15836 165 0 0 25 0 1 0 968922097 160989184 27661 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39304 27661 301 301 0 39003 0
vsize: 157216
[startup+170.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 50231 0 0 0 16832 169 0 0 25 0 1 0 968922097 161263616 27739 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39371 27739 301 301 0 39070 0
vsize: 157484
[startup+180.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 50382 0 0 0 17828 174 0 0 25 0 1 0 968922097 161984512 27890 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39547 27890 301 301 0 39246 0
vsize: 158188
[startup+190.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 50469 0 0 0 18823 179 0 0 25 0 1 0 968922097 162279424 27977 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39619 27977 301 301 0 39318 0
vsize: 158476
[startup+200.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 50543 0 0 0 19819 183 0 0 25 0 1 0 968922097 162582528 28051 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39693 28051 301 301 0 39392 0
vsize: 158772
[startup+210.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 50663 0 0 0 20814 188 0 0 25 0 1 0 968922097 163024896 28171 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39801 28171 301 301 0 39500 0
vsize: 159204
[startup+220.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 50726 0 0 0 21810 192 0 0 25 0 1 0 968922097 163172352 28234 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39837 28234 301 301 0 39536 0
vsize: 159348
[startup+230.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 50830 0 0 0 22806 196 0 0 25 0 1 0 968922097 163614720 28338 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39945 28338 301 301 0 39644 0
vsize: 159780
[startup+240.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 50956 0 0 0 23800 202 0 0 25 0 1 0 968922097 164036608 28464 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40048 28464 301 301 0 39747 0
vsize: 160192
[startup+250.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51024 0 0 0 24796 207 0 0 25 0 1 0 968922097 164311040 28532 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40115 28532 301 301 0 39814 0
vsize: 160460
[startup+260.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51061 0 0 0 25790 213 0 0 25 0 1 0 968922097 164450304 28569 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40149 28569 301 301 0 39848 0
vsize: 160596
[startup+270.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51101 0 0 0 26786 217 0 0 25 0 1 0 968922097 164597760 28609 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40185 28609 301 301 0 39884 0
vsize: 160740
[startup+280.008 s]
Raw data (loadavg): 1.00 0.97 0.91 3/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51181 0 0 0 27782 221 0 0 25 0 1 0 968922097 164880384 28689 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40254 28689 301 301 0 39953 0
vsize: 161016
[startup+290.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51200 0 0 0 28779 224 0 0 25 0 1 0 968922097 165019648 28708 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40288 28708 301 301 0 39987 0
vsize: 161152
[startup+300.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51237 0 0 0 29775 228 0 0 25 0 1 0 968922097 165158912 28745 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40322 28745 301 301 0 40021 0
vsize: 161288
[startup+310.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51273 0 0 0 30771 232 0 0 25 0 1 0 968922097 165158912 28781 4294967295 134512640 135730672 3221224576 3221223072 134747783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40322 28781 301 301 0 40021 0
vsize: 161288
[startup+320.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51301 0 0 0 31768 236 0 0 25 0 1 0 968922097 165298176 28809 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40356 28809 301 301 0 40055 0
vsize: 161424
[startup+330.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51350 0 0 0 32763 241 0 0 25 0 1 0 968922097 165437440 28858 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40390 28858 301 301 0 40089 0
vsize: 161560
[startup+340.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51371 0 0 0 33759 245 0 0 25 0 1 0 968922097 165572608 28879 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40423 28879 301 301 0 40122 0
vsize: 161692
[startup+350.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51457 0 0 0 34755 250 0 0 25 0 1 0 968922097 165851136 28965 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40491 28965 301 301 0 40190 0
vsize: 161964
[startup+360.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51525 0 0 0 35751 254 0 0 25 0 1 0 968922097 166154240 29033 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40565 29033 301 301 0 40264 0
vsize: 162260
[startup+370.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51596 0 0 0 36747 258 0 0 25 0 1 0 968922097 166432768 29104 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40633 29104 301 301 0 40332 0
vsize: 162532
[startup+380.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51679 0 0 0 37743 262 0 0 25 0 1 0 968922097 166715392 29187 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40702 29187 301 301 0 40401 0
vsize: 162808
[startup+390.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51733 0 0 0 38737 268 0 0 25 0 1 0 968922097 167006208 29241 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40773 29241 301 301 0 40472 0
vsize: 163092
[startup+400.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51768 0 0 0 39732 273 0 0 25 0 1 0 968922097 167006208 29276 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40773 29276 301 301 0 40472 0
vsize: 163092
[startup+410.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51793 0 0 0 40729 277 0 0 25 0 1 0 968922097 167141376 29301 4294967295 134512640 135730672 3221224576 3221223180 134747440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40806 29301 301 301 0 40505 0
vsize: 163224
[startup+420.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51858 0 0 0 41725 281 0 0 25 0 1 0 968922097 167280640 29366 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40840 29366 301 301 0 40539 0
vsize: 163360
[startup+430.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51901 0 0 0 42719 286 0 0 25 0 1 0 968922097 167419904 29409 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40874 29409 301 301 0 40573 0
vsize: 163496
[startup+440.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 51933 0 0 0 43715 291 0 0 25 0 1 0 968922097 167555072 29441 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40907 29441 301 301 0 40606 0
vsize: 163628
[startup+450.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52019 0 0 0 44710 296 0 0 25 0 1 0 968922097 167841792 29527 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40977 29527 301 301 0 40676 0
vsize: 163908
[startup+460.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52059 0 0 0 45706 300 0 0 25 0 1 0 968922097 167981056 29567 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41011 29567 301 301 0 40710 0
vsize: 164044
[startup+470.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52105 0 0 0 46702 304 0 0 25 0 1 0 968922097 168128512 29613 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41047 29613 301 301 0 40746 0
vsize: 164188
[startup+480.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52130 0 0 0 47698 309 0 0 25 0 1 0 968922097 168275968 29638 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41083 29638 301 301 0 40782 0
vsize: 164332
[startup+490.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52144 0 0 0 48694 313 0 0 25 0 1 0 968922097 168275968 29652 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41083 29652 301 301 0 40782 0
vsize: 164332
[startup+500.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52180 0 0 0 49691 316 0 0 25 0 1 0 968922097 168415232 29688 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41117 29688 301 301 0 40816 0
vsize: 164468
[startup+510.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52239 0 0 0 50687 320 0 0 25 0 1 0 968922097 168550400 29747 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41150 29747 301 301 0 40849 0
vsize: 164600
[startup+520.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52277 0 0 0 51683 324 0 0 25 0 1 0 968922097 168693760 29785 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41185 29785 301 301 0 40884 0
vsize: 164740
[startup+530.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52322 0 0 0 52680 328 0 0 25 0 1 0 968922097 168828928 29830 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41218 29830 301 301 0 40917 0
vsize: 164872
[startup+540.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52396 0 0 0 53676 332 0 0 25 0 1 0 968922097 169115648 29904 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41288 29904 301 301 0 40987 0
vsize: 165152
[startup+550.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52411 0 0 0 54672 336 0 0 25 0 1 0 968922097 169115648 29919 4294967295 134512640 135730672 3221224576 3221223232 134734824 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41288 29919 301 301 0 40987 0
vsize: 165152
[startup+560.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52454 0 0 0 55668 340 0 0 25 0 1 0 968922097 169390080 29962 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41355 29962 301 301 0 41054 0
vsize: 165420
[startup+570.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52492 0 0 0 56664 345 0 0 25 0 1 0 968922097 169390080 30000 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41355 30000 301 301 0 41054 0
vsize: 165420
[startup+580.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52545 0 0 0 57658 351 0 0 25 0 1 0 968922097 169684992 30053 4294967295 134512640 135730672 3221224576 3221223200 134748079 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41427 30053 301 301 0 41126 0
vsize: 165708
[startup+590.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52575 0 0 0 58655 355 0 0 25 0 1 0 968922097 169684992 30083 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41427 30083 301 301 0 41126 0
vsize: 165708
[startup+600.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52613 0 0 0 59650 359 0 0 25 0 1 0 968922097 169824256 30121 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41461 30121 301 301 0 41160 0
vsize: 165844
[startup+610.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52622 0 0 0 60646 363 0 0 25 0 1 0 968922097 169824256 30130 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41461 30130 301 301 0 41160 0
vsize: 165844
[startup+620.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52712 0 0 0 61640 370 0 0 25 0 1 0 968922097 170094592 30220 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41527 30220 301 301 0 41226 0
vsize: 166108
[startup+630.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52756 0 0 0 62634 376 0 0 25 0 1 0 968922097 170237952 30264 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41562 30264 301 301 0 41261 0
vsize: 166248
[startup+640.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52797 0 0 0 63629 381 0 0 25 0 1 0 968922097 170377216 30305 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41596 30305 301 301 0 41295 0
vsize: 166384
[startup+650.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52828 0 0 0 64625 385 0 0 25 0 1 0 968922097 170516480 30336 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41630 30336 301 301 0 41329 0
vsize: 166520
[startup+660.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52869 0 0 0 65620 391 0 0 25 0 1 0 968922097 170655744 30377 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41664 30377 301 301 0 41363 0
vsize: 166656
[startup+670.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52928 0 0 0 66615 396 0 0 25 0 1 0 968922097 170926080 30436 4294967295 134512640 135730672 3221224576 3221223248 134748594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41730 30436 301 301 0 41429 0
vsize: 166920
[startup+680.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 52953 0 0 0 67609 401 0 0 25 0 1 0 968922097 170926080 30461 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41730 30461 301 301 0 41429 0
vsize: 166920
[startup+690.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 53053 0 0 0 68605 406 0 0 25 0 1 0 968922097 171552768 30561 4294967295 134512640 135730672 3221224576 3221223116 135301630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41883 30561 301 301 0 41582 0
vsize: 167532
[startup+700.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 53204 0 0 0 69601 410 0 0 25 0 1 0 968922097 172371968 30712 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42083 30712 301 301 0 41782 0
vsize: 168332
[startup+710.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 53327 0 0 0 70597 414 0 0 25 0 1 0 968922097 173027328 30835 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42243 30835 301 301 0 41942 0
vsize: 168972
[startup+720.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 53441 0 0 0 71594 417 0 0 25 0 1 0 968922097 173682688 30949 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42403 30949 301 301 0 42102 0
vsize: 169612
[startup+730.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 53550 0 0 0 72588 423 0 0 25 0 1 0 968922097 174338048 31058 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42563 31058 301 301 0 42262 0
vsize: 170252
[startup+740.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 53637 0 0 0 73584 427 0 0 25 0 1 0 968922097 174829568 31145 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42683 31145 301 301 0 42382 0
vsize: 170732
[startup+750.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 53698 0 0 0 74579 433 0 0 25 0 1 0 968922097 175157248 31206 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42763 31206 301 301 0 42462 0
vsize: 171052
[startup+760.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 53791 0 0 0 75574 438 0 0 25 0 1 0 968922097 175812608 31299 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42923 31299 301 301 0 42622 0
vsize: 171692
[startup+770.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 53892 0 0 0 76570 442 0 0 25 0 1 0 968922097 176304128 31400 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43043 31400 301 301 0 42742 0
vsize: 172172
[startup+780.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 53959 0 0 0 77565 447 0 0 25 0 1 0 968922097 176631808 31467 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43123 31467 301 301 0 42822 0
vsize: 172492
[startup+790.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54020 0 0 0 78560 452 0 0 25 0 1 0 968922097 176959488 31528 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43203 31528 301 301 0 42902 0
vsize: 172812
[startup+800.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54083 0 0 0 79555 457 0 0 25 0 1 0 968922097 177287168 31591 4294967295 134512640 135730672 3221224576 3221222824 135285390 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43283 31591 301 301 0 42982 0
vsize: 173132
[startup+810.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54147 0 0 0 80550 462 0 0 25 0 1 0 968922097 177614848 31655 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43363 31655 301 301 0 43062 0
vsize: 173452
[startup+820.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54201 0 0 0 81545 468 0 0 25 0 1 0 968922097 177942528 31709 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43443 31709 301 301 0 43142 0
vsize: 173772
[startup+830.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54279 0 0 0 82541 472 0 0 25 0 1 0 968922097 178270208 31787 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43523 31787 301 301 0 43222 0
vsize: 174092
[startup+840.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54346 0 0 0 83537 476 0 0 25 0 1 0 968922097 178597888 31854 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43603 31854 301 301 0 43302 0
vsize: 174412
[startup+850.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54439 0 0 0 84533 481 0 0 25 0 1 0 968922097 179089408 31947 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43723 31947 301 301 0 43422 0
vsize: 174892
[startup+860.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54516 0 0 0 85528 486 0 0 25 0 1 0 968922097 179580928 32024 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43843 32024 301 301 0 43542 0
vsize: 175372
[startup+870.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54584 0 0 0 86523 490 0 0 25 0 1 0 968922097 179908608 32092 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43923 32092 301 301 0 43622 0
vsize: 175692
[startup+880.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54665 0 0 0 87519 495 0 0 25 0 1 0 968922097 180236288 32173 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44003 32173 301 301 0 43702 0
vsize: 176012
[startup+890.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54764 0 0 0 88514 500 0 0 25 0 1 0 968922097 180727808 32272 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44123 32272 301 301 0 43822 0
vsize: 176492
[startup+900.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54816 0 0 0 89508 507 0 0 25 0 1 0 968922097 180891648 32324 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44163 32324 301 301 0 43862 0
vsize: 176652
[startup+910.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54860 0 0 0 90504 510 0 0 25 0 1 0 968922097 181219328 32368 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44243 32368 301 301 0 43942 0
vsize: 176972
[startup+920.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54901 0 0 0 91500 515 0 0 25 0 1 0 968922097 181383168 32409 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44283 32409 301 301 0 43982 0
vsize: 177132
[startup+930.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54920 0 0 0 92495 520 0 0 25 0 1 0 968922097 181383168 32428 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44283 32428 301 301 0 43982 0
vsize: 177132
[startup+940.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54935 0 0 0 93489 526 0 0 25 0 1 0 968922097 181383168 32443 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44283 32443 301 301 0 43982 0
vsize: 177132
[startup+950.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54939 0 0 0 94485 530 0 0 25 0 1 0 968922097 181383168 32447 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44283 32447 301 301 0 43982 0
vsize: 177132
[startup+960.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54951 0 0 0 95480 536 0 0 25 0 1 0 968922097 181383168 32459 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44283 32459 301 301 0 43982 0
vsize: 177132
[startup+970.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54956 0 0 0 96475 540 0 0 25 0 1 0 968922097 181383168 32464 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44283 32464 301 301 0 43982 0
vsize: 177132
[startup+980.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 54991 0 0 0 97471 545 0 0 25 0 1 0 968922097 181547008 32499 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44323 32499 301 301 0 44022 0
vsize: 177292
[startup+990.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55001 0 0 0 98467 549 0 0 25 0 1 0 968922097 181547008 32509 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44323 32509 301 301 0 44022 0
vsize: 177292
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55014 0 0 0 99462 554 0 0 25 0 1 0 968922097 181547008 32522 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44323 32522 301 301 0 44022 0
vsize: 177292
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55020 0 0 0 100458 558 0 0 25 0 1 0 968922097 181547008 32528 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44323 32528 301 301 0 44022 0
vsize: 177292
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55027 0 0 0 101453 563 0 0 25 0 1 0 968922097 181547008 32535 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44323 32535 301 301 0 44022 0
vsize: 177292
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55033 0 0 0 102449 568 0 0 25 0 1 0 968922097 181547008 32541 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44323 32541 301 301 0 44022 0
vsize: 177292
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55058 0 0 0 103445 572 0 0 25 0 1 0 968922097 181686272 32566 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44357 32566 301 301 0 44056 0
vsize: 177428
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55094 0 0 0 104441 576 0 0 25 0 1 0 968922097 181686272 32602 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44357 32602 301 301 0 44056 0
vsize: 177428
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55155 0 0 0 105436 581 0 0 25 0 1 0 968922097 181964800 32663 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44425 32663 301 301 0 44124 0
vsize: 177700
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55224 0 0 0 106432 585 0 0 25 0 1 0 968922097 182251520 32732 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44495 32732 301 301 0 44194 0
vsize: 177980
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55255 0 0 0 107428 590 0 0 25 0 1 0 968922097 182390784 32763 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44529 32763 301 301 0 44228 0
vsize: 178116
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55273 0 0 0 108423 595 0 0 25 0 1 0 968922097 182390784 32781 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44529 32781 301 301 0 44228 0
vsize: 178116
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55305 0 0 0 109418 600 0 0 25 0 1 0 968922097 182530048 32813 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44563 32813 301 301 0 44262 0
vsize: 178252
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55331 0 0 0 110414 605 0 0 25 0 1 0 968922097 182530048 32839 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44563 32839 301 301 0 44262 0
vsize: 178252
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55374 0 0 0 111411 608 0 0 25 0 1 0 968922097 182816768 32882 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44633 32882 301 301 0 44332 0
vsize: 178532
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55388 0 0 0 112406 613 0 0 25 0 1 0 968922097 182816768 32896 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44633 32896 301 301 0 44332 0
vsize: 178532
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55453 0 0 0 113403 616 0 0 25 0 1 0 968922097 183095296 32961 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44701 32961 301 301 0 44400 0
vsize: 178804
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55474 0 0 0 114397 622 0 0 25 0 1 0 968922097 183095296 32982 4294967295 134512640 135730672 3221224576 3221223224 134748061 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44701 32982 301 301 0 44400 0
vsize: 178804
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55486 0 0 0 115392 628 0 0 25 0 1 0 968922097 183095296 32994 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44701 32994 301 301 0 44400 0
vsize: 178804
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55518 0 0 0 116387 633 0 0 25 0 1 0 968922097 183230464 33026 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44734 33026 301 301 0 44433 0
vsize: 178936
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55585 0 0 0 117382 638 0 0 25 0 1 0 968922097 183394304 33093 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44774 33093 301 301 0 44473 0
vsize: 179096
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55619 0 0 0 118377 643 0 0 25 0 1 0 968922097 183549952 33127 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44812 33127 301 301 0 44511 0
vsize: 179248
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 23506
Raw data (stat): 23506 (pb2sat-v2) R 23505 21152 21151 0 -1 0 55650 0 0 0 119373 647 0 0 25 0 1 0 968922097 183689216 33158 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44846 33158 301 301 0 44545 0
vsize: 179384
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.01 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 23506
Raw data (stat): 23506 (pb2sat-v2) Z 23505 21152 21151 0 -1 12 55652 0 0 0 119463 654 0 0 25 0 1 0 968922097 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): 1201.01
CPU time (s): 1201.18
CPU user time (s): 1194.64
CPU system time (s): 6.544
CPU usage (%): 100.014
Max. virtual memory (Kb): 179384
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####