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-scorpion.opb
MD5SUM	d78b2a3709ef5514ef5552f6badb37ec
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	8460
Biggest coefficient in the objective function	10788957847552
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	603693086370759
Number of bits of the sum of numbers in the objective function	50
Biggest number in a constraint	33554432000000
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	603693086370759
Number of bits of the biggest sum of numbers	50
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.095984
Number of variables	10740
Total number of constraints	388
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	388
Minimum length of a constraint	30
Maximum length of a constraint	600
Trace number 22838

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-22 03:45:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11254 boxname=wulflinc9 idbench=866 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  d78b2a3709ef5514ef5552f6badb37ec  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-scorpion.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-scorpion.opb
IDLAUNCH: 11254
/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:        298872 kB
Buffers:         26012 kB
Cached:         687172 kB
SwapCached:          0 kB
Active:          31028 kB
Inactive:       684948 kB
HighTotal:      131008 kB
HighFree:        31220 kB
LowTotal:       903652 kB
LowFree:        267652 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            14052 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 04:05:55 (client local time) WITH STATUS 143 IN 1259.74 SECONDS
stats: 11254 7 1259.74 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-scorpion.opb
c reading problem 
c [nbvar=10740]
c [nbconstr=388]
c time 39.966
c #vars     10740
c #clauses  645
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.97 0.91 2/54 1600
Raw data (stat): 1600 (runsolver) R 1599 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 492360618 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.0005 s]
Raw data (loadavg): 0.87 0.97 0.91 2/63 1609
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 17992 0 1 0 889 42 0 0 25 0 10 0 492360618 854114304 19193 4294967295 134512640 134569956 3221224400 3221214400 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208524 19193 13073 16 0 208508 0
vsize: 834096
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.97 0.91 2/63 1609
Raw data (stat): 1600 (java) S 1599 30854 30853 0 -1 0 17993 0 1 0 1772 42 0 0 25 0 10 0 492360618 855642112 20005 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208897 20005 13073 16 0 208881 0
vsize: 835588
[startup+30.0185 s]
Raw data (loadavg): 1.07 1.00 0.92 4/63 1609
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18072 0 1 0 2485 43 0 0 25 0 10 0 492360618 878383104 26118 4294967295 134512640 134569956 3221224400 3221213600 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214449 26118 13073 16 0 214433 0
vsize: 857796
[startup+40.0188 s]
Raw data (loadavg): 1.13 1.02 0.93 2/63 1609
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18072 0 1 0 3336 44 0 0 25 0 10 0 492360618 872513536 25649 4294967295 134512640 134569956 3221224400 3221214328 1131265154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213016 25649 13073 16 0 213000 0
vsize: 852064
[startup+50.0191 s]
Raw data (loadavg): 1.19 1.03 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18142 0 1 0 4076 44 0 0 25 0 11 0 492360618 873041920 27293 4294967295 134512640 134569956 3221224400 3221214720 1131518698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 27293 13073 16 0 213129 0
vsize: 852580
[startup+60.0199 s]
Raw data (loadavg): 1.16 1.03 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18142 0 1 0 5042 44 0 0 25 0 11 0 492360618 873041920 28215 4294967295 134512640 134569956 3221224400 3221214464 1131607099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28215 13073 16 0 213129 0
vsize: 852580
[startup+70.0202 s]
Raw data (loadavg): 1.14 1.03 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 6032 45 0 0 25 0 11 0 492360618 873041920 28219 4294967295 134512640 134569956 3221224400 3221214592 1131543443 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28219 13073 16 0 213129 0
vsize: 852580
[startup+80.0214 s]
Raw data (loadavg): 1.11 1.03 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 7026 45 0 0 25 0 11 0 492360618 873041920 28219 4294967295 134512640 134569956 3221224400 3221214224 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28219 13073 16 0 213129 0
vsize: 852580
[startup+90.0223 s]
Raw data (loadavg): 1.10 1.03 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 8018 45 0 0 25 0 11 0 492360618 873041920 28220 4294967295 134512640 134569956 3221224400 3221214544 1131356845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28220 13073 16 0 213129 0
vsize: 852580
[startup+100.023 s]
Raw data (loadavg): 1.08 1.03 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 9009 45 0 0 25 0 11 0 492360618 873041920 28220 4294967295 134512640 134569956 3221224400 3221214384 1131641808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28220 13073 16 0 213129 0
vsize: 852580
[startup+110.024 s]
Raw data (loadavg): 1.07 1.03 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 10002 45 0 0 25 0 11 0 492360618 873041920 28220 4294967295 134512640 134569956 3221224400 3221214592 1131560675 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28220 13073 16 0 213129 0
vsize: 852580
[startup+120.024 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 10986 46 0 0 25 0 11 0 492360618 873041920 28223 4294967295 134512640 134569956 3221224400 3221214388 1080216948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28223 13073 16 0 213129 0
vsize: 852580
[startup+130.025 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 11970 46 0 0 25 0 11 0 492360618 873041920 28223 4294967295 134512640 134569956 3221224400 3221214464 1131534983 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28223 13073 16 0 213129 0
vsize: 852580
[startup+140.025 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 12953 46 0 0 25 0 11 0 492360618 873041920 28292 4294967295 134512640 134569956 3221224400 3221214592 1131543649 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28292 13073 16 0 213129 0
vsize: 852580
[startup+150.025 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 13938 47 0 0 25 0 11 0 492360618 873041920 28379 4294967295 134512640 134569956 3221224400 3221214616 1131317830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28379 13073 16 0 213129 0
vsize: 852580
[startup+160.025 s]
Raw data (loadavg): 1.03 1.02 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 14924 47 0 0 25 0 11 0 492360618 873041920 28441 4294967295 134512640 134569956 3221224400 3221214464 1131607144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 28441 13073 16 0 213129 0
vsize: 852580
[startup+170.025 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 15913 47 0 0 25 0 11 0 492360618 873041920 28476 4294967295 134512640 134569956 3221224400 3221214256 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28476 13073 16 0 213129 0
vsize: 852580
[startup+180.029 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 16895 48 0 0 24 0 11 0 492360618 873041920 28533 4294967295 134512640 134569956 3221224400 3221214568 1131318102 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28533 13073 16 0 213129 0
vsize: 852580
[startup+190.028 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 17882 48 0 0 25 0 11 0 492360618 873041920 28541 4294967295 134512640 134569956 3221224400 3221214320 1080217033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 28541 13073 16 0 213129 0
vsize: 852580
[startup+200.029 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 18866 48 0 0 25 0 11 0 492360618 873041920 28665 4294967295 134512640 134569956 3221224400 3221214384 1131641669 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28665 13073 16 0 213129 0
vsize: 852580
[startup+210.029 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18143 0 1 0 19850 49 0 0 25 0 11 0 492360618 873041920 28701 4294967295 134512640 134569956 3221224400 3221214680 1131312797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28701 13073 16 0 213129 0
vsize: 852580
[startup+220.03 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 20829 49 0 0 25 0 11 0 492360618 873041920 28778 4294967295 134512640 134569956 3221224400 3221214680 1131771252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 28778 13073 16 0 213129 0
vsize: 852580
[startup+230.031 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 21812 49 0 0 25 0 11 0 492360618 873041920 28804 4294967295 134512640 134569956 3221224400 3221214576 1131648177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28804 13073 16 0 213129 0
vsize: 852580
[startup+240.032 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 22794 50 0 0 25 0 11 0 492360618 873041920 28842 4294967295 134512640 134569956 3221224400 3221214680 1131771259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28842 13073 16 0 213129 0
vsize: 852580
[startup+250.032 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 23775 50 0 0 25 0 11 0 492360618 873041920 28870 4294967295 134512640 134569956 3221224400 3221214384 1131641806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 28870 13073 16 0 213129 0
vsize: 852580
[startup+260.033 s]
Raw data (loadavg): 1.03 1.03 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 24762 50 0 0 25 0 11 0 492360618 873041920 28936 4294967295 134512640 134569956 3221224400 3221214256 1080217243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 28936 13073 16 0 213129 0
vsize: 852580
[startup+270.033 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 25746 50 0 0 25 0 11 0 492360618 873041920 29022 4294967295 134512640 134569956 3221224400 3221214680 1131771289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29022 13073 16 0 213129 0
vsize: 852580
[startup+280.034 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 26728 51 0 0 25 0 11 0 492360618 873041920 29115 4294967295 134512640 134569956 3221224400 3221214128 1131391784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29115 13073 16 0 213129 0
vsize: 852580
[startup+290.034 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 27710 51 0 0 25 0 11 0 492360618 873041920 29156 4294967295 134512640 134569956 3221224400 3221214840 1131506941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29156 13073 16 0 213129 0
vsize: 852580
[startup+300.056 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 28693 51 0 0 25 0 11 0 492360618 873041920 29231 4294967295 134512640 134569956 3221224400 3221214680 1131771244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29231 13073 16 0 213129 0
vsize: 852580
[startup+310.055 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 29676 52 0 0 25 0 11 0 492360618 873041920 29288 4294967295 134512640 134569956 3221224400 3221214680 1131771244 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 29288 13073 16 0 213129 0
vsize: 852580
[startup+320.056 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 30656 52 0 0 25 0 11 0 492360618 873041920 29347 4294967295 134512640 134569956 3221224400 3221214440 1131653345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29347 13073 16 0 213129 0
vsize: 852580
[startup+330.057 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 31635 52 0 0 25 0 11 0 492360618 873041920 29379 4294967295 134512640 134569956 3221224400 3221214680 1131313656 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 29379 13073 16 0 213129 0
vsize: 852580
[startup+340.057 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 32612 52 0 0 25 0 11 0 492360618 873041920 29397 4294967295 134512640 134569956 3221224400 3221214552 1131647980 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29397 13073 16 0 213129 0
vsize: 852580
[startup+350.058 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 33582 52 0 0 25 0 11 0 492360618 873041920 29544 4294967295 134512640 134569956 3221224400 3221214672 1131772854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29544 13073 16 0 213129 0
vsize: 852580
[startup+360.058 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 34564 53 0 0 25 0 11 0 492360618 873041920 29597 4294967295 134512640 134569956 3221224400 3221214776 1131363572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29597 13073 16 0 213129 0
vsize: 852580
[startup+370.058 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 35538 53 0 0 25 0 11 0 492360618 873041920 29655 4294967295 134512640 134569956 3221224400 3221214472 1131731146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29655 13073 16 0 213129 0
vsize: 852580
[startup+380.059 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 36511 53 0 0 23 0 11 0 492360618 873041920 29720 4294967295 134512640 134569956 3221224400 3221214384 1131641677 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29720 13073 16 0 213129 0
vsize: 852580
[startup+390.06 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 37483 54 0 0 24 0 11 0 492360618 873041920 29798 4294967295 134512640 134569956 3221224400 3221214840 1131506800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29798 13073 16 0 213129 0
vsize: 852580
[startup+400.06 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 38462 54 0 0 25 0 11 0 492360618 873041920 29879 4294967295 134512640 134569956 3221224400 3221214680 1131771270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29879 13073 16 0 213129 0
vsize: 852580
[startup+410.06 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 39435 54 0 0 25 0 11 0 492360618 873041920 29924 4294967295 134512640 134569956 3221224400 3221214776 1131364666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 29924 13073 16 0 213129 0
vsize: 852580
[startup+420.061 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 40414 54 0 0 25 0 11 0 492360618 873041920 30016 4294967295 134512640 134569956 3221224400 3221214464 1131606642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 30016 13073 16 0 213129 0
vsize: 852580
[startup+430.062 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 41391 55 0 0 25 0 11 0 492360618 873041920 30093 4294967295 134512640 134569956 3221224400 3221214680 1131771289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30093 13073 16 0 213129 0
vsize: 852580
[startup+440.062 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 42372 55 0 0 25 0 11 0 492360618 873041920 30160 4294967295 134512640 134569956 3221224400 3221214840 1131506720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30160 13073 16 0 213129 0
vsize: 852580
[startup+450.062 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 43355 55 0 0 25 0 11 0 492360618 873041920 30280 4294967295 134512640 134569956 3221224400 3221214224 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30280 13073 16 0 213129 0
vsize: 852580
[startup+460.071 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 44342 56 0 0 25 0 11 0 492360618 873041920 30361 4294967295 134512640 134569956 3221224400 3221214464 1131606786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30361 13073 16 0 213129 0
vsize: 852580
[startup+470.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 45330 56 0 0 25 0 11 0 492360618 873041920 30449 4294967295 134512640 134569956 3221224400 3221214464 1131606426 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 30449 13073 16 0 213129 0
vsize: 852580
[startup+480.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 46317 56 0 0 25 0 11 0 492360618 873041920 30533 4294967295 134512640 134569956 3221224400 3221214384 1131641878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30533 13073 16 0 213129 0
vsize: 852580
[startup+490.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 47307 57 0 0 25 0 11 0 492360618 873041920 30595 4294967295 134512640 134569956 3221224400 3221214412 1079721495 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30595 13073 16 0 213129 0
vsize: 852580
[startup+500.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 48299 57 0 0 25 0 11 0 492360618 873041920 30647 4294967295 134512640 134569956 3221224400 3221214544 1131607128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30647 13073 16 0 213129 0
vsize: 852580
[startup+510.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 49287 58 0 0 25 0 11 0 492360618 873041920 30705 4294967295 134512640 134569956 3221224400 3221214464 1131605672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30705 13073 16 0 213129 0
vsize: 852580
[startup+520.073 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 50277 58 0 0 25 0 11 0 492360618 873041920 30732 4294967295 134512640 134569956 3221224400 3221214608 1131509726 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30732 13073 16 0 213129 0
vsize: 852580
[startup+530.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 51267 58 0 0 25 0 11 0 492360618 873041920 30765 4294967295 134512640 134569956 3221224400 3221214664 1131574261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30765 13073 16 0 213129 0
vsize: 852580
[startup+540.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 52251 58 0 0 25 0 11 0 492360618 873041920 30786 4294967295 134512640 134569956 3221224400 3221214464 1131607132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30786 13073 16 0 213129 0
vsize: 852580
[startup+550.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 53239 59 0 0 25 0 11 0 492360618 873041920 30795 4294967295 134512640 134569956 3221224400 3221214548 1080204298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30795 13073 16 0 213129 0
vsize: 852580
[startup+560.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 54225 59 0 0 25 0 11 0 492360618 873041920 30819 4294967295 134512640 134569956 3221224400 3221214408 1131638543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30819 13073 16 0 213129 0
vsize: 852580
[startup+570.077 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 55212 59 0 0 25 0 11 0 492360618 873041920 30832 4294967295 134512640 134569956 3221224400 3221214472 1131731720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30832 13073 16 0 213129 0
vsize: 852580
[startup+580.079 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 56207 60 0 0 25 0 11 0 492360618 873041920 30844 4294967295 134512640 134569956 3221224400 3221214440 1131653345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30844 13073 16 0 213129 0
vsize: 852580
[startup+590.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 57192 60 0 0 25 0 11 0 492360618 873041920 30863 4294967295 134512640 134569956 3221224400 3221214464 1131606034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30863 13073 16 0 213129 0
vsize: 852580
[startup+600.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 58177 60 0 0 25 0 11 0 492360618 873041920 30896 4294967295 134512640 134569956 3221224400 3221214680 1131312841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30896 13073 16 0 213129 0
vsize: 852580
[startup+610.082 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 59164 61 0 0 25 0 11 0 492360618 873041920 30977 4294967295 134512640 134569956 3221224400 3221214384 1131641763 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 30977 13073 16 0 213129 0
vsize: 852580
[startup+620.082 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 60153 61 0 0 25 0 11 0 492360618 873041920 31066 4294967295 134512640 134569956 3221224400 3221214432 1131715530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31066 13073 16 0 213129 0
vsize: 852580
[startup+630.089 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 61143 62 0 0 25 0 11 0 492360618 873041920 31140 4294967295 134512640 134569956 3221224400 3221214576 1131648116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31140 13073 16 0 213129 0
vsize: 852580
[startup+640.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 62137 62 0 0 25 0 11 0 492360618 873041920 31172 4294967295 134512640 134569956 3221224400 3221214384 1131641962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31172 13073 16 0 213129 0
vsize: 852580
[startup+650.096 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 63127 62 0 0 25 0 11 0 492360618 873041920 31230 4294967295 134512640 134569956 3221224400 3221214364 1080216944 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31230 13073 16 0 213129 0
vsize: 852580
[startup+660.097 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 64122 63 0 0 25 0 11 0 492360618 873041920 31262 4294967295 134512640 134569956 3221224400 3221214464 1131606509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31262 13073 16 0 213129 0
vsize: 852580
[startup+670.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 65117 63 0 0 25 0 11 0 492360618 873041920 31311 4294967295 134512640 134569956 3221224400 3221214384 1131642107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31311 13073 16 0 213129 0
vsize: 852580
[startup+680.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 66109 63 0 0 25 0 11 0 492360618 873041920 31346 4294967295 134512640 134569956 3221224400 3221214460 1131535111 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 31346 13073 16 0 213129 0
vsize: 852580
[startup+690.103 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 67100 63 0 0 25 0 11 0 492360618 873041920 31402 4294967295 134512640 134569956 3221224400 3221214680 1131771289 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31402 13073 16 0 213129 0
vsize: 852580
[startup+700.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 68091 64 0 0 25 0 11 0 492360618 873041920 31417 4294967295 134512640 134569956 3221224400 3221214680 1131771252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31417 13073 16 0 213129 0
vsize: 852580
[startup+710.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 69077 64 0 0 25 0 11 0 492360618 873041920 31451 4294967295 134512640 134569956 3221224400 3221214680 1131771281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 31451 13073 16 0 213129 0
vsize: 852580
[startup+720.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 70059 64 0 0 25 0 11 0 492360618 873041920 31493 4294967295 134512640 134569956 3221224400 3221214464 1131607128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31493 13073 16 0 213129 0
vsize: 852580
[startup+730.104 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 71039 64 0 0 25 0 11 0 492360618 873041920 31528 4294967295 134512640 134569956 3221224400 3221214892 1131786880 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31528 13073 16 0 213129 0
vsize: 852580
[startup+740.105 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 72016 65 0 0 25 0 11 0 492360618 873041920 31542 4294967295 134512640 134569956 3221224400 3221214592 1131543356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31542 13073 16 0 213129 0
vsize: 852580
[startup+750.105 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 72989 65 0 0 24 0 11 0 492360618 873041920 31557 4294967295 134512640 134569956 3221224400 3221214568 1131317679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31557 13073 16 0 213129 0
vsize: 852580
[startup+760.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 73967 65 0 0 25 0 11 0 492360618 873041920 31558 4294967295 134512640 134569956 3221224400 3221214464 1131606898 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31558 13073 16 0 213129 0
vsize: 852580
[startup+770.111 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 74935 66 0 0 25 0 11 0 492360618 873041920 31613 4294967295 134512640 134569956 3221224400 3221214840 1131507056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31613 13073 16 0 213129 0
vsize: 852580
[startup+780.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 75902 66 0 0 25 0 11 0 492360618 873041920 31723 4294967295 134512640 134569956 3221224400 3221214256 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31723 13073 16 0 213129 0
vsize: 852580
[startup+790.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 76869 66 0 0 25 0 11 0 492360618 873041920 31854 4294967295 134512640 134569956 3221224400 3221214256 1080217379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 31854 13073 16 0 213129 0
vsize: 852580
[startup+800.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 77844 67 0 0 25 0 11 0 492360618 873041920 31952 4294967295 134512640 134569956 3221224400 3221214384 1131642003 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 31952 13073 16 0 213129 0
vsize: 852580
[startup+810.112 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 78813 67 0 0 25 0 11 0 492360618 873041920 32055 4294967295 134512640 134569956 3221224400 3221214464 1131535459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 32055 13073 16 0 213129 0
vsize: 852580
[startup+820.113 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 79781 67 0 0 25 0 11 0 492360618 873041920 32144 4294967295 134512640 134569956 3221224400 3221214568 1131627771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 32144 13073 16 0 213129 0
vsize: 852580
[startup+830.113 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 80750 67 0 0 25 0 11 0 492360618 873041920 32264 4294967295 134512640 134569956 3221224400 3221214384 1131641794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 32264 13073 16 0 213129 0
vsize: 852580
[startup+840.114 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 81720 67 0 0 25 0 11 0 492360618 873041920 32391 4294967295 134512640 134569956 3221224400 3221214464 1131606034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 32391 13073 16 0 213129 0
vsize: 852580
[startup+850.114 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 82686 67 0 0 25 0 11 0 492360618 873041920 32510 4294967295 134512640 134569956 3221224400 3221214680 1131313738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 32510 13073 16 0 213129 0
vsize: 852580
[startup+860.114 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 83655 68 0 0 25 0 11 0 492360618 873041920 32633 4294967295 134512640 134569956 3221224400 3221214384 1131641822 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 32633 13073 16 0 213129 0
vsize: 852580
[startup+870.114 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 84632 68 0 0 25 0 11 0 492360618 873041920 32767 4294967295 134512640 134569956 3221224400 3221214632 1131767380 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 32767 13073 16 0 213129 0
vsize: 852580
[startup+880.115 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 85611 68 0 0 25 0 11 0 492360618 873041920 32850 4294967295 134512640 134569956 3221224400 3221214680 1131771270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 32850 13073 16 0 213129 0
vsize: 852580
[startup+890.116 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 1610
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 86596 69 0 0 25 0 11 0 492360618 873041920 32935 4294967295 134512640 134569956 3221224400 3221214680 1131771244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 32935 13073 16 0 213129 0
vsize: 852580
[startup+900.115 s]
Raw data (loadavg): 1.14 1.03 0.95 3/67 1651
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 87575 69 0 0 25 0 11 0 492360618 873041920 33026 4294967295 134512640 134569956 3221224400 3221214680 1131771257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 33026 13073 16 0 213129 0
vsize: 852580
[startup+910.116 s]
Raw data (loadavg): 1.12 1.03 0.95 2/64 1671
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 88554 69 0 0 25 0 11 0 492360618 873041920 33104 4294967295 134512640 134569956 3221224400 3221214232 1085632292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 33104 13073 16 0 213129 0
vsize: 852580
[startup+920.116 s]
Raw data (loadavg): 1.10 1.03 0.95 2/64 1671
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 89533 69 0 0 25 0 11 0 492360618 873041920 33170 4294967295 134512640 134569956 3221224400 3221214464 1131642464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 33170 13073 16 0 213129 0
vsize: 852580
[startup+930.117 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 1671
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 90511 69 0 0 25 0 11 0 492360618 873041920 33214 4294967295 134512640 134569956 3221224400 3221214440 1131653396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 33214 13073 16 0 213129 0
vsize: 852580
[startup+940.117 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 1671
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 91493 70 0 0 25 0 11 0 492360618 873041920 33236 4294967295 134512640 134569956 3221224400 3221214680 1131771248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 33236 13073 16 0 213129 0
vsize: 852580
[startup+950.117 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 1671
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 92467 70 0 0 25 0 11 0 492360618 873041920 33306 4294967295 134512640 134569956 3221224400 3221214680 1131771270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 33306 13073 16 0 213129 0
vsize: 852580
[startup+960.118 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 1671
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 93439 71 0 0 25 0 11 0 492360618 873041920 33375 4294967295 134512640 134569956 3221224400 3221214840 1131506720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 33375 13073 16 0 213129 0
vsize: 852580
[startup+970.118 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 1671
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 94409 71 0 0 24 0 11 0 492360618 873041920 33450 4294967295 134512640 134569956 3221224400 3221214464 1131607107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 33450 13073 16 0 213129 0
vsize: 852580
[startup+980.118 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 95388 72 0 0 25 0 11 0 492360618 873041920 33515 4294967295 134512640 134569956 3221224400 3221214512 1131563582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 33515 13073 16 0 213129 0
vsize: 852580
[startup+990.118 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) S 1599 30854 30853 0 -1 0 18144 0 1 0 96355 72 0 0 25 0 11 0 492360618 873041920 33611 4294967295 134512640 134569956 3221224400 3221213296 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 33611 13073 16 0 213129 0
vsize: 852580
[startup+1000.13 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 97331 72 0 0 25 0 11 0 492360618 873041920 33723 4294967295 134512640 134569956 3221224400 3221214648 1131785193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 33723 13073 16 0 213129 0
vsize: 852580
[startup+1010.13 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 98303 73 0 0 25 0 11 0 492360618 873041920 33808 4294967295 134512640 134569956 3221224400 3221214136 1131785352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 33808 13073 16 0 213129 0
vsize: 852580
[startup+1020.13 s]
Raw data (loadavg): 1.10 1.04 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 99275 73 0 0 25 0 11 0 492360618 873041920 33904 4294967295 134512640 134569956 3221224400 3221214680 1131771244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 33904 13073 16 0 213129 0
vsize: 852580
[startup+1030.13 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 100254 73 0 0 25 0 11 0 492360618 873041920 34001 4294967295 134512640 134569956 3221224400 3221213976 1131785308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 34001 13073 16 0 213129 0
vsize: 852580
[startup+1040.13 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 101227 73 0 0 25 0 11 0 492360618 873041920 34103 4294967295 134512640 134569956 3221224400 3221214464 1131605883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 34103 13073 16 0 213129 0
vsize: 852580
[startup+1050.13 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 102201 74 0 0 25 0 11 0 492360618 873041920 34201 4294967295 134512640 134569956 3221224400 3221214472 1131731586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 34201 13073 16 0 213129 0
vsize: 852580
[startup+1060.14 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 103180 74 0 0 25 0 11 0 492360618 873041920 34260 4294967295 134512640 134569956 3221224400 3221214464 1131606920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 34260 13073 16 0 213129 0
vsize: 852580
[startup+1070.14 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 104151 74 0 0 25 0 11 0 492360618 873041920 34336 4294967295 134512640 134569956 3221224400 3221214592 1131543139 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 34336 13073 16 0 213129 0
vsize: 852580
[startup+1080.15 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 105121 74 0 0 25 0 11 0 492360618 873041920 34396 4294967295 134512640 134569956 3221224400 3221214680 1131771261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 34396 13073 16 0 213129 0
vsize: 852580
[startup+1090.15 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 106090 74 0 0 25 0 11 0 492360618 873041920 34522 4294967295 134512640 134569956 3221224400 3221214228 1131779616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 34522 13073 16 0 213129 0
vsize: 852580
[startup+1100.15 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 107068 75 0 0 25 0 11 0 492360618 873041920 34602 4294967295 134512640 134569956 3221224400 3221214776 1131364694 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213145 34602 13073 16 0 213129 0
vsize: 852580
[startup+1110.15 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 108040 75 0 0 25 0 11 0 492360618 873041920 34683 4294967295 134512640 134569956 3221224400 3221214680 1131771244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 34683 13073 16 0 213129 0
vsize: 852580
[startup+1120.15 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 109018 75 0 0 25 0 11 0 492360618 873041920 34756 4294967295 134512640 134569956 3221224400 3221214680 1131771270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 34756 13073 16 0 213129 0
vsize: 852580
[startup+1130.15 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 109991 75 0 0 25 0 11 0 492360618 873041920 34843 4294967295 134512640 134569956 3221224400 3221214680 1131312613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 34843 13073 16 0 213129 0
vsize: 852580
[startup+1140.15 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 110965 76 0 0 25 0 11 0 492360618 873041920 34963 4294967295 134512640 134569956 3221224400 3221214680 1131771257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 34963 13073 16 0 213129 0
vsize: 852580
[startup+1150.17 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 111942 76 0 0 25 0 11 0 492360618 873041920 35101 4294967295 134512640 134569956 3221224400 3221214680 1131771248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 35101 13073 16 0 213129 0
vsize: 852580
[startup+1160.17 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 112920 77 0 0 25 0 11 0 492360618 873041920 35184 4294967295 134512640 134569956 3221224400 3221214680 1131312938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 35184 13073 16 0 213129 0
vsize: 852580
[startup+1170.17 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 113897 77 0 0 25 0 11 0 492360618 873041920 35281 4294967295 134512640 134569956 3221224400 3221214548 1080204274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 35281 13073 16 0 213129 0
vsize: 852580
[startup+1180.19 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 114876 77 0 0 25 0 11 0 492360618 873041920 35351 4294967295 134512640 134569956 3221224400 3221214544 1131357068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 35351 13073 16 0 213129 0
vsize: 852580
[startup+1196.67 s]
Raw data (loadavg): 1.24 1.06 0.97 3/64 1673
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 116492 77 0 0 25 0 11 0 492360618 873041920 35460 4294967295 134512640 134569956 3221224400 3221214576 1131647940 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 35460 13073 16 0 213129 0
vsize: 852580
[startup+1206.67 s]
Raw data (loadavg): 1.20 1.06 0.97 2/64 1675
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 117469 78 0 0 25 0 11 0 492360618 873041920 35507 4294967295 134512640 134569956 3221224400 3221214520 1131638412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 35507 13073 16 0 213129 0
vsize: 852580
[startup+1216.67 s]
Raw data (loadavg): 1.17 1.06 0.97 2/64 1675
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 118448 78 0 0 25 0 11 0 492360618 873041920 35563 4294967295 134512640 134569956 3221224400 3221214592 1131544371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 35563 13073 16 0 213129 0
vsize: 852580
[startup+1226.67 s]
Raw data (loadavg): 1.14 1.06 0.97 2/64 1675
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 119425 78 0 0 25 0 11 0 492360618 873041920 35647 4294967295 134512640 134569956 3221224400 3221214464 1131642003 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 35647 13073 16 0 213129 0
vsize: 852580
[startup+1238.94 s]
Raw data (loadavg): 1.43 1.12 0.99 4/64 1675
Raw data (stat): 1600 (java) R 1599 30854 30853 0 -1 0 18144 0 1 0 120623 78 0 0 25 0 11 0 492360618 873041920 35749 4294967295 134512640 134569956 3221224400 3221214680 1131313700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213145 35749 13073 16 0 213129 0
vsize: 852580
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1241.2 s]
Raw data (loadavg): 1.48 1.13 1.00 1/54 1677
Raw data (stat): 1600 (java) Z 1599 30854 30853 0 -1 1036 18144 29418 1 0 120808 85 5009 69 22 0 1 0 492360618 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): 1241.18
CPU time (s): 1259.74
CPU user time (s): 1258.18
CPU system time (s): 1.55476
CPU usage (%): 101.495
Max. virtual memory (Kb): 857796
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####