PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM	3275929be36299f0a23379c5fe15d197
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	11160
Biggest coefficient in the objective function	2147483648
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	869952060630
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	2147483648
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	869952060630
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.19097
Number of variables	21960
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	372
Trace number 21502

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        559568 kB
Buffers:         32648 kB
Cached:         416660 kB
SwapCached:        104 kB
Active:         149996 kB
Inactive:       301784 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        559316 kB
SwapTotal:     2097640 kB
SwapFree:      2097068 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6056 kB
Slab:            17424 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-22 00:26:36 (client local time) WITH STATUS 143 IN 1246.79 SECONDS
stats: 13113 7 1246.79 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-tr12-30.opb
c reading problem 
c [nbvar=21960]
c [nbconstr=1110]
c time 140.962
c #vars     21960
c #clauses  1111
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.91 0.95 0.92 2/54 2851
Raw data (stat): 2851 (runsolver) R 2850 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 549271188 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.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 2860
Raw data (stat): 2851 (java) S 2850 10614 10613 0 -1 0 18001 0 1 0 873 37 0 0 25 0 10 0 549271188 853692416 19101 4294967295 134512640 134569956 3221224400 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208421 19103 13073 16 0 208405 0
vsize: 833684
[startup+20.0127 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 2862
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18002 0 1 0 1766 37 0 0 25 0 10 0 549271188 854228992 19745 4294967295 134512640 134569956 3221224400 3221214820 1080204166 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 19745 13073 16 0 208536 0
vsize: 834208
[startup+30.0284 s]
Raw data (loadavg): 0.99 0.97 0.93 2/63 2862
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18002 0 1 0 2668 38 0 0 25 0 10 0 549271188 854228992 20167 4294967295 134512640 134569956 3221224400 3221214824 1131205008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208552 20167 13073 16 0 208536 0
vsize: 834208
[startup+40.0475 s]
Raw data (loadavg): 1.15 1.00 0.94 4/63 2862
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18020 0 1 0 3509 38 0 0 25 0 10 0 549271188 868990976 23790 4294967295 134512640 134569956 3221224400 3221214808 1131206176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212156 23790 13073 16 0 212140 0
vsize: 848624
[startup+50.0477 s]
Raw data (loadavg): 1.20 1.02 0.94 2/63 2862
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18021 0 1 0 4357 38 0 0 19 0 10 0 549271188 861847552 22580 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210412 22580 13073 16 0 210396 0
vsize: 841648
[startup+60.048 s]
Raw data (loadavg): 1.17 1.02 0.94 2/63 2862
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18021 0 1 0 5216 39 0 0 17 0 10 0 549271188 859947008 22687 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209948 22687 13073 16 0 209932 0
vsize: 839792
[startup+70.0481 s]
Raw data (loadavg): 1.14 1.02 0.94 2/63 2862
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18021 0 1 0 6115 39 0 0 23 0 10 0 549271188 859947008 22984 4294967295 134512640 134569956 3221224400 3221214836 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209948 22984 13073 16 0 209932 0
vsize: 839792
[startup+80.0488 s]
Raw data (loadavg): 1.12 1.02 0.94 2/63 2862
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18021 0 1 0 7018 39 0 0 22 0 10 0 549271188 859947008 23190 4294967295 134512640 134569956 3221224400 3221214844 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209948 23190 13073 16 0 209932 0
vsize: 839792
[startup+90.0489 s]
Raw data (loadavg): 1.10 1.02 0.94 2/63 2862
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18021 0 1 0 7924 39 0 0 20 0 10 0 549271188 859947008 23380 4294967295 134512640 134569956 3221224400 3221214388 1130887403 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209948 23380 13073 16 0 209932 0
vsize: 839792
[startup+100.048 s]
Raw data (loadavg): 1.09 1.02 0.94 2/63 2862
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18021 0 1 0 8832 39 0 0 20 0 10 0 549271188 859947008 23558 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209948 23558 13073 16 0 209932 0
vsize: 839792
[startup+110.052 s]
Raw data (loadavg): 1.07 1.01 0.94 2/63 2862
Raw data (stat): 2851 (java) S 2850 10614 10613 0 -1 0 18021 0 1 0 9744 39 0 0 25 0 10 0 549271188 859947008 23715 4294967295 134512640 134569956 3221224400 3221213552 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209948 23715 13073 16 0 209932 0
vsize: 839792
[startup+120.053 s]
Raw data (loadavg): 1.06 1.01 0.94 2/63 2862
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18021 0 1 0 10660 39 0 0 25 0 10 0 549271188 859947008 23870 4294967295 134512640 134569956 3221224400 3221214740 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209948 23870 13073 16 0 209932 0
vsize: 839792
[startup+130.053 s]
Raw data (loadavg): 1.05 1.01 0.94 2/63 2862
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18021 0 1 0 11575 40 0 0 25 0 10 0 549271188 859947008 24020 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209948 24020 13073 16 0 209932 0
vsize: 839792
[startup+140.053 s]
Raw data (loadavg): 1.04 1.01 0.94 2/63 2862
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18021 0 1 0 12500 40 0 0 25 0 10 0 549271188 859947008 24168 4294967295 134512640 134569956 3221224400 3221214296 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209948 24168 13073 16 0 209932 0
vsize: 839792
[startup+150.056 s]
Raw data (loadavg): 1.11 1.03 0.95 2/64 2863
Raw data (stat): 2851 (java) S 2850 10614 10613 0 -1 0 18091 0 1 0 13367 41 0 0 25 0 11 0 549271188 860508160 24456 4294967295 134512640 134569956 3221224400 3221213440 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210085 24456 13073 16 0 210069 0
vsize: 840340
[startup+160.056 s]
Raw data (loadavg): 1.09 1.03 0.95 3/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 14306 41 0 0 25 0 11 0 549271188 860475392 24499 4294967295 134512640 134569956 3221224400 3221214504 1131297315 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 24499 13073 16 0 210061 0
vsize: 840308
[startup+170.056 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 15235 41 0 0 25 0 11 0 549271188 860475392 25154 4294967295 134512640 134569956 3221224400 3221214848 1131512494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210077 25154 13073 16 0 210061 0
vsize: 840308
[startup+180.057 s]
Raw data (loadavg): 1.14 1.04 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 16175 41 0 0 24 0 11 0 549271188 864669696 26252 4294967295 134512640 134569956 3221224400 3221214480 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211101 26252 13073 16 0 211085 0
vsize: 844404
[startup+190.057 s]
Raw data (loadavg): 1.12 1.04 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 17127 41 0 0 25 0 11 0 549271188 864669696 26443 4294967295 134512640 134569956 3221224400 3221214800 1131359707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211101 26443 13073 16 0 211085 0
vsize: 844404
[startup+200.057 s]
Raw data (loadavg): 1.10 1.04 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 18090 41 0 0 25 0 11 0 549271188 864669696 26557 4294967295 134512640 134569956 3221224400 3221214704 1131296968 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211101 26557 13073 16 0 211085 0
vsize: 844404
[startup+210.057 s]
Raw data (loadavg): 1.08 1.03 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 19057 41 0 0 25 0 11 0 549271188 864669696 26672 4294967295 134512640 134569956 3221224400 3221214856 1131271488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211101 26672 13073 16 0 211085 0
vsize: 844404
[startup+220.057 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 20028 41 0 0 25 0 11 0 549271188 861523968 25990 4294967295 134512640 134569956 3221224400 3221214800 1131359389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 25990 13073 16 0 210317 0
vsize: 841332
[startup+230.058 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 21005 42 0 0 25 0 11 0 549271188 861523968 26069 4294967295 134512640 134569956 3221224400 3221214784 1131359386 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 26069 13073 16 0 210317 0
vsize: 841332
[startup+240.059 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 21980 42 0 0 24 0 11 0 549271188 861523968 26140 4294967295 134512640 134569956 3221224400 3221214784 1131359331 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 26140 13073 16 0 210317 0
vsize: 841332
[startup+250.059 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 22958 42 0 0 24 0 11 0 549271188 861523968 26210 4294967295 134512640 134569956 3221224400 3221214792 1131512648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 26210 13073 16 0 210317 0
vsize: 841332
[startup+260.162 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 23942 42 0 0 25 0 11 0 549271188 861523968 26287 4294967295 134512640 134569956 3221224400 3221214712 1131623014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 26287 13073 16 0 210317 0
vsize: 841332
[startup+270.17 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 24915 42 0 0 25 0 11 0 549271188 861523968 26348 4294967295 134512640 134569956 3221224400 3221214880 1131490608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 26348 13073 16 0 210317 0
vsize: 841332
[startup+280.17 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 25888 42 0 0 25 0 11 0 549271188 861523968 26439 4294967295 134512640 134569956 3221224400 3221214784 1131359884 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 26439 13073 16 0 210317 0
vsize: 841332
[startup+290.179 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 26867 42 0 0 25 0 11 0 549271188 861523968 26540 4294967295 134512640 134569956 3221224400 3221214880 1131491097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 26540 13073 16 0 210317 0
vsize: 841332
[startup+300.179 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 27849 42 0 0 25 0 11 0 549271188 861523968 26603 4294967295 134512640 134569956 3221224400 3221214784 1131359389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 26603 13073 16 0 210317 0
vsize: 841332
[startup+310.18 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 28829 42 0 0 25 0 11 0 549271188 861523968 26656 4294967295 134512640 134569956 3221224400 3221214880 1131490821 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 26656 13073 16 0 210317 0
vsize: 841332
[startup+320.18 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 29812 42 0 0 25 0 11 0 549271188 861523968 26704 4294967295 134512640 134569956 3221224400 3221214840 1131271488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 26704 13073 16 0 210317 0
vsize: 841332
[startup+330.18 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 30795 42 0 0 25 0 11 0 549271188 861523968 26746 4294967295 134512640 134569956 3221224400 3221214880 1131491144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 26746 13073 16 0 210317 0
vsize: 841332
[startup+340.18 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 31776 42 0 0 25 0 11 0 549271188 861523968 26805 4294967295 134512640 134569956 3221224400 3221214840 1131271580 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 26805 13073 16 0 210317 0
vsize: 841332
[startup+350.18 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 32758 43 0 0 25 0 11 0 549271188 861523968 26842 4294967295 134512640 134569956 3221224400 3221214784 1131359582 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 26842 13073 16 0 210317 0
vsize: 841332
[startup+360.181 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 33739 43 0 0 24 0 11 0 549271188 861523968 26891 4294967295 134512640 134569956 3221224400 3221214784 1131359013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 26891 13073 16 0 210317 0
vsize: 841332
[startup+370.181 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 34722 43 0 0 25 0 11 0 549271188 861523968 26928 4294967295 134512640 134569956 3221224400 3221214784 1131359345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 26928 13073 16 0 210317 0
vsize: 841332
[startup+380.184 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 35704 44 0 0 25 0 11 0 549271188 861523968 26966 4294967295 134512640 134569956 3221224400 3221214784 1131359345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 26966 13073 16 0 210317 0
vsize: 841332
[startup+390.184 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 36684 44 0 0 18 0 11 0 549271188 861523968 27031 4294967295 134512640 134569956 3221224400 3221214648 1131297159 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 27031 13073 16 0 210317 0
vsize: 841332
[startup+400.198 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 37667 44 0 0 25 0 11 0 549271188 861523968 27091 4294967295 134512640 134569956 3221224400 3221214784 1131359013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27091 13073 16 0 210317 0
vsize: 841332
[startup+410.198 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 38647 45 0 0 25 0 11 0 549271188 861523968 27149 4294967295 134512640 134569956 3221224400 3221214784 1131359461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27149 13073 16 0 210317 0
vsize: 841332
[startup+420.198 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 39629 45 0 0 25 0 11 0 549271188 861523968 27197 4294967295 134512640 134569956 3221224400 3221214784 1131359225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27197 13073 16 0 210317 0
vsize: 841332
[startup+430.2 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 40610 45 0 0 25 0 11 0 549271188 861523968 27258 4294967295 134512640 134569956 3221224400 3221214784 1131359389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27258 13073 16 0 210317 0
vsize: 841332
[startup+440.199 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 41593 46 0 0 25 0 11 0 549271188 861523968 27308 4294967295 134512640 134569956 3221224400 3221214840 1131271509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27308 13073 16 0 210317 0
vsize: 841332
[startup+450.2 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 42576 46 0 0 25 0 11 0 549271188 861523968 27356 4294967295 134512640 134569956 3221224400 3221214840 1131271488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27356 13073 16 0 210317 0
vsize: 841332
[startup+460.201 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 43560 47 0 0 25 0 11 0 549271188 861523968 27405 4294967295 134512640 134569956 3221224400 3221214880 1131491643 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27405 13073 16 0 210317 0
vsize: 841332
[startup+470.204 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 44543 47 0 0 25 0 11 0 549271188 861523968 27455 4294967295 134512640 134569956 3221224400 3221214784 1131359389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27455 13073 16 0 210317 0
vsize: 841332
[startup+480.206 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 45526 47 0 0 25 0 11 0 549271188 861523968 27491 4294967295 134512640 134569956 3221224400 3221214784 1131360279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27491 13073 16 0 210317 0
vsize: 841332
[startup+490.206 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 46498 48 0 0 25 0 11 0 549271188 861523968 27545 4294967295 134512640 134569956 3221224400 3221214784 1131359389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27545 13073 16 0 210317 0
vsize: 841332
[startup+500.207 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 47469 48 0 0 25 0 11 0 549271188 861523968 27581 4294967295 134512640 134569956 3221224400 3221214840 1131271512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27581 13073 16 0 210317 0
vsize: 841332
[startup+510.208 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) S 2850 10614 10613 0 -1 0 18092 0 1 0 48440 48 0 0 25 0 11 0 549271188 861523968 27677 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27677 13073 16 0 210317 0
vsize: 841332
[startup+520.208 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 49420 49 0 0 25 0 11 0 549271188 861523968 27805 4294967295 134512640 134569956 3221224400 3221214880 1131490913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27805 13073 16 0 210317 0
vsize: 841332
[startup+530.209 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 50403 49 0 0 25 0 11 0 549271188 861523968 27861 4294967295 134512640 134569956 3221224400 3221214784 1131359634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27861 13073 16 0 210317 0
vsize: 841332
[startup+540.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 51388 50 0 0 25 0 11 0 549271188 861523968 27899 4294967295 134512640 134569956 3221224400 3221214840 1131271485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27899 13073 16 0 210317 0
vsize: 841332
[startup+550.209 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 52371 50 0 0 25 0 11 0 549271188 861523968 27941 4294967295 134512640 134569956 3221224400 3221214784 1131359586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27941 13073 16 0 210317 0
vsize: 841332
[startup+560.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 53356 50 0 0 25 0 11 0 549271188 861523968 27985 4294967295 134512640 134569956 3221224400 3221214784 1131359636 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 27985 13073 16 0 210317 0
vsize: 841332
[startup+570.21 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 54339 50 0 0 25 0 11 0 549271188 861523968 28030 4294967295 134512640 134569956 3221224400 3221214784 1131359509 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28030 13073 16 0 210317 0
vsize: 841332
[startup+580.314 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 55335 50 0 0 25 0 11 0 549271188 861523968 28068 4294967295 134512640 134569956 3221224400 3221214876 1131358956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28068 13073 16 0 210317 0
vsize: 841332
[startup+590.334 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 56321 50 0 0 25 0 11 0 549271188 861523968 28103 4294967295 134512640 134569956 3221224400 3221214784 1131358973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28103 13073 16 0 210317 0
vsize: 841332
[startup+600.337 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 57306 51 0 0 24 0 11 0 549271188 861523968 28139 4294967295 134512640 134569956 3221224400 3221214760 1131573913 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28139 13073 16 0 210317 0
vsize: 841332
[startup+610.342 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 58291 52 0 0 25 0 11 0 549271188 861523968 28174 4294967295 134512640 134569956 3221224400 3221214876 1131358963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28174 13073 16 0 210317 0
vsize: 841332
[startup+620.342 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 59276 52 0 0 24 0 11 0 549271188 861523968 28210 4294967295 134512640 134569956 3221224400 3221214784 1131359630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28210 13073 16 0 210317 0
vsize: 841332
[startup+630.358 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 60263 52 0 0 25 0 11 0 549271188 861523968 28234 4294967295 134512640 134569956 3221224400 3221214784 1131359905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28234 13073 16 0 210317 0
vsize: 841332
[startup+640.375 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 61249 53 0 0 25 0 11 0 549271188 861523968 28269 4294967295 134512640 134569956 3221224400 3221214784 1131359006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28269 13073 16 0 210317 0
vsize: 841332
[startup+650.378 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 62235 53 0 0 25 0 11 0 549271188 861523968 28304 4294967295 134512640 134569956 3221224400 3221214784 1131359065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28304 13073 16 0 210317 0
vsize: 841332
[startup+660.379 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 63219 54 0 0 25 0 11 0 549271188 861523968 28334 4294967295 134512640 134569956 3221224400 3221214784 1131360149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28334 13073 16 0 210317 0
vsize: 841332
[startup+670.379 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 64203 55 0 0 25 0 11 0 549271188 861523968 28371 4294967295 134512640 134569956 3221224400 3221214784 1131359013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28371 13073 16 0 210317 0
vsize: 841332
[startup+680.38 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 65188 55 0 0 25 0 11 0 549271188 861523968 28411 4294967295 134512640 134569956 3221224400 3221214784 1131359404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28411 13073 16 0 210317 0
vsize: 841332
[startup+690.388 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 66174 56 0 0 25 0 11 0 549271188 861523968 28443 4294967295 134512640 134569956 3221224400 3221214784 1131359013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28443 13073 16 0 210317 0
vsize: 841332
[startup+700.389 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 67159 56 0 0 25 0 11 0 549271188 861523968 28473 4294967295 134512640 134569956 3221224400 3221214784 1131360217 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28473 13073 16 0 210317 0
vsize: 841332
[startup+710.389 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 68143 57 0 0 25 0 11 0 549271188 861523968 28512 4294967295 134512640 134569956 3221224400 3221214784 1131359634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28512 13073 16 0 210317 0
vsize: 841332
[startup+720.389 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 69128 57 0 0 25 0 11 0 549271188 861523968 28548 4294967295 134512640 134569956 3221224400 3221214784 1131359345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28548 13073 16 0 210317 0
vsize: 841332
[startup+730.39 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 70113 58 0 0 25 0 11 0 549271188 861523968 28595 4294967295 134512640 134569956 3221224400 3221214840 1131271564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28595 13073 16 0 210317 0
vsize: 841332
[startup+740.39 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 71098 58 0 0 25 0 11 0 549271188 861523968 28623 4294967295 134512640 134569956 3221224400 3221214784 1131358988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28623 13073 16 0 210317 0
vsize: 841332
[startup+750.391 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 72084 59 0 0 25 0 11 0 549271188 861523968 28658 4294967295 134512640 134569956 3221224400 3221214784 1131359590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28658 13073 16 0 210317 0
vsize: 841332
[startup+760.392 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 73068 59 0 0 25 0 11 0 549271188 861523968 28682 4294967295 134512640 134569956 3221224400 3221214840 1131273719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28682 13073 16 0 210317 0
vsize: 841332
[startup+770.391 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 74053 59 0 0 25 0 11 0 549271188 861523968 28723 4294967295 134512640 134569956 3221224400 3221214784 1131359562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28723 13073 16 0 210317 0
vsize: 841332
[startup+780.393 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 75039 60 0 0 25 0 11 0 549271188 861523968 28747 4294967295 134512640 134569956 3221224400 3221214700 1080203717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28747 13073 16 0 210317 0
vsize: 841332
[startup+790.394 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 76024 60 0 0 25 0 11 0 549271188 861523968 28781 4294967295 134512640 134569956 3221224400 3221214784 1131358988 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28781 13073 16 0 210317 0
vsize: 841332
[startup+800.393 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 77009 60 0 0 24 0 11 0 549271188 861523968 28812 4294967295 134512640 134569956 3221224400 3221214840 1131271564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28812 13073 16 0 210317 0
vsize: 841332
[startup+810.393 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 77995 61 0 0 25 0 11 0 549271188 861523968 28837 4294967295 134512640 134569956 3221224400 3221214784 1131359389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28837 13073 16 0 210317 0
vsize: 841332
[startup+820.394 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 78981 61 0 0 25 0 11 0 549271188 861523968 28872 4294967295 134512640 134569956 3221224400 3221214784 1131358977 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28872 13073 16 0 210317 0
vsize: 841332
[startup+830.394 s]
Raw data (loadavg): 1.08 1.02 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 79966 62 0 0 25 0 11 0 549271188 861523968 28897 4294967295 134512640 134569956 3221224400 3221214880 1131490633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28897 13073 16 0 210317 0
vsize: 841332
[startup+840.395 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 80951 62 0 0 24 0 11 0 549271188 861523968 28924 4294967295 134512640 134569956 3221224400 3221214784 1131359343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28924 13073 16 0 210317 0
vsize: 841332
[startup+850.396 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 81937 63 0 0 25 0 11 0 549271188 861523968 28950 4294967295 134512640 134569956 3221224400 3221214784 1131359446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28950 13073 16 0 210317 0
vsize: 841332
[startup+860.396 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 2863
Raw data (stat): 2851 (java) S 2850 10614 10613 0 -1 0 18092 0 1 0 82922 63 0 0 25 0 11 0 549271188 861523968 28980 4294967295 134512640 134569956 3221224400 3221213488 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 28980 13073 16 0 210317 0
vsize: 841332
[startup+870.396 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 83907 63 0 0 25 0 11 0 549271188 861523968 29021 4294967295 134512640 134569956 3221224400 3221214784 1131359389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29021 13073 16 0 210317 0
vsize: 841332
[startup+880.397 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 84891 64 0 0 25 0 11 0 549271188 861523968 29064 4294967295 134512640 134569956 3221224400 3221214784 1131359389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29064 13073 16 0 210317 0
vsize: 841332
[startup+890.399 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 85876 64 0 0 25 0 11 0 549271188 861523968 29103 4294967295 134512640 134569956 3221224400 3221214880 1131492002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29103 13073 16 0 210317 0
vsize: 841332
[startup+900.398 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 86859 64 0 0 25 0 11 0 549271188 861523968 29147 4294967295 134512640 134569956 3221224400 3221214784 1131360288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29147 13073 16 0 210317 0
vsize: 841332
[startup+910.399 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 87845 65 0 0 25 0 11 0 549271188 861523968 29183 4294967295 134512640 134569956 3221224400 3221214784 1131359345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29183 13073 16 0 210317 0
vsize: 841332
[startup+920.399 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 88828 65 0 0 25 0 11 0 549271188 861523968 29230 4294967295 134512640 134569956 3221224400 3221214784 1131359542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29230 13073 16 0 210317 0
vsize: 841332
[startup+930.4 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 89813 65 0 0 25 0 11 0 549271188 861523968 29272 4294967295 134512640 134569956 3221224400 3221214784 1131360236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29272 13073 16 0 210317 0
vsize: 841332
[startup+940.401 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 90797 66 0 0 24 0 11 0 549271188 861523968 29323 4294967295 134512640 134569956 3221224400 3221214784 1131359901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29323 13073 16 0 210317 0
vsize: 841332
[startup+950.401 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 91782 66 0 0 25 0 11 0 549271188 861523968 29360 4294967295 134512640 134569956 3221224400 3221214784 1131360197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29360 13073 16 0 210317 0
vsize: 841332
[startup+960.401 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 92766 66 0 0 25 0 11 0 549271188 861523968 29397 4294967295 134512640 134569956 3221224400 3221214752 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29397 13073 16 0 210317 0
vsize: 841332
[startup+970.402 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 93750 67 0 0 25 0 11 0 549271188 861523968 29442 4294967295 134512640 134569956 3221224400 3221214784 1131359389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29442 13073 16 0 210317 0
vsize: 841332
[startup+980.402 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 94735 67 0 0 24 0 11 0 549271188 861523968 29478 4294967295 134512640 134569956 3221224400 3221214784 1131359404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29478 13073 16 0 210317 0
vsize: 841332
[startup+990.404 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 95719 67 0 0 25 0 11 0 549271188 861523968 29525 4294967295 134512640 134569956 3221224400 3221214784 1131359859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29525 13073 16 0 210317 0
vsize: 841332
[startup+1000.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 96703 67 0 0 25 0 11 0 549271188 861523968 29561 4294967295 134512640 134569956 3221224400 3221214784 1131359907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29561 13073 16 0 210317 0
vsize: 841332
[startup+1010.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 97687 68 0 0 24 0 11 0 549271188 861523968 29623 4294967295 134512640 134569956 3221224400 3221214840 1131271488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29623 13073 16 0 210317 0
vsize: 841332
[startup+1020.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 98673 68 0 0 25 0 11 0 549271188 861523968 29653 4294967295 134512640 134569956 3221224400 3221214784 1131359345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29653 13073 16 0 210317 0
vsize: 841332
[startup+1030.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 99657 68 0 0 25 0 11 0 549271188 861523968 29694 4294967295 134512640 134569956 3221224400 3221214784 1131359630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29694 13073 16 0 210317 0
vsize: 841332
[startup+1040.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 100642 69 0 0 25 0 11 0 549271188 861523968 29724 4294967295 134512640 134569956 3221224400 3221214840 1131271616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29724 13073 16 0 210317 0
vsize: 841332
[startup+1050.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 101626 69 0 0 25 0 11 0 549271188 861523968 29783 4294967295 134512640 134569956 3221224400 3221214840 1131271635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29783 13073 16 0 210317 0
vsize: 841332
[startup+1060.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 102611 69 0 0 25 0 11 0 549271188 861523968 29819 4294967295 134512640 134569956 3221224400 3221214840 1131271512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29819 13073 16 0 210317 0
vsize: 841332
[startup+1070.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 103596 70 0 0 25 0 11 0 549271188 861523968 29850 4294967295 134512640 134569956 3221224400 3221214840 1131271488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29850 13073 16 0 210317 0
vsize: 841332
[startup+1080.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 104579 71 0 0 25 0 11 0 549271188 861523968 29889 4294967295 134512640 134569956 3221224400 3221214784 1131360422 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29889 13073 16 0 210317 0
vsize: 841332
[startup+1090.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 105563 71 0 0 24 0 11 0 549271188 861523968 29936 4294967295 134512640 134569956 3221224400 3221214784 1131359237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29936 13073 16 0 210317 0
vsize: 841332
[startup+1100.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 106548 71 0 0 25 0 11 0 549271188 861523968 29997 4294967295 134512640 134569956 3221224400 3221214784 1131359626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 29997 13073 16 0 210317 0
vsize: 841332
[startup+1110.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 107532 72 0 0 25 0 11 0 549271188 861523968 30034 4294967295 134512640 134569956 3221224400 3221214784 1131359068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 30034 13073 16 0 210317 0
vsize: 841332
[startup+1120.4 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 108518 72 0 0 25 0 11 0 549271188 861523968 30081 4294967295 134512640 134569956 3221224400 3221214840 1131271488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 30081 13073 16 0 210317 0
vsize: 841332
[startup+1130.41 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 109502 72 0 0 25 0 11 0 549271188 861523968 30112 4294967295 134512640 134569956 3221224400 3221214840 1131271488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 30112 13073 16 0 210317 0
vsize: 841332
[startup+1140.41 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 110486 73 0 0 25 0 11 0 549271188 861523968 30155 4294967295 134512640 134569956 3221224400 3221214792 1131512395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 30155 13073 16 0 210317 0
vsize: 841332
[startup+1150.41 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 111472 73 0 0 25 0 11 0 549271188 861523968 30191 4294967295 134512640 134569956 3221224400 3221214784 1131359901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 30191 13073 16 0 210317 0
vsize: 841332
[startup+1160.41 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 112456 74 0 0 25 0 11 0 549271188 861523968 30227 4294967295 134512640 134569956 3221224400 3221214840 1131271488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 30227 13073 16 0 210317 0
vsize: 841332
[startup+1170.41 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 113442 74 0 0 25 0 11 0 549271188 861523968 30262 4294967295 134512640 134569956 3221224400 3221214784 1131359389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 30262 13073 16 0 210317 0
vsize: 841332
[startup+1180.41 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 114426 74 0 0 25 0 11 0 549271188 861523968 30293 4294967295 134512640 134569956 3221224400 3221214840 1131271485 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 30293 13073 16 0 210317 0
vsize: 841332
[startup+1190.41 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 115411 75 0 0 25 0 11 0 549271188 861523968 30329 4294967295 134512640 134569956 3221224400 3221214784 1131359558 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210333 30329 13073 16 0 210317 0
vsize: 841332
[startup+1200.41 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 116396 75 0 0 24 0 11 0 549271188 861523968 30379 4294967295 134512640 134569956 3221224400 3221214760 1131575612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 30379 13073 16 0 210317 0
vsize: 841332
[startup+1210.41 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 117382 75 0 0 25 0 11 0 549271188 861523968 30406 4294967295 134512640 134569956 3221224400 3221214840 1131271552 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 30406 13073 16 0 210317 0
vsize: 841332
[startup+1220.41 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 118367 75 0 0 25 0 11 0 549271188 861523968 30442 4294967295 134512640 134569956 3221224400 3221214784 1131359389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 30442 13073 16 0 210317 0
vsize: 841332
[startup+1230.41 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 119353 75 0 0 25 0 11 0 549271188 861523968 30474 4294967295 134512640 134569956 3221224400 3221214840 1131271512 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 30474 13073 16 0 210317 0
vsize: 841332
[startup+1240.41 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 2863
Raw data (stat): 2851 (java) R 2850 10614 10613 0 -1 0 18092 0 1 0 120338 75 0 0 25 0 11 0 549271188 861523968 30503 4294967295 134512640 134569956 3221224400 3221214784 1131360251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210333 30503 13073 16 0 210317 0
vsize: 841332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.52 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 2865
Raw data (stat): 2851 (java) Z 2850 10614 10613 0 -1 1036 18092 16218 1 0 120343 75 4201 57 25 0 1 0 549271188 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.52
CPU time (s): 1246.79
CPU user time (s): 1245.45
CPU system time (s): 1.3378
CPU usage (%): 100.506
Max. virtual memory (Kb): 848624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####