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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dolom1.opb
MD5SUM	fe8b094f76209ea2b750f65d04b1eb0e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	47560
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	35144117773963558912
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	35156917773963558912
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.444932
Number of variables	47560
Total number of constraints	11523
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9721
Number of constraints which are nor clauses,nor cardinality constraints	1802
Minimum length of a constraint	1
Maximum length of a constraint	47560
Trace number 14352

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-20 23:40:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20120 boxname=wulflinc23 idbench=1548 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  fe8b094f76209ea2b750f65d04b1eb0e  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-dolom1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-dolom1.opb
IDLAUNCH: 20120
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        816636 kB
Buffers:          9496 kB
Cached:         177256 kB
SwapCached:        520 kB
Active:          57152 kB
Inactive:       131728 kB
HighTotal:      131008 kB
HighFree:         7448 kB
LowTotal:       903652 kB
LowFree:        809188 kB
SwapTotal:     2097136 kB
SwapFree:      2095824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5220 kB
Slab:            23448 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 00:01:02 (client local time) WITH STATUS 143 IN 1258.31 SECONDS
stats: 20120 7 1258.31 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-dolom1.opb
c reading problem 
c [nbvar=47560]
c [nbconstr=11523]
c time 687.049
c #vars     47560
c #clauses  3496
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### 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
Raw data (loadavg): 0.85 0.94 0.90 2/54 24454
Raw data (stat): 24454 (runsolver) R 24453 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540469281 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.94 0.90 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 879 40 0 0 25 0 10 0 540469281 853630976 19168 4294967295 134512640 134569956 3221224400 3221214472 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 19168 13073 16 0 208390 0
vsize: 833624
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.94 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 1771 41 0 0 25 0 10 0 540469281 853860352 19714 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 19714 13073 16 0 208446 0
vsize: 833848
[startup+30.0002 s]
Raw data (loadavg): 0.91 0.94 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 2668 41 0 0 25 0 10 0 540469281 853860352 20148 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 20148 13073 16 0 208446 0
vsize: 833848
[startup+40.0002 s]
Raw data (loadavg): 0.92 0.94 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 3593 42 0 0 25 0 10 0 540469281 853860352 20386 4294967295 134512640 134569956 3221224400 3221214824 1131225418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 20386 13073 16 0 208446 0
vsize: 833848
[startup+50.0005 s]
Raw data (loadavg): 0.93 0.94 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 4524 42 0 0 25 0 10 0 540469281 853860352 20505 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 20505 13073 16 0 208446 0
vsize: 833848
[startup+60.0002 s]
Raw data (loadavg): 0.94 0.95 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 5455 42 0 0 24 0 10 0 540469281 853860352 20602 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 20602 13073 16 0 208446 0
vsize: 833848
[startup+70.0008 s]
Raw data (loadavg): 0.95 0.95 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 6399 42 0 0 25 0 10 0 540469281 853860352 20807 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 20807 13073 16 0 208446 0
vsize: 833848
[startup+80.0018 s]
Raw data (loadavg): 0.96 0.95 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 7347 42 0 0 25 0 10 0 540469281 853860352 20885 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 20885 13073 16 0 208446 0
vsize: 833848
[startup+90.0011 s]
Raw data (loadavg): 0.96 0.95 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 8295 42 0 0 25 0 10 0 540469281 853860352 20956 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 20956 13073 16 0 208446 0
vsize: 833848
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 9243 43 0 0 24 0 10 0 540469281 853860352 21021 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21021 13073 16 0 208446 0
vsize: 833848
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 10195 43 0 0 25 0 10 0 540469281 853860352 21079 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21079 13073 16 0 208446 0
vsize: 833848
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 11145 43 0 0 25 0 10 0 540469281 853860352 21137 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21137 13073 16 0 208446 0
vsize: 833848
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 12094 43 0 0 25 0 10 0 540469281 853860352 21192 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21192 13073 16 0 208446 0
vsize: 833848
[startup+140.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 13043 43 0 0 25 0 10 0 540469281 853860352 21244 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21244 13073 16 0 208446 0
vsize: 833848
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 24463
Raw data (stat): 24454 (java) S 24453 3260 3259 0 -1 0 17980 0 1 0 13993 43 0 0 25 0 10 0 540469281 853860352 21293 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21293 13073 16 0 208446 0
vsize: 833848
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 14945 43 0 0 25 0 10 0 540469281 853860352 21341 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21341 13073 16 0 208446 0
vsize: 833848
[startup+170.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 15893 43 0 0 25 0 10 0 540469281 853860352 21388 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21388 13073 16 0 208446 0
vsize: 833848
[startup+180.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24463
Raw data (stat): 24454 (java) S 24453 3260 3259 0 -1 0 17980 0 1 0 16826 43 0 0 25 0 10 0 540469281 853860352 21431 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21431 13073 16 0 208446 0
vsize: 833848
[startup+190.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 17755 43 0 0 25 0 10 0 540469281 853860352 21475 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21475 13073 16 0 208446 0
vsize: 833848
[startup+200.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24463
Raw data (stat): 24454 (java) S 24453 3260 3259 0 -1 0 17980 0 1 0 18696 44 0 0 25 0 10 0 540469281 853860352 21772 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21772 13073 16 0 208446 0
vsize: 833848
[startup+210.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 19643 44 0 0 25 0 10 0 540469281 853860352 21813 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21813 13073 16 0 208446 0
vsize: 833848
[startup+220.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 20587 44 0 0 25 0 10 0 540469281 853860352 21855 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21855 13073 16 0 208446 0
vsize: 833848
[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24463
Raw data (stat): 24454 (java) S 24453 3260 3259 0 -1 0 17980 0 1 0 21534 44 0 0 25 0 10 0 540469281 853860352 21893 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21893 13073 16 0 208446 0
vsize: 833848
[startup+240.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 22479 44 0 0 25 0 10 0 540469281 853860352 21932 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21932 13073 16 0 208446 0
vsize: 833848
[startup+250.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 23422 44 0 0 25 0 10 0 540469281 853860352 21970 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 21970 13073 16 0 208446 0
vsize: 833848
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 24369 44 0 0 25 0 10 0 540469281 853860352 22005 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22005 13073 16 0 208446 0
vsize: 833848
[startup+270.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 25311 44 0 0 25 0 10 0 540469281 853860352 22041 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22041 13073 16 0 208446 0
vsize: 833848
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 26253 45 0 0 25 0 10 0 540469281 853860352 22077 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22077 13073 16 0 208446 0
vsize: 833848
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 27198 45 0 0 25 0 10 0 540469281 853860352 22110 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22110 13073 16 0 208446 0
vsize: 833848
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 28139 45 0 0 25 0 10 0 540469281 853860352 22145 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22145 13073 16 0 208446 0
vsize: 833848
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 29083 45 0 0 25 0 10 0 540469281 853860352 22176 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22176 13073 16 0 208446 0
vsize: 833848
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 30023 45 0 0 25 0 10 0 540469281 853860352 22210 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22210 13073 16 0 208446 0
vsize: 833848
[startup+330.021 s]
Raw data (loadavg): 1.07 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 30963 46 0 0 24 0 10 0 540469281 853860352 22242 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22242 13073 16 0 208446 0
vsize: 833848
[startup+340.02 s]
Raw data (loadavg): 1.06 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 31906 46 0 0 25 0 10 0 540469281 853860352 22272 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22272 13073 16 0 208446 0
vsize: 833848
[startup+350.021 s]
Raw data (loadavg): 1.05 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 32845 46 0 0 24 0 10 0 540469281 853860352 22304 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22304 13073 16 0 208446 0
vsize: 833848
[startup+360.021 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 33786 46 0 0 25 0 10 0 540469281 853860352 22326 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22326 13073 16 0 208446 0
vsize: 833848
[startup+370.021 s]
Raw data (loadavg): 1.04 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 34724 47 0 0 25 0 10 0 540469281 853860352 22357 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22357 13073 16 0 208446 0
vsize: 833848
[startup+380.021 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 35666 47 0 0 25 0 10 0 540469281 853860352 22386 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22386 13073 16 0 208446 0
vsize: 833848
[startup+390.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 36603 47 0 0 24 0 10 0 540469281 853860352 22416 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22416 13073 16 0 208446 0
vsize: 833848
[startup+400.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 37543 47 0 0 25 0 10 0 540469281 853860352 22443 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208462 22443 13073 16 0 208446 0
vsize: 833848
[startup+410.02 s]
Raw data (loadavg): 1.02 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 38478 47 0 0 24 0 10 0 540469281 853860352 22472 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22472 13073 16 0 208446 0
vsize: 833848
[startup+420.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 39417 48 0 0 25 0 10 0 540469281 853860352 22499 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22499 13073 16 0 208446 0
vsize: 833848
[startup+430.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 40350 48 0 0 25 0 10 0 540469281 853860352 22528 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22528 13073 16 0 208446 0
vsize: 833848
[startup+440.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 41287 48 0 0 25 0 10 0 540469281 853860352 22554 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22554 13073 16 0 208446 0
vsize: 833848
[startup+450.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 42221 49 0 0 24 0 10 0 540469281 853860352 22582 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22582 13073 16 0 208446 0
vsize: 833848
[startup+460.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 43156 49 0 0 25 0 10 0 540469281 853860352 22608 4294967295 134512640 134569956 3221224400 3221214804 1080204160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22608 13073 16 0 208446 0
vsize: 833848
[startup+470.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 44088 50 0 0 25 0 10 0 540469281 853860352 22635 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22635 13073 16 0 208446 0
vsize: 833848
[startup+480.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 45025 50 0 0 25 0 10 0 540469281 853860352 22660 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22660 13073 16 0 208446 0
vsize: 833848
[startup+490.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 45957 50 0 0 24 0 10 0 540469281 853860352 22686 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22686 13073 16 0 208446 0
vsize: 833848
[startup+500.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 46893 51 0 0 25 0 10 0 540469281 853860352 22711 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22711 13073 16 0 208446 0
vsize: 833848
[startup+510.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) S 24453 3260 3259 0 -1 0 17980 0 1 0 47826 51 0 0 25 0 10 0 540469281 853860352 22736 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22736 13073 16 0 208446 0
vsize: 833848
[startup+520.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 48759 51 0 0 25 0 10 0 540469281 853860352 22761 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22761 13073 16 0 208446 0
vsize: 833848
[startup+530.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 49694 52 0 0 25 0 10 0 540469281 853860352 22785 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22785 13073 16 0 208446 0
vsize: 833848
[startup+540.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 50624 52 0 0 25 0 10 0 540469281 853860352 22810 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22810 13073 16 0 208446 0
vsize: 833848
[startup+550.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 51557 53 0 0 25 0 10 0 540469281 853860352 22833 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22833 13073 16 0 208446 0
vsize: 833848
[startup+560.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 52486 53 0 0 24 0 10 0 540469281 853860352 22858 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22858 13073 16 0 208446 0
vsize: 833848
[startup+570.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 53419 53 0 0 25 0 10 0 540469281 853860352 22882 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22882 13073 16 0 208446 0
vsize: 833848
[startup+580.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 54351 54 0 0 25 0 10 0 540469281 853860352 22906 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22906 13073 16 0 208446 0
vsize: 833848
[startup+590.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 55278 55 0 0 24 0 10 0 540469281 853860352 22930 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22930 13073 16 0 208446 0
vsize: 833848
[startup+600.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 56210 56 0 0 25 0 10 0 540469281 853860352 22953 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22953 13073 16 0 208446 0
vsize: 833848
[startup+610.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 57141 57 0 0 25 0 10 0 540469281 853860352 22975 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22975 13073 16 0 208446 0
vsize: 833848
[startup+620.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 58068 57 0 0 24 0 10 0 540469281 853860352 22999 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 22999 13073 16 0 208446 0
vsize: 833848
[startup+630.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 58998 58 0 0 25 0 10 0 540469281 853860352 23021 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 23021 13073 16 0 208446 0
vsize: 833848
[startup+640.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 59928 58 0 0 25 0 10 0 540469281 853860352 23043 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 23043 13073 16 0 208446 0
vsize: 833848
[startup+650.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17980 0 1 0 60854 58 0 0 24 0 10 0 540469281 853860352 23067 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208462 23067 13073 16 0 208446 0
vsize: 833848
[startup+660.025 s]
Raw data (loadavg): 1.08 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17998 0 1 0 61702 59 0 0 25 0 10 0 540469281 872509440 27922 4294967295 134512640 134569956 3221224400 3221214360 1131324770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213015 27922 13073 16 0 212999 0
vsize: 852060
[startup+670.025 s]
Raw data (loadavg): 1.07 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 17999 0 1 0 62699 60 0 0 25 0 10 0 540469281 870051840 27194 4294967295 134512640 134569956 3221224400 3221214248 1131324770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212415 27194 13073 16 0 212399 0
vsize: 849660
[startup+680.025 s]
Raw data (loadavg): 1.06 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18000 0 1 0 63639 62 0 0 25 0 10 0 540469281 860737536 27887 4294967295 134512640 134569956 3221224400 3221214872 1131169047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210141 27887 13073 16 0 210125 0
vsize: 840564
[startup+690.025 s]
Raw data (loadavg): 1.05 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18024 0 1 0 64515 65 0 0 25 0 10 0 540469281 861786112 34444 4294967295 134512640 134569956 3221224400 3221214832 1131546039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210397 34444 13073 16 0 210381 0
vsize: 841588
[startup+700.025 s]
Raw data (loadavg): 1.04 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18024 0 1 0 65482 65 0 0 25 0 10 0 540469281 861786112 36257 4294967295 134512640 134569956 3221224400 3221214832 1131546927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210397 36257 13073 16 0 210381 0
vsize: 841588
[startup+710.025 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18024 0 1 0 66473 65 0 0 25 0 10 0 540469281 861786112 36181 4294967295 134512640 134569956 3221224400 3221214744 1131315051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210397 36181 13073 16 0 210381 0
vsize: 841588
[startup+720.026 s]
Raw data (loadavg): 1.03 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18024 0 1 0 67463 66 0 0 25 0 10 0 540469281 861786112 36182 4294967295 134512640 134569956 3221224400 3221214832 1131544964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210397 36182 13073 16 0 210381 0
vsize: 841588
[startup+730.026 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18024 0 1 0 68452 66 0 0 25 0 10 0 540469281 861786112 36186 4294967295 134512640 134569956 3221224400 3221214832 1131545740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210397 36186 13073 16 0 210381 0
vsize: 841588
[startup+740.026 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18024 0 1 0 69440 66 0 0 25 0 10 0 540469281 861786112 36196 4294967295 134512640 134569956 3221224400 3221214744 1131314927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210397 36196 13073 16 0 210381 0
vsize: 841588
[startup+750.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18024 0 1 0 70428 66 0 0 25 0 10 0 540469281 861786112 36209 4294967295 134512640 134569956 3221224400 3221214744 1131316161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210397 36209 13073 16 0 210381 0
vsize: 841588
[startup+760.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18024 0 1 0 71416 66 0 0 25 0 10 0 540469281 861786112 36218 4294967295 134512640 134569956 3221224400 3221214744 1131316135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210397 36218 13073 16 0 210381 0
vsize: 841588
[startup+770.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18024 0 1 0 72404 67 0 0 25 0 10 0 540469281 861786112 36229 4294967295 134512640 134569956 3221224400 3221214832 1131543553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210397 36229 13073 16 0 210381 0
vsize: 841588
[startup+780.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/63 24463
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18024 0 1 0 73393 67 0 0 25 0 10 0 540469281 861786112 36242 4294967295 134512640 134569956 3221224400 3221214744 1131315810 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210397 36242 13073 16 0 210381 0
vsize: 841588
[startup+790.025 s]
Raw data (loadavg): 1.01 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18030 0 1 0 74376 67 0 0 25 0 11 0 540469281 862314496 36267 4294967295 134512640 134569956 3221224400 3221214696 1131316339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36267 13073 16 0 210510 0
vsize: 842104
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18030 0 1 0 75357 67 0 0 25 0 11 0 540469281 862314496 36278 4294967295 134512640 134569956 3221224400 3221214784 1131546927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36278 13073 16 0 210510 0
vsize: 842104
[startup+810.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) S 24453 3260 3259 0 -1 0 18030 0 1 0 76336 67 0 0 25 0 11 0 540469281 862314496 36288 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36288 13073 16 0 210510 0
vsize: 842104
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18030 0 1 0 77313 67 0 0 25 0 11 0 540469281 862314496 36299 4294967295 134512640 134569956 3221224400 3221214784 1131544600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36299 13073 16 0 210510 0
vsize: 842104
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18030 0 1 0 78287 67 0 0 25 0 11 0 540469281 862314496 36315 4294967295 134512640 134569956 3221224400 3221214696 1131314721 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36315 13073 16 0 210510 0
vsize: 842104
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18030 0 1 0 79260 67 0 0 25 0 11 0 540469281 862314496 36339 4294967295 134512640 134569956 3221224400 3221214784 1131544892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36339 13073 16 0 210510 0
vsize: 842104
[startup+850.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18030 0 1 0 80234 68 0 0 25 0 11 0 540469281 862314496 36362 4294967295 134512640 134569956 3221224400 3221214784 1131543481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36362 13073 16 0 210510 0
vsize: 842104
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18030 0 1 0 81208 68 0 0 25 0 11 0 540469281 862314496 36388 4294967295 134512640 134569956 3221224400 3221214784 1131543481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36388 13073 16 0 210510 0
vsize: 842104
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18030 0 1 0 82183 68 0 0 25 0 11 0 540469281 862314496 36423 4294967295 134512640 134569956 3221224400 3221214784 1131546039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36423 13073 16 0 210510 0
vsize: 842104
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 83159 68 0 0 25 0 11 0 540469281 862314496 36451 4294967295 134512640 134569956 3221224400 3221214696 1131243509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36451 13073 16 0 210510 0
vsize: 842104
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 84134 68 0 0 25 0 11 0 540469281 862314496 36478 4294967295 134512640 134569956 3221224400 3221214784 1131544544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36478 13073 16 0 210510 0
vsize: 842104
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 85112 68 0 0 25 0 11 0 540469281 862314496 36508 4294967295 134512640 134569956 3221224400 3221214784 1131544940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36508 13073 16 0 210510 0
vsize: 842104
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 86088 69 0 0 25 0 11 0 540469281 862314496 36532 4294967295 134512640 134569956 3221224400 3221214784 1131543474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36532 13073 16 0 210510 0
vsize: 842104
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 87066 69 0 0 25 0 11 0 540469281 862314496 36563 4294967295 134512640 134569956 3221224400 3221214784 1131545048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36563 13073 16 0 210510 0
vsize: 842104
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 88045 69 0 0 25 0 11 0 540469281 862314496 36592 4294967295 134512640 134569956 3221224400 3221214696 1131316083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36592 13073 16 0 210510 0
vsize: 842104
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 89025 69 0 0 25 0 11 0 540469281 862314496 36621 4294967295 134512640 134569956 3221224400 3221214784 1131544964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36621 13073 16 0 210510 0
vsize: 842104
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 90006 69 0 0 25 0 11 0 540469281 862314496 36650 4294967295 134512640 134569956 3221224400 3221214780 1131242882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36650 13073 16 0 210510 0
vsize: 842104
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 90987 69 0 0 25 0 11 0 540469281 862314496 36671 4294967295 134512640 134569956 3221224400 3221214784 1131544964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36671 13073 16 0 210510 0
vsize: 842104
[startup+970.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 91970 69 0 0 25 0 11 0 540469281 862314496 36696 4294967295 134512640 134569956 3221224400 3221214696 1131314984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36696 13073 16 0 210510 0
vsize: 842104
[startup+980.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 92953 70 0 0 25 0 11 0 540469281 862314496 36720 4294967295 134512640 134569956 3221224400 3221214696 1131314853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36720 13073 16 0 210510 0
vsize: 842104
[startup+990.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 93937 70 0 0 25 0 11 0 540469281 862314496 36744 4294967295 134512640 134569956 3221224400 3221214696 1131315047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36744 13073 16 0 210510 0
vsize: 842104
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 94922 70 0 0 25 0 11 0 540469281 862314496 36764 4294967295 134512640 134569956 3221224400 3221214784 1131544964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36764 13073 16 0 210510 0
vsize: 842104
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 95907 70 0 0 25 0 11 0 540469281 862314496 36781 4294967295 134512640 134569956 3221224400 3221214784 1131546865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36781 13073 16 0 210510 0
vsize: 842104
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 96893 70 0 0 25 0 11 0 540469281 862314496 36799 4294967295 134512640 134569956 3221224400 3221214696 1131314853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36799 13073 16 0 210510 0
vsize: 842104
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 97879 70 0 0 25 0 11 0 540469281 862314496 36813 4294967295 134512640 134569956 3221224400 3221214784 1131543488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36813 13073 16 0 210510 0
vsize: 842104
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 98864 70 0 0 25 0 11 0 540469281 862314496 36832 4294967295 134512640 134569956 3221224400 3221214696 1131314853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36832 13073 16 0 210510 0
vsize: 842104
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 99849 71 0 0 25 0 11 0 540469281 862314496 36851 4294967295 134512640 134569956 3221224400 3221214784 1131546039 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36851 13073 16 0 210510 0
vsize: 842104
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 100834 71 0 0 25 0 11 0 540469281 862314496 36868 4294967295 134512640 134569956 3221224400 3221214696 1131314853 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36868 13073 16 0 210510 0
vsize: 842104
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 101816 71 0 0 25 0 11 0 540469281 862314496 36881 4294967295 134512640 134569956 3221224400 3221214784 1131546927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36881 13073 16 0 210510 0
vsize: 842104
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 102798 71 0 0 25 0 11 0 540469281 862314496 36904 4294967295 134512640 134569956 3221224400 3221214780 1131314688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36904 13073 16 0 210510 0
vsize: 842104
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 103780 71 0 0 25 0 11 0 540469281 862314496 36927 4294967295 134512640 134569956 3221224400 3221214784 1131543553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36927 13073 16 0 210510 0
vsize: 842104
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) S 24453 3260 3259 0 -1 0 18031 0 1 0 104761 71 0 0 25 0 11 0 540469281 862314496 36954 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36954 13073 16 0 210510 0
vsize: 842104
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) S 24453 3260 3259 0 -1 0 18031 0 1 0 105745 71 0 0 25 0 11 0 540469281 862314496 36974 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 36974 13073 16 0 210510 0
vsize: 842104
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 106728 71 0 0 24 0 11 0 540469281 862314496 37001 4294967295 134512640 134569956 3221224400 3221214696 1131314809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37001 13073 16 0 210510 0
vsize: 842104
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 107713 71 0 0 24 0 11 0 540469281 862314496 37027 4294967295 134512640 134569956 3221224400 3221214776 1131242858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37027 13073 16 0 210510 0
vsize: 842104
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 108697 71 0 0 24 0 11 0 540469281 862314496 37047 4294967295 134512640 134569956 3221224400 3221214696 1131316181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37047 13073 16 0 210510 0
vsize: 842104
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 109682 72 0 0 24 0 11 0 540469281 862314496 37063 4294967295 134512640 134569956 3221224400 3221214784 1131543553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37063 13073 16 0 210510 0
vsize: 842104
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 110667 72 0 0 25 0 11 0 540469281 862314496 37079 4294967295 134512640 134569956 3221224400 3221214784 1131546927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37079 13073 16 0 210510 0
vsize: 842104
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 111652 72 0 0 24 0 11 0 540469281 862314496 37102 4294967295 134512640 134569956 3221224400 3221214784 1131544964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37102 13073 16 0 210510 0
vsize: 842104
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 112638 72 0 0 24 0 11 0 540469281 862314496 37119 4294967295 134512640 134569956 3221224400 3221214696 1131314743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37119 13073 16 0 210510 0
vsize: 842104
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 113625 72 0 0 24 0 11 0 540469281 862314496 37140 4294967295 134512640 134569956 3221224400 3221214784 1131546927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37140 13073 16 0 210510 0
vsize: 842104
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 24464
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 114614 73 0 0 25 0 11 0 540469281 862314496 37157 4294967295 134512640 134569956 3221224400 3221214696 1131314984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37157 13073 16 0 210510 0
vsize: 842104
[startup+1210.06 s]
Raw data (loadavg): 1.16 1.03 0.93 2/64 24517
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 115591 83 0 0 25 0 11 0 540469281 862314496 37172 4294967295 134512640 134569956 3221224400 3221214688 1131318599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37172 13073 16 0 210510 0
vsize: 842104
[startup+1220.08 s]
Raw data (loadavg): 1.13 1.03 0.93 2/64 24517
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 116582 83 0 0 25 0 11 0 540469281 862314496 37185 4294967295 134512640 134569956 3221224400 3221214784 1131544964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37185 13073 16 0 210510 0
vsize: 842104
[startup+1230.08 s]
Raw data (loadavg): 1.11 1.03 0.93 2/64 24517
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 117570 83 0 0 25 0 11 0 540469281 862314496 37195 4294967295 134512640 134569956 3221224400 3221214784 1131545732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37195 13073 16 0 210510 0
vsize: 842104
[startup+1240.08 s]
Raw data (loadavg): 1.10 1.03 0.93 2/64 24517
Raw data (stat): 24454 (java) S 24453 3260 3259 0 -1 0 18031 0 1 0 118558 84 0 0 25 0 11 0 540469281 862314496 37205 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37205 13073 16 0 210510 0
vsize: 842104
[startup+1250.08 s]
Raw data (loadavg): 1.08 1.03 0.93 2/64 24517
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 119546 85 0 0 24 0 11 0 540469281 862314496 37219 4294967295 134512640 134569956 3221224400 3221214784 1131543481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37219 13073 16 0 210510 0
vsize: 842104
[startup+1260.08 s]
Raw data (loadavg): 1.07 1.03 0.93 2/64 24517
Raw data (stat): 24454 (java) R 24453 3260 3259 0 -1 0 18031 0 1 0 120535 85 0 0 25 0 11 0 540469281 862314496 37232 4294967295 134512640 134569956 3221224400 3221214696 1131314811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210526 37232 13073 16 0 210510 0
vsize: 842104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.17 s]
Raw data (loadavg): 1.07 1.03 0.93 1/54 24518
Raw data (stat): 24454 (java) Z 24453 3260 3259 0 -1 1036 18031 16842 1 0 120537 85 5151 57 25 0 1 0 540469281 0 0 4294967295 0 0 0 0 0 0 4 3 23756 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: 143
Real time (s): 1260.17
CPU time (s): 1258.31
CPU user time (s): 1256.88
CPU system time (s): 1.43078
CPU usage (%): 99.8531
Max. virtual memory (Kb): 852060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####