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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-stair.opb
MD5SUM	f2a6dc8d2697a7f5959c84e4079088c9
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	528959045369856
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	3702118998041541
Number of bits of the biggest sum of numbers	52
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.506922
Number of variables	11454
Total number of constraints	362
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	362
Minimum length of a constraint	13
Maximum length of a constraint	810
Trace number 22623

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-04-22 03:27:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11501 boxname=wulflinc11 idbench=885 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  f2a6dc8d2697a7f5959c84e4079088c9  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-stair.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-stair.opb
IDLAUNCH: 11501
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        264976 kB
Buffers:         35112 kB
Cached:         712480 kB
SwapCached:          0 kB
Active:         298916 kB
Inactive:       451492 kB
HighTotal:      131008 kB
HighFree:         1540 kB
LowTotal:       903652 kB
LowFree:        263436 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6820 kB
Slab:            13716 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 03:48:07 (client local time) WITH STATUS 143 IN 1237.06 SECONDS
stats: 11501 7 1237.06 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-stair.opb
c reading problem 
c [nbvar=11454]
c [nbconstr=362]
c time 48.15
c #vars     11454
c #clauses  571
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.85 0.89 0.89 2/54 17663
Raw data (stat): 17663 (runsolver) R 17662 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492251713 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.0001 s]
Raw data (loadavg): 1.02 0.93 0.90 2/63 17672
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18005 0 1 0 778 40 0 0 24 0 10 0 492251713 861597696 21496 4294967295 134512640 134569956 3221224400 3221214516 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210351 21496 13073 16 0 210335 0
vsize: 841404
[startup+20.0013 s]
Raw data (loadavg): 1.02 0.93 0.90 2/63 17672
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18005 0 1 0 1655 41 0 0 25 0 10 0 492251713 861564928 22700 4294967295 134512640 134569956 3221224400 3221214744 1131187649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 22700 13073 16 0 210327 0
vsize: 841372
[startup+30.008 s]
Raw data (loadavg): 1.01 0.93 0.90 2/63 17672
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18005 0 1 0 2516 41 0 0 25 0 10 0 492251713 861564928 23169 4294967295 134512640 134569956 3221224400 3221214692 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210343 23169 13073 16 0 210327 0
vsize: 841372
[startup+40.0084 s]
Raw data (loadavg): 1.01 0.93 0.90 2/63 17672
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18005 0 1 0 3383 41 0 0 25 0 10 0 492251713 861564928 23940 4294967295 134512640 134569956 3221224400 3221214520 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210343 23940 13073 16 0 210327 0
vsize: 841372
[startup+50.0136 s]
Raw data (loadavg): 1.01 0.93 0.91 3/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18033 0 1 0 4242 42 0 0 21 0 11 0 492251713 862093312 24642 4294967295 134512640 134569956 3221224400 3221214672 1131289841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210472 24642 13073 16 0 210456 0
vsize: 841888
[startup+60.0129 s]
Raw data (loadavg): 1.01 0.94 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 5064 43 0 0 25 0 11 0 492251713 865239040 25349 4294967295 134512640 134569956 3221224400 3221214848 1131389598 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 25349 13073 16 0 211224 0
vsize: 844960
[startup+70.0138 s]
Raw data (loadavg): 1.08 0.95 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 6011 43 0 0 25 0 11 0 492251713 865239040 25362 4294967295 134512640 134569956 3221224400 3221214712 1131613595 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 25362 13073 16 0 211224 0
vsize: 844960
[startup+80.015 s]
Raw data (loadavg): 1.07 0.96 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 6950 43 0 0 25 0 11 0 492251713 865239040 25510 4294967295 134512640 134569956 3221224400 3221214448 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 25510 13073 16 0 211224 0
vsize: 844960
[startup+90.0157 s]
Raw data (loadavg): 1.06 0.96 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 7899 44 0 0 25 0 11 0 492251713 867336192 26163 4294967295 134512640 134569956 3221224400 3221214384 1080217056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 26163 13073 16 0 211736 0
vsize: 847008
[startup+100.016 s]
Raw data (loadavg): 1.05 0.96 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 8844 44 0 0 25 0 11 0 492251713 867336192 26285 4294967295 134512640 134569956 3221224400 3221214832 1131389772 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 26285 13073 16 0 211736 0
vsize: 847008
[startup+110.016 s]
Raw data (loadavg): 1.04 0.96 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 9809 44 0 0 25 0 11 0 492251713 867336192 26285 4294967295 134512640 134569956 3221224400 3221214584 1131522969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 26285 13073 16 0 211736 0
vsize: 847008
[startup+120.025 s]
Raw data (loadavg): 1.03 0.96 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 10778 44 0 0 25 0 11 0 492251713 867336192 26669 4294967295 134512640 134569956 3221224400 3221214464 1131562836 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 26669 13073 16 0 211736 0
vsize: 847008
[startup+130.025 s]
Raw data (loadavg): 1.03 0.96 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 11757 44 0 0 25 0 11 0 492251713 867336192 26759 4294967295 134512640 134569956 3221224400 3221214456 1131562859 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 26759 13073 16 0 211736 0
vsize: 847008
[startup+140.027 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 12739 44 0 0 25 0 11 0 492251713 867336192 26871 4294967295 134512640 134569956 3221224400 3221214696 1131613587 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 26871 13073 16 0 211736 0
vsize: 847008
[startup+150.027 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 13725 44 0 0 25 0 11 0 492251713 867336192 26965 4294967295 134512640 134569956 3221224400 3221214744 1131358215 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 26965 13073 16 0 211736 0
vsize: 847008
[startup+160.027 s]
Raw data (loadavg): 1.02 0.96 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 14712 44 0 0 25 0 11 0 492251713 867336192 27059 4294967295 134512640 134569956 3221224400 3221214800 1131443077 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27059 13073 16 0 211736 0
vsize: 847008
[startup+170.027 s]
Raw data (loadavg): 1.01 0.96 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 15698 44 0 0 25 0 11 0 492251713 867336192 27112 4294967295 134512640 134569956 3221224400 3221214544 1131220605 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27112 13073 16 0 211736 0
vsize: 847008
[startup+180.027 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 16678 44 0 0 25 0 11 0 492251713 867336192 27163 4294967295 134512640 134569956 3221224400 3221214704 1131613459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27163 13073 16 0 211736 0
vsize: 847008
[startup+190.028 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 17661 44 0 0 25 0 11 0 492251713 867336192 27178 4294967295 134512640 134569956 3221224400 3221214784 1131360336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27178 13073 16 0 211736 0
vsize: 847008
[startup+200.028 s]
Raw data (loadavg): 1.01 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 18641 44 0 0 25 0 11 0 492251713 867336192 27203 4294967295 134512640 134569956 3221224400 3221214696 1131611355 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27203 13073 16 0 211736 0
vsize: 847008
[startup+210.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 19611 44 0 0 25 0 11 0 492251713 867336192 27246 4294967295 134512640 134569956 3221224400 3221214592 1131522771 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27246 13073 16 0 211736 0
vsize: 847008
[startup+220.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 20583 44 0 0 25 0 11 0 492251713 867336192 27318 4294967295 134512640 134569956 3221224400 3221214668 1131474828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27318 13073 16 0 211736 0
vsize: 847008
[startup+230.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 21554 44 0 0 25 0 11 0 492251713 867336192 27340 4294967295 134512640 134569956 3221224400 3221214520 1131605905 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27340 13073 16 0 211736 0
vsize: 847008
[startup+240.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 22523 44 0 0 25 0 11 0 492251713 867336192 27384 4294967295 134512640 134569956 3221224400 3221214704 1131613537 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27384 13073 16 0 211736 0
vsize: 847008
[startup+250.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 23482 44 0 0 25 0 11 0 492251713 867336192 27464 4294967295 134512640 134569956 3221224400 3221214552 1131478148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27464 13073 16 0 211736 0
vsize: 847008
[startup+260.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 24449 44 0 0 25 0 11 0 492251713 867336192 27574 4294967295 134512640 134569956 3221224400 3221214504 1131220447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27574 13073 16 0 211736 0
vsize: 847008
[startup+270.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 25418 44 0 0 25 0 11 0 492251713 867336192 27729 4294967295 134512640 134569956 3221224400 3221214840 1131389758 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27729 13073 16 0 211736 0
vsize: 847008
[startup+280.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 26372 44 0 0 25 0 11 0 492251713 867336192 27902 4294967295 134512640 134569956 3221224400 3221214392 1080217037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 27902 13073 16 0 211736 0
vsize: 847008
[startup+290.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 27336 44 0 0 25 0 11 0 492251713 867336192 28053 4294967295 134512640 134569956 3221224400 3221214600 1131326449 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 28053 13073 16 0 211736 0
vsize: 847008
[startup+300.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 28299 44 0 0 24 0 11 0 492251713 867336192 28183 4294967295 134512640 134569956 3221224400 3221214704 1131613440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 28183 13073 16 0 211736 0
vsize: 847008
[startup+310.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 29270 44 0 0 25 0 11 0 492251713 867336192 28312 4294967295 134512640 134569956 3221224400 3221214512 1131221069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 28312 13073 16 0 211736 0
vsize: 847008
[startup+320.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 30238 44 0 0 25 0 11 0 492251713 867336192 28502 4294967295 134512640 134569956 3221224400 3221214704 1131613549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 28502 13073 16 0 211736 0
vsize: 847008
[startup+330.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 31216 44 0 0 25 0 11 0 492251713 867336192 28640 4294967295 134512640 134569956 3221224400 3221214704 1131613461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 28640 13073 16 0 211736 0
vsize: 847008
[startup+340.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 32199 44 0 0 25 0 11 0 492251713 867336192 28748 4294967295 134512640 134569956 3221224400 3221214328 1080217376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 28748 13073 16 0 211736 0
vsize: 847008
[startup+350.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 33189 44 0 0 25 0 11 0 492251713 867336192 28787 4294967295 134512640 134569956 3221224400 3221214672 1131409856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 28787 13073 16 0 211736 0
vsize: 847008
[startup+360.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 34180 44 0 0 25 0 11 0 492251713 867336192 28849 4294967295 134512640 134569956 3221224400 3221214592 1131522848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 28849 13073 16 0 211736 0
vsize: 847008
[startup+370.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 35171 45 0 0 25 0 11 0 492251713 867336192 28880 4294967295 134512640 134569956 3221224400 3221214464 1131570136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 28880 13073 16 0 211736 0
vsize: 847008
[startup+380.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 36166 45 0 0 25 0 11 0 492251713 867336192 28899 4294967295 134512640 134569956 3221224400 3221214408 1080217008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 28899 13073 16 0 211736 0
vsize: 847008
[startup+390.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 37153 45 0 0 25 0 11 0 492251713 867336192 28899 4294967295 134512640 134569956 3221224400 3221214704 1131613456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211752 28899 13073 16 0 211736 0
vsize: 847008
[startup+400.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 38137 45 0 0 25 0 11 0 492251713 867336192 28950 4294967295 134512640 134569956 3221224400 3221214528 1131584682 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 28950 13073 16 0 211736 0
vsize: 847008
[startup+410.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 39124 45 0 0 25 0 11 0 492251713 867336192 28983 4294967295 134512640 134569956 3221224400 3221214496 1131563188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 28983 13073 16 0 211736 0
vsize: 847008
[startup+420.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 40113 45 0 0 25 0 11 0 492251713 867336192 29015 4294967295 134512640 134569956 3221224400 3221214704 1131613456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29015 13073 16 0 211736 0
vsize: 847008
[startup+430.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 41097 45 0 0 25 0 11 0 492251713 867336192 29083 4294967295 134512640 134569956 3221224400 3221214512 1131220564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29083 13073 16 0 211736 0
vsize: 847008
[startup+440.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 42080 45 0 0 25 0 11 0 492251713 867336192 29144 4294967295 134512640 134569956 3221224400 3221214688 1131289775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29144 13073 16 0 211736 0
vsize: 847008
[startup+450.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 43061 45 0 0 25 0 11 0 492251713 867336192 29173 4294967295 134512640 134569956 3221224400 3221214512 1131220995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29173 13073 16 0 211736 0
vsize: 847008
[startup+460.056 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 44045 45 0 0 25 0 11 0 492251713 867336192 29173 4294967295 134512640 134569956 3221224400 3221214512 1131220659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29173 13073 16 0 211736 0
vsize: 847008
[startup+470.057 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 45025 45 0 0 25 0 11 0 492251713 867336192 29258 4294967295 134512640 134569956 3221224400 3221214784 1131360309 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29258 13073 16 0 211736 0
vsize: 847008
[startup+480.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 46006 45 0 0 25 0 11 0 492251713 867336192 29340 4294967295 134512640 134569956 3221224400 3221214592 1131532008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29340 13073 16 0 211736 0
vsize: 847008
[startup+490.058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 46991 45 0 0 25 0 11 0 492251713 867336192 29443 4294967295 134512640 134569956 3221224400 3221214504 1131565348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29443 13073 16 0 211736 0
vsize: 847008
[startup+500.059 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 47975 45 0 0 25 0 11 0 492251713 867336192 29443 4294967295 134512640 134569956 3221224400 3221214512 1131220988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29443 13073 16 0 211736 0
vsize: 847008
[startup+510.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 48956 45 0 0 25 0 11 0 492251713 867336192 29501 4294967295 134512640 134569956 3221224400 3221214328 1080217364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29501 13073 16 0 211736 0
vsize: 847008
[startup+520.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 49940 45 0 0 25 0 11 0 492251713 867336192 29569 4294967295 134512640 134569956 3221224400 3221214688 1131290035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29569 13073 16 0 211736 0
vsize: 847008
[startup+530.061 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 50920 45 0 0 25 0 11 0 492251713 867336192 29599 4294967295 134512640 134569956 3221224400 3221214704 1131613466 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29599 13073 16 0 211736 0
vsize: 847008
[startup+540.063 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 51904 46 0 0 25 0 11 0 492251713 867336192 29663 4294967295 134512640 134569956 3221224400 3221214796 1080204241 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29663 13073 16 0 211736 0
vsize: 847008
[startup+550.062 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 52885 46 0 0 25 0 11 0 492251713 867336192 29692 4294967295 134512640 134569956 3221224400 3221214344 1080217265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29692 13073 16 0 211736 0
vsize: 847008
[startup+560.07 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 53873 46 0 0 25 0 11 0 492251713 867336192 29774 4294967295 134512640 134569956 3221224400 3221214552 1131476922 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29774 13073 16 0 211736 0
vsize: 847008
[startup+570.079 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 54861 46 0 0 25 0 11 0 492251713 867336192 29809 4294967295 134512640 134569956 3221224400 3221214672 1131412636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29809 13073 16 0 211736 0
vsize: 847008
[startup+580.08 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 55852 46 0 0 25 0 11 0 492251713 867336192 29861 4294967295 134512640 134569956 3221224400 3221214672 1131411179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29861 13073 16 0 211736 0
vsize: 847008
[startup+590.081 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 56843 46 0 0 25 0 11 0 492251713 867336192 29908 4294967295 134512640 134569956 3221224400 3221214472 1131562926 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29908 13073 16 0 211736 0
vsize: 847008
[startup+600.082 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 57836 46 0 0 25 0 11 0 492251713 867336192 29944 4294967295 134512640 134569956 3221224400 3221214660 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29944 13073 16 0 211736 0
vsize: 847008
[startup+610.082 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 58830 46 0 0 25 0 11 0 492251713 867336192 29977 4294967295 134512640 134569956 3221224400 3221214552 1131477971 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29977 13073 16 0 211736 0
vsize: 847008
[startup+620.083 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 59825 46 0 0 25 0 11 0 492251713 867336192 29977 4294967295 134512640 134569956 3221224400 3221214472 1131562706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 29977 13073 16 0 211736 0
vsize: 847008
[startup+630.084 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 60821 46 0 0 25 0 11 0 492251713 867336192 30049 4294967295 134512640 134569956 3221224400 3221214472 1131562730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 30049 13073 16 0 211736 0
vsize: 847008
[startup+640.085 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 61818 46 0 0 25 0 11 0 492251713 867336192 30049 4294967295 134512640 134569956 3221224400 3221214472 1131562960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 30049 13073 16 0 211736 0
vsize: 847008
[startup+650.085 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 62815 46 0 0 25 0 11 0 492251713 867336192 30049 4294967295 134512640 134569956 3221224400 3221214472 1131562574 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 30049 13073 16 0 211736 0
vsize: 847008
[startup+660.085 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 63812 46 0 0 25 0 11 0 492251713 867336192 30049 4294967295 134512640 134569956 3221224400 3221214528 1131584669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211752 30049 13073 16 0 211736 0
vsize: 847008
[startup+670.091 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 64809 46 0 0 25 0 11 0 492251713 867336192 30049 4294967295 134512640 134569956 3221224400 3221214512 1131220992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 30049 13073 16 0 211736 0
vsize: 847008
[startup+680.091 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 65805 46 0 0 25 0 11 0 492251713 867336192 30049 4294967295 134512640 134569956 3221224400 3221214672 1131409578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 30049 13073 16 0 211736 0
vsize: 847008
[startup+690.092 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 66796 46 0 0 25 0 11 0 492251713 867336192 30049 4294967295 134512640 134569956 3221224400 3221214512 1131220562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 30049 13073 16 0 211736 0
vsize: 847008
[startup+700.092 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 67785 46 0 0 25 0 11 0 492251713 867336192 30049 4294967295 134512640 134569956 3221224400 3221214688 1131289285 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 30049 13073 16 0 211736 0
vsize: 847008
[startup+710.092 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 68774 46 0 0 25 0 11 0 492251713 867336192 30049 4294967295 134512640 134569956 3221224400 3221214592 1131522414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 30049 13073 16 0 211736 0
vsize: 847008
[startup+720.093 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18075 0 1 0 69762 46 0 0 25 0 11 0 492251713 867336192 30049 4294967295 134512640 134569956 3221224400 3221214664 1131339649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211752 30049 13073 16 0 211736 0
vsize: 847008
[startup+730.094 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 70743 46 0 0 25 0 11 0 492251713 865239040 29514 4294967295 134512640 134569956 3221224400 3221214704 1131613456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 29514 13073 16 0 211224 0
vsize: 844960
[startup+740.095 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 71728 46 0 0 25 0 11 0 492251713 865239040 29582 4294967295 134512640 134569956 3221224400 3221214704 1131613456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 29582 13073 16 0 211224 0
vsize: 844960
[startup+750.095 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 72704 46 0 0 25 0 11 0 492251713 865239040 29613 4294967295 134512640 134569956 3221224400 3221214592 1131522548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 29613 13073 16 0 211224 0
vsize: 844960
[startup+760.095 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 73676 46 0 0 25 0 11 0 492251713 865239040 29646 4294967295 134512640 134569956 3221224400 3221214808 1131444163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 29646 13073 16 0 211224 0
vsize: 844960
[startup+770.095 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 74637 46 0 0 25 0 11 0 492251713 865239040 29646 4294967295 134512640 134569956 3221224400 3221214688 1131289479 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 29646 13073 16 0 211224 0
vsize: 844960
[startup+780.096 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 75604 46 0 0 25 0 11 0 492251713 865239040 29700 4294967295 134512640 134569956 3221224400 3221214512 1131220447 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 29700 13073 16 0 211224 0
vsize: 844960
[startup+790.096 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 76569 46 0 0 25 0 11 0 492251713 865239040 29872 4294967295 134512640 134569956 3221224400 3221214688 1131290057 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 29872 13073 16 0 211224 0
vsize: 844960
[startup+800.096 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 77527 46 0 0 25 0 11 0 492251713 865239040 29952 4294967295 134512640 134569956 3221224400 3221214704 1131613456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 29952 13073 16 0 211224 0
vsize: 844960
[startup+810.097 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 78493 46 0 0 25 0 11 0 492251713 865239040 30062 4294967295 134512640 134569956 3221224400 3221214784 1131360336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 30062 13073 16 0 211224 0
vsize: 844960
[startup+820.098 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 79446 46 0 0 25 0 11 0 492251713 865239040 30299 4294967295 134512640 134569956 3221224400 3221214512 1131220791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 30299 13073 16 0 211224 0
vsize: 844960
[startup+830.097 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 80412 46 0 0 25 0 11 0 492251713 865239040 30444 4294967295 134512640 134569956 3221224400 3221214704 1131613459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 30444 13073 16 0 211224 0
vsize: 844960
[startup+840.099 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 81376 47 0 0 25 0 11 0 492251713 865239040 30586 4294967295 134512640 134569956 3221224400 3221214608 1131326376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 30586 13073 16 0 211224 0
vsize: 844960
[startup+850.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 82343 47 0 0 25 0 11 0 492251713 865239040 30782 4294967295 134512640 134569956 3221224400 3221214688 1131289981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 30782 13073 16 0 211224 0
vsize: 844960
[startup+860.099 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 83313 47 0 0 25 0 11 0 492251713 865239040 30940 4294967295 134512640 134569956 3221224400 3221214504 1131222828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 30940 13073 16 0 211224 0
vsize: 844960
[startup+870.099 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 84284 47 0 0 25 0 11 0 492251713 865239040 31025 4294967295 134512640 134569956 3221224400 3221214700 1131190883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31025 13073 16 0 211224 0
vsize: 844960
[startup+880.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 85267 47 0 0 25 0 11 0 492251713 865239040 31073 4294967295 134512640 134569956 3221224400 3221214704 1131613440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31073 13073 16 0 211224 0
vsize: 844960
[startup+890.1 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 86246 47 0 0 25 0 11 0 492251713 865239040 31121 4294967295 134512640 134569956 3221224400 3221214592 1131522781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31121 13073 16 0 211224 0
vsize: 844960
[startup+900.101 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 87227 47 0 0 25 0 11 0 492251713 865239040 31196 4294967295 134512640 134569956 3221224400 3221214592 1131532552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31196 13073 16 0 211224 0
vsize: 844960
[startup+910.101 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 88205 47 0 0 25 0 11 0 492251713 865239040 31286 4294967295 134512640 134569956 3221224400 3221214528 1131584623 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31286 13073 16 0 211224 0
vsize: 844960
[startup+920.101 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 89186 47 0 0 25 0 11 0 492251713 865239040 31397 4294967295 134512640 134569956 3221224400 3221214552 1131477637 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31397 13073 16 0 211224 0
vsize: 844960
[startup+930.102 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 90171 47 0 0 25 0 11 0 492251713 865239040 31470 4294967295 134512640 134569956 3221224400 3221214512 1131220462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31470 13073 16 0 211224 0
vsize: 844960
[startup+940.105 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) S 17662 32461 32460 0 -1 0 18076 0 1 0 91157 47 0 0 25 0 11 0 492251713 865239040 31470 4294967295 134512640 134569956 3221224400 3221213216 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31470 13073 16 0 211224 0
vsize: 844960
[startup+950.107 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 92144 47 0 0 25 0 11 0 492251713 865239040 31524 4294967295 134512640 134569956 3221224400 3221214808 1131444083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31524 13073 16 0 211224 0
vsize: 844960
[startup+960.108 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 93130 47 0 0 25 0 11 0 492251713 865239040 31598 4294967295 134512640 134569956 3221224400 3221214692 1080204256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31598 13073 16 0 211224 0
vsize: 844960
[startup+970.108 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 94111 47 0 0 24 0 11 0 492251713 865239040 31660 4294967295 134512640 134569956 3221224400 3221214608 1131326546 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31660 13073 16 0 211224 0
vsize: 844960
[startup+980.108 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 95098 47 0 0 25 0 11 0 492251713 865239040 31694 4294967295 134512640 134569956 3221224400 3221214700 1131326348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31694 13073 16 0 211224 0
vsize: 844960
[startup+990.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 96082 47 0 0 25 0 11 0 492251713 865239040 31720 4294967295 134512640 134569956 3221224400 3221214688 1131289806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31720 13073 16 0 211224 0
vsize: 844960
[startup+1000.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 97059 47 0 0 25 0 11 0 492251713 865239040 31766 4294967295 134512640 134569956 3221224400 3221214704 1131613459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31766 13073 16 0 211224 0
vsize: 844960
[startup+1010.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 98038 47 0 0 25 0 11 0 492251713 865239040 31858 4294967295 134512640 134569956 3221224400 3221214328 1080217202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31858 13073 16 0 211224 0
vsize: 844960
[startup+1020.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 99024 47 0 0 25 0 11 0 492251713 865239040 31905 4294967295 134512640 134569956 3221224400 3221214512 1131221013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31905 13073 16 0 211224 0
vsize: 844960
[startup+1030.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 100006 47 0 0 25 0 11 0 492251713 865239040 31939 4294967295 134512640 134569956 3221224400 3221214512 1131220748 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31939 13073 16 0 211224 0
vsize: 844960
[startup+1040.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 100988 47 0 0 25 0 11 0 492251713 865239040 31993 4294967295 134512640 134569956 3221224400 3221214512 1131221048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 31993 13073 16 0 211224 0
vsize: 844960
[startup+1050.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 101974 47 0 0 25 0 11 0 492251713 865239040 32096 4294967295 134512640 134569956 3221224400 3221214576 1131477869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 32096 13073 16 0 211224 0
vsize: 844960
[startup+1060.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 102960 48 0 0 25 0 11 0 492251713 865239040 32114 4294967295 134512640 134569956 3221224400 3221214512 1131220590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 32114 13073 16 0 211224 0
vsize: 844960
[startup+1070.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 103948 48 0 0 25 0 11 0 492251713 865239040 32169 4294967295 134512640 134569956 3221224400 3221214512 1131220946 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32169 13073 16 0 211224 0
vsize: 844960
[startup+1080.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 104932 48 0 0 25 0 11 0 492251713 865239040 32195 4294967295 134512640 134569956 3221224400 3221214512 1131220906 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32195 13073 16 0 211224 0
vsize: 844960
[startup+1090.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 105916 48 0 0 25 0 11 0 492251713 865239040 32249 4294967295 134512640 134569956 3221224400 3221214096 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32249 13073 16 0 211224 0
vsize: 844960
[startup+1100.13 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 106899 48 0 0 25 0 11 0 492251713 865239040 32293 4294967295 134512640 134569956 3221224400 3221214496 1131545064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32293 13073 16 0 211224 0
vsize: 844960
[startup+1110.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 107880 49 0 0 25 0 11 0 492251713 865239040 32337 4294967295 134512640 134569956 3221224400 3221214504 1131220737 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32337 13073 16 0 211224 0
vsize: 844960
[startup+1120.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 108863 50 0 0 25 0 11 0 492251713 865239040 32379 4294967295 134512640 134569956 3221224400 3221214704 1131613452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 32379 13073 16 0 211224 0
vsize: 844960
[startup+1130.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 109843 50 0 0 25 0 11 0 492251713 865239040 32445 4294967295 134512640 134569956 3221224400 3221214472 1131562445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32445 13073 16 0 211224 0
vsize: 844960
[startup+1140.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) S 17662 32461 32460 0 -1 0 18076 0 1 0 110823 51 0 0 25 0 11 0 492251713 865239040 32477 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32477 13073 16 0 211224 0
vsize: 844960
[startup+1150.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 111806 51 0 0 25 0 11 0 492251713 865239040 32542 4294967295 134512640 134569956 3221224400 3221214464 1131563257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32542 13073 16 0 211224 0
vsize: 844960
[startup+1160.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 112792 51 0 0 25 0 11 0 492251713 865239040 32593 4294967295 134512640 134569956 3221224400 3221214516 1079721462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32593 13073 16 0 211224 0
vsize: 844960
[startup+1170.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 113772 52 0 0 25 0 11 0 492251713 865239040 32632 4294967295 134512640 134569956 3221224400 3221214664 1131608482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32632 13073 16 0 211224 0
vsize: 844960
[startup+1180.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 114751 53 0 0 25 0 11 0 492251713 865239040 32734 4294967295 134512640 134569956 3221224400 3221214472 1131562681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32734 13073 16 0 211224 0
vsize: 844960
[startup+1190.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 115735 53 0 0 25 0 11 0 492251713 865239040 32810 4294967295 134512640 134569956 3221224400 3221214600 1131326416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32810 13073 16 0 211224 0
vsize: 844960
[startup+1200.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 116717 53 0 0 25 0 11 0 492251713 865239040 32810 4294967295 134512640 134569956 3221224400 3221214512 1131220870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32810 13073 16 0 211224 0
vsize: 844960
[startup+1210.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 117701 54 0 0 25 0 11 0 492251713 865239040 32862 4294967295 134512640 134569956 3221224400 3221214512 1131220737 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211240 32862 13073 16 0 211224 0
vsize: 844960
[startup+1220.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 118683 54 0 0 25 0 11 0 492251713 865239040 32928 4294967295 134512640 134569956 3221224400 3221214696 1131611331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32928 13073 16 0 211224 0
vsize: 844960
[startup+1230.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 119667 55 0 0 25 0 11 0 492251713 865239040 32959 4294967295 134512640 134569956 3221224400 3221214784 1131360401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 32959 13073 16 0 211224 0
vsize: 844960
[startup+1240.14 s]
Raw data (loadavg): 1.00 0.97 0.91 2/64 17673
Raw data (stat): 17663 (java) R 17662 32461 32460 0 -1 0 18076 0 1 0 120652 55 0 0 25 0 11 0 492251713 865239040 33005 4294967295 134512640 134569956 3221224400 3221214512 1131220562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211240 33005 13073 16 0 211224 0
vsize: 844960
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.23 s]
Raw data (loadavg): 1.00 0.97 0.91 1/54 17675
Raw data (stat): 17663 (java) Z 17662 32461 32460 0 -1 1036 18076 11983 1 0 120655 55 2961 33 25 0 1 0 492251713 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): 1240.23
CPU time (s): 1237.06
CPU user time (s): 1236.17
CPU system time (s): 0.889864
CPU usage (%): 99.7442
Max. virtual memory (Kb): 847008
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####