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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.34
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 42787

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 14:50:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26000 boxname=wulflinc1 idbench=1300 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  00855a9538cee8df79108d56ee6867b4  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-l152lav.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-l152lav.opb
IDLAUNCH: 26000
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        715996 kB
Buffers:         20528 kB
Cached:         273572 kB
SwapCached:       1156 kB
Active:          26036 kB
Inactive:       270312 kB
HighTotal:      131008 kB
HighFree:         1624 kB
LowTotal:       903652 kB
LowFree:        714372 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16352 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:10:45 (client local time) WITH STATUS 0 IN 1200.81 SECONDS
stats: 26000 7 1200.81 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 9828/205859	Time: 415.385/86400
c Decision: 9828/205859	Time: 491.438/86400
c Decision: 9828/205859	Time: 587.383/86400
c Decision: 9829/205859	Time: 788.79/86400
c Decision: 9829/205859	Time: 889.081/86400
c Decision: 9829/205859	Time: 971.324/86400
c Decision: 9829/205859	Time: 1055.63/86400
c Decision: 9829/205859	Time: 1166.8/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.86 0.94 0.90 2/55 21798
Raw data (stat): 21798 (runsolver) R 21797 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 914761226 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.0005 s]
Raw data (loadavg): 0.88 0.94 0.90 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 25936 0 0 0 944 55 0 0 25 0 1 0 914761226 79749120 14823 4294967295 134512640 135730672 3221224576 3221058768 134785972 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19470 14823 301 301 0 19169 0
vsize: 77880
[startup+20.0003 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 28553 0 0 0 1937 61 0 0 25 0 1 0 914761226 87605248 17028 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21388 17028 301 301 0 21087 0
vsize: 85552
[startup+30.0015 s]
Raw data (loadavg): 0.91 0.94 0.90 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 29471 0 0 0 2933 64 0 0 25 0 1 0 914761226 92221440 17946 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22515 17946 301 301 0 22214 0
vsize: 90060
[startup+40.0008 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 29526 0 0 0 3933 64 0 0 25 0 1 0 914761226 92385280 18001 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22555 18001 301 301 0 22254 0
vsize: 90220
[startup+50.0016 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 29695 0 0 0 4932 65 0 0 25 0 1 0 914761226 92987392 18170 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22702 18170 301 301 0 22401 0
vsize: 90808
[startup+60.0014 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 29800 0 0 0 5931 66 0 0 25 0 1 0 914761226 93454336 18275 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22816 18275 301 301 0 22515 0
vsize: 91264
[startup+70.0012 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 29881 0 0 0 6930 67 0 0 25 0 1 0 914761226 93724672 18356 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22882 18356 301 301 0 22581 0
vsize: 91528
[startup+80.002 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 29943 0 0 0 7930 68 0 0 25 0 1 0 914761226 93995008 18418 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22948 18418 301 301 0 22647 0
vsize: 91792
[startup+90.0021 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30014 0 0 0 8930 69 0 0 25 0 1 0 914761226 94265344 18489 4294967295 134512640 135730672 3221224576 3221223072 134747911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23014 18489 301 301 0 22713 0
vsize: 92056
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30132 0 0 0 9929 69 0 0 25 0 1 0 914761226 94670848 18607 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23113 18607 301 301 0 22812 0
vsize: 92452
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30205 0 0 0 10928 70 0 0 25 0 1 0 914761226 94941184 18680 4294967295 134512640 135730672 3221224576 3221223056 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23179 18680 301 301 0 22878 0
vsize: 92716
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30237 0 0 0 11927 71 0 0 25 0 1 0 914761226 94941184 18712 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23179 18712 301 301 0 22878 0
vsize: 92716
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30285 0 0 0 12927 72 0 0 25 0 1 0 914761226 95076352 18760 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23212 18760 301 301 0 22911 0
vsize: 92848
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30340 0 0 0 13926 73 0 0 25 0 1 0 914761226 95211520 18815 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23245 18815 301 301 0 22944 0
vsize: 92980
[startup+150.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30370 0 0 0 14926 73 0 0 25 0 1 0 914761226 95211520 18845 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23245 18845 301 301 0 22944 0
vsize: 92980
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30407 0 0 0 15926 74 0 0 25 0 1 0 914761226 95211520 18882 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23245 18882 301 301 0 22944 0
vsize: 92980
[startup+170.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30439 0 0 0 16925 75 0 0 25 0 1 0 914761226 95211520 18914 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23245 18914 301 301 0 22944 0
vsize: 92980
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30566 0 0 0 17924 75 0 0 25 0 1 0 914761226 95752192 19041 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23377 19041 301 301 0 23076 0
vsize: 93508
[startup+190.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30629 0 0 0 18923 77 0 0 25 0 1 0 914761226 95887360 19104 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23410 19104 301 301 0 23109 0
vsize: 93640
[startup+200.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30721 0 0 0 19923 77 0 0 25 0 1 0 914761226 96292864 19196 4294967295 134512640 135730672 3221224576 3221223200 134748141 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23509 19196 301 301 0 23208 0
vsize: 94036
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30751 0 0 0 20922 78 0 0 25 0 1 0 914761226 96292864 19226 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23509 19226 301 301 0 23208 0
vsize: 94036
[startup+220.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30825 0 0 0 21922 78 0 0 25 0 1 0 914761226 96563200 19300 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23575 19300 301 301 0 23274 0
vsize: 94300
[startup+230.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30877 0 0 0 22922 79 0 0 25 0 1 0 914761226 96698368 19352 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23608 19352 301 301 0 23307 0
vsize: 94432
[startup+240.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30908 0 0 0 23921 80 0 0 25 0 1 0 914761226 96698368 19383 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23608 19383 301 301 0 23307 0
vsize: 94432
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 30969 0 0 0 24921 80 0 0 25 0 1 0 914761226 96833536 19444 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23641 19444 301 301 0 23340 0
vsize: 94564
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31026 0 0 0 25920 81 0 0 25 0 1 0 914761226 96968704 19501 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23674 19501 301 301 0 23373 0
vsize: 94696
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31056 0 0 0 26920 81 0 0 25 0 1 0 914761226 96968704 19531 4294967295 134512640 135730672 3221224576 3221223072 134747965 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23674 19531 301 301 0 23373 0
vsize: 94696
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31125 0 0 0 27920 82 0 0 25 0 1 0 914761226 97234944 19600 4294967295 134512640 135730672 3221224576 3221223200 134748101 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 19600 301 301 0 23438 0
vsize: 94956
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31163 0 0 0 28919 83 0 0 25 0 1 0 914761226 97234944 19638 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 19638 301 301 0 23438 0
vsize: 94956
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31230 0 0 0 29919 83 0 0 25 0 1 0 914761226 97234944 19705 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 19705 301 301 0 23438 0
vsize: 94956
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31285 0 0 0 30918 85 0 0 25 0 1 0 914761226 97234944 19760 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 19760 301 301 0 23438 0
vsize: 94956
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31356 0 0 0 31918 85 0 0 25 0 1 0 914761226 97234944 19831 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 19831 301 301 0 23438 0
vsize: 94956
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31396 0 0 0 32917 86 0 0 25 0 1 0 914761226 97234944 19871 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 19871 301 301 0 23438 0
vsize: 94956
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31442 0 0 0 33917 86 0 0 25 0 1 0 914761226 97234944 19917 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 19917 301 301 0 23438 0
vsize: 94956
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31482 0 0 0 34916 87 0 0 25 0 1 0 914761226 97234944 19957 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 19957 301 301 0 23438 0
vsize: 94956
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31555 0 0 0 35916 87 0 0 25 0 1 0 914761226 97234944 20030 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 20030 301 301 0 23438 0
vsize: 94956
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31588 0 0 0 36916 88 0 0 25 0 1 0 914761226 97234944 20063 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 20063 301 301 0 23438 0
vsize: 94956
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31627 0 0 0 37915 88 0 0 25 0 1 0 914761226 97234944 20102 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 20102 301 301 0 23438 0
vsize: 94956
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31670 0 0 0 38915 89 0 0 25 0 1 0 914761226 97234944 20145 4294967295 134512640 135730672 3221224576 3221222648 135284832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 20145 301 301 0 23438 0
vsize: 94956
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31715 0 0 0 39914 90 0 0 25 0 1 0 914761226 97234944 20190 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 20190 301 301 0 23438 0
vsize: 94956
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31749 0 0 0 40913 91 0 0 25 0 1 0 914761226 97234944 20224 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23739 20224 301 301 0 23438 0
vsize: 94956
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 31852 0 0 0 41913 92 0 0 25 0 1 0 914761226 114012160 20327 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27835 20327 301 301 0 27534 0
vsize: 111340
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 32569 0 0 0 42910 94 0 0 25 0 1 0 914761226 114671616 20509 4294967295 134512640 135730672 3221224576 3221222896 134732515 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27996 20509 301 301 0 27695 0
vsize: 111984
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 33680 0 0 0 43908 96 0 0 25 0 1 0 914761226 118923264 21259 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29034 21259 301 301 0 28733 0
vsize: 116136
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 34901 0 0 0 44904 100 0 0 25 0 1 0 914761226 124211200 22249 4294967295 134512640 135730672 3221224576 3221222960 135109351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30325 22249 301 301 0 30024 0
vsize: 121300
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 35872 0 0 0 45903 101 0 0 25 0 1 0 914761226 128094208 22925 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31273 22925 301 301 0 30972 0
vsize: 125092
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 36690 0 0 0 46901 103 0 0 25 0 1 0 914761226 131444736 23512 4294967295 134512640 135730672 3221224576 3221223240 134748654 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32091 23512 301 301 0 31790 0
vsize: 128364
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 37064 0 0 0 47900 104 0 0 25 0 1 0 914761226 132648960 23787 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32385 23787 301 301 0 32084 0
vsize: 129540
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 37439 0 0 0 48899 105 0 0 25 0 1 0 914761226 134115328 23997 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 32743 23997 301 301 0 32442 0
vsize: 130972
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 37995 0 0 0 49898 106 0 0 25 0 1 0 914761226 136396800 24421 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33300 24421 301 301 0 32999 0
vsize: 133200
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 38911 0 0 0 50897 108 0 0 25 0 1 0 914761226 138260480 24769 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 33755 24769 301 301 0 33454 0
vsize: 135020
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 39396 0 0 0 51896 109 0 0 25 0 1 0 914761226 139997184 25089 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 34179 25089 301 301 0 33878 0
vsize: 136716
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 40253 0 0 0 52894 111 0 0 25 0 1 0 914761226 143425536 25715 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35016 25715 301 301 0 34715 0
vsize: 140064
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 40464 0 0 0 53894 112 0 0 25 0 1 0 914761226 144228352 25860 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35212 25860 301 301 0 34911 0
vsize: 140848
[startup+550.009 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 40783 0 0 0 54893 113 0 0 25 0 1 0 914761226 145293312 26047 4294967295 134512640 135730672 3221224576 3221223264 134748426 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35472 26047 301 301 0 35171 0
vsize: 141888
[startup+560.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 21798
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 41447 0 0 0 55891 114 0 0 25 0 1 0 914761226 147144704 26382 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35924 26382 301 301 0 35623 0
vsize: 143696
[startup+570.009 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 21851
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 42038 0 0 0 56890 116 0 0 25 0 1 0 914761226 149413888 26841 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36478 26841 301 301 0 36177 0
vsize: 145912
[startup+580.009 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 21851
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 42305 0 0 0 57889 117 0 0 25 0 1 0 914761226 150347776 27042 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36706 27042 301 301 0 36405 0
vsize: 146824
[startup+590.009 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 21851
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 43024 0 0 0 58886 120 0 0 25 0 1 0 914761226 152666112 27530 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37272 27530 301 301 0 36971 0
vsize: 149088
[startup+600.01 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 21851
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 43765 0 0 0 59885 121 0 0 25 0 1 0 914761226 154132480 27811 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37630 27811 301 301 0 37329 0
vsize: 150520
[startup+610.011 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 21851
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 43860 0 0 0 60884 122 0 0 25 0 1 0 914761226 154529792 27873 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37727 27873 301 301 0 37426 0
vsize: 150908
[startup+620.011 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 21853
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 44031 0 0 0 61882 123 0 0 25 0 1 0 914761226 154923008 27945 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37823 27945 301 301 0 37522 0
vsize: 151292
[startup+630.011 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 44144 0 0 0 62881 124 0 0 25 0 1 0 914761226 155320320 27992 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37920 27992 301 301 0 37619 0
vsize: 151680
[startup+640.011 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 44307 0 0 0 63880 125 0 0 25 0 1 0 914761226 155983872 28057 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38082 28057 301 301 0 37781 0
vsize: 152328
[startup+650.012 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 44356 0 0 0 64880 125 0 0 25 0 1 0 914761226 156250112 28106 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38147 28106 301 301 0 37846 0
vsize: 152588
[startup+660.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 44484 0 0 0 65879 126 0 0 25 0 1 0 914761226 156647424 28168 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38244 28168 301 301 0 37943 0
vsize: 152976
[startup+670.012 s]
Raw data (loadavg): 1.17 1.03 0.93 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 44682 0 0 0 66878 127 0 0 25 0 1 0 914761226 157790208 28366 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38523 28366 301 301 0 38222 0
vsize: 154092
[startup+680.011 s]
Raw data (loadavg): 1.15 1.03 0.93 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 44894 0 0 0 67878 127 0 0 25 0 1 0 914761226 158781440 28529 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38765 28529 301 301 0 38464 0
vsize: 155060
[startup+690.011 s]
Raw data (loadavg): 1.12 1.03 0.93 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 45134 0 0 0 68877 128 0 0 25 0 1 0 914761226 159576064 28637 4294967295 134512640 135730672 3221224576 3221223264 134748543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38959 28637 301 301 0 38658 0
vsize: 155836
[startup+700.012 s]
Raw data (loadavg): 1.26 1.06 0.94 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 45167 0 0 0 69876 129 0 0 25 0 1 0 914761226 159576064 28670 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38959 28670 301 301 0 38658 0
vsize: 155836
[startup+710.013 s]
Raw data (loadavg): 1.22 1.06 0.94 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 45570 0 0 0 70875 131 0 0 25 0 1 0 914761226 160694272 28876 4294967295 134512640 135730672 3221224576 3221223200 134748120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39232 28876 301 301 0 38931 0
vsize: 156928
[startup+720.013 s]
Raw data (loadavg): 1.18 1.06 0.94 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 45734 0 0 0 71874 132 0 0 25 0 1 0 914761226 161292288 29007 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39378 29007 301 301 0 39077 0
vsize: 157512
[startup+730.012 s]
Raw data (loadavg): 1.16 1.05 0.94 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 45944 0 0 0 72873 133 0 0 25 0 1 0 914761226 162287616 29184 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39621 29184 301 301 0 39320 0
vsize: 158484
[startup+740.012 s]
Raw data (loadavg): 1.13 1.05 0.94 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 45985 0 0 0 73872 134 0 0 25 0 1 0 914761226 162418688 29192 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39653 29192 301 301 0 39352 0
vsize: 158612
[startup+750.013 s]
Raw data (loadavg): 1.11 1.05 0.94 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 46038 0 0 0 74872 134 0 0 25 0 1 0 914761226 162549760 29212 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39685 29212 301 301 0 39384 0
vsize: 158740
[startup+760.014 s]
Raw data (loadavg): 1.09 1.05 0.94 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 46201 0 0 0 75871 135 0 0 25 0 1 0 914761226 163082240 29309 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39815 29309 301 301 0 39514 0
vsize: 159260
[startup+770.013 s]
Raw data (loadavg): 1.08 1.05 0.94 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 46622 0 0 0 76870 137 0 0 25 0 1 0 914761226 164540416 29566 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40171 29566 301 301 0 39870 0
vsize: 160684
[startup+780.014 s]
Raw data (loadavg): 1.07 1.04 0.94 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 46976 0 0 0 77869 138 0 0 25 0 1 0 914761226 165875712 29788 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40497 29788 301 301 0 40196 0
vsize: 161988
[startup+790.014 s]
Raw data (loadavg): 1.21 1.07 0.95 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 47251 0 0 0 78868 139 0 0 25 0 1 0 914761226 167071744 29964 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40789 29964 301 301 0 40488 0
vsize: 163156
[startup+800.015 s]
Raw data (loadavg): 1.18 1.07 0.95 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 47795 0 0 0 79866 141 0 0 25 0 1 0 914761226 167469056 30072 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40886 30072 301 301 0 40585 0
vsize: 163544
[startup+810.016 s]
Raw data (loadavg): 1.15 1.07 0.95 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 47880 0 0 0 80866 141 0 0 25 0 1 0 914761226 167866368 30124 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40983 30124 301 301 0 40682 0
vsize: 163932
[startup+820.015 s]
Raw data (loadavg): 1.13 1.07 0.95 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 47923 0 0 0 81865 142 0 0 25 0 1 0 914761226 167997440 30134 4294967295 134512640 135730672 3221224576 3221223088 135282478 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41015 30134 301 301 0 40714 0
vsize: 164060
[startup+830.015 s]
Raw data (loadavg): 1.11 1.06 0.95 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 47932 0 0 0 82865 143 0 0 25 0 1 0 914761226 167997440 30143 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41015 30143 301 301 0 40714 0
vsize: 164060
[startup+840.015 s]
Raw data (loadavg): 1.09 1.06 0.95 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 47941 0 0 0 83865 143 0 0 25 0 1 0 914761226 167997440 30152 4294967295 134512640 135730672 3221224576 3221223072 134747584 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41015 30152 301 301 0 40714 0
vsize: 164060
[startup+850.016 s]
Raw data (loadavg): 1.08 1.06 0.95 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 47994 0 0 0 84864 144 0 0 25 0 1 0 914761226 168263680 30205 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41080 30205 301 301 0 40779 0
vsize: 164320
[startup+860.016 s]
Raw data (loadavg): 1.06 1.06 0.95 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 48016 0 0 0 85864 144 0 0 25 0 1 0 914761226 168263680 30227 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41080 30227 301 301 0 40779 0
vsize: 164320
[startup+870.016 s]
Raw data (loadavg): 1.05 1.05 0.95 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 48277 0 0 0 86863 146 0 0 25 0 1 0 914761226 168919040 30324 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41240 30324 301 301 0 40939 0
vsize: 164960
[startup+880.016 s]
Raw data (loadavg): 1.04 1.05 0.95 2/55 21855
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 48414 0 0 0 87863 146 0 0 25 0 1 0 914761226 169447424 30395 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41369 30395 301 301 0 41068 0
vsize: 165476
[startup+890.016 s]
Raw data (loadavg): 1.04 1.05 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 48533 0 0 0 88862 146 0 0 25 0 1 0 914761226 169844736 30481 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41466 30481 301 301 0 41165 0
vsize: 165864
[startup+900.017 s]
Raw data (loadavg): 1.03 1.05 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 49220 0 0 0 89861 148 0 0 25 0 1 0 914761226 170766336 30602 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41691 30602 301 301 0 41390 0
vsize: 166764
[startup+910.016 s]
Raw data (loadavg): 1.03 1.05 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 49260 0 0 0 90861 148 0 0 25 0 1 0 914761226 170766336 30642 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41691 30642 301 301 0 41390 0
vsize: 166764
[startup+920.016 s]
Raw data (loadavg): 1.02 1.04 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 49391 0 0 0 91860 148 0 0 25 0 1 0 914761226 171163648 30707 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41788 30707 301 301 0 41487 0
vsize: 167152
[startup+930.016 s]
Raw data (loadavg): 1.02 1.04 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 49571 0 0 0 92859 150 0 0 25 0 1 0 914761226 171966464 30854 4294967295 134512640 135730672 3221224576 3221222960 135109351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41984 30854 301 301 0 41683 0
vsize: 167936
[startup+940.016 s]
Raw data (loadavg): 1.01 1.04 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 49628 0 0 0 93859 150 0 0 25 0 1 0 914761226 172097536 30878 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42016 30878 301 301 0 41715 0
vsize: 168064
[startup+950.017 s]
Raw data (loadavg): 1.01 1.04 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 49647 0 0 0 94859 151 0 0 25 0 1 0 914761226 172097536 30897 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42016 30897 301 301 0 41715 0
vsize: 168064
[startup+960.016 s]
Raw data (loadavg): 1.01 1.04 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 49747 0 0 0 95858 152 0 0 25 0 1 0 914761226 172494848 30964 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42113 30964 301 301 0 41812 0
vsize: 168452
[startup+970.016 s]
Raw data (loadavg): 1.01 1.03 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 49825 0 0 0 96857 153 0 0 25 0 1 0 914761226 172625920 31009 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42145 31009 301 301 0 41844 0
vsize: 168580
[startup+980.016 s]
Raw data (loadavg): 1.01 1.03 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 49833 0 0 0 97857 153 0 0 25 0 1 0 914761226 172625920 31017 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42145 31017 301 301 0 41844 0
vsize: 168580
[startup+990.016 s]
Raw data (loadavg): 1.00 1.03 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 50246 0 0 0 98856 154 0 0 25 0 1 0 914761226 172625920 31027 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42145 31027 301 301 0 41844 0
vsize: 168580
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.03 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 50313 0 0 0 99855 155 0 0 25 0 1 0 914761226 172756992 31061 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42177 31061 301 301 0 41876 0
vsize: 168708
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.03 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 50331 0 0 0 100855 155 0 0 25 0 1 0 914761226 172756992 31079 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42177 31079 301 301 0 41876 0
vsize: 168708
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.03 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 50434 0 0 0 101855 156 0 0 25 0 1 0 914761226 172888064 31149 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42209 31149 301 301 0 41908 0
vsize: 168836
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.03 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 50591 0 0 0 102854 157 0 0 25 0 1 0 914761226 173281280 31208 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42305 31208 301 301 0 42004 0
vsize: 169220
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 50598 0 0 0 103854 157 0 0 25 0 1 0 914761226 173281280 31215 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42305 31215 301 301 0 42004 0
vsize: 169220
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 50598 0 0 0 104853 158 0 0 25 0 1 0 914761226 173281280 31215 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42305 31215 301 301 0 42004 0
vsize: 169220
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 50673 0 0 0 105853 158 0 0 25 0 1 0 914761226 173682688 31257 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42403 31257 301 301 0 42102 0
vsize: 169612
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 51149 0 0 0 106852 159 0 0 25 0 1 0 914761226 174010368 31297 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42483 31297 301 301 0 42182 0
vsize: 169932
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 51150 0 0 0 107852 160 0 0 25 0 1 0 914761226 174010368 31298 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42483 31298 301 301 0 42182 0
vsize: 169932
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 51155 0 0 0 108851 160 0 0 25 0 1 0 914761226 174010368 31303 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42483 31303 301 301 0 42182 0
vsize: 169932
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 51248 0 0 0 109851 161 0 0 25 0 1 0 914761226 174276608 31363 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42548 31363 301 301 0 42247 0
vsize: 170192
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 51281 0 0 0 110851 161 0 0 25 0 1 0 914761226 174276608 31396 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42548 31396 301 301 0 42247 0
vsize: 170192
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 51399 0 0 0 111850 162 0 0 25 0 1 0 914761226 174538752 31448 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42612 31448 301 301 0 42311 0
vsize: 170448
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 51436 0 0 0 112850 162 0 0 25 0 1 0 914761226 174669824 31452 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42644 31452 301 301 0 42343 0
vsize: 170576
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 51470 0 0 0 113850 163 0 0 25 0 1 0 914761226 174804992 31486 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42677 31486 301 301 0 42376 0
vsize: 170708
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 51549 0 0 0 114850 163 0 0 25 0 1 0 914761226 175075328 31565 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42743 31565 301 301 0 42442 0
vsize: 170972
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 51653 0 0 0 115850 164 0 0 25 0 1 0 914761226 175337472 31603 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42807 31603 301 301 0 42506 0
vsize: 171228
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 51826 0 0 0 116849 164 0 0 25 0 1 0 914761226 176197632 31743 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43017 31743 301 301 0 42716 0
vsize: 172068
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 52464 0 0 0 117848 166 0 0 25 0 1 0 914761226 176721920 31847 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43145 31847 301 301 0 42844 0
vsize: 172580
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 52465 0 0 0 118847 166 0 0 25 0 1 0 914761226 176721920 31848 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43145 31848 301 301 0 42844 0
vsize: 172580
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 21857
Raw data (stat): 21798 (pb2sat-v2) R 21797 8378 8377 0 -1 0 52467 0 0 0 119847 167 0 0 25 0 1 0 914761226 176721920 31850 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43145 31850 301 301 0 42844 0
vsize: 172580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.69 s]
Raw data (loadavg): 1.00 1.01 0.95 1/55 21857
Raw data (stat): 21798 (pb2sat-v2) Z 21797 8378 8377 0 -1 12 52469 0 0 0 119907 173 0 0 25 0 1 0 914761226 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.69
CPU time (s): 1200.81
CPU user time (s): 1199.08
CPU system time (s): 1.73574
CPU usage (%): 100.01
Max. virtual memory (Kb): 172580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####