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/unibo/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	978e3479aff123296d0a3461e698e01d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	14101
Biggest coefficient in the objective function	292878668
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	975388850291
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	292878668
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	975388850291
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	10.9513
Number of variables	14101
Total number of constraints	15862
Number of constraints which are clauses	181
Number of constraints which are cardinality constraints (but not clauses)	15263
Number of constraints which are nor clauses,nor cardinality constraints	418
Minimum length of a constraint	1
Maximum length of a constraint	2463
Trace number 13295

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc12 THE 2005-04-20 20:23:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15232 boxname=wulflinc12 idbench=1172 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  978e3479aff123296d0a3461e698e01d  /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-sp97ar.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-sp97ar.opb
IDLAUNCH: 15232
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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.091
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:        747976 kB
Buffers:         35028 kB
Cached:         229148 kB
SwapCached:          4 kB
Active:         130232 kB
Inactive:       136712 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        747724 kB
SwapTotal:     2097136 kB
SwapFree:      2097044 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6816 kB
Slab:            14104 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 20:44:20 (client local time) WITH STATUS 143 IN 1218.02 SECONDS
stats: 15232 7 1218.02 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-sp97ar.opb
c reading problem 
c [nbvar=14101]
c [nbconstr=15862]
c time 70.431
c #vars     14101
c #clauses  1740
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.16 0.03 0.01 1/54 10909
Raw data (stat): 10909 (runsolver) D 10908 25285 25284 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 481068437 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.29 0.06 0.02 2/63 10918
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 17980 0 1 0 837 44 0 0 25 0 10 0 481068437 853635072 19147 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208407 19147 13073 16 0 208391 0
vsize: 833628
[startup+20.0017 s]
Raw data (loadavg): 0.40 0.09 0.03 2/63 10918
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 17980 0 1 0 1735 45 0 0 22 0 10 0 481068437 853630976 19617 4294967295 134512640 134569956 3221224400 3221214824 1131219196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 19617 13073 16 0 208390 0
vsize: 833624
[startup+30.0008 s]
Raw data (loadavg): 0.49 0.12 0.04 2/63 10918
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 17980 0 1 0 2634 45 0 0 25 0 10 0 481068437 853630976 20053 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 20053 13073 16 0 208390 0
vsize: 833624
[startup+40.0054 s]
Raw data (loadavg): 0.57 0.15 0.05 2/63 10918
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 17980 0 1 0 3564 45 0 0 25 0 10 0 481068437 853630976 20282 4294967295 134512640 134569956 3221224400 3221214192 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 20282 13073 16 0 208390 0
vsize: 833624
[startup+50.0111 s]
Raw data (loadavg): 0.63 0.18 0.06 2/63 10918
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 17980 0 1 0 4494 45 0 0 25 0 10 0 481068437 853630976 20403 4294967295 134512640 134569956 3221224400 3221214824 1131219077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208406 20403 13073 16 0 208390 0
vsize: 833624
[startup+60.0119 s]
Raw data (loadavg): 0.85 0.24 0.08 4/63 10918
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 17989 0 1 0 5430 46 0 0 25 0 10 0 481068437 860561408 22053 4294967295 134512640 134569956 3221224400 3221214416 1131266446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210098 22053 13073 16 0 210082 0
vsize: 840392
[startup+70.012 s]
Raw data (loadavg): 0.95 0.28 0.10 2/63 10918
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 17996 0 1 0 6404 49 0 0 25 0 10 0 481068437 863539200 23446 4294967295 134512640 134569956 3221224400 3221214908 1080204198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210825 23446 13073 16 0 210809 0
vsize: 843300
[startup+80.0302 s]
Raw data (loadavg): 0.95 0.30 0.10 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18064 0 1 0 7261 50 0 0 25 0 11 0 481068437 862957568 25624 4294967295 134512640 134569956 3221224400 3221214744 1131605091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 25624 13073 16 0 210667 0
vsize: 842732
[startup+90.0307 s]
Raw data (loadavg): 1.04 0.34 0.12 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18064 0 1 0 8196 51 0 0 24 0 11 0 481068437 862957568 25634 4294967295 134512640 134569956 3221224400 3221214392 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 25634 13073 16 0 210667 0
vsize: 842732
[startup+100.047 s]
Raw data (loadavg): 1.03 0.36 0.13 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18064 0 1 0 9165 51 0 0 25 0 11 0 481068437 862957568 25634 4294967295 134512640 134569956 3221224400 3221214744 1131605580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 25634 13073 16 0 210667 0
vsize: 842732
[startup+110.064 s]
Raw data (loadavg): 1.03 0.38 0.14 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18064 0 1 0 10134 52 0 0 25 0 11 0 481068437 862957568 25646 4294967295 134512640 134569956 3221224400 3221214768 1131308670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 25646 13073 16 0 210667 0
vsize: 842732
[startup+120.065 s]
Raw data (loadavg): 1.02 0.40 0.14 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 11080 52 0 0 25 0 11 0 481068437 862957568 25673 4294967295 134512640 134569956 3221224400 3221214552 1131761954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 25673 13073 16 0 210667 0
vsize: 842732
[startup+130.075 s]
Raw data (loadavg): 1.02 0.42 0.15 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 12036 53 0 0 25 0 11 0 481068437 862957568 25673 4294967295 134512640 134569956 3221224400 3221214552 1131261408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 25673 13073 16 0 210667 0
vsize: 842732
[startup+140.075 s]
Raw data (loadavg): 1.02 0.44 0.16 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 12964 53 0 0 25 0 11 0 481068437 862957568 25673 4294967295 134512640 134569956 3221224400 3221214552 1131261408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 25673 13073 16 0 210667 0
vsize: 842732
[startup+150.076 s]
Raw data (loadavg): 1.01 0.46 0.17 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 13902 53 0 0 25 0 11 0 481068437 862957568 25673 4294967295 134512640 134569956 3221224400 3221214552 1131261769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 25673 13073 16 0 210667 0
vsize: 842732
[startup+160.077 s]
Raw data (loadavg): 1.01 0.48 0.18 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 14856 54 0 0 25 0 11 0 481068437 862957568 26019 4294967295 134512640 134569956 3221224400 3221214656 1131748904 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26019 13073 16 0 210667 0
vsize: 842732
[startup+170.077 s]
Raw data (loadavg): 1.01 0.49 0.19 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 15832 54 0 0 25 0 11 0 481068437 862957568 26336 4294967295 134512640 134569956 3221224400 3221214656 1131748857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 26336 13073 16 0 210667 0
vsize: 842732
[startup+180.08 s]
Raw data (loadavg): 1.01 0.51 0.20 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 16831 54 0 0 25 0 11 0 481068437 862957568 26336 4294967295 134512640 134569956 3221224400 3221214552 1131261588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 26336 13073 16 0 210667 0
vsize: 842732
[startup+190.082 s]
Raw data (loadavg): 1.00 0.52 0.20 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 17817 54 0 0 25 0 11 0 481068437 862957568 26336 4294967295 134512640 134569956 3221224400 3221214532 1131546823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26336 13073 16 0 210667 0
vsize: 842732
[startup+200.083 s]
Raw data (loadavg): 1.00 0.54 0.21 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 18787 54 0 0 24 0 11 0 481068437 862957568 26336 4294967295 134512640 134569956 3221224400 3221214376 1131635964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26336 13073 16 0 210667 0
vsize: 842732
[startup+210.083 s]
Raw data (loadavg): 1.00 0.55 0.22 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 19761 55 0 0 25 0 11 0 481068437 862957568 26336 4294967295 134512640 134569956 3221224400 3221214456 1131599584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 26336 13073 16 0 210667 0
vsize: 842732
[startup+220.088 s]
Raw data (loadavg): 1.00 0.57 0.23 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 20733 55 0 0 25 0 11 0 481068437 862957568 26336 4294967295 134512640 134569956 3221224400 3221214592 1131261521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26336 13073 16 0 210667 0
vsize: 842732
[startup+230.088 s]
Raw data (loadavg): 1.00 0.58 0.23 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 21721 55 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214376 1131635865 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+240.088 s]
Raw data (loadavg): 1.00 0.60 0.24 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 22714 56 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221213984 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+250.088 s]
Raw data (loadavg): 1.00 0.61 0.25 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 23708 56 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214576 1131605928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+260.09 s]
Raw data (loadavg): 1.00 0.62 0.26 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 24702 56 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214376 1131580070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+270.09 s]
Raw data (loadavg): 1.00 0.63 0.27 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 25694 57 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214328 1131731137 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+280.091 s]
Raw data (loadavg): 1.00 0.64 0.27 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 26688 57 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214376 1131579913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+290.092 s]
Raw data (loadavg): 1.00 0.66 0.28 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 27681 57 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214576 1131607382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+300.092 s]
Raw data (loadavg): 1.00 0.67 0.29 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 28674 58 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214424 1131586767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+310.093 s]
Raw data (loadavg): 1.00 0.68 0.29 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 29668 58 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214168 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+320.094 s]
Raw data (loadavg): 1.00 0.69 0.30 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 30661 58 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214448 1131584213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+330.094 s]
Raw data (loadavg): 1.00 0.70 0.31 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 31653 58 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214504 1131573172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+340.094 s]
Raw data (loadavg): 1.00 0.71 0.31 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 32647 59 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214504 1131572389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+350.095 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 33639 59 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214572 1131599404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+360.096 s]
Raw data (loadavg): 1.00 0.72 0.33 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 34633 59 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214448 1131583718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+370.097 s]
Raw data (loadavg): 1.00 0.73 0.34 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 35627 59 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214552 1131261408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+380.096 s]
Raw data (loadavg): 1.00 0.74 0.34 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 36620 60 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214552 1131261671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+390.097 s]
Raw data (loadavg): 1.00 0.75 0.35 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 37613 60 0 0 25 0 11 0 481068437 862957568 26557 4294967295 134512640 134569956 3221224400 3221214552 1131261571 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26557 13073 16 0 210667 0
vsize: 842732
[startup+400.097 s]
Raw data (loadavg): 1.00 0.76 0.36 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 38606 61 0 0 25 0 11 0 481068437 862957568 26655 4294967295 134512640 134569956 3221224400 3221214656 1131748857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 26655 13073 16 0 210667 0
vsize: 842732
[startup+410.098 s]
Raw data (loadavg): 1.00 0.76 0.36 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 39602 61 0 0 25 0 11 0 481068437 862957568 26655 4294967295 134512640 134569956 3221224400 3221214424 1131586086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26655 13073 16 0 210667 0
vsize: 842732
[startup+420.099 s]
Raw data (loadavg): 1.00 0.77 0.37 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 40571 61 0 0 25 0 11 0 481068437 862957568 26655 4294967295 134512640 134569956 3221224400 3221214504 1131572360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26655 13073 16 0 210667 0
vsize: 842732
[startup+430.098 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 41544 61 0 0 25 0 11 0 481068437 862957568 26655 4294967295 134512640 134569956 3221224400 3221214576 1131605559 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 26655 13073 16 0 210667 0
vsize: 842732
[startup+440.098 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 42514 62 0 0 25 0 11 0 481068437 862957568 26655 4294967295 134512640 134569956 3221224400 3221214232 1080217052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 26655 13073 16 0 210667 0
vsize: 842732
[startup+450.099 s]
Raw data (loadavg): 1.00 0.79 0.39 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 43478 62 0 0 25 0 11 0 481068437 862957568 26816 4294967295 134512640 134569956 3221224400 3221214508 1080204306 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 26816 13073 16 0 210667 0
vsize: 842732
[startup+460.101 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 44455 62 0 0 25 0 11 0 481068437 862957568 26816 4294967295 134512640 134569956 3221224400 3221214504 1131573154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 26816 13073 16 0 210667 0
vsize: 842732
[startup+470.102 s]
Raw data (loadavg): 1.00 0.80 0.40 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 45429 62 0 0 25 0 11 0 481068437 862957568 26816 4294967295 134512640 134569956 3221224400 3221214504 1131572749 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 26816 13073 16 0 210667 0
vsize: 842732
[startup+480.102 s]
Raw data (loadavg): 1.00 0.81 0.40 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 46405 62 0 0 25 0 11 0 481068437 862957568 26816 4294967295 134512640 134569956 3221224400 3221214376 1131636157 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 26816 13073 16 0 210667 0
vsize: 842732
[startup+490.102 s]
Raw data (loadavg): 1.00 0.82 0.41 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 47397 62 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214376 1131579974 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+500.102 s]
Raw data (loadavg): 1.00 0.82 0.42 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 48392 62 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214340 1079721462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+510.103 s]
Raw data (loadavg): 1.00 0.83 0.42 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 49386 62 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214472 1131591653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+520.104 s]
Raw data (loadavg): 1.00 0.83 0.43 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 50381 62 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214504 1131573157 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+530.104 s]
Raw data (loadavg): 1.00 0.84 0.43 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 51375 62 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214448 1131584172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+540.107 s]
Raw data (loadavg): 1.00 0.84 0.44 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 52369 62 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214564 1080203678 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+550.118 s]
Raw data (loadavg): 1.00 0.85 0.45 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 53365 63 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214592 1131261727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+560.129 s]
Raw data (loadavg): 1.00 0.85 0.45 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 54361 63 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214344 1131696231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+570.13 s]
Raw data (loadavg): 1.00 0.86 0.46 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 55357 63 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214424 1131586651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+580.131 s]
Raw data (loadavg): 1.00 0.86 0.46 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 56351 63 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214504 1131573764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+590.135 s]
Raw data (loadavg): 1.00 0.86 0.47 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 57345 63 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214552 1131261217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+600.135 s]
Raw data (loadavg): 1.00 0.87 0.47 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 58340 63 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214656 1131748857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+610.136 s]
Raw data (loadavg): 1.00 0.87 0.48 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 59333 63 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214560 1131308225 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+620.136 s]
Raw data (loadavg): 1.00 0.88 0.48 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 60328 63 0 0 25 0 11 0 481068437 862957568 27037 4294967295 134512640 134569956 3221224400 3221214656 1131748545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27037 13073 16 0 210667 0
vsize: 842732
[startup+630.139 s]
Raw data (loadavg): 1.00 0.88 0.49 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 61324 63 0 0 25 0 11 0 481068437 862957568 27140 4294967295 134512640 134569956 3221224400 3221214552 1131261698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27140 13073 16 0 210667 0
vsize: 842732
[startup+640.139 s]
Raw data (loadavg): 1.00 0.88 0.49 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 62321 63 0 0 25 0 11 0 481068437 862957568 27140 4294967295 134512640 134569956 3221224400 3221214424 1131586173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27140 13073 16 0 210667 0
vsize: 842732
[startup+650.139 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 63311 63 0 0 25 0 11 0 481068437 862957568 27140 4294967295 134512640 134569956 3221224400 3221214504 1131573923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27140 13073 16 0 210667 0
vsize: 842732
[startup+660.149 s]
Raw data (loadavg): 1.00 0.89 0.50 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 64304 63 0 0 25 0 11 0 481068437 862957568 27140 4294967295 134512640 134569956 3221224400 3221213984 1080019733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27140 13073 16 0 210667 0
vsize: 842732
[startup+670.156 s]
Raw data (loadavg): 1.00 0.89 0.51 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 65295 64 0 0 25 0 11 0 481068437 862957568 27140 4294967295 134512640 134569956 3221224400 3221214504 1131573058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27140 13073 16 0 210667 0
vsize: 842732
[startup+680.157 s]
Raw data (loadavg): 1.00 0.90 0.51 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 66288 64 0 0 25 0 11 0 481068437 862957568 27148 4294967295 134512640 134569956 3221224400 3221214328 1131731618 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27148 13073 16 0 210667 0
vsize: 842732
[startup+690.157 s]
Raw data (loadavg): 1.00 0.90 0.52 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 67280 64 0 0 25 0 11 0 481068437 862957568 27148 4294967295 134512640 134569956 3221224400 3221214296 1131729597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27148 13073 16 0 210667 0
vsize: 842732
[startup+700.157 s]
Raw data (loadavg): 1.00 0.90 0.52 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 68273 64 0 0 25 0 11 0 481068437 862957568 27148 4294967295 134512640 134569956 3221224400 3221214500 1131585767 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27148 13073 16 0 210667 0
vsize: 842732
[startup+710.167 s]
Raw data (loadavg): 1.00 0.90 0.53 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 69266 64 0 0 25 0 11 0 481068437 862957568 27148 4294967295 134512640 134569956 3221224400 3221214376 1131635880 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27148 13073 16 0 210667 0
vsize: 842732
[startup+720.27 s]
Raw data (loadavg): 1.00 0.91 0.53 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 70267 64 0 0 25 0 11 0 481068437 862957568 27148 4294967295 134512640 134569956 3221224400 3221214488 1131547048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27148 13073 16 0 210667 0
vsize: 842732
[startup+730.269 s]
Raw data (loadavg): 1.00 0.91 0.54 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 71243 64 0 0 25 0 11 0 481068437 862957568 27148 4294967295 134512640 134569956 3221224400 3221214216 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27148 13073 16 0 210667 0
vsize: 842732
[startup+740.276 s]
Raw data (loadavg): 1.00 0.91 0.54 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 72217 65 0 0 24 0 11 0 481068437 862957568 27148 4294967295 134512640 134569956 3221224400 3221214536 1131545680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27148 13073 16 0 210667 0
vsize: 842732
[startup+750.276 s]
Raw data (loadavg): 1.00 0.91 0.54 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 73194 65 0 0 25 0 11 0 481068437 862957568 27148 4294967295 134512640 134569956 3221224400 3221214376 1131636638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27148 13073 16 0 210667 0
vsize: 842732
[startup+760.277 s]
Raw data (loadavg): 1.08 0.93 0.55 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 74171 65 0 0 24 0 11 0 481068437 862957568 27369 4294967295 134512640 134569956 3221224400 3221214000 1076874552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27369 13073 16 0 210667 0
vsize: 842732
[startup+770.277 s]
Raw data (loadavg): 1.07 0.94 0.56 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 75166 65 0 0 25 0 11 0 481068437 862957568 27369 4294967295 134512640 134569956 3221224400 3221214504 1131572980 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27369 13073 16 0 210667 0
vsize: 842732
[startup+780.281 s]
Raw data (loadavg): 1.06 0.94 0.56 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 76160 65 0 0 25 0 11 0 481068437 862957568 27369 4294967295 134512640 134569956 3221224400 3221214168 1080217364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27369 13073 16 0 210667 0
vsize: 842732
[startup+790.282 s]
Raw data (loadavg): 1.05 0.94 0.57 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 77155 65 0 0 25 0 11 0 481068437 862957568 27369 4294967295 134512640 134569956 3221224400 3221214576 1131606244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27369 13073 16 0 210667 0
vsize: 842732
[startup+800.282 s]
Raw data (loadavg): 1.04 0.94 0.57 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 78149 65 0 0 25 0 11 0 481068437 862957568 27369 4294967295 134512640 134569956 3221224400 3221214376 1131638421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27369 13073 16 0 210667 0
vsize: 842732
[startup+810.285 s]
Raw data (loadavg): 1.03 0.94 0.57 2/64 10919
Raw data (stat): 10909 (java) S 10908 25285 25284 0 -1 0 18066 0 1 0 79138 65 0 0 25 0 11 0 481068437 862957568 27369 4294967295 134512640 134569956 3221224400 3221213296 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27369 13073 16 0 210667 0
vsize: 842732
[startup+820.286 s]
Raw data (loadavg): 1.03 0.94 0.58 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 80112 66 0 0 25 0 11 0 481068437 862957568 27369 4294967295 134512640 134569956 3221224400 3221214656 1131748857 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27369 13073 16 0 210667 0
vsize: 842732
[startup+830.298 s]
Raw data (loadavg): 1.02 0.94 0.58 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 81085 66 0 0 25 0 11 0 481068437 862957568 27369 4294967295 134512640 134569956 3221224400 3221214520 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27369 13073 16 0 210667 0
vsize: 842732
[startup+840.298 s]
Raw data (loadavg): 1.02 0.95 0.59 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 82057 66 0 0 25 0 11 0 481068437 862957568 27369 4294967295 134512640 134569956 3221224400 3221214656 1131748545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27369 13073 16 0 210667 0
vsize: 842732
[startup+850.298 s]
Raw data (loadavg): 1.02 0.95 0.59 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 83043 66 0 0 25 0 11 0 481068437 862957568 27699 4294967295 134512640 134569956 3221224400 3221214552 1131261698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27699 13073 16 0 210667 0
vsize: 842732
[startup+860.304 s]
Raw data (loadavg): 1.01 0.95 0.59 2/64 10919
Raw data (stat): 10909 (java) S 10908 25285 25284 0 -1 0 18066 0 1 0 84037 66 0 0 25 0 11 0 481068437 862957568 27699 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27699 13073 16 0 210667 0
vsize: 842732
[startup+870.303 s]
Raw data (loadavg): 1.01 0.95 0.60 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18066 0 1 0 85008 66 0 0 24 0 11 0 481068437 862957568 27702 4294967295 134512640 134569956 3221224400 3221214408 1131667489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 27702 13073 16 0 210667 0
vsize: 842732
[startup+880.307 s]
Raw data (loadavg): 1.01 0.95 0.60 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 85987 67 0 0 25 0 11 0 481068437 862957568 27703 4294967295 134512640 134569956 3221224400 3221214416 1131664503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 27703 13073 16 0 210667 0
vsize: 842732
[startup+890.31 s]
Raw data (loadavg): 1.01 0.95 0.61 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 86963 67 0 0 25 0 11 0 481068437 862957568 27708 4294967295 134512640 134569956 3221224400 3221214312 1131261571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27708 13073 16 0 210667 0
vsize: 842732
[startup+900.31 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 87940 67 0 0 25 0 11 0 481068437 862957568 27946 4294967295 134512640 134569956 3221224400 3221214312 1131261706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27946 13073 16 0 210667 0
vsize: 842732
[startup+910.316 s]
Raw data (loadavg): 1.00 0.95 0.61 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 88939 67 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214408 1131667367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+920.321 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 89937 67 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+930.32 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 90936 67 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214304 1131261209 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+940.327 s]
Raw data (loadavg): 1.00 0.95 0.62 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 91934 68 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214304 1131261706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+950.336 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 92932 68 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214304 1131261571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+960.337 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 93930 68 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214408 1131667415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+970.338 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 94929 68 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+980.345 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 95928 68 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214400 1131813521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+990.345 s]
Raw data (loadavg): 1.00 0.96 0.64 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 96926 68 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214416 1131664503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1000.35 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 97924 68 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214304 1131261408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1010.35 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 98923 69 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1020.36 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 99923 69 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1030.38 s]
Raw data (loadavg): 1.00 0.96 0.65 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 100922 69 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214304 1131261571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1040.39 s]
Raw data (loadavg): 1.00 0.96 0.66 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 101922 69 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214416 1131664503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1050.41 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 102922 69 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214400 1131814265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1060.51 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 103931 69 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1070.53 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 104931 69 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1080.54 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 105930 69 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214400 1131815069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1090.54 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 106928 69 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214408 1131667360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1100.54 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 107927 70 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1110.55 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 108926 70 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214400 1131813377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1120.55 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 109925 70 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1130.61 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 110929 70 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214400 1131813496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1140.62 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 111928 70 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1150.63 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 112927 70 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1160.63 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 113925 70 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261487 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1170.75 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 114935 70 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214304 1131261408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1180.75 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 115933 70 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1190.85 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 116940 70 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1200.85 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 117939 70 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214400 1131813023 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1210.9 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 118942 71 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214312 1131261571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
[startup+1220.91 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 10919
Raw data (stat): 10909 (java) R 10908 25285 25284 0 -1 0 18067 0 1 0 119941 71 0 0 25 0 11 0 481068437 862957568 27959 4294967295 134512640 134569956 3221224400 3221214400 1131814031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210683 27959 13073 16 0 210667 0
vsize: 842732
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1221.04 s]
Raw data (loadavg): 1.00 0.97 0.71 1/54 10921
Raw data (stat): 10909 (java) Z 10908 25285 25284 0 -1 1036 18067 7363 1 0 119947 71 1756 26 25 0 1 0 481068437 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): 1221.04
CPU time (s): 1218.02
CPU user time (s): 1217.04
CPU system time (s): 0.98085
CPU usage (%): 99.7528
Max. virtual memory (Kb): 843300
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####