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/miplib/normalized-mps-v2-20-10-cracpb1.opb
MD5SUM	098fe473d82d5f7d4121673eb775be76
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	22199
Optimality of the best value was proved	NO
Number of terms in the objective function	572
Biggest coefficient in the objective function	5000
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	547769
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	5000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	547769
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	30.1944
Number of variables	572
Total number of constraints	716
Number of constraints which are clauses	3
Number of constraints which are cardinality constraints (but not clauses)	644
Number of constraints which are nor clauses,nor cardinality constraints	69
Minimum length of a constraint	1
Maximum length of a constraint	518
Trace number 17069

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-21 09:36:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11761 boxname=wulflinc31 idbench=905 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  098fe473d82d5f7d4121673eb775be76  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-cracpb1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-cracpb1.opb
IDLAUNCH: 11761
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        650464 kB
Buffers:         32444 kB
Cached:         324084 kB
SwapCached:        540 kB
Active:         120548 kB
Inactive:       237944 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        650212 kB
SwapTotal:     2097892 kB
SwapFree:      2096468 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5100 kB
Slab:            20096 kB
Committed_AS:    63480 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 09:56:50 (client local time) WITH STATUS 143 IN 1236.03 SECONDS
stats: 11761 7 1236.03 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-cracpb1.opb
c reading problem 
c [nbvar=572]
c [nbconstr=716]
c time 2.691
c #vars     572
c #clauses  215
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=270000
c Current CPU time (ms) : 3.492
c starts	: 1
c conflicts	: 0
c decisions	: 309
c propagations	: 572
c inspects	: 1265
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=261286
c Current CPU time (ms) : 4.818
c starts	: 2
c conflicts	: 1
c decisions	: 618
c propagations	: 1146
c inspects	: 1639
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 2
c 
c CURRENT OPTIMUM=63382
c Current CPU time (ms) : 55.137
c starts	: 4
c conflicts	: 235
c decisions	: 2295
c propagations	: 8429
c inspects	: 36120
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 235
c root simplifications	: 6
c 
c CURRENT OPTIMUM=45448
c Current CPU time (ms) : 58.138
c starts	: 5
c conflicts	: 244
c decisions	: 2454
c propagations	: 9249
c inspects	: 45586
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 244
c root simplifications	: 7
#### 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.92 0.98 0.99 2/54 24965
Raw data (stat): 24965 (runsolver) R 24964 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544033940 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0005 s]
Raw data (loadavg): 1.32 1.07 1.02 4/64 24977
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18078 3 1 0 587 38 0 0 25 0 11 0 544033940 863772672 21116 4294967295 134512640 134569956 3221224400 3221214800 1131345415 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210882 21116 13073 16 0 210866 0
vsize: 843528
[startup+20.0016 s]
Raw data (loadavg): 1.35 1.08 1.03 3/64 24977
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18079 3 1 0 1515 39 0 0 25 0 11 0 544033940 867917824 22753 4294967295 134512640 134569956 3221224400 3221214608 1131280053 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211894 22753 13073 16 0 211878 0
vsize: 847576
[startup+30.0019 s]
Raw data (loadavg): 1.30 1.08 1.02 2/64 24977
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18079 3 1 0 2439 39 0 0 25 0 11 0 544033940 865013760 22758 4294967295 134512640 134569956 3221224400 3221214680 1131216516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211185 22758 13073 16 0 211169 0
vsize: 844740
[startup+40.0056 s]
Raw data (loadavg): 1.25 1.07 1.02 2/64 24977
Raw data (stat): 24965 (java) S 24964 23176 23175 0 -1 0 18080 3 1 0 3359 39 0 0 25 0 11 0 544033940 864948224 23125 4294967295 134512640 134569956 3221224400 3221213360 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 23125 13073 16 0 211153 0
vsize: 844676
[startup+50.0074 s]
Raw data (loadavg): 1.21 1.07 1.02 2/64 24977
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 4287 39 0 0 25 0 11 0 544033940 864948224 23261 4294967295 134512640 134569956 3221224400 3221214720 1131375143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 23261 13073 16 0 211153 0
vsize: 844676
[startup+60.0077 s]
Raw data (loadavg): 1.18 1.07 1.02 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 5211 39 0 0 25 0 11 0 544033940 864948224 23581 4294967295 134512640 134569956 3221224400 3221214760 1131561544 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 23581 13073 16 0 211153 0
vsize: 844676
[startup+70.009 s]
Raw data (loadavg): 1.15 1.06 1.02 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 6158 39 0 0 25 0 11 0 544033940 864948224 23753 4294967295 134512640 134569956 3221224400 3221214528 1131336457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 23753 13073 16 0 211153 0
vsize: 844676
[startup+80.0101 s]
Raw data (loadavg): 1.13 1.06 1.02 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 7111 39 0 0 25 0 11 0 544033940 864948224 23921 4294967295 134512640 134569956 3221224400 3221214708 1080203730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 23921 13073 16 0 211153 0
vsize: 844676
[startup+90.0105 s]
Raw data (loadavg): 1.11 1.06 1.02 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 8066 39 0 0 25 0 11 0 544033940 864948224 24146 4294967295 134512640 134569956 3221224400 3221214528 1131402658 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 24146 13073 16 0 211153 0
vsize: 844676
[startup+100.011 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 9030 39 0 0 25 0 11 0 544033940 864948224 24263 4294967295 134512640 134569956 3221224400 3221214544 1131460902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 24263 13073 16 0 211153 0
vsize: 844676
[startup+110.012 s]
Raw data (loadavg): 1.08 1.05 1.02 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 9999 39 0 0 25 0 11 0 544033940 864948224 24310 4294967295 134512640 134569956 3221224400 3221214732 1080203708 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 24310 13073 16 0 211153 0
vsize: 844676
[startup+120.012 s]
Raw data (loadavg): 1.06 1.05 1.02 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 10954 40 0 0 25 0 11 0 544033940 864948224 24443 4294967295 134512640 134569956 3221224400 3221214680 1131216881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 24443 13073 16 0 211153 0
vsize: 844676
[startup+130.013 s]
Raw data (loadavg): 1.05 1.05 1.01 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 11918 40 0 0 25 0 11 0 544033940 864948224 24547 4294967295 134512640 134569956 3221224400 3221214760 1131228256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 24547 13073 16 0 211153 0
vsize: 844676
[startup+140.014 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 12880 40 0 0 25 0 11 0 544033940 864948224 24641 4294967295 134512640 134569956 3221224400 3221214544 1131460908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 24641 13073 16 0 211153 0
vsize: 844676
[startup+150.014 s]
Raw data (loadavg): 1.04 1.05 1.01 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 13849 40 0 0 25 0 11 0 544033940 864948224 24749 4294967295 134512640 134569956 3221224400 3221214544 1131462007 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 24749 13073 16 0 211153 0
vsize: 844676
[startup+160.014 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 14817 40 0 0 25 0 11 0 544033940 864948224 24880 4294967295 134512640 134569956 3221224400 3221214776 1131283663 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 24880 13073 16 0 211153 0
vsize: 844676
[startup+170.015 s]
Raw data (loadavg): 1.03 1.04 1.01 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 15784 40 0 0 25 0 11 0 544033940 864948224 24945 4294967295 134512640 134569956 3221224400 3221214680 1131216924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 24945 13073 16 0 211153 0
vsize: 844676
[startup+180.016 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 16751 40 0 0 25 0 11 0 544033940 864948224 25046 4294967295 134512640 134569956 3221224400 3221214544 1131461653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 25046 13073 16 0 211153 0
vsize: 844676
[startup+190.018 s]
Raw data (loadavg): 1.02 1.04 1.01 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 17724 40 0 0 25 0 11 0 544033940 864948224 25120 4294967295 134512640 134569956 3221224400 3221214776 1131283882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 25120 13073 16 0 211153 0
vsize: 844676
[startup+200.018 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 18697 40 0 0 25 0 11 0 544033940 864948224 25184 4294967295 134512640 134569956 3221224400 3221214496 1080217008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 25184 13073 16 0 211153 0
vsize: 844676
[startup+210.018 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 19668 40 0 0 25 0 11 0 544033940 864948224 25278 4294967295 134512640 134569956 3221224400 3221214720 1131376933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 25278 13073 16 0 211153 0
vsize: 844676
[startup+220.019 s]
Raw data (loadavg): 1.01 1.03 1.01 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 20644 41 0 0 25 0 11 0 544033940 864948224 25383 4294967295 134512640 134569956 3221224400 3221214776 1131283882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211169 25383 13073 16 0 211153 0
vsize: 844676
[startup+230.02 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 21617 41 0 0 25 0 11 0 544033940 864948224 25427 4294967295 134512640 134569956 3221224400 3221214512 1131259371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 25427 13073 16 0 211153 0
vsize: 844676
[startup+240.021 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 22589 41 0 0 25 0 11 0 544033940 864948224 25535 4294967295 134512640 134569956 3221224400 3221214680 1131216990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 25535 13073 16 0 211153 0
vsize: 844676
[startup+250.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 23563 41 0 0 25 0 11 0 544033940 864948224 25603 4294967295 134512640 134569956 3221224400 3221214776 1131283882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 25603 13073 16 0 211153 0
vsize: 844676
[startup+260.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 24536 41 0 0 25 0 11 0 544033940 864948224 25724 4294967295 134512640 134569956 3221224400 3221214544 1131459444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 25724 13073 16 0 211153 0
vsize: 844676
[startup+270.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 25519 41 0 0 25 0 11 0 544033940 864948224 25774 4294967295 134512640 134569956 3221224400 3221214360 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 25774 13073 16 0 211153 0
vsize: 844676
[startup+280.023 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 26496 41 0 0 25 0 11 0 544033940 864948224 25851 4294967295 134512640 134569956 3221224400 3221214608 1131467011 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 25851 13073 16 0 211153 0
vsize: 844676
[startup+290.025 s]
Raw data (loadavg): 1.08 1.04 1.01 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 27473 41 0 0 25 0 11 0 544033940 864948224 25903 4294967295 134512640 134569956 3221224400 3221214600 1131401542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 25903 13073 16 0 211153 0
vsize: 844676
[startup+300.025 s]
Raw data (loadavg): 1.07 1.04 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 28440 41 0 0 24 0 11 0 544033940 864948224 26006 4294967295 134512640 134569956 3221224400 3221214776 1131288037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26006 13073 16 0 211153 0
vsize: 844676
[startup+310.026 s]
Raw data (loadavg): 1.06 1.04 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 29406 41 0 0 25 0 11 0 544033940 864948224 26040 4294967295 134512640 134569956 3221224400 3221214680 1131216820 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26040 13073 16 0 211153 0
vsize: 844676
[startup+320.026 s]
Raw data (loadavg): 1.05 1.04 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 30370 41 0 0 25 0 11 0 544033940 864948224 26121 4294967295 134512640 134569956 3221224400 3221214572 1079721552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26121 13073 16 0 211153 0
vsize: 844676
[startup+330.027 s]
Raw data (loadavg): 1.04 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18080 3 1 0 31341 41 0 0 25 0 11 0 544033940 864948224 26262 4294967295 134512640 134569956 3221224400 3221214720 1131376193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26262 13073 16 0 211153 0
vsize: 844676
[startup+340.028 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 32319 41 0 0 25 0 11 0 544033940 864948224 26297 4294967295 134512640 134569956 3221224400 3221214600 1131401143 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26297 13073 16 0 211153 0
vsize: 844676
[startup+350.028 s]
Raw data (loadavg): 1.03 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 33291 41 0 0 25 0 11 0 544033940 864948224 26432 4294967295 134512640 134569956 3221224400 3221214680 1131217009 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26432 13073 16 0 211153 0
vsize: 844676
[startup+360.029 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 34264 41 0 0 25 0 11 0 544033940 864948224 26513 4294967295 134512640 134569956 3221224400 3221214732 1080204260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26513 13073 16 0 211153 0
vsize: 844676
[startup+370.031 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) S 24964 23176 23175 0 -1 0 18081 3 1 0 35235 41 0 0 25 0 11 0 544033940 864948224 26530 4294967295 134512640 134569956 3221224400 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26530 13073 16 0 211153 0
vsize: 844676
[startup+380.032 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 36201 41 0 0 25 0 11 0 544033940 864948224 26633 4294967295 134512640 134569956 3221224400 3221214512 1131259463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26633 13073 16 0 211153 0
vsize: 844676
[startup+390.033 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 37179 41 0 0 25 0 11 0 544033940 864948224 26690 4294967295 134512640 134569956 3221224400 3221214776 1131283947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26690 13073 16 0 211153 0
vsize: 844676
[startup+400.033 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 38155 41 0 0 25 0 11 0 544033940 864948224 26813 4294967295 134512640 134569956 3221224400 3221214640 1131418647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26813 13073 16 0 211153 0
vsize: 844676
[startup+410.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 39133 41 0 0 25 0 11 0 544033940 864948224 26898 4294967295 134512640 134569956 3221224400 3221214776 1131283947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26898 13073 16 0 211153 0
vsize: 844676
[startup+420.034 s]
Raw data (loadavg): 1.01 1.02 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 40116 41 0 0 24 0 11 0 544033940 864948224 26950 4294967295 134512640 134569956 3221224400 3221214504 1131259244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26950 13073 16 0 211153 0
vsize: 844676
[startup+430.036 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 41105 41 0 0 25 0 11 0 544033940 864948224 26992 4294967295 134512640 134569956 3221224400 3221214416 1131550219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 26992 13073 16 0 211153 0
vsize: 844676
[startup+440.037 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 42095 42 0 0 25 0 11 0 544033940 864948224 27025 4294967295 134512640 134569956 3221224400 3221214544 1131459435 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211169 27025 13073 16 0 211153 0
vsize: 844676
[startup+450.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 43087 42 0 0 24 0 11 0 544033940 864948224 27083 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27083 13073 16 0 211153 0
vsize: 844676
[startup+460.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 44075 42 0 0 25 0 11 0 544033940 864948224 27111 4294967295 134512640 134569956 3221224400 3221214804 1131330059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27111 13073 16 0 211153 0
vsize: 844676
[startup+470.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 45059 42 0 0 25 0 11 0 544033940 864948224 27122 4294967295 134512640 134569956 3221224400 3221214552 1079721474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27122 13073 16 0 211153 0
vsize: 844676
[startup+480.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 46043 42 0 0 25 0 11 0 544033940 864948224 27122 4294967295 134512640 134569956 3221224400 3221214512 1131258991 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27122 13073 16 0 211153 0
vsize: 844676
[startup+490.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 47030 42 0 0 25 0 11 0 544033940 864948224 27122 4294967295 134512640 134569956 3221224400 3221214576 1131325205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27122 13073 16 0 211153 0
vsize: 844676
[startup+500.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 48013 42 0 0 25 0 11 0 544033940 864948224 27199 4294967295 134512640 134569956 3221224400 3221214520 1131549811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27199 13073 16 0 211153 0
vsize: 844676
[startup+510.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 49002 42 0 0 25 0 11 0 544033940 864948224 27294 4294967295 134512640 134569956 3221224400 3221214512 1131259341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27294 13073 16 0 211153 0
vsize: 844676
[startup+520.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 49994 42 0 0 25 0 11 0 544033940 864948224 27323 4294967295 134512640 134569956 3221224400 3221214512 1131259540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27323 13073 16 0 211153 0
vsize: 844676
[startup+530.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 50984 42 0 0 25 0 11 0 544033940 864948224 27347 4294967295 134512640 134569956 3221224400 3221214600 1131400362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27347 13073 16 0 211153 0
vsize: 844676
[startup+540.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 51970 42 0 0 25 0 11 0 544033940 864948224 27359 4294967295 134512640 134569956 3221224400 3221214808 1131344469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27359 13073 16 0 211153 0
vsize: 844676
[startup+550.05 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) S 24964 23176 23175 0 -1 0 18081 3 1 0 52957 42 0 0 25 0 11 0 544033940 864948224 27423 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27423 13073 16 0 211153 0
vsize: 844676
[startup+560.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 53942 42 0 0 25 0 11 0 544033940 864948224 27423 4294967295 134512640 134569956 3221224400 3221214512 1131259619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27423 13073 16 0 211153 0
vsize: 844676
[startup+570.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 54927 42 0 0 25 0 11 0 544033940 864948224 27423 4294967295 134512640 134569956 3221224400 3221214512 1131259570 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27423 13073 16 0 211153 0
vsize: 844676
[startup+580.051 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 55913 42 0 0 25 0 11 0 544033940 864948224 27535 4294967295 134512640 134569956 3221224400 3221214512 1131259549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27535 13073 16 0 211153 0
vsize: 844676
[startup+590.053 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 56904 42 0 0 25 0 11 0 544033940 864948224 27608 4294967295 134512640 134569956 3221224400 3221214600 1131402586 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27608 13073 16 0 211153 0
vsize: 844676
[startup+600.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 57900 42 0 0 25 0 11 0 544033940 864948224 27608 4294967295 134512640 134569956 3221224400 3221214572 1131599628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27608 13073 16 0 211153 0
vsize: 844676
[startup+610.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 58892 42 0 0 25 0 11 0 544033940 864948224 27615 4294967295 134512640 134569956 3221224400 3221214448 1131550172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211169 27615 13073 16 0 211153 0
vsize: 844676
[startup+620.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 59886 43 0 0 25 0 11 0 544033940 864948224 27673 4294967295 134512640 134569956 3221224400 3221214456 1080217021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27673 13073 16 0 211153 0
vsize: 844676
[startup+630.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 60876 43 0 0 25 0 11 0 544033940 864948224 27673 4294967295 134512640 134569956 3221224400 3221214640 1131419956 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27673 13073 16 0 211153 0
vsize: 844676
[startup+640.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 61867 43 0 0 25 0 11 0 544033940 864948224 27721 4294967295 134512640 134569956 3221224400 3221214512 1131258989 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211169 27721 13073 16 0 211153 0
vsize: 844676
[startup+650.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 62863 43 0 0 25 0 11 0 544033940 864948224 27721 4294967295 134512640 134569956 3221224400 3221214360 1080217237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27721 13073 16 0 211153 0
vsize: 844676
[startup+660.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 63858 43 0 0 25 0 11 0 544033940 864948224 27721 4294967295 134512640 134569956 3221224400 3221214528 1131599854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27721 13073 16 0 211153 0
vsize: 844676
[startup+670.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 64857 43 0 0 25 0 11 0 544033940 864948224 27721 4294967295 134512640 134569956 3221224400 3221214520 1131549502 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27721 13073 16 0 211153 0
vsize: 844676
[startup+680.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 65847 43 0 0 25 0 11 0 544033940 864948224 27721 4294967295 134512640 134569956 3221224400 3221214512 1131259371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27721 13073 16 0 211153 0
vsize: 844676
[startup+690.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 66838 43 0 0 25 0 11 0 544033940 864948224 27721 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211169 27721 13073 16 0 211153 0
vsize: 844676
[startup+700.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 67830 43 0 0 25 0 11 0 544033940 864948224 27870 4294967295 134512640 134569956 3221224400 3221214596 1131551948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27870 13073 16 0 211153 0
vsize: 844676
[startup+710.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 68823 43 0 0 25 0 11 0 544033940 864948224 27870 4294967295 134512640 134569956 3221224400 3221214448 1131550176 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27870 13073 16 0 211153 0
vsize: 844676
[startup+720.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 69814 43 0 0 24 0 11 0 544033940 864948224 27922 4294967295 134512640 134569956 3221224400 3221214528 1131599836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27922 13073 16 0 211153 0
vsize: 844676
[startup+730.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 70810 43 0 0 25 0 11 0 544033940 864948224 27922 4294967295 134512640 134569956 3221224400 3221214544 1131461694 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27922 13073 16 0 211153 0
vsize: 844676
[startup+740.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 71804 43 0 0 25 0 11 0 544033940 864948224 27948 4294967295 134512640 134569956 3221224400 3221214512 1131259078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27948 13073 16 0 211153 0
vsize: 844676
[startup+750.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 72800 43 0 0 25 0 11 0 544033940 864948224 27992 4294967295 134512640 134569956 3221224400 3221214512 1131259390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27992 13073 16 0 211153 0
vsize: 844676
[startup+760.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 73797 43 0 0 25 0 11 0 544033940 864948224 27992 4294967295 134512640 134569956 3221224400 3221214568 1131546225 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27992 13073 16 0 211153 0
vsize: 844676
[startup+770.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 74795 43 0 0 25 0 11 0 544033940 864948224 27992 4294967295 134512640 134569956 3221224400 3221214480 1131689237 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27992 13073 16 0 211153 0
vsize: 844676
[startup+780.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 75794 43 0 0 25 0 11 0 544033940 864948224 27992 4294967295 134512640 134569956 3221224400 3221214512 1131259619 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27992 13073 16 0 211153 0
vsize: 844676
[startup+790.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 76792 43 0 0 25 0 11 0 544033940 864948224 27992 4294967295 134512640 134569956 3221224400 3221214512 1131259540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27992 13073 16 0 211153 0
vsize: 844676
[startup+800.063 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 77789 43 0 0 25 0 11 0 544033940 864948224 27992 4294967295 134512640 134569956 3221224400 3221214672 1131280639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27992 13073 16 0 211153 0
vsize: 844676
[startup+810.064 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 78783 43 0 0 25 0 11 0 544033940 864948224 27992 4294967295 134512640 134569956 3221224400 3221214564 1131546194 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27992 13073 16 0 211153 0
vsize: 844676
[startup+820.065 s]
Raw data (loadavg): 1.07 1.02 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 79774 43 0 0 25 0 11 0 544033940 864948224 27992 4294967295 134512640 134569956 3221224400 3221214608 1131467511 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27992 13073 16 0 211153 0
vsize: 844676
[startup+830.065 s]
Raw data (loadavg): 1.06 1.02 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 80765 44 0 0 25 0 11 0 544033940 864948224 27992 4294967295 134512640 134569956 3221224400 3221214520 1131550017 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 27992 13073 16 0 211153 0
vsize: 844676
[startup+840.067 s]
Raw data (loadavg): 1.05 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 81754 44 0 0 25 0 11 0 544033940 864948224 27992 4294967295 134512640 134569956 3221224400 3221214776 1131283947 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211169 27992 13073 16 0 211153 0
vsize: 844676
[startup+850.067 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 82742 44 0 0 25 0 11 0 544033940 864948224 28064 4294967295 134512640 134569956 3221224400 3221214528 1131599868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28064 13073 16 0 211153 0
vsize: 844676
[startup+860.067 s]
Raw data (loadavg): 1.04 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 83730 44 0 0 25 0 11 0 544033940 864948224 28066 4294967295 134512640 134569956 3221224400 3221214512 1131259471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28066 13073 16 0 211153 0
vsize: 844676
[startup+870.068 s]
Raw data (loadavg): 1.03 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 84719 44 0 0 25 0 11 0 544033940 864948224 28143 4294967295 134512640 134569956 3221224400 3221214488 1131556869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28143 13073 16 0 211153 0
vsize: 844676
[startup+880.068 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 85711 44 0 0 25 0 11 0 544033940 864948224 28166 4294967295 134512640 134569956 3221224400 3221214512 1131259540 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28166 13073 16 0 211153 0
vsize: 844676
[startup+890.07 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 86703 44 0 0 25 0 11 0 544033940 864948224 28182 4294967295 134512640 134569956 3221224400 3221214512 1131259431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28182 13073 16 0 211153 0
vsize: 844676
[startup+900.071 s]
Raw data (loadavg): 1.02 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 87697 44 0 0 25 0 11 0 544033940 864948224 28226 4294967295 134512640 134569956 3221224400 3221214360 1080217202 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211169 28226 13073 16 0 211153 0
vsize: 844676
[startup+910.072 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 88690 44 0 0 25 0 11 0 544033940 864948224 28259 4294967295 134512640 134569956 3221224400 3221214640 1131420014 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28259 13073 16 0 211153 0
vsize: 844676
[startup+920.073 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 89684 44 0 0 25 0 11 0 544033940 864948224 28259 4294967295 134512640 134569956 3221224400 3221214512 1131259561 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28259 13073 16 0 211153 0
vsize: 844676
[startup+930.073 s]
Raw data (loadavg): 1.01 1.01 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 90677 44 0 0 25 0 11 0 544033940 864948224 28259 4294967295 134512640 134569956 3221224400 3221214600 1131471793 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28259 13073 16 0 211153 0
vsize: 844676
[startup+940.075 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 91670 44 0 0 25 0 11 0 544033940 864948224 28259 4294967295 134512640 134569956 3221224400 3221214512 1131259584 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28259 13073 16 0 211153 0
vsize: 844676
[startup+950.076 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 92664 44 0 0 25 0 11 0 544033940 864948224 28259 4294967295 134512640 134569956 3221224400 3221214344 1076461606 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28259 13073 16 0 211153 0
vsize: 844676
[startup+960.075 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 93658 44 0 0 25 0 11 0 544033940 864948224 28360 4294967295 134512640 134569956 3221224400 3221214876 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28360 13073 16 0 211153 0
vsize: 844676
[startup+970.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 94653 44 0 0 25 0 11 0 544033940 864948224 28364 4294967295 134512640 134569956 3221224400 3221214456 1080216969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28364 13073 16 0 211153 0
vsize: 844676
[startup+980.077 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 95649 44 0 0 25 0 11 0 544033940 864948224 28366 4294967295 134512640 134569956 3221224400 3221214520 1131549811 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28366 13073 16 0 211153 0
vsize: 844676
[startup+990.078 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 96645 45 0 0 25 0 11 0 544033940 864948224 28366 4294967295 134512640 134569956 3221224400 3221214480 1131689094 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28366 13073 16 0 211153 0
vsize: 844676
[startup+1000.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 97638 45 0 0 25 0 11 0 544033940 864948224 28366 4294967295 134512640 134569956 3221224400 3221214680 1131217087 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28366 13073 16 0 211153 0
vsize: 844676
[startup+1010.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 98626 45 0 0 25 0 11 0 544033940 864948224 28366 4294967295 134512640 134569956 3221224400 3221214680 1131217114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211169 28366 13073 16 0 211153 0
vsize: 844676
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 99611 45 0 0 25 0 11 0 544033940 864948224 28366 4294967295 134512640 134569956 3221224400 3221214512 1131259078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28366 13073 16 0 211153 0
vsize: 844676
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 100592 45 0 0 25 0 11 0 544033940 864948224 28464 4294967295 134512640 134569956 3221224400 3221214572 1080217099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28464 13073 16 0 211153 0
vsize: 844676
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 101572 45 0 0 25 0 11 0 544033940 864948224 28494 4294967295 134512640 134569956 3221224400 3221214592 1079721474 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28494 13073 16 0 211153 0
vsize: 844676
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 102557 45 0 0 25 0 11 0 544033940 864948224 28523 4294967295 134512640 134569956 3221224400 3221214512 1131259371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28523 13073 16 0 211153 0
vsize: 844676
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 103544 45 0 0 25 0 11 0 544033940 864948224 28578 4294967295 134512640 134569956 3221224400 3221214600 1131402249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28578 13073 16 0 211153 0
vsize: 844676
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 104528 45 0 0 25 0 11 0 544033940 864948224 28602 4294967295 134512640 134569956 3221224400 3221214600 1131402439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28602 13073 16 0 211153 0
vsize: 844676
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 105517 45 0 0 25 0 11 0 544033940 864948224 28707 4294967295 134512640 134569956 3221224400 3221214480 1131689187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28707 13073 16 0 211153 0
vsize: 844676
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 106510 45 0 0 25 0 11 0 544033940 864948224 28752 4294967295 134512640 134569956 3221224400 3221214776 1131283947 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28752 13073 16 0 211153 0
vsize: 844676
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 107497 45 0 0 25 0 11 0 544033940 864948224 28755 4294967295 134512640 134569956 3221224400 3221214680 1131216935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28755 13073 16 0 211153 0
vsize: 844676
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 108479 45 0 0 25 0 11 0 544033940 864948224 28831 4294967295 134512640 134569956 3221224400 3221214624 1131419936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28831 13073 16 0 211153 0
vsize: 844676
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 109464 45 0 0 25 0 11 0 544033940 864948224 28835 4294967295 134512640 134569956 3221224400 3221214592 1131168857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28835 13073 16 0 211153 0
vsize: 844676
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 110451 45 0 0 25 0 11 0 544033940 864948224 28835 4294967295 134512640 134569956 3221224400 3221214600 1131471691 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28835 13073 16 0 211153 0
vsize: 844676
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 111441 45 0 0 25 0 11 0 544033940 864948224 28904 4294967295 134512640 134569956 3221224400 3221214520 1131678831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28904 13073 16 0 211153 0
vsize: 844676
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 112427 45 0 0 25 0 11 0 544033940 864948224 28958 4294967295 134512640 134569956 3221224400 3221214616 1131327362 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28958 13073 16 0 211153 0
vsize: 844676
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 113412 45 0 0 25 0 11 0 544033940 864948224 28977 4294967295 134512640 134569956 3221224400 3221214744 1131397285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 28977 13073 16 0 211153 0
vsize: 844676
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 114402 45 0 0 25 0 11 0 544033940 864948224 29006 4294967295 134512640 134569956 3221224400 3221214600 1131471773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 29006 13073 16 0 211153 0
vsize: 844676
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 115392 45 0 0 25 0 11 0 544033940 864948224 29033 4294967295 134512640 134569956 3221224400 3221214552 1131546202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 29033 13073 16 0 211153 0
vsize: 844676
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 116378 45 0 0 25 0 11 0 544033940 864948224 29033 4294967295 134512640 134569956 3221224400 3221214680 1131217095 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 29033 13073 16 0 211153 0
vsize: 844676
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 117356 45 0 0 25 0 11 0 544033940 864948224 29138 4294967295 134512640 134569956 3221224400 3221214640 1131418850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 29138 13073 16 0 211153 0
vsize: 844676
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 118337 45 0 0 25 0 11 0 544033940 864948224 29227 4294967295 134512640 134569956 3221224400 3221214296 1131566929 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 29227 13073 16 0 211153 0
vsize: 844676
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 119317 45 0 0 24 0 11 0 544033940 864948224 29249 4294967295 134512640 134569956 3221224400 3221214680 1131217079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 29249 13073 16 0 211153 0
vsize: 844676
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 24979
Raw data (stat): 24965 (java) R 24964 23176 23175 0 -1 0 18081 3 1 0 120295 45 0 0 25 0 11 0 544033940 864948224 29276 4294967295 134512640 134569956 3221224400 3221214680 1131216445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211169 29276 13073 16 0 211153 0
vsize: 844676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 24981
Raw data (stat): 24965 (java) Z 24964 23176 23175 0 -1 1036 18081 13936 1 0 120296 45 3221 38 25 0 1 0 544033940 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1230.16
CPU time (s): 1236.03
CPU user time (s): 1235.18
CPU system time (s): 0.84887
CPU usage (%): 100.477
Max. virtual memory (Kb): 847576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####