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-harp2.opb
MD5SUM	ede9b90804f45c5dc7aa110230ebb14b
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-61747740
Optimality of the best value was proved	NO
Number of terms in the objective function	2993
Biggest coefficient in the objective function	17006200
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	4415092451
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	4208540000
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	46909379837
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1288.69
Number of variables	2993
Total number of constraints	3105
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	3066
Number of constraints which are nor clauses,nor cardinality constraints	39
Minimum length of a constraint	1
Maximum length of a constraint	73
Trace number 16449

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-21 07:18:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13464 boxname=wulflinc18 idbench=1036 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  ede9b90804f45c5dc7aa110230ebb14b  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-harp2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-harp2.opb
IDLAUNCH: 13464
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        782672 kB
Buffers:          8556 kB
Cached:         217292 kB
SwapCached:        796 kB
Active:          46256 kB
Inactive:       181840 kB
HighTotal:      131008 kB
HighFree:        44324 kB
LowTotal:       903652 kB
LowFree:        738348 kB
SwapTotal:     2097892 kB
SwapFree:      2096320 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5176 kB
Slab:            18300 kB
Committed_AS:    63812 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 07:38:41 (client local time) WITH STATUS 143 IN 1235.24 SECONDS
stats: 13464 7 1235.24 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-20-10-harp2.opb
c reading problem 
c [nbvar=2993]
c [nbconstr=3105]
c time 6.989
c #vars     2993
c #clauses  185
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=-146
c Current CPU time (ms) : 7.818
c starts	: 1
c conflicts	: 0
c decisions	: 1272
c propagations	: 2993
c inspects	: 1067
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-340504
c Current CPU time (ms) : 11.121
c starts	: 2
c conflicts	: 0
c decisions	: 2543
c propagations	: 4788
c inspects	: 1703
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-553262
c Current CPU time (ms) : 14.945
c starts	: 3
c conflicts	: 1
c decisions	: 3814
c propagations	: 6587
c inspects	: 2373
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-117364281
c Current CPU time (ms) : 16.497
c starts	: 4
c conflicts	: 3
c decisions	: 4017
c propagations	: 8502
c inspects	: 3489
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 4
#### 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.85 0.94 0.90 2/55 24899
Raw data (stat): 24899 (runsolver) R 24898 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543210328 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 1.18 1.01 0.92 4/65 24910
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18036 3 1 0 763 43 0 0 25 0 11 0 543210328 871772160 23047 4294967295 134512640 134569956 3221224400 3221214856 1130890615 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212835 23047 13073 16 0 212819 0
vsize: 851340
[startup+20.0046 s]
Raw data (loadavg): 1.38 1.05 0.94 3/65 24913
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18088 3 1 0 1466 44 0 0 25 0 11 0 543210328 872955904 24485 4294967295 134512640 134569956 3221224400 3221214488 1131284580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213124 24485 13073 16 0 213108 0
vsize: 852496
[startup+30.0055 s]
Raw data (loadavg): 1.32 1.05 0.94 2/65 24913
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18088 3 1 0 2429 44 0 0 25 0 11 0 543210328 871403520 24243 4294967295 134512640 134569956 3221224400 3221214768 1131440778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212745 24243 13073 16 0 212729 0
vsize: 850980
[startup+40.0105 s]
Raw data (loadavg): 1.27 1.05 0.94 2/65 24913
Raw data (stat): 24899 (java) S 24898 20024 20023 0 -1 0 18089 3 1 0 3377 44 0 0 25 0 11 0 543210328 870006784 24244 4294967295 134512640 134569956 3221224400 3221213232 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 24244 13073 16 0 212388 0
vsize: 849616
[startup+50.0114 s]
Raw data (loadavg): 1.23 1.05 0.94 2/65 24913
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 4337 44 0 0 25 0 11 0 543210328 870006784 24298 4294967295 134512640 134569956 3221224400 3221214576 1131551108 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 24298 13073 16 0 212388 0
vsize: 849616
[startup+60.0125 s]
Raw data (loadavg): 1.19 1.05 0.94 2/65 24913
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 5303 45 0 0 25 0 11 0 543210328 870006784 24298 4294967295 134512640 134569956 3221224400 3221214640 1131421377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 24298 13073 16 0 212388 0
vsize: 849616
[startup+70.014 s]
Raw data (loadavg): 1.16 1.04 0.94 2/65 24913
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 6262 45 0 0 25 0 11 0 543210328 870006784 24448 4294967295 134512640 134569956 3221224400 3221214576 1131550877 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 24448 13073 16 0 212388 0
vsize: 849616
[startup+80.0191 s]
Raw data (loadavg): 1.14 1.04 0.94 2/65 24913
Raw data (stat): 24899 (java) S 24898 20024 20023 0 -1 0 18089 3 1 0 7208 45 0 0 25 0 11 0 543210328 870006784 24725 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 24725 13073 16 0 212388 0
vsize: 849616
[startup+90.0192 s]
Raw data (loadavg): 1.11 1.04 0.94 2/65 24913
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 8173 45 0 0 25 0 11 0 543210328 870006784 25051 4294967295 134512640 134569956 3221224400 3221214760 1131284949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25051 13073 16 0 212388 0
vsize: 849616
[startup+100.02 s]
Raw data (loadavg): 1.10 1.04 0.94 2/65 24913
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 9144 45 0 0 25 0 11 0 543210328 870006784 25123 4294967295 134512640 134569956 3221224400 3221214360 1080217364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25123 13073 16 0 212388 0
vsize: 849616
[startup+110.021 s]
Raw data (loadavg): 1.08 1.04 0.94 2/65 24913
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 10117 45 0 0 25 0 11 0 543210328 870006784 25123 4294967295 134512640 134569956 3221224400 3221214576 1131519647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25123 13073 16 0 212388 0
vsize: 849616
[startup+120.022 s]
Raw data (loadavg): 1.07 1.03 0.94 2/65 24913
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 11087 45 0 0 25 0 11 0 543210328 870006784 25231 4294967295 134512640 134569956 3221224400 3221214696 1131471021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25231 13073 16 0 212388 0
vsize: 849616
[startup+130.023 s]
Raw data (loadavg): 1.06 1.03 0.94 2/65 24913
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 12072 45 0 0 25 0 11 0 543210328 870006784 25464 4294967295 134512640 134569956 3221224400 3221214768 1131439718 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25464 13073 16 0 212388 0
vsize: 849616
[startup+140.023 s]
Raw data (loadavg): 1.05 1.03 0.94 2/65 24913
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 13065 45 0 0 25 0 11 0 543210328 870006784 25540 4294967295 134512640 134569956 3221224400 3221214496 1131658947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25540 13073 16 0 212388 0
vsize: 849616
[startup+150.024 s]
Raw data (loadavg): 1.04 1.03 0.94 2/65 24913
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 14062 45 0 0 25 0 11 0 543210328 870006784 25540 4294967295 134512640 134569956 3221224400 3221214392 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25540 13073 16 0 212388 0
vsize: 849616
[startup+160.024 s]
Raw data (loadavg): 1.03 1.03 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 15060 45 0 0 25 0 11 0 543210328 870006784 25540 4294967295 134512640 134569956 3221224400 3221214696 1131471970 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25540 13073 16 0 212388 0
vsize: 849616
[startup+170.025 s]
Raw data (loadavg): 1.03 1.03 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 16052 45 0 0 25 0 11 0 543210328 870006784 25540 4294967295 134512640 134569956 3221224400 3221214576 1131285121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25540 13073 16 0 212388 0
vsize: 849616
[startup+180.026 s]
Raw data (loadavg): 1.02 1.03 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 17031 45 0 0 25 0 11 0 543210328 870006784 25541 4294967295 134512640 134569956 3221224400 3221214692 1131515589 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25541 13073 16 0 212388 0
vsize: 849616
[startup+190.027 s]
Raw data (loadavg): 1.02 1.02 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 17994 45 0 0 24 0 11 0 543210328 870006784 25541 4294967295 134512640 134569956 3221224400 3221214640 1131421356 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25541 13073 16 0 212388 0
vsize: 849616
[startup+200.028 s]
Raw data (loadavg): 1.02 1.02 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 18957 45 0 0 25 0 11 0 543210328 870006784 25541 4294967295 134512640 134569956 3221224400 3221214864 1131415155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25541 13073 16 0 212388 0
vsize: 849616
[startup+210.028 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 19918 46 0 0 24 0 11 0 543210328 870006784 25675 4294967295 134512640 134569956 3221224400 3221214392 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25675 13073 16 0 212388 0
vsize: 849616
[startup+220.03 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 20893 46 0 0 25 0 11 0 543210328 870006784 25919 4294967295 134512640 134569956 3221224400 3221214696 1131470938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 25919 13073 16 0 212388 0
vsize: 849616
[startup+230.03 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 21882 46 0 0 25 0 11 0 543210328 870006784 26055 4294967295 134512640 134569956 3221224400 3221214728 1131406025 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26055 13073 16 0 212388 0
vsize: 849616
[startup+240.031 s]
Raw data (loadavg): 1.01 1.02 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 22865 46 0 0 25 0 11 0 543210328 870006784 26066 4294967295 134512640 134569956 3221224400 3221214696 1131472621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26066 13073 16 0 212388 0
vsize: 849616
[startup+250.032 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 23848 46 0 0 25 0 11 0 543210328 870006784 26066 4294967295 134512640 134569956 3221224400 3221214576 1131520919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26066 13073 16 0 212388 0
vsize: 849616
[startup+260.031 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 24824 46 0 0 25 0 11 0 543210328 870006784 26066 4294967295 134512640 134569956 3221224400 3221214576 1131521472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26066 13073 16 0 212388 0
vsize: 849616
[startup+270.033 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 25796 46 0 0 25 0 11 0 543210328 870006784 26146 4294967295 134512640 134569956 3221224400 3221214764 1131298176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26146 13073 16 0 212388 0
vsize: 849616
[startup+280.033 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 26772 46 0 0 25 0 11 0 543210328 870006784 26296 4294967295 134512640 134569956 3221224400 3221214768 1131369264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26296 13073 16 0 212388 0
vsize: 849616
[startup+290.033 s]
Raw data (loadavg): 1.00 1.02 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 27749 46 0 0 25 0 11 0 543210328 870006784 26296 4294967295 134512640 134569956 3221224400 3221214680 1131298624 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26296 13073 16 0 212388 0
vsize: 849616
[startup+300.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 28724 46 0 0 25 0 11 0 543210328 870006784 26386 4294967295 134512640 134569956 3221224400 3221214680 1131298913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26386 13073 16 0 212388 0
vsize: 849616
[startup+310.034 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 29702 46 0 0 25 0 11 0 543210328 870006784 26465 4294967295 134512640 134569956 3221224400 3221214584 1131405230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26465 13073 16 0 212388 0
vsize: 849616
[startup+320.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 30681 46 0 0 25 0 11 0 543210328 870006784 26543 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26543 13073 16 0 212388 0
vsize: 849616
[startup+330.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 31659 46 0 0 25 0 11 0 543210328 870006784 26619 4294967295 134512640 134569956 3221224400 3221214680 1131298497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26619 13073 16 0 212388 0
vsize: 849616
[startup+340.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 32640 46 0 0 24 0 11 0 543210328 870006784 26695 4294967295 134512640 134569956 3221224400 3221214680 1131298258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26695 13073 16 0 212388 0
vsize: 849616
[startup+350.035 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 33614 46 0 0 25 0 11 0 543210328 870006784 26775 4294967295 134512640 134569956 3221224400 3221214720 1131306428 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26775 13073 16 0 212388 0
vsize: 849616
[startup+360.036 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 34591 47 0 0 25 0 11 0 543210328 870006784 26776 4294967295 134512640 134569956 3221224400 3221214760 1131195932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26776 13073 16 0 212388 0
vsize: 849616
[startup+370.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 35569 47 0 0 25 0 11 0 543210328 870006784 26854 4294967295 134512640 134569956 3221224400 3221214756 1080204274 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 26854 13073 16 0 212388 0
vsize: 849616
[startup+380.037 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 36549 47 0 0 25 0 11 0 543210328 870006784 27011 4294967295 134512640 134569956 3221224400 3221214768 1131370182 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27011 13073 16 0 212388 0
vsize: 849616
[startup+390.041 s]
Raw data (loadavg): 1.00 1.01 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 37534 47 0 0 25 0 11 0 543210328 870006784 27012 4294967295 134512640 134569956 3221224400 3221214568 1131412489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27012 13073 16 0 212388 0
vsize: 849616
[startup+400.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 38519 47 0 0 25 0 11 0 543210328 870006784 27087 4294967295 134512640 134569956 3221224400 3221214768 1131370942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27087 13073 16 0 212388 0
vsize: 849616
[startup+410.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 39504 47 0 0 25 0 11 0 543210328 870006784 27164 4294967295 134512640 134569956 3221224400 3221214680 1131298517 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 27164 13073 16 0 212388 0
vsize: 849616
[startup+420.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 40481 47 0 0 25 0 11 0 543210328 870006784 27165 4294967295 134512640 134569956 3221224400 3221214768 1131367809 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27165 13073 16 0 212388 0
vsize: 849616
[startup+430.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 41456 47 0 0 25 0 11 0 543210328 870006784 27241 4294967295 134512640 134569956 3221224400 3221214544 1131574346 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27241 13073 16 0 212388 0
vsize: 849616
[startup+440.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 42431 47 0 0 24 0 11 0 543210328 870006784 27244 4294967295 134512640 134569956 3221224400 3221214680 1131298569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27244 13073 16 0 212388 0
vsize: 849616
[startup+450.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24915
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 43410 47 0 0 25 0 11 0 543210328 870006784 27470 4294967295 134512640 134569956 3221224400 3221214568 1131412065 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27470 13073 16 0 212388 0
vsize: 849616
[startup+460.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 44399 47 0 0 25 0 11 0 543210328 870006784 27473 4294967295 134512640 134569956 3221224400 3221214680 1131298297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27473 13073 16 0 212388 0
vsize: 849616
[startup+470.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 45383 47 0 0 25 0 11 0 543210328 870006784 27549 4294967295 134512640 134569956 3221224400 3221214680 1131298517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27549 13073 16 0 212388 0
vsize: 849616
[startup+480.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 46371 47 0 0 25 0 11 0 543210328 870006784 27553 4294967295 134512640 134569956 3221224400 3221214360 1080217232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27553 13073 16 0 212388 0
vsize: 849616
[startup+490.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 47345 47 0 0 25 0 11 0 543210328 870006784 27554 4294967295 134512640 134569956 3221224400 3221214680 1131298753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27554 13073 16 0 212388 0
vsize: 849616
[startup+500.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 48324 48 0 0 25 0 11 0 543210328 870006784 27629 4294967295 134512640 134569956 3221224400 3221214640 1131421342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27629 13073 16 0 212388 0
vsize: 849616
[startup+510.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 49299 48 0 0 25 0 11 0 543210328 870006784 27630 4294967295 134512640 134569956 3221224400 3221214680 1131298862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27630 13073 16 0 212388 0
vsize: 849616
[startup+520.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 50280 48 0 0 25 0 11 0 543210328 870006784 27856 4294967295 134512640 134569956 3221224400 3221214760 1131195964 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27856 13073 16 0 212388 0
vsize: 849616
[startup+530.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 51270 48 0 0 25 0 11 0 543210328 870006784 27857 4294967295 134512640 134569956 3221224400 3221214680 1131298507 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27857 13073 16 0 212388 0
vsize: 849616
[startup+540.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 52247 48 0 0 25 0 11 0 543210328 870006784 27858 4294967295 134512640 134569956 3221224400 3221214680 1131298775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27858 13073 16 0 212388 0
vsize: 849616
[startup+550.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 53224 48 0 0 25 0 11 0 543210328 870006784 27933 4294967295 134512640 134569956 3221224400 3221214680 1131298297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27933 13073 16 0 212388 0
vsize: 849616
[startup+560.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 54201 48 0 0 25 0 11 0 543210328 870006784 27935 4294967295 134512640 134569956 3221224400 3221214744 1131513621 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 27935 13073 16 0 212388 0
vsize: 849616
[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 55167 48 0 0 25 0 11 0 543210328 870006784 28165 4294967295 134512640 134569956 3221224400 3221214728 1131516748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28165 13073 16 0 212388 0
vsize: 849616
[startup+580.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 56130 48 0 0 25 0 11 0 543210328 870006784 28165 4294967295 134512640 134569956 3221224400 3221214680 1131298553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28165 13073 16 0 212388 0
vsize: 849616
[startup+590.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 57075 48 0 0 25 0 11 0 543210328 870006784 28168 4294967295 134512640 134569956 3221224400 3221214680 1131298917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28168 13073 16 0 212388 0
vsize: 849616
[startup+600.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 58035 48 0 0 25 0 11 0 543210328 870006784 28436 4294967295 134512640 134569956 3221224400 3221214656 1131303367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28436 13073 16 0 212388 0
vsize: 849616
[startup+610.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 59011 48 0 0 25 0 11 0 543210328 870006784 28592 4294967295 134512640 134569956 3221224400 3221214768 1131368035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28592 13073 16 0 212388 0
vsize: 849616
[startup+620.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 59998 48 0 0 25 0 11 0 543210328 870006784 28752 4294967295 134512640 134569956 3221224400 3221214680 1131298341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28752 13073 16 0 212388 0
vsize: 849616
[startup+630.078 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 60988 48 0 0 25 0 11 0 543210328 870006784 28753 4294967295 134512640 134569956 3221224400 3221214680 1131298959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28753 13073 16 0 212388 0
vsize: 849616
[startup+640.081 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 61978 48 0 0 25 0 11 0 543210328 870006784 28754 4294967295 134512640 134569956 3221224400 3221214572 1131569505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28754 13073 16 0 212388 0
vsize: 849616
[startup+650.083 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 62966 48 0 0 25 0 11 0 543210328 870006784 28837 4294967295 134512640 134569956 3221224400 3221214680 1131298893 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28837 13073 16 0 212388 0
vsize: 849616
[startup+660.084 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 63956 48 0 0 25 0 11 0 543210328 870006784 28841 4294967295 134512640 134569956 3221224400 3221214760 1131195935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28841 13073 16 0 212388 0
vsize: 849616
[startup+670.084 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 64945 48 0 0 25 0 11 0 543210328 870006784 28847 4294967295 134512640 134569956 3221224400 3221214496 1131571297 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28847 13073 16 0 212388 0
vsize: 849616
[startup+680.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 65935 48 0 0 25 0 11 0 543210328 870006784 28925 4294967295 134512640 134569956 3221224400 3221214492 1079721528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28925 13073 16 0 212388 0
vsize: 849616
[startup+690.085 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 66914 48 0 0 25 0 11 0 543210328 870006784 28925 4294967295 134512640 134569956 3221224400 3221214680 1131298733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28925 13073 16 0 212388 0
vsize: 849616
[startup+700.086 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 67889 48 0 0 25 0 11 0 543210328 870006784 28926 4294967295 134512640 134569956 3221224400 3221214768 1131370920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 28926 13073 16 0 212388 0
vsize: 849616
[startup+710.087 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 68869 48 0 0 25 0 11 0 543210328 870006784 29004 4294967295 134512640 134569956 3221224400 3221214768 1131369816 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29004 13073 16 0 212388 0
vsize: 849616
[startup+720.088 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 69855 49 0 0 25 0 11 0 543210328 870006784 29156 4294967295 134512640 134569956 3221224400 3221214768 1131367995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29156 13073 16 0 212388 0
vsize: 849616
[startup+730.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 70845 49 0 0 25 0 11 0 543210328 870006784 29159 4294967295 134512640 134569956 3221224400 3221214680 1131298434 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29159 13073 16 0 212388 0
vsize: 849616
[startup+740.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 71834 49 0 0 25 0 11 0 543210328 870006784 29163 4294967295 134512640 134569956 3221224400 3221214768 1131370920 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29163 13073 16 0 212388 0
vsize: 849616
[startup+750.091 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24917
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 72824 49 0 0 25 0 11 0 543210328 870006784 29164 4294967295 134512640 134569956 3221224400 3221214488 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29164 13073 16 0 212388 0
vsize: 849616
[startup+760.092 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 73814 49 0 0 25 0 11 0 543210328 870006784 29239 4294967295 134512640 134569956 3221224400 3221214696 1131471790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29239 13073 16 0 212388 0
vsize: 849616
[startup+770.094 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 74790 49 0 0 25 0 11 0 543210328 870006784 29242 4294967295 134512640 134569956 3221224400 3221214768 1131367827 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29242 13073 16 0 212388 0
vsize: 849616
[startup+780.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 75769 49 0 0 25 0 11 0 543210328 870006784 29242 4294967295 134512640 134569956 3221224400 3221214768 1131374296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29242 13073 16 0 212388 0
vsize: 849616
[startup+790.095 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 76747 49 0 0 25 0 11 0 543210328 870006784 29321 4294967295 134512640 134569956 3221224400 3221214680 1131298341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29321 13073 16 0 212388 0
vsize: 849616
[startup+800.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 77736 49 0 0 25 0 11 0 543210328 870006784 29471 4294967295 134512640 134569956 3221224400 3221214768 1131369364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29471 13073 16 0 212388 0
vsize: 849616
[startup+810.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 78718 49 0 0 25 0 11 0 543210328 870006784 29471 4294967295 134512640 134569956 3221224400 3221214680 1131298341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29471 13073 16 0 212388 0
vsize: 849616
[startup+820.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 79692 49 0 0 25 0 11 0 543210328 870006784 29475 4294967295 134512640 134569956 3221224400 3221214768 1131369076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29475 13073 16 0 212388 0
vsize: 849616
[startup+830.098 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 80657 49 0 0 25 0 11 0 543210328 870006784 29476 4294967295 134512640 134569956 3221224400 3221214680 1131298651 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29476 13073 16 0 212388 0
vsize: 849616
[startup+840.101 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) S 24898 20024 20023 0 -1 0 18089 3 1 0 81614 49 0 0 25 0 11 0 543210328 870006784 29705 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29706 13073 16 0 212388 0
vsize: 849616
[startup+850.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 82586 50 0 0 25 0 11 0 543210328 870006784 29709 4294967295 134512640 134569956 3221224400 3221214680 1131298917 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29709 13073 16 0 212388 0
vsize: 849616
[startup+860.102 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 83565 50 0 0 25 0 11 0 543210328 870006784 29996 4294967295 134512640 134569956 3221224400 3221214680 1131298794 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 29996 13073 16 0 212388 0
vsize: 849616
[startup+870.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 84556 50 0 0 25 0 11 0 543210328 870006784 30008 4294967295 134512640 134569956 3221224400 3221214680 1131298341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30008 13073 16 0 212388 0
vsize: 849616
[startup+880.106 s]
Raw data (loadavg): 1.07 1.02 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 85545 50 0 0 25 0 11 0 543210328 870006784 30010 4294967295 134512640 134569956 3221224400 3221214656 1131303481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30010 13073 16 0 212388 0
vsize: 849616
[startup+890.106 s]
Raw data (loadavg): 1.06 1.02 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 86534 50 0 0 25 0 11 0 543210328 870006784 30014 4294967295 134512640 134569956 3221224400 3221214768 1131369810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30014 13073 16 0 212388 0
vsize: 849616
[startup+900.108 s]
Raw data (loadavg): 1.05 1.01 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 87525 50 0 0 25 0 11 0 543210328 870006784 30089 4294967295 134512640 134569956 3221224400 3221214680 1131298483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30089 13073 16 0 212388 0
vsize: 849616
[startup+910.109 s]
Raw data (loadavg): 1.04 1.01 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 88521 50 0 0 25 0 11 0 543210328 870006784 30097 4294967295 134512640 134569956 3221224400 3221214680 1131298709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30097 13073 16 0 212388 0
vsize: 849616
[startup+920.11 s]
Raw data (loadavg): 1.04 1.01 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 89510 50 0 0 25 0 11 0 543210328 870006784 30104 4294967295 134512640 134569956 3221224400 3221214680 1131298909 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30104 13073 16 0 212388 0
vsize: 849616
[startup+930.11 s]
Raw data (loadavg): 1.03 1.01 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 90499 50 0 0 25 0 11 0 543210328 870006784 30106 4294967295 134512640 134569956 3221224400 3221214680 1131298517 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30106 13073 16 0 212388 0
vsize: 849616
[startup+940.111 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 91488 50 0 0 25 0 11 0 543210328 870006784 30107 4294967295 134512640 134569956 3221224400 3221214680 1131299168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30107 13073 16 0 212388 0
vsize: 849616
[startup+950.112 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 92484 50 0 0 25 0 11 0 543210328 870006784 30183 4294967295 134512640 134569956 3221224400 3221214528 1131568986 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30183 13073 16 0 212388 0
vsize: 849616
[startup+960.112 s]
Raw data (loadavg): 1.02 1.01 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 93475 50 0 0 25 0 11 0 543210328 870006784 30186 4294967295 134512640 134569956 3221224400 3221214568 1131412836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30186 13073 16 0 212388 0
vsize: 849616
[startup+970.113 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 94453 50 0 0 25 0 11 0 543210328 870006784 30187 4294967295 134512640 134569956 3221224400 3221214768 1131373922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30187 13073 16 0 212388 0
vsize: 849616
[startup+980.113 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 95429 51 0 0 25 0 11 0 543210328 870006784 30193 4294967295 134512640 134569956 3221224400 3221214680 1131298217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30193 13073 16 0 212388 0
vsize: 849616
[startup+990.114 s]
Raw data (loadavg): 1.01 1.01 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 96407 51 0 0 24 0 11 0 543210328 870006784 30273 4294967295 134512640 134569956 3221224400 3221214680 1131298474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30273 13073 16 0 212388 0
vsize: 849616
[startup+1000.11 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 97399 51 0 0 25 0 11 0 543210328 870006784 30422 4294967295 134512640 134569956 3221224400 3221214736 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30422 13073 16 0 212388 0
vsize: 849616
[startup+1010.12 s]
Raw data (loadavg): 1.01 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 98393 51 0 0 25 0 11 0 543210328 870006784 30424 4294967295 134512640 134569956 3221224400 3221214680 1131298541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30424 13073 16 0 212388 0
vsize: 849616
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 99381 51 0 0 25 0 11 0 543210328 870006784 30425 4294967295 134512640 134569956 3221224400 3221214680 1131298705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30425 13073 16 0 212388 0
vsize: 849616
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 100370 51 0 0 25 0 11 0 543210328 870006784 30430 4294967295 134512640 134569956 3221224400 3221214680 1131298775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30430 13073 16 0 212388 0
vsize: 849616
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 101360 51 0 0 25 0 11 0 543210328 870006784 30507 4294967295 134512640 134569956 3221224400 3221214680 1131298741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30507 13073 16 0 212388 0
vsize: 849616
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24919
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 102358 51 0 0 25 0 11 0 543210328 870006784 30509 4294967295 134512640 134569956 3221224400 3221214520 1131648058 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30509 13073 16 0 212388 0
vsize: 849616
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 103347 51 0 0 25 0 11 0 543210328 870006784 30510 4294967295 134512640 134569956 3221224400 3221214576 1131519732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 30510 13073 16 0 212388 0
vsize: 849616
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 104326 52 0 0 25 0 11 0 543210328 870006784 30512 4294967295 134512640 134569956 3221224400 3221214680 1131298775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 30512 13073 16 0 212388 0
vsize: 849616
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 105302 52 0 0 25 0 11 0 543210328 870006784 30512 4294967295 134512640 134569956 3221224400 3221214680 1131299174 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 30512 13073 16 0 212388 0
vsize: 849616
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 106283 52 0 0 25 0 11 0 543210328 870006784 30586 4294967295 134512640 134569956 3221224400 3221214768 1131370041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 30586 13073 16 0 212388 0
vsize: 849616
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 107274 52 0 0 25 0 11 0 543210328 870006784 30737 4294967295 134512640 134569956 3221224400 3221214760 1131195952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 30737 13073 16 0 212388 0
vsize: 849616
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 108267 53 0 0 25 0 11 0 543210328 870006784 30743 4294967295 134512640 134569956 3221224400 3221214680 1131298637 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 30743 13073 16 0 212388 0
vsize: 849616
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 109251 53 0 0 25 0 11 0 543210328 870006784 30753 4294967295 134512640 134569956 3221224400 3221214680 1131298925 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 30753 13073 16 0 212388 0
vsize: 849616
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 110229 53 0 0 25 0 11 0 543210328 870006784 30753 4294967295 134512640 134569956 3221224400 3221214680 1131298273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 30753 13073 16 0 212388 0
vsize: 849616
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 111198 53 0 0 25 0 11 0 543210328 870006784 30754 4294967295 134512640 134569956 3221224400 3221214368 1080217313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 30754 13073 16 0 212388 0
vsize: 849616
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 112161 53 0 0 25 0 11 0 543210328 870006784 30828 4294967295 134512640 134569956 3221224400 3221214768 1131373937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 30828 13073 16 0 212388 0
vsize: 849616
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 113131 54 0 0 25 0 11 0 543210328 870006784 30978 4294967295 134512640 134569956 3221224400 3221214680 1131298341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 30978 13073 16 0 212388 0
vsize: 849616
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 114104 54 0 0 25 0 11 0 543210328 870006784 31126 4294967295 134512640 134569956 3221224400 3221214768 1131369324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 31126 13073 16 0 212388 0
vsize: 849616
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 115092 55 0 0 25 0 11 0 543210328 870006784 31274 4294967295 134512640 134569956 3221224400 3221214656 1131303483 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 31274 13073 16 0 212388 0
vsize: 849616
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 116086 55 0 0 24 0 11 0 543210328 870006784 31275 4294967295 134512640 134569956 3221224400 3221214680 1131298630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 31275 13073 16 0 212388 0
vsize: 849616
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 117075 55 0 0 25 0 11 0 543210328 870006784 31277 4294967295 134512640 134569956 3221224400 3221214768 1131374485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 31277 13073 16 0 212388 0
vsize: 849616
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 118064 56 0 0 25 0 11 0 543210328 870006784 31278 4294967295 134512640 134569956 3221224400 3221214680 1131298434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 31278 13073 16 0 212388 0
vsize: 849616
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 119053 56 0 0 25 0 11 0 543210328 870006784 31357 4294967295 134512640 134569956 3221224400 3221214736 1131044207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212404 31357 13073 16 0 212388 0
vsize: 849616
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/65 24921
Raw data (stat): 24899 (java) R 24898 20024 20023 0 -1 0 18089 3 1 0 120050 57 0 0 25 0 11 0 543210328 870006784 31358 4294967295 134512640 134569956 3221224400 3221214680 1131298798 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212404 31358 13073 16 0 212388 0
vsize: 849616
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.24 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 24923
Raw data (stat): 24899 (java) Z 24898 20024 20023 0 -1 1036 18089 14927 1 0 120055 57 3369 41 25 0 1 0 543210328 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.24
CPU time (s): 1235.24
CPU user time (s): 1234.25
CPU system time (s): 0.992849
CPU usage (%): 100.407
Max. virtual memory (Kb): 852496
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####