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-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-blp-ar98.opb
MD5SUM	53176d06e1e99afe2d28ec1484235311
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	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	81920000000
Number of bits of the biggest number in a constraint	37
Biggest sum of numbers in a constraint	40410384871329
Number of bits of the biggest sum of numbers	46
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	6.22305
Number of variables	18824
Total number of constraints	17064
Number of constraints which are clauses	1
Number of constraints which are cardinality constraints (but not clauses)	16718
Number of constraints which are nor clauses,nor cardinality constraints	345
Minimum length of a constraint	1
Maximum length of a constraint	15827
Trace number 13961

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-04-20 22:28:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19964 boxname=wulflinc5 idbench=1536 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  53176d06e1e99afe2d28ec1484235311  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-blp-ar98.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-blp-ar98.opb
IDLAUNCH: 19964
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        567456 kB
Buffers:         38732 kB
Cached:         402696 kB
SwapCached:       2272 kB
Active:         225784 kB
Inactive:       220796 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        567204 kB
SwapTotal:     2097136 kB
SwapFree:      2094864 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6940 kB
Slab:            14880 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-20 22:48:49 (client local time) WITH STATUS 143 IN 1238.32 SECONDS
stats: 19964 7 1238.32 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-blp-ar98.opb
c reading problem 
c [nbvar=18824]
c [nbconstr=17064]
c time 141.242
c #vars     18824
c #clauses  1473
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.81 0.92 0.90 2/54 10865
Raw data (stat): 10865 (runsolver) R 10864 24215 24214 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 481817380 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.0011 s]
Raw data (loadavg): 0.84 0.93 0.90 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 877 44 0 0 25 0 10 0 481817380 854749184 19393 4294967295 134512640 134569956 3221224400 3221214528 1077558382 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208679 19393 13073 16 0 208663 0
vsize: 834716
[startup+20.0106 s]
Raw data (loadavg): 0.87 0.93 0.90 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 1798 45 0 0 25 0 10 0 481817380 853975040 19733 4294967295 134512640 134569956 3221224400 3221214856 1131169368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 19733 13073 16 0 208474 0
vsize: 833960
[startup+30.0106 s]
Raw data (loadavg): 0.89 0.93 0.90 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 2703 45 0 0 19 0 10 0 481817380 853975040 20226 4294967295 134512640 134569956 3221224400 3221214640 1131237928 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20226 13073 16 0 208474 0
vsize: 833960
[startup+40.0113 s]
Raw data (loadavg): 0.90 0.93 0.90 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 3632 45 0 0 25 0 10 0 481817380 853975040 20462 4294967295 134512640 134569956 3221224400 3221214532 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20462 13073 16 0 208474 0
vsize: 833960
[startup+50.0121 s]
Raw data (loadavg): 0.92 0.93 0.90 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 4576 45 0 0 25 0 10 0 481817380 853975040 20653 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20653 13073 16 0 208474 0
vsize: 833960
[startup+60.0128 s]
Raw data (loadavg): 0.93 0.94 0.90 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 5519 46 0 0 25 0 10 0 481817380 853975040 20783 4294967295 134512640 134569956 3221224400 3221214736 1131142144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20783 13073 16 0 208474 0
vsize: 833960
[startup+70.0126 s]
Raw data (loadavg): 0.94 0.94 0.90 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 6457 46 0 0 25 0 10 0 481817380 853975040 20893 4294967295 134512640 134569956 3221224400 3221214784 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20893 13073 16 0 208474 0
vsize: 833960
[startup+80.0138 s]
Raw data (loadavg): 0.95 0.94 0.90 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 7392 46 0 0 25 0 10 0 481817380 853975040 20998 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 20998 13073 16 0 208474 0
vsize: 833960
[startup+90.0141 s]
Raw data (loadavg): 0.96 0.94 0.90 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 8335 46 0 0 25 0 10 0 481817380 853975040 21172 4294967295 134512640 134569956 3221224400 3221214544 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208490 21172 13073 16 0 208474 0
vsize: 833960
[startup+100.014 s]
Raw data (loadavg): 0.96 0.94 0.91 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 9281 46 0 0 25 0 10 0 481817380 853975040 21260 4294967295 134512640 134569956 3221224400 3221214424 1079276148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21260 13073 16 0 208474 0
vsize: 833960
[startup+110.015 s]
Raw data (loadavg): 0.97 0.94 0.91 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18010 0 1 0 10222 46 0 0 25 0 10 0 481817380 853975040 21345 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208490 21345 13073 16 0 208474 0
vsize: 833960
[startup+120.015 s]
Raw data (loadavg): 0.97 0.94 0.91 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18012 0 1 0 11080 51 0 0 25 0 10 0 481817380 855085056 27738 4294967295 134512640 134569956 3221224400 3221214280 1080019614 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208761 27738 13073 16 0 208745 0
vsize: 835044
[startup+130.015 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 10874
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18012 0 1 0 11957 52 0 0 25 0 10 0 481817380 855085056 28553 4294967295 134512640 134569956 3221224400 3221214812 1080204163 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208761 28553 13073 16 0 208745 0
vsize: 835044
[startup+140.019 s]
Raw data (loadavg): 0.98 0.95 0.91 2/63 10874
Raw data (stat): 10865 (java) S 10864 24215 24214 0 -1 0 18012 0 1 0 12812 53 0 0 25 0 10 0 481817380 855085056 29564 4294967295 134512640 134569956 3221224400 3221213520 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208761 29564 13073 16 0 208745 0
vsize: 835044
[startup+150.02 s]
Raw data (loadavg): 0.98 0.95 0.91 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18054 0 1 0 13718 54 0 0 25 0 11 0 481817380 856662016 30567 4294967295 134512640 134569956 3221224400 3221214752 1131387188 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209146 30567 13073 16 0 209130 0
vsize: 836584
[startup+160.02 s]
Raw data (loadavg): 0.98 0.95 0.91 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18054 0 1 0 14616 54 0 0 25 0 11 0 481817380 856662016 30569 4294967295 134512640 134569956 3221224400 3221214680 1131308257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209146 30569 13073 16 0 209130 0
vsize: 836584
[startup+170.02 s]
Raw data (loadavg): 1.13 0.98 0.92 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18095 0 1 0 15463 54 0 0 25 0 11 0 481817380 859385856 31410 4294967295 134512640 134569956 3221224400 3221214776 1131388135 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 31410 13073 16 0 209795 0
vsize: 839244
[startup+180.02 s]
Raw data (loadavg): 1.11 0.98 0.92 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18096 0 1 0 16367 54 0 0 25 0 11 0 481817380 859385856 31411 4294967295 134512640 134569956 3221224400 3221214680 1131309185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 31411 13073 16 0 209795 0
vsize: 839244
[startup+190.021 s]
Raw data (loadavg): 1.09 0.98 0.92 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18096 0 1 0 17340 55 0 0 25 0 11 0 481817380 859385856 32145 4294967295 134512640 134569956 3221224400 3221214776 1131387254 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 32145 13073 16 0 209795 0
vsize: 839244
[startup+200.021 s]
Raw data (loadavg): 1.15 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18096 0 1 0 18291 55 0 0 25 0 11 0 481817380 859385856 32186 4294967295 134512640 134569956 3221224400 3221214680 1131308345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 32186 13073 16 0 209795 0
vsize: 839244
[startup+210.022 s]
Raw data (loadavg): 1.13 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18096 0 1 0 19265 55 0 0 25 0 11 0 481817380 859385856 32218 4294967295 134512640 134569956 3221224400 3221214776 1131387312 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 32218 13073 16 0 209795 0
vsize: 839244
[startup+220.022 s]
Raw data (loadavg): 1.11 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18096 0 1 0 20241 55 0 0 25 0 11 0 481817380 859385856 32229 4294967295 134512640 134569956 3221224400 3221214776 1131386856 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 32229 13073 16 0 209795 0
vsize: 839244
[startup+230.022 s]
Raw data (loadavg): 1.09 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 21223 55 0 0 25 0 11 0 481817380 859385856 32235 4294967295 134512640 134569956 3221224400 3221214592 1131329992 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 32235 13073 16 0 209795 0
vsize: 839244
[startup+240.023 s]
Raw data (loadavg): 1.08 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 22195 55 0 0 25 0 11 0 481817380 859385856 32317 4294967295 134512640 134569956 3221224400 3221214776 1131387400 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 32317 13073 16 0 209795 0
vsize: 839244
[startup+250.023 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 23162 55 0 0 25 0 11 0 481817380 859385856 32362 4294967295 134512640 134569956 3221224400 3221214776 1131385547 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 32362 13073 16 0 209795 0
vsize: 839244
[startup+260.024 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 24137 55 0 0 25 0 11 0 481817380 859385856 32374 4294967295 134512640 134569956 3221224400 3221214600 1131522420 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 32374 13073 16 0 209795 0
vsize: 839244
[startup+270.025 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 25112 55 0 0 25 0 11 0 481817380 859385856 32381 4294967295 134512640 134569956 3221224400 3221214696 1131623185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 32381 13073 16 0 209795 0
vsize: 839244
[startup+280.024 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 26099 55 0 0 25 0 11 0 481817380 859385856 32544 4294967295 134512640 134569956 3221224400 3221214680 1131308522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 32544 13073 16 0 209795 0
vsize: 839244
[startup+290.025 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18097 0 1 0 27064 56 0 0 25 0 11 0 481817380 859385856 32571 4294967295 134512640 134569956 3221224400 3221214472 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 32571 13073 16 0 209795 0
vsize: 839244
[startup+300.025 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 28042 56 0 0 25 0 11 0 481817380 859385856 32617 4294967295 134512640 134569956 3221224400 3221214648 1131433561 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 32617 13073 16 0 209795 0
vsize: 839244
[startup+310.026 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 29025 56 0 0 25 0 11 0 481817380 863813632 33795 4294967295 134512640 134569956 3221224400 3221214832 1131422727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210892 33795 13073 16 0 210876 0
vsize: 843568
[startup+320.027 s]
Raw data (loadavg): 1.09 1.01 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 30013 56 0 0 25 0 11 0 481817380 862863360 33616 4294967295 134512640 134569956 3221224400 3221214668 1131298161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210660 33616 13073 16 0 210644 0
vsize: 842640
[startup+330.026 s]
Raw data (loadavg): 1.07 1.01 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 31002 56 0 0 25 0 11 0 481817380 860217344 32996 4294967295 134512640 134569956 3221224400 3221214568 1131565284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 32996 13073 16 0 209998 0
vsize: 840056
[startup+340.027 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 31986 56 0 0 25 0 11 0 481817380 860217344 32999 4294967295 134512640 134569956 3221224400 3221214568 1131297047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 32999 13073 16 0 209998 0
vsize: 840056
[startup+350.026 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 32972 57 0 0 25 0 11 0 481817380 860217344 32999 4294967295 134512640 134569956 3221224400 3221214568 1131297286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210014 32999 13073 16 0 209998 0
vsize: 840056
[startup+360.028 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 33957 57 0 0 25 0 11 0 481817380 860217344 32999 4294967295 134512640 134569956 3221224400 3221214568 1131297627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 32999 13073 16 0 209998 0
vsize: 840056
[startup+370.028 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 34937 57 0 0 25 0 11 0 481817380 860217344 32999 4294967295 134512640 134569956 3221224400 3221214672 1131627626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 32999 13073 16 0 209998 0
vsize: 840056
[startup+380.028 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 35921 57 0 0 25 0 11 0 481817380 860217344 33000 4294967295 134512640 134569956 3221224400 3221214568 1131565207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 33000 13073 16 0 209998 0
vsize: 840056
[startup+390.029 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 36906 57 0 0 25 0 11 0 481817380 860217344 33140 4294967295 134512640 134569956 3221224400 3221214680 1131623303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 33140 13073 16 0 209998 0
vsize: 840056
[startup+400.029 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 37892 58 0 0 25 0 11 0 481817380 860217344 33182 4294967295 134512640 134569956 3221224400 3221214568 1131565298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 33182 13073 16 0 209998 0
vsize: 840056
[startup+410.029 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 38882 58 0 0 25 0 11 0 481817380 860217344 33226 4294967295 134512640 134569956 3221224400 3221214680 1131623296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 33226 13073 16 0 209998 0
vsize: 840056
[startup+420.037 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 39871 58 0 0 25 0 11 0 481817380 860217344 33270 4294967295 134512640 134569956 3221224400 3221214568 1131566266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 33270 13073 16 0 209998 0
vsize: 840056
[startup+430.042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 40862 59 0 0 25 0 11 0 481817380 860217344 33291 4294967295 134512640 134569956 3221224400 3221214568 1131565389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 33291 13073 16 0 209998 0
vsize: 840056
[startup+440.042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 41850 59 0 0 25 0 11 0 481817380 860217344 33311 4294967295 134512640 134569956 3221224400 3221214680 1131623281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 33311 13073 16 0 209998 0
vsize: 840056
[startup+450.042 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 42839 59 0 0 25 0 11 0 481817380 860217344 33331 4294967295 134512640 134569956 3221224400 3221214568 1131564843 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 33331 13073 16 0 209998 0
vsize: 840056
[startup+460.05 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 43828 59 0 0 25 0 11 0 481817380 860217344 33352 4294967295 134512640 134569956 3221224400 3221214568 1131565339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 33352 13073 16 0 209998 0
vsize: 840056
[startup+470.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 44812 60 0 0 25 0 11 0 481817380 860217344 33371 4294967295 134512640 134569956 3221224400 3221214696 1131623303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 33371 13073 16 0 209998 0
vsize: 840056
[startup+480.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 45793 60 0 0 25 0 11 0 481817380 860217344 33388 4294967295 134512640 134569956 3221224400 3221214688 1131627616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 33388 13073 16 0 209998 0
vsize: 840056
[startup+490.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 46772 60 0 0 25 0 11 0 481817380 860217344 33421 4294967295 134512640 134569956 3221224400 3221214696 1131623303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210014 33421 13073 16 0 209998 0
vsize: 840056
[startup+500.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 47753 60 0 0 25 0 11 0 481817380 859385856 33261 4294967295 134512640 134569956 3221224400 3221214584 1131564824 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 33261 13073 16 0 209795 0
vsize: 839244
[startup+510.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 48730 61 0 0 25 0 11 0 481817380 859385856 33291 4294967295 134512640 134569956 3221224400 3221214584 1131297286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 33291 13073 16 0 209795 0
vsize: 839244
[startup+520.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 49703 61 0 0 25 0 11 0 481817380 859385856 33319 4294967295 134512640 134569956 3221224400 3221214584 1131297313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 33319 13073 16 0 209795 0
vsize: 839244
[startup+530.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 50680 61 0 0 25 0 11 0 481817380 859385856 33355 4294967295 134512640 134569956 3221224400 3221214696 1131623180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 33355 13073 16 0 209795 0
vsize: 839244
[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 51651 62 0 0 25 0 11 0 481817380 859385856 33433 4294967295 134512640 134569956 3221224400 3221214584 1131297286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 33433 13073 16 0 209795 0
vsize: 839244
[startup+550.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 52623 62 0 0 25 0 11 0 481817380 859385856 33480 4294967295 134512640 134569956 3221224400 3221214696 1131623180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 33480 13073 16 0 209795 0
vsize: 839244
[startup+560.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 53594 63 0 0 25 0 11 0 481817380 859385856 33563 4294967295 134512640 134569956 3221224400 3221214728 1131278848 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 33563 13073 16 0 209795 0
vsize: 839244
[startup+570.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 54572 63 0 0 25 0 11 0 481817380 859385856 33636 4294967295 134512640 134569956 3221224400 3221214696 1131623292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 33636 13073 16 0 209795 0
vsize: 839244
[startup+580.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 55543 63 0 0 25 0 11 0 481817380 859385856 33718 4294967295 134512640 134569956 3221224400 3221214584 1131297286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 33718 13073 16 0 209795 0
vsize: 839244
[startup+590.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 56516 63 0 0 25 0 11 0 481817380 859385856 33801 4294967295 134512640 134569956 3221224400 3221214584 1131297313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 33801 13073 16 0 209795 0
vsize: 839244
[startup+600.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 57488 64 0 0 24 0 11 0 481817380 859385856 33892 4294967295 134512640 134569956 3221224400 3221214544 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209811 33892 13073 16 0 209795 0
vsize: 839244
[startup+610.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 58467 64 0 0 25 0 11 0 481817380 859385856 33925 4294967295 134512640 134569956 3221224400 3221214584 1131566370 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 33925 13073 16 0 209795 0
vsize: 839244
[startup+620.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 59442 64 0 0 25 0 11 0 481817380 859385856 33978 4294967295 134512640 134569956 3221224400 3221214664 1131294511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 33978 13073 16 0 209795 0
vsize: 839244
[startup+630.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 60402 64 0 0 25 0 11 0 481817380 859385856 34143 4294967295 134512640 134569956 3221224400 3221214632 1131308445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 34143 13073 16 0 209795 0
vsize: 839244
[startup+640.059 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 61372 65 0 0 25 0 11 0 481817380 859385856 34296 4294967295 134512640 134569956 3221224400 3221214776 1131387208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 34296 13073 16 0 209795 0
vsize: 839244
[startup+650.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 62362 65 0 0 25 0 11 0 481817380 859385856 34354 4294967295 134512640 134569956 3221224400 3221214832 1131422499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 34354 13073 16 0 209795 0
vsize: 839244
[startup+660.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 63348 65 0 0 25 0 11 0 481817380 859385856 34360 4294967295 134512640 134569956 3221224400 3221214772 1131294368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 34360 13073 16 0 209795 0
vsize: 839244
[startup+670.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 64326 65 0 0 25 0 11 0 481817380 859385856 34375 4294967295 134512640 134569956 3221224400 3221214664 1131295113 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 34375 13073 16 0 209795 0
vsize: 839244
[startup+680.061 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 65303 65 0 0 25 0 11 0 481817380 859385856 34375 4294967295 134512640 134569956 3221224400 3221214776 1131387421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 34375 13073 16 0 209795 0
vsize: 839244
[startup+690.062 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 66284 66 0 0 25 0 11 0 481817380 859385856 34445 4294967295 134512640 134569956 3221224400 3221214732 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209811 34445 13073 16 0 209795 0
vsize: 839244
[startup+700.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 67273 66 0 0 25 0 11 0 481817380 865677312 35908 4294967295 134512640 134569956 3221224400 3221214744 1131468717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211347 35908 13073 16 0 211331 0
vsize: 845388
[startup+710.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 68268 67 0 0 25 0 11 0 481817380 863580160 35622 4294967295 134512640 134569956 3221224400 3221214828 1131422735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35622 13073 16 0 210819 0
vsize: 843340
[startup+720.063 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 69265 67 0 0 25 0 11 0 481817380 863580160 35624 4294967295 134512640 134569956 3221224400 3221214712 1131610900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35624 13073 16 0 210819 0
vsize: 843340
[startup+730.064 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 70256 67 0 0 25 0 11 0 481817380 863580160 35576 4294967295 134512640 134569956 3221224400 3221214728 1131289042 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35576 13073 16 0 210819 0
vsize: 843340
[startup+740.065 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 71236 67 0 0 25 0 11 0 481817380 863580160 35576 4294967295 134512640 134569956 3221224400 3221214720 1131418706 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35576 13073 16 0 210819 0
vsize: 843340
[startup+750.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 72212 67 0 0 25 0 11 0 481817380 863580160 35576 4294967295 134512640 134569956 3221224400 3221214704 1131434579 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35576 13073 16 0 210819 0
vsize: 843340
[startup+760.066 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 73197 67 0 0 25 0 11 0 481817380 863580160 35585 4294967295 134512640 134569956 3221224400 3221214568 1131297491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210835 35585 13073 16 0 210819 0
vsize: 843340
[startup+770.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 74194 68 0 0 25 0 11 0 481817380 863580160 35585 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210835 35585 13073 16 0 210819 0
vsize: 843340
[startup+780.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 75183 68 0 0 25 0 11 0 481817380 863580160 35586 4294967295 134512640 134569956 3221224400 3221214568 1131297070 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35586 13073 16 0 210819 0
vsize: 843340
[startup+790.067 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 76174 68 0 0 25 0 11 0 481817380 863580160 35651 4294967295 134512640 134569956 3221224400 3221214680 1131623168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210835 35651 13073 16 0 210819 0
vsize: 843340
[startup+800.068 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 77163 68 0 0 25 0 11 0 481817380 863580160 35670 4294967295 134512640 134569956 3221224400 3221214568 1131567079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35670 13073 16 0 210819 0
vsize: 843340
[startup+810.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 78153 68 0 0 24 0 11 0 481817380 863580160 35670 4294967295 134512640 134569956 3221224400 3221214800 1131468503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35670 13073 16 0 210819 0
vsize: 843340
[startup+820.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 79143 68 0 0 25 0 11 0 481817380 863580160 35670 4294967295 134512640 134569956 3221224400 3221214680 1131623168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35670 13073 16 0 210819 0
vsize: 843340
[startup+830.069 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 80133 68 0 0 25 0 11 0 481817380 863580160 35670 4294967295 134512640 134569956 3221224400 3221214680 1131623292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35670 13073 16 0 210819 0
vsize: 843340
[startup+840.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 81117 68 0 0 25 0 11 0 481817380 863580160 35755 4294967295 134512640 134569956 3221224400 3221214800 1131468973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35755 13073 16 0 210819 0
vsize: 843340
[startup+850.071 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 82100 68 0 0 25 0 11 0 481817380 863580160 35814 4294967295 134512640 134569956 3221224400 3221214760 1131383292 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35814 13073 16 0 210819 0
vsize: 843340
[startup+860.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 83096 68 0 0 25 0 11 0 481817380 863580160 35834 4294967295 134512640 134569956 3221224400 3221214680 1131623183 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35834 13073 16 0 210819 0
vsize: 843340
[startup+870.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 84091 68 0 0 25 0 11 0 481817380 863580160 35844 4294967295 134512640 134569956 3221224400 3221214644 1131601571 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35844 13073 16 0 210819 0
vsize: 843340
[startup+880.072 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 85082 68 0 0 25 0 11 0 481817380 863580160 35855 4294967295 134512640 134569956 3221224400 3221214832 1131610900 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35855 13073 16 0 210819 0
vsize: 843340
[startup+890.083 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 86069 68 0 0 25 0 11 0 481817380 863580160 35884 4294967295 134512640 134569956 3221224400 3221214624 1131461789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35884 13073 16 0 210819 0
vsize: 843340
[startup+900.084 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 87061 68 0 0 25 0 11 0 481817380 863580160 35884 4294967295 134512640 134569956 3221224400 3221214664 1131294399 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35884 13073 16 0 210819 0
vsize: 843340
[startup+910.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) S 10864 24215 24214 0 -1 0 18098 0 1 0 88043 68 0 0 25 0 11 0 481817380 863580160 35945 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35945 13073 16 0 210819 0
vsize: 843340
[startup+920.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 89030 68 0 0 25 0 11 0 481817380 863580160 35965 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35965 13073 16 0 210819 0
vsize: 843340
[startup+930.089 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 90028 68 0 0 25 0 11 0 481817380 863580160 35965 4294967295 134512640 134569956 3221224400 3221214680 1131623183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210835 35965 13073 16 0 210819 0
vsize: 843340
[startup+940.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 91014 68 0 0 25 0 11 0 481817380 863580160 35965 4294967295 134512640 134569956 3221224400 3221214680 1131623296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35965 13073 16 0 210819 0
vsize: 843340
[startup+950.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 92010 68 0 0 25 0 11 0 481817380 863580160 35965 4294967295 134512640 134569956 3221224400 3221214568 1131565354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 35965 13073 16 0 210819 0
vsize: 843340
[startup+960.091 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 92997 68 0 0 25 0 11 0 481817380 863580160 36015 4294967295 134512640 134569956 3221224400 3221214568 1131564846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36015 13073 16 0 210819 0
vsize: 843340
[startup+970.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 93986 68 0 0 25 0 11 0 481817380 863580160 36015 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36015 13073 16 0 210819 0
vsize: 843340
[startup+980.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 94973 68 0 0 25 0 11 0 481817380 863580160 36015 4294967295 134512640 134569956 3221224400 3221214624 1131289217 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36015 13073 16 0 210819 0
vsize: 843340
[startup+990.092 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 95963 69 0 0 25 0 11 0 481817380 863580160 36071 4294967295 134512640 134569956 3221224400 3221214680 1131623303 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210835 36071 13073 16 0 210819 0
vsize: 843340
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 96955 69 0 0 25 0 11 0 481817380 863580160 36099 4294967295 134512640 134569956 3221224400 3221214568 1131297286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36099 13073 16 0 210819 0
vsize: 843340
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 97951 69 0 0 25 0 11 0 481817380 863580160 36124 4294967295 134512640 134569956 3221224400 3221214680 1131623296 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36124 13073 16 0 210819 0
vsize: 843340
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 98949 69 0 0 25 0 11 0 481817380 863580160 36141 4294967295 134512640 134569956 3221224400 3221214668 1131298161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36141 13073 16 0 210819 0
vsize: 843340
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 99947 69 0 0 25 0 11 0 481817380 863580160 36141 4294967295 134512640 134569956 3221224400 3221214568 1131297172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36141 13073 16 0 210819 0
vsize: 843340
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 100937 69 0 0 25 0 11 0 481817380 863580160 36141 4294967295 134512640 134569956 3221224400 3221214656 1131377337 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36141 13073 16 0 210819 0
vsize: 843340
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 101930 69 0 0 25 0 11 0 481817380 863580160 36141 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36141 13073 16 0 210819 0
vsize: 843340
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 102922 69 0 0 25 0 11 0 481817380 863580160 36141 4294967295 134512640 134569956 3221224400 3221214576 1131297313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36141 13073 16 0 210819 0
vsize: 843340
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 103915 69 0 0 25 0 11 0 481817380 863580160 36141 4294967295 134512640 134569956 3221224400 3221214568 1131297471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36141 13073 16 0 210819 0
vsize: 843340
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 104910 69 0 0 25 0 11 0 481817380 863580160 36152 4294967295 134512640 134569956 3221224400 3221214676 1131372936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36152 13073 16 0 210819 0
vsize: 843340
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 105906 69 0 0 25 0 11 0 481817380 863580160 36152 4294967295 134512640 134569956 3221224400 3221214576 1131297313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36152 13073 16 0 210819 0
vsize: 843340
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 106904 69 0 0 25 0 11 0 481817380 863580160 36170 4294967295 134512640 134569956 3221224400 3221214576 1131297313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36170 13073 16 0 210819 0
vsize: 843340
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 107902 69 0 0 25 0 11 0 481817380 863580160 36170 4294967295 134512640 134569956 3221224400 3221214568 1131297286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36170 13073 16 0 210819 0
vsize: 843340
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 108894 69 0 0 25 0 11 0 481817380 863580160 36170 4294967295 134512640 134569956 3221224400 3221214800 1131468275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36170 13073 16 0 210819 0
vsize: 843340
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 109886 69 0 0 25 0 11 0 481817380 863580160 36170 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36170 13073 16 0 210819 0
vsize: 843340
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 110879 69 0 0 25 0 11 0 481817380 863580160 36170 4294967295 134512640 134569956 3221224400 3221214568 1131297029 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36170 13073 16 0 210819 0
vsize: 843340
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 111873 69 0 0 25 0 11 0 481817380 863580160 36170 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36170 13073 16 0 210819 0
vsize: 843340
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 112867 69 0 0 25 0 11 0 481817380 863580160 36178 4294967295 134512640 134569956 3221224400 3221214568 1131297625 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36178 13073 16 0 210819 0
vsize: 843340
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 113864 69 0 0 25 0 11 0 481817380 863580160 36178 4294967295 134512640 134569956 3221224400 3221214680 1131623303 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36178 13073 16 0 210819 0
vsize: 843340
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 114862 69 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214568 1131297123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36196 13073 16 0 210819 0
vsize: 843340
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 115860 69 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214568 1131564833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36196 13073 16 0 210819 0
vsize: 843340
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 116855 69 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214680 1131623180 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36196 13073 16 0 210819 0
vsize: 843340
[startup+1210.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 117848 70 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214576 1131297002 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36196 13073 16 0 210819 0
vsize: 843340
[startup+1220.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 118841 70 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214568 1131566218 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36196 13073 16 0 210819 0
vsize: 843340
[startup+1230.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 119835 70 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214672 1131627619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36196 13073 16 0 210819 0
vsize: 843340
[startup+1240.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 10875
Raw data (stat): 10865 (java) R 10864 24215 24214 0 -1 0 18098 0 1 0 120829 70 0 0 25 0 11 0 481817380 863580160 36196 4294967295 134512640 134569956 3221224400 3221214680 1131623281 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210835 36196 13073 16 0 210819 0
vsize: 843340
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.21 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 10877
Raw data (stat): 10865 (java) Z 10864 24215 24214 0 -1 1036 18098 15383 1 0 120833 70 2875 52 25 0 1 0 481817380 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.21
CPU time (s): 1238.32
CPU user time (s): 1237.09
CPU system time (s): 1.22481
CPU usage (%): 99.8472
Max. virtual memory (Kb): 845388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####