PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-pk1.opb
MD5SUM	ca2f95c2509c09ae8cf1945e12d0eb97
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2150078462
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.063989
Number of variables	985
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	115
Trace number 42548

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        771052 kB
Buffers:         27812 kB
Cached:         213104 kB
SwapCached:        688 kB
Active:          29108 kB
Inactive:       213856 kB
HighTotal:      131008 kB
HighFree:        41104 kB
LowTotal:       903652 kB
LowFree:        729948 kB
SwapTotal:     2097136 kB
SwapFree:      2095520 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            14980 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 10:32:02 (client local time) WITH STATUS 0 IN 1202.25 SECONDS
stats: 25759 7 1202.25 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 182/911567	Time: 208.495/86400
c Decision: 182/911567	Time: 306.595/86400
c Decision: 182/911567	Time: 440.682/86400
c Decision: 182/911567	Time: 508.818/86400
c Decision: 194/911567	Time: 729.859/86400
c Decision: 194/911567	Time: 949.249/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.91 0.95 0.90 2/54 12755
Raw data (stat): 12755 (runsolver) R 12754 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969945901 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+9.99975 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 26059 0 0 0 939 59 0 0 25 0 1 0 969945901 76656640 14999 4294967295 134512640 135730672 3221224576 3221197752 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18715 14999 301 301 0 18414 0
vsize: 74860
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 51574 0 0 0 1884 115 0 0 25 0 1 0 969945901 151158784 29557 4294967295 134512640 135730672 3221224576 3221187388 134608033 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36904 29557 301 301 0 36603 0
vsize: 147616
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 89990 0 0 0 2807 191 0 0 25 0 1 0 969945901 267960320 46295 4294967295 134512640 135730672 3221224576 3221205504 134786302 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 65420 46295 301 301 0 65119 0
vsize: 261680
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 102936 0 0 0 3775 223 0 0 25 0 1 0 969945901 301514752 59006 4294967295 134512640 135730672 3221224576 3221203456 135109367 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73612 59006 301 301 0 73311 0
vsize: 294448
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 114399 0 0 0 4749 249 0 0 25 0 1 0 969945901 326373376 68515 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79681 68515 301 301 0 79380 0
vsize: 318724
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 114807 0 0 0 5748 250 0 0 25 0 1 0 969945901 327573504 68793 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79974 68793 301 301 0 79673 0
vsize: 319896
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 116195 0 0 0 6745 252 0 0 25 0 1 0 969945901 332607488 69724 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81203 69724 301 301 0 80902 0
vsize: 324812
[startup+80.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 117108 0 0 0 7744 254 0 0 25 0 1 0 969945901 335482880 70086 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81905 70086 301 301 0 81604 0
vsize: 327620
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 117359 0 0 0 8744 254 0 0 25 0 1 0 969945901 336486400 70208 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82150 70208 301 301 0 81849 0
vsize: 328600
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 117797 0 0 0 9744 254 0 0 25 0 1 0 969945901 337944576 70483 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82506 70483 301 301 0 82205 0
vsize: 330024
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 118028 0 0 0 10744 255 0 0 25 0 1 0 969945901 338599936 70552 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82666 70552 301 301 0 82365 0
vsize: 330664
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 118438 0 0 0 11743 255 0 0 25 0 1 0 969945901 340332544 70767 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83089 70767 301 301 0 82788 0
vsize: 332356
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 119317 0 0 0 12742 257 0 0 25 0 1 0 969945901 342904832 71191 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83717 71191 301 301 0 83416 0
vsize: 334868
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 120399 0 0 0 13740 259 0 0 25 0 1 0 969945901 346071040 71754 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84490 71754 301 301 0 84189 0
vsize: 337960
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 121029 0 0 0 14739 261 0 0 25 0 1 0 969945901 347910144 71996 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84939 71996 301 301 0 84638 0
vsize: 339756
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 121597 0 0 0 15737 262 0 0 25 0 1 0 969945901 349483008 72177 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85323 72177 301 301 0 85022 0
vsize: 341292
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 121785 0 0 0 16737 262 0 0 25 0 1 0 969945901 349974528 72300 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85443 72300 301 301 0 85142 0
vsize: 341772
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 122038 0 0 0 17737 263 0 0 25 0 1 0 969945901 350498816 72424 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85571 72424 301 301 0 85270 0
vsize: 342284
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 122228 0 0 0 18737 263 0 0 25 0 1 0 969945901 350760960 72549 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85635 72549 301 301 0 85334 0
vsize: 342540
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 122418 0 0 0 19737 264 0 0 25 0 1 0 969945901 351285248 72610 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85763 72610 301 301 0 85462 0
vsize: 343052
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 122739 0 0 0 20736 265 0 0 25 0 1 0 969945901 352333824 72673 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86019 72673 301 301 0 85718 0
vsize: 344076
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 122740 0 0 0 21736 265 0 0 25 0 1 0 969945901 352333824 72674 4294967295 134512640 135730672 3221224576 3221223164 134747723 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86019 72674 301 301 0 85718 0
vsize: 344076
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 122914 0 0 0 22736 265 0 0 25 0 1 0 969945901 352858112 72719 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86147 72719 301 301 0 85846 0
vsize: 344588
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 123138 0 0 0 23735 266 0 0 25 0 1 0 969945901 353382400 72814 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86275 72814 301 301 0 85974 0
vsize: 345100
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 124921 0 0 0 24731 270 0 0 25 0 1 0 969945901 353382400 72816 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86275 72816 301 301 0 85974 0
vsize: 345100
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 126323 0 0 0 25729 272 0 0 25 0 1 0 969945901 357974016 73665 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87396 73665 301 301 0 87095 0
vsize: 349584
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 126536 0 0 0 26728 273 0 0 25 0 1 0 969945901 358768640 73813 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87590 73813 301 301 0 87289 0
vsize: 350360
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 126571 0 0 0 27728 273 0 0 25 0 1 0 969945901 358768640 73848 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87590 73848 301 301 0 87289 0
vsize: 350360
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 126573 0 0 0 28728 273 0 0 25 0 1 0 969945901 358768640 73850 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87590 73850 301 301 0 87289 0
vsize: 350360
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 126814 0 0 0 29728 273 0 0 25 0 1 0 969945901 359428096 73993 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87751 73993 301 301 0 87450 0
vsize: 351004
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 127035 0 0 0 30728 274 0 0 25 0 1 0 969945901 360218624 74116 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87944 74116 301 301 0 87643 0
vsize: 351776
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 127146 0 0 0 31727 274 0 0 25 0 1 0 969945901 360615936 74162 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88041 74162 301 301 0 87740 0
vsize: 352164
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 127524 0 0 0 32727 275 0 0 25 0 1 0 969945901 361938944 74377 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88364 74377 301 301 0 88063 0
vsize: 353456
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 127575 0 0 0 33727 275 0 0 25 0 1 0 969945901 361938944 74428 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88364 74428 301 301 0 88063 0
vsize: 353456
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 129420 0 0 0 34723 279 0 0 25 0 1 0 969945901 362074112 74459 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88397 74459 301 301 0 88096 0
vsize: 353588
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 131069 0 0 0 35719 283 0 0 25 0 1 0 969945901 366968832 75354 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89592 75354 301 301 0 89291 0
vsize: 358368
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 131721 0 0 0 36717 285 0 0 25 0 1 0 969945901 368676864 75649 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90009 75649 301 301 0 89708 0
vsize: 360036
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 134551 0 0 0 37712 290 0 0 25 0 1 0 969945901 375898112 76894 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91772 76894 301 301 0 91471 0
vsize: 367088
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 135427 0 0 0 38711 291 0 0 25 0 1 0 969945901 378130432 77286 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92317 77286 301 301 0 92016 0
vsize: 369268
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 135802 0 0 0 39710 292 0 0 25 0 1 0 969945901 379183104 77532 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92574 77532 301 301 0 92273 0
vsize: 370296
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 136567 0 0 0 40708 295 0 0 25 0 1 0 969945901 380755968 77909 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92958 77909 301 301 0 92657 0
vsize: 371832
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 136854 0 0 0 41707 296 0 0 25 0 1 0 969945901 381546496 78067 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93151 78067 301 301 0 92850 0
vsize: 372604
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 136894 0 0 0 42707 296 0 0 25 0 1 0 969945901 381546496 78107 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93151 78107 301 301 0 92850 0
vsize: 372604
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 138420 0 0 0 43704 299 0 0 25 0 1 0 969945901 386719744 78919 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94414 78919 301 301 0 94113 0
vsize: 377656
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 138704 0 0 0 44703 300 0 0 25 0 1 0 969945901 387649536 79170 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94641 79170 301 301 0 94340 0
vsize: 378564
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 139050 0 0 0 45703 301 0 0 25 0 1 0 969945901 388435968 79322 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94833 79322 301 301 0 94532 0
vsize: 379332
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 139139 0 0 0 46702 302 0 0 25 0 1 0 969945901 388567040 79378 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94865 79378 301 301 0 94564 0
vsize: 379460
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 139277 0 0 0 47702 302 0 0 25 0 1 0 969945901 389091328 79387 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 94993 79387 301 301 0 94692 0
vsize: 379972
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 141217 0 0 0 48697 307 0 0 25 0 1 0 969945901 389754880 79481 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95155 79481 301 301 0 94854 0
vsize: 380620
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 141462 0 0 0 49697 307 0 0 25 0 1 0 969945901 390541312 79531 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 95347 79531 301 301 0 95046 0
vsize: 381388
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 143149 0 0 0 50694 310 0 0 25 0 1 0 969945901 394350592 80379 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96277 80379 301 301 0 95976 0
vsize: 385108
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 144016 0 0 0 51693 312 0 0 25 0 1 0 969945901 396988416 80857 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 96921 80857 301 301 0 96620 0
vsize: 387684
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 144208 0 0 0 52692 312 0 0 25 0 1 0 969945901 397381632 80951 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97017 80951 301 301 0 96716 0
vsize: 388068
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 144212 0 0 0 53692 313 0 0 25 0 1 0 969945901 397381632 80955 4294967295 134512640 135730672 3221224576 3221223184 134744917 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97017 80955 301 301 0 96716 0
vsize: 388068
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 145998 0 0 0 54688 317 0 0 25 0 1 0 969945901 404676608 82741 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98798 82741 301 301 0 98497 0
vsize: 395192
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 146221 0 0 0 55687 318 0 0 25 0 1 0 969945901 397905920 81054 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97145 81054 301 301 0 96844 0
vsize: 388580
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 146228 0 0 0 56687 318 0 0 25 0 1 0 969945901 397905920 81061 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97145 81061 301 301 0 96844 0
vsize: 388580
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 146236 0 0 0 57687 318 0 0 25 0 1 0 969945901 397905920 81069 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97145 81069 301 301 0 96844 0
vsize: 388580
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 146445 0 0 0 58687 318 0 0 25 0 1 0 969945901 398430208 81149 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97273 81149 301 301 0 96972 0
vsize: 389092
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 146629 0 0 0 59687 319 0 0 25 0 1 0 969945901 398954496 81204 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97401 81204 301 301 0 97100 0
vsize: 389604
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 147037 0 0 0 60686 320 0 0 25 0 1 0 969945901 400003072 81354 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97657 81354 301 301 0 97356 0
vsize: 390628
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 147386 0 0 0 61686 321 0 0 25 0 1 0 969945901 400527360 81574 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97785 81574 301 301 0 97484 0
vsize: 391140
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 147659 0 0 0 62685 322 0 0 25 0 1 0 969945901 401727488 81782 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98078 81782 301 301 0 97777 0
vsize: 392312
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 147664 0 0 0 63685 322 0 0 25 0 1 0 969945901 401727488 81787 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98078 81787 301 301 0 97777 0
vsize: 392312
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 147892 0 0 0 64684 323 0 0 25 0 1 0 969945901 402386944 81886 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98239 81886 301 301 0 97938 0
vsize: 392956
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 148083 0 0 0 65684 323 0 0 25 0 1 0 969945901 402911232 81948 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98367 81948 301 301 0 98066 0
vsize: 393468
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 148179 0 0 0 66684 323 0 0 25 0 1 0 969945901 403173376 81979 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98431 81979 301 301 0 98130 0
vsize: 393724
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 148385 0 0 0 67684 323 0 0 25 0 1 0 969945901 403435520 82120 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98495 82120 301 301 0 98194 0
vsize: 393980
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 148475 0 0 0 68684 324 0 0 25 0 1 0 969945901 403832832 82177 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98592 82177 301 301 0 98291 0
vsize: 394368
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 148639 0 0 0 69684 324 0 0 25 0 1 0 969945901 404357120 82212 4294967295 134512640 135730672 3221224576 3221223072 134747856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 98720 82212 301 301 0 98419 0
vsize: 394880
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 149164 0 0 0 70683 325 0 0 25 0 1 0 969945901 405798912 82380 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99072 82380 301 301 0 98771 0
vsize: 396288
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 149349 0 0 0 71683 326 0 0 25 0 1 0 969945901 406323200 82436 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99200 82436 301 301 0 98899 0
vsize: 396800
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 149374 0 0 0 72683 326 0 0 25 0 1 0 969945901 406323200 82461 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99200 82461 301 301 0 98899 0
vsize: 396800
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 149379 0 0 0 73683 326 0 0 25 0 1 0 969945901 406323200 82466 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99200 82466 301 301 0 98899 0
vsize: 396800
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 149380 0 0 0 74683 326 0 0 25 0 1 0 969945901 406323200 82467 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99200 82467 301 301 0 98899 0
vsize: 396800
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 149459 0 0 0 75683 326 0 0 25 0 1 0 969945901 406323200 82546 4294967295 134512640 135730672 3221224576 3221223200 134748143 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99200 82546 301 301 0 98899 0
vsize: 396800
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 149462 0 0 0 76683 326 0 0 25 0 1 0 969945901 406323200 82549 4294967295 134512640 135730672 3221224576 3221223088 134746077 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 99200 82549 301 301 0 98899 0
vsize: 396800
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 151477 0 0 0 77678 331 0 0 25 0 1 0 969945901 406982656 82685 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99361 82685 301 301 0 99060 0
vsize: 397444
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 152807 0 0 0 78675 334 0 0 25 0 1 0 969945901 410390528 83178 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100193 83178 301 301 0 99892 0
vsize: 400772
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 153183 0 0 0 79674 335 0 0 25 0 1 0 969945901 411439104 83297 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100449 83297 301 301 0 100148 0
vsize: 401796
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 153184 0 0 0 80674 335 0 0 25 0 1 0 969945901 411439104 83298 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100449 83298 301 301 0 100148 0
vsize: 401796
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 153193 0 0 0 81674 335 0 0 25 0 1 0 969945901 411439104 83307 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100449 83307 301 301 0 100148 0
vsize: 401796
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 153548 0 0 0 82674 336 0 0 25 0 1 0 969945901 412487680 83405 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100705 83405 301 301 0 100404 0
vsize: 402820
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 153549 0 0 0 83674 336 0 0 25 0 1 0 969945901 412487680 83406 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100705 83406 301 301 0 100404 0
vsize: 402820
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 153714 0 0 0 84674 336 0 0 25 0 1 0 969945901 413011968 83442 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100833 83442 301 301 0 100532 0
vsize: 403332
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 154107 0 0 0 85673 336 0 0 25 0 1 0 969945901 414060544 83578 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101089 83578 301 301 0 100788 0
vsize: 404356
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 154490 0 0 0 86673 337 0 0 25 0 1 0 969945901 415109120 83704 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101345 83704 301 301 0 101044 0
vsize: 405380
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 154751 0 0 0 87673 338 0 0 25 0 1 0 969945901 415633408 83836 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101473 83836 301 301 0 101172 0
vsize: 405892
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 154778 0 0 0 88673 338 0 0 25 0 1 0 969945901 415633408 83863 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101473 83863 301 301 0 101172 0
vsize: 405892
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 155780 0 0 0 89671 340 0 0 25 0 1 0 969945901 418254848 84220 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102113 84220 301 301 0 101812 0
vsize: 408452
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 156289 0 0 0 90670 341 0 0 25 0 1 0 969945901 419303424 84472 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102369 84472 301 301 0 102068 0
vsize: 409476
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 156845 0 0 0 91669 342 0 0 25 0 1 0 969945901 420876288 84642 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 102753 84642 301 301 0 102452 0
vsize: 411012
[startup+930.025 s]
Raw data (loadavg): 1.15 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 157551 0 0 0 92668 343 0 0 25 0 1 0 969945901 422449152 84962 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103137 84962 301 301 0 102836 0
vsize: 412548
[startup+940.026 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 157606 0 0 0 93668 343 0 0 25 0 1 0 969945901 422449152 85017 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103137 85017 301 301 0 102836 0
vsize: 412548
[startup+950.026 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 157834 0 0 0 94668 344 0 0 25 0 1 0 969945901 422449152 85245 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103137 85245 301 301 0 102836 0
vsize: 412548
[startup+960.026 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 157836 0 0 0 95668 344 0 0 25 0 1 0 969945901 422449152 85247 4294967295 134512640 135730672 3221224576 3221223072 134747950 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103137 85247 301 301 0 102836 0
vsize: 412548
[startup+970.026 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 158809 0 0 0 96666 346 0 0 25 0 1 0 969945901 425070592 85577 4294967295 134512640 135730672 3221224576 3221223072 134747513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 103777 85577 301 301 0 103476 0
vsize: 415108
[startup+980.026 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 160189 0 0 0 97663 349 0 0 25 0 1 0 969945901 427692032 86314 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104417 86314 301 301 0 104116 0
vsize: 417668
[startup+990.027 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 162657 0 0 0 98657 355 0 0 25 0 1 0 969945901 429264896 86615 4294967295 134512640 135730672 3221224576 3221223116 135301642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104801 86615 301 301 0 104500 0
vsize: 419204
[startup+1000.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 163374 0 0 0 99656 357 0 0 25 0 1 0 969945901 430837760 86946 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105185 86946 301 301 0 104884 0
vsize: 420740
[startup+1010.03 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 165193 0 0 0 100653 359 0 0 25 0 1 0 969945901 435556352 87609 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106337 87609 301 301 0 106036 0
vsize: 425348
[startup+1020.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 165684 0 0 0 101652 361 0 0 25 0 1 0 969945901 436604928 87843 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106593 87843 301 301 0 106292 0
vsize: 426372
[startup+1030.03 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 165685 0 0 0 102652 361 0 0 25 0 1 0 969945901 436604928 87844 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106593 87844 301 301 0 106292 0
vsize: 426372
[startup+1040.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 165712 0 0 0 103652 361 0 0 25 0 1 0 969945901 436604928 87871 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106593 87871 301 301 0 106292 0
vsize: 426372
[startup+1050.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 165712 0 0 0 104652 361 0 0 25 0 1 0 969945901 436604928 87871 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106593 87871 301 301 0 106292 0
vsize: 426372
[startup+1060.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 166350 0 0 0 105650 363 0 0 25 0 1 0 969945901 438177792 88123 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106977 88123 301 301 0 106676 0
vsize: 427908
[startup+1070.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 166356 0 0 0 106650 364 0 0 25 0 1 0 969945901 438177792 88129 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106977 88129 301 301 0 106676 0
vsize: 427908
[startup+1080.03 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 166356 0 0 0 107650 364 0 0 25 0 1 0 969945901 438177792 88129 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106977 88129 301 301 0 106676 0
vsize: 427908
[startup+1090.03 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 166356 0 0 0 108650 364 0 0 25 0 1 0 969945901 438177792 88129 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106977 88129 301 301 0 106676 0
vsize: 427908
[startup+1100.03 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 166357 0 0 0 109650 364 0 0 25 0 1 0 969945901 438177792 88130 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106977 88130 301 301 0 106676 0
vsize: 427908
[startup+1110.03 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 166358 0 0 0 110651 364 0 0 25 0 1 0 969945901 438177792 88131 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106977 88131 301 301 0 106676 0
vsize: 427908
[startup+1120.03 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 166791 0 0 0 111650 365 0 0 25 0 1 0 969945901 439226368 88307 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107233 88307 301 301 0 106932 0
vsize: 428932
[startup+1130.03 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 167106 0 0 0 112649 365 0 0 25 0 1 0 969945901 440012800 88428 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107425 88428 301 301 0 107124 0
vsize: 429700
[startup+1140.03 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 167112 0 0 0 113650 365 0 0 25 0 1 0 969945901 440012800 88434 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107425 88434 301 301 0 107124 0
vsize: 429700
[startup+1150.03 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 167120 0 0 0 114650 366 0 0 25 0 1 0 969945901 440012800 88442 4294967295 134512640 135730672 3221224576 3221223200 134748094 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107425 88442 301 301 0 107124 0
vsize: 429700
[startup+1160.03 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 167222 0 0 0 115650 366 0 0 25 0 1 0 969945901 440012800 88544 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107425 88544 301 301 0 107124 0
vsize: 429700
[startup+1170.03 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 167321 0 0 0 116649 367 0 0 25 0 1 0 969945901 440012800 88643 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107425 88643 301 301 0 107124 0
vsize: 429700
[startup+1180.03 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 168423 0 0 0 117647 369 0 0 25 0 1 0 969945901 443162624 89034 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108194 89034 301 301 0 107893 0
vsize: 432776
[startup+1190.03 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 168424 0 0 0 118647 369 0 0 25 0 1 0 969945901 443162624 89035 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108194 89035 301 301 0 107893 0
vsize: 432776
[startup+1200.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 169267 0 0 0 119646 370 0 0 25 0 1 0 969945901 446066688 89488 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108903 89488 301 301 0 108602 0
vsize: 435612
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.11 s]
Raw data (loadavg): 1.01 1.00 0.93 1/53 12755
Raw data (stat): 12755 (pb2sat-v2) R 12754 7266 7265 0 -1 0 169267 0 0 0 119646 370 0 0 25 0 1 0 969945901 446066688 89488 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108903 89488 301 301 0 108602 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.11
CPU time (s): 1202.25
CPU user time (s): 1198.36
CPU system time (s): 3.88541
CPU usage (%): 100.012
Max. virtual memory (Kb): 435612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####