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/miplib3/normalized-mps-v2-20-10-dcmulti.opb
MD5SUM	659e380dd1d6168ad99a794b3190043f
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	14235
Biggest coefficient in the objective function	714038312960
Number of bits for the biggest coefficient in the objective function	40
Sum of the numbers in the objective function	68224730472397
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	714038312960
Number of bits of the biggest number in a constraint	40
Biggest sum of numbers in a constraint	68224730472397
Number of bits of the biggest sum of numbers	46
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12198
Number of variables	14265
Total number of constraints	365
Number of constraints which are clauses	27
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	258
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 21391

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-21 23:38:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13295 boxname=wulflinc15 idbench=1023 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  659e380dd1d6168ad99a794b3190043f  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-dcmulti.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-dcmulti.opb
IDLAUNCH: 13295
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        220744 kB
Buffers:         30388 kB
Cached:         761244 kB
SwapCached:        432 kB
Active:         164868 kB
Inactive:       628928 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        220492 kB
SwapTotal:     2097136 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            14496 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 23:59:10 (client local time) WITH STATUS 143 IN 1263.06 SECONDS
stats: 13295 7 1263.06 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-dcmulti.opb
c reading problem 
c [nbvar=14265]
c [nbconstr=365]
c time 62.074
c #vars     14265
c #clauses  369
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.64 0.90 0.89 2/54 20265
Raw data (stat): 20265 (runsolver) R 20264 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490877808 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 0.70 0.91 0.90 2/63 20274
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 17983 0 1 0 882 40 0 0 25 0 10 0 490877808 854286336 19318 4294967295 134512640 134569956 3221224400 3221214472 1076461342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208566 19318 13073 16 0 208550 0
vsize: 834264
[startup+20.0014 s]
Raw data (loadavg): 0.74 0.91 0.90 2/63 20274
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 17983 0 1 0 1768 41 0 0 24 0 10 0 490877808 854511616 19826 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208621 19826 13073 16 0 208605 0
vsize: 834484
[startup+30.0026 s]
Raw data (loadavg): 0.78 0.91 0.90 2/63 20274
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 17983 0 1 0 2668 41 0 0 25 0 10 0 490877808 854511616 20245 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208621 20245 13073 16 0 208605 0
vsize: 834484
[startup+40.003 s]
Raw data (loadavg): 0.81 0.91 0.90 2/63 20274
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 17983 0 1 0 3598 41 0 0 25 0 10 0 490877808 854511616 20470 4294967295 134512640 134569956 3221224400 3221214824 1131218768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208621 20470 13073 16 0 208605 0
vsize: 834484
[startup+50.0028 s]
Raw data (loadavg): 0.84 0.92 0.90 2/63 20274
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 17983 0 1 0 4525 42 0 0 25 0 10 0 490877808 854511616 20589 4294967295 134512640 134569956 3221224400 3221214824 1131220159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208621 20589 13073 16 0 208605 0
vsize: 834484
[startup+60.0031 s]
Raw data (loadavg): 0.87 0.92 0.90 4/63 20274
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18009 0 1 0 5349 43 0 0 25 0 10 0 490877808 868032512 23654 4294967295 134512640 134569956 3221224400 3221214248 1131276688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211922 23654 13073 16 0 211906 0
vsize: 847688
[startup+70.0036 s]
Raw data (loadavg): 1.11 0.97 0.92 3/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18041 0 1 0 6218 44 0 0 25 0 11 0 490877808 872759296 27594 4294967295 134512640 134569956 3221224400 3221214680 1131285297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213076 27594 13073 16 0 213060 0
vsize: 852304
[startup+80.0043 s]
Raw data (loadavg): 1.18 0.99 0.92 3/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18081 0 1 0 7122 44 0 0 25 0 11 0 490877808 869597184 26506 4294967295 134512640 134569956 3221224400 3221214680 1131285224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212304 26506 13073 16 0 212288 0
vsize: 849216
[startup+90.0045 s]
Raw data (loadavg): 1.22 1.00 0.93 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18081 0 1 0 8111 44 0 0 25 0 11 0 490877808 867848192 26412 4294967295 134512640 134569956 3221224400 3221214776 1131369444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211877 26412 13073 16 0 211861 0
vsize: 847508
[startup+100.004 s]
Raw data (loadavg): 1.19 1.00 0.93 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18082 0 1 0 9098 44 0 0 25 0 11 0 490877808 867848192 26415 4294967295 134512640 134569956 3221224400 3221214680 1131286106 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211877 26415 13073 16 0 211861 0
vsize: 847508
[startup+110.005 s]
Raw data (loadavg): 1.23 1.02 0.93 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18082 0 1 0 10087 44 0 0 25 0 11 0 490877808 869945344 26976 4294967295 134512640 134569956 3221224400 3221214680 1131285295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212389 26976 13073 16 0 212373 0
vsize: 849556
[startup+120.006 s]
Raw data (loadavg): 1.20 1.02 0.93 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 11074 45 0 0 25 0 11 0 490877808 869945344 27011 4294967295 134512640 134569956 3221224400 3221214680 1131285588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212389 27011 13073 16 0 212373 0
vsize: 849556
[startup+130.006 s]
Raw data (loadavg): 1.16 1.02 0.93 3/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 12053 45 0 0 25 0 11 0 490877808 882728960 29822 4294967295 134512640 134569956 3221224400 3221214568 1131640037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 215510 29822 13073 16 0 215494 0
vsize: 862040
[startup+140.006 s]
Raw data (loadavg): 1.21 1.03 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 13026 45 0 0 25 0 11 0 490877808 870371328 27157 4294967295 134512640 134569956 3221224400 3221214560 1131622476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27157 13073 16 0 212477 0
vsize: 849972
[startup+150.007 s]
Raw data (loadavg): 1.18 1.03 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 14017 45 0 0 25 0 11 0 490877808 870371328 27158 4294967295 134512640 134569956 3221224400 3221214876 1080204298 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27158 13073 16 0 212477 0
vsize: 849972
[startup+160.007 s]
Raw data (loadavg): 1.15 1.03 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 15000 46 0 0 25 0 11 0 490877808 870371328 27166 4294967295 134512640 134569956 3221224400 3221214736 1131455758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27166 13073 16 0 212477 0
vsize: 849972
[startup+170.007 s]
Raw data (loadavg): 1.13 1.03 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 15986 46 0 0 25 0 11 0 490877808 870371328 27182 4294967295 134512640 134569956 3221224400 3221214576 1131276391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 27182 13073 16 0 212477 0
vsize: 849972
[startup+180.008 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 16973 46 0 0 25 0 11 0 490877808 870371328 27191 4294967295 134512640 134569956 3221224400 3221214680 1131285633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27191 13073 16 0 212477 0
vsize: 849972
[startup+190.009 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 17955 46 0 0 25 0 11 0 490877808 870371328 27255 4294967295 134512640 134569956 3221224400 3221214568 1131640778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27255 13073 16 0 212477 0
vsize: 849972
[startup+200.008 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 18929 47 0 0 25 0 11 0 490877808 870371328 27293 4294967295 134512640 134569956 3221224400 3221214680 1131286124 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27293 13073 16 0 212477 0
vsize: 849972
[startup+210.008 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 19908 47 0 0 25 0 11 0 490877808 870371328 27377 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27377 13073 16 0 212477 0
vsize: 849972
[startup+220.009 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 20897 47 0 0 25 0 11 0 490877808 870371328 27429 4294967295 134512640 134569956 3221224400 3221214568 1131640775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27429 13073 16 0 212477 0
vsize: 849972
[startup+230.009 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 21882 47 0 0 25 0 11 0 490877808 870371328 27446 4294967295 134512640 134569956 3221224400 3221214680 1131748128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 27446 13073 16 0 212477 0
vsize: 849972
[startup+240.01 s]
Raw data (loadavg): 1.04 1.02 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 22866 48 0 0 25 0 11 0 490877808 870371328 27477 4294967295 134512640 134569956 3221224400 3221214472 1131285798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27477 13073 16 0 212477 0
vsize: 849972
[startup+250.011 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 23853 48 0 0 25 0 11 0 490877808 870371328 27485 4294967295 134512640 134569956 3221224400 3221214680 1131748252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27485 13073 16 0 212477 0
vsize: 849972
[startup+260.011 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 24826 48 0 0 25 0 11 0 490877808 870371328 27492 4294967295 134512640 134569956 3221224400 3221214680 1131285300 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27492 13073 16 0 212477 0
vsize: 849972
[startup+270.011 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 25800 48 0 0 25 0 11 0 490877808 870371328 27527 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27527 13073 16 0 212477 0
vsize: 849972
[startup+280.013 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 26783 49 0 0 25 0 11 0 490877808 870371328 27591 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27591 13073 16 0 212477 0
vsize: 849972
[startup+290.014 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 27765 49 0 0 25 0 11 0 490877808 870371328 27640 4294967295 134512640 134569956 3221224400 3221214680 1131285866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27640 13073 16 0 212477 0
vsize: 849972
[startup+300.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18083 0 1 0 28735 50 0 0 25 0 11 0 490877808 870371328 27706 4294967295 134512640 134569956 3221224400 3221214616 1131276417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27706 13073 16 0 212477 0
vsize: 849972
[startup+310.025 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 29696 50 0 0 25 0 11 0 490877808 870371328 27846 4294967295 134512640 134569956 3221224400 3221214680 1131285633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27846 13073 16 0 212477 0
vsize: 849972
[startup+320.025 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 30671 50 0 0 25 0 11 0 490877808 870371328 27983 4294967295 134512640 134569956 3221224400 3221214680 1131285633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 27983 13073 16 0 212477 0
vsize: 849972
[startup+330.035 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 31657 51 0 0 24 0 11 0 490877808 870371328 28072 4294967295 134512640 134569956 3221224400 3221214776 1131370601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28072 13073 16 0 212477 0
vsize: 849972
[startup+340.043 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 32645 51 0 0 25 0 11 0 490877808 870371328 28085 4294967295 134512640 134569956 3221224400 3221214680 1131286526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28085 13073 16 0 212477 0
vsize: 849972
[startup+350.043 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 33630 51 0 0 25 0 11 0 490877808 870371328 28100 4294967295 134512640 134569956 3221224400 3221214776 1131370439 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28100 13073 16 0 212477 0
vsize: 849972
[startup+360.044 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 34613 52 0 0 25 0 11 0 490877808 870371328 28108 4294967295 134512640 134569956 3221224400 3221214680 1131286382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28108 13073 16 0 212477 0
vsize: 849972
[startup+370.044 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 35592 52 0 0 25 0 11 0 490877808 870371328 28166 4294967295 134512640 134569956 3221224400 3221214776 1131371429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28166 13073 16 0 212477 0
vsize: 849972
[startup+380.045 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 36578 52 0 0 25 0 11 0 490877808 870371328 28203 4294967295 134512640 134569956 3221224400 3221214680 1131748259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28203 13073 16 0 212477 0
vsize: 849972
[startup+390.045 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 37564 52 0 0 25 0 11 0 490877808 870371328 28248 4294967295 134512640 134569956 3221224400 3221214680 1131285542 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28248 13073 16 0 212477 0
vsize: 849972
[startup+400.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 38549 53 0 0 25 0 11 0 490877808 870371328 28255 4294967295 134512640 134569956 3221224400 3221214680 1131286426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28255 13073 16 0 212477 0
vsize: 849972
[startup+410.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 39534 53 0 0 25 0 11 0 490877808 870371328 28260 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28260 13073 16 0 212477 0
vsize: 849972
[startup+420.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 40506 53 0 0 25 0 11 0 490877808 870371328 28288 4294967295 134512640 134569956 3221224400 3221214672 1131899011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28288 13073 16 0 212477 0
vsize: 849972
[startup+430.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 41487 53 0 0 25 0 11 0 490877808 870371328 28300 4294967295 134512640 134569956 3221224400 3221214568 1131276688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28300 13073 16 0 212477 0
vsize: 849972
[startup+440.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 42458 54 0 0 24 0 11 0 490877808 870371328 28331 4294967295 134512640 134569956 3221224400 3221214704 1131363923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28331 13073 16 0 212477 0
vsize: 849972
[startup+450.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 43445 54 0 0 25 0 11 0 490877808 870371328 28376 4294967295 134512640 134569956 3221224400 3221214680 1131748248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28376 13073 16 0 212477 0
vsize: 849972
[startup+460.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 44430 54 0 0 25 0 11 0 490877808 870371328 28416 4294967295 134512640 134569956 3221224400 3221214680 1131285929 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28416 13073 16 0 212477 0
vsize: 849972
[startup+470.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 45409 54 0 0 25 0 11 0 490877808 870371328 28506 4294967295 134512640 134569956 3221224400 3221214672 1131899011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28506 13073 16 0 212477 0
vsize: 849972
[startup+480.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 46394 55 0 0 25 0 11 0 490877808 870371328 28564 4294967295 134512640 134569956 3221224400 3221214600 1131438085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 28564 13073 16 0 212477 0
vsize: 849972
[startup+490.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 47373 55 0 0 25 0 11 0 490877808 870371328 28604 4294967295 134512640 134569956 3221224400 3221214680 1131748259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 28604 13073 16 0 212477 0
vsize: 849972
[startup+500.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 48353 55 0 0 25 0 11 0 490877808 870371328 28665 4294967295 134512640 134569956 3221224400 3221214680 1131748248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 28665 13073 16 0 212477 0
vsize: 849972
[startup+510.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 49334 55 0 0 25 0 11 0 490877808 870371328 28712 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 28712 13073 16 0 212477 0
vsize: 849972
[startup+520.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 50305 55 0 0 25 0 11 0 490877808 870371328 28759 4294967295 134512640 134569956 3221224400 3221214796 1080203708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 28759 13073 16 0 212477 0
vsize: 849972
[startup+530.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 51280 56 0 0 25 0 11 0 490877808 870371328 28791 4294967295 134512640 134569956 3221224400 3221214568 1131638964 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 28791 13073 16 0 212477 0
vsize: 849972
[startup+540.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 52251 56 0 0 25 0 11 0 490877808 870371328 28893 4294967295 134512640 134569956 3221224400 3221214576 1131276703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 28893 13073 16 0 212477 0
vsize: 849972
[startup+550.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 53227 56 0 0 25 0 11 0 490877808 870371328 28938 4294967295 134512640 134569956 3221224400 3221214568 1131638574 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 28938 13073 16 0 212477 0
vsize: 849972
[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 54202 56 0 0 25 0 11 0 490877808 870371328 29013 4294967295 134512640 134569956 3221224400 3221214808 1131487070 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29013 13073 16 0 212477 0
vsize: 849972
[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 55192 56 0 0 25 0 11 0 490877808 870371328 29060 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29060 13073 16 0 212477 0
vsize: 849972
[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 56172 56 0 0 25 0 11 0 490877808 870371328 29120 4294967295 134512640 134569956 3221224400 3221214680 1131748140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29120 13073 16 0 212477 0
vsize: 849972
[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 57161 56 0 0 25 0 11 0 490877808 870371328 29185 4294967295 134512640 134569956 3221224400 3221214888 1131573150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29185 13073 16 0 212477 0
vsize: 849972
[startup+600.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 58142 56 0 0 25 0 11 0 490877808 870371328 29248 4294967295 134512640 134569956 3221224400 3221214680 1131285221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29248 13073 16 0 212477 0
vsize: 849972
[startup+610.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 59122 57 0 0 25 0 11 0 490877808 870371328 29278 4294967295 134512640 134569956 3221224400 3221214776 1131369409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29278 13073 16 0 212477 0
vsize: 849972
[startup+620.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 60103 57 0 0 25 0 11 0 490877808 870371328 29340 4294967295 134512640 134569956 3221224400 3221214680 1131285940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29340 13073 16 0 212477 0
vsize: 849972
[startup+630.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 61085 57 0 0 25 0 11 0 490877808 870371328 29388 4294967295 134512640 134569956 3221224400 3221214268 1131871960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29388 13073 16 0 212477 0
vsize: 849972
[startup+640.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 62061 57 0 0 25 0 11 0 490877808 870371328 29421 4294967295 134512640 134569956 3221224400 3221214680 1131748248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29421 13073 16 0 212477 0
vsize: 849972
[startup+650.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 63039 57 0 0 25 0 11 0 490877808 870371328 29463 4294967295 134512640 134569956 3221224400 3221214680 1131285695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29463 13073 16 0 212477 0
vsize: 849972
[startup+660.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 64023 57 0 0 25 0 11 0 490877808 870371328 29554 4294967295 134512640 134569956 3221224400 3221214680 1131285870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29554 13073 16 0 212477 0
vsize: 849972
[startup+670.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 65011 58 0 0 25 0 11 0 490877808 870371328 29562 4294967295 134512640 134569956 3221224400 3221214680 1131748143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29562 13073 16 0 212477 0
vsize: 849972
[startup+680.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 66002 58 0 0 25 0 11 0 490877808 870371328 29568 4294967295 134512640 134569956 3221224400 3221214840 1131433531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29568 13073 16 0 212477 0
vsize: 849972
[startup+690.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 66988 58 0 0 25 0 11 0 490877808 870371328 29579 4294967295 134512640 134569956 3221224400 3221214776 1131371501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29579 13073 16 0 212477 0
vsize: 849972
[startup+700.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 67969 58 0 0 25 0 11 0 490877808 870371328 29607 4294967295 134512640 134569956 3221224400 3221214736 1131357331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29607 13073 16 0 212477 0
vsize: 849972
[startup+710.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 68946 58 0 0 25 0 11 0 490877808 870371328 29630 4294967295 134512640 134569956 3221224400 3221214680 1131286132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29630 13073 16 0 212477 0
vsize: 849972
[startup+720.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 69921 58 0 0 25 0 11 0 490877808 870371328 29660 4294967295 134512640 134569956 3221224400 3221214776 1131371501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29660 13073 16 0 212477 0
vsize: 849972
[startup+730.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 70897 58 0 0 25 0 11 0 490877808 870371328 29735 4294967295 134512640 134569956 3221224400 3221214896 1132007870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29735 13073 16 0 212477 0
vsize: 849972
[startup+740.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 71879 58 0 0 25 0 11 0 490877808 870371328 29802 4294967295 134512640 134569956 3221224400 3221214184 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29802 13073 16 0 212477 0
vsize: 849972
[startup+750.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 72863 58 0 0 24 0 11 0 490877808 870371328 29837 4294967295 134512640 134569956 3221224400 3221214680 1131285590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29837 13073 16 0 212477 0
vsize: 849972
[startup+760.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 73854 58 0 0 25 0 11 0 490877808 870371328 29846 4294967295 134512640 134569956 3221224400 3221214600 1131871956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29846 13073 16 0 212477 0
vsize: 849972
[startup+770.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 74834 58 0 0 25 0 11 0 490877808 870371328 29856 4294967295 134512640 134569956 3221224400 3221214680 1131285626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 29856 13073 16 0 212477 0
vsize: 849972
[startup+780.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 75819 58 0 0 25 0 11 0 490877808 870371328 29905 4294967295 134512640 134569956 3221224400 3221214776 1131370552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 29905 13073 16 0 212477 0
vsize: 849972
[startup+790.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 76802 59 0 0 25 0 11 0 490877808 870371328 29918 4294967295 134512640 134569956 3221224400 3221214680 1131285224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 29918 13073 16 0 212477 0
vsize: 849972
[startup+800.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 77791 59 0 0 25 0 11 0 490877808 870371328 29973 4294967295 134512640 134569956 3221224400 3221214680 1131285221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 29973 13073 16 0 212477 0
vsize: 849972
[startup+810.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 78781 59 0 0 25 0 11 0 490877808 870371328 29975 4294967295 134512640 134569956 3221224400 3221214616 1131285578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 29975 13073 16 0 212477 0
vsize: 849972
[startup+820.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 79768 59 0 0 24 0 11 0 490877808 870371328 29984 4294967295 134512640 134569956 3221224400 3221214760 1131558156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 29984 13073 16 0 212477 0
vsize: 849972
[startup+830.066 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 80757 60 0 0 25 0 11 0 490877808 870371328 29991 4294967295 134512640 134569956 3221224400 3221214632 1131748143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 29991 13073 16 0 212477 0
vsize: 849972
[startup+840.067 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 81747 60 0 0 25 0 11 0 490877808 870371328 29996 4294967295 134512640 134569956 3221224400 3221214712 1131369516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 29996 13073 16 0 212477 0
vsize: 849972
[startup+850.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 82731 60 0 0 25 0 11 0 490877808 870371328 30002 4294967295 134512640 134569956 3221224400 3221214616 1131285866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30002 13073 16 0 212477 0
vsize: 849972
[startup+860.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 83714 60 0 0 25 0 11 0 490877808 870371328 30015 4294967295 134512640 134569956 3221224400 3221214712 1131369624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30015 13073 16 0 212477 0
vsize: 849972
[startup+870.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 84697 60 0 0 25 0 11 0 490877808 870371328 30056 4294967295 134512640 134569956 3221224400 3221214616 1131285252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30056 13073 16 0 212477 0
vsize: 849972
[startup+880.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 85681 61 0 0 25 0 11 0 490877808 870371328 30091 4294967295 134512640 134569956 3221224400 3221214656 1131276688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30091 13073 16 0 212477 0
vsize: 849972
[startup+890.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 86663 61 0 0 25 0 11 0 490877808 870371328 30119 4294967295 134512640 134569956 3221224400 3221214632 1131748140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30119 13073 16 0 212477 0
vsize: 849972
[startup+900.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 87646 61 0 0 25 0 11 0 490877808 870371328 30130 4294967295 134512640 134569956 3221224400 3221214616 1131286436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30130 13073 16 0 212477 0
vsize: 849972
[startup+910.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 88626 62 0 0 25 0 11 0 490877808 870371328 30168 4294967295 134512640 134569956 3221224400 3221214616 1131285471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30168 13073 16 0 212477 0
vsize: 849972
[startup+920.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 89606 62 0 0 25 0 11 0 490877808 870371328 30207 4294967295 134512640 134569956 3221224400 3221214616 1131285224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30207 13073 16 0 212477 0
vsize: 849972
[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 90587 62 0 0 25 0 11 0 490877808 870371328 30254 4294967295 134512640 134569956 3221224400 3221214668 1131646643 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30254 13073 16 0 212477 0
vsize: 849972
[startup+940.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 91576 63 0 0 25 0 11 0 490877808 870371328 30265 4294967295 134512640 134569956 3221224400 3221214672 1131539327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30265 13073 16 0 212477 0
vsize: 849972
[startup+950.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 92564 63 0 0 25 0 11 0 490877808 870371328 30279 4294967295 134512640 134569956 3221224400 3221214520 1131638574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30279 13073 16 0 212477 0
vsize: 849972
[startup+960.074 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 93548 63 0 0 25 0 11 0 490877808 870371328 30284 4294967295 134512640 134569956 3221224400 3221214632 1131748140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30284 13073 16 0 212477 0
vsize: 849972
[startup+970.075 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 94532 63 0 0 25 0 11 0 490877808 870371328 30316 4294967295 134512640 134569956 3221224400 3221214520 1131276719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30316 13073 16 0 212477 0
vsize: 849972
[startup+980.075 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 95513 63 0 0 25 0 11 0 490877808 870371328 30337 4294967295 134512640 134569956 3221224400 3221214520 1131639050 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 30337 13073 16 0 212477 0
vsize: 849972
[startup+990.077 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 96493 63 0 0 25 0 11 0 490877808 870371328 30419 4294967295 134512640 134569956 3221224400 3221214632 1131748252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30419 13073 16 0 212477 0
vsize: 849972
[startup+1000.08 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 97475 64 0 0 25 0 11 0 490877808 870371328 30469 4294967295 134512640 134569956 3221224400 3221213912 1077100737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30469 13073 16 0 212477 0
vsize: 849972
[startup+1010.08 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 98456 64 0 0 25 0 11 0 490877808 870371328 30502 4294967295 134512640 134569956 3221224400 3221214616 1131285268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30502 13073 16 0 212477 0
vsize: 849972
[startup+1020.08 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 99432 65 0 0 25 0 11 0 490877808 870371328 30537 4294967295 134512640 134569956 3221224400 3221214616 1131286483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30537 13073 16 0 212477 0
vsize: 849972
[startup+1030.08 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 100405 65 0 0 25 0 11 0 490877808 870371328 30537 4294967295 134512640 134569956 3221224400 3221214532 1131872016 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30537 13073 16 0 212477 0
vsize: 849972
[startup+1040.08 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 101388 65 0 0 25 0 11 0 490877808 870371328 30561 4294967295 134512640 134569956 3221224400 3221214520 1131276703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30561 13073 16 0 212477 0
vsize: 849972
[startup+1050.08 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 102366 66 0 0 25 0 11 0 490877808 870371328 30648 4294967295 134512640 134569956 3221224400 3221214632 1131748140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30648 13073 16 0 212477 0
vsize: 849972
[startup+1060.08 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 103347 66 0 0 25 0 11 0 490877808 870371328 30699 4294967295 134512640 134569956 3221224400 3221214904 1132007500 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30699 13073 16 0 212477 0
vsize: 849972
[startup+1070.08 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 104326 66 0 0 25 0 11 0 490877808 870371328 30746 4294967295 134512640 134569956 3221224400 3221214136 1085679302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30746 13073 16 0 212477 0
vsize: 849972
[startup+1080.08 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 105302 66 0 0 24 0 11 0 490877808 870371328 30796 4294967295 134512640 134569956 3221224400 3221214672 1131285483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30796 13073 16 0 212477 0
vsize: 849972
[startup+1090.08 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 106281 66 0 0 25 0 11 0 490877808 870371328 30867 4294967295 134512640 134569956 3221224400 3221214672 1131286049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30867 13073 16 0 212477 0
vsize: 849972
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 107266 66 0 0 25 0 11 0 490877808 870371328 30913 4294967295 134512640 134569956 3221224400 3221214768 1131369451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30913 13073 16 0 212477 0
vsize: 849972
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 108252 66 0 0 25 0 11 0 490877808 870371328 30917 4294967295 134512640 134569956 3221224400 3221214672 1131286405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30917 13073 16 0 212477 0
vsize: 849972
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 109242 67 0 0 25 0 11 0 490877808 870371328 30924 4294967295 134512640 134569956 3221224400 3221214648 1131748252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30924 13073 16 0 212477 0
vsize: 849972
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 110227 67 0 0 25 0 11 0 490877808 870371328 30936 4294967295 134512640 134569956 3221224400 3221214768 1131369451 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30936 13073 16 0 212477 0
vsize: 849972
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 111211 67 0 0 25 0 11 0 490877808 870371328 30936 4294967295 134512640 134569956 3221224400 3221214544 1131277028 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30936 13073 16 0 212477 0
vsize: 849972
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 112193 67 0 0 25 0 11 0 490877808 870371328 30941 4294967295 134512640 134569956 3221224400 3221214648 1131748140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30941 13073 16 0 212477 0
vsize: 849972
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 113173 68 0 0 25 0 11 0 490877808 870371328 30946 4294967295 134512640 134569956 3221224400 3221214648 1131748128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212493 30946 13073 16 0 212477 0
vsize: 849972
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 114150 68 0 0 25 0 11 0 490877808 870371328 30948 4294967295 134512640 134569956 3221224400 3221214648 1131748128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30948 13073 16 0 212477 0
vsize: 849972
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 115117 69 0 0 25 0 11 0 490877808 870371328 30991 4294967295 134512640 134569956 3221224400 3221214648 1131748128 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 30991 13073 16 0 212477 0
vsize: 849972
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 116090 69 0 0 25 0 11 0 490877808 870371328 31041 4294967295 134512640 134569956 3221224400 3221214704 1131456353 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 31041 13073 16 0 212477 0
vsize: 849972
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 117062 69 0 0 25 0 11 0 490877808 870371328 31113 4294967295 134512640 134569956 3221224400 3221214704 1131454250 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 31113 13073 16 0 212477 0
vsize: 849972
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 118034 69 0 0 25 0 11 0 490877808 870371328 31177 4294967295 134512640 134569956 3221224400 3221214536 1131638917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 31177 13073 16 0 212477 0
vsize: 849972
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 119006 69 0 0 25 0 11 0 490877808 870371328 31258 4294967295 134512640 134569956 3221224400 3221214764 1131285196 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 31258 13073 16 0 212477 0
vsize: 849972
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 20275
Raw data (stat): 20265 (java) R 20264 29151 29150 0 -1 0 18084 0 1 0 119978 69 0 0 25 0 11 0 490877808 870371328 31329 4294967295 134512640 134569956 3221224400 3221214648 1131748143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212493 31329 13073 16 0 212477 0
vsize: 849972
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 20277
Raw data (stat): 20265 (java) Z 20264 29151 29150 0 -1 1036 18084 39974 1 0 119980 75 6142 106 25 0 1 0 490877808 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.17
CPU time (s): 1263.06
CPU user time (s): 1261.23
CPU system time (s): 1.82272
CPU usage (%): 102.674
Max. virtual memory (Kb): 862040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####