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/web/uclid_pb_benchmarks/normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
MD5SUM	dcb6d1c3f66e900ae345e6fa455bef2a
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	130
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	512
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	168111
Total number of constraints	487525
Number of constraints which are clauses	468727
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	18798
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 42192

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        711452 kB
Buffers:         34032 kB
Cached:         265976 kB
SwapCached:       1028 kB
Active:          81256 kB
Inactive:       220884 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        711200 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            15412 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 01:45:12 (client local time) WITH STATUS 0 IN 1202.17 SECONDS
stats: 25400 7 1202.17 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 22516/538461	Time: 23.3674/86400
c Decision: 23472/538461	Time: 66.3009/86400
c Decision: 23503/538461	Time: 143.9/86400
c Decision: 23505/538461	Time: 174.833/86400
c Decision: 23505/538461	Time: 204.078/86400
c Decision: 23505/538461	Time: 234.181/86400
c Decision: 23809/538461	Time: 271.292/86400
c Decision: 23811/538461	Time: 321.221/86400
c Decision: 23854/538461	Time: 395.634/86400
c Decision: 23854/538461	Time: 421.836/86400
c Decision: 23854/538461	Time: 456.445/86400
c Decision: 23854/538461	Time: 485.513/86400
c Decision: 23854/538461	Time: 518.391/86400
c Decision: 23889/538461	Time: 575.737/86400
c Decision: 23889/538461	Time: 610.501/86400
c Decision: 23889/538461	Time: 644.82/86400
c Decision: 23895/538461	Time: 718.931/86400
c Decision: 23895/538461	Time: 766.78/86400
c Decision: 23918/538461	Time: 844.299/86400
c Decision: 27724/538461	Time: 901.958/86400
c Decision: 27783/538461	Time: 1058.06/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.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (runsolver) R 13148 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 966783296 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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+9.99983 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 5052 0 0 0 987 11 0 0 25 0 1 0 966783296 17326080 3126 4294967295 134512640 135730672 3221224576 3221221552 134540018 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4230 3126 301 301 0 3929 0
vsize: 16920
[startup+19.9999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 10010 0 0 0 1975 23 0 0 25 0 1 0 966783296 33370112 6064 4294967295 134512640 135730672 3221224576 3221221776 134577527 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8147 6064 301 301 0 7846 0
vsize: 32588
[startup+30 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 13835 0 0 0 2965 33 0 0 25 0 1 0 966783296 42905600 8319 4294967295 134512640 135730672 3221224576 3221221472 134786783 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10475 8319 301 301 0 10174 0
vsize: 41900
[startup+40 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 19845 0 0 0 3952 46 0 0 25 0 1 0 966783296 65458176 11865 4294967295 134512640 135730672 3221224576 3221221448 134609933 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15981 11866 301 301 0 15680 0
vsize: 63924
[startup+50.0002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 22000 0 0 0 4943 54 0 0 25 0 1 0 966783296 66273280 13979 4294967295 134512640 135730672 3221224576 3221220488 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16180 13979 301 301 0 15879 0
vsize: 64720
[startup+60.0003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 48085 0 0 0 5888 110 0 0 25 0 1 0 966783296 146558976 25812 4294967295 134512640 135730672 3221224576 3221221520 134539768 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35781 25812 301 301 0 35480 0
vsize: 143124
[startup+70.0005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 71881 0 0 0 6840 159 0 0 25 0 1 0 966783296 259784704 48930 4294967295 134512640 135730672 3221224576 3221218640 134775425 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63424 48933 301 301 0 63123 0
vsize: 253696
[startup+80.0006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 75316 0 0 0 7830 169 0 0 25 0 1 0 966783296 230805504 42076 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56349 42076 301 301 0 56048 0
vsize: 225396
[startup+90.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 75810 0 0 0 8828 171 0 0 25 0 1 0 966783296 233050112 42504 4294967295 134512640 135730672 3221224576 3221223184 134744850 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56897 42504 301 301 0 56596 0
vsize: 227588
[startup+100.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 76275 0 0 0 9826 173 0 0 25 0 1 0 966783296 235282432 42969 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57442 42969 301 301 0 57141 0
vsize: 229768
[startup+110.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 77325 0 0 0 10823 176 0 0 25 0 1 0 966783296 240050176 43789 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58606 43789 301 301 0 58305 0
vsize: 234424
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 78078 0 0 0 11822 178 0 0 25 0 1 0 966783296 243404800 44377 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59425 44377 301 301 0 59124 0
vsize: 237700
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 78959 0 0 0 12820 180 0 0 25 0 1 0 966783296 247439360 45093 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60410 45093 301 301 0 60109 0
vsize: 241640
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 80816 0 0 0 13816 184 0 0 25 0 1 0 966783296 250716160 45651 4294967295 134512640 135730672 3221224576 3221222824 135284590 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 61210 45651 301 301 0 60909 0
vsize: 244840
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 81367 0 0 0 14814 186 0 0 25 0 1 0 966783296 252854272 46004 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 61732 46004 301 301 0 61431 0
vsize: 246928
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 81763 0 0 0 15813 187 0 0 25 0 1 0 966783296 254590976 46334 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62156 46334 301 301 0 61855 0
vsize: 248624
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 82069 0 0 0 16813 188 0 0 25 0 1 0 966783296 256184320 46574 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62545 46574 301 301 0 62244 0
vsize: 250180
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 82280 0 0 0 17812 189 0 0 25 0 1 0 966783296 257114112 46719 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62772 46719 301 301 0 62471 0
vsize: 251088
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 82367 0 0 0 18812 190 0 0 25 0 1 0 966783296 257515520 46806 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 62870 46806 301 301 0 62569 0
vsize: 251480
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 82891 0 0 0 19811 191 0 0 25 0 1 0 966783296 259244032 47099 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63292 47099 301 301 0 62991 0
vsize: 253168
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 83113 0 0 0 20811 192 0 0 25 0 1 0 966783296 260042752 47255 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63487 47255 301 301 0 63186 0
vsize: 253948
[startup+220.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 84319 0 0 0 21808 195 0 0 25 0 1 0 966783296 260575232 47343 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63617 47343 301 301 0 63316 0
vsize: 254468
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 84628 0 0 0 22807 196 0 0 25 0 1 0 966783296 261922816 47619 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 63946 47619 301 301 0 63645 0
vsize: 255784
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 84783 0 0 0 23806 197 0 0 25 0 1 0 966783296 262594560 47741 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64110 47741 301 301 0 63809 0
vsize: 256440
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 85892 0 0 0 24803 200 0 0 25 0 1 0 966783296 262864896 47798 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64176 47798 301 301 0 63875 0
vsize: 256704
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 85961 0 0 0 25803 200 0 0 25 0 1 0 966783296 263266304 47867 4294967295 134512640 135730672 3221224576 3221223072 134747513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64274 47867 301 301 0 63973 0
vsize: 257096
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 86002 0 0 0 26803 201 0 0 25 0 1 0 966783296 263397376 47875 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64306 47875 301 301 0 64005 0
vsize: 257224
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 87216 0 0 0 27800 204 0 0 25 0 1 0 966783296 263794688 47971 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64403 47971 301 301 0 64102 0
vsize: 257612
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 87438 0 0 0 28800 205 0 0 25 0 1 0 966783296 264454144 48061 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64564 48061 301 301 0 64263 0
vsize: 258256
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 87618 0 0 0 29800 206 0 0 25 0 1 0 966783296 264982528 48142 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64693 48142 301 301 0 64392 0
vsize: 258772
[startup+310.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 88747 0 0 0 30797 209 0 0 25 0 1 0 966783296 265248768 48219 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 64758 48219 301 301 0 64457 0
vsize: 259032
[startup+320.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 89049 0 0 0 31796 210 0 0 25 0 1 0 966783296 266719232 48455 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65117 48455 301 301 0 64816 0
vsize: 260468
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 89061 0 0 0 32796 210 0 0 25 0 1 0 966783296 266719232 48467 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65117 48467 301 301 0 64816 0
vsize: 260468
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 89116 0 0 0 33796 211 0 0 25 0 1 0 966783296 266850304 48489 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65149 48489 301 301 0 64848 0
vsize: 260596
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 90259 0 0 0 34794 213 0 0 25 0 1 0 966783296 267112448 48514 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65213 48514 301 301 0 64912 0
vsize: 260852
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 90388 0 0 0 35793 214 0 0 25 0 1 0 966783296 267649024 48610 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65344 48610 301 301 0 65043 0
vsize: 261376
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 90403 0 0 0 36793 215 0 0 25 0 1 0 966783296 267649024 48625 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65344 48625 301 301 0 65043 0
vsize: 261376
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 90656 0 0 0 37792 216 0 0 25 0 1 0 966783296 268578816 48812 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65571 48812 301 301 0 65270 0
vsize: 262284
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 91020 0 0 0 38792 217 0 0 25 0 1 0 966783296 269901824 49044 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65894 49044 301 301 0 65593 0
vsize: 263576
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 92116 0 0 0 39789 219 0 0 25 0 1 0 966783296 270168064 49088 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65959 49088 301 301 0 65658 0
vsize: 263836
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 92160 0 0 0 40789 220 0 0 25 0 1 0 966783296 270434304 49132 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66024 49132 301 301 0 65723 0
vsize: 264096
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 92225 0 0 0 41789 220 0 0 25 0 1 0 966783296 270565376 49164 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66056 49164 301 301 0 65755 0
vsize: 264224
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 92420 0 0 0 42788 221 0 0 25 0 1 0 966783296 271360000 49293 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66250 49293 301 301 0 65949 0
vsize: 265000
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 92449 0 0 0 43789 221 0 0 25 0 1 0 966783296 271360000 49322 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66250 49322 301 301 0 65949 0
vsize: 265000
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 92650 0 0 0 44788 222 0 0 25 0 1 0 966783296 271884288 49391 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66378 49391 301 301 0 66077 0
vsize: 265512
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 92816 0 0 0 45788 223 0 0 25 0 1 0 966783296 272814080 49524 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66605 49524 301 301 0 66304 0
vsize: 266420
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 93923 0 0 0 46785 226 0 0 25 0 1 0 966783296 272945152 49546 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66637 49546 301 301 0 66336 0
vsize: 266548
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 94042 0 0 0 47785 227 0 0 25 0 1 0 966783296 273608704 49632 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66799 49632 301 301 0 66498 0
vsize: 267196
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 94101 0 0 0 48784 227 0 0 25 0 1 0 966783296 273739776 49658 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66831 49658 301 301 0 66530 0
vsize: 267324
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 95169 0 0 0 49782 230 0 0 25 0 1 0 966783296 273739776 49674 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66831 49674 301 301 0 66530 0
vsize: 267324
[startup+510.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 95252 0 0 0 50782 231 0 0 25 0 1 0 966783296 274001920 49691 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66895 49691 301 301 0 66594 0
vsize: 267580
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 95293 0 0 0 51781 231 0 0 25 0 1 0 966783296 274132992 49699 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66927 49699 301 301 0 66626 0
vsize: 267708
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 96387 0 0 0 52779 234 0 0 25 0 1 0 966783296 274132992 49741 4294967295 134512640 135730672 3221224576 3221223072 134747899 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 66927 49741 301 301 0 66626 0
vsize: 267708
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 96511 0 0 0 53779 235 0 0 25 0 1 0 966783296 274796544 49832 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67089 49832 301 301 0 66788 0
vsize: 268356
[startup+550.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 96515 0 0 0 54778 236 0 0 25 0 1 0 966783296 274796544 49836 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67089 49836 301 301 0 66788 0
vsize: 268356
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 97572 0 0 0 55775 239 0 0 25 0 1 0 966783296 274796544 49841 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67089 49841 301 301 0 66788 0
vsize: 268356
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 97608 0 0 0 56775 239 0 0 25 0 1 0 966783296 275062784 49877 4294967295 134512640 135730672 3221224576 3221223184 134748222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67154 49877 301 301 0 66853 0
vsize: 268616
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 97613 0 0 0 57775 240 0 0 25 0 1 0 966783296 275062784 49882 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67154 49882 301 301 0 66853 0
vsize: 268616
[startup+590.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 98710 0 0 0 58772 243 0 0 25 0 1 0 966783296 275193856 49894 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67186 49894 301 301 0 66885 0
vsize: 268744
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 98792 0 0 0 59772 244 0 0 25 0 1 0 966783296 275324928 49943 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67218 49943 301 301 0 66917 0
vsize: 268872
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 98910 0 0 0 60771 245 0 0 25 0 1 0 966783296 275857408 50028 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67348 50028 301 301 0 67047 0
vsize: 269392
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 98962 0 0 0 61771 245 0 0 25 0 1 0 966783296 275988480 50047 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67380 50047 301 301 0 67079 0
vsize: 269520
[startup+630.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 98990 0 0 0 62771 246 0 0 25 0 1 0 966783296 275988480 50075 4294967295 134512640 135730672 3221224576 3221222824 135286129 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67380 50075 301 301 0 67079 0
vsize: 269520
[startup+640.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 98997 0 0 0 63770 247 0 0 25 0 1 0 966783296 275988480 50082 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67380 50082 301 301 0 67079 0
vsize: 269520
[startup+650.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 100095 0 0 0 64767 250 0 0 25 0 1 0 966783296 276119552 50095 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67412 50095 301 301 0 67111 0
vsize: 269648
[startup+660.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 100161 0 0 0 65767 251 0 0 25 0 1 0 966783296 276385792 50161 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67477 50161 301 301 0 67176 0
vsize: 269908
[startup+670.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 100250 0 0 0 66766 252 0 0 25 0 1 0 966783296 276647936 50184 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67541 50184 301 301 0 67240 0
vsize: 270164
[startup+680.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 100292 0 0 0 67766 253 0 0 25 0 1 0 966783296 276914176 50226 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67606 50226 301 301 0 67305 0
vsize: 270424
[startup+690.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 101353 0 0 0 68763 256 0 0 25 0 1 0 966783296 276914176 50235 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67606 50235 301 301 0 67305 0
vsize: 270424
[startup+700.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 101366 0 0 0 69763 256 0 0 25 0 1 0 966783296 276914176 50248 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67606 50248 301 301 0 67305 0
vsize: 270424
[startup+710.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 101379 0 0 0 70763 257 0 0 25 0 1 0 966783296 276914176 50261 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67606 50261 301 301 0 67305 0
vsize: 270424
[startup+720.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 102433 0 0 0 71760 260 0 0 25 0 1 0 966783296 276914176 50263 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67606 50263 301 301 0 67305 0
vsize: 270424
[startup+730.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 102672 0 0 0 72760 260 0 0 25 0 1 0 966783296 277569536 50339 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67766 50339 301 301 0 67465 0
vsize: 271064
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 102676 0 0 0 73760 261 0 0 25 0 1 0 966783296 277569536 50343 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67766 50343 301 301 0 67465 0
vsize: 271064
[startup+750.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 102798 0 0 0 74759 262 0 0 25 0 1 0 966783296 277831680 50400 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67830 50400 301 301 0 67529 0
vsize: 271320
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 102804 0 0 0 75759 262 0 0 25 0 1 0 966783296 277831680 50406 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67830 50406 301 301 0 67529 0
vsize: 271320
[startup+770.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 102854 0 0 0 76759 263 0 0 25 0 1 0 966783296 277962752 50423 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67862 50423 301 301 0 67561 0
vsize: 271448
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 102948 0 0 0 77758 264 0 0 25 0 1 0 966783296 278360064 50484 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67959 50484 301 301 0 67658 0
vsize: 271836
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 104004 0 0 0 78756 266 0 0 25 0 1 0 966783296 282669056 51540 4294967295 134512640 135730672 3221224576 3221222760 134769121 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 69011 51540 301 301 0 68710 0
vsize: 276044
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 104049 0 0 0 79756 267 0 0 25 0 1 0 966783296 278360064 50533 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67959 50533 301 301 0 67658 0
vsize: 271836
[startup+810.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 104091 0 0 0 80755 267 0 0 25 0 1 0 966783296 278491136 50542 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67991 50542 301 301 0 67690 0
vsize: 271964
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 104107 0 0 0 81755 268 0 0 25 0 1 0 966783296 278491136 50558 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67991 50558 301 301 0 67690 0
vsize: 271964
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 104115 0 0 0 82756 268 0 0 25 0 1 0 966783296 278491136 50566 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67991 50566 301 301 0 67690 0
vsize: 271964
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 105205 0 0 0 83753 271 0 0 25 0 1 0 966783296 278622208 50571 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68023 50571 301 301 0 67722 0
vsize: 272092
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 105249 0 0 0 84753 272 0 0 25 0 1 0 966783296 278753280 50582 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68055 50582 301 301 0 67754 0
vsize: 272220
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 105265 0 0 0 85752 272 0 0 25 0 1 0 966783296 278753280 50598 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68055 50598 301 301 0 67754 0
vsize: 272220
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 105271 0 0 0 86752 273 0 0 25 0 1 0 966783296 278753280 50604 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68055 50604 301 301 0 67754 0
vsize: 272220
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 105280 0 0 0 87752 273 0 0 25 0 1 0 966783296 278753280 50613 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68055 50613 301 301 0 67754 0
vsize: 272220
[startup+890.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 105284 0 0 0 88752 273 0 0 25 0 1 0 966783296 278753280 50617 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68055 50617 301 301 0 67754 0
vsize: 272220
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 105288 0 0 0 89752 274 0 0 25 0 1 0 966783296 278753280 50621 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68055 50621 301 301 0 67754 0
vsize: 272220
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 105293 0 0 0 90752 275 0 0 25 0 1 0 966783296 278753280 50626 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68055 50626 301 301 0 67754 0
vsize: 272220
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 106378 0 0 0 91750 277 0 0 25 0 1 0 966783296 278753280 50659 4294967295 134512640 135730672 3221224576 3221222824 135284826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68055 50659 301 301 0 67754 0
vsize: 272220
[startup+930.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 106384 0 0 0 92750 277 0 0 25 0 1 0 966783296 278753280 50665 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68055 50665 301 301 0 67754 0
vsize: 272220
[startup+940.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 106390 0 0 0 93749 278 0 0 25 0 1 0 966783296 278753280 50671 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68055 50671 301 301 0 67754 0
vsize: 272220
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 106394 0 0 0 94749 279 0 0 25 0 1 0 966783296 278753280 50675 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68055 50675 301 301 0 67754 0
vsize: 272220
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 106398 0 0 0 95749 279 0 0 25 0 1 0 966783296 278753280 50679 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68055 50679 301 301 0 67754 0
vsize: 272220
[startup+970.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 106442 0 0 0 96748 280 0 0 25 0 1 0 966783296 278884352 50690 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68087 50690 301 301 0 67786 0
vsize: 272348
[startup+980.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 107500 0 0 0 97746 283 0 0 25 0 1 0 966783296 278884352 50696 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68087 50696 301 301 0 67786 0
vsize: 272348
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 107683 0 0 0 98745 284 0 0 25 0 1 0 966783296 279842816 50846 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68321 50846 301 301 0 68020 0
vsize: 273284
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 107740 0 0 0 99745 285 0 0 25 0 1 0 966783296 279973888 50870 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68353 50870 301 301 0 68052 0
vsize: 273412
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 107748 0 0 0 100745 285 0 0 25 0 1 0 966783296 279973888 50878 4294967295 134512640 135730672 3221224576 3221223164 135282200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68353 50878 301 301 0 68052 0
vsize: 273412
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 107775 0 0 0 101745 285 0 0 25 0 1 0 966783296 279973888 50905 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68353 50905 301 301 0 68052 0
vsize: 273412
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 107789 0 0 0 102745 285 0 0 25 0 1 0 966783296 279973888 50919 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68353 50919 301 301 0 68052 0
vsize: 273412
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 107856 0 0 0 103745 286 0 0 25 0 1 0 966783296 280104960 50953 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68385 50953 301 301 0 68084 0
vsize: 273540
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 107879 0 0 0 104745 286 0 0 25 0 1 0 966783296 280104960 50976 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68385 50976 301 301 0 68084 0
vsize: 273540
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 107892 0 0 0 105745 287 0 0 25 0 1 0 966783296 280104960 50989 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68385 50989 301 301 0 68084 0
vsize: 273540
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 107947 0 0 0 106745 287 0 0 25 0 1 0 966783296 280371200 51044 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68450 51044 301 301 0 68149 0
vsize: 273800
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 107968 0 0 0 107745 288 0 0 25 0 1 0 966783296 280371200 51065 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68450 51065 301 301 0 68149 0
vsize: 273800
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 107990 0 0 0 108745 288 0 0 25 0 1 0 966783296 280371200 51087 4294967295 134512640 135730672 3221224576 3221222824 135284826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68450 51087 301 301 0 68149 0
vsize: 273800
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 108002 0 0 0 109745 288 0 0 25 0 1 0 966783296 280371200 51099 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68450 51099 301 301 0 68149 0
vsize: 273800
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 108006 0 0 0 110745 289 0 0 25 0 1 0 966783296 280371200 51103 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68450 51103 301 301 0 68149 0
vsize: 273800
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 108030 0 0 0 111745 289 0 0 25 0 1 0 966783296 280371200 51127 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68450 51127 301 301 0 68149 0
vsize: 273800
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 109089 0 0 0 112742 292 0 0 25 0 1 0 966783296 280371200 51134 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 68450 51134 301 301 0 68149 0
vsize: 273800
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 109105 0 0 0 113741 293 0 0 25 0 1 0 966783296 280371200 51150 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68450 51150 301 301 0 68149 0
vsize: 273800
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 109157 0 0 0 114740 294 0 0 25 0 1 0 966783296 280502272 51169 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68482 51169 301 301 0 68181 0
vsize: 273928
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 109168 0 0 0 115740 294 0 0 25 0 1 0 966783296 280502272 51180 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68482 51180 301 301 0 68181 0
vsize: 273928
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 109169 0 0 0 116740 295 0 0 25 0 1 0 966783296 280502272 51181 4294967295 134512640 135730672 3221224576 3221222824 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68482 51181 301 301 0 68181 0
vsize: 273928
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 109176 0 0 0 117740 295 0 0 25 0 1 0 966783296 280502272 51188 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68482 51188 301 301 0 68181 0
vsize: 273928
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 109197 0 0 0 118740 295 0 0 25 0 1 0 966783296 280502272 51209 4294967295 134512640 135730672 3221224576 3221222824 135284826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68482 51209 301 301 0 68181 0
vsize: 273928
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13149
Raw data (stat): 13149 (pb2sat-v2) R 13148 25568 25567 0 -1 0 109229 0 0 0 119740 296 0 0 25 0 1 0 966783296 280502272 51241 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 68482 51241 301 301 0 68181 0
vsize: 273928
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.81 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 13149
Raw data (stat): 13149 (pb2sat-v2) Z 13148 25568 25567 0 -1 12 109231 0 0 0 119909 306 0 0 25 0 1 0 966783296 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.81
CPU time (s): 1202.17
CPU user time (s): 1199.1
CPU system time (s): 3.06853
CPU usage (%): 100.029
Max. virtual memory (Kb): 276044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####