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-fffff800.opb
MD5SUM	41762d7ce490e5551e5099dd159735cc
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	240
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	8589934584
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	-2340616713709551616
Number of bits of the biggest number in a constraint	64
Biggest sum of numbers in a constraint	392918753328864690176
Number of bits of the biggest sum of numbers	69
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.228964
Number of variables	25620
Total number of constraints	524
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	524
Minimum length of a constraint	30
Maximum length of a constraint	7530
Trace number 17516

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-04-21 10:24:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10760 boxname=wulflinc2 idbench=828 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  41762d7ce490e5551e5099dd159735cc  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fffff800.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fffff800.opb
IDLAUNCH: 10760
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        797812 kB
Buffers:         10600 kB
Cached:         204524 kB
SwapCached:        504 kB
Active:          49832 kB
Inactive:       167504 kB
HighTotal:      131008 kB
HighFree:        54936 kB
LowTotal:       903652 kB
LowFree:        742876 kB
SwapTotal:     2097136 kB
SwapFree:      2095900 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5712 kB
Slab:            13744 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 10:45:33 (client local time) WITH STATUS 143 IN 1256.99 SECONDS
stats: 10760 7 1256.99 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-fffff800.opb
c reading problem 
c [nbvar=25620]
c [nbconstr=524]
c time 213.142
c #vars     25620
c #clauses  845
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.90 0.94 0.91 2/54 26223
Raw data (stat): 26223 (runsolver) R 26222 20937 20936 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486118036 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.91 0.94 0.91 3/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17991 0 1 0 884 43 0 0 25 0 10 0 486118036 853495808 19268 4294967295 134512640 134569956 3221224400 3221214744 1131190209 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208373 19268 13073 16 0 208357 0
vsize: 833492
[startup+20.0067 s]
Raw data (loadavg): 0.93 0.94 0.91 2/63 26232
Raw data (stat): 26223 (java) S 26222 20937 20936 0 -1 0 17991 0 1 0 1801 43 0 0 25 0 10 0 486118036 854163456 19723 4294967295 134512640 134569956 3221224400 3221213760 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208536 19723 13073 16 0 208520 0
vsize: 834144
[startup+30.0068 s]
Raw data (loadavg): 0.94 0.94 0.91 3/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 2615 44 0 0 25 0 10 0 486118036 854425600 20616 4294967295 134512640 134569956 3221224400 3221213696 1131268780 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208600 20616 13073 16 0 208584 0
vsize: 834400
[startup+40.0065 s]
Raw data (loadavg): 0.95 0.94 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 3488 44 0 0 25 0 10 0 486118036 854196224 21361 4294967295 134512640 134569956 3221224400 3221214700 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208544 21361 13073 16 0 208528 0
vsize: 834176
[startup+50.0126 s]
Raw data (loadavg): 0.95 0.94 0.91 2/63 26232
Raw data (stat): 26223 (java) S 26222 20937 20936 0 -1 0 17997 0 1 0 4376 44 0 0 25 0 10 0 486118036 854163456 21364 4294967295 134512640 134569956 3221224400 3221213344 1073952481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208536 21364 13073 16 0 208520 0
vsize: 834144
[startup+60.0129 s]
Raw data (loadavg): 0.96 0.94 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 5262 45 0 0 25 0 10 0 486118036 854163456 21986 4294967295 134512640 134569956 3221224400 3221214288 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208536 21986 13073 16 0 208520 0
vsize: 834144
[startup+70.0136 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 6155 45 0 0 24 0 10 0 486118036 854163456 22178 4294967295 134512640 134569956 3221224400 3221214824 1131327175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208536 22178 13073 16 0 208520 0
vsize: 834144
[startup+80.0258 s]
Raw data (loadavg): 0.97 0.95 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 7065 46 0 0 25 0 10 0 486118036 854163456 22424 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208536 22424 13073 16 0 208520 0
vsize: 834144
[startup+90.0264 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 7973 46 0 0 25 0 10 0 486118036 854163456 22603 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208536 22603 13073 16 0 208520 0
vsize: 834144
[startup+100.027 s]
Raw data (loadavg): 0.98 0.95 0.91 3/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 8893 46 0 0 25 0 10 0 486118036 854163456 22775 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208536 22775 13073 16 0 208520 0
vsize: 834144
[startup+110.038 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 9821 46 0 0 25 0 10 0 486118036 855212032 23023 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 23023 13073 16 0 208776 0
vsize: 835168
[startup+120.038 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 10752 46 0 0 25 0 10 0 486118036 855212032 23123 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 23123 13073 16 0 208776 0
vsize: 835168
[startup+130.038 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 11680 46 0 0 25 0 10 0 486118036 855212032 23220 4294967295 134512640 134569956 3221224400 3221214820 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 23220 13073 16 0 208776 0
vsize: 835168
[startup+140.038 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 12570 48 0 0 25 0 10 0 486118036 855212032 24415 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208792 24415 13073 16 0 208776 0
vsize: 835168
[startup+150.039 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 13436 48 0 0 25 0 10 0 486118036 854163456 24818 4294967295 134512640 134569956 3221224400 3221214812 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208536 24818 13073 16 0 208520 0
vsize: 834144
[startup+160.039 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 14301 49 0 0 25 0 10 0 486118036 854163456 24885 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208536 24885 13073 16 0 208520 0
vsize: 834144
[startup+170.041 s]
Raw data (loadavg): 0.99 0.95 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 15195 49 0 0 25 0 10 0 486118036 854163456 25407 4294967295 134512640 134569956 3221224400 3221214812 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208536 25407 13073 16 0 208520 0
vsize: 834144
[startup+180.04 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 16105 50 0 0 24 0 10 0 486118036 854163456 25479 4294967295 134512640 134569956 3221224400 3221214272 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208536 25479 13073 16 0 208520 0
vsize: 834144
[startup+190.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 16992 50 0 0 25 0 10 0 486118036 854163456 25673 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208536 25673 13073 16 0 208520 0
vsize: 834144
[startup+200.041 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 17853 51 0 0 24 0 10 0 486118036 854163456 26459 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208536 26459 13073 16 0 208520 0
vsize: 834144
[startup+210.042 s]
Raw data (loadavg): 0.99 0.96 0.91 2/63 26232
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 17997 0 1 0 18744 51 0 0 25 0 10 0 486118036 854163456 26620 4294967295 134512640 134569956 3221224400 3221214716 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208536 26620 13073 16 0 208520 0
vsize: 834144
[startup+220.05 s]
Raw data (loadavg): 1.07 0.98 0.91 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18070 0 1 0 19574 52 0 0 24 0 11 0 486118036 859865088 28930 4294967295 134512640 134569956 3221224400 3221214696 1131293797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209928 28930 13073 16 0 209912 0
vsize: 839712
[startup+230.05 s]
Raw data (loadavg): 1.06 0.98 0.91 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18070 0 1 0 20538 53 0 0 25 0 11 0 486118036 858554368 28630 4294967295 134512640 134569956 3221224400 3221214424 1131301131 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209608 28630 13073 16 0 209592 0
vsize: 838432
[startup+240.049 s]
Raw data (loadavg): 1.13 0.99 0.92 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18071 0 1 0 21467 53 0 0 25 0 11 0 486118036 859774976 28956 4294967295 134512640 134569956 3221224400 3221214696 1131293469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209906 28956 13073 16 0 209890 0
vsize: 839624
[startup+250.049 s]
Raw data (loadavg): 1.11 0.99 0.92 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18072 0 1 0 22440 53 0 0 25 0 11 0 486118036 859099136 29009 4294967295 134512640 134569956 3221224400 3221214688 1131578268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29009 13073 16 0 209725 0
vsize: 838964
[startup+260.05 s]
Raw data (loadavg): 1.09 0.99 0.92 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18072 0 1 0 23422 53 0 0 25 0 11 0 486118036 859099136 29010 4294967295 134512640 134569956 3221224400 3221214728 1131512461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29010 13073 16 0 209725 0
vsize: 838964
[startup+270.05 s]
Raw data (loadavg): 1.08 0.99 0.92 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18072 0 1 0 24406 53 0 0 25 0 11 0 486118036 859099136 29011 4294967295 134512640 134569956 3221224400 3221214688 1131578156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29011 13073 16 0 209725 0
vsize: 838964
[startup+280.049 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18072 0 1 0 25388 54 0 0 25 0 11 0 486118036 859099136 29011 4294967295 134512640 134569956 3221224400 3221214728 1131511500 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 29011 13073 16 0 209725 0
vsize: 838964
[startup+290.05 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18072 0 1 0 26359 55 0 0 25 0 11 0 486118036 859099136 29671 4294967295 134512640 134569956 3221224400 3221214696 1131293253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 29671 13073 16 0 209725 0
vsize: 838964
[startup+300.05 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18072 0 1 0 27345 55 0 0 25 0 11 0 486118036 859099136 29672 4294967295 134512640 134569956 3221224400 3221214616 1131530882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29672 13073 16 0 209725 0
vsize: 838964
[startup+310.05 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18072 0 1 0 28330 55 0 0 24 0 11 0 486118036 859099136 29672 4294967295 134512640 134569956 3221224400 3221214792 1131365445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29672 13073 16 0 209725 0
vsize: 838964
[startup+320.05 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18072 0 1 0 29312 55 0 0 25 0 11 0 486118036 859099136 29672 4294967295 134512640 134569956 3221224400 3221214728 1131510775 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29672 13073 16 0 209725 0
vsize: 838964
[startup+330.078 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18072 0 1 0 30297 56 0 0 25 0 11 0 486118036 859099136 29701 4294967295 134512640 134569956 3221224400 3221214728 1131511460 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 29701 13073 16 0 209725 0
vsize: 838964
[startup+340.079 s]
Raw data (loadavg): 1.10 1.01 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 31272 56 0 0 25 0 11 0 486118036 859099136 29744 4294967295 134512640 134569956 3221224400 3221214688 1131361402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29744 13073 16 0 209725 0
vsize: 838964
[startup+350.078 s]
Raw data (loadavg): 1.09 1.01 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 32249 56 0 0 25 0 11 0 486118036 859099136 29813 4294967295 134512640 134569956 3221224400 3221214552 1131474472 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29813 13073 16 0 209725 0
vsize: 838964
[startup+360.079 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 33226 56 0 0 24 0 11 0 486118036 859099136 29887 4294967295 134512640 134569956 3221224400 3221214696 1131293230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29887 13073 16 0 209725 0
vsize: 838964
[startup+370.079 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 34205 56 0 0 25 0 11 0 486118036 859099136 29939 4294967295 134512640 134569956 3221224400 3221214696 1131293869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 29939 13073 16 0 209725 0
vsize: 838964
[startup+380.078 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 35185 57 0 0 25 0 11 0 486118036 859099136 30022 4294967295 134512640 134569956 3221224400 3221214696 1131293221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 30022 13073 16 0 209725 0
vsize: 838964
[startup+390.079 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 36163 57 0 0 25 0 11 0 486118036 859099136 30107 4294967295 134512640 134569956 3221224400 3221214696 1131294586 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 30107 13073 16 0 209725 0
vsize: 838964
[startup+400.08 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 37144 58 0 0 25 0 11 0 486118036 859099136 30200 4294967295 134512640 134569956 3221224400 3221214792 1131366502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 30200 13073 16 0 209725 0
vsize: 838964
[startup+410.081 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 38121 58 0 0 25 0 11 0 486118036 859099136 30295 4294967295 134512640 134569956 3221224400 3221214840 1131397235 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 30295 13073 16 0 209725 0
vsize: 838964
[startup+420.081 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 39101 58 0 0 25 0 11 0 486118036 859099136 30355 4294967295 134512640 134569956 3221224400 3221214696 1131293797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 30355 13073 16 0 209725 0
vsize: 838964
[startup+430.081 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 40075 58 0 0 25 0 11 0 486118036 859099136 30444 4294967295 134512640 134569956 3221224400 3221214696 1131294044 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 30444 13073 16 0 209725 0
vsize: 838964
[startup+440.082 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 41053 59 0 0 25 0 11 0 486118036 859099136 30536 4294967295 134512640 134569956 3221224400 3221214696 1131293253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 30536 13073 16 0 209725 0
vsize: 838964
[startup+450.083 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 42030 59 0 0 25 0 11 0 486118036 859099136 30653 4294967295 134512640 134569956 3221224400 3221214840 1131397232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 30653 13073 16 0 209725 0
vsize: 838964
[startup+460.083 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 43006 59 0 0 25 0 11 0 486118036 859099136 30777 4294967295 134512640 134569956 3221224400 3221214408 1131309052 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 30777 13073 16 0 209725 0
vsize: 838964
[startup+470.09 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 43982 59 0 0 25 0 11 0 486118036 859099136 30883 4294967295 134512640 134569956 3221224400 3221214688 1131578253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 30883 13073 16 0 209725 0
vsize: 838964
[startup+480.089 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 44961 59 0 0 25 0 11 0 486118036 859099136 31027 4294967295 134512640 134569956 3221224400 3221214696 1131293869 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 31027 13073 16 0 209725 0
vsize: 838964
[startup+490.09 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 45934 60 0 0 25 0 11 0 486118036 859099136 31217 4294967295 134512640 134569956 3221224400 3221214696 1131294091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 31217 13073 16 0 209725 0
vsize: 838964
[startup+500.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 46905 60 0 0 25 0 11 0 486118036 859099136 31432 4294967295 134512640 134569956 3221224400 3221214688 1131578144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 31432 13073 16 0 209725 0
vsize: 838964
[startup+510.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 47871 60 0 0 25 0 11 0 486118036 859099136 31560 4294967295 134512640 134569956 3221224400 3221214496 1131301223 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 31560 13073 16 0 209725 0
vsize: 838964
[startup+520.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 48841 60 0 0 25 0 11 0 486118036 859099136 31691 4294967295 134512640 134569956 3221224400 3221214696 1131293950 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 31691 13073 16 0 209725 0
vsize: 838964
[startup+530.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 49808 60 0 0 25 0 11 0 486118036 859099136 31885 4294967295 134512640 134569956 3221224400 3221214744 1131243114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 31885 13073 16 0 209725 0
vsize: 838964
[startup+540.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 50783 61 0 0 25 0 11 0 486118036 859099136 32215 4294967295 134512640 134569956 3221224400 3221214696 1131293956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 32215 13073 16 0 209725 0
vsize: 838964
[startup+550.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 51765 61 0 0 25 0 11 0 486118036 859099136 32314 4294967295 134512640 134569956 3221224400 3221214736 1131525665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 32314 13073 16 0 209725 0
vsize: 838964
[startup+560.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 52746 61 0 0 25 0 11 0 486118036 859099136 32360 4294967295 134512640 134569956 3221224400 3221214696 1131294018 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 32360 13073 16 0 209725 0
vsize: 838964
[startup+570.094 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 53722 61 0 0 25 0 11 0 486118036 859099136 32431 4294967295 134512640 134569956 3221224400 3221214792 1131366421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 32431 13073 16 0 209725 0
vsize: 838964
[startup+580.093 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 54699 62 0 0 25 0 11 0 486118036 859099136 32481 4294967295 134512640 134569956 3221224400 3221214792 1131365390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 32481 13073 16 0 209725 0
vsize: 838964
[startup+590.095 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) S 26222 20937 20936 0 -1 0 18073 0 1 0 55671 62 0 0 25 0 11 0 486118036 859099136 32546 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 32546 13073 16 0 209725 0
vsize: 838964
[startup+600.095 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 56645 62 0 0 25 0 11 0 486118036 859099136 32673 4294967295 134512640 134569956 3221224400 3221214696 1131293797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 32673 13073 16 0 209725 0
vsize: 838964
[startup+610.096 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 57615 62 0 0 25 0 11 0 486118036 859099136 32838 4294967295 134512640 134569956 3221224400 3221214424 1131587791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 32838 13073 16 0 209725 0
vsize: 838964
[startup+620.096 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 58588 63 0 0 25 0 11 0 486118036 859099136 33134 4294967295 134512640 134569956 3221224400 3221214688 1131578144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 33134 13073 16 0 209725 0
vsize: 838964
[startup+630.097 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 59559 63 0 0 25 0 11 0 486118036 859099136 33331 4294967295 134512640 134569956 3221224400 3221214360 1131683076 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 33331 13073 16 0 209725 0
vsize: 838964
[startup+640.098 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 60534 63 0 0 25 0 11 0 486118036 859099136 33440 4294967295 134512640 134569956 3221224400 3221214312 1131309135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 33440 13073 16 0 209725 0
vsize: 838964
[startup+650.097 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 61504 64 0 0 21 0 11 0 486118036 859099136 33593 4294967295 134512640 134569956 3221224400 3221214696 1131293966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 33593 13073 16 0 209725 0
vsize: 838964
[startup+660.098 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 62480 64 0 0 25 0 11 0 486118036 859099136 33706 4294967295 134512640 134569956 3221224400 3221214688 1131578253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 33706 13073 16 0 209725 0
vsize: 838964
[startup+670.099 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 63450 64 0 0 25 0 11 0 486118036 859099136 33893 4294967295 134512640 134569956 3221224400 3221214632 1131293797 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 33893 13073 16 0 209725 0
vsize: 838964
[startup+680.098 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 64414 64 0 0 25 0 11 0 486118036 859099136 34190 4294967295 134512640 134569956 3221224400 3221214072 1131670402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 34190 13073 16 0 209725 0
vsize: 838964
[startup+690.099 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 65385 64 0 0 25 0 11 0 486118036 859099136 34324 4294967295 134512640 134569956 3221224400 3221214128 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 34324 13073 16 0 209725 0
vsize: 838964
[startup+700.099 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 66356 65 0 0 25 0 11 0 486118036 859099136 34462 4294967295 134512640 134569956 3221224400 3221214744 1131243114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 34462 13073 16 0 209725 0
vsize: 838964
[startup+710.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 67324 65 0 0 24 0 11 0 486118036 859099136 34591 4294967295 134512640 134569956 3221224400 3221214272 1131308983 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 34591 13073 16 0 209725 0
vsize: 838964
[startup+720.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 68298 66 0 0 25 0 11 0 486118036 859099136 34802 4294967295 134512640 134569956 3221224400 3221214696 1131293578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 34802 13073 16 0 209725 0
vsize: 838964
[startup+730.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 69274 66 0 0 25 0 11 0 486118036 859099136 34907 4294967295 134512640 134569956 3221224400 3221214696 1131293230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 34907 13073 16 0 209725 0
vsize: 838964
[startup+740.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 70250 67 0 0 25 0 11 0 486118036 859099136 34981 4294967295 134512640 134569956 3221224400 3221214848 1131648821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 34981 13073 16 0 209725 0
vsize: 838964
[startup+750.102 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 71220 67 0 0 24 0 11 0 486118036 859099136 35079 4294967295 134512640 134569956 3221224400 3221214792 1131365445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 35079 13073 16 0 209725 0
vsize: 838964
[startup+760.102 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 72190 67 0 0 25 0 11 0 486118036 859099136 35440 4294967295 134512640 134569956 3221224400 3221214312 1131309048 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 35440 13073 16 0 209725 0
vsize: 838964
[startup+770.102 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 73163 67 0 0 25 0 11 0 486118036 859099136 35746 4294967295 134512640 134569956 3221224400 3221214728 1131512411 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 35746 13073 16 0 209725 0
vsize: 838964
[startup+780.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 74136 67 0 0 25 0 11 0 486118036 859099136 35799 4294967295 134512640 134569956 3221224400 3221214840 1131556012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 35799 13073 16 0 209725 0
vsize: 838964
[startup+790.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 75110 67 0 0 25 0 11 0 486118036 859099136 35942 4294967295 134512640 134569956 3221224400 3221214696 1131293253 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 35942 13073 16 0 209725 0
vsize: 838964
[startup+800.101 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 76077 68 0 0 25 0 11 0 486118036 859099136 36046 4294967295 134512640 134569956 3221224400 3221214876 1131233696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 36046 13073 16 0 209725 0
vsize: 838964
[startup+810.102 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 77048 68 0 0 25 0 11 0 486118036 859099136 36399 4294967295 134512640 134569956 3221224400 3221214840 1131397373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 36399 13073 16 0 209725 0
vsize: 838964
[startup+820.102 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 78020 68 0 0 25 0 11 0 486118036 859099136 36561 4294967295 134512640 134569956 3221224400 3221214696 1131293935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 36561 13073 16 0 209725 0
vsize: 838964
[startup+830.102 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 78986 69 0 0 25 0 11 0 486118036 859099136 36766 4294967295 134512640 134569956 3221224400 3221214688 1131578144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 36766 13073 16 0 209725 0
vsize: 838964
[startup+840.103 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 79952 69 0 0 25 0 11 0 486118036 859099136 37082 4294967295 134512640 134569956 3221224400 3221214840 1131541518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 37082 13073 16 0 209725 0
vsize: 838964
[startup+850.103 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 80924 69 0 0 25 0 11 0 486118036 859099136 37238 4294967295 134512640 134569956 3221224400 3221214788 1131294717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 37238 13073 16 0 209725 0
vsize: 838964
[startup+860.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) S 26222 20937 20936 0 -1 0 18073 0 1 0 81888 69 0 0 25 0 11 0 486118036 859099136 37366 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 37366 13073 16 0 209725 0
vsize: 838964
[startup+870.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 82853 69 0 0 25 0 11 0 486118036 859099136 37574 4294967295 134512640 134569956 3221224400 3221214264 1131683095 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 37574 13073 16 0 209725 0
vsize: 838964
[startup+880.104 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 83827 70 0 0 25 0 11 0 486118036 859099136 37829 4294967295 134512640 134569956 3221224400 3221214512 1085679454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 37829 13073 16 0 209725 0
vsize: 838964
[startup+890.105 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 84804 70 0 0 25 0 11 0 486118036 859099136 38008 4294967295 134512640 134569956 3221224400 3221214696 1131294036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 38008 13073 16 0 209725 0
vsize: 838964
[startup+900.109 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 85779 70 0 0 25 0 11 0 486118036 859099136 38149 4294967295 134512640 134569956 3221224400 3221214792 1131365445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 38149 13073 16 0 209725 0
vsize: 838964
[startup+910.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 86753 70 0 0 25 0 11 0 486118036 859099136 38241 4294967295 134512640 134569956 3221224400 3221214696 1131293994 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 38241 13073 16 0 209725 0
vsize: 838964
[startup+920.115 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 87725 71 0 0 25 0 11 0 486118036 859099136 38330 4294967295 134512640 134569956 3221224400 3221214840 1131397232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 38330 13073 16 0 209725 0
vsize: 838964
[startup+930.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 88695 71 0 0 25 0 11 0 486118036 859099136 38409 4294967295 134512640 134569956 3221224400 3221214412 1085616768 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 38409 13073 16 0 209725 0
vsize: 838964
[startup+940.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 89658 71 0 0 25 0 11 0 486118036 859099136 38572 4294967295 134512640 134569956 3221224400 3221214792 1131365445 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 38572 13073 16 0 209725 0
vsize: 838964
[startup+950.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 90624 71 0 0 25 0 11 0 486118036 859099136 38776 4294967295 134512640 134569956 3221224400 3221214696 1131293753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 38776 13073 16 0 209725 0
vsize: 838964
[startup+960.117 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 91590 72 0 0 25 0 11 0 486118036 859099136 38971 4294967295 134512640 134569956 3221224400 3221214696 1131294042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 38971 13073 16 0 209725 0
vsize: 838964
[startup+970.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 92557 72 0 0 25 0 11 0 486118036 859099136 39067 4294967295 134512640 134569956 3221224400 3221214032 1085679359 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 39067 13073 16 0 209725 0
vsize: 838964
[startup+980.118 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 93524 72 0 0 25 0 11 0 486118036 859099136 39308 4294967295 134512640 134569956 3221224400 3221214792 1131366458 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 39308 13073 16 0 209725 0
vsize: 838964
[startup+990.119 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 94497 72 0 0 25 0 11 0 486118036 859099136 39534 4294967295 134512640 134569956 3221224400 3221214696 1131293946 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 39534 13073 16 0 209725 0
vsize: 838964
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 95467 73 0 0 25 0 11 0 486118036 859099136 39760 4294967295 134512640 134569956 3221224400 3221214728 1131511454 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 39760 13073 16 0 209725 0
vsize: 838964
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 96439 74 0 0 25 0 11 0 486118036 859099136 39852 4294967295 134512640 134569956 3221224400 3221214688 1131578156 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 39852 13073 16 0 209725 0
vsize: 838964
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 97411 74 0 0 25 0 11 0 486118036 859099136 40004 4294967295 134512640 134569956 3221224400 3221214696 1131294036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 40004 13073 16 0 209725 0
vsize: 838964
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 98382 75 0 0 25 0 11 0 486118036 859099136 40176 4294967295 134512640 134569956 3221224400 3221214696 1131293886 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 40176 13073 16 0 209725 0
vsize: 838964
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 99351 75 0 0 25 0 11 0 486118036 859099136 40261 4294967295 134512640 134569956 3221224400 3221214792 1131370072 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 40261 13073 16 0 209725 0
vsize: 838964
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 100318 75 0 0 25 0 11 0 486118036 859099136 40393 4294967295 134512640 134569956 3221224400 3221214688 1131578156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 40393 13073 16 0 209725 0
vsize: 838964
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 101286 75 0 0 25 0 11 0 486118036 859099136 40499 4294967295 134512640 134569956 3221224400 3221214696 1131293883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 40499 13073 16 0 209725 0
vsize: 838964
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 102253 76 0 0 25 0 11 0 486118036 859099136 40660 4294967295 134512640 134569956 3221224400 3221214696 1131293903 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209741 40660 13073 16 0 209725 0
vsize: 838964
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 103223 76 0 0 25 0 11 0 486118036 859099136 40964 4294967295 134512640 134569956 3221224400 3221214696 1131293217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 40964 13073 16 0 209725 0
vsize: 838964
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 104193 76 0 0 25 0 11 0 486118036 859099136 41119 4294967295 134512640 134569956 3221224400 3221214792 1131367421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 41119 13073 16 0 209725 0
vsize: 838964
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 105167 77 0 0 25 0 11 0 486118036 859099136 41219 4294967295 134512640 134569956 3221224400 3221214696 1131294294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 41219 13073 16 0 209725 0
vsize: 838964
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 106137 77 0 0 25 0 11 0 486118036 859099136 41358 4294967295 134512640 134569956 3221224400 3221214392 1131587074 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 41358 13073 16 0 209725 0
vsize: 838964
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 107113 77 0 0 25 0 11 0 486118036 859099136 41485 4294967295 134512640 134569956 3221224400 3221214792 1131365390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 41485 13073 16 0 209725 0
vsize: 838964
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 108085 78 0 0 25 0 11 0 486118036 859099136 41719 4294967295 134512640 134569956 3221224400 3221214088 1085679741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 41719 13073 16 0 209725 0
vsize: 838964
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 109056 78 0 0 25 0 11 0 486118036 859099136 41854 4294967295 134512640 134569956 3221224400 3221214696 1131293271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 41854 13073 16 0 209725 0
vsize: 838964
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 110023 79 0 0 25 0 11 0 486118036 859099136 41976 4294967295 134512640 134569956 3221224400 3221214364 1080216948 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 41976 13073 16 0 209725 0
vsize: 838964
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 110989 79 0 0 24 0 11 0 486118036 859099136 42468 4294967295 134512640 134569956 3221224400 3221214696 1131294042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 42468 13073 16 0 209725 0
vsize: 838964
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 111959 79 0 0 25 0 11 0 486118036 859099136 42906 4294967295 134512640 134569956 3221224400 3221214536 1131591385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 42906 13073 16 0 209725 0
vsize: 838964
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 112927 79 0 0 25 0 11 0 486118036 859099136 43219 4294967295 134512640 134569956 3221224400 3221214696 1131293899 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 43219 13073 16 0 209725 0
vsize: 838964
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 113901 80 0 0 25 0 11 0 486118036 859099136 43219 4294967295 134512640 134569956 3221224400 3221214792 1131366312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 43219 13073 16 0 209725 0
vsize: 838964
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 114869 80 0 0 25 0 11 0 486118036 859099136 43288 4294967295 134512640 134569956 3221224400 3221214408 1131309130 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 43288 13073 16 0 209725 0
vsize: 838964
[startup+1210.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 115838 80 0 0 25 0 11 0 486118036 859099136 43488 4294967295 134512640 134569956 3221224400 3221214616 1131301925 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 43488 13073 16 0 209725 0
vsize: 838964
[startup+1220.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 116814 80 0 0 25 0 11 0 486118036 859099136 43837 4294967295 134512640 134569956 3221224400 3221214792 1131367391 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 43837 13073 16 0 209725 0
vsize: 838964
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 117789 80 0 0 25 0 11 0 486118036 859099136 43992 4294967295 134512640 134569956 3221224400 3221214696 1131293570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 43992 13073 16 0 209725 0
vsize: 838964
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 118766 81 0 0 25 0 11 0 486118036 859099136 44084 4294967295 134512640 134569956 3221224400 3221214224 1131670375 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 44084 13073 16 0 209725 0
vsize: 838964
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 119746 81 0 0 25 0 11 0 486118036 859099136 44144 4294967295 134512640 134569956 3221224400 3221214696 1131293713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 44144 13073 16 0 209725 0
vsize: 838964
[startup+1260.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 26233
Raw data (stat): 26223 (java) R 26222 20937 20936 0 -1 0 18073 0 1 0 120721 81 0 0 25 0 11 0 486118036 859099136 44253 4294967295 134512640 134569956 3221224400 3221214792 1131365049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209741 44253 13073 16 0 209725 0
vsize: 838964
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1260.27 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 26235
Raw data (stat): 26223 (java) Z 26222 20937 20936 0 -1 1036 18073 24461 1 0 120727 81 4832 58 25 0 1 0 486118036 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): 1260.27
CPU time (s): 1256.99
CPU user time (s): 1255.59
CPU system time (s): 1.40179
CPU usage (%): 99.7398
Max. virtual memory (Kb): 839712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####