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/miplib2003/normalized-mps-v2-20-10-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1185.16
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 42452

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        694984 kB
Buffers:         34484 kB
Cached:         282880 kB
SwapCached:        944 kB
Active:          32160 kB
Inactive:       287288 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        694732 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14404 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 08:03:18 (client local time) WITH STATUS 0 IN 1200.66 SECONDS
stats: 25657 7 1200.66 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 72430/153207	Time: 101.423/86400
c Decision: 72527/153207	Time: 324.654/86400
c Decision: 72581/153207	Time: 469.445/86400
c Decision: 72639/153207	Time: 654.717/86400
c Decision: 72642/153207	Time: 674.019/86400
c Decision: 72715/153207	Time: 857.583/86400
c Decision: 72719/153207	Time: 877.482/86400
c Decision: 72722/153207	Time: 903.869/86400
c Decision: 72729/153207	Time: 987.873/86400
c Decision: 72734/153207	Time: 1020.22/86400
c Decision: 72763/153207	Time: 1099.4/86400
c Decision: 72779/153207	Time: 1168.55/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.93 0.95 0.91 2/54 23598
Raw data (stat): 23598 (runsolver) R 23597 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969043245 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 17913 0 0 0 960 39 0 0 25 0 1 0 969043245 55123968 10095 4294967295 134512640 135730672 3221224576 3221191248 134788741 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13458 10095 301 301 0 13157 0
vsize: 53832
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 19628 0 0 0 1954 44 0 0 25 0 1 0 969043245 57081856 11492 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13936 11492 301 301 0 13635 0
vsize: 55744
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 19960 0 0 0 2952 47 0 0 25 0 1 0 969043245 58417152 11824 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14262 11824 301 301 0 13961 0
vsize: 57048
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 20144 0 0 0 3950 48 0 0 25 0 1 0 969043245 59158528 12008 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14443 12008 301 301 0 14142 0
vsize: 57772
[startup+50.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 20254 0 0 0 4950 49 0 0 25 0 1 0 969043245 59465728 12118 4294967295 134512640 135730672 3221224576 3221223072 134747629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14518 12118 301 301 0 14217 0
vsize: 58072
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 20397 0 0 0 5948 51 0 0 25 0 1 0 969043245 60092416 12261 4294967295 134512640 135730672 3221224576 3221223200 134748145 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14671 12261 301 301 0 14370 0
vsize: 58684
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 20466 0 0 0 6948 51 0 0 25 0 1 0 969043245 60256256 12330 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14711 12330 301 301 0 14410 0
vsize: 58844
[startup+80.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 20632 0 0 0 7947 53 0 0 25 0 1 0 969043245 60559360 12496 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14785 12496 301 301 0 14484 0
vsize: 59140
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 20745 0 0 0 8944 55 0 0 25 0 1 0 969043245 69275648 12609 4294967295 134512640 135730672 3221224576 3221223120 134740402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16913 12609 301 301 0 16612 0
vsize: 67652
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 20848 0 0 0 9944 56 0 0 25 0 1 0 969043245 69578752 12712 4294967295 134512640 135730672 3221224576 3221223120 134740242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16987 12712 301 301 0 16686 0
vsize: 67948
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 21018 0 0 0 10942 58 0 0 25 0 1 0 969043245 69578752 12882 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16987 12882 301 301 0 16686 0
vsize: 67948
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 21399 0 0 0 11940 60 0 0 25 0 1 0 969043245 69849088 12963 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17053 12963 301 301 0 16752 0
vsize: 68212
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 21440 0 0 0 12939 60 0 0 25 0 1 0 969043245 69980160 13004 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17085 13004 301 301 0 16784 0
vsize: 68340
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 21547 0 0 0 13937 62 0 0 25 0 1 0 969043245 70127616 13111 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17121 13111 301 301 0 16820 0
vsize: 68484
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 21656 0 0 0 14936 64 0 0 25 0 1 0 969043245 70418432 13220 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17192 13220 301 301 0 16891 0
vsize: 68768
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 21769 0 0 0 15935 65 0 0 25 0 1 0 969043245 70418432 13333 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17192 13333 301 301 0 16891 0
vsize: 68768
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 21921 0 0 0 16934 67 0 0 25 0 1 0 969043245 70979584 13485 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17329 13485 301 301 0 17028 0
vsize: 69316
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 22045 0 0 0 17932 68 0 0 25 0 1 0 969043245 71434240 13609 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17440 13609 301 301 0 17139 0
vsize: 69760
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 22199 0 0 0 18930 70 0 0 25 0 1 0 969043245 71909376 13763 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17556 13763 301 301 0 17255 0
vsize: 70224
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 22281 0 0 0 19929 72 0 0 25 0 1 0 969043245 72073216 13845 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17596 13845 301 301 0 17295 0
vsize: 70384
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 22357 0 0 0 20928 73 0 0 25 0 1 0 969043245 72073216 13921 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17596 13921 301 301 0 17295 0
vsize: 70384
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 22528 0 0 0 21927 74 0 0 25 0 1 0 969043245 72220672 14092 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17632 14092 301 301 0 17331 0
vsize: 70528
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 22613 0 0 0 22926 75 0 0 25 0 1 0 969043245 72372224 14177 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17669 14177 301 301 0 17368 0
vsize: 70676
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 22707 0 0 0 23924 77 0 0 25 0 1 0 969043245 72507392 14271 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17702 14271 301 301 0 17401 0
vsize: 70808
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 22814 0 0 0 24924 78 0 0 25 0 1 0 969043245 72646656 14378 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17736 14378 301 301 0 17435 0
vsize: 70944
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 22972 0 0 0 25923 79 0 0 25 0 1 0 969043245 72945664 14536 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17809 14537 301 301 0 17508 0
vsize: 71236
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 23087 0 0 0 26922 80 0 0 25 0 1 0 969043245 72945664 14651 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17809 14651 301 301 0 17508 0
vsize: 71236
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 23245 0 0 0 27921 81 0 0 25 0 1 0 969043245 73097216 14809 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17846 14809 301 301 0 17545 0
vsize: 71384
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 23357 0 0 0 28920 82 0 0 25 0 1 0 969043245 73379840 14921 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17915 14921 301 301 0 17614 0
vsize: 71660
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 23481 0 0 0 29918 84 0 0 25 0 1 0 969043245 73670656 15045 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17986 15045 301 301 0 17685 0
vsize: 71944
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 23642 0 0 0 30916 86 0 0 25 0 1 0 969043245 74133504 15206 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18099 15206 301 301 0 17798 0
vsize: 72396
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 23820 0 0 0 31915 88 0 0 25 0 1 0 969043245 74133504 15384 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18099 15384 301 301 0 17798 0
vsize: 72396
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 24012 0 0 0 32914 89 0 0 25 0 1 0 969043245 74297344 15576 4294967295 134512640 135730672 3221224576 3221223168 134763582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18139 15576 301 301 0 17838 0
vsize: 72556
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 24430 0 0 0 33912 91 0 0 25 0 1 0 969043245 74297344 15694 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18139 15694 301 301 0 17838 0
vsize: 72556
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 24593 0 0 0 34910 93 0 0 25 0 1 0 969043245 91361280 15857 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22305 15857 301 301 0 22004 0
vsize: 89220
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 24830 0 0 0 35910 93 0 0 25 0 1 0 969043245 91361280 16094 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22305 16094 301 301 0 22004 0
vsize: 89220
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 25028 0 0 0 36909 94 0 0 25 0 1 0 969043245 91525120 16292 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22345 16292 301 301 0 22044 0
vsize: 89380
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 25103 0 0 0 37908 95 0 0 25 0 1 0 969043245 91525120 16367 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22345 16367 301 301 0 22044 0
vsize: 89380
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 25214 0 0 0 38908 96 0 0 25 0 1 0 969043245 91672576 16478 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22381 16478 301 301 0 22080 0
vsize: 89524
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 25460 0 0 0 39907 97 0 0 25 0 1 0 969043245 91828224 16724 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22419 16724 301 301 0 22118 0
vsize: 89676
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 25563 0 0 0 40906 98 0 0 25 0 1 0 969043245 91967488 16827 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22453 16827 301 301 0 22152 0
vsize: 89812
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 28749 0 0 0 41898 107 0 0 25 0 1 0 969043245 104689664 16940 4294967295 134512640 135730672 3221224576 3221222824 134813777 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25559 16940 301 301 0 25258 0
vsize: 102236
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 28870 0 0 0 42896 108 0 0 25 0 1 0 969043245 104837120 17061 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25595 17061 301 301 0 25294 0
vsize: 102380
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 28970 0 0 0 43895 110 0 0 25 0 1 0 969043245 105000960 17161 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25635 17161 301 301 0 25334 0
vsize: 102540
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 29100 0 0 0 44894 111 0 0 25 0 1 0 969043245 105136128 17291 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25668 17291 301 301 0 25367 0
vsize: 102672
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 29231 0 0 0 45893 112 0 0 25 0 1 0 969043245 105275392 17422 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25702 17422 301 301 0 25401 0
vsize: 102808
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 29350 0 0 0 46892 113 0 0 25 0 1 0 969043245 105439232 17541 4294967295 134512640 135730672 3221224576 3221223232 134748656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25742 17541 301 301 0 25441 0
vsize: 102968
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 29748 0 0 0 47891 114 0 0 25 0 1 0 969043245 106668032 17939 4294967295 134512640 135730672 3221224576 3221222752 134769202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26042 17939 301 301 0 25741 0
vsize: 104168
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 29816 0 0 0 48889 116 0 0 25 0 1 0 969043245 105439232 17707 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25742 17707 301 301 0 25441 0
vsize: 102968
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 29916 0 0 0 49888 117 0 0 25 0 1 0 969043245 105574400 17807 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25775 17807 301 301 0 25474 0
vsize: 103100
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 30022 0 0 0 50886 119 0 0 25 0 1 0 969043245 105574400 17913 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25775 17913 301 301 0 25474 0
vsize: 103100
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 30175 0 0 0 51885 121 0 0 25 0 1 0 969043245 105861120 18066 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25845 18066 301 301 0 25544 0
vsize: 103380
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 30317 0 0 0 52884 122 0 0 25 0 1 0 969043245 106008576 18208 4294967295 134512640 135730672 3221224576 3221222940 135291075 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25881 18208 301 301 0 25580 0
vsize: 103524
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 30457 0 0 0 53882 123 0 0 25 0 1 0 969043245 106008576 18348 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25881 18348 301 301 0 25580 0
vsize: 103524
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 30618 0 0 0 54882 124 0 0 25 0 1 0 969043245 106278912 18509 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25947 18509 301 301 0 25646 0
vsize: 103788
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 30776 0 0 0 55881 125 0 0 25 0 1 0 969043245 106590208 18667 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26023 18667 301 301 0 25722 0
vsize: 104092
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 30863 0 0 0 56880 126 0 0 25 0 1 0 969043245 106590208 18754 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26023 18754 301 301 0 25722 0
vsize: 104092
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 30980 0 0 0 57879 127 0 0 25 0 1 0 969043245 106909696 18871 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26101 18871 301 301 0 25800 0
vsize: 104404
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 31120 0 0 0 58877 129 0 0 25 0 1 0 969043245 107106304 19011 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26149 19011 301 301 0 25848 0
vsize: 104596
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 31226 0 0 0 59876 130 0 0 25 0 1 0 969043245 107253760 19117 4294967295 134512640 135730672 3221224576 3221223132 134740162 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26185 19118 301 301 0 25884 0
vsize: 104740
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 31345 0 0 0 60875 132 0 0 25 0 1 0 969043245 107253760 19236 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26185 19236 301 301 0 25884 0
vsize: 104740
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 31515 0 0 0 61874 133 0 0 25 0 1 0 969043245 107388928 19406 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26218 19406 301 301 0 25917 0
vsize: 104872
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 31622 0 0 0 62874 133 0 0 25 0 1 0 969043245 107388928 19513 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26218 19513 301 301 0 25917 0
vsize: 104872
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 31734 0 0 0 63873 134 0 0 25 0 1 0 969043245 107528192 19625 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26252 19625 301 301 0 25951 0
vsize: 105008
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 31840 0 0 0 64873 135 0 0 25 0 1 0 969043245 107528192 19731 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26252 19731 301 301 0 25951 0
vsize: 105008
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 32011 0 0 0 65872 136 0 0 25 0 1 0 969043245 107675648 19902 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26288 19902 301 301 0 25987 0
vsize: 105152
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 32447 0 0 0 66870 137 0 0 25 0 1 0 969043245 107810816 20038 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26321 20038 301 301 0 26020 0
vsize: 105284
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 32669 0 0 0 67870 138 0 0 25 0 1 0 969043245 107810816 20260 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26321 20260 301 301 0 26020 0
vsize: 105284
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33132 0 0 0 68869 139 0 0 25 0 1 0 969043245 107810816 20423 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26321 20423 301 301 0 26020 0
vsize: 105284
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33242 0 0 0 69868 141 0 0 25 0 1 0 969043245 107970560 20533 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26360 20533 301 301 0 26059 0
vsize: 105440
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33388 0 0 0 70866 142 0 0 25 0 1 0 969043245 108134400 20679 4294967295 134512640 135730672 3221224576 3221223120 134740310 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26400 20679 301 301 0 26099 0
vsize: 105600
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33507 0 0 0 71865 143 0 0 25 0 1 0 969043245 108494848 20798 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26488 20798 301 301 0 26187 0
vsize: 105952
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33613 0 0 0 72865 144 0 0 25 0 1 0 969043245 108494848 20904 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26488 20904 301 301 0 26187 0
vsize: 105952
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33703 0 0 0 73864 145 0 0 25 0 1 0 969043245 108658688 20994 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26528 20994 301 301 0 26227 0
vsize: 106112
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33761 0 0 0 74863 146 0 0 25 0 1 0 969043245 108658688 21052 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26528 21052 301 301 0 26227 0
vsize: 106112
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33780 0 0 0 75862 148 0 0 25 0 1 0 969043245 108806144 21071 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26564 21071 301 301 0 26263 0
vsize: 106256
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33826 0 0 0 76861 148 0 0 25 0 1 0 969043245 108941312 21117 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26597 21117 301 301 0 26296 0
vsize: 106388
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33839 0 0 0 77861 149 0 0 25 0 1 0 969043245 109137920 21130 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26645 21130 301 301 0 26344 0
vsize: 106580
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33856 0 0 0 78859 150 0 0 25 0 1 0 969043245 109137920 21147 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26645 21147 301 301 0 26344 0
vsize: 106580
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33888 0 0 0 79859 151 0 0 25 0 1 0 969043245 109301760 21179 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26685 21179 301 301 0 26384 0
vsize: 106740
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33920 0 0 0 80858 152 0 0 25 0 1 0 969043245 109465600 21211 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26725 21211 301 301 0 26424 0
vsize: 106900
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33930 0 0 0 81858 153 0 0 25 0 1 0 969043245 109465600 21221 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26725 21221 301 301 0 26424 0
vsize: 106900
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33936 0 0 0 82857 154 0 0 25 0 1 0 969043245 109465600 21227 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26725 21227 301 301 0 26424 0
vsize: 106900
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33992 0 0 0 83856 155 0 0 25 0 1 0 969043245 109748224 21283 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26794 21283 301 301 0 26493 0
vsize: 107176
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 33994 0 0 0 84856 155 0 0 25 0 1 0 969043245 109748224 21285 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26794 21285 301 301 0 26493 0
vsize: 107176
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 34004 0 0 0 85855 157 0 0 25 0 1 0 969043245 109883392 21295 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26827 21295 301 301 0 26526 0
vsize: 107308
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 34321 0 0 0 86853 158 0 0 25 0 1 0 969043245 109883392 21312 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26827 21312 301 301 0 26526 0
vsize: 107308
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 34332 0 0 0 87853 159 0 0 25 0 1 0 969043245 109883392 21323 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26827 21323 301 301 0 26526 0
vsize: 107308
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 34640 0 0 0 88850 160 0 0 25 0 1 0 969043245 109883392 21331 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26827 21331 301 301 0 26526 0
vsize: 107308
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 34660 0 0 0 89849 162 0 0 25 0 1 0 969043245 110022656 21351 4294967295 134512640 135730672 3221224576 3221223216 134748065 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26861 21351 301 301 0 26560 0
vsize: 107444
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 34679 0 0 0 90849 162 0 0 25 0 1 0 969043245 110022656 21370 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26861 21370 301 301 0 26560 0
vsize: 107444
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 34991 0 0 0 91848 163 0 0 25 0 1 0 969043245 110157824 21382 4294967295 134512640 135730672 3221224576 3221223120 134740272 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26894 21382 301 301 0 26593 0
vsize: 107576
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35043 0 0 0 92847 164 0 0 25 0 1 0 969043245 110313472 21434 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26932 21434 301 301 0 26631 0
vsize: 107728
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35065 0 0 0 93845 166 0 0 25 0 1 0 969043245 110477312 21456 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26972 21456 301 301 0 26671 0
vsize: 107888
[startup+950.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35083 0 0 0 94844 167 0 0 25 0 1 0 969043245 110477312 21474 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26972 21474 301 301 0 26671 0
vsize: 107888
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35121 0 0 0 95844 167 0 0 25 0 1 0 969043245 110768128 21512 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27043 21512 301 301 0 26742 0
vsize: 108172
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35145 0 0 0 96843 169 0 0 25 0 1 0 969043245 110768128 21536 4294967295 134512640 135730672 3221224576 3221222896 134732870 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27043 21536 301 301 0 26742 0
vsize: 108172
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35162 0 0 0 97843 169 0 0 25 0 1 0 969043245 110768128 21553 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27043 21553 301 301 0 26742 0
vsize: 108172
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35164 0 0 0 98842 170 0 0 25 0 1 0 969043245 110768128 21555 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27043 21555 301 301 0 26742 0
vsize: 108172
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23598
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35502 0 0 0 99840 173 0 0 25 0 1 0 969043245 110931968 21593 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27083 21593 301 301 0 26782 0
vsize: 108332
[startup+1010.11 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 23606
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35524 0 0 0 100843 178 0 0 25 0 1 0 969043245 111038464 21615 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27109 21615 301 301 0 26808 0
vsize: 108436
[startup+1020.11 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 23651
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35537 0 0 0 101842 179 0 0 25 0 1 0 969043245 111038464 21628 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27109 21628 301 301 0 26808 0
vsize: 108436
[startup+1030.11 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 23651
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35543 0 0 0 102842 179 0 0 25 0 1 0 969043245 111038464 21634 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27109 21634 301 301 0 26808 0
vsize: 108436
[startup+1040.11 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 23651
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35855 0 0 0 103840 181 0 0 25 0 1 0 969043245 111173632 21646 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27142 21646 301 301 0 26841 0
vsize: 108568
[startup+1050.11 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 23651
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35862 0 0 0 104840 181 0 0 25 0 1 0 969043245 111173632 21653 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27142 21653 301 301 0 26841 0
vsize: 108568
[startup+1060.11 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23651
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35897 0 0 0 105839 182 0 0 25 0 1 0 969043245 111333376 21688 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27181 21688 301 301 0 26880 0
vsize: 108724
[startup+1070.11 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23651
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35919 0 0 0 106838 184 0 0 25 0 1 0 969043245 111333376 21710 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27181 21710 301 301 0 26880 0
vsize: 108724
[startup+1080.11 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23651
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35932 0 0 0 107838 184 0 0 25 0 1 0 969043245 111333376 21723 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27181 21723 301 301 0 26880 0
vsize: 108724
[startup+1090.11 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23653
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35946 0 0 0 108837 185 0 0 25 0 1 0 969043245 111468544 21737 4294967295 134512640 135730672 3221224576 3221223200 134748214 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27214 21737 301 301 0 26913 0
vsize: 108856
[startup+1100.11 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23653
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 35948 0 0 0 109837 185 0 0 25 0 1 0 969043245 111468544 21739 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27214 21739 301 301 0 26913 0
vsize: 108856
[startup+1110.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23653
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 36253 0 0 0 110836 187 0 0 25 0 1 0 969043245 111468544 21744 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27214 21744 301 301 0 26913 0
vsize: 108856
[startup+1120.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23653
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 36257 0 0 0 111835 188 0 0 25 0 1 0 969043245 111415296 21748 4294967295 134512640 135730672 3221224576 3221223220 134748064 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27201 21748 301 301 0 26900 0
vsize: 108804
[startup+1130.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23653
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 36277 0 0 0 112834 189 0 0 25 0 1 0 969043245 111550464 21768 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27234 21768 301 301 0 26933 0
vsize: 108936
[startup+1140.11 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23653
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 36296 0 0 0 113832 192 0 0 25 0 1 0 969043245 111550464 21787 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27234 21787 301 301 0 26933 0
vsize: 108936
[startup+1150.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23653
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 36346 0 0 0 114831 193 0 0 25 0 1 0 969043245 111906816 21837 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27321 21837 301 301 0 27020 0
vsize: 109284
[startup+1160.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23653
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 36397 0 0 0 115830 194 0 0 25 0 1 0 969043245 112103424 21888 4294967295 134512640 135730672 3221224576 3221223072 134747701 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27369 21888 301 301 0 27068 0
vsize: 109476
[startup+1170.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23653
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 36399 0 0 0 116830 194 0 0 25 0 1 0 969043245 112103424 21890 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27369 21890 301 301 0 27068 0
vsize: 109476
[startup+1180.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23653
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 36702 0 0 0 117830 194 0 0 25 0 1 0 969043245 112103424 21893 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27369 21893 301 301 0 27068 0
vsize: 109476
[startup+1190.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23653
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 36705 0 0 0 118829 195 0 0 25 0 1 0 969043245 112103424 21896 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27369 21896 301 301 0 27068 0
vsize: 109476
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23653
Raw data (stat): 23598 (pb2sat-v2) R 23597 21152 21151 0 -1 0 36707 0 0 0 119829 195 0 0 25 0 1 0 969043245 112103424 21898 4294967295 134512640 135730672 3221224576 3221223200 134748088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27369 21898 301 301 0 27068 0
vsize: 109476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.52 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 23653
Raw data (stat): 23598 (pb2sat-v2) Z 23597 21152 21151 0 -1 12 36709 0 0 0 119865 200 0 0 25 0 1 0 969043245 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.52
CPU time (s): 1200.66
CPU user time (s): 1198.66
CPU system time (s): 2.00169
CPU usage (%): 100.011
Max. virtual memory (Kb): 109476
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####