PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-bg512142.opb
MD5SUM	bad364b24a8c9bb1cd282751f54245c6
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	9600
Biggest coefficient in the objective function	5368709120000
Number of bits for the biggest coefficient in the objective function	43
Sum of the numbers in the objective function	773893279252632
Number of bits of the sum of numbers in the objective function	50
Biggest number in a constraint	5368709120000
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	773893279252632
Number of bits of the biggest sum of numbers	50
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1210.55
Number of variables	16800
Total number of constraints	1307
Number of constraints which are clauses	11
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1296
Minimum length of a constraint	1
Maximum length of a constraint	183
Trace number 42648

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-16 13:03:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25849 boxname=wulflinc4 idbench=1149 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  bad364b24a8c9bb1cd282751f54245c6  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-bg512142.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-bg512142.opb
IDLAUNCH: 25849
/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:        705920 kB
Buffers:         27636 kB
Cached:         278596 kB
SwapCached:        924 kB
Active:          29836 kB
Inactive:       278420 kB
HighTotal:      131008 kB
HighFree:        10948 kB
LowTotal:       903652 kB
LowFree:        694972 kB
SwapTotal:     2097136 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14652 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 13:23:51 (client local time) WITH STATUS 0 IN 1201.42 SECONDS
stats: 25849 7 1201.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 58674/493600	Time: 18.1412/86400
c Decision: 59358/493600	Time: 43.0115/86400
c Decision: 59381/493600	Time: 52.684/86400
c Decision: 59476/493600	Time: 61.4247/86400
c Decision: 59697/493600	Time: 80.3488/86400
c Decision: 65430/493600	Time: 548.884/86400
c Decision: 65453/493600	Time: 563.81/86400
c Decision: 65453/493600	Time: 573.755/86400
c Decision: 65487/493600	Time: 595.004/86400
c Decision: 65494/493600	Time: 607.778/86400
c Decision: 65526/493600	Time: 627.319/86400
c Decision: 65530/493600	Time: 638.288/86400
c Decision: 65564/493600	Time: 652.125/86400
c Decision: 65564/493600	Time: 661.323/86400
c Decision: 65599/493600	Time: 676.826/86400
c Decision: 65599/493600	Time: 686.911/86400
c Decision: 65599/493600	Time: 696.825/86400
c Decision: 65599/493600	Time: 707.19/86400
c Decision: 65602/493600	Time: 719.452/86400
c Decision: 65628/493600	Time: 740.394/86400
c Decision: 65636/493600	Time: 762.998/86400
c Decision: 65636/493600	Time: 772.114/86400
c Decision: 65668/493600	Time: 798.183/86400
c Decision: 65695/493600	Time: 826.481/86400
c Decision: 65718/493600	Time: 844.546/86400
c Decision: 65724/493600	Time: 860.523/86400
c Decision: 65724/493600	Time: 871.6/86400
c Decision: 65732/493600	Time: 889.837/86400
c Decision: 65740/493600	Time: 910.714/86400
c Decision: 65837/493600	Time: 965.584/86400
c Decision: 65857/493600	Time: 987.075/86400
c Decision: 66189/493600	Time: 1144.5/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.84 0.94 0.90 2/54 26343
Raw data (stat): 26343 (runsolver) R 26342 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 970966602 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.0012 s]
Raw data (loadavg): 0.86 0.94 0.90 2/54 26343
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 22521 0 0 0 949 50 0 0 25 0 1 0 970966602 68706304 11604 4294967295 134512640 135730672 3221224576 3221221776 134577597 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16774 11604 301 301 0 16473 0
vsize: 67096
[startup+20.002 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 26343
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 48359 0 0 0 1891 108 0 0 25 0 1 0 970966602 153292800 26473 4294967295 134512640 135730672 3221224576 3221221808 135302182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37425 26473 301 301 0 37124 0
vsize: 149700
[startup+30.0029 s]
Raw data (loadavg): 0.90 0.94 0.91 2/54 26343
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 57863 0 0 0 2868 131 0 0 25 0 1 0 970966602 164130816 34868 4294967295 134512640 135730672 3221224576 3221223072 134747597 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40071 34868 301 301 0 39770 0
vsize: 160284
[startup+40.0027 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 26343
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 58439 0 0 0 3862 137 0 0 25 0 1 0 970966602 166449152 35444 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40637 35444 301 301 0 40336 0
vsize: 162548
[startup+50.0036 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 26343
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 59491 0 0 0 4858 141 0 0 25 0 1 0 970966602 166731776 35531 4294967295 134512640 135730672 3221224576 3221223200 134748101 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40706 35531 301 301 0 40405 0
vsize: 162824
[startup+60.0036 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 26343
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 59560 0 0 0 5855 144 0 0 25 0 1 0 970966602 166871040 35600 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40740 35600 301 301 0 40439 0
vsize: 162960
[startup+70.0043 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 26343
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 60572 0 0 0 6850 149 0 0 25 0 1 0 970966602 167018496 35647 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40776 35647 301 301 0 40475 0
vsize: 163104
[startup+80.0053 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 26343
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 61591 0 0 0 7847 153 0 0 25 0 1 0 970966602 167153664 35701 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40809 35701 301 301 0 40508 0
vsize: 163236
[startup+90.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 26343
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 62678 0 0 0 8841 159 0 0 25 0 1 0 970966602 167571456 35823 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40911 35823 301 301 0 40610 0
vsize: 163644
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 26343
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 62757 0 0 0 9837 163 0 0 25 0 1 0 970966602 167849984 35902 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40979 35902 301 301 0 40678 0
vsize: 163916
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 63841 0 0 0 10831 169 0 0 25 0 1 0 970966602 168255488 36021 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41078 36021 301 301 0 40777 0
vsize: 164312
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 63968 0 0 0 11827 173 0 0 25 0 1 0 970966602 168669184 36148 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41179 36148 301 301 0 40878 0
vsize: 164716
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64023 0 0 0 12825 175 0 0 25 0 1 0 970966602 168808448 36203 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41213 36203 301 301 0 40912 0
vsize: 164852
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64085 0 0 0 13822 178 0 0 25 0 1 0 970966602 168943616 36265 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41246 36265 301 301 0 40945 0
vsize: 164984
[startup+150.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64141 0 0 0 14819 181 0 0 25 0 1 0 970966602 169078784 36321 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41279 36321 301 301 0 40978 0
vsize: 165116
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64204 0 0 0 15816 184 0 0 25 0 1 0 970966602 169226240 36384 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41315 36384 301 301 0 41014 0
vsize: 165260
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64242 0 0 0 16813 187 0 0 25 0 1 0 970966602 169226240 36422 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41315 36422 301 301 0 41014 0
vsize: 165260
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64306 0 0 0 17811 189 0 0 25 0 1 0 970966602 169517056 36486 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41386 36486 301 301 0 41085 0
vsize: 165544
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64337 0 0 0 18807 193 0 0 25 0 1 0 970966602 169517056 36517 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41386 36517 301 301 0 41085 0
vsize: 165544
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64376 0 0 0 19805 195 0 0 25 0 1 0 970966602 169517056 36556 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41386 36556 301 301 0 41085 0
vsize: 165544
[startup+210.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64430 0 0 0 20803 197 0 0 25 0 1 0 970966602 169652224 36610 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41419 36610 301 301 0 41118 0
vsize: 165676
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64467 0 0 0 21801 200 0 0 25 0 1 0 970966602 169799680 36647 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41455 36647 301 301 0 41154 0
vsize: 165820
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64515 0 0 0 22798 203 0 0 25 0 1 0 970966602 169938944 36695 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41489 36695 301 301 0 41188 0
vsize: 165956
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64567 0 0 0 23795 206 0 0 25 0 1 0 970966602 170086400 36747 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41525 36747 301 301 0 41224 0
vsize: 166100
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64599 0 0 0 24793 208 0 0 25 0 1 0 970966602 170086400 36779 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41525 36779 301 301 0 41224 0
vsize: 166100
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64657 0 0 0 25790 211 0 0 25 0 1 0 970966602 170221568 36837 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41558 36837 301 301 0 41257 0
vsize: 166232
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64698 0 0 0 26788 213 0 0 25 0 1 0 970966602 170360832 36878 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41592 36878 301 301 0 41291 0
vsize: 166368
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64733 0 0 0 27785 216 0 0 25 0 1 0 970966602 170360832 36913 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41592 36913 301 301 0 41291 0
vsize: 166368
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64769 0 0 0 28784 218 0 0 25 0 1 0 970966602 170360832 36949 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41592 36949 301 301 0 41291 0
vsize: 166368
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64803 0 0 0 29781 221 0 0 25 0 1 0 970966602 170491904 36983 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41624 36983 301 301 0 41323 0
vsize: 166496
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64869 0 0 0 30778 224 0 0 25 0 1 0 970966602 170631168 37049 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41658 37049 301 301 0 41357 0
vsize: 166632
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64903 0 0 0 31776 227 0 0 25 0 1 0 970966602 170770432 37083 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41692 37083 301 301 0 41391 0
vsize: 166768
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64947 0 0 0 32773 229 0 0 25 0 1 0 970966602 170770432 37127 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41692 37127 301 301 0 41391 0
vsize: 166768
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 64980 0 0 0 33771 232 0 0 25 0 1 0 970966602 170905600 37160 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41725 37160 301 301 0 41424 0
vsize: 166900
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65029 0 0 0 34769 234 0 0 25 0 1 0 970966602 171044864 37209 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41759 37209 301 301 0 41458 0
vsize: 167036
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65065 0 0 0 35766 238 0 0 25 0 1 0 970966602 171044864 37245 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41759 37245 301 301 0 41458 0
vsize: 167036
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65098 0 0 0 36763 241 0 0 25 0 1 0 970966602 171184128 37278 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41793 37278 301 301 0 41492 0
vsize: 167172
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65149 0 0 0 37760 244 0 0 25 0 1 0 970966602 171331584 37329 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41829 37329 301 301 0 41528 0
vsize: 167316
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65194 0 0 0 38757 246 0 0 25 0 1 0 970966602 171479040 37374 4294967295 134512640 135730672 3221224576 3221223232 134734842 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41865 37374 301 301 0 41564 0
vsize: 167460
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65245 0 0 0 39754 249 0 0 25 0 1 0 970966602 171626496 37425 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41901 37425 301 301 0 41600 0
vsize: 167604
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65332 0 0 0 40752 252 0 0 25 0 1 0 970966602 171892736 37512 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41966 37512 301 301 0 41665 0
vsize: 167864
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65371 0 0 0 41749 255 0 0 25 0 1 0 970966602 171892736 37551 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41966 37551 301 301 0 41665 0
vsize: 167864
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65399 0 0 0 42746 258 0 0 25 0 1 0 970966602 172023808 37579 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41998 37579 301 301 0 41697 0
vsize: 167992
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65456 0 0 0 43744 261 0 0 25 0 1 0 970966602 172158976 37636 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42031 37636 301 301 0 41730 0
vsize: 168124
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65544 0 0 0 44741 264 0 0 25 0 1 0 970966602 172429312 37724 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42097 37724 301 301 0 41796 0
vsize: 168388
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65597 0 0 0 45738 267 0 0 25 0 1 0 970966602 172711936 37777 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42166 37777 301 301 0 41865 0
vsize: 168664
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65620 0 0 0 46735 270 0 0 25 0 1 0 970966602 172711936 37800 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42166 37800 301 301 0 41865 0
vsize: 168664
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65650 0 0 0 47732 274 0 0 25 0 1 0 970966602 172711936 37830 4294967295 134512640 135730672 3221224576 3221223072 134747805 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42166 37830 301 301 0 41865 0
vsize: 168664
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65710 0 0 0 48729 276 0 0 25 0 1 0 970966602 172855296 37890 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42201 37890 301 301 0 41900 0
vsize: 168804
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65738 0 0 0 49726 280 0 0 25 0 1 0 970966602 172990464 37918 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42234 37918 301 301 0 41933 0
vsize: 168936
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65757 0 0 0 50722 284 0 0 25 0 1 0 970966602 172990464 37937 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42234 37937 301 301 0 41933 0
vsize: 168936
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65779 0 0 0 51720 286 0 0 25 0 1 0 970966602 172990464 37959 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42234 37959 301 301 0 41933 0
vsize: 168936
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65798 0 0 0 52717 289 0 0 25 0 1 0 970966602 172990464 37978 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42234 37978 301 301 0 41933 0
vsize: 168936
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65827 0 0 0 53714 292 0 0 25 0 1 0 970966602 173125632 38007 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42267 38007 301 301 0 41966 0
vsize: 169068
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65869 0 0 0 54711 295 0 0 25 0 1 0 970966602 173125632 38049 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42267 38049 301 301 0 41966 0
vsize: 169068
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65893 0 0 0 55708 299 0 0 25 0 1 0 970966602 173125632 38073 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42267 38073 301 301 0 41966 0
vsize: 169068
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 65920 0 0 0 56705 302 0 0 25 0 1 0 970966602 173256704 38100 4294967295 134512640 135730672 3221224576 3221223232 134734824 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42299 38100 301 301 0 41998 0
vsize: 169196
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 66901 0 0 0 57701 306 0 0 25 0 1 0 970966602 173256704 38116 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42299 38116 301 301 0 41998 0
vsize: 169196
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 67874 0 0 0 58697 310 0 0 25 0 1 0 970966602 173256704 38124 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42299 38124 301 301 0 41998 0
vsize: 169196
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 68846 0 0 0 59691 315 0 0 25 0 1 0 970966602 173256704 38131 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42299 38131 301 301 0 41998 0
vsize: 169196
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 68859 0 0 0 60689 318 0 0 25 0 1 0 970966602 173387776 38144 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42331 38144 301 301 0 42030 0
vsize: 169324
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 69836 0 0 0 61684 323 0 0 25 0 1 0 970966602 177340416 39121 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43296 39121 301 301 0 42995 0
vsize: 173184
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 69853 0 0 0 62682 325 0 0 25 0 1 0 970966602 173387776 38173 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42331 38173 301 301 0 42030 0
vsize: 169324
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 70831 0 0 0 63678 329 0 0 25 0 1 0 970966602 173387776 38186 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42331 38186 301 301 0 42030 0
vsize: 169324
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 70854 0 0 0 64676 331 0 0 25 0 1 0 970966602 173518848 38209 4294967295 134512640 135730672 3221224576 3221223088 134745785 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42363 38209 301 301 0 42062 0
vsize: 169452
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 71827 0 0 0 65672 335 0 0 25 0 1 0 970966602 173518848 38217 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42363 38217 301 301 0 42062 0
vsize: 169452
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 72880 0 0 0 66668 339 0 0 25 0 1 0 970966602 173932544 38240 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42464 38240 301 301 0 42163 0
vsize: 169856
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 73861 0 0 0 67664 344 0 0 25 0 1 0 970966602 173932544 38256 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42464 38256 301 301 0 42163 0
vsize: 169856
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 74840 0 0 0 68660 348 0 0 25 0 1 0 970966602 173932544 38270 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42464 38270 301 301 0 42163 0
vsize: 169856
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 74865 0 0 0 69658 350 0 0 25 0 1 0 970966602 174063616 38295 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42496 38295 301 301 0 42195 0
vsize: 169984
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 75871 0 0 0 70655 353 0 0 25 0 1 0 970966602 174198784 38336 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42529 38336 301 301 0 42228 0
vsize: 170116
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 76842 0 0 0 71652 356 0 0 25 0 1 0 970966602 174198784 38342 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42529 38342 301 301 0 42228 0
vsize: 170116
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 77825 0 0 0 72648 360 0 0 25 0 1 0 970966602 174198784 38360 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42529 38360 301 301 0 42228 0
vsize: 170116
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 78833 0 0 0 73643 365 0 0 25 0 1 0 970966602 174333952 38403 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42562 38403 301 301 0 42261 0
vsize: 170248
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 79820 0 0 0 74639 369 0 0 25 0 1 0 970966602 174333952 38425 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42562 38425 301 301 0 42261 0
vsize: 170248
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 79855 0 0 0 75636 372 0 0 25 0 1 0 970966602 174333952 38460 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42562 38460 301 301 0 42261 0
vsize: 170248
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 80850 0 0 0 76633 376 0 0 25 0 1 0 970966602 174477312 38490 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42597 38490 301 301 0 42296 0
vsize: 170388
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 80883 0 0 0 77630 379 0 0 25 0 1 0 970966602 174477312 38523 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42597 38523 301 301 0 42296 0
vsize: 170388
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 81870 0 0 0 78626 383 0 0 25 0 1 0 970966602 174477312 38545 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42597 38545 301 301 0 42296 0
vsize: 170388
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 82854 0 0 0 79622 387 0 0 25 0 1 0 970966602 174477312 38564 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42597 38564 301 301 0 42296 0
vsize: 170388
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 82888 0 0 0 80621 389 0 0 25 0 1 0 970966602 174624768 38598 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42633 38598 301 301 0 42332 0
vsize: 170532
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 82922 0 0 0 81618 391 0 0 25 0 1 0 970966602 174624768 38632 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42633 38632 301 301 0 42332 0
vsize: 170532
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 83916 0 0 0 82614 395 0 0 25 0 1 0 970966602 174624768 38661 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42633 38661 301 301 0 42332 0
vsize: 170532
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 83950 0 0 0 83612 398 0 0 25 0 1 0 970966602 174764032 38695 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42667 38695 301 301 0 42366 0
vsize: 170668
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 83981 0 0 0 84610 400 0 0 25 0 1 0 970966602 174764032 38726 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42667 38726 301 301 0 42366 0
vsize: 170668
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 84972 0 0 0 85607 404 0 0 25 0 1 0 970966602 174764032 38752 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42667 38752 301 301 0 42366 0
vsize: 170668
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 85962 0 0 0 86602 408 0 0 25 0 1 0 970966602 178851840 39742 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43665 39742 301 301 0 43364 0
vsize: 174660
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 85993 0 0 0 87600 411 0 0 25 0 1 0 970966602 174899200 38808 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42700 38808 301 301 0 42399 0
vsize: 170800
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 86972 0 0 0 88596 415 0 0 25 0 1 0 970966602 174899200 38822 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42700 38822 301 301 0 42399 0
vsize: 170800
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 87950 0 0 0 89592 419 0 0 25 0 1 0 970966602 174899200 38835 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42700 38835 301 301 0 42399 0
vsize: 170800
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 87983 0 0 0 90589 422 0 0 25 0 1 0 970966602 175042560 38868 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42735 38868 301 301 0 42434 0
vsize: 170940
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 88973 0 0 0 91585 426 0 0 25 0 1 0 970966602 175042560 38893 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42735 38893 301 301 0 42434 0
vsize: 170940
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 89005 0 0 0 92583 428 0 0 25 0 1 0 970966602 175042560 38925 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42735 38925 301 301 0 42434 0
vsize: 170940
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 89994 0 0 0 93579 432 0 0 25 0 1 0 970966602 175177728 38949 4294967295 134512640 135730672 3221224576 3221223072 134747772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42768 38949 301 301 0 42467 0
vsize: 171072
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 90023 0 0 0 94577 435 0 0 25 0 1 0 970966602 175177728 38978 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42768 38978 301 301 0 42467 0
vsize: 171072
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 90053 0 0 0 95574 437 0 0 25 0 1 0 970966602 175177728 39008 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42768 39008 301 301 0 42467 0
vsize: 171072
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 90083 0 0 0 96573 439 0 0 25 0 1 0 970966602 175177728 39038 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42768 39038 301 301 0 42467 0
vsize: 171072
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 90116 0 0 0 97571 441 0 0 25 0 1 0 970966602 175312896 39071 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42801 39071 301 301 0 42500 0
vsize: 171204
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 90161 0 0 0 98569 443 0 0 25 0 1 0 970966602 175312896 39116 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42801 39116 301 301 0 42500 0
vsize: 171204
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 91144 0 0 0 99565 448 0 0 25 0 1 0 970966602 175312896 39134 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42801 39134 301 301 0 42500 0
vsize: 171204
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 91168 0 0 0 100563 450 0 0 25 0 1 0 970966602 175443968 39158 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42833 39158 301 301 0 42532 0
vsize: 171332
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92151 0 0 0 101558 455 0 0 25 0 1 0 970966602 175443968 39176 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42833 39176 301 301 0 42532 0
vsize: 171332
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92159 0 0 0 102556 457 0 0 25 0 1 0 970966602 175443968 39184 4294967295 134512640 135730672 3221224576 3221223072 134747594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42833 39184 301 301 0 42532 0
vsize: 171332
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92178 0 0 0 103553 460 0 0 25 0 1 0 970966602 175579136 39203 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42866 39203 301 301 0 42565 0
vsize: 171464
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92205 0 0 0 104550 463 0 0 25 0 1 0 970966602 175579136 39230 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42866 39230 301 301 0 42565 0
vsize: 171464
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92231 0 0 0 105548 466 0 0 25 0 1 0 970966602 175579136 39256 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42866 39256 301 301 0 42565 0
vsize: 171464
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92258 0 0 0 106545 469 0 0 25 0 1 0 970966602 175579136 39283 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42866 39283 301 301 0 42565 0
vsize: 171464
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92287 0 0 0 107543 471 0 0 25 0 1 0 970966602 175710208 39312 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42898 39312 301 301 0 42597 0
vsize: 171592
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92311 0 0 0 108540 474 0 0 25 0 1 0 970966602 175710208 39336 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42898 39336 301 301 0 42597 0
vsize: 171592
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92336 0 0 0 109537 477 0 0 25 0 1 0 970966602 175710208 39361 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42898 39361 301 301 0 42597 0
vsize: 171592
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92371 0 0 0 110534 481 0 0 25 0 1 0 970966602 175845376 39396 4294967295 134512640 135730672 3221224576 3221223072 134747868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42931 39396 301 301 0 42630 0
vsize: 171724
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92398 0 0 0 111532 483 0 0 25 0 1 0 970966602 175845376 39423 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42931 39423 301 301 0 42630 0
vsize: 171724
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92425 0 0 0 112529 486 0 0 25 0 1 0 970966602 175845376 39450 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42931 39450 301 301 0 42630 0
vsize: 171724
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92448 0 0 0 113527 488 0 0 25 0 1 0 970966602 175845376 39473 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42931 39473 301 301 0 42630 0
vsize: 171724
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92476 0 0 0 114524 491 0 0 25 0 1 0 970966602 175976448 39501 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42963 39501 301 301 0 42662 0
vsize: 171852
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 92501 0 0 0 115522 493 0 0 25 0 1 0 970966602 175976448 39526 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42963 39526 301 301 0 42662 0
vsize: 171852
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 93487 0 0 0 116518 498 0 0 25 0 1 0 970966602 179929088 40512 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43928 40512 301 301 0 43627 0
vsize: 175712
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 93510 0 0 0 117516 500 0 0 25 0 1 0 970966602 175976448 39570 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42963 39570 301 301 0 42662 0
vsize: 171852
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 93532 0 0 0 118513 502 0 0 25 0 1 0 970966602 176111616 39592 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42996 39592 301 301 0 42695 0
vsize: 171984
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26345
Raw data (stat): 26343 (pb2sat-v2) R 26342 21152 21151 0 -1 0 93555 0 0 0 119510 505 0 0 25 0 1 0 970966602 176111616 39615 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42996 39615 301 301 0 42695 0
vsize: 171984
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.29 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 26345
Raw data (stat): 26343 (pb2sat-v2) Z 26342 21152 21151 0 -1 12 93557 0 0 0 119628 513 0 0 25 0 1 0 970966602 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.29
CPU time (s): 1201.42
CPU user time (s): 1196.28
CPU system time (s): 5.13922
CPU usage (%): 100.011
Max. virtual memory (Kb): 175712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####