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-usAbbrv.8.25_70.opb
MD5SUM	0b6e5fd99af8bfe5c5be00124c8da261
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20736
Optimality of the best value was proved	NO
Number of terms in the objective function	125
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1062015
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	128000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	268444670
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1201.16
Number of variables	18711
Total number of constraints	5602
Number of constraints which are clauses	563
Number of constraints which are cardinality constraints (but not clauses)	1681
Number of constraints which are nor clauses,nor cardinality constraints	3358
Minimum length of a constraint	1
Maximum length of a constraint	55
Trace number 14201

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        357496 kB
Buffers:         35900 kB
Cached:         616424 kB
SwapCached:          0 kB
Active:         144416 kB
Inactive:       510604 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        357244 kB
SwapTotal:     2097136 kB
SwapFree:      2097044 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            16488 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 23:36:29 (client local time) WITH STATUS 143 IN 1226.74 SECONDS
stats: 20328 7 1226.74 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-usAbbrv.8.25_70.opb
c reading problem 
c [nbvar=18711]
c [nbconstr=5602]
c time 106.729
c #vars     18711
c #clauses  3922
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=25600
c Current CPU time (ms) : 118.759
c starts	: 1
c conflicts	: 0
c decisions	: 6065
c propagations	: 18711
c inspects	: 68366
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
#### 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): 1.09 1.00 0.95 2/54 14400
Raw data (stat): 14400 (runsolver) R 14399 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 482106062 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.0002 s]
Raw data (loadavg): 1.15 1.01 0.95 3/63 14409
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18005 0 1 0 850 39 0 0 25 0 10 0 482106062 853762048 19251 4294967295 134512640 134569956 3221224400 3221214688 1131211213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208438 19251 13073 16 0 208422 0
vsize: 833752
[startup+20.0008 s]
Raw data (loadavg): 1.20 1.03 0.96 2/63 14409
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18005 0 1 0 1732 39 0 0 25 0 10 0 482106062 855740416 20262 4294967295 134512640 134569956 3221224400 3221214376 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208921 20262 13073 16 0 208905 0
vsize: 835684
[startup+30.0016 s]
Raw data (loadavg): 1.17 1.03 0.96 2/63 14409
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18006 0 1 0 2610 40 0 0 25 0 10 0 482106062 854794240 20551 4294967295 134512640 134569956 3221224400 3221214800 1131325307 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208690 20551 13073 16 0 208674 0
vsize: 834760
[startup+40.0014 s]
Raw data (loadavg): 1.14 1.02 0.96 2/63 14409
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18006 0 1 0 3516 40 0 0 25 0 10 0 482106062 854794240 20841 4294967295 134512640 134569956 3221224400 3221214800 1131324280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208690 20841 13073 16 0 208674 0
vsize: 834760
[startup+50.0029 s]
Raw data (loadavg): 1.12 1.02 0.96 2/63 14409
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18006 0 1 0 4433 41 0 0 25 0 10 0 482106062 854794240 21010 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208690 21010 13073 16 0 208674 0
vsize: 834760
[startup+60.0027 s]
Raw data (loadavg): 1.10 1.02 0.96 2/63 14409
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18006 0 1 0 5353 41 0 0 25 0 10 0 482106062 854794240 21139 4294967295 134512640 134569956 3221224400 3221214796 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208690 21139 13073 16 0 208674 0
vsize: 834760
[startup+70.0035 s]
Raw data (loadavg): 1.08 1.02 0.96 2/63 14409
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18006 0 1 0 6280 41 0 0 25 0 10 0 482106062 854429696 21246 4294967295 134512640 134569956 3221224400 3221214064 1076461392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208601 21246 13073 16 0 208585 0
vsize: 834404
[startup+80.0042 s]
Raw data (loadavg): 1.07 1.02 0.96 2/63 14409
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18006 0 1 0 7212 41 0 0 25 0 10 0 482106062 854429696 21353 4294967295 134512640 134569956 3221224400 3221214264 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208601 21353 13073 16 0 208585 0
vsize: 834404
[startup+90.0038 s]
Raw data (loadavg): 1.06 1.02 0.96 2/63 14409
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18006 0 1 0 8148 41 0 0 25 0 10 0 482106062 854429696 21445 4294967295 134512640 134569956 3221224400 3221214692 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208601 21445 13073 16 0 208585 0
vsize: 834404
[startup+100.005 s]
Raw data (loadavg): 1.05 1.02 0.96 2/63 14409
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18006 0 1 0 9081 41 0 0 24 0 10 0 482106062 854429696 21536 4294967295 134512640 134569956 3221224400 3221214796 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208601 21536 13073 16 0 208585 0
vsize: 834404
[startup+110.005 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 14410
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18033 0 1 0 9981 46 0 0 24 0 11 0 482106062 855220224 25611 4294967295 134512640 134569956 3221224400 3221214776 1131243339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208794 25611 13073 16 0 208778 0
vsize: 835176
[startup+120.005 s]
Raw data (loadavg): 1.04 1.02 0.96 3/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18034 3 1 0 10895 46 0 0 25 0 11 0 482106062 856358912 25829 4294967295 134512640 134569956 3221224400 3221214800 1131243390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209072 25829 13073 16 0 209056 0
vsize: 836288
[startup+130.005 s]
Raw data (loadavg): 1.03 1.02 0.96 3/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18076 3 1 0 11749 46 0 0 25 0 11 0 482106062 865132544 27762 4294967295 134512640 134569956 3221224400 3221214600 1131437815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211214 27762 13073 16 0 211198 0
vsize: 844856
[startup+140.005 s]
Raw data (loadavg): 1.02 1.02 0.96 3/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 12707 46 0 0 25 0 11 0 482106062 863338496 27500 4294967295 134512640 134569956 3221224400 3221214600 1131437936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 27500 13073 16 0 210760 0
vsize: 843104
[startup+150.006 s]
Raw data (loadavg): 1.09 1.03 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 13686 46 0 0 25 0 11 0 482106062 865435648 28283 4294967295 134512640 134569956 3221224400 3221214592 1131464747 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211288 28283 13073 16 0 211272 0
vsize: 845152
[startup+160.006 s]
Raw data (loadavg): 1.08 1.03 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 14673 46 0 0 25 0 11 0 482106062 863338496 27635 4294967295 134512640 134569956 3221224400 3221214696 1131611216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 27635 13073 16 0 210760 0
vsize: 843104
[startup+170.005 s]
Raw data (loadavg): 1.07 1.03 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 15652 46 0 0 25 0 11 0 482106062 863338496 27636 4294967295 134512640 134569956 3221224400 3221214592 1131464737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 27636 13073 16 0 210760 0
vsize: 843104
[startup+180.006 s]
Raw data (loadavg): 1.06 1.03 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 16632 47 0 0 25 0 11 0 482106062 863338496 27636 4294967295 134512640 134569956 3221224400 3221214696 1131611212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 27636 13073 16 0 210760 0
vsize: 843104
[startup+190.006 s]
Raw data (loadavg): 1.05 1.03 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 17613 47 0 0 25 0 11 0 482106062 863338496 27670 4294967295 134512640 134569956 3221224400 3221214696 1131611347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 27670 13073 16 0 210760 0
vsize: 843104
[startup+200.006 s]
Raw data (loadavg): 1.04 1.02 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 18590 47 0 0 25 0 11 0 482106062 863338496 27731 4294967295 134512640 134569956 3221224400 3221214736 1131448976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 27731 13073 16 0 210760 0
vsize: 843104
[startup+210.006 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 19576 47 0 0 25 0 11 0 482106062 863338496 27807 4294967295 134512640 134569956 3221224400 3221214592 1131311495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 27807 13073 16 0 210760 0
vsize: 843104
[startup+220.006 s]
Raw data (loadavg): 1.03 1.02 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 20564 47 0 0 25 0 11 0 482106062 863338496 27995 4294967295 134512640 134569956 3221224400 3221214696 1131611216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 27995 13073 16 0 210760 0
vsize: 843104
[startup+230.006 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 21558 47 0 0 25 0 11 0 482106062 863338496 28039 4294967295 134512640 134569956 3221224400 3221214848 1131439392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28039 13073 16 0 210760 0
vsize: 843104
[startup+240.006 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 22553 48 0 0 25 0 11 0 482106062 863338496 28074 4294967295 134512640 134569956 3221224400 3221214592 1131311583 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28074 13073 16 0 210760 0
vsize: 843104
[startup+250.006 s]
Raw data (loadavg): 1.02 1.02 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 23549 48 0 0 25 0 11 0 482106062 863338496 28076 4294967295 134512640 134569956 3221224400 3221214744 1131494290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28076 13073 16 0 210760 0
vsize: 843104
[startup+260.006 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 24544 48 0 0 25 0 11 0 482106062 863338496 28079 4294967295 134512640 134569956 3221224400 3221214168 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28079 13073 16 0 210760 0
vsize: 843104
[startup+270.006 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 25540 49 0 0 25 0 11 0 482106062 863338496 28080 4294967295 134512640 134569956 3221224400 3221214696 1131611364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28080 13073 16 0 210760 0
vsize: 843104
[startup+280.007 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 26536 49 0 0 25 0 11 0 482106062 863338496 28081 4294967295 134512640 134569956 3221224400 3221214696 1131611347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28081 13073 16 0 210760 0
vsize: 843104
[startup+290.008 s]
Raw data (loadavg): 1.01 1.02 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 27530 49 0 0 25 0 11 0 482106062 863338496 28084 4294967295 134512640 134569956 3221224400 3221214340 1079721528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28084 13073 16 0 210760 0
vsize: 843104
[startup+300.008 s]
Raw data (loadavg): 1.00 1.02 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 28518 50 0 0 25 0 11 0 482106062 863338496 28089 4294967295 134512640 134569956 3221224400 3221214832 1131439720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28089 13073 16 0 210760 0
vsize: 843104
[startup+310.009 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 29513 50 0 0 25 0 11 0 482106062 863338496 28089 4294967295 134512640 134569956 3221224400 3221214680 1131611216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28089 13073 16 0 210760 0
vsize: 843104
[startup+320.009 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 30505 50 0 0 25 0 11 0 482106062 863338496 28089 4294967295 134512640 134569956 3221224400 3221214680 1131611225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28089 13073 16 0 210760 0
vsize: 843104
[startup+330.01 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 31495 50 0 0 25 0 11 0 482106062 863338496 28089 4294967295 134512640 134569956 3221224400 3221214680 1131611220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28089 13073 16 0 210760 0
vsize: 843104
[startup+340.01 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 32487 50 0 0 25 0 11 0 482106062 863338496 28089 4294967295 134512640 134569956 3221224400 3221214680 1131611200 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28089 13073 16 0 210760 0
vsize: 843104
[startup+350.01 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 33477 50 0 0 25 0 11 0 482106062 863338496 28089 4294967295 134512640 134569956 3221224400 3221214680 1131611347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28089 13073 16 0 210760 0
vsize: 843104
[startup+360.011 s]
Raw data (loadavg): 1.00 1.01 0.96 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18077 3 1 0 34467 50 0 0 25 0 11 0 482106062 863338496 28089 4294967295 134512640 134569956 3221224400 3221214576 1131311546 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28089 13073 16 0 210760 0
vsize: 843104
[startup+370.011 s]
Raw data (loadavg): 1.08 1.02 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 35457 51 0 0 25 0 11 0 482106062 863338496 28092 4294967295 134512640 134569956 3221224400 3221214680 1131611216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28092 13073 16 0 210760 0
vsize: 843104
[startup+380.011 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 36444 51 0 0 25 0 11 0 482106062 863338496 28153 4294967295 134512640 134569956 3221224400 3221214576 1131311363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28153 13073 16 0 210760 0
vsize: 843104
[startup+390.011 s]
Raw data (loadavg): 1.06 1.02 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 37436 51 0 0 25 0 11 0 482106062 863338496 28221 4294967295 134512640 134569956 3221224400 3221214680 1131611249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28221 13073 16 0 210760 0
vsize: 843104
[startup+400.011 s]
Raw data (loadavg): 1.05 1.02 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 38428 52 0 0 25 0 11 0 482106062 863338496 28225 4294967295 134512640 134569956 3221224400 3221214680 1131611364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28225 13073 16 0 210760 0
vsize: 843104
[startup+410.011 s]
Raw data (loadavg): 1.04 1.02 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 39418 52 0 0 25 0 11 0 482106062 863338496 28225 4294967295 134512640 134569956 3221224400 3221214680 1131611220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28225 13073 16 0 210760 0
vsize: 843104
[startup+420.011 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 40408 52 0 0 25 0 11 0 482106062 863338496 28225 4294967295 134512640 134569956 3221224400 3221214576 1131311664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28225 13073 16 0 210760 0
vsize: 843104
[startup+430.012 s]
Raw data (loadavg): 1.03 1.02 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 41398 52 0 0 25 0 11 0 482106062 863338496 28225 4294967295 134512640 134569956 3221224400 3221214680 1131611212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28225 13073 16 0 210760 0
vsize: 843104
[startup+440.012 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 42388 53 0 0 25 0 11 0 482106062 863338496 28225 4294967295 134512640 134569956 3221224400 3221214680 1131611315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28225 13073 16 0 210760 0
vsize: 843104
[startup+450.012 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 43378 53 0 0 25 0 11 0 482106062 863338496 28346 4294967295 134512640 134569956 3221224400 3221214680 1131611234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28346 13073 16 0 210760 0
vsize: 843104
[startup+460.012 s]
Raw data (loadavg): 1.02 1.02 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 44369 53 0 0 25 0 11 0 482106062 863338496 28367 4294967295 134512640 134569956 3221224400 3221214680 1131611208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28367 13073 16 0 210760 0
vsize: 843104
[startup+470.012 s]
Raw data (loadavg): 1.01 1.02 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 45358 53 0 0 24 0 11 0 482106062 863338496 28383 4294967295 134512640 134569956 3221224400 3221214800 1131243122 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28383 13073 16 0 210760 0
vsize: 843104
[startup+480.017 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 46348 53 0 0 25 0 11 0 482106062 863338496 28383 4294967295 134512640 134569956 3221224400 3221214800 1131242949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28383 13073 16 0 210760 0
vsize: 843104
[startup+490.017 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 47328 54 0 0 25 0 11 0 482106062 863338496 28383 4294967295 134512640 134569956 3221224400 3221214680 1131611357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28383 13073 16 0 210760 0
vsize: 843104
[startup+500.017 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 48321 54 0 0 25 0 11 0 482106062 863338496 28383 4294967295 134512640 134569956 3221224400 3221214720 1131450506 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28383 13073 16 0 210760 0
vsize: 843104
[startup+510.017 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 49314 55 0 0 25 0 11 0 482106062 863338496 28383 4294967295 134512640 134569956 3221224400 3221214680 1131611220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28383 13073 16 0 210760 0
vsize: 843104
[startup+520.017 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 50309 55 0 0 25 0 11 0 482106062 863338496 28383 4294967295 134512640 134569956 3221224400 3221214680 1131611216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28383 13073 16 0 210760 0
vsize: 843104
[startup+530.017 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 51302 56 0 0 25 0 11 0 482106062 863338496 28383 4294967295 134512640 134569956 3221224400 3221214832 1131439572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28383 13073 16 0 210760 0
vsize: 843104
[startup+540.018 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 52295 56 0 0 25 0 11 0 482106062 863338496 28383 4294967295 134512640 134569956 3221224400 3221214680 1131611212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28383 13073 16 0 210760 0
vsize: 843104
[startup+550.119 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 53298 56 0 0 25 0 11 0 482106062 863338496 28383 4294967295 134512640 134569956 3221224400 3221214680 1131611216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28383 13073 16 0 210760 0
vsize: 843104
[startup+560.119 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 54284 56 0 0 25 0 11 0 482106062 863338496 28383 4294967295 134512640 134569956 3221224400 3221214832 1131439665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28383 13073 16 0 210760 0
vsize: 843104
[startup+570.12 s]
Raw data (loadavg): 1.00 1.01 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 55271 56 0 0 25 0 11 0 482106062 863338496 28524 4294967295 134512640 134569956 3221224400 3221214800 1131243049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28524 13073 16 0 210760 0
vsize: 843104
[startup+580.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 56261 57 0 0 25 0 11 0 482106062 863338496 28585 4294967295 134512640 134569956 3221224400 3221214680 1131611208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28585 13073 16 0 210760 0
vsize: 843104
[startup+590.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 57255 57 0 0 25 0 11 0 482106062 863338496 28603 4294967295 134512640 134569956 3221224400 3221214680 1131611212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28603 13073 16 0 210760 0
vsize: 843104
[startup+600.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 58252 58 0 0 25 0 11 0 482106062 863338496 28607 4294967295 134512640 134569956 3221224400 3221214680 1131611212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28607 13073 16 0 210760 0
vsize: 843104
[startup+610.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 59246 58 0 0 24 0 11 0 482106062 863338496 28621 4294967295 134512640 134569956 3221224400 3221214736 1131242596 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28621 13073 16 0 210760 0
vsize: 843104
[startup+620.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 60243 58 0 0 25 0 11 0 482106062 863338496 28665 4294967295 134512640 134569956 3221224400 3221214680 1131611238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28665 13073 16 0 210760 0
vsize: 843104
[startup+630.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 61241 58 0 0 25 0 11 0 482106062 863338496 28673 4294967295 134512640 134569956 3221224400 3221214624 1131549071 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28673 13073 16 0 210760 0
vsize: 843104
[startup+640.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 62234 58 0 0 25 0 11 0 482106062 863338496 28689 4294967295 134512640 134569956 3221224400 3221214800 1131243109 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28689 13073 16 0 210760 0
vsize: 843104
[startup+650.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 63223 59 0 0 25 0 11 0 482106062 863338496 28689 4294967295 134512640 134569956 3221224400 3221214800 1131493133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28689 13073 16 0 210760 0
vsize: 843104
[startup+660.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 64219 59 0 0 25 0 11 0 482106062 863338496 28689 4294967295 134512640 134569956 3221224400 3221214576 1131311571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28689 13073 16 0 210760 0
vsize: 843104
[startup+670.121 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 65211 59 0 0 25 0 11 0 482106062 863338496 28689 4294967295 134512640 134569956 3221224400 3221214576 1131311556 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28689 13073 16 0 210760 0
vsize: 843104
[startup+680.122 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 66202 59 0 0 20 0 11 0 482106062 863338496 28738 4294967295 134512640 134569956 3221224400 3221214680 1131611212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28738 13073 16 0 210760 0
vsize: 843104
[startup+690.122 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 67196 59 0 0 25 0 11 0 482106062 863338496 28766 4294967295 134512640 134569956 3221224400 3221214576 1131311656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28766 13073 16 0 210760 0
vsize: 843104
[startup+700.121 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 68187 60 0 0 25 0 11 0 482106062 863338496 28796 4294967295 134512640 134569956 3221224400 3221214832 1131439810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28796 13073 16 0 210760 0
vsize: 843104
[startup+710.122 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 69179 60 0 0 25 0 11 0 482106062 863338496 28797 4294967295 134512640 134569956 3221224400 3221214680 1131414508 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28797 13073 16 0 210760 0
vsize: 843104
[startup+720.122 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 70172 60 0 0 25 0 11 0 482106062 863338496 28817 4294967295 134512640 134569956 3221224400 3221214448 1131560245 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28817 13073 16 0 210760 0
vsize: 843104
[startup+730.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 71165 60 0 0 25 0 11 0 482106062 863338496 28836 4294967295 134512640 134569956 3221224400 3221214576 1131311554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28836 13073 16 0 210760 0
vsize: 843104
[startup+740.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 72158 61 0 0 25 0 11 0 482106062 863338496 28850 4294967295 134512640 134569956 3221224400 3221214480 1131566607 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28850 13073 16 0 210760 0
vsize: 843104
[startup+750.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 73146 61 0 0 24 0 11 0 482106062 863338496 28855 4294967295 134512640 134569956 3221224400 3221214680 1131611347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28855 13073 16 0 210760 0
vsize: 843104
[startup+760.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 74144 61 0 0 25 0 11 0 482106062 863338496 28855 4294967295 134512640 134569956 3221224400 3221214448 1131568363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28855 13073 16 0 210760 0
vsize: 843104
[startup+770.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 75141 61 0 0 25 0 11 0 482106062 863338496 28855 4294967295 134512640 134569956 3221224400 3221214720 1131449896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28855 13073 16 0 210760 0
vsize: 843104
[startup+780.124 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 76137 61 0 0 25 0 11 0 482106062 863338496 28855 4294967295 134512640 134569956 3221224400 3221214832 1131439392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28855 13073 16 0 210760 0
vsize: 843104
[startup+790.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 77134 62 0 0 25 0 11 0 482106062 863338496 28855 4294967295 134512640 134569956 3221224400 3221214680 1131611220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28855 13073 16 0 210760 0
vsize: 843104
[startup+800.124 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 78129 62 0 0 25 0 11 0 482106062 863338496 28855 4294967295 134512640 134569956 3221224400 3221214576 1131311248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28855 13073 16 0 210760 0
vsize: 843104
[startup+810.124 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 79126 62 0 0 25 0 11 0 482106062 863338496 28855 4294967295 134512640 134569956 3221224400 3221214728 1131311554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28855 13073 16 0 210760 0
vsize: 843104
[startup+820.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 80114 63 0 0 25 0 11 0 482106062 863338496 28855 4294967295 134512640 134569956 3221224400 3221214800 1131243013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28855 13073 16 0 210760 0
vsize: 843104
[startup+830.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 81108 63 0 0 25 0 11 0 482106062 863338496 28855 4294967295 134512640 134569956 3221224400 3221214680 1131611347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28855 13073 16 0 210760 0
vsize: 843104
[startup+840.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 82103 63 0 0 25 0 11 0 482106062 863338496 28855 4294967295 134512640 134569956 3221224400 3221214728 1131311525 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28855 13073 16 0 210760 0
vsize: 843104
[startup+850.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 83095 64 0 0 25 0 11 0 482106062 863338496 28855 4294967295 134512640 134569956 3221224400 3221214392 1131560681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 28855 13073 16 0 210760 0
vsize: 843104
[startup+860.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 84087 64 0 0 25 0 11 0 482106062 863338496 28969 4294967295 134512640 134569956 3221224400 3221214680 1131611216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28969 13073 16 0 210760 0
vsize: 843104
[startup+870.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 85081 64 0 0 25 0 11 0 482106062 863338496 28974 4294967295 134512640 134569956 3221224400 3221214680 1131611223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 28974 13073 16 0 210760 0
vsize: 843104
[startup+880.128 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 86074 64 0 0 25 0 11 0 482106062 863338496 29011 4294967295 134512640 134569956 3221224400 3221214680 1131611208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29011 13073 16 0 210760 0
vsize: 843104
[startup+890.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 87068 64 0 0 25 0 11 0 482106062 863338496 29011 4294967295 134512640 134569956 3221224400 3221214680 1131611238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 29011 13073 16 0 210760 0
vsize: 843104
[startup+900.128 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 88061 64 0 0 25 0 11 0 482106062 863338496 29011 4294967295 134512640 134569956 3221224400 3221214216 1080216972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29011 13073 16 0 210760 0
vsize: 843104
[startup+910.128 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 89053 65 0 0 25 0 11 0 482106062 863338496 29030 4294967295 134512640 134569956 3221224400 3221214480 1131571144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29030 13073 16 0 210760 0
vsize: 843104
[startup+920.129 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 90042 65 0 0 25 0 11 0 482106062 863338496 29070 4294967295 134512640 134569956 3221224400 3221214800 1131243063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29070 13073 16 0 210760 0
vsize: 843104
[startup+930.136 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 91035 65 0 0 25 0 11 0 482106062 863338496 29074 4294967295 134512640 134569956 3221224400 3221214832 1131439662 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29074 13073 16 0 210760 0
vsize: 843104
[startup+940.136 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 92030 65 0 0 25 0 11 0 482106062 863338496 29074 4294967295 134512640 134569956 3221224400 3221214680 1131611238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 29074 13073 16 0 210760 0
vsize: 843104
[startup+950.136 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 93024 65 0 0 25 0 11 0 482106062 863338496 29074 4294967295 134512640 134569956 3221224400 3221214496 1131615202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29074 13073 16 0 210760 0
vsize: 843104
[startup+960.135 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 94016 65 0 0 25 0 11 0 482106062 863338496 29074 4294967295 134512640 134569956 3221224400 3221214576 1131479236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29074 13073 16 0 210760 0
vsize: 843104
[startup+970.136 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 95007 66 0 0 25 0 11 0 482106062 863338496 29074 4294967295 134512640 134569956 3221224400 3221214728 1131311269 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29074 13073 16 0 210760 0
vsize: 843104
[startup+980.136 s]
Raw data (loadavg): 1.08 1.02 0.97 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 96000 66 0 0 25 0 11 0 482106062 863338496 29074 4294967295 134512640 134569956 3221224400 3221214680 1131611230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29074 13073 16 0 210760 0
vsize: 843104
[startup+990.136 s]
Raw data (loadavg): 1.14 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 96991 66 0 0 25 0 11 0 482106062 863338496 29074 4294967295 134512640 134569956 3221224400 3221214576 1131311670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29074 13073 16 0 210760 0
vsize: 843104
[startup+1000.14 s]
Raw data (loadavg): 1.12 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 97981 66 0 0 25 0 11 0 482106062 863338496 29081 4294967295 134512640 134569956 3221224400 3221214720 1131450493 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29081 13073 16 0 210760 0
vsize: 843104
[startup+1010.14 s]
Raw data (loadavg): 1.10 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 98973 66 0 0 25 0 11 0 482106062 863338496 29219 4294967295 134512640 134569956 3221224400 3221214576 1131478353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29219 13073 16 0 210760 0
vsize: 843104
[startup+1020.14 s]
Raw data (loadavg): 1.08 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 99960 67 0 0 25 0 11 0 482106062 863338496 29270 4294967295 134512640 134569956 3221224400 3221214680 1131611347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29270 13073 16 0 210760 0
vsize: 843104
[startup+1030.14 s]
Raw data (loadavg): 1.07 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 100953 67 0 0 25 0 11 0 482106062 863338496 29273 4294967295 134512640 134569956 3221224400 3221214680 1131611220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 29273 13073 16 0 210760 0
vsize: 843104
[startup+1040.14 s]
Raw data (loadavg): 1.06 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 101951 67 0 0 25 0 11 0 482106062 863338496 29273 4294967295 134512640 134569956 3221224400 3221214832 1131439392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 29273 13073 16 0 210760 0
vsize: 843104
[startup+1050.14 s]
Raw data (loadavg): 1.05 1.02 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 102946 67 0 0 25 0 11 0 482106062 863338496 29273 4294967295 134512640 134569956 3221224400 3221214376 1076461342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29273 13073 16 0 210760 0
vsize: 843104
[startup+1060.14 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 103944 67 0 0 25 0 11 0 482106062 863338496 29273 4294967295 134512640 134569956 3221224400 3221214664 1131247342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29273 13073 16 0 210760 0
vsize: 843104
[startup+1070.14 s]
Raw data (loadavg): 1.04 1.02 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 104939 67 0 0 25 0 11 0 482106062 863338496 29273 4294967295 134512640 134569956 3221224400 3221214680 1131611216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29273 13073 16 0 210760 0
vsize: 843104
[startup+1080.14 s]
Raw data (loadavg): 1.03 1.02 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 105936 68 0 0 25 0 11 0 482106062 863338496 29273 4294967295 134512640 134569956 3221224400 3221214680 1131611347 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29273 13073 16 0 210760 0
vsize: 843104
[startup+1090.14 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 106934 68 0 0 25 0 11 0 482106062 863338496 29273 4294967295 134512640 134569956 3221224400 3221214720 1131450506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 29273 13073 16 0 210760 0
vsize: 843104
[startup+1100.14 s]
Raw data (loadavg): 1.10 1.04 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 107924 68 0 0 25 0 11 0 482106062 863338496 29273 4294967295 134512640 134569956 3221224400 3221214800 1131243365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29273 13073 16 0 210760 0
vsize: 843104
[startup+1110.14 s]
Raw data (loadavg): 1.08 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 108909 68 0 0 25 0 11 0 482106062 863338496 29273 4294967295 134512640 134569956 3221224400 3221214680 1131611225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29273 13073 16 0 210760 0
vsize: 843104
[startup+1120.14 s]
Raw data (loadavg): 1.07 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 109904 69 0 0 25 0 11 0 482106062 863338496 29273 4294967295 134512640 134569956 3221224400 3221214680 1131611216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29273 13073 16 0 210760 0
vsize: 843104
[startup+1130.14 s]
Raw data (loadavg): 1.06 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 110898 69 0 0 25 0 11 0 482106062 863338496 29273 4294967295 134512640 134569956 3221224400 3221214680 1131611216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 29273 13073 16 0 210760 0
vsize: 843104
[startup+1140.14 s]
Raw data (loadavg): 1.05 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 111887 69 0 0 25 0 11 0 482106062 863338496 29389 4294967295 134512640 134569956 3221224400 3221214576 1131311639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29389 13073 16 0 210760 0
vsize: 843104
[startup+1150.14 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 112880 69 0 0 25 0 11 0 482106062 863338496 29411 4294967295 134512640 134569956 3221224400 3221214680 1131611347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 29411 13073 16 0 210760 0
vsize: 843104
[startup+1160.14 s]
Raw data (loadavg): 1.04 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 113872 69 0 0 25 0 11 0 482106062 863338496 29430 4294967295 134512640 134569956 3221224400 3221214680 1131611238 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29430 13073 16 0 210760 0
vsize: 843104
[startup+1170.14 s]
Raw data (loadavg): 1.03 1.03 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 114864 70 0 0 25 0 11 0 482106062 863338496 29430 4294967295 134512640 134569956 3221224400 3221214680 1131611216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210776 29430 13073 16 0 210760 0
vsize: 843104
[startup+1180.14 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 115855 70 0 0 25 0 11 0 482106062 863338496 29430 4294967295 134512640 134569956 3221224400 3221214680 1131611284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29430 13073 16 0 210760 0
vsize: 843104
[startup+1190.14 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 116846 70 0 0 25 0 11 0 482106062 863338496 29517 4294967295 134512640 134569956 3221224400 3221214760 1131444928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29517 13073 16 0 210760 0
vsize: 843104
[startup+1200.14 s]
Raw data (loadavg): 1.02 1.02 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 117837 71 0 0 25 0 11 0 482106062 863338496 29595 4294967295 134512640 134569956 3221224400 3221214800 1131242968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29595 13073 16 0 210760 0
vsize: 843104
[startup+1210.14 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 118827 71 0 0 25 0 11 0 482106062 863338496 29598 4294967295 134512640 134569956 3221224400 3221214680 1131611220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29598 13073 16 0 210760 0
vsize: 843104
[startup+1220.14 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 119818 71 0 0 25 0 11 0 482106062 863338496 29598 4294967295 134512640 134569956 3221224400 3221214680 1131611220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29598 13073 16 0 210760 0
vsize: 843104
[startup+1230.14 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 14411
Raw data (stat): 14400 (java) R 14399 20937 20936 0 -1 0 18078 3 1 0 120814 71 0 0 25 0 11 0 482106062 863338496 29598 4294967295 134512640 134569956 3221224400 3221214680 1131611212 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210776 29598 13073 16 0 210760 0
vsize: 843104
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.23 s]
Raw data (loadavg): 1.01 1.02 0.98 1/54 14413
Raw data (stat): 14400 (java) Z 14399 20937 20936 0 -1 1036 18078 8936 1 0 120817 71 1757 27 25 0 1 0 482106062 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): 1230.23
CPU time (s): 1226.74
CPU user time (s): 1225.74
CPU system time (s): 0.994848
CPU usage (%): 99.7162
Max. virtual memory (Kb): 845152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####