PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran8x32.opb
MD5SUM	14da1db0c6acfbdddee3af5ad3788f2d
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	12128256
Optimality of the best value was proved	NO
Number of terms in the objective function	7936
Biggest coefficient in the objective function	5368709120
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	1548380176990
Number of bits of the sum of numbers in the objective function	41
Biggest number in a constraint	5368709120
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	1548380176990
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1231.81
Number of variables	7936
Total number of constraints	296
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	296
Minimum length of a constraint	31
Maximum length of a constraint	960
Trace number 20826

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-21 21:58:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14374 boxname=wulflinc28 idbench=1106 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  14da1db0c6acfbdddee3af5ad3788f2d  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-ran8x32.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-ran8x32.opb
IDLAUNCH: 14374
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        681168 kB
Buffers:         29348 kB
Cached:         298240 kB
SwapCached:        104 kB
Active:          57368 kB
Inactive:       272656 kB
HighTotal:      131008 kB
HighFree:        25228 kB
LowTotal:       903652 kB
LowFree:        655940 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6056 kB
Slab:            17684 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 22:18:54 (client local time) WITH STATUS 143 IN 1234.84 SECONDS
stats: 14374 7 1234.84 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-ran8x32.opb
c reading problem 
c [nbvar=7936]
c [nbconstr=296]
c time 26.603
c #vars     7936
c #clauses  337
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=12172618
c Current CPU time (ms) : 75.666
c starts	: 1
c conflicts	: 8
c decisions	: 3147
c propagations	: 18263
c inspects	: 16082
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 8
c root simplifications	: 7
#### 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.94 0.97 0.91 2/54 1361
Raw data (stat): 1361 (runsolver) R 1360 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 548505845 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0072 s]
Raw data (loadavg): 0.95 0.97 0.91 1/63 1370
Raw data (stat): 1361 (java) D 1360 10614 10613 0 -1 0 3006 0 79 0 56 11 0 0 18 0 10 0 548505845 852508672 2902 4294967295 134512640 134569956 3221224400 3221209852 1085786722 0 4 3 23756 3222515881 0 0 17 0 0 0
Raw data (statm): 208132 2902 13073 16 0 208116 0
vsize: 832528
[startup+20.1942 s]
Raw data (loadavg): 0.96 0.97 0.91 2/63 1370
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 17899 0 85 0 854 45 0 0 25 0 10 0 548505845 853561344 19117 4294967295 134512640 134569956 3221224400 3221214516 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208389 19117 13073 16 0 208373 0
vsize: 833556
[startup+30.198 s]
Raw data (loadavg): 0.96 0.97 0.91 2/63 1370
Raw data (stat): 1361 (java) S 1360 10614 10613 0 -1 0 17899 0 85 0 1749 45 0 0 25 0 10 0 548505845 853696512 19641 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208422 19641 13073 16 0 208406 0
vsize: 833688
[startup+40.2092 s]
Raw data (loadavg): 1.28 1.04 0.93 4/64 1371
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18113 0 85 0 2396 46 0 0 25 0 11 0 548505845 874110976 25157 4294967295 134512640 134569956 3221224400 3221214672 1131159043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213406 25157 13073 16 0 213390 0
vsize: 853624
[startup+50.2098 s]
Raw data (loadavg): 1.23 1.03 0.93 2/64 1371
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18114 0 85 0 3275 46 0 0 25 0 11 0 548505845 874045440 25756 4294967295 134512640 134569956 3221224400 3221214792 1131340548 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 25756 13073 16 0 213374 0
vsize: 853560
[startup+60.2095 s]
Raw data (loadavg): 1.20 1.03 0.93 2/64 1371
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18114 0 85 0 4170 47 0 0 25 0 11 0 548505845 874045440 25861 4294967295 134512640 134569956 3221224400 3221214696 1131278253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 25861 13073 16 0 213374 0
vsize: 853560
[startup+70.2185 s]
Raw data (loadavg): 1.17 1.03 0.93 2/64 1371
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18114 0 85 0 5075 47 0 0 25 0 11 0 548505845 874045440 26630 4294967295 134512640 134569956 3221224400 3221214696 1131278181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 26630 13073 16 0 213374 0
vsize: 853560
[startup+80.227 s]
Raw data (loadavg): 1.14 1.03 0.93 2/64 1371
Raw data (stat): 1361 (java) S 1360 10614 10613 0 -1 0 18114 0 85 0 6060 48 0 0 25 0 11 0 548505845 874045440 26682 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 26682 13073 16 0 213374 0
vsize: 853560
[startup+90.2275 s]
Raw data (loadavg): 1.12 1.03 0.93 2/64 1372
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18114 3 85 0 7028 48 0 0 25 0 11 0 548505845 874045440 26715 4294967295 134512640 134569956 3221224400 3221214696 1131278657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 26715 13073 16 0 213374 0
vsize: 853560
[startup+100.228 s]
Raw data (loadavg): 1.10 1.03 0.93 2/64 1372
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18114 3 85 0 7992 48 0 0 25 0 11 0 548505845 874045440 26743 4294967295 134512640 134569956 3221224400 3221214744 1131228623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 26743 13073 16 0 213374 0
vsize: 853560
[startup+110.228 s]
Raw data (loadavg): 1.30 1.07 0.95 2/64 1425
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18114 3 85 0 8947 52 0 0 25 0 11 0 548505845 874045440 26750 4294967295 134512640 134569956 3221224400 3221214608 1131380195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 26750 13073 16 0 213374 0
vsize: 853560
[startup+120.23 s]
Raw data (loadavg): 1.26 1.07 0.95 2/64 1425
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 9926 52 0 0 25 0 11 0 548505845 874045440 26935 4294967295 134512640 134569956 3221224400 3221214616 1131506931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 26935 13073 16 0 213374 0
vsize: 853560
[startup+130.23 s]
Raw data (loadavg): 1.22 1.07 0.95 2/64 1425
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 10913 52 0 0 25 0 11 0 548505845 874045440 26938 4294967295 134512640 134569956 3221224400 3221214512 1131271339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 26938 13073 16 0 213374 0
vsize: 853560
[startup+140.231 s]
Raw data (loadavg): 1.18 1.07 0.95 2/64 1425
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 11900 53 0 0 25 0 11 0 548505845 874045440 26945 4294967295 134512640 134569956 3221224400 3221214512 1131270858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 26945 13073 16 0 213374 0
vsize: 853560
[startup+150.231 s]
Raw data (loadavg): 1.16 1.06 0.95 2/64 1425
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 12893 53 0 0 25 0 11 0 548505845 874045440 27066 4294967295 134512640 134569956 3221224400 3221214512 1131271192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27066 13073 16 0 213374 0
vsize: 853560
[startup+160.231 s]
Raw data (loadavg): 1.21 1.08 0.95 2/64 1425
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 13890 53 0 0 25 0 11 0 548505845 874045440 27074 4294967295 134512640 134569956 3221224400 3221214504 1131271527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 27074 13073 16 0 213374 0
vsize: 853560
[startup+170.231 s]
Raw data (loadavg): 1.18 1.07 0.95 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 14889 53 0 0 25 0 11 0 548505845 874045440 27078 4294967295 134512640 134569956 3221224400 3221214512 1131271339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 27078 13073 16 0 213374 0
vsize: 853560
[startup+180.231 s]
Raw data (loadavg): 1.15 1.07 0.95 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 15887 53 0 0 25 0 11 0 548505845 874045440 27078 4294967295 134512640 134569956 3221224400 3221214504 1131271203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 27078 13073 16 0 213374 0
vsize: 853560
[startup+190.232 s]
Raw data (loadavg): 1.13 1.07 0.95 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 16885 53 0 0 25 0 11 0 548505845 874045440 27078 4294967295 134512640 134569956 3221224400 3221214512 1131271219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 27078 13073 16 0 213374 0
vsize: 853560
[startup+200.233 s]
Raw data (loadavg): 1.11 1.06 0.95 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 17884 54 0 0 25 0 11 0 548505845 874045440 27078 4294967295 134512640 134569956 3221224400 3221214512 1131271161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27078 13073 16 0 213374 0
vsize: 853560
[startup+210.232 s]
Raw data (loadavg): 1.16 1.08 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 18881 54 0 0 25 0 11 0 548505845 874045440 27109 4294967295 134512640 134569956 3221224400 3221214512 1131271055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27109 13073 16 0 213374 0
vsize: 853560
[startup+220.233 s]
Raw data (loadavg): 1.14 1.08 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 19869 54 0 0 25 0 11 0 548505845 874045440 27109 4294967295 134512640 134569956 3221224400 3221214592 1131549219 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27109 13073 16 0 213374 0
vsize: 853560
[startup+230.234 s]
Raw data (loadavg): 1.12 1.07 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 20856 55 0 0 25 0 11 0 548505845 874045440 27109 4294967295 134512640 134569956 3221224400 3221214616 1131534382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27109 13073 16 0 213374 0
vsize: 853560
[startup+240.235 s]
Raw data (loadavg): 1.10 1.07 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 21844 55 0 0 25 0 11 0 548505845 874045440 27109 4294967295 134512640 134569956 3221224400 3221214504 1131271544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27109 13073 16 0 213374 0
vsize: 853560
[startup+250.235 s]
Raw data (loadavg): 1.08 1.07 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 22832 56 0 0 25 0 11 0 548505845 874045440 27109 4294967295 134512640 134569956 3221224400 3221214608 1131527335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27109 13073 16 0 213374 0
vsize: 853560
[startup+260.236 s]
Raw data (loadavg): 1.07 1.06 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 23827 56 0 0 25 0 11 0 548505845 874045440 27231 4294967295 134512640 134569956 3221224400 3221214512 1131271285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27231 13073 16 0 213374 0
vsize: 853560
[startup+270.236 s]
Raw data (loadavg): 1.06 1.06 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 24825 56 0 0 25 0 11 0 548505845 874045440 27239 4294967295 134512640 134569956 3221224400 3221214512 1131271360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27239 13073 16 0 213374 0
vsize: 853560
[startup+280.236 s]
Raw data (loadavg): 1.05 1.06 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 25824 57 0 0 25 0 11 0 548505845 874045440 27239 4294967295 134512640 134569956 3221224400 3221214504 1131271055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27239 13073 16 0 213374 0
vsize: 853560
[startup+290.238 s]
Raw data (loadavg): 1.04 1.06 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 26823 57 0 0 25 0 11 0 548505845 874045440 27239 4294967295 134512640 134569956 3221224400 3221214616 1131536469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27239 13073 16 0 213374 0
vsize: 853560
[startup+300.34 s]
Raw data (loadavg): 1.03 1.05 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 27832 57 0 0 25 0 11 0 548505845 874045440 27239 4294967295 134512640 134569956 3221224400 3221214512 1131271981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27239 13073 16 0 213374 0
vsize: 853560
[startup+310.341 s]
Raw data (loadavg): 1.03 1.05 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 28830 58 0 0 25 0 11 0 548505845 874045440 27239 4294967295 134512640 134569956 3221224400 3221214608 1131527342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 27239 13073 16 0 213374 0
vsize: 853560
[startup+320.342 s]
Raw data (loadavg): 1.02 1.05 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 29829 58 0 0 25 0 11 0 548505845 874045440 27239 4294967295 134512640 134569956 3221224400 3221214512 1131270981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27239 13073 16 0 213374 0
vsize: 853560
[startup+330.341 s]
Raw data (loadavg): 1.02 1.05 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 30819 58 0 0 25 0 11 0 548505845 874045440 27239 4294967295 134512640 134569956 3221224400 3221214616 1131534848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27239 13073 16 0 213374 0
vsize: 853560
[startup+340.342 s]
Raw data (loadavg): 1.02 1.05 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 31807 59 0 0 25 0 11 0 548505845 874045440 27239 4294967295 134512640 134569956 3221224400 3221214504 1131271011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27239 13073 16 0 213374 0
vsize: 853560
[startup+350.343 s]
Raw data (loadavg): 1.01 1.04 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 32795 59 0 0 25 0 11 0 548505845 874045440 27239 4294967295 134512640 134569956 3221224400 3221214504 1131271464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27239 13073 16 0 213374 0
vsize: 853560
[startup+360.343 s]
Raw data (loadavg): 1.01 1.04 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 33784 59 0 0 25 0 11 0 548505845 874045440 27239 4294967295 134512640 134569956 3221224400 3221214512 1131271920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27239 13073 16 0 213374 0
vsize: 853560
[startup+370.343 s]
Raw data (loadavg): 1.01 1.04 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 34777 59 0 0 25 0 11 0 548505845 874045440 27370 4294967295 134512640 134569956 3221224400 3221214512 1131271424 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27370 13073 16 0 213374 0
vsize: 853560
[startup+380.343 s]
Raw data (loadavg): 1.01 1.04 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 35776 60 0 0 25 0 11 0 548505845 874045440 27370 4294967295 134512640 134569956 3221224400 3221214616 1131506912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27370 13073 16 0 213374 0
vsize: 853560
[startup+390.344 s]
Raw data (loadavg): 1.00 1.04 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 36774 60 0 0 25 0 11 0 548505845 874045440 27370 4294967295 134512640 134569956 3221224400 3221214616 1131534762 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27370 13073 16 0 213374 0
vsize: 853560
[startup+400.343 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 37773 60 0 0 25 0 11 0 548505845 874045440 27370 4294967295 134512640 134569956 3221224400 3221214616 1131534848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 27370 13073 16 0 213374 0
vsize: 853560
[startup+410.343 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 38772 60 0 0 25 0 11 0 548505845 874045440 27370 4294967295 134512640 134569956 3221224400 3221214504 1131271203 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 27370 13073 16 0 213374 0
vsize: 853560
[startup+420.344 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 39770 60 0 0 25 0 11 0 548505845 874045440 27370 4294967295 134512640 134569956 3221224400 3221214512 1131271203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27370 13073 16 0 213374 0
vsize: 853560
[startup+430.345 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 40767 61 0 0 25 0 11 0 548505845 874045440 27370 4294967295 134512640 134569956 3221224400 3221214848 1131375580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27370 13073 16 0 213374 0
vsize: 853560
[startup+440.345 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 41751 62 0 0 25 0 11 0 548505845 874045440 27370 4294967295 134512640 134569956 3221224400 3221214512 1131271055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27370 13073 16 0 213374 0
vsize: 853560
[startup+450.345 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 42737 62 0 0 25 0 11 0 548505845 874045440 27370 4294967295 134512640 134569956 3221224400 3221214512 1131271962 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27370 13073 16 0 213374 0
vsize: 853560
[startup+460.345 s]
Raw data (loadavg): 1.00 1.03 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 43720 62 0 0 25 0 11 0 548505845 874045440 27370 4294967295 134512640 134569956 3221224400 3221214608 1131271445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27370 13073 16 0 213374 0
vsize: 853560
[startup+470.345 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 1427
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 44706 63 0 0 25 0 11 0 548505845 874045440 27370 4294967295 134512640 134569956 3221224400 3221214600 1131271188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27370 13073 16 0 213374 0
vsize: 853560
[startup+480.345 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 45692 63 0 0 25 0 11 0 548505845 874045440 27371 4294967295 134512640 134569956 3221224400 3221214608 1131271203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27371 13073 16 0 213374 0
vsize: 853560
[startup+490.347 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 46679 63 0 0 25 0 11 0 548505845 874045440 27371 4294967295 134512640 134569956 3221224400 3221214712 1131613082 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27371 13073 16 0 213374 0
vsize: 853560
[startup+500.347 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 47664 64 0 0 25 0 11 0 548505845 874045440 27371 4294967295 134512640 134569956 3221224400 3221214608 1131271055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27371 13073 16 0 213374 0
vsize: 853560
[startup+510.347 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 48652 64 0 0 25 0 11 0 548505845 874045440 27371 4294967295 134512640 134569956 3221224400 3221214608 1131271400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27371 13073 16 0 213374 0
vsize: 853560
[startup+520.348 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18115 3 85 0 49625 65 0 0 25 0 11 0 548505845 874045440 27371 4294967295 134512640 134569956 3221224400 3221214696 1131278890 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27371 13073 16 0 213374 0
vsize: 853560
[startup+530.348 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 50593 65 0 0 25 0 11 0 548505845 874045440 27502 4294967295 134512640 134569956 3221224400 3221214792 1131339658 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27502 13073 16 0 213374 0
vsize: 853560
[startup+540.35 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 51568 66 0 0 25 0 11 0 548505845 874045440 27502 4294967295 134512640 134569956 3221224400 3221214696 1131278790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27502 13073 16 0 213374 0
vsize: 853560
[startup+550.35 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 52557 66 0 0 25 0 11 0 548505845 874045440 27594 4294967295 134512640 134569956 3221224400 3221214696 1131279430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27594 13073 16 0 213374 0
vsize: 853560
[startup+560.35 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 53546 66 0 0 25 0 11 0 548505845 874045440 27622 4294967295 134512640 134569956 3221224400 3221214696 1131278986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27622 13073 16 0 213374 0
vsize: 853560
[startup+570.351 s]
Raw data (loadavg): 1.08 1.03 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 54539 66 0 0 25 0 11 0 548505845 874045440 27639 4294967295 134512640 134569956 3221224400 3221214792 1131339608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 27639 13073 16 0 213374 0
vsize: 853560
[startup+580.354 s]
Raw data (loadavg): 1.07 1.03 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 55532 67 0 0 25 0 11 0 548505845 874045440 27652 4294967295 134512640 134569956 3221224400 3221214696 1131278657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27652 13073 16 0 213374 0
vsize: 853560
[startup+590.354 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 56527 67 0 0 25 0 11 0 548505845 874045440 27658 4294967295 134512640 134569956 3221224400 3221214696 1131278257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27658 13073 16 0 213374 0
vsize: 853560
[startup+600.355 s]
Raw data (loadavg): 1.05 1.03 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 57522 67 0 0 25 0 11 0 548505845 874045440 27660 4294967295 134512640 134569956 3221224400 3221214696 1131278181 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27660 13073 16 0 213374 0
vsize: 853560
[startup+610.355 s]
Raw data (loadavg): 1.04 1.03 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 58516 68 0 0 25 0 11 0 548505845 874045440 27668 4294967295 134512640 134569956 3221224400 3221214792 1131341263 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27668 13073 16 0 213374 0
vsize: 853560
[startup+620.355 s]
Raw data (loadavg): 1.03 1.03 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 59512 68 0 0 25 0 11 0 548505845 874045440 27676 4294967295 134512640 134569956 3221224400 3221214696 1131278657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27676 13073 16 0 213374 0
vsize: 853560
[startup+630.356 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 60507 68 0 0 25 0 11 0 548505845 874045440 27679 4294967295 134512640 134569956 3221224400 3221214696 1131278913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27679 13073 16 0 213374 0
vsize: 853560
[startup+640.357 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 61503 69 0 0 25 0 11 0 548505845 874045440 27689 4294967295 134512640 134569956 3221224400 3221214696 1131278834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27689 13073 16 0 213374 0
vsize: 853560
[startup+650.357 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 62498 69 0 0 25 0 11 0 548505845 874045440 27692 4294967295 134512640 134569956 3221224400 3221214696 1131278731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27692 13073 16 0 213374 0
vsize: 853560
[startup+660.357 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 63493 69 0 0 25 0 11 0 548505845 874045440 27703 4294967295 134512640 134569956 3221224400 3221214792 1131341314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27703 13073 16 0 213374 0
vsize: 853560
[startup+670.358 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 64490 69 0 0 25 0 11 0 548505845 874045440 27712 4294967295 134512640 134569956 3221224400 3221214696 1131278188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27712 13073 16 0 213374 0
vsize: 853560
[startup+680.357 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 65487 69 0 0 25 0 11 0 548505845 874045440 27719 4294967295 134512640 134569956 3221224400 3221214696 1131278188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27719 13073 16 0 213374 0
vsize: 853560
[startup+690.359 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 66483 69 0 0 25 0 11 0 548505845 874045440 27726 4294967295 134512640 134569956 3221224400 3221214696 1131279522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27726 13073 16 0 213374 0
vsize: 853560
[startup+700.359 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 67478 70 0 0 25 0 11 0 548505845 874045440 27730 4294967295 134512640 134569956 3221224400 3221214696 1131278766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27730 13073 16 0 213374 0
vsize: 853560
[startup+710.359 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 68475 70 0 0 25 0 11 0 548505845 874045440 27732 4294967295 134512640 134569956 3221224400 3221214696 1131278268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27732 13073 16 0 213374 0
vsize: 853560
[startup+720.36 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 69471 71 0 0 25 0 11 0 548505845 874045440 27737 4294967295 134512640 134569956 3221224400 3221214792 1131341301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27737 13073 16 0 213374 0
vsize: 853560
[startup+730.36 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 70468 71 0 0 25 0 11 0 548505845 874045440 27742 4294967295 134512640 134569956 3221224400 3221214792 1131341273 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27742 13073 16 0 213374 0
vsize: 853560
[startup+740.361 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 71466 72 0 0 25 0 11 0 548505845 874045440 27748 4294967295 134512640 134569956 3221224400 3221214696 1131278786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 27748 13073 16 0 213374 0
vsize: 853560
[startup+750.366 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 72458 72 0 0 25 0 11 0 548505845 874045440 27755 4294967295 134512640 134569956 3221224400 3221214608 1131380280 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27755 13073 16 0 213374 0
vsize: 853560
[startup+760.365 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 73433 73 0 0 25 0 11 0 548505845 874045440 27756 4294967295 134512640 134569956 3221224400 3221214624 1131468538 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27756 13073 16 0 213374 0
vsize: 853560
[startup+770.366 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 74388 73 0 0 25 0 11 0 548505845 874045440 27757 4294967295 134512640 134569956 3221224400 3221214792 1131338351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27757 13073 16 0 213374 0
vsize: 853560
[startup+780.366 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 75314 73 0 0 25 0 11 0 548505845 874045440 27757 4294967295 134512640 134569956 3221224400 3221214696 1131278302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27757 13073 16 0 213374 0
vsize: 853560
[startup+790.367 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 76259 74 0 0 19 0 11 0 548505845 874045440 27909 4294967295 134512640 134569956 3221224400 3221214792 1131340532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 27909 13073 16 0 213374 0
vsize: 853560
[startup+800.368 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 77227 75 0 0 25 0 11 0 548505845 874045440 28292 4294967295 134512640 134569956 3221224400 3221214696 1131278621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28292 13073 16 0 213374 0
vsize: 853560
[startup+810.368 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 78221 75 0 0 25 0 11 0 548505845 874045440 28304 4294967295 134512640 134569956 3221224400 3221214696 1131278623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28304 13073 16 0 213374 0
vsize: 853560
[startup+820.369 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 79213 76 0 0 20 0 11 0 548505845 874045440 28316 4294967295 134512640 134569956 3221224400 3221214696 1131278735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28316 13073 16 0 213374 0
vsize: 853560
[startup+830.37 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 80206 76 0 0 25 0 11 0 548505845 874045440 28337 4294967295 134512640 134569956 3221224400 3221214792 1131340633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28337 13073 16 0 213374 0
vsize: 853560
[startup+840.371 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 81200 77 0 0 25 0 11 0 548505845 874045440 28350 4294967295 134512640 134569956 3221224400 3221214792 1131338335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28350 13073 16 0 213374 0
vsize: 853560
[startup+850.371 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 82197 77 0 0 25 0 11 0 548505845 874045440 28359 4294967295 134512640 134569956 3221224400 3221214696 1131278857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28359 13073 16 0 213374 0
vsize: 853560
[startup+860.371 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 83193 77 0 0 25 0 11 0 548505845 874045440 28363 4294967295 134512640 134569956 3221224400 3221214696 1131278623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28363 13073 16 0 213374 0
vsize: 853560
[startup+870.371 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 84189 78 0 0 25 0 11 0 548505845 874045440 28371 4294967295 134512640 134569956 3221224400 3221214792 1131338630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28371 13073 16 0 213374 0
vsize: 853560
[startup+880.372 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 85183 78 0 0 25 0 11 0 548505845 874045440 28375 4294967295 134512640 134569956 3221224400 3221214696 1131278682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28375 13073 16 0 213374 0
vsize: 853560
[startup+890.372 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 86177 78 0 0 25 0 11 0 548505845 874045440 28388 4294967295 134512640 134569956 3221224400 3221214696 1131278470 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28388 13073 16 0 213374 0
vsize: 853560
[startup+900.372 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 87173 79 0 0 25 0 11 0 548505845 874045440 28395 4294967295 134512640 134569956 3221224400 3221214696 1131278608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 28395 13073 16 0 213374 0
vsize: 853560
[startup+910.373 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 88169 79 0 0 25 0 11 0 548505845 874045440 28398 4294967295 134512640 134569956 3221224400 3221214696 1131278657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28398 13073 16 0 213374 0
vsize: 853560
[startup+920.373 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 89163 79 0 0 25 0 11 0 548505845 874045440 28399 4294967295 134512640 134569956 3221224400 3221214792 1131338544 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28399 13073 16 0 213374 0
vsize: 853560
[startup+930.372 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 90155 79 0 0 25 0 11 0 548505845 874045440 28401 4294967295 134512640 134569956 3221224400 3221214792 1131342117 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28401 13073 16 0 213374 0
vsize: 853560
[startup+940.373 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 91149 80 0 0 25 0 11 0 548505845 874045440 28422 4294967295 134512640 134569956 3221224400 3221214696 1131279170 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28422 13073 16 0 213374 0
vsize: 853560
[startup+950.373 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 92145 80 0 0 25 0 11 0 548505845 874045440 28424 4294967295 134512640 134569956 3221224400 3221214696 1131278735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28424 13073 16 0 213374 0
vsize: 853560
[startup+960.373 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 93142 81 0 0 25 0 11 0 548505845 874045440 28425 4294967295 134512640 134569956 3221224400 3221214696 1131278268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28425 13073 16 0 213374 0
vsize: 853560
[startup+970.374 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 94139 81 0 0 25 0 11 0 548505845 874045440 28426 4294967295 134512640 134569956 3221224400 3221214696 1131278657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28426 13073 16 0 213374 0
vsize: 853560
[startup+980.374 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 95132 81 0 0 25 0 11 0 548505845 874045440 28435 4294967295 134512640 134569956 3221224400 3221214848 1131375340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28435 13073 16 0 213374 0
vsize: 853560
[startup+990.374 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 96115 82 0 0 24 0 11 0 548505845 874045440 28440 4294967295 134512640 134569956 3221224400 3221214712 1131613064 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28440 13073 16 0 213374 0
vsize: 853560
[startup+1000.37 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 97102 82 0 0 25 0 11 0 548505845 874045440 28442 4294967295 134512640 134569956 3221224400 3221214616 1131534848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28442 13073 16 0 213374 0
vsize: 853560
[startup+1010.37 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 98089 82 0 0 25 0 11 0 548505845 874045440 28444 4294967295 134512640 134569956 3221224400 3221214712 1131613075 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28444 13073 16 0 213374 0
vsize: 853560
[startup+1020.37 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 99079 82 0 0 25 0 11 0 548505845 874045440 28557 4294967295 134512640 134569956 3221224400 3221214608 1131270971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28557 13073 16 0 213374 0
vsize: 853560
[startup+1030.37 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 100077 83 0 0 25 0 11 0 548505845 874045440 28565 4294967295 134512640 134569956 3221224400 3221214608 1131271256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28565 13073 16 0 213374 0
vsize: 853560
[startup+1040.37 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 101075 83 0 0 25 0 11 0 548505845 874045440 28565 4294967295 134512640 134569956 3221224400 3221214712 1131613075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 28565 13073 16 0 213374 0
vsize: 853560
[startup+1050.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 102074 83 0 0 25 0 11 0 548505845 874045440 28565 4294967295 134512640 134569956 3221224400 3221214712 1131613140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28565 13073 16 0 213374 0
vsize: 853560
[startup+1060.37 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 103072 83 0 0 25 0 11 0 548505845 874045440 28565 4294967295 134512640 134569956 3221224400 3221214616 1131534379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28565 13073 16 0 213374 0
vsize: 853560
[startup+1070.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 104071 83 0 0 25 0 11 0 548505845 874045440 28565 4294967295 134512640 134569956 3221224400 3221214712 1131613072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28565 13073 16 0 213374 0
vsize: 853560
[startup+1080.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 105069 84 0 0 25 0 11 0 548505845 874045440 28565 4294967295 134512640 134569956 3221224400 3221214712 1131613072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213390 28565 13073 16 0 213374 0
vsize: 853560
[startup+1090.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 106059 84 0 0 25 0 11 0 548505845 874045440 28565 4294967295 134512640 134569956 3221224400 3221214728 1131486571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28565 13073 16 0 213374 0
vsize: 853560
[startup+1100.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 107030 85 0 0 25 0 11 0 548505845 874045440 28565 4294967295 134512640 134569956 3221224400 3221214792 1131340629 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28565 13073 16 0 213374 0
vsize: 853560
[startup+1110.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) S 1360 10614 10613 0 -1 0 18116 3 85 0 108002 85 0 0 25 0 11 0 548505845 874045440 28565 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28565 13073 16 0 213374 0
vsize: 853560
[startup+1120.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 108974 85 0 0 25 0 11 0 548505845 874045440 28726 4294967295 134512640 134569956 3221224400 3221214792 1131339788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28726 13073 16 0 213374 0
vsize: 853560
[startup+1130.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 109968 86 0 0 25 0 11 0 548505845 874045440 28727 4294967295 134512640 134569956 3221224400 3221214792 1131338787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28727 13073 16 0 213374 0
vsize: 853560
[startup+1140.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 110961 86 0 0 25 0 11 0 548505845 874045440 28728 4294967295 134512640 134569956 3221224400 3221214696 1131278650 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28728 13073 16 0 213374 0
vsize: 853560
[startup+1150.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 111955 86 0 0 25 0 11 0 548505845 874045440 28753 4294967295 134512640 134569956 3221224400 3221214696 1131278657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28753 13073 16 0 213374 0
vsize: 853560
[startup+1160.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 112950 86 0 0 25 0 11 0 548505845 874045440 28768 4294967295 134512640 134569956 3221224400 3221214792 1131339888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28768 13073 16 0 213374 0
vsize: 853560
[startup+1170.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 113944 87 0 0 25 0 11 0 548505845 874045440 28770 4294967295 134512640 134569956 3221224400 3221214696 1131278873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28770 13073 16 0 213374 0
vsize: 853560
[startup+1180.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 114937 87 0 0 25 0 11 0 548505845 874045440 28771 4294967295 134512640 134569956 3221224400 3221214696 1131278766 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28771 13073 16 0 213374 0
vsize: 853560
[startup+1190.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 115932 87 0 0 25 0 11 0 548505845 874045440 28796 4294967295 134512640 134569956 3221224400 3221214792 1131338630 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28796 13073 16 0 213374 0
vsize: 853560
[startup+1200.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 116928 87 0 0 25 0 11 0 548505845 874045440 28800 4294967295 134512640 134569956 3221224400 3221214696 1131278677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28800 13073 16 0 213374 0
vsize: 853560
[startup+1210.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 117922 88 0 0 25 0 11 0 548505845 874045440 28804 4294967295 134512640 134569956 3221224400 3221214696 1131278758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28804 13073 16 0 213374 0
vsize: 853560
[startup+1220.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 118918 88 0 0 25 0 11 0 548505845 874045440 28808 4294967295 134512640 134569956 3221224400 3221214792 1131339829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28808 13073 16 0 213374 0
vsize: 853560
[startup+1230.38 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 1429
Raw data (stat): 1361 (java) R 1360 10614 10613 0 -1 0 18116 3 85 0 119914 88 0 0 25 0 11 0 548505845 874045440 28814 4294967295 134512640 134569956 3221224400 3221214744 1131228552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213390 28814 13073 16 0 213374 0
vsize: 853560
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.46 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 1431
Raw data (stat): 1361 (java) Z 1360 10614 10613 0 -1 1036 18116 18482 85 0 119915 94 3419 53 25 0 1 0 548505845 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.46
CPU time (s): 1234.84
CPU user time (s): 1233.36
CPU system time (s): 1.48277
CPU usage (%): 100.357
Max. virtual memory (Kb): 853624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####