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-khb05250.opb
MD5SUM	5d4b655a5461d6a0782bca8bd105f9c2
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	37494
Biggest coefficient in the objective function	6251324899328
Number of bits for the biggest coefficient in the objective function	43
Sum of the numbers in the objective function	5652283493428566
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	6251324899328
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	5652283493428566
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1250.4
Number of variables	38297
Total number of constraints	126
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	102
Minimum length of a constraint	1
Maximum length of a constraint	1530
Trace number 16448

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        433832 kB
Buffers:         35988 kB
Cached:         541528 kB
SwapCached:          8 kB
Active:         152304 kB
Inactive:       427968 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        433580 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            14916 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 07:37:18 (client local time) WITH STATUS 143 IN 1237.73 SECONDS
stats: 13477 7 1237.73 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-khb05250.opb
c reading problem 
c [nbvar=38297]
c [nbconstr=126]
c time 403.637
c #vars     38297
c #clauses  180
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.79 0.95 0.95 2/54 4506
Raw data (stat): 4506 (runsolver) R 4505 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 484988476 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.0004 s]
Raw data (loadavg): 0.82 0.95 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 885 38 0 0 25 0 10 0 484988476 853741568 19280 4294967295 134512640 134569956 3221224400 3221214472 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208433 19280 13073 16 0 208417 0
vsize: 833732
[startup+20.0057 s]
Raw data (loadavg): 0.85 0.95 0.95 2/63 4515
Raw data (stat): 4506 (java) S 4505 30854 30853 0 -1 0 17977 0 1 0 1773 38 0 0 25 0 10 0 484988476 853942272 19840 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208482 19840 13073 16 0 208466 0
vsize: 833928
[startup+30.006 s]
Raw data (loadavg): 0.87 0.95 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 2676 38 0 0 25 0 10 0 484988476 853942272 20321 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208482 20321 13073 16 0 208466 0
vsize: 833928
[startup+40.0058 s]
Raw data (loadavg): 0.89 0.95 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 3606 38 0 0 25 0 10 0 484988476 853942272 20565 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208482 20565 13073 16 0 208466 0
vsize: 833928
[startup+50.007 s]
Raw data (loadavg): 0.91 0.96 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 4534 39 0 0 25 0 10 0 484988476 853942272 20696 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208482 20696 13073 16 0 208466 0
vsize: 833928
[startup+60.0074 s]
Raw data (loadavg): 0.92 0.96 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 5462 39 0 0 24 0 10 0 484988476 853942272 20809 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208482 20809 13073 16 0 208466 0
vsize: 833928
[startup+70.0082 s]
Raw data (loadavg): 0.93 0.96 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 6408 39 0 0 25 0 10 0 484988476 853741568 20980 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 20980 13073 16 0 208417 0
vsize: 833732
[startup+80.0096 s]
Raw data (loadavg): 0.94 0.96 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 7353 39 0 0 25 0 10 0 484988476 853741568 21067 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 21067 13073 16 0 208417 0
vsize: 833732
[startup+90.0098 s]
Raw data (loadavg): 0.95 0.96 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 8299 39 0 0 24 0 10 0 484988476 853741568 21148 4294967295 134512640 134569956 3221224400 3221214160 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 21148 13073 16 0 208417 0
vsize: 833732
[startup+100.01 s]
Raw data (loadavg): 0.96 0.96 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 9248 40 0 0 25 0 10 0 484988476 853741568 21217 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 21217 13073 16 0 208417 0
vsize: 833732
[startup+110.011 s]
Raw data (loadavg): 0.96 0.96 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 10196 40 0 0 25 0 10 0 484988476 853741568 21288 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 21288 13073 16 0 208417 0
vsize: 833732
[startup+120.011 s]
Raw data (loadavg): 0.97 0.96 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 11143 40 0 0 24 0 10 0 484988476 853741568 21354 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 21354 13073 16 0 208417 0
vsize: 833732
[startup+130.011 s]
Raw data (loadavg): 0.97 0.96 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 12092 40 0 0 25 0 10 0 484988476 853741568 21413 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 21413 13073 16 0 208417 0
vsize: 833732
[startup+140.012 s]
Raw data (loadavg): 0.98 0.96 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 13039 40 0 0 25 0 10 0 484988476 853741568 21473 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 21473 13073 16 0 208417 0
vsize: 833732
[startup+150.013 s]
Raw data (loadavg): 0.98 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 13986 41 0 0 25 0 10 0 484988476 853741568 21531 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 21531 13073 16 0 208417 0
vsize: 833732
[startup+160.013 s]
Raw data (loadavg): 0.98 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 14931 41 0 0 20 0 10 0 484988476 853741568 21586 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 21586 13073 16 0 208417 0
vsize: 833732
[startup+170.015 s]
Raw data (loadavg): 0.98 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 15867 41 0 0 25 0 10 0 484988476 853741568 21636 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 21636 13073 16 0 208417 0
vsize: 833732
[startup+180.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) S 4505 30854 30853 0 -1 0 17977 0 1 0 16793 41 0 0 25 0 10 0 484988476 853741568 21685 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 21685 13073 16 0 208417 0
vsize: 833732
[startup+190.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 17730 41 0 0 25 0 10 0 484988476 853741568 21992 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 21992 13073 16 0 208417 0
vsize: 833732
[startup+200.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 18672 41 0 0 25 0 10 0 484988476 853741568 22040 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22040 13073 16 0 208417 0
vsize: 833732
[startup+210.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) S 4505 30854 30853 0 -1 0 17977 0 1 0 19618 41 0 0 25 0 10 0 484988476 853741568 22085 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22085 13073 16 0 208417 0
vsize: 833732
[startup+220.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 20560 41 0 0 25 0 10 0 484988476 853741568 22131 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22131 13073 16 0 208417 0
vsize: 833732
[startup+230.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 21501 42 0 0 25 0 10 0 484988476 853741568 22175 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22175 13073 16 0 208417 0
vsize: 833732
[startup+240.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 22442 42 0 0 24 0 10 0 484988476 853741568 22219 4294967295 134512640 134569956 3221224400 3221214224 1076460986 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22219 13073 16 0 208417 0
vsize: 833732
[startup+250.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 23385 42 0 0 25 0 10 0 484988476 853741568 22259 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22259 13073 16 0 208417 0
vsize: 833732
[startup+260.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 24326 43 0 0 25 0 10 0 484988476 853741568 22301 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22301 13073 16 0 208417 0
vsize: 833732
[startup+270.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) S 4505 30854 30853 0 -1 0 17977 0 1 0 25266 43 0 0 25 0 10 0 484988476 853741568 22340 4294967295 134512640 134569956 3221224400 3221213408 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22340 13073 16 0 208417 0
vsize: 833732
[startup+280.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 26208 43 0 0 25 0 10 0 484988476 853741568 22380 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22380 13073 16 0 208417 0
vsize: 833732
[startup+290.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 27146 43 0 0 25 0 10 0 484988476 853741568 22419 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22419 13073 16 0 208417 0
vsize: 833732
[startup+300.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 28088 43 0 0 25 0 10 0 484988476 853741568 22456 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22456 13073 16 0 208417 0
vsize: 833732
[startup+310.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 29025 44 0 0 25 0 10 0 484988476 853741568 22494 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22494 13073 16 0 208417 0
vsize: 833732
[startup+320.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 29962 44 0 0 25 0 10 0 484988476 853741568 22532 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22532 13073 16 0 208417 0
vsize: 833732
[startup+330.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) S 4505 30854 30853 0 -1 0 17977 0 1 0 30900 44 0 0 25 0 10 0 484988476 853741568 22566 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22566 13073 16 0 208417 0
vsize: 833732
[startup+340.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 31838 44 0 0 25 0 10 0 484988476 853741568 22602 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22602 13073 16 0 208417 0
vsize: 833732
[startup+350.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 32774 45 0 0 25 0 10 0 484988476 853741568 22638 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22638 13073 16 0 208417 0
vsize: 833732
[startup+360.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) S 4505 30854 30853 0 -1 0 17977 0 1 0 33711 45 0 0 25 0 10 0 484988476 853741568 22671 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22671 13073 16 0 208417 0
vsize: 833732
[startup+370.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17977 0 1 0 34647 45 0 0 25 0 10 0 484988476 853741568 22705 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208433 22705 13073 16 0 208417 0
vsize: 833732
[startup+380.043 s]
Raw data (loadavg): 0.99 0.97 0.95 3/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 17997 0 1 0 35584 45 0 0 25 0 10 0 484988476 858185728 23607 4294967295 134512640 134569956 3221224400 3221214364 1130893176 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209518 23607 13073 16 0 209502 0
vsize: 838072
[startup+390.044 s]
Raw data (loadavg): 1.14 1.00 0.96 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18005 0 1 0 36354 46 0 0 25 0 10 0 484988476 858783744 27335 4294967295 134512640 134569956 3221224400 3221214844 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209664 27335 13073 16 0 209648 0
vsize: 838656
[startup+400.047 s]
Raw data (loadavg): 1.12 1.00 0.96 2/63 4515
Raw data (stat): 4506 (java) S 4505 30854 30853 0 -1 0 18005 0 1 0 37297 46 0 0 25 0 10 0 484988476 858783744 27335 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209664 27335 13073 16 0 209648 0
vsize: 838656
[startup+410.049 s]
Raw data (loadavg): 1.10 1.00 0.96 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18028 0 1 0 38208 48 0 0 25 0 10 0 484988476 858783744 28533 4294967295 134512640 134569956 3221224400 3221214896 1131435915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209664 28533 13073 16 0 209648 0
vsize: 838656
[startup+420.049 s]
Raw data (loadavg): 1.08 1.00 0.96 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18028 0 1 0 39123 48 0 0 25 0 10 0 484988476 858783744 28534 4294967295 134512640 134569956 3221224400 3221214800 1131309463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209664 28534 13073 16 0 209648 0
vsize: 838656
[startup+430.049 s]
Raw data (loadavg): 1.07 1.00 0.96 2/63 4515
Raw data (stat): 4506 (java) S 4505 30854 30853 0 -1 0 18028 0 1 0 40040 48 0 0 25 0 10 0 484988476 858783744 28534 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209664 28534 13073 16 0 209648 0
vsize: 838656
[startup+440.049 s]
Raw data (loadavg): 1.06 1.00 0.96 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18028 0 1 0 40978 48 0 0 25 0 10 0 484988476 858783744 29156 4294967295 134512640 134569956 3221224400 3221214896 1131435416 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209664 29156 13073 16 0 209648 0
vsize: 838656
[startup+450.05 s]
Raw data (loadavg): 1.05 1.00 0.96 2/63 4515
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18028 0 1 0 41975 48 0 0 25 0 10 0 484988476 858783744 29156 4294967295 134512640 134569956 3221224400 3221214896 1131435995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209664 29156 13073 16 0 209648 0
vsize: 838656
[startup+460.05 s]
Raw data (loadavg): 1.04 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18034 0 1 0 42969 48 0 0 25 0 11 0 484988476 859312128 29165 4294967295 134512640 134569956 3221224400 3221214848 1131435355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29165 13073 16 0 209777 0
vsize: 839172
[startup+470.051 s]
Raw data (loadavg): 1.04 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18034 0 1 0 43964 48 0 0 25 0 11 0 484988476 859312128 29165 4294967295 134512640 134569956 3221224400 3221214800 1131275586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29165 13073 16 0 209777 0
vsize: 839172
[startup+480.051 s]
Raw data (loadavg): 1.03 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18034 0 1 0 44961 48 0 0 25 0 11 0 484988476 859312128 29166 4294967295 134512640 134569956 3221224400 3221214752 1131309051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29166 13073 16 0 209777 0
vsize: 839172
[startup+490.053 s]
Raw data (loadavg): 1.02 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18034 0 1 0 45957 48 0 0 25 0 11 0 484988476 859312128 29170 4294967295 134512640 134569956 3221224400 3221214752 1131309326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29170 13073 16 0 209777 0
vsize: 839172
[startup+500.053 s]
Raw data (loadavg): 1.02 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18034 0 1 0 46953 48 0 0 25 0 11 0 484988476 859312128 29175 4294967295 134512640 134569956 3221224400 3221214752 1131308773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29175 13073 16 0 209777 0
vsize: 839172
[startup+510.054 s]
Raw data (loadavg): 1.02 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18034 0 1 0 47948 49 0 0 25 0 11 0 484988476 859312128 29179 4294967295 134512640 134569956 3221224400 3221214752 1131309165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29179 13073 16 0 209777 0
vsize: 839172
[startup+520.054 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18034 0 1 0 48944 49 0 0 25 0 11 0 484988476 859312128 29184 4294967295 134512640 134569956 3221224400 3221214848 1131435998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29184 13073 16 0 209777 0
vsize: 839172
[startup+530.054 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18034 0 1 0 49940 49 0 0 25 0 11 0 484988476 859312128 29187 4294967295 134512640 134569956 3221224400 3221214848 1131436001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29187 13073 16 0 209777 0
vsize: 839172
[startup+540.057 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18072 0 1 0 50927 50 0 0 25 0 11 0 484988476 859312128 29237 4294967295 134512640 134569956 3221224400 3221214752 1131310031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29237 13073 16 0 209777 0
vsize: 839172
[startup+550.056 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18072 0 1 0 51922 50 0 0 25 0 11 0 484988476 859312128 29243 4294967295 134512640 134569956 3221224400 3221214208 1076461257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29243 13073 16 0 209777 0
vsize: 839172
[startup+560.058 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18072 0 1 0 52918 50 0 0 25 0 11 0 484988476 859312128 29252 4294967295 134512640 134569956 3221224400 3221214848 1131435988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29252 13073 16 0 209777 0
vsize: 839172
[startup+570.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18072 0 1 0 53914 50 0 0 25 0 11 0 484988476 859312128 29261 4294967295 134512640 134569956 3221224400 3221214752 1131309165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29261 13073 16 0 209777 0
vsize: 839172
[startup+580.058 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18072 0 1 0 54909 50 0 0 25 0 11 0 484988476 859312128 29270 4294967295 134512640 134569956 3221224400 3221214752 1131309987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29270 13073 16 0 209777 0
vsize: 839172
[startup+590.059 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18074 0 1 0 55830 50 0 0 25 0 11 0 484988476 860340224 29514 4294967295 134512640 134569956 3221224400 3221214848 1131436551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210044 29514 13073 16 0 210028 0
vsize: 840176
[startup+600.059 s]
Raw data (loadavg): 1.16 1.03 0.97 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18074 0 1 0 56812 50 0 0 25 0 11 0 484988476 859312128 29333 4294967295 134512640 134569956 3221224400 3221214752 1131308765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29333 13073 16 0 209777 0
vsize: 839172
[startup+610.06 s]
Raw data (loadavg): 1.21 1.05 0.98 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18075 0 1 0 57792 51 0 0 25 0 11 0 484988476 860540928 29653 4294967295 134512640 134569956 3221224400 3221214732 1131380960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210093 29653 13073 16 0 210077 0
vsize: 840372
[startup+620.061 s]
Raw data (loadavg): 1.26 1.06 0.98 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18075 0 1 0 58768 51 0 0 25 0 11 0 484988476 860508160 29649 4294967295 134512640 134569956 3221224400 3221214480 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210085 29649 13073 16 0 210069 0
vsize: 840340
[startup+630.06 s]
Raw data (loadavg): 1.22 1.06 0.98 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18075 0 1 0 59739 51 0 0 25 0 11 0 484988476 859312128 29374 4294967295 134512640 134569956 3221224400 3221214728 1131481413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29374 13073 16 0 209777 0
vsize: 839172
[startup+640.06 s]
Raw data (loadavg): 1.18 1.06 0.98 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18075 0 1 0 60704 51 0 0 25 0 11 0 484988476 859312128 29395 4294967295 134512640 134569956 3221224400 3221214720 1131465474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29395 13073 16 0 209777 0
vsize: 839172
[startup+650.061 s]
Raw data (loadavg): 1.16 1.05 0.98 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18075 0 1 0 61677 51 0 0 25 0 11 0 484988476 859312128 29536 4294967295 134512640 134569956 3221224400 3221214800 1131513211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29536 13073 16 0 209777 0
vsize: 839172
[startup+660.062 s]
Raw data (loadavg): 1.13 1.05 0.98 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18075 0 1 0 62653 51 0 0 25 0 11 0 484988476 859312128 29702 4294967295 134512640 134569956 3221224400 3221214752 1131308894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29702 13073 16 0 209777 0
vsize: 839172
[startup+670.062 s]
Raw data (loadavg): 1.11 1.05 0.98 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18075 0 1 0 63642 51 0 0 25 0 11 0 484988476 859312128 29801 4294967295 134512640 134569956 3221224400 3221214752 1131309972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29801 13073 16 0 209777 0
vsize: 839172
[startup+680.062 s]
Raw data (loadavg): 1.09 1.05 0.98 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18075 0 1 0 64634 51 0 0 25 0 11 0 484988476 859312128 29804 4294967295 134512640 134569956 3221224400 3221214752 1131308969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29804 13073 16 0 209777 0
vsize: 839172
[startup+690.166 s]
Raw data (loadavg): 1.16 1.06 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18075 0 1 0 65638 51 0 0 25 0 11 0 484988476 859312128 29812 4294967295 134512640 134569956 3221224400 3221214752 1131309677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29812 13073 16 0 209777 0
vsize: 839172
[startup+700.165 s]
Raw data (loadavg): 1.13 1.06 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18075 0 1 0 66632 51 0 0 25 0 11 0 484988476 859312128 29825 4294967295 134512640 134569956 3221224400 3221214848 1131436104 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29825 13073 16 0 209777 0
vsize: 839172
[startup+710.168 s]
Raw data (loadavg): 1.11 1.06 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 67629 51 0 0 25 0 11 0 484988476 859312128 29845 4294967295 134512640 134569956 3221224400 3221214752 1131308773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29845 13073 16 0 209777 0
vsize: 839172
[startup+720.168 s]
Raw data (loadavg): 1.10 1.06 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 68624 51 0 0 25 0 11 0 484988476 859312128 29851 4294967295 134512640 134569956 3221224400 3221214788 1080203708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29851 13073 16 0 209777 0
vsize: 839172
[startup+730.183 s]
Raw data (loadavg): 1.08 1.05 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 69620 51 0 0 25 0 11 0 484988476 859312128 29858 4294967295 134512640 134569956 3221224400 3221214816 1131476417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29858 13073 16 0 209777 0
vsize: 839172
[startup+740.184 s]
Raw data (loadavg): 1.07 1.05 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 70619 52 0 0 25 0 11 0 484988476 859312128 29858 4294967295 134512640 134569956 3221224400 3221214728 1131457954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209793 29858 13073 16 0 209777 0
vsize: 839172
[startup+750.184 s]
Raw data (loadavg): 1.06 1.05 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 71609 52 0 0 25 0 11 0 484988476 859312128 29859 4294967295 134512640 134569956 3221224400 3221214728 1131457940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29859 13073 16 0 209777 0
vsize: 839172
[startup+760.185 s]
Raw data (loadavg): 1.05 1.05 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 72596 52 0 0 25 0 11 0 484988476 859312128 29859 4294967295 134512640 134569956 3221224400 3221214848 1131436065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29859 13073 16 0 209777 0
vsize: 839172
[startup+770.186 s]
Raw data (loadavg): 1.04 1.05 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 73583 52 0 0 24 0 11 0 484988476 859312128 29859 4294967295 134512640 134569956 3221224400 3221214648 1131501795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29859 13073 16 0 209777 0
vsize: 839172
[startup+780.185 s]
Raw data (loadavg): 1.03 1.04 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 74573 52 0 0 25 0 11 0 484988476 859312128 29859 4294967295 134512640 134569956 3221224400 3221214752 1131309251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29859 13073 16 0 209777 0
vsize: 839172
[startup+790.186 s]
Raw data (loadavg): 1.03 1.04 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 75541 52 0 0 25 0 11 0 484988476 859312128 29901 4294967295 134512640 134569956 3221224400 3221214848 1131436032 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29901 13073 16 0 209777 0
vsize: 839172
[startup+800.187 s]
Raw data (loadavg): 1.02 1.04 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 76520 52 0 0 25 0 11 0 484988476 859312128 29935 4294967295 134512640 134569956 3221224400 3221214728 1131480897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29935 13073 16 0 209777 0
vsize: 839172
[startup+810.187 s]
Raw data (loadavg): 1.02 1.04 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 77514 53 0 0 25 0 11 0 484988476 859312128 29969 4294967295 134512640 134569956 3221224400 3221214544 1131478566 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29969 13073 16 0 209777 0
vsize: 839172
[startup+820.188 s]
Raw data (loadavg): 1.02 1.04 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 78498 53 0 0 25 0 11 0 484988476 859312128 29986 4294967295 134512640 134569956 3221224400 3221214728 1131481897 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 29986 13073 16 0 209777 0
vsize: 839172
[startup+830.188 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 79483 53 0 0 25 0 11 0 484988476 859312128 30056 4294967295 134512640 134569956 3221224400 3221214728 1131457984 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30056 13073 16 0 209777 0
vsize: 839172
[startup+840.189 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 80467 53 0 0 25 0 11 0 484988476 859312128 30061 4294967295 134512640 134569956 3221224400 3221214728 1131457970 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30061 13073 16 0 209777 0
vsize: 839172
[startup+850.189 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 81433 53 0 0 25 0 11 0 484988476 859312128 30079 4294967295 134512640 134569956 3221224400 3221214752 1131309165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30079 13073 16 0 209777 0
vsize: 839172
[startup+860.19 s]
Raw data (loadavg): 1.01 1.03 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 82409 53 0 0 25 0 11 0 484988476 859312128 30164 4294967295 134512640 134569956 3221224400 3221214752 1131308780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30164 13073 16 0 209777 0
vsize: 839172
[startup+870.191 s]
Raw data (loadavg): 1.00 1.03 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 83392 53 0 0 25 0 11 0 484988476 859312128 30243 4294967295 134512640 134569956 3221224400 3221214752 1131309113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30243 13073 16 0 209777 0
vsize: 839172
[startup+880.19 s]
Raw data (loadavg): 1.00 1.03 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 84386 53 0 0 25 0 11 0 484988476 859312128 30257 4294967295 134512640 134569956 3221224400 3221214848 1131435988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209793 30257 13073 16 0 209777 0
vsize: 839172
[startup+890.191 s]
Raw data (loadavg): 1.00 1.03 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 85381 54 0 0 25 0 11 0 484988476 859312128 30270 4294967295 134512640 134569956 3221224400 3221214752 1131309685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30270 13073 16 0 209777 0
vsize: 839172
[startup+900.192 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 86376 54 0 0 25 0 11 0 484988476 859312128 30270 4294967295 134512640 134569956 3221224400 3221214848 1131435183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30270 13073 16 0 209777 0
vsize: 839172
[startup+910.193 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 87371 54 0 0 25 0 11 0 484988476 859312128 30295 4294967295 134512640 134569956 3221224400 3221214752 1131309165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30295 13073 16 0 209777 0
vsize: 839172
[startup+920.193 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 88367 54 0 0 25 0 11 0 484988476 859312128 30301 4294967295 134512640 134569956 3221224400 3221214680 1131587808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30301 13073 16 0 209777 0
vsize: 839172
[startup+930.193 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 89357 54 0 0 25 0 11 0 484988476 859312128 30313 4294967295 134512640 134569956 3221224400 3221214752 1131310059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30313 13073 16 0 209777 0
vsize: 839172
[startup+940.193 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 90347 54 0 0 25 0 11 0 484988476 859312128 30321 4294967295 134512640 134569956 3221224400 3221214936 1131249369 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30321 13073 16 0 209777 0
vsize: 839172
[startup+950.193 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 91334 54 0 0 25 0 11 0 484988476 859312128 30361 4294967295 134512640 134569956 3221224400 3221214752 1131309929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30361 13073 16 0 209777 0
vsize: 839172
[startup+960.193 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 92328 54 0 0 25 0 11 0 484988476 859312128 30366 4294967295 134512640 134569956 3221224400 3221214848 1131435998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30366 13073 16 0 209777 0
vsize: 839172
[startup+970.194 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 93323 55 0 0 25 0 11 0 484988476 859312128 30382 4294967295 134512640 134569956 3221224400 3221214752 1131308805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209793 30382 13073 16 0 209777 0
vsize: 839172
[startup+980.194 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 94319 55 0 0 25 0 11 0 484988476 859312128 30382 4294967295 134512640 134569956 3221224400 3221214848 1131437130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30382 13073 16 0 209777 0
vsize: 839172
[startup+990.195 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 95314 55 0 0 25 0 11 0 484988476 859312128 30383 4294967295 134512640 134569956 3221224400 3221214848 1131436072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30383 13073 16 0 209777 0
vsize: 839172
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 96309 55 0 0 25 0 11 0 484988476 859312128 30384 4294967295 134512640 134569956 3221224400 3221214848 1131435362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30384 13073 16 0 209777 0
vsize: 839172
[startup+1010.2 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 97300 55 0 0 25 0 11 0 484988476 859312128 30384 4294967295 134512640 134569956 3221224400 3221214752 1131309251 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30384 13073 16 0 209777 0
vsize: 839172
[startup+1020.2 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 98286 55 0 0 25 0 11 0 484988476 859312128 30400 4294967295 134512640 134569956 3221224400 3221214752 1131309967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30400 13073 16 0 209777 0
vsize: 839172
[startup+1030.2 s]
Raw data (loadavg): 1.07 1.03 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 99279 55 0 0 25 0 11 0 484988476 859312128 30400 4294967295 134512640 134569956 3221224400 3221214752 1131309987 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30400 13073 16 0 209777 0
vsize: 839172
[startup+1040.2 s]
Raw data (loadavg): 1.06 1.03 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 100267 56 0 0 25 0 11 0 484988476 859312128 30429 4294967295 134512640 134569956 3221224400 3221214752 1131309165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30429 13073 16 0 209777 0
vsize: 839172
[startup+1050.2 s]
Raw data (loadavg): 1.05 1.03 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 101252 56 0 0 25 0 11 0 484988476 859312128 30460 4294967295 134512640 134569956 3221224400 3221214728 1131457963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30460 13073 16 0 209777 0
vsize: 839172
[startup+1060.2 s]
Raw data (loadavg): 1.04 1.03 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 102239 56 0 0 25 0 11 0 484988476 859312128 30464 4294967295 134512640 134569956 3221224400 3221214752 1131308769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30464 13073 16 0 209777 0
vsize: 839172
[startup+1070.2 s]
Raw data (loadavg): 1.04 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 103223 56 0 0 24 0 11 0 484988476 859312128 30465 4294967295 134512640 134569956 3221224400 3221214792 1131362038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 30465 13073 16 0 209777 0
vsize: 839172
[startup+1080.2 s]
Raw data (loadavg): 1.03 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 104172 56 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214832 1131469037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1090.2 s]
Raw data (loadavg): 1.02 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 105170 56 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214720 1131471625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1100.2 s]
Raw data (loadavg): 1.02 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 106170 56 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214732 1131380960 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1110.2 s]
Raw data (loadavg): 1.02 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 107170 56 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214728 1131457940 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1120.2 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 108169 56 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214728 1131457956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1130.2 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 109169 56 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214728 1131457954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1140.2 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 110169 56 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214728 1131457932 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1150.2 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 111155 56 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214712 1131381041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1160.2 s]
Raw data (loadavg): 1.01 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 112155 56 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214712 1131381041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.02 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 113156 56 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214728 1131457954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 114155 57 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214728 1131457962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 115155 57 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214728 1131457962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 116155 57 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214728 1131457954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1210.2 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 117133 57 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214800 1131512228 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 118077 57 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214536 1131280513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 119020 57 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214680 1131587689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
[startup+1240.2 s]
Raw data (loadavg): 1.00 1.01 0.99 2/64 4516
Raw data (stat): 4506 (java) R 4505 30854 30853 0 -1 0 18076 0 1 0 119964 57 0 0 25 0 11 0 484988476 859312128 31216 4294967295 134512640 134569956 3221224400 3221214536 1131280527 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209793 31216 13073 16 0 209777 0
vsize: 839172
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.31 s]
Raw data (loadavg): 1.00 1.01 0.99 1/54 4518
Raw data (stat): 4506 (java) Z 4505 30854 30853 0 -1 1036 18076 11457 1 0 119969 57 3703 42 25 0 1 0 484988476 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.31
CPU time (s): 1237.73
CPU user time (s): 1236.72
CPU system time (s): 1.00285
CPU usage (%): 99.7914
Max. virtual memory (Kb): 840372
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####