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/MIPLIB/miplib2003/normalized-mps-v2-20-10-nsrand-ipx.opb
MD5SUM	6b39a5ca45e18a6e9e3dc91f7594e22c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483575
Optimality of the best value was proved	NO
Number of terms in the objective function	31
Biggest coefficient in the objective function	1073741824
Number of bits for the biggest coefficient in the objective function	31
Sum of the numbers in the objective function	2147483647
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	1073741824
Number of bits of the biggest number in a constraint	31
Biggest sum of numbers in a constraint	26715880447
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1224.15
Number of variables	6651
Total number of constraints	7355
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	6951
Number of constraints which are nor clauses,nor cardinality constraints	404
Minimum length of a constraint	1
Maximum length of a constraint	6651
Trace number 21693

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        527188 kB
Buffers:         29144 kB
Cached:         454840 kB
SwapCached:        516 kB
Active:         172596 kB
Inactive:       313404 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        526936 kB
SwapTotal:     2097892 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            15840 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 00:57:25 (client local time) WITH STATUS 143 IN 1221.61 SECONDS
stats: 12853 7 1221.61 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-nsrand-ipx.opb
c reading problem 
c [nbvar=6651]
c [nbconstr=7355]
c time 24.546
c #vars     6651
c #clauses  721
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=2147483647
c Current CPU time (ms) : 81.231
c starts	: 1
c conflicts	: 13
c decisions	: 6827
c propagations	: 7163
c inspects	: 21742
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 13
c root simplifications	: 2
#### 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.74 0.94 0.95 1/54 16559
Raw data (stat): 16559 (runsolver) D 16558 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 549453517 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 1.09 1.00 0.97 2/63 16568
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 17999 0 1 0 868 41 0 0 25 0 10 0 549453517 854695936 19202 4294967295 134512640 134569956 3221224400 3221214636 1130920740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208666 19202 13073 16 0 208650 0
vsize: 834664
[startup+20.0009 s]
Raw data (loadavg): 1.07 1.00 0.97 2/63 16568
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 17999 0 1 0 1794 41 0 0 25 0 10 0 549453517 854040576 19477 4294967295 134512640 134569956 3221224400 3221214824 1131203421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 19477 13073 16 0 208490 0
vsize: 834024
[startup+30.0016 s]
Raw data (loadavg): 1.06 1.00 0.97 2/64 16569
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18074 0 1 0 2675 44 0 0 25 0 11 0 549453517 860573696 23185 4294967295 134512640 134569956 3221224400 3221214768 1131440888 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210101 23185 13073 16 0 210085 0
vsize: 840404
[startup+40.0013 s]
Raw data (loadavg): 1.05 1.00 0.97 2/64 16569
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18075 0 1 0 3644 45 0 0 25 0 11 0 549453517 860442624 24016 4294967295 134512640 134569956 3221224400 3221214832 1131429193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210069 24016 13073 16 0 210053 0
vsize: 840276
[startup+50.002 s]
Raw data (loadavg): 1.04 1.00 0.97 2/64 16569
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18075 0 1 0 4630 45 0 0 25 0 11 0 549453517 860442624 24016 4294967295 134512640 134569956 3221224400 3221214720 1131290993 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210069 24016 13073 16 0 210053 0
vsize: 840276
[startup+60.0017 s]
Raw data (loadavg): 1.04 1.00 0.97 2/64 16569
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18077 0 1 0 5592 45 0 0 25 0 11 0 549453517 859234304 23749 4294967295 134512640 134569956 3221224400 3221214872 1131282994 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 23749 13073 16 0 209758 0
vsize: 839096
[startup+70.0014 s]
Raw data (loadavg): 1.10 1.02 0.98 2/64 16569
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18077 0 1 0 6559 45 0 0 25 0 11 0 549453517 859234304 23784 4294967295 134512640 134569956 3221224400 3221214880 1131336408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 23784 13073 16 0 209758 0
vsize: 839096
[startup+80.0022 s]
Raw data (loadavg): 1.09 1.02 0.98 2/64 16569
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18077 0 1 0 7529 45 0 0 25 0 11 0 549453517 859234304 23784 4294967295 134512640 134569956 3221224400 3221214880 1131341069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 23784 13073 16 0 209758 0
vsize: 839096
[startup+90.002 s]
Raw data (loadavg): 1.07 1.01 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18077 3 1 0 8491 46 0 0 25 0 11 0 549453517 859234304 23920 4294967295 134512640 134569956 3221224400 3221214400 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 23920 13073 16 0 209758 0
vsize: 839096
[startup+100.003 s]
Raw data (loadavg): 1.06 1.01 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18077 3 1 0 9479 46 0 0 25 0 11 0 549453517 859234304 23934 4294967295 134512640 134569956 3221224400 3221214576 1131624153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 23934 13073 16 0 209758 0
vsize: 839096
[startup+110.016 s]
Raw data (loadavg): 1.05 1.01 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18077 3 1 0 10471 46 0 0 25 0 11 0 549453517 859234304 23980 4294967295 134512640 134569956 3221224400 3221214496 1131469666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 23980 13073 16 0 209758 0
vsize: 839096
[startup+120.029 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18077 3 1 0 11465 46 0 0 25 0 11 0 549453517 859234304 24005 4294967295 134512640 134569956 3221224400 3221214576 1131623742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24005 13073 16 0 209758 0
vsize: 839096
[startup+130.029 s]
Raw data (loadavg): 1.04 1.01 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 12460 46 0 0 25 0 11 0 549453517 859234304 24028 4294967295 134512640 134569956 3221224400 3221214464 1131290932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24028 13073 16 0 209758 0
vsize: 839096
[startup+140.029 s]
Raw data (loadavg): 1.03 1.01 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 13455 47 0 0 25 0 11 0 549453517 859234304 24036 4294967295 134512640 134569956 3221224400 3221214320 1131310336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24036 13073 16 0 209758 0
vsize: 839096
[startup+150.03 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 14453 47 0 0 25 0 11 0 549453517 859234304 24036 4294967295 134512640 134569956 3221224400 3221214488 1131486953 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24036 13073 16 0 209758 0
vsize: 839096
[startup+160.03 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 15450 47 0 0 25 0 11 0 549453517 859234304 24038 4294967295 134512640 134569956 3221224400 3221214496 1131469756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24038 13073 16 0 209758 0
vsize: 839096
[startup+170.03 s]
Raw data (loadavg): 1.02 1.01 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 16447 47 0 0 25 0 11 0 549453517 859234304 24038 4294967295 134512640 134569956 3221224400 3221214600 1131383363 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24038 13073 16 0 209758 0
vsize: 839096
[startup+180.036 s]
Raw data (loadavg): 1.01 1.01 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 17444 47 0 0 25 0 11 0 549453517 859234304 24038 4294967295 134512640 134569956 3221224400 3221214660 1080203692 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24038 13073 16 0 209758 0
vsize: 839096
[startup+190.042 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 18440 48 0 0 25 0 11 0 549453517 859234304 24038 4294967295 134512640 134569956 3221224400 3221214480 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24038 13073 16 0 209758 0
vsize: 839096
[startup+200.043 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 19434 48 0 0 25 0 11 0 549453517 859234304 24041 4294967295 134512640 134569956 3221224400 3221214576 1131657087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24041 13073 16 0 209758 0
vsize: 839096
[startup+210.114 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 20440 48 0 0 25 0 11 0 549453517 859234304 24041 4294967295 134512640 134569956 3221224400 3221214576 1131653610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24041 13073 16 0 209758 0
vsize: 839096
[startup+220.113 s]
Raw data (loadavg): 1.01 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 21438 48 0 0 25 0 11 0 549453517 859234304 24041 4294967295 134512640 134569956 3221224400 3221214400 1131310447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24041 13073 16 0 209758 0
vsize: 839096
[startup+230.113 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 22436 48 0 0 25 0 11 0 549453517 859234304 24041 4294967295 134512640 134569956 3221224400 3221214464 1131290932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24041 13073 16 0 209758 0
vsize: 839096
[startup+240.113 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 23433 48 0 0 25 0 11 0 549453517 859234304 24041 4294967295 134512640 134569956 3221224400 3221214576 1131653603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24041 13073 16 0 209758 0
vsize: 839096
[startup+250.113 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 24431 49 0 0 25 0 11 0 549453517 859234304 24041 4294967295 134512640 134569956 3221224400 3221214400 1131310417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24041 13073 16 0 209758 0
vsize: 839096
[startup+260.114 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 25429 49 0 0 25 0 11 0 549453517 859234304 24041 4294967295 134512640 134569956 3221224400 3221214576 1131623915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24041 13073 16 0 209758 0
vsize: 839096
[startup+270.114 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 26427 49 0 0 25 0 11 0 549453517 859234304 24041 4294967295 134512640 134569956 3221224400 3221214400 1131310493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24041 13073 16 0 209758 0
vsize: 839096
[startup+280.115 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 27425 49 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131656931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+290.115 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 28423 49 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131656931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+300.115 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 29421 49 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214460 1131390502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+310.115 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 30418 49 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131656931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+320.115 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 31416 50 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131657050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+330.116 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 32414 50 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131624153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+340.115 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 33412 51 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214400 1131310509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+350.116 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 34410 51 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131624153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+360.116 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 35409 51 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214556 1131398259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+370.116 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 36408 51 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131623887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+380.116 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 37404 52 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214464 1131391202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+390.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 38401 52 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131624153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+400.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 39400 52 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131656931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+410.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 40398 52 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214464 1131290935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+420.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 41397 53 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214672 1131438549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+430.117 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 42393 53 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214400 1131312310 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+440.118 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 43392 53 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214400 1131310612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+450.118 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 44390 53 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131656931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+460.119 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 45388 54 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131623992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+470.119 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 46387 54 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131623821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+480.119 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 47385 54 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131657035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+490.119 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 48383 54 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131623768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+500.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 49382 55 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214596 1131398252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+510.121 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 50380 55 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214400 1131310336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+520.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 51378 56 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131624234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+530.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 52377 56 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214464 1131290935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+540.12 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 53375 56 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214600 1131382362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+550.121 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 54373 57 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214576 1131653600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+560.121 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 55372 57 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214400 1131310336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+570.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 56370 57 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214504 1131284722 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+580.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 57368 57 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214672 1131440131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+590.122 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 58365 58 0 0 25 0 11 0 549453517 859234304 24042 4294967295 134512640 134569956 3221224400 3221214504 1131284989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24042 13073 16 0 209758 0
vsize: 839096
[startup+600.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 59363 58 0 0 25 0 11 0 549453517 859234304 24043 4294967295 134512640 134569956 3221224400 3221214576 1131656928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24043 13073 16 0 209758 0
vsize: 839096
[startup+610.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 60360 58 0 0 25 0 11 0 549453517 859234304 24043 4294967295 134512640 134569956 3221224400 3221214504 1131285060 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24043 13073 16 0 209758 0
vsize: 839096
[startup+620.123 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 61355 59 0 0 25 0 11 0 549453517 859234304 24045 4294967295 134512640 134569956 3221224400 3221214464 1131290982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24045 13073 16 0 209758 0
vsize: 839096
[startup+630.124 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 62351 59 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214544 1131389116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+640.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 63348 59 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131310493 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+650.126 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 64347 59 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131310517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+660.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 65345 59 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214464 1131290935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+670.125 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 66344 60 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214624 1131229280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+680.126 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 67339 60 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214672 1131440385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+690.126 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 68337 60 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131624166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+700.127 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 69334 61 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131625075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+710.128 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 70332 61 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131656931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+720.127 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 71330 61 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214672 1131441243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+730.127 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 72326 61 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214544 1131389271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+740.127 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 73323 61 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131624153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+750.128 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 74322 61 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131310336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+760.127 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 75320 61 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214448 1131276727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+770.127 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 76319 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214464 1131290989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+780.128 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 77316 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131312079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+790.127 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 78314 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131653603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+800.128 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 79313 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131623879 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+810.128 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 80312 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131310336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+820.129 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 81310 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131310555 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+830.129 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 82309 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131310417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+840.128 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 83307 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214672 1131440888 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+850.129 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 84304 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214352 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+860.134 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 85303 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131625125 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+870.134 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 86302 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214464 1131291075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+880.134 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 87301 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214504 1131284742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+890.144 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 88301 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131312098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+900.144 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 89299 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214504 1131285095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+910.144 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 90298 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131311150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+920.151 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 91297 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131623831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+930.3 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 92311 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214464 1131290932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+940.299 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 93310 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131623771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+950.308 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 94309 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131310451 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+960.421 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 95319 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131312226 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+970.421 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 96318 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131656912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+980.421 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 97316 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131310417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+990.637 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 98337 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131653603 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+1000.64 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 99335 62 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131312075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+1010.64 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 100334 63 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131657019 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+1020.64 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 101333 63 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131623919 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+1030.65 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 102332 63 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221213728 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+1040.67 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 103332 63 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131623790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+1050.67 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 104331 63 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131310330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+1060.67 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 105330 63 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131623831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+1070.68 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 106330 63 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214672 1131441553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+1080.68 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 107326 63 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131310336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+1090.68 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 108325 63 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214576 1131623831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+1100.78 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 109334 63 0 0 25 0 11 0 549453517 859234304 24046 4294967295 134512640 134569956 3221224400 3221214400 1131311870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24046 13073 16 0 209758 0
vsize: 839096
[startup+1110.81 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 110336 63 0 0 25 0 11 0 549453517 859234304 24047 4294967295 134512640 134569956 3221224400 3221214400 1131310513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24047 13073 16 0 209758 0
vsize: 839096
[startup+1120.81 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 111334 63 0 0 25 0 11 0 549453517 859234304 24047 4294967295 134512640 134569956 3221224400 3221214576 1131625154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24047 13073 16 0 209758 0
vsize: 839096
[startup+1130.83 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 112334 63 0 0 25 0 11 0 549453517 859234304 24047 4294967295 134512640 134569956 3221224400 3221214464 1131290935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24047 13073 16 0 209758 0
vsize: 839096
[startup+1140.84 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 113334 63 0 0 25 0 11 0 549453517 859234304 24047 4294967295 134512640 134569956 3221224400 3221214576 1131656931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24047 13073 16 0 209758 0
vsize: 839096
[startup+1150.84 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 114332 63 0 0 25 0 11 0 549453517 859234304 24047 4294967295 134512640 134569956 3221224400 3221214576 1131624262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24047 13073 16 0 209758 0
vsize: 839096
[startup+1160.85 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 115331 63 0 0 25 0 11 0 549453517 859234304 24047 4294967295 134512640 134569956 3221224400 3221214600 1131382347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24047 13073 16 0 209758 0
vsize: 839096
[startup+1170.96 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 116341 63 0 0 25 0 11 0 549453517 859234304 24047 4294967295 134512640 134569956 3221224400 3221214400 1131312075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24047 13073 16 0 209758 0
vsize: 839096
[startup+1180.96 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 117339 63 0 0 25 0 11 0 549453517 859234304 24047 4294967295 134512640 134569956 3221224400 3221214576 1131656931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24047 13073 16 0 209758 0
vsize: 839096
[startup+1190.97 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 118339 63 0 0 25 0 11 0 549453517 859234304 24047 4294967295 134512640 134569956 3221224400 3221214400 1131310417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24047 13073 16 0 209758 0
vsize: 839096
[startup+1200.98 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 119339 63 0 0 25 0 11 0 549453517 859234304 24047 4294967295 134512640 134569956 3221224400 3221214544 1131389271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24047 13073 16 0 209758 0
vsize: 839096
[startup+1210.98 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 16570
Raw data (stat): 16559 (java) R 16558 27565 27564 0 -1 0 18078 3 1 0 120336 63 0 0 25 0 11 0 549453517 859234304 24047 4294967295 134512640 134569956 3221224400 3221214576 1131623835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209774 24047 13073 16 0 209758 0
vsize: 839096
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1211.09 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 16572
Raw data (stat): 16559 (java) Z 16558 27565 27564 0 -1 1036 18078 9523 1 0 120342 63 1721 33 25 0 1 0 549453517 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): 1211.09
CPU time (s): 1221.61
CPU user time (s): 1220.63
CPU system time (s): 0.977851
CPU usage (%): 100.869
Max. virtual memory (Kb): 840404
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####