PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-1.opb
MD5SUM	16a8eb66aae2bcfd534a482dd0a3948e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
Optimality of the best value was proved	NO
Number of terms in the objective function	595
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	27856
Number of constraints which are clauses	27856
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34954

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-05-28 11:17:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24245 boxname=wulflinc17 idbench=319 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  16a8eb66aae2bcfd534a482dd0a3948e  /oldhome/oroussel/tmp/wulflinc17/normalized-frb35-17-1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc17/normalized-frb35-17-1.opb
IDLAUNCH: 24245
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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	: 3
cpu MHz		: 451.072
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:        710640 kB
Buffers:         33968 kB
Cached:         258756 kB
SwapCached:        628 kB
Active:          22096 kB
Inactive:       272684 kB
HighTotal:      131008 kB
HighFree:        45220 kB
LowTotal:       903652 kB
LowFree:        665420 kB
SwapTotal:     2097892 kB
SwapFree:      2096376 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            23652 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:37:46 (client local time) WITH STATUS 0 IN 1201.07 SECONDS
stats: 24245 7 1201.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+16.3586 s]  setting bit 9 to 0

Decision: 37767/178515	Time: 55.1876/86400
Decision: 37767/178515	Time: 76.3314/86400
Decision: 38277/178515	Time: 106.833/86400
Decision: 38956/178515	Time: 147.187/86400
Decision: 39211/178515	Time: 170.974/86400
Decision: 39211/178515	Time: 194.452/86400
Decision: 39464/178515	Time: 224.097/86400
Decision: 39464/178515	Time: 249.842/86400
Decision: 39466/178515	Time: 298.679/86400
Decision: 39466/178515	Time: 320.526/86400
Decision: 39466/178515	Time: 344.702/86400
Decision: 39466/178515	Time: 371.861/86400
Decision: 39971/178515	Time: 402.701/86400
Decision: 39971/178515	Time: 428.522/86400
Decision: 39971/178515	Time: 455.743/86400
Decision: 39971/178515	Time: 485.1/86400
Decision: 39971/178515	Time: 511.659/86400
Decision: 39971/178515	Time: 536.842/86400
Decision: 40474/178515	Time: 574.056/86400
Decision: 43189/178515	Time: 619.215/86400c [startup+831.874 s]  setting bit 8 to 0

Decision: 38865/178515	Time: 25.0202/86400
Decision: 38865/178515	Time: 40.8598/86400
Decision: 38865/178515	Time: 56.9743/86400
Decision: 38865/178515	Time: 73.7408/86400
Decision: 38865/178515	Time: 86.8708/86400
Decision: 38865/178515	Time: 104.159/86400
Decision: 38865/178515	Time: 120.971/86400
Decision: 38865/178515	Time: 138.534/86400
Decision: 38865/178515	Time: 154.196/86400
Decision: 38865/178515	Time: 171.315/86400
Decision: 38865/178515	Time: 185.707/86400
Decision: 38907/178515	Time: 211.526/86400
Decision: 39032/178515	Time: 234.094/86400
Decision: 39114/178515	Time: 254.747/86400
Decision: 39114/178515	Time: 270.301/86400
Decision: 39114/178515	Time: 287.755/86400
Decision: 39114/178515	Time: 304.052/86400
Decision: 39368/178515	Time: 334.208/86400
Decision: 39368/178515	Time: 351.404/86400
Decision: 39368/178515	Time: 366.809/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.83 0.92 0.90 2/54 19760
Raw data (stat): 19760 (runsolver) R 19759 7475 7474 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864392101 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.86 0.92 0.90 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 27161 0 0 0 936 63 0 0 25 0 1 0 864392101 87126016 16293 4294967295 134512640 135726644 3221224592 3221222928 134765538 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21271 16293 300 300 0 20971 0
vsize: 85084
[startup+20.0012 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 30357 0 0 0 1929 69 0 0 25 0 1 0 864392101 98127872 18335 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23957 18335 300 300 0 23657 0
vsize: 95828
[startup+30.0025 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 30735 0 0 0 2926 72 0 0 25 0 1 0 864392101 99332096 18614 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24251 18614 300 300 0 23951 0
vsize: 97004
[startup+40.0031 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 30776 0 0 0 3925 73 0 0 25 0 1 0 864392101 99467264 18655 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24284 18655 300 300 0 23984 0
vsize: 97136
[startup+50.0028 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 31048 0 0 0 4924 74 0 0 25 0 1 0 864392101 100122624 18762 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24444 18762 300 300 0 24144 0
vsize: 97776
[startup+60.0033 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 31113 0 0 0 5924 75 0 0 25 0 1 0 864392101 100253696 18794 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24476 18794 300 300 0 24176 0
vsize: 97904
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 31144 0 0 0 6924 75 0 0 25 0 1 0 864392101 100253696 18825 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24476 18825 300 300 0 24176 0
vsize: 97904
[startup+80.0046 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 32202 0 0 0 7922 77 0 0 25 0 1 0 864392101 103268352 19402 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25212 19402 300 300 0 24912 0
vsize: 100848
[startup+90.0051 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 32498 0 0 0 8921 78 0 0 25 0 1 0 864392101 104472576 19599 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25506 19599 300 300 0 25206 0
vsize: 102024
[startup+100.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 32993 0 0 0 9919 80 0 0 25 0 1 0 864392101 105144320 19712 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25670 19712 300 300 0 25370 0
vsize: 102680
[startup+110.005 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 33919 0 0 0 10917 82 0 0 25 0 1 0 864392101 108163072 20275 4294967295 134512640 135726644 3221224592 3221223088 134743937 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26407 20275 300 300 0 26107 0
vsize: 105628
[startup+120.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 33944 0 0 0 11917 82 0 0 25 0 1 0 864392101 108163072 20300 4294967295 134512640 135726644 3221224592 3221223088 134743872 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26407 20300 300 300 0 26107 0
vsize: 105628
[startup+130.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 34458 0 0 0 12916 84 0 0 25 0 1 0 864392101 108756992 20399 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26552 20399 300 300 0 26252 0
vsize: 106208
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 34511 0 0 0 13916 84 0 0 25 0 1 0 864392101 108756992 20452 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26552 20452 300 300 0 26252 0
vsize: 106208
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 34535 0 0 0 14916 84 0 0 25 0 1 0 864392101 108756992 20476 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26552 20476 300 300 0 26252 0
vsize: 106208
[startup+160.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 34555 0 0 0 15916 84 0 0 25 0 1 0 864392101 108756992 20496 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26552 20496 300 300 0 26252 0
vsize: 106208
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 34964 0 0 0 16915 86 0 0 25 0 1 0 864392101 108888064 20523 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26584 20523 300 300 0 26284 0
vsize: 106336
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 34988 0 0 0 17914 86 0 0 25 0 1 0 864392101 108888064 20547 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26584 20547 300 300 0 26284 0
vsize: 106336
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 35450 0 0 0 18914 87 0 0 25 0 1 0 864392101 109150208 20595 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26648 20595 300 300 0 26348 0
vsize: 106592
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 35469 0 0 0 19914 87 0 0 25 0 1 0 864392101 109150208 20614 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26648 20614 300 300 0 26348 0
vsize: 106592
[startup+210.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 35914 0 0 0 20913 88 0 0 25 0 1 0 864392101 110841856 20994 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27061 20994 300 300 0 26761 0
vsize: 108244
[startup+220.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 36391 0 0 0 21912 89 0 0 25 0 1 0 864392101 111734784 21073 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27279 21073 300 300 0 26979 0
vsize: 109116
[startup+230.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 36393 0 0 0 22912 89 0 0 25 0 1 0 864392101 111734784 21075 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27279 21075 300 300 0 26979 0
vsize: 109116
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 36395 0 0 0 23912 89 0 0 25 0 1 0 864392101 111734784 21077 4294967295 134512640 135726644 3221224592 3221223104 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27279 21077 300 300 0 26979 0
vsize: 109116
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 36747 0 0 0 24910 91 0 0 25 0 1 0 864392101 111734784 21080 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27279 21080 300 300 0 26979 0
vsize: 109116
[startup+260.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 36752 0 0 0 25910 91 0 0 25 0 1 0 864392101 111734784 21085 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27279 21085 300 300 0 26979 0
vsize: 109116
[startup+270.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 37104 0 0 0 26909 92 0 0 25 0 1 0 864392101 111734784 21088 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27279 21088 300 300 0 26979 0
vsize: 109116
[startup+280.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 37106 0 0 0 27909 92 0 0 25 0 1 0 864392101 111734784 21090 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27279 21090 300 300 0 26979 0
vsize: 109116
[startup+290.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 37109 0 0 0 28909 93 0 0 25 0 1 0 864392101 111869952 21093 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27312 21093 300 300 0 27012 0
vsize: 109248
[startup+300.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 37119 0 0 0 29909 93 0 0 25 0 1 0 864392101 111869952 21103 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27312 21103 300 300 0 27012 0
vsize: 109248
[startup+310.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 37147 0 0 0 30909 93 0 0 25 0 1 0 864392101 111869952 21131 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27312 21131 300 300 0 27012 0
vsize: 109248
[startup+320.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 37516 0 0 0 31907 95 0 0 25 0 1 0 864392101 111869952 21151 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27312 21151 300 300 0 27012 0
vsize: 109248
[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 37530 0 0 0 32907 95 0 0 25 0 1 0 864392101 111869952 21165 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27312 21165 300 300 0 27012 0
vsize: 109248
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 37902 0 0 0 33906 96 0 0 25 0 1 0 864392101 111869952 21188 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27312 21188 300 300 0 27012 0
vsize: 109248
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 37926 0 0 0 34906 96 0 0 25 0 1 0 864392101 111869952 21212 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27312 21212 300 300 0 27012 0
vsize: 109248
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 38305 0 0 0 35906 97 0 0 25 0 1 0 864392101 113299456 21591 4294967295 134512640 135726644 3221224592 3221222784 134769103 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27661 21591 300 300 0 27361 0
vsize: 110644
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 38332 0 0 0 36906 97 0 0 25 0 1 0 864392101 112009216 21269 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27346 21269 300 300 0 27046 0
vsize: 109384
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 38333 0 0 0 37906 97 0 0 25 0 1 0 864392101 112009216 21270 4294967295 134512640 135726644 3221224592 3221223072 134729095 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27346 21270 300 300 0 27046 0
vsize: 109384
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 38684 0 0 0 38905 98 0 0 25 0 1 0 864392101 112009216 21272 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27346 21272 300 300 0 27046 0
vsize: 109384
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 38687 0 0 0 39905 98 0 0 25 0 1 0 864392101 112009216 21275 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27346 21275 300 300 0 27046 0
vsize: 109384
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 38692 0 0 0 40905 98 0 0 25 0 1 0 864392101 112009216 21280 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27346 21280 300 300 0 27046 0
vsize: 109384
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 39044 0 0 0 41905 99 0 0 25 0 1 0 864392101 112009216 21283 4294967295 134512640 135726644 3221224592 3221223216 134744659 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27346 21283 300 300 0 27046 0
vsize: 109384
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 39051 0 0 0 42904 100 0 0 25 0 1 0 864392101 112144384 21290 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27379 21290 300 300 0 27079 0
vsize: 109516
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 39055 0 0 0 43905 100 0 0 25 0 1 0 864392101 112144384 21294 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27379 21294 300 300 0 27079 0
vsize: 109516
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 39414 0 0 0 44904 101 0 0 25 0 1 0 864392101 112144384 21304 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27379 21304 300 300 0 27079 0
vsize: 109516
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 39417 0 0 0 45903 102 0 0 25 0 1 0 864392101 112144384 21307 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27379 21307 300 300 0 27079 0
vsize: 109516
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 39423 0 0 0 46903 102 0 0 25 0 1 0 864392101 112144384 21313 4294967295 134512640 135726644 3221224592 3221223216 134744594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27379 21313 300 300 0 27079 0
vsize: 109516
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 39859 0 0 0 47902 103 0 0 25 0 1 0 864392101 112406528 21335 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27443 21335 300 300 0 27143 0
vsize: 109772
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 39882 0 0 0 48902 103 0 0 25 0 1 0 864392101 112406528 21358 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27443 21358 300 300 0 27143 0
vsize: 109772
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 39897 0 0 0 49902 104 0 0 25 0 1 0 864392101 112406528 21373 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27443 21373 300 300 0 27143 0
vsize: 109772
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 40250 0 0 0 50901 105 0 0 25 0 1 0 864392101 112541696 21377 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27476 21377 300 300 0 27176 0
vsize: 109904
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 40254 0 0 0 51901 105 0 0 25 0 1 0 864392101 112541696 21381 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27476 21381 300 300 0 27176 0
vsize: 109904
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 40611 0 0 0 52901 106 0 0 25 0 1 0 864392101 112541696 21389 4294967295 134512640 135726644 3221224592 3221222976 134757916 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27476 21389 300 300 0 27176 0
vsize: 109904
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 40616 0 0 0 53900 106 0 0 25 0 1 0 864392101 112541696 21394 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27476 21394 300 300 0 27176 0
vsize: 109904
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 40620 0 0 0 54901 106 0 0 25 0 1 0 864392101 112541696 21398 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27476 21398 300 300 0 27176 0
vsize: 109904
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 40978 0 0 0 55900 107 0 0 25 0 1 0 864392101 112541696 21407 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27476 21407 300 300 0 27176 0
vsize: 109904
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 40984 0 0 0 56900 107 0 0 25 0 1 0 864392101 112541696 21413 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27476 21413 300 300 0 27176 0
vsize: 109904
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 40987 0 0 0 57900 107 0 0 25 0 1 0 864392101 112541696 21416 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27476 21416 300 300 0 27176 0
vsize: 109904
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 41341 0 0 0 58899 108 0 0 25 0 1 0 864392101 114102272 21770 4294967295 134512640 135726644 3221224592 3221222796 134765484 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27857 21770 300 300 0 27557 0
vsize: 111428
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 41355 0 0 0 59899 108 0 0 25 0 1 0 864392101 112672768 21435 4294967295 134512640 135726644 3221224592 3221223184 134744136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27508 21435 300 300 0 27208 0
vsize: 110032
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 41383 0 0 0 60899 109 0 0 25 0 1 0 864392101 112672768 21463 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27508 21463 300 300 0 27208 0
vsize: 110032
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 41402 0 0 0 61899 109 0 0 25 0 1 0 864392101 112672768 21482 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27508 21482 300 300 0 27208 0
vsize: 110032
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 41420 0 0 0 62899 109 0 0 25 0 1 0 864392101 112672768 21500 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27508 21500 300 300 0 27208 0
vsize: 110032
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 41786 0 0 0 63898 110 0 0 25 0 1 0 864392101 112672768 21517 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27508 21517 300 300 0 27208 0
vsize: 110032
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 41807 0 0 0 64898 110 0 0 25 0 1 0 864392101 112672768 21538 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27508 21538 300 300 0 27208 0
vsize: 110032
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 41825 0 0 0 65898 110 0 0 25 0 1 0 864392101 112807936 21556 4294967295 134512640 135726644 3221224592 3221223184 134760410 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27541 21556 300 300 0 27241 0
vsize: 110164
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 41840 0 0 0 66899 110 0 0 25 0 1 0 864392101 112807936 21571 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27541 21571 300 300 0 27241 0
vsize: 110164
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 41860 0 0 0 67898 111 0 0 25 0 1 0 864392101 112807936 21591 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27541 21591 300 300 0 27241 0
vsize: 110164
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 41881 0 0 0 68898 111 0 0 25 0 1 0 864392101 112807936 21612 4294967295 134512640 135726644 3221224592 3221223216 134744616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27541 21612 300 300 0 27241 0
vsize: 110164
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 41994 0 0 0 69898 111 0 0 25 0 1 0 864392101 113070080 21660 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27605 21660 300 300 0 27305 0
vsize: 110420
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42012 0 0 0 70899 111 0 0 25 0 1 0 864392101 113070080 21678 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27605 21678 300 300 0 27305 0
vsize: 110420
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42046 0 0 0 71899 111 0 0 25 0 1 0 864392101 113205248 21712 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27638 21712 300 300 0 27338 0
vsize: 110552
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42064 0 0 0 72899 111 0 0 25 0 1 0 864392101 113205248 21730 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27638 21730 300 300 0 27338 0
vsize: 110552
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42087 0 0 0 73899 112 0 0 25 0 1 0 864392101 113205248 21753 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27638 21753 300 300 0 27338 0
vsize: 110552
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42365 0 0 0 74898 112 0 0 25 0 1 0 864392101 114249728 21965 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27893 21965 300 300 0 27593 0
vsize: 111572
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42378 0 0 0 75898 112 0 0 25 0 1 0 864392101 114249728 21978 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27893 21978 300 300 0 27593 0
vsize: 111572
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42393 0 0 0 76898 113 0 0 25 0 1 0 864392101 114249728 21993 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27893 21993 300 300 0 27593 0
vsize: 111572
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42409 0 0 0 77898 113 0 0 25 0 1 0 864392101 114249728 22009 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27893 22009 300 300 0 27593 0
vsize: 111572
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42422 0 0 0 78899 113 0 0 25 0 1 0 864392101 114249728 22022 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27893 22022 300 300 0 27593 0
vsize: 111572
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42438 0 0 0 79898 113 0 0 25 0 1 0 864392101 114249728 22038 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27893 22038 300 300 0 27593 0
vsize: 111572
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42454 0 0 0 80899 113 0 0 25 0 1 0 864392101 114249728 22054 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27893 22054 300 300 0 27593 0
vsize: 111572
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42466 0 0 0 81899 113 0 0 25 0 1 0 864392101 114249728 22066 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27893 22066 300 300 0 27593 0
vsize: 111572
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42480 0 0 0 82899 113 0 0 25 0 1 0 864392101 114388992 22080 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27927 22080 300 300 0 27627 0
vsize: 111708
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42879 0 0 0 83897 115 0 0 25 0 1 0 864392101 114388992 22130 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27927 22130 300 300 0 27627 0
vsize: 111708
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 42914 0 0 0 84897 115 0 0 25 0 1 0 864392101 114388992 22165 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27927 22165 300 300 0 27627 0
vsize: 111708
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 43293 0 0 0 85896 116 0 0 25 0 1 0 864392101 114388992 22195 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27927 22195 300 300 0 27627 0
vsize: 111708
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 43301 0 0 0 86896 116 0 0 25 0 1 0 864392101 114388992 22203 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27927 22203 300 300 0 27627 0
vsize: 111708
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 43670 0 0 0 87896 117 0 0 25 0 1 0 864392101 114388992 22223 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27927 22223 300 300 0 27627 0
vsize: 111708
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 44057 0 0 0 88895 118 0 0 25 0 1 0 864392101 114720768 22261 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28008 22261 300 300 0 27708 0
vsize: 112032
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 44215 0 0 0 89894 118 0 0 25 0 1 0 864392101 115113984 22321 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28104 22321 300 300 0 27804 0
vsize: 112416
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 45206 0 0 0 90892 121 0 0 25 0 1 0 864392101 117338112 22734 4294967295 134512640 135726644 3221224592 3221222772 135277617 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28647 22734 300 300 0 28347 0
vsize: 114588
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 45591 0 0 0 91891 122 0 0 25 0 1 0 864392101 117338112 22770 4294967295 134512640 135726644 3221224592 3221223088 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28647 22770 300 300 0 28347 0
vsize: 114588
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 45643 0 0 0 92891 122 0 0 25 0 1 0 864392101 117338112 22822 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28647 22822 300 300 0 28347 0
vsize: 114588
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 46018 0 0 0 93891 123 0 0 25 0 1 0 864392101 117338112 22848 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28647 22848 300 300 0 28347 0
vsize: 114588
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 46064 0 0 0 94890 123 0 0 25 0 1 0 864392101 117338112 22894 4294967295 134512640 135726644 3221224592 3221223088 134743886 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28647 22894 300 300 0 28347 0
vsize: 114588
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 46911 0 0 0 95889 125 0 0 25 0 1 0 864392101 118931456 23163 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29036 23163 300 300 0 28736 0
vsize: 116144
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 47288 0 0 0 96888 126 0 0 25 0 1 0 864392101 120360960 23540 4294967295 134512640 135726644 3221224592 3221222760 134761833 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29385 23540 300 300 0 29085 0
vsize: 117540
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 47332 0 0 0 97888 127 0 0 25 0 1 0 864392101 118931456 23235 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29036 23235 300 300 0 28736 0
vsize: 116144
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 47373 0 0 0 98888 127 0 0 25 0 1 0 864392101 118931456 23276 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29036 23276 300 300 0 28736 0
vsize: 116144
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 47418 0 0 0 99888 127 0 0 25 0 1 0 864392101 118931456 23321 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29036 23321 300 300 0 28736 0
vsize: 116144
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 47458 0 0 0 100888 127 0 0 25 0 1 0 864392101 118931456 23361 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29036 23361 300 300 0 28736 0
vsize: 116144
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 47506 0 0 0 101887 128 0 0 25 0 1 0 864392101 119128064 23409 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29084 23409 300 300 0 28784 0
vsize: 116336
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 47756 0 0 0 102886 129 0 0 25 0 1 0 864392101 119922688 23560 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29278 23560 300 300 0 28978 0
vsize: 117112
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 47795 0 0 0 103886 130 0 0 25 0 1 0 864392101 119922688 23599 4294967295 134512640 135726644 3221224592 3221223280 134745044 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29278 23599 300 300 0 28978 0
vsize: 117112
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 48170 0 0 0 104885 131 0 0 25 0 1 0 864392101 119922688 23625 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29278 23625 300 300 0 28978 0
vsize: 117112
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 48211 0 0 0 105884 132 0 0 25 0 1 0 864392101 119922688 23666 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29278 23666 300 300 0 28978 0
vsize: 117112
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 48584 0 0 0 106883 133 0 0 25 0 1 0 864392101 119922688 23690 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29278 23690 300 300 0 28978 0
vsize: 117112
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 48625 0 0 0 107883 133 0 0 25 0 1 0 864392101 119922688 23731 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29278 23731 300 300 0 28978 0
vsize: 117112
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 49018 0 0 0 108882 134 0 0 25 0 1 0 864392101 120061952 23775 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29312 23775 300 300 0 29012 0
vsize: 117248
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 49060 0 0 0 109882 135 0 0 25 0 1 0 864392101 120061952 23817 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29312 23817 300 300 0 29012 0
vsize: 117248
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 49462 0 0 0 110881 136 0 0 25 0 1 0 864392101 120061952 23870 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29312 23870 300 300 0 29012 0
vsize: 117248
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 49845 0 0 0 111879 137 0 0 25 0 1 0 864392101 120061952 23904 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29312 23904 300 300 0 29012 0
vsize: 117248
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 49896 0 0 0 112879 138 0 0 25 0 1 0 864392101 120197120 23955 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29345 23955 300 300 0 29045 0
vsize: 117380
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 50666 0 0 0 113877 140 0 0 25 0 1 0 864392101 121524224 24180 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29669 24180 300 300 0 29369 0
vsize: 118676
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 51614 0 0 0 114875 142 0 0 25 0 1 0 864392101 125161472 24839 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30557 24839 300 300 0 30257 0
vsize: 122228
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 52086 0 0 0 115874 143 0 0 25 0 1 0 864392101 127156224 25180 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31044 25180 300 300 0 30744 0
vsize: 124176
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 53252 0 0 0 116872 146 0 0 25 0 1 0 864392101 129814528 25637 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31693 25637 300 300 0 31393 0
vsize: 126772
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 53284 0 0 0 117871 146 0 0 25 0 1 0 864392101 129814528 25669 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31693 25669 300 300 0 31393 0
vsize: 126772
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 53662 0 0 0 118870 147 0 0 25 0 1 0 864392101 129814528 25698 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31693 25698 300 300 0 31393 0
vsize: 126772
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19760
Raw data (stat): 19760 (pb2sat) R 19759 7475 7474 0 -1 0 54047 0 0 0 119869 149 0 0 25 0 1 0 864392101 146591744 25734 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35789 25734 300 300 0 35489 0
vsize: 143156
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.9 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19760
Raw data (stat): 19760 (pb2sat) Z 19759 7475 7474 0 -1 12 54048 0 0 0 119952 154 0 0 25 0 1 0 864392101 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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.9
CPU time (s): 1201.07
CPU user time (s): 1199.53
CPU system time (s): 1.54277
CPU usage (%): 100.014
Max. virtual memory (Kb): 143156
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####