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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-van.opb
MD5SUM63aca17b11625a83c7613ee93b3a2e23
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 192
Biggest coefficient in the objective function 2427002644
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 319999999936
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 28349428224
Number of bits of the biggest number in a constraint 35
Biggest sum of numbers in a constraint 319999999936
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark139.971
Number of variables98496
Total number of constraints39811
Number of constraints which are clauses128
Number of constraints which are cardinality constraints (but not clauses)195
Number of constraints which are nor clauses,nor cardinality constraints39488
Minimum length of a constraint1
Maximum length of a constraint361

Trace number 14199

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-04-20 23:14:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20341 boxname=wulflinc27 idbench=1565 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  63aca17b11625a83c7613ee93b3a2e23  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-van.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-van.opb
IDLAUNCH: 20341
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        532408 kB
Buffers:         33688 kB
Cached:         435172 kB
SwapCached:        136 kB
Active:         228640 kB
Inactive:       242636 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        532156 kB
SwapTotal:     2097892 kB
SwapFree:      2097324 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            25240 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-20 23:36:17 (client local time) WITH STATUS 143 IN 1331.37 SECONDS
stats: 20341 7 1331.37 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-van.opb
c reading problem 
c [nbvar=98496]
c [nbconstr=39811]
#### 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.97 0.92 0.92 2/54 6742
Raw data (stat): 6742 (runsolver) R 6741 18865 18864 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 540311520 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.0003 s]
Raw data (loadavg): 0.97 0.92 0.92 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 881 40 0 0 25 0 10 0 540311520 854237184 19532 4294967295 134512640 134569956 3221224400 3221214416 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208554 19532 13073 16 0 208538 0
vsize: 834216
[startup+20.0015 s]
Raw data (loadavg): 0.97 0.93 0.92 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 1773 41 0 0 25 0 10 0 540311520 854204416 20111 4294967295 134512640 134569956 3221224400 3221214696 1131225243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208546 20111 13073 16 0 208530 0
vsize: 834184
[startup+30.0023 s]
Raw data (loadavg): 1.06 0.95 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 2656 41 0 0 25 0 10 0 540311520 854286336 20675 4294967295 134512640 134569956 3221224400 3221214464 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208566 20675 13073 16 0 208550 0
vsize: 834264
[startup+40.0063 s]
Raw data (loadavg): 1.05 0.95 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 3574 41 0 0 25 0 10 0 540311520 854138880 20959 4294967295 134512640 134569956 3221224400 3221214464 1076461336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 20959 13073 16 0 208514 0
vsize: 834120
[startup+50.0205 s]
Raw data (loadavg): 1.04 0.95 0.93 3/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 4498 42 0 0 25 0 10 0 540311520 854138880 21154 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 21154 13073 16 0 208514 0
vsize: 834120
[startup+60.0203 s]
Raw data (loadavg): 1.03 0.95 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 5413 42 0 0 25 0 10 0 540311520 854138880 21316 4294967295 134512640 134569956 3221224400 3221214808 1131308172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 21316 13073 16 0 208514 0
vsize: 834120
[startup+70.0202 s]
Raw data (loadavg): 1.03 0.95 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 6330 42 0 0 25 0 10 0 540311520 854138880 21454 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 21454 13073 16 0 208514 0
vsize: 834120
[startup+80.0252 s]
Raw data (loadavg): 1.02 0.95 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 7259 42 0 0 25 0 10 0 540311520 854138880 21659 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 21659 13073 16 0 208514 0
vsize: 834120
[startup+90.041 s]
Raw data (loadavg): 1.02 0.95 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 8192 42 0 0 25 0 10 0 540311520 854138880 21769 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 21769 13073 16 0 208514 0
vsize: 834120
[startup+100.044 s]
Raw data (loadavg): 1.02 0.95 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 9124 42 0 0 25 0 10 0 540311520 854138880 21873 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 21873 13073 16 0 208514 0
vsize: 834120
[startup+110.047 s]
Raw data (loadavg): 1.01 0.95 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 10055 42 0 0 24 0 10 0 540311520 854138880 21973 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 21973 13073 16 0 208514 0
vsize: 834120
[startup+120.048 s]
Raw data (loadavg): 1.01 0.95 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 10989 43 0 0 25 0 10 0 540311520 854138880 22062 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 22062 13073 16 0 208514 0
vsize: 834120
[startup+130.049 s]
Raw data (loadavg): 1.01 0.95 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 11924 43 0 0 25 0 10 0 540311520 854138880 22146 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 22146 13073 16 0 208514 0
vsize: 834120
[startup+140.049 s]
Raw data (loadavg): 1.01 0.96 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 12857 43 0 0 25 0 10 0 540311520 854138880 22226 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 22226 13073 16 0 208514 0
vsize: 834120
[startup+150.051 s]
Raw data (loadavg): 1.01 0.96 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 13791 43 0 0 25 0 10 0 540311520 854138880 22303 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 22303 13073 16 0 208514 0
vsize: 834120
[startup+160.052 s]
Raw data (loadavg): 1.00 0.96 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 14725 43 0 0 25 0 10 0 540311520 854138880 22377 4294967295 134512640 134569956 3221224400 3221214768 1131044787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 22377 13073 16 0 208514 0
vsize: 834120
[startup+170.052 s]
Raw data (loadavg): 1.00 0.96 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 15654 43 0 0 24 0 10 0 540311520 854138880 22452 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 22452 13073 16 0 208514 0
vsize: 834120
[startup+180.054 s]
Raw data (loadavg): 1.00 0.96 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 16587 43 0 0 25 0 10 0 540311520 854138880 22520 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 22520 13073 16 0 208514 0
vsize: 834120
[startup+190.054 s]
Raw data (loadavg): 1.00 0.96 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 17500 43 0 0 24 0 10 0 540311520 854138880 22586 4294967295 134512640 134569956 3221224400 3221214484 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 22586 13073 16 0 208514 0
vsize: 834120
[startup+200.059 s]
Raw data (loadavg): 1.00 0.96 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 18419 43 0 0 25 0 10 0 540311520 854138880 22806 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 22806 13073 16 0 208514 0
vsize: 834120
[startup+210.06 s]
Raw data (loadavg): 1.00 0.96 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 19345 43 0 0 24 0 10 0 540311520 854138880 22877 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 22877 13073 16 0 208514 0
vsize: 834120
[startup+220.061 s]
Raw data (loadavg): 1.00 0.96 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 20275 44 0 0 24 0 10 0 540311520 854138880 22939 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 22939 13073 16 0 208514 0
vsize: 834120
[startup+230.062 s]
Raw data (loadavg): 1.00 0.96 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 21204 44 0 0 25 0 10 0 540311520 854138880 22997 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 22997 13073 16 0 208514 0
vsize: 834120
[startup+240.063 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 22132 44 0 0 25 0 10 0 540311520 854138880 23055 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23055 13073 16 0 208514 0
vsize: 834120
[startup+250.064 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 23060 44 0 0 25 0 10 0 540311520 854138880 23111 4294967295 134512640 134569956 3221224400 3221214272 1131173481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23111 13073 16 0 208514 0
vsize: 834120
[startup+260.064 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 23987 44 0 0 25 0 10 0 540311520 854138880 23165 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23165 13073 16 0 208514 0
vsize: 834120
[startup+270.065 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 24914 44 0 0 25 0 10 0 540311520 854138880 23219 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23219 13073 16 0 208514 0
vsize: 834120
[startup+280.067 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 25840 44 0 0 25 0 10 0 540311520 854138880 23272 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23272 13073 16 0 208514 0
vsize: 834120
[startup+290.07 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 26762 44 0 0 24 0 10 0 540311520 854138880 23327 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23327 13073 16 0 208514 0
vsize: 834120
[startup+300.071 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 27687 44 0 0 24 0 10 0 540311520 854138880 23377 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23377 13073 16 0 208514 0
vsize: 834120
[startup+310.072 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 28611 44 0 0 25 0 10 0 540311520 854138880 23428 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23428 13073 16 0 208514 0
vsize: 834120
[startup+320.073 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 29535 45 0 0 25 0 10 0 540311520 854138880 23476 4294967295 134512640 134569956 3221224400 3221214796 1080203551 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23476 13073 16 0 208514 0
vsize: 834120
[startup+330.074 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 30458 45 0 0 25 0 10 0 540311520 854138880 23524 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23524 13073 16 0 208514 0
vsize: 834120
[startup+340.074 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 31380 45 0 0 25 0 10 0 540311520 854138880 23571 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23571 13073 16 0 208514 0
vsize: 834120
[startup+350.076 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 32302 45 0 0 25 0 10 0 540311520 854138880 23618 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23618 13073 16 0 208514 0
vsize: 834120
[startup+360.076 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 33224 45 0 0 25 0 10 0 540311520 854138880 23663 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23663 13073 16 0 208514 0
vsize: 834120
[startup+370.077 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 34145 45 0 0 25 0 10 0 540311520 854138880 23708 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23708 13073 16 0 208514 0
vsize: 834120
[startup+380.078 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 35064 46 0 0 25 0 10 0 540311520 854138880 23753 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23753 13073 16 0 208514 0
vsize: 834120
[startup+390.079 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 35984 46 0 0 25 0 10 0 540311520 854138880 23796 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23796 13073 16 0 208514 0
vsize: 834120
[startup+400.078 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 36903 46 0 0 25 0 10 0 540311520 854138880 23839 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23839 13073 16 0 208514 0
vsize: 834120
[startup+410.079 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 37822 46 0 0 25 0 10 0 540311520 854138880 23882 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23882 13073 16 0 208514 0
vsize: 834120
[startup+420.08 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 38741 46 0 0 25 0 10 0 540311520 854138880 23925 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23925 13073 16 0 208514 0
vsize: 834120
[startup+430.08 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 39658 46 0 0 24 0 10 0 540311520 854138880 23966 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 23966 13073 16 0 208514 0
vsize: 834120
[startup+440.081 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 40575 47 0 0 24 0 10 0 540311520 854138880 24007 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 24007 13073 16 0 208514 0
vsize: 834120
[startup+450.085 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 41493 47 0 0 25 0 10 0 540311520 854138880 24046 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 24046 13073 16 0 208514 0
vsize: 834120
[startup+460.086 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 42413 47 0 0 25 0 10 0 540311520 854138880 24085 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 24085 13073 16 0 208514 0
vsize: 834120
[startup+470.086 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 43328 47 0 0 25 0 10 0 540311520 854138880 24125 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24125 13073 16 0 208514 0
vsize: 834120
[startup+480.088 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 44243 47 0 0 25 0 10 0 540311520 854138880 24164 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24164 13073 16 0 208514 0
vsize: 834120
[startup+490.088 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 45159 47 0 0 25 0 10 0 540311520 854138880 24202 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24202 13073 16 0 208514 0
vsize: 834120
[startup+500.089 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 46072 48 0 0 25 0 10 0 540311520 854138880 24240 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24240 13073 16 0 208514 0
vsize: 834120
[startup+510.089 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 46985 48 0 0 25 0 10 0 540311520 854138880 24278 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24278 13073 16 0 208514 0
vsize: 834120
[startup+520.09 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 47897 48 0 0 25 0 10 0 540311520 854138880 24316 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24316 13073 16 0 208514 0
vsize: 834120
[startup+530.091 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 48810 49 0 0 25 0 10 0 540311520 854138880 24353 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24353 13073 16 0 208514 0
vsize: 834120
[startup+540.093 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 49721 49 0 0 24 0 10 0 540311520 854138880 24389 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24389 13073 16 0 208514 0
vsize: 834120
[startup+550.092 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 50638 50 0 0 25 0 10 0 540311520 854138880 24425 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24425 13073 16 0 208514 0
vsize: 834120
[startup+560.093 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 51549 50 0 0 25 0 10 0 540311520 854138880 24461 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24461 13073 16 0 208514 0
vsize: 834120
[startup+570.094 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 52458 50 0 0 25 0 10 0 540311520 854138880 24496 4294967295 134512640 134569956 3221224400 3221214040 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24496 13073 16 0 208514 0
vsize: 834120
[startup+580.095 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 53368 50 0 0 25 0 10 0 540311520 854138880 24532 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24532 13073 16 0 208514 0
vsize: 834120
[startup+590.095 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 54277 50 0 0 24 0 10 0 540311520 854138880 24567 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24567 13073 16 0 208514 0
vsize: 834120
[startup+600.096 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 55191 51 0 0 25 0 10 0 540311520 854138880 24599 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24599 13073 16 0 208514 0
vsize: 834120
[startup+610.097 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 56098 51 0 0 25 0 10 0 540311520 854138880 24634 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24634 13073 16 0 208514 0
vsize: 834120
[startup+620.097 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 57006 52 0 0 25 0 10 0 540311520 854138880 24668 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24668 13073 16 0 208514 0
vsize: 834120
[startup+630.098 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 57919 52 0 0 25 0 10 0 540311520 854138880 24700 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24700 13073 16 0 208514 0
vsize: 834120
[startup+640.099 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 58827 52 0 0 25 0 10 0 540311520 854138880 24733 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24733 13073 16 0 208514 0
vsize: 834120
[startup+650.099 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 59733 52 0 0 24 0 10 0 540311520 854138880 24766 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24766 13073 16 0 208514 0
vsize: 834120
[startup+660.1 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 60645 52 0 0 25 0 10 0 540311520 854138880 24797 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24797 13073 16 0 208514 0
vsize: 834120
[startup+670.1 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 61551 53 0 0 25 0 10 0 540311520 854138880 24829 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24829 13073 16 0 208514 0
vsize: 834120
[startup+680.101 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 62462 53 0 0 25 0 10 0 540311520 854138880 24860 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24860 13073 16 0 208514 0
vsize: 834120
[startup+690.102 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 63366 53 0 0 25 0 10 0 540311520 854138880 24892 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 24892 13073 16 0 208514 0
vsize: 834120
[startup+700.105 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 64264 54 0 0 24 0 10 0 540311520 854138880 25474 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25474 13073 16 0 208514 0
vsize: 834120
[startup+710.106 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 65179 54 0 0 25 0 10 0 540311520 854138880 25474 4294967295 134512640 134569956 3221224400 3221214272 1131173373 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25474 13073 16 0 208514 0
vsize: 834120
[startup+720.107 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 66076 54 0 0 24 0 10 0 540311520 854138880 25478 4294967295 134512640 134569956 3221224400 3221214256 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25478 13073 16 0 208514 0
vsize: 834120
[startup+730.107 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 66976 54 0 0 25 0 10 0 540311520 854138880 25519 4294967295 134512640 134569956 3221224400 3221214752 1131240611 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25519 13073 16 0 208514 0
vsize: 834120
[startup+740.108 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 67877 55 0 0 23 0 10 0 540311520 854138880 25548 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25548 13073 16 0 208514 0
vsize: 834120
[startup+750.109 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 68771 55 0 0 19 0 10 0 540311520 854138880 25579 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25579 13073 16 0 208514 0
vsize: 834120
[startup+760.11 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 69671 55 0 0 22 0 10 0 540311520 854138880 25608 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25608 13073 16 0 208514 0
vsize: 834120
[startup+770.111 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 70564 55 0 0 18 0 10 0 540311520 854138880 25639 4294967295 134512640 134569956 3221224400 3221214040 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25639 13073 16 0 208514 0
vsize: 834120
[startup+780.112 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 71463 56 0 0 20 0 10 0 540311520 854138880 25668 4294967295 134512640 134569956 3221224400 3221213944 1076874552 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25668 13073 16 0 208514 0
vsize: 834120
[startup+790.113 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 72361 56 0 0 22 0 10 0 540311520 854138880 25696 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25696 13073 16 0 208514 0
vsize: 834120
[startup+800.114 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 73253 56 0 0 18 0 10 0 540311520 854138880 25726 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25726 13073 16 0 208514 0
vsize: 834120
[startup+810.115 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 74151 57 0 0 20 0 10 0 540311520 854138880 25754 4294967295 134512640 134569956 3221224400 3221214272 1080019614 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25754 13073 16 0 208514 0
vsize: 834120
[startup+820.119 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 75045 57 0 0 23 0 10 0 540311520 854138880 25782 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25782 13073 16 0 208514 0
vsize: 834120
[startup+830.12 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 75939 57 0 0 19 0 10 0 540311520 854138880 25811 4294967295 134512640 134569956 3221224400 3221214272 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 25811 13073 16 0 208514 0
vsize: 834120
[startup+840.12 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 76835 57 0 0 21 0 10 0 540311520 854138880 25838 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 25838 13073 16 0 208514 0
vsize: 834120
[startup+850.124 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 77725 57 0 0 23 0 10 0 540311520 854138880 25866 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 25866 13073 16 0 208514 0
vsize: 834120
[startup+860.125 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 78618 58 0 0 19 0 10 0 540311520 854138880 25894 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 25894 13073 16 0 208514 0
vsize: 834120
[startup+870.126 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 79513 58 0 0 20 0 10 0 540311520 854138880 25921 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 25921 13073 16 0 208514 0
vsize: 834120
[startup+880.127 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 80406 58 0 0 22 0 10 0 540311520 854138880 25948 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 25948 13073 16 0 208514 0
vsize: 834120
[startup+890.131 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 81299 58 0 0 21 0 10 0 540311520 854138880 25975 4294967295 134512640 134569956 3221224400 3221213408 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 25975 13073 16 0 208514 0
vsize: 834120
[startup+900.131 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 82187 58 0 0 18 0 10 0 540311520 854138880 26003 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26003 13073 16 0 208514 0
vsize: 834120
[startup+910.132 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 83080 58 0 0 19 0 10 0 540311520 854138880 26029 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26029 13073 16 0 208514 0
vsize: 834120
[startup+920.135 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 83973 58 0 0 20 0 10 0 540311520 854138880 26055 4294967295 134512640 134569956 3221224400 3221214272 1131173548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26055 13073 16 0 208514 0
vsize: 834120
[startup+930.136 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 84865 58 0 0 22 0 10 0 540311520 854138880 26082 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26082 13073 16 0 208514 0
vsize: 834120
[startup+940.139 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 85752 58 0 0 23 0 10 0 540311520 854138880 26108 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26108 13073 16 0 208514 0
vsize: 834120
[startup+950.14 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 86642 58 0 0 18 0 10 0 540311520 854138880 26136 4294967295 134512640 134569956 3221224400 3221214768 1131045363 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26136 13073 16 0 208514 0
vsize: 834120
[startup+960.141 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 87532 58 0 0 19 0 10 0 540311520 854138880 26162 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26162 13073 16 0 208514 0
vsize: 834120
[startup+970.142 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 88423 59 0 0 19 0 10 0 540311520 854138880 26187 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26187 13073 16 0 208514 0
vsize: 834120
[startup+980.143 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 89313 59 0 0 20 0 10 0 540311520 854138880 26216 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26216 13073 16 0 208514 0
vsize: 834120
[startup+990.144 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 90205 59 0 0 22 0 10 0 540311520 854138880 26250 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26250 13073 16 0 208514 0
vsize: 834120
[startup+1000.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 91094 59 0 0 22 0 10 0 540311520 854138880 26289 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26289 13073 16 0 208514 0
vsize: 834120
[startup+1010.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 91982 59 0 0 18 0 10 0 540311520 854138880 26316 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26316 13073 16 0 208514 0
vsize: 834120
[startup+1020.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 92876 59 0 0 20 0 10 0 540311520 854138880 26344 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26344 13073 16 0 208514 0
vsize: 834120
[startup+1030.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 93771 59 0 0 21 0 10 0 540311520 854138880 26381 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26381 13073 16 0 208514 0
vsize: 834120
[startup+1040.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 94666 59 0 0 22 0 10 0 540311520 854138880 26405 4294967295 134512640 134569956 3221224400 3221214256 1077558368 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208530 26405 13073 16 0 208514 0
vsize: 834120
[startup+1050.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 95556 60 0 0 18 0 10 0 540311520 854138880 26415 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26415 13073 16 0 208514 0
vsize: 834120
[startup+1060.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 96447 60 0 0 19 0 10 0 540311520 854138880 26465 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26465 13073 16 0 208514 0
vsize: 834120
[startup+1070.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 97348 61 0 0 21 0 10 0 540311520 854138880 26492 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26492 13073 16 0 208514 0
vsize: 834120
[startup+1080.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 98245 61 0 0 19 0 10 0 540311520 854138880 26519 4294967295 134512640 134569956 3221224400 3221214272 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26519 13073 16 0 208514 0
vsize: 834120
[startup+1090.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 99146 61 0 0 22 0 10 0 540311520 854138880 26554 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26554 13073 16 0 208514 0
vsize: 834120
[startup+1100.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 100044 62 0 0 23 0 10 0 540311520 854138880 26555 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26555 13073 16 0 208514 0
vsize: 834120
[startup+1110.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 100936 62 0 0 19 0 10 0 540311520 854138880 26621 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26621 13073 16 0 208514 0
vsize: 834120
[startup+1120.15 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 101839 62 0 0 22 0 10 0 540311520 854138880 26652 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26652 13073 16 0 208514 0
vsize: 834120
[startup+1130.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 102734 62 0 0 19 0 10 0 540311520 854138880 26674 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26674 13073 16 0 208514 0
vsize: 834120
[startup+1140.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 103633 63 0 0 20 0 10 0 540311520 854138880 26674 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26674 13073 16 0 208514 0
vsize: 834120
[startup+1150.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 104528 63 0 0 22 0 10 0 540311520 854138880 26728 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26728 13073 16 0 208514 0
vsize: 834120
[startup+1160.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 105416 63 0 0 18 0 10 0 540311520 854138880 26731 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26731 13073 16 0 208514 0
vsize: 834120
[startup+1170.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 106313 63 0 0 19 0 10 0 540311520 854138880 26770 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26770 13073 16 0 208514 0
vsize: 834120
[startup+1180.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 107211 63 0 0 22 0 10 0 540311520 854138880 26803 4294967295 134512640 134569956 3221224400 3221214040 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26803 13073 16 0 208514 0
vsize: 834120
[startup+1190.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 108105 63 0 0 18 0 10 0 540311520 854138880 26826 4294967295 134512640 134569956 3221224400 3221214256 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26826 13073 16 0 208514 0
vsize: 834120
[startup+1200.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 109003 64 0 0 21 0 10 0 540311520 854138880 26849 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26849 13073 16 0 208514 0
vsize: 834120
[startup+1210.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 109902 64 0 0 23 0 10 0 540311520 854138880 26874 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26874 13073 16 0 208514 0
vsize: 834120
[startup+1220.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 110795 64 0 0 19 0 10 0 540311520 854138880 26896 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26896 13073 16 0 208514 0
vsize: 834120
[startup+1230.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 111695 65 0 0 22 0 10 0 540311520 854138880 26922 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26922 13073 16 0 208514 0
vsize: 834120
[startup+1240.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 112593 65 0 0 23 0 10 0 540311520 854138880 26949 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26949 13073 16 0 208514 0
vsize: 834120
[startup+1250.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 113490 65 0 0 20 0 10 0 540311520 854138880 26972 4294967295 134512640 134569956 3221224400 3221214484 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26972 13073 16 0 208514 0
vsize: 834120
[startup+1260.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 114390 66 0 0 21 0 10 0 540311520 854138880 26999 4294967295 134512640 134569956 3221224400 3221214272 1080019600 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 26999 13073 16 0 208514 0
vsize: 834120
[startup+1270.16 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) S 6741 18865 18864 0 -1 0 18005 0 1 0 115286 66 0 0 24 0 10 0 540311520 854138880 27027 4294967295 134512640 134569956 3221224400 3221213512 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 27027 13073 16 0 208514 0
vsize: 834120
[startup+1280.17 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 116183 66 0 0 19 0 10 0 540311520 854138880 27056 4294967295 134512640 134569956 3221224400 3221214796 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 27056 13073 16 0 208514 0
vsize: 834120
[startup+1290.17 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 117082 66 0 0 21 0 10 0 540311520 854138880 27081 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 27081 13073 16 0 208514 0
vsize: 834120
[startup+1300.17 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 117981 67 0 0 22 0 10 0 540311520 854138880 27103 4294967295 134512640 134569956 3221224400 3221214804 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 27103 13073 16 0 208514 0
vsize: 834120
[startup+1310.17 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 118872 67 0 0 18 0 10 0 540311520 854138880 27133 4294967295 134512640 134569956 3221224400 3221214272 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 27133 13073 16 0 208514 0
vsize: 834120
[startup+1320.17 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 119770 67 0 0 19 0 10 0 540311520 854138880 27159 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 27159 13073 16 0 208514 0
vsize: 834120
[startup+1330.17 s]
Raw data (loadavg): 1.00 0.97 0.93 2/63 6751
Raw data (stat): 6742 (java) R 6741 18865 18864 0 -1 0 18005 0 1 0 120667 68 0 0 20 0 10 0 540311520 854138880 27184 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208530 27184 13073 16 0 208514 0
vsize: 834120
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1330.26 s]
Raw data (loadavg): 1.00 0.97 0.93 1/54 6752
Raw data (stat): 6742 (java) Z 6741 18865 18864 0 -1 1036 18005 9160 1 0 120671 68 12348 48 21 0 1 0 540311520 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): 1330.26
CPU time (s): 1331.37
CPU user time (s): 1330.2
CPU system time (s): 1.17382
CPU usage (%): 100.083
Max. virtual memory (Kb): 834264
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####