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/MIPLIB/miplib/normalized-mps-v2-13-7-modglob.opb
MD5SUM	6a1cb641fd0d264267e84120b98acbe3
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6578
Biggest coefficient in the objective function	21493710848000000
Number of bits for the biggest coefficient in the objective function	55
Sum of the numbers in the objective function	1450509811657714210
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	21493710848000000
Number of bits of the biggest number in a constraint	55
Biggest sum of numbers in a constraint	1450509811657714210
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.06299
Number of variables	6578
Total number of constraints	389
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	98
Number of constraints which are nor clauses,nor cardinality constraints	291
Minimum length of a constraint	1
Maximum length of a constraint	180
Trace number 19066

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        687472 kB
Buffers:         26816 kB
Cached:         295900 kB
SwapCached:        556 kB
Active:          36440 kB
Inactive:       288312 kB
HighTotal:      131008 kB
HighFree:         3500 kB
LowTotal:       903652 kB
LowFree:        683972 kB
SwapTotal:     2097892 kB
SwapFree:      2096388 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           5164 kB
Slab:            16760 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 18:05:30 (client local time) WITH STATUS 143 IN 1252.24 SECONDS
stats: 17065 7 1252.24 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-modglob.opb
c reading problem 
c [nbvar=6578]
c [nbconstr=389]
c time 17.298
c #vars     6578
c #clauses  385
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.60 0.86 0.88 2/55 5601
Raw data (stat): 5601 (runsolver) R 5600 22929 22928 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 546974332 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+9.99978 s]
Raw data (loadavg): 0.66 0.86 0.88 2/64 5612
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 17993 0 1 0 883 41 0 0 25 0 10 0 546974332 853966848 19171 4294967295 134512640 134569956 3221224400 3221214700 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208488 19171 13073 16 0 208472 0
vsize: 833952
[startup+20.002 s]
Raw data (loadavg): 0.87 0.90 0.89 4/65 5613
Raw data (stat): 5601 (java) S 5600 22929 22928 0 -1 0 18093 0 1 0 1654 42 0 0 24 0 11 0 546974332 876232704 25246 4294967295 134512640 134569956 3221224400 3221214220 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213924 25246 13073 16 0 213908 0
vsize: 855696
[startup+30.003 s]
Raw data (loadavg): 1.20 0.97 0.91 3/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18135 0 1 0 2328 42 0 0 25 0 11 0 546974332 874991616 25939 4294967295 134512640 134569956 3221224400 3221214664 1131550915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213621 25939 13073 16 0 213605 0
vsize: 854484
[startup+40.0023 s]
Raw data (loadavg): 1.32 1.00 0.92 3/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18136 0 1 0 3249 42 0 0 25 0 11 0 546974332 876244992 27310 4294967295 134512640 134569956 3221224400 3221214848 1131398048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213927 27310 13073 16 0 213911 0
vsize: 855708
[startup+50.0033 s]
Raw data (loadavg): 1.35 1.02 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18136 0 1 0 4220 43 0 0 25 0 11 0 546974332 871813120 26188 4294967295 134512640 134569956 3221224400 3221214624 1131614565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 26188 13073 16 0 212829 0
vsize: 851380
[startup+60.003 s]
Raw data (loadavg): 1.29 1.02 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18136 0 1 0 5200 43 0 0 25 0 11 0 546974332 871813120 26188 4294967295 134512640 134569956 3221224400 3221214480 1131538754 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 26188 13073 16 0 212829 0
vsize: 851380
[startup+70.0036 s]
Raw data (loadavg): 1.25 1.02 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18136 0 1 0 6169 43 0 0 25 0 11 0 546974332 871813120 26188 4294967295 134512640 134569956 3221224400 3221214760 1131357517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 26188 13073 16 0 212829 0
vsize: 851380
[startup+80.0049 s]
Raw data (loadavg): 1.21 1.01 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 7118 43 0 0 25 0 11 0 546974332 871813120 26214 4294967295 134512640 134569956 3221224400 3221214760 1131363494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 26214 13073 16 0 212829 0
vsize: 851380
[startup+90.0047 s]
Raw data (loadavg): 1.18 1.01 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 8083 43 0 0 25 0 11 0 546974332 871813120 26335 4294967295 134512640 134569956 3221224400 3221214680 1131614555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 26335 13073 16 0 212829 0
vsize: 851380
[startup+100.005 s]
Raw data (loadavg): 1.15 1.01 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 9041 43 0 0 25 0 11 0 546974332 871813120 26467 4294967295 134512640 134569956 3221224400 3221214928 1131225113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 26467 13073 16 0 212829 0
vsize: 851380
[startup+110.006 s]
Raw data (loadavg): 1.12 1.01 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 10000 43 0 0 25 0 11 0 546974332 871813120 26582 4294967295 134512640 134569956 3221224400 3221214680 1131614412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 26582 13073 16 0 212829 0
vsize: 851380
[startup+120.007 s]
Raw data (loadavg): 1.10 1.01 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 10959 44 0 0 25 0 11 0 546974332 871813120 26744 4294967295 134512640 134569956 3221224400 3221214576 1131464116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 26744 13073 16 0 212829 0
vsize: 851380
[startup+130.007 s]
Raw data (loadavg): 1.09 1.01 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 11914 44 0 0 25 0 11 0 546974332 871813120 26912 4294967295 134512640 134569956 3221224400 3221214680 1131614416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 26912 13073 16 0 212829 0
vsize: 851380
[startup+140.008 s]
Raw data (loadavg): 1.07 1.01 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 12879 45 0 0 25 0 11 0 546974332 871813120 27030 4294967295 134512640 134569956 3221224400 3221214680 1131614572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 27030 13073 16 0 212829 0
vsize: 851380
[startup+150.009 s]
Raw data (loadavg): 1.06 1.01 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 13846 45 0 0 25 0 11 0 546974332 871813120 27191 4294967295 134512640 134569956 3221224400 3221214680 1131614400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 27191 13073 16 0 212829 0
vsize: 851380
[startup+160.008 s]
Raw data (loadavg): 1.05 1.01 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 14810 45 0 0 25 0 11 0 546974332 871813120 27300 4294967295 134512640 134569956 3221224400 3221214552 1131567550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 27300 13073 16 0 212829 0
vsize: 851380
[startup+170.009 s]
Raw data (loadavg): 1.04 1.01 0.93 3/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 15782 46 0 0 25 0 11 0 546974332 871813120 27420 4294967295 134512640 134569956 3221224400 3221213496 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 27420 13073 16 0 212829 0
vsize: 851380
[startup+180.01 s]
Raw data (loadavg): 1.04 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 16756 46 0 0 25 0 11 0 546974332 871813120 27530 4294967295 134512640 134569956 3221224400 3221214848 1131398055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 27530 13073 16 0 212829 0
vsize: 851380
[startup+190.009 s]
Raw data (loadavg): 1.03 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 17730 46 0 0 25 0 11 0 546974332 871813120 27654 4294967295 134512640 134569956 3221224400 3221214760 1131357653 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 27654 13073 16 0 212829 0
vsize: 851380
[startup+200.01 s]
Raw data (loadavg): 1.03 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 18705 46 0 0 25 0 11 0 546974332 871813120 27760 4294967295 134512640 134569956 3221224400 3221214252 1131606731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 27760 13073 16 0 212829 0
vsize: 851380
[startup+210.009 s]
Raw data (loadavg): 1.02 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 19678 46 0 0 25 0 11 0 546974332 871813120 27847 4294967295 134512640 134569956 3221224400 3221214720 1131483813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 27847 13073 16 0 212829 0
vsize: 851380
[startup+220.01 s]
Raw data (loadavg): 1.02 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 20657 47 0 0 25 0 11 0 546974332 871813120 27936 4294967295 134512640 134569956 3221224400 3221214704 1131228897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 27936 13073 16 0 212829 0
vsize: 851380
[startup+230.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 21634 47 0 0 25 0 11 0 546974332 871813120 28093 4294967295 134512640 134569956 3221224400 3221214544 1131606743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28093 13073 16 0 212829 0
vsize: 851380
[startup+240.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 22616 47 0 0 25 0 11 0 546974332 871813120 28173 4294967295 134512640 134569956 3221224400 3221214840 1131718163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 28173 13073 16 0 212829 0
vsize: 851380
[startup+250.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 23598 48 0 0 25 0 11 0 546974332 871813120 28281 4294967295 134512640 134569956 3221224400 3221214392 1131930288 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28281 13073 16 0 212829 0
vsize: 851380
[startup+260.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 24581 48 0 0 25 0 11 0 546974332 871813120 28328 4294967295 134512640 134569956 3221224400 3221214664 1131279689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28328 13073 16 0 212829 0
vsize: 851380
[startup+270.011 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 25565 48 0 0 25 0 11 0 546974332 871813120 28391 4294967295 134512640 134569956 3221224400 3221214720 1131483899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28391 13073 16 0 212829 0
vsize: 851380
[startup+280.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 26550 49 0 0 25 0 11 0 546974332 871813120 28459 4294967295 134512640 134569956 3221224400 3221214760 1131356464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28459 13073 16 0 212829 0
vsize: 851380
[startup+290.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 27534 49 0 0 25 0 11 0 546974332 871813120 28536 4294967295 134512640 134569956 3221224400 3221214080 1085679741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28536 13073 16 0 212829 0
vsize: 851380
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5613
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 28518 50 0 0 25 0 11 0 546974332 871813120 28611 4294967295 134512640 134569956 3221224400 3221214760 1131360151 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28611 13073 16 0 212829 0
vsize: 851380
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 29505 50 0 0 25 0 11 0 546974332 871813120 28672 4294967295 134512640 134569956 3221224400 3221214664 1131279932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28672 13073 16 0 212829 0
vsize: 851380
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 30487 50 0 0 25 0 11 0 546974332 871813120 28734 4294967295 134512640 134569956 3221224400 3221214784 1131332603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28734 13073 16 0 212829 0
vsize: 851380
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 31471 51 0 0 25 0 11 0 546974332 871813120 28782 4294967295 134512640 134569956 3221224400 3221214664 1131279689 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28782 13073 16 0 212829 0
vsize: 851380
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 32453 51 0 0 25 0 11 0 546974332 871813120 28828 4294967295 134512640 134569956 3221224400 3221214680 1131614572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28828 13073 16 0 212829 0
vsize: 851380
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 33436 51 0 0 25 0 11 0 546974332 871813120 28872 4294967295 134512640 134569956 3221224400 3221214664 1131279465 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28872 13073 16 0 212829 0
vsize: 851380
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 34409 51 0 0 25 0 11 0 546974332 871813120 28923 4294967295 134512640 134569956 3221224400 3221214680 1131614430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28923 13073 16 0 212829 0
vsize: 851380
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 35379 51 0 0 25 0 11 0 546974332 871813120 28972 4294967295 134512640 134569956 3221224400 3221214636 1131508339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 28972 13073 16 0 212829 0
vsize: 851380
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 36346 51 0 0 25 0 11 0 546974332 871813120 29044 4294967295 134512640 134569956 3221224400 3221214664 1131279325 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 29044 13073 16 0 212829 0
vsize: 851380
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 37312 52 0 0 25 0 11 0 546974332 871813120 29137 4294967295 134512640 134569956 3221224400 3221214668 1080203737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 29137 13073 16 0 212829 0
vsize: 851380
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 38271 52 0 0 25 0 11 0 546974332 871813120 29262 4294967295 134512640 134569956 3221224400 3221214616 1079721461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 29262 13073 16 0 212829 0
vsize: 851380
[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 39232 52 0 0 25 0 11 0 546974332 871813120 29436 4294967295 134512640 134569956 3221224400 3221214072 1085679284 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 29436 13073 16 0 212829 0
vsize: 851380
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 40197 52 0 0 25 0 11 0 546974332 871813120 29611 4294967295 134512640 134569956 3221224400 3221214664 1131279261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 29611 13073 16 0 212829 0
vsize: 851380
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 41165 53 0 0 25 0 11 0 546974332 871813120 29756 4294967295 134512640 134569956 3221224400 3221214664 1131279836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 29756 13073 16 0 212829 0
vsize: 851380
[startup+440.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 42135 53 0 0 25 0 11 0 546974332 871813120 29880 4294967295 134512640 134569956 3221224400 3221214736 1131551835 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 29880 13073 16 0 212829 0
vsize: 851380
[startup+450.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 43110 53 0 0 25 0 11 0 546974332 871813120 29970 4294967295 134512640 134569956 3221224400 3221214208 1131929761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 29970 13073 16 0 212829 0
vsize: 851380
[startup+460.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 44080 53 0 0 25 0 11 0 546974332 871813120 30069 4294967295 134512640 134569956 3221224400 3221214608 1131477399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 30069 13073 16 0 212829 0
vsize: 851380
[startup+470.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 45057 54 0 0 25 0 11 0 546974332 871813120 30153 4294967295 134512640 134569956 3221224400 3221214664 1131279772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 30153 13073 16 0 212829 0
vsize: 851380
[startup+480.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 46035 54 0 0 25 0 11 0 546974332 871813120 30253 4294967295 134512640 134569956 3221224400 3221214304 1131930072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 30253 13073 16 0 212829 0
vsize: 851380
[startup+490.018 s]
Raw data (loadavg): 1.07 1.02 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 47014 54 0 0 25 0 11 0 546974332 871813120 30344 4294967295 134512640 134569956 3221224400 3221214680 1131614419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 30344 13073 16 0 212829 0
vsize: 851380
[startup+500.018 s]
Raw data (loadavg): 1.06 1.01 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 47995 54 0 0 25 0 11 0 546974332 871813120 30474 4294967295 134512640 134569956 3221224400 3221214680 1131614416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 30474 13073 16 0 212829 0
vsize: 851380
[startup+510.021 s]
Raw data (loadavg): 1.05 1.01 0.93 2/65 5615
Raw data (stat): 5601 (java) S 5600 22929 22928 0 -1 0 18137 0 1 0 48978 54 0 0 25 0 11 0 546974332 871813120 30532 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 30532 13073 16 0 212829 0
vsize: 851380
[startup+520.022 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 49958 54 0 0 25 0 11 0 546974332 871813120 30578 4294967295 134512640 134569956 3221224400 3221214488 1131935340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 30578 13073 16 0 212829 0
vsize: 851380
[startup+530.023 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 50936 54 0 0 25 0 11 0 546974332 871813120 30659 4294967295 134512640 134569956 3221224400 3221214496 1131935801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 30659 13073 16 0 212829 0
vsize: 851380
[startup+540.023 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 51914 54 0 0 25 0 11 0 546974332 871813120 30704 4294967295 134512640 134569956 3221224400 3221214256 1131607892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 30704 13073 16 0 212829 0
vsize: 851380
[startup+550.023 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 52898 54 0 0 25 0 11 0 546974332 871813120 30755 4294967295 134512640 134569956 3221224400 3221214204 1131606217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 30755 13073 16 0 212829 0
vsize: 851380
[startup+560.024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 53878 55 0 0 25 0 11 0 546974332 871813120 30818 4294967295 134512640 134569956 3221224400 3221214400 1131929928 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 30818 13073 16 0 212829 0
vsize: 851380
[startup+570.024 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 54857 55 0 0 25 0 11 0 546974332 871813120 30906 4294967295 134512640 134569956 3221224400 3221213968 1131606700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 30906 13073 16 0 212829 0
vsize: 851380
[startup+580.025 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 55839 55 0 0 25 0 11 0 546974332 871813120 30987 4294967295 134512640 134569956 3221224400 3221213964 1131606736 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 30987 13073 16 0 212829 0
vsize: 851380
[startup+590.025 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 56821 55 0 0 25 0 11 0 546974332 871813120 31078 4294967295 134512640 134569956 3221224400 3221214664 1131279755 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212845 31078 13073 16 0 212829 0
vsize: 851380
[startup+600.025 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 5615
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 57802 55 0 0 25 0 11 0 546974332 871813120 31123 4294967295 134512640 134569956 3221224400 3221214928 1131225113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31123 13073 16 0 212829 0
vsize: 851380
[startup+610.026 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 58784 55 0 0 25 0 11 0 546974332 871813120 31179 4294967295 134512640 134569956 3221224400 3221214128 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31179 13073 16 0 212829 0
vsize: 851380
[startup+620.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 59764 55 0 0 25 0 11 0 546974332 871813120 31253 4294967295 134512640 134569956 3221224400 3221214296 1131932502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31253 13073 16 0 212829 0
vsize: 851380
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 60746 55 0 0 25 0 11 0 546974332 871813120 31341 4294967295 134512640 134569956 3221224400 3221214664 1131279689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31341 13073 16 0 212829 0
vsize: 851380
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 61728 55 0 0 25 0 11 0 546974332 871813120 31396 4294967295 134512640 134569956 3221224400 3221214760 1131357517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31396 13073 16 0 212829 0
vsize: 851380
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 62711 55 0 0 25 0 11 0 546974332 871813120 31484 4294967295 134512640 134569956 3221224400 3221214760 1131356457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31484 13073 16 0 212829 0
vsize: 851380
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 63695 55 0 0 25 0 11 0 546974332 871813120 31527 4294967295 134512640 134569956 3221224400 3221214664 1131279886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31527 13073 16 0 212829 0
vsize: 851380
[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 64680 55 0 0 25 0 11 0 546974332 871813120 31589 4294967295 134512640 134569956 3221224400 3221214720 1131483836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31589 13073 16 0 212829 0
vsize: 851380
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 65664 55 0 0 25 0 11 0 546974332 871813120 31690 4294967295 134512640 134569956 3221224400 3221214648 1131472536 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31690 13073 16 0 212829 0
vsize: 851380
[startup+690.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 66646 55 0 0 25 0 11 0 546974332 871813120 31773 4294967295 134512640 134569956 3221224400 3221214664 1131279778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31773 13073 16 0 212829 0
vsize: 851380
[startup+700.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 67629 55 0 0 25 0 11 0 546974332 871813120 31859 4294967295 134512640 134569956 3221224400 3221214760 1131357553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31859 13073 16 0 212829 0
vsize: 851380
[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 68607 55 0 0 25 0 11 0 546974332 871813120 31925 4294967295 134512640 134569956 3221224400 3221214560 1131506886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31925 13073 16 0 212829 0
vsize: 851380
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 69591 55 0 0 25 0 11 0 546974332 871813120 31975 4294967295 134512640 134569956 3221224400 3221214664 1131279858 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 31975 13073 16 0 212829 0
vsize: 851380
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 70575 55 0 0 25 0 11 0 546974332 871813120 32028 4294967295 134512640 134569956 3221224400 3221214928 1131225113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32028 13073 16 0 212829 0
vsize: 851380
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 71553 55 0 0 25 0 11 0 546974332 871813120 32119 4294967295 134512640 134569956 3221224400 3221214664 1131279878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32119 13073 16 0 212829 0
vsize: 851380
[startup+750.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 72540 55 0 0 25 0 11 0 546974332 871813120 32161 4294967295 134512640 134569956 3221224400 3221214352 1131606799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32161 13073 16 0 212829 0
vsize: 851380
[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 73525 55 0 0 25 0 11 0 546974332 871813120 32216 4294967295 134512640 134569956 3221224400 3221214024 1131725737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32216 13073 16 0 212829 0
vsize: 851380
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 74512 55 0 0 25 0 11 0 546974332 871813120 32265 4294967295 134512640 134569956 3221224400 3221214400 1131929944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32265 13073 16 0 212829 0
vsize: 851380
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 75496 55 0 0 25 0 11 0 546974332 871813120 32306 4294967295 134512640 134569956 3221224400 3221214680 1131614430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32306 13073 16 0 212829 0
vsize: 851380
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 76478 56 0 0 25 0 11 0 546974332 871813120 32384 4294967295 134512640 134569956 3221224400 3221214760 1131356275 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32384 13073 16 0 212829 0
vsize: 851380
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 77461 56 0 0 25 0 11 0 546974332 871813120 32439 4294967295 134512640 134569956 3221224400 3221214760 1131356500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32439 13073 16 0 212829 0
vsize: 851380
[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 78443 56 0 0 25 0 11 0 546974332 871813120 32473 4294967295 134512640 134569956 3221224400 3221214680 1131614555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32473 13073 16 0 212829 0
vsize: 851380
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 79423 56 0 0 25 0 11 0 546974332 871813120 32509 4294967295 134512640 134569956 3221224400 3221214224 1085632310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32509 13073 16 0 212829 0
vsize: 851380
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 80398 56 0 0 25 0 11 0 546974332 871813120 32573 4294967295 134512640 134569956 3221224400 3221214760 1131356500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32573 13073 16 0 212829 0
vsize: 851380
[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 81375 56 0 0 25 0 11 0 546974332 871813120 32640 4294967295 134512640 134569956 3221224400 3221214664 1131279934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32640 13073 16 0 212829 0
vsize: 851380
[startup+850.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 82347 56 0 0 25 0 11 0 546974332 871813120 32737 4294967295 134512640 134569956 3221224400 3221214664 1131279724 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32737 13073 16 0 212829 0
vsize: 851380
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 83324 56 0 0 25 0 11 0 546974332 871813120 32837 4294967295 134512640 134569956 3221224400 3221214496 1131589897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32837 13073 16 0 212829 0
vsize: 851380
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 84304 56 0 0 25 0 11 0 546974332 871813120 32921 4294967295 134512640 134569956 3221224400 3221214680 1131614565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 32921 13073 16 0 212829 0
vsize: 851380
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 85283 56 0 0 25 0 11 0 546974332 871813120 33026 4294967295 134512640 134569956 3221224400 3221214760 1131356504 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33026 13073 16 0 212829 0
vsize: 851380
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 86267 56 0 0 25 0 11 0 546974332 871813120 33098 4294967295 134512640 134569956 3221224400 3221214664 1131279301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33098 13073 16 0 212829 0
vsize: 851380
[startup+900.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5617
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 87249 56 0 0 25 0 11 0 546974332 871813120 33149 4294967295 134512640 134569956 3221224400 3221214680 1131614408 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33149 13073 16 0 212829 0
vsize: 851380
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5619
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 88233 56 0 0 25 0 11 0 546974332 871813120 33197 4294967295 134512640 134569956 3221224400 3221214440 1080217376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33197 13073 16 0 212829 0
vsize: 851380
[startup+920.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5672
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 89208 62 0 0 25 0 11 0 546974332 871813120 33242 4294967295 134512640 134569956 3221224400 3221214664 1131280190 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33242 13073 16 0 212829 0
vsize: 851380
[startup+930.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5672
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 90190 62 0 0 25 0 11 0 546974332 871813120 33311 4294967295 134512640 134569956 3221224400 3221214756 1131280793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33311 13073 16 0 212829 0
vsize: 851380
[startup+940.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 5672
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 91170 62 0 0 25 0 11 0 546974332 871813120 33402 4294967295 134512640 134569956 3221224400 3221214664 1131279301 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33402 13073 16 0 212829 0
vsize: 851380
[startup+950.048 s]
Raw data (loadavg): 1.07 1.02 0.94 2/65 5672
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 92153 62 0 0 25 0 11 0 546974332 871813120 33447 4294967295 134512640 134569956 3221224400 3221214664 1131279261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33447 13073 16 0 212829 0
vsize: 851380
[startup+960.049 s]
Raw data (loadavg): 1.06 1.02 0.94 2/65 5672
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 93133 62 0 0 25 0 11 0 546974332 871813120 33525 4294967295 134512640 134569956 3221224400 3221214576 1131465170 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33525 13073 16 0 212829 0
vsize: 851380
[startup+970.049 s]
Raw data (loadavg): 1.05 1.01 0.94 2/65 5672
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 94116 62 0 0 25 0 11 0 546974332 871813120 33581 4294967295 134512640 134569956 3221224400 3221214760 1131356500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33581 13073 16 0 212829 0
vsize: 851380
[startup+980.049 s]
Raw data (loadavg): 1.04 1.01 0.94 2/65 5672
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 95099 62 0 0 25 0 11 0 546974332 871813120 33640 4294967295 134512640 134569956 3221224400 3221214848 1131398336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33640 13073 16 0 212829 0
vsize: 851380
[startup+990.049 s]
Raw data (loadavg): 1.04 1.01 0.94 2/65 5672
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 96084 62 0 0 25 0 11 0 546974332 871813120 33715 4294967295 134512640 134569956 3221224400 3221214760 1131363553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33715 13073 16 0 212829 0
vsize: 851380
[startup+1000.05 s]
Raw data (loadavg): 1.03 1.01 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 97067 62 0 0 25 0 11 0 546974332 871813120 33785 4294967295 134512640 134569956 3221224400 3221214568 1131261036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33785 13073 16 0 212829 0
vsize: 851380
[startup+1010.05 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 98050 62 0 0 25 0 11 0 546974332 871813120 33850 4294967295 134512640 134569956 3221224400 3221214760 1131356500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33850 13073 16 0 212829 0
vsize: 851380
[startup+1020.05 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 99036 62 0 0 25 0 11 0 546974332 871813120 33904 4294967295 134512640 134569956 3221224400 3221214664 1131279874 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33904 13073 16 0 212829 0
vsize: 851380
[startup+1030.05 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 100015 62 0 0 25 0 11 0 546974332 871813120 33966 4294967295 134512640 134569956 3221224400 3221214664 1131279838 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 33966 13073 16 0 212829 0
vsize: 851380
[startup+1040.05 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 100993 62 0 0 25 0 11 0 546974332 871813120 34031 4294967295 134512640 134569956 3221224400 3221214488 1131567592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34031 13073 16 0 212829 0
vsize: 851380
[startup+1050.05 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 101971 62 0 0 25 0 11 0 546974332 871813120 34082 4294967295 134512640 134569956 3221224400 3221214664 1131279906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34082 13073 16 0 212829 0
vsize: 851380
[startup+1060.05 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 102954 62 0 0 25 0 11 0 546974332 871813120 34126 4294967295 134512640 134569956 3221224400 3221214664 1131279868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34126 13073 16 0 212829 0
vsize: 851380
[startup+1070.05 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 103939 62 0 0 25 0 11 0 546974332 871813120 34152 4294967295 134512640 134569956 3221224400 3221214664 1131279269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34152 13073 16 0 212829 0
vsize: 851380
[startup+1080.05 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 104921 62 0 0 25 0 11 0 546974332 871813120 34204 4294967295 134512640 134569956 3221224400 3221214664 1131279505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34204 13073 16 0 212829 0
vsize: 851380
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 105908 62 0 0 25 0 11 0 546974332 871813120 34279 4294967295 134512640 134569956 3221224400 3221214928 1131225113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34279 13073 16 0 212829 0
vsize: 851380
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 106889 62 0 0 25 0 11 0 546974332 871813120 34396 4294967295 134512640 134569956 3221224400 3221214160 1131607892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34396 13073 16 0 212829 0
vsize: 851380
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 107874 62 0 0 25 0 11 0 546974332 871813120 34485 4294967295 134512640 134569956 3221224400 3221214656 1131260877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34485 13073 16 0 212829 0
vsize: 851380
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 108861 62 0 0 25 0 11 0 546974332 871813120 34521 4294967295 134512640 134569956 3221224400 3221214256 1131606585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34521 13073 16 0 212829 0
vsize: 851380
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 109848 62 0 0 25 0 11 0 546974332 871813120 34568 4294967295 134512640 134569956 3221224400 3221214664 1131279689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34568 13073 16 0 212829 0
vsize: 851380
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 110832 62 0 0 25 0 11 0 546974332 871813120 34616 4294967295 134512640 134569956 3221224400 3221214664 1131279958 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34616 13073 16 0 212829 0
vsize: 851380
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 111818 62 0 0 25 0 11 0 546974332 871813120 34632 4294967295 134512640 134569956 3221224400 3221214664 1131279287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34632 13073 16 0 212829 0
vsize: 851380
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 112804 62 0 0 25 0 11 0 546974332 871813120 34664 4294967295 134512640 134569956 3221224400 3221214592 1131931156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34664 13073 16 0 212829 0
vsize: 851380
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 113790 62 0 0 25 0 11 0 546974332 871813120 34692 4294967295 134512640 134569956 3221224400 3221214664 1131280784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34692 13073 16 0 212829 0
vsize: 851380
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 114772 62 0 0 25 0 11 0 546974332 871813120 34716 4294967295 134512640 134569956 3221224400 3221214664 1131279924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34716 13073 16 0 212829 0
vsize: 851380
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 115749 62 0 0 25 0 11 0 546974332 871813120 34802 4294967295 134512640 134569956 3221224400 3221214760 1131356225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34802 13073 16 0 212829 0
vsize: 851380
[startup+1200.06 s]
Raw data (loadavg): 1.07 1.02 0.95 2/65 5674
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 116728 62 0 0 25 0 11 0 546974332 871813120 34885 4294967295 134512640 134569956 3221224400 3221214760 1131363524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34885 13073 16 0 212829 0
vsize: 851380
[startup+1210.06 s]
Raw data (loadavg): 1.06 1.02 0.95 2/65 5676
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 117711 62 0 0 25 0 11 0 546974332 871813120 34924 4294967295 134512640 134569956 3221224400 3221214680 1131614565 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 34924 13073 16 0 212829 0
vsize: 851380
[startup+1220.06 s]
Raw data (loadavg): 1.05 1.01 0.95 2/65 5676
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 118681 62 0 0 25 0 11 0 546974332 871813120 35020 4294967295 134512640 134569956 3221224400 3221214736 1131551732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 35020 13073 16 0 212829 0
vsize: 851380
[startup+1230.06 s]
Raw data (loadavg): 1.04 1.01 0.95 2/65 5676
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 119654 62 0 0 25 0 11 0 546974332 871813120 35082 4294967295 134512640 134569956 3221224400 3221214760 1131356457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 35082 13073 16 0 212829 0
vsize: 851380
[startup+1240.06 s]
Raw data (loadavg): 1.04 1.01 0.95 2/65 5676
Raw data (stat): 5601 (java) R 5600 22929 22928 0 -1 0 18137 0 1 0 120622 62 0 0 25 0 11 0 546974332 871813120 35204 4294967295 134512640 134569956 3221224400 3221214064 1131606797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212845 35204 13073 16 0 212829 0
vsize: 851380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.27 s]
Raw data (loadavg): 1.04 1.01 0.95 1/55 5678
Raw data (stat): 5601 (java) Z 5600 22929 22928 0 -1 1036 18137 21976 1 0 120635 62 4466 58 25 0 1 0 546974332 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): 1240.27
CPU time (s): 1252.24
CPU user time (s): 1251.03
CPU system time (s): 1.21381
CPU usage (%): 100.966
Max. virtual memory (Kb): 855708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####