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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-misc06.opb
MD5SUM387c5db023320cb4bbb2858edf3c339a
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 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 211324891222433890304
Number of bits of the biggest number in a constraint 68
Biggest sum of numbers in a constraint 23205541583449342607360
Number of bits of the biggest sum of numbers75
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1.25481
Number of variables51018
Total number of constraints932
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)112
Number of constraints which are nor clauses,nor cardinality constraints820
Minimum length of a constraint1
Maximum length of a constraint13471

Trace number 22188

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        316432 kB
Buffers:         29720 kB
Cached:         665988 kB
SwapCached:          0 kB
Active:         182924 kB
Inactive:       515664 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        316180 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6952 kB
Slab:            14068 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-22 02:44:57 (client local time) WITH STATUS 143 IN 1278.85 SECONDS
stats: 12008 7 1278.85 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-misc06.opb
c reading problem 
c [nbvar=51018]
c [nbconstr=932]
c time 743.407
c #vars     51018
c #clauses  1070
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.79 0.95 0.97 2/54 11903
Raw data (stat): 11903 (runsolver) R 11902 26667 26666 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 478306223 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.82 0.95 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17996 0 1 0 863 39 0 0 25 0 10 0 478306223 853929984 19405 4294967295 134512640 134569956 3221224400 3221214800 1131192942 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 19405 13073 16 0 208463 0
vsize: 833916
[startup+20.0023 s]
Raw data (loadavg): 0.85 0.95 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17996 0 1 0 1756 40 0 0 25 0 10 0 478306223 853929984 19932 4294967295 134512640 134569956 3221224400 3221214484 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 19932 13073 16 0 208463 0
vsize: 833916
[startup+30.0022 s]
Raw data (loadavg): 0.87 0.95 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17996 0 1 0 2640 40 0 0 21 0 10 0 478306223 853929984 20474 4294967295 134512640 134569956 3221224400 3221214488 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 20474 13073 16 0 208463 0
vsize: 833916
[startup+40.0029 s]
Raw data (loadavg): 0.89 0.95 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 3558 41 0 0 25 0 10 0 478306223 853929984 20738 4294967295 134512640 134569956 3221224400 3221214536 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 20738 13073 16 0 208463 0
vsize: 833916
[startup+50.0096 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 4481 42 0 0 25 0 10 0 478306223 853929984 20912 4294967295 134512640 134569956 3221224400 3221214840 1131288701 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 20912 13073 16 0 208463 0
vsize: 833916
[startup+60.0104 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 5389 43 0 0 24 0 10 0 478306223 853929984 21074 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 21074 13073 16 0 208463 0
vsize: 833916
[startup+70.0112 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 6313 43 0 0 25 0 10 0 478306223 853929984 21287 4294967295 134512640 134569956 3221224400 3221214864 1130883229 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 21287 13073 16 0 208463 0
vsize: 833916
[startup+80.0114 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 7247 43 0 0 25 0 10 0 478306223 853929984 21394 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 21394 13073 16 0 208463 0
vsize: 833916
[startup+90.0123 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 8178 44 0 0 24 0 10 0 478306223 853929984 21496 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 21496 13073 16 0 208463 0
vsize: 833916
[startup+100.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 9110 44 0 0 25 0 10 0 478306223 853929984 21584 4294967295 134512640 134569956 3221224400 3221214836 1080204163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 21584 13073 16 0 208463 0
vsize: 833916
[startup+110.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 10032 45 0 0 25 0 10 0 478306223 853929984 21669 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 21669 13073 16 0 208463 0
vsize: 833916
[startup+120.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 10958 46 0 0 25 0 10 0 478306223 853929984 21817 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 21817 13073 16 0 208463 0
vsize: 833916
[startup+130.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 11889 46 0 0 25 0 10 0 478306223 853929984 21900 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 21900 13073 16 0 208463 0
vsize: 833916
[startup+140.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 12823 46 0 0 25 0 10 0 478306223 853929984 21976 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 21976 13073 16 0 208463 0
vsize: 833916
[startup+150.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 17997 0 1 0 13754 47 0 0 25 0 10 0 478306223 853929984 22051 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 22051 13073 16 0 208463 0
vsize: 833916
[startup+160.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 14684 47 0 0 25 0 10 0 478306223 853929984 22125 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 22125 13073 16 0 208463 0
vsize: 833916
[startup+170.025 s]
Raw data (loadavg): 0.99 0.97 0.97 3/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 15609 48 0 0 25 0 10 0 478306223 853929984 22203 4294967295 134512640 134569956 3221224400 3221213984 1073952732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 22203 13073 16 0 208463 0
vsize: 833916
[startup+180.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 16511 48 0 0 25 0 10 0 478306223 853929984 22286 4294967295 134512640 134569956 3221224400 3221214288 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 22286 13073 16 0 208463 0
vsize: 833916
[startup+190.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 17413 48 0 0 25 0 10 0 478306223 853929984 22431 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 22431 13073 16 0 208463 0
vsize: 833916
[startup+200.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 18337 49 0 0 25 0 10 0 478306223 853929984 22658 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 22658 13073 16 0 208463 0
vsize: 833916
[startup+210.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 19265 50 0 0 25 0 10 0 478306223 853929984 22724 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 22724 13073 16 0 208463 0
vsize: 833916
[startup+220.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 20188 50 0 0 24 0 10 0 478306223 853929984 22791 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 22791 13073 16 0 208463 0
vsize: 833916
[startup+230.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 21115 51 0 0 25 0 10 0 478306223 853929984 22850 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 22850 13073 16 0 208463 0
vsize: 833916
[startup+240.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 22043 51 0 0 25 0 10 0 478306223 853929984 22912 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 22912 13073 16 0 208463 0
vsize: 833916
[startup+250.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 22964 52 0 0 25 0 10 0 478306223 853929984 22972 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 22972 13073 16 0 208463 0
vsize: 833916
[startup+260.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 23888 52 0 0 25 0 10 0 478306223 853929984 23036 4294967295 134512640 134569956 3221224400 3221214256 1076461466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 23036 13073 16 0 208463 0
vsize: 833916
[startup+270.028 s]
Raw data (loadavg): 1.07 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 24812 53 0 0 25 0 10 0 478306223 853929984 23095 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 23095 13073 16 0 208463 0
vsize: 833916
[startup+280.032 s]
Raw data (loadavg): 1.06 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 17997 0 1 0 25731 53 0 0 25 0 10 0 478306223 853929984 23155 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 23155 13073 16 0 208463 0
vsize: 833916
[startup+290.034 s]
Raw data (loadavg): 1.05 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 26654 53 0 0 25 0 10 0 478306223 853929984 23215 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 23215 13073 16 0 208463 0
vsize: 833916
[startup+300.034 s]
Raw data (loadavg): 1.04 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 27575 53 0 0 25 0 10 0 478306223 853929984 23273 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 23273 13073 16 0 208463 0
vsize: 833916
[startup+310.034 s]
Raw data (loadavg): 1.03 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 28496 54 0 0 25 0 10 0 478306223 853929984 23324 4294967295 134512640 134569956 3221224400 3221214304 1080019600 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 23324 13073 16 0 208463 0
vsize: 833916
[startup+320.035 s]
Raw data (loadavg): 1.03 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 29410 54 0 0 24 0 10 0 478306223 853929984 23382 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 23382 13073 16 0 208463 0
vsize: 833916
[startup+330.036 s]
Raw data (loadavg): 1.02 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 30327 54 0 0 25 0 10 0 478306223 853929984 23439 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 23439 13073 16 0 208463 0
vsize: 833916
[startup+340.036 s]
Raw data (loadavg): 1.02 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 31235 54 0 0 25 0 10 0 478306223 853929984 23504 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 23504 13073 16 0 208463 0
vsize: 833916
[startup+350.036 s]
Raw data (loadavg): 1.02 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 32145 54 0 0 25 0 10 0 478306223 853929984 23597 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 23597 13073 16 0 208463 0
vsize: 833916
[startup+360.037 s]
Raw data (loadavg): 1.01 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 33059 54 0 0 25 0 10 0 478306223 853929984 23668 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 23668 13073 16 0 208463 0
vsize: 833916
[startup+370.037 s]
Raw data (loadavg): 1.01 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 33974 55 0 0 25 0 10 0 478306223 853929984 23731 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 23731 13073 16 0 208463 0
vsize: 833916
[startup+380.037 s]
Raw data (loadavg): 1.01 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 17997 0 1 0 34874 55 0 0 25 0 10 0 478306223 853929984 23791 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 23791 13073 16 0 208463 0
vsize: 833916
[startup+390.038 s]
Raw data (loadavg): 1.01 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 35775 55 0 0 25 0 10 0 478306223 853929984 23852 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208479 23852 13073 16 0 208463 0
vsize: 833916
[startup+400.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 36685 56 0 0 18 0 10 0 478306223 853929984 23979 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 23979 13073 16 0 208463 0
vsize: 833916
[startup+410.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 37600 56 0 0 25 0 10 0 478306223 853929984 24033 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24033 13073 16 0 208463 0
vsize: 833916
[startup+420.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 38514 57 0 0 25 0 10 0 478306223 853929984 24083 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24083 13073 16 0 208463 0
vsize: 833916
[startup+430.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 39427 57 0 0 24 0 10 0 478306223 853929984 24132 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24132 13073 16 0 208463 0
vsize: 833916
[startup+440.041 s]
Raw data (loadavg): 1.08 1.01 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 40341 57 0 0 24 0 10 0 478306223 853929984 24181 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24181 13073 16 0 208463 0
vsize: 833916
[startup+450.041 s]
Raw data (loadavg): 1.07 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 41253 58 0 0 24 0 10 0 478306223 853929984 24234 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24234 13073 16 0 208463 0
vsize: 833916
[startup+460.042 s]
Raw data (loadavg): 1.06 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 42171 58 0 0 25 0 10 0 478306223 853929984 24276 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24276 13073 16 0 208463 0
vsize: 833916
[startup+470.042 s]
Raw data (loadavg): 1.05 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 43083 59 0 0 25 0 10 0 478306223 853929984 24325 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24325 13073 16 0 208463 0
vsize: 833916
[startup+480.042 s]
Raw data (loadavg): 1.04 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 43995 59 0 0 25 0 10 0 478306223 853929984 24372 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24372 13073 16 0 208463 0
vsize: 833916
[startup+490.043 s]
Raw data (loadavg): 1.03 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 44906 60 0 0 21 0 10 0 478306223 853929984 24420 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24420 13073 16 0 208463 0
vsize: 833916
[startup+500.044 s]
Raw data (loadavg): 1.03 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 45817 60 0 0 24 0 10 0 478306223 853929984 24467 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24467 13073 16 0 208463 0
vsize: 833916
[startup+510.044 s]
Raw data (loadavg): 1.02 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 17997 0 1 0 46728 61 0 0 25 0 10 0 478306223 853929984 24512 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24512 13073 16 0 208463 0
vsize: 833916
[startup+520.045 s]
Raw data (loadavg): 1.02 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 47642 61 0 0 23 0 10 0 478306223 853929984 24554 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24554 13073 16 0 208463 0
vsize: 833916
[startup+530.045 s]
Raw data (loadavg): 1.02 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 48550 61 0 0 25 0 10 0 478306223 853929984 24600 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24600 13073 16 0 208463 0
vsize: 833916
[startup+540.046 s]
Raw data (loadavg): 1.01 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 49459 62 0 0 25 0 10 0 478306223 853929984 24646 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24646 13073 16 0 208463 0
vsize: 833916
[startup+550.046 s]
Raw data (loadavg): 1.01 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 50367 62 0 0 25 0 10 0 478306223 853929984 24687 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24687 13073 16 0 208463 0
vsize: 833916
[startup+560.045 s]
Raw data (loadavg): 1.01 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 51282 62 0 0 25 0 10 0 478306223 853929984 24731 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24731 13073 16 0 208463 0
vsize: 833916
[startup+570.047 s]
Raw data (loadavg): 1.01 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 52188 63 0 0 25 0 10 0 478306223 853929984 24773 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24773 13073 16 0 208463 0
vsize: 833916
[startup+580.047 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 53095 63 0 0 25 0 10 0 478306223 853929984 24817 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24817 13073 16 0 208463 0
vsize: 833916
[startup+590.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 54002 63 0 0 24 0 10 0 478306223 853929984 24858 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24858 13073 16 0 208463 0
vsize: 833916
[startup+600.048 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 54914 64 0 0 25 0 10 0 478306223 853929984 24896 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24896 13073 16 0 208463 0
vsize: 833916
[startup+610.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 55819 64 0 0 25 0 10 0 478306223 853929984 24936 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24936 13073 16 0 208463 0
vsize: 833916
[startup+620.049 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 17997 0 1 0 56724 65 0 0 25 0 10 0 478306223 853929984 24979 4294967295 134512640 134569956 3221224400 3221213528 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 24979 13073 16 0 208463 0
vsize: 833916
[startup+630.051 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 57624 65 0 0 25 0 10 0 478306223 853929984 25018 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 25018 13073 16 0 208463 0
vsize: 833916
[startup+640.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 58525 66 0 0 25 0 10 0 478306223 853929984 25077 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 25077 13073 16 0 208463 0
vsize: 833916
[startup+650.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 17997 0 1 0 59421 66 0 0 25 0 10 0 478306223 853929984 25137 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 25137 13073 16 0 208463 0
vsize: 833916
[startup+660.052 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 60317 67 0 0 25 0 10 0 478306223 853929984 25207 4294967295 134512640 134569956 3221224400 3221214880 1131218061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 25207 13073 16 0 208463 0
vsize: 833916
[startup+670.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 61217 67 0 0 20 0 10 0 478306223 853929984 25265 4294967295 134512640 134569956 3221224400 3221214732 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 25265 13073 16 0 208463 0
vsize: 833916
[startup+680.054 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 62114 68 0 0 21 0 10 0 478306223 853929984 25327 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 25327 13073 16 0 208463 0
vsize: 833916
[startup+690.055 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 63012 68 0 0 25 0 10 0 478306223 853929984 26068 4294967295 134512640 134569956 3221224400 3221214288 1077558382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 26068 13073 16 0 208463 0
vsize: 833916
[startup+700.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 63911 68 0 0 24 0 10 0 478306223 853929984 26068 4294967295 134512640 134569956 3221224400 3221214304 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 26068 13073 16 0 208463 0
vsize: 833916
[startup+710.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 64801 69 0 0 25 0 10 0 478306223 853929984 26104 4294967295 134512640 134569956 3221224400 3221214288 1077558376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 26104 13073 16 0 208463 0
vsize: 833916
[startup+720.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 65693 70 0 0 25 0 10 0 478306223 853929984 26244 4294967295 134512640 134569956 3221224400 3221214828 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 26244 13073 16 0 208463 0
vsize: 833916
[startup+730.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 66570 70 0 0 25 0 10 0 478306223 853929984 26287 4294967295 134512640 134569956 3221224400 3221214288 1077558368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 26287 13073 16 0 208463 0
vsize: 833916
[startup+740.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/63 11912
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 17997 0 1 0 67457 71 0 0 25 0 10 0 478306223 853929984 26501 4294967295 134512640 134569956 3221224400 3221214828 1080203551 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208479 26501 13073 16 0 208463 0
vsize: 833916
[startup+750.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 68338 73 0 0 25 0 11 0 478306223 855310336 29796 4294967295 134512640 134569956 3221224400 3221214680 1131237465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208816 29796 13073 16 0 208800 0
vsize: 835264
[startup+760.056 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 69251 74 0 0 25 0 11 0 478306223 855310336 29738 4294967295 134512640 134569956 3221224400 3221214680 1131236841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208816 29738 13073 16 0 208800 0
vsize: 835264
[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 70156 74 0 0 25 0 11 0 478306223 855310336 29738 4294967295 134512640 134569956 3221224400 3221214776 1131335120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208816 29738 13073 16 0 208800 0
vsize: 835264
[startup+780.058 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 71098 75 0 0 25 0 11 0 478306223 855310336 30361 4294967295 134512640 134569956 3221224400 3221214680 1131236841 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208816 30361 13073 16 0 208800 0
vsize: 835264
[startup+790.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 72086 75 0 0 25 0 11 0 478306223 855310336 30369 4294967295 134512640 134569956 3221224400 3221214680 1131238128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208816 30369 13073 16 0 208800 0
vsize: 835264
[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 73075 75 0 0 25 0 11 0 478306223 855310336 30375 4294967295 134512640 134569956 3221224400 3221214680 1131237299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208816 30375 13073 16 0 208800 0
vsize: 835264
[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 74063 76 0 0 25 0 11 0 478306223 855310336 30382 4294967295 134512640 134569956 3221224400 3221214680 1131237175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208816 30382 13073 16 0 208800 0
vsize: 835264
[startup+820.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 75053 76 0 0 25 0 11 0 478306223 855310336 30386 4294967295 134512640 134569956 3221224400 3221214680 1131238175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208816 30386 13073 16 0 208800 0
vsize: 835264
[startup+830.059 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 76041 77 0 0 25 0 11 0 478306223 855310336 30389 4294967295 134512640 134569956 3221224400 3221214680 1131237465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208816 30389 13073 16 0 208800 0
vsize: 835264
[startup+840.06 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18041 0 1 0 77028 78 0 0 25 0 11 0 478306223 855310336 30394 4294967295 134512640 134569956 3221224400 3221214680 1131236805 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208816 30394 13073 16 0 208800 0
vsize: 835264
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18042 0 1 0 78004 78 0 0 25 0 11 0 478306223 855310336 30413 4294967295 134512640 134569956 3221224400 3221214632 1131237240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208816 30413 13073 16 0 208800 0
vsize: 835264
[startup+860.061 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 78947 78 0 0 25 0 11 0 478306223 862027776 32011 4294967295 134512640 134569956 3221224400 3221214728 1131336100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 32011 13073 16 0 210440 0
vsize: 841824
[startup+870.061 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 79939 78 0 0 25 0 11 0 478306223 859930624 31615 4294967295 134512640 134569956 3221224400 3221214584 1131128236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31615 13073 16 0 209928 0
vsize: 839776
[startup+880.062 s]
Raw data (loadavg): 1.06 1.02 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 80934 78 0 0 25 0 11 0 478306223 859930624 31616 4294967295 134512640 134569956 3221224400 3221214584 1131128247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31616 13073 16 0 209928 0
vsize: 839776
[startup+890.062 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 81928 78 0 0 25 0 11 0 478306223 859930624 31616 4294967295 134512640 134569956 3221224400 3221214568 1131442830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31616 13073 16 0 209928 0
vsize: 839776
[startup+900.062 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 82928 78 0 0 25 0 11 0 478306223 859930624 31616 4294967295 134512640 134569956 3221224400 3221214568 1131442850 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31616 13073 16 0 209928 0
vsize: 839776
[startup+910.062 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 83925 79 0 0 25 0 11 0 478306223 859930624 31617 4294967295 134512640 134569956 3221224400 3221214560 1131428912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31617 13073 16 0 209928 0
vsize: 839776
[startup+920.062 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 84919 79 0 0 25 0 11 0 478306223 859930624 31619 4294967295 134512640 134569956 3221224400 3221214584 1131128243 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31619 13073 16 0 209928 0
vsize: 839776
[startup+930.063 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18087 0 1 0 85912 79 0 0 25 0 11 0 478306223 859930624 31622 4294967295 134512640 134569956 3221224400 3221214584 1131128256 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31622 13073 16 0 209928 0
vsize: 839776
[startup+940.063 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 86908 79 0 0 25 0 11 0 478306223 862027776 32195 4294967295 134512640 134569956 3221224400 3221214560 1131430711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210456 32195 13073 16 0 210440 0
vsize: 841824
[startup+950.064 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 87903 79 0 0 25 0 11 0 478306223 860979200 31896 4294967295 134512640 134569956 3221224400 3221214584 1131128261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 31896 13073 16 0 210184 0
vsize: 840800
[startup+960.063 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 88899 79 0 0 25 0 11 0 478306223 860979200 31898 4294967295 134512640 134569956 3221224400 3221214584 1131128252 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210200 31898 13073 16 0 210184 0
vsize: 840800
[startup+970.064 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 89892 79 0 0 25 0 11 0 478306223 859930624 31705 4294967295 134512640 134569956 3221224400 3221214560 1131428398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31705 13073 16 0 209928 0
vsize: 839776
[startup+980.063 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 90888 79 0 0 25 0 11 0 478306223 859930624 31706 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31706 13073 16 0 209928 0
vsize: 839776
[startup+990.064 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 91884 79 0 0 25 0 11 0 478306223 859930624 31707 4294967295 134512640 134569956 3221224400 3221214560 1131428398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31707 13073 16 0 209928 0
vsize: 839776
[startup+1000.06 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 92879 79 0 0 25 0 11 0 478306223 859930624 31714 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31714 13073 16 0 209928 0
vsize: 839776
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 93876 79 0 0 25 0 11 0 478306223 859930624 31752 4294967295 134512640 134569956 3221224400 3221214672 1131509088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31752 13073 16 0 209928 0
vsize: 839776
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 94872 79 0 0 25 0 11 0 478306223 859930624 31753 4294967295 134512640 134569956 3221224400 3221214560 1131430702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31753 13073 16 0 209928 0
vsize: 839776
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 95868 79 0 0 25 0 11 0 478306223 859930624 31753 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31753 13073 16 0 209928 0
vsize: 839776
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 96865 79 0 0 25 0 11 0 478306223 859930624 31764 4294967295 134512640 134569956 3221224400 3221214592 1131502229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31764 13073 16 0 209928 0
vsize: 839776
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 97862 79 0 0 25 0 11 0 478306223 859930624 31764 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31764 13073 16 0 209928 0
vsize: 839776
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 98858 79 0 0 25 0 11 0 478306223 859930624 31764 4294967295 134512640 134569956 3221224400 3221214672 1131509103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31764 13073 16 0 209928 0
vsize: 839776
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 99854 80 0 0 25 0 11 0 478306223 859930624 31774 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31774 13073 16 0 209928 0
vsize: 839776
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 100848 80 0 0 25 0 11 0 478306223 859930624 31774 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31774 13073 16 0 209928 0
vsize: 839776
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 101841 80 0 0 25 0 11 0 478306223 859930624 31774 4294967295 134512640 134569956 3221224400 3221214568 1131276439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31774 13073 16 0 209928 0
vsize: 839776
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 102831 80 0 0 25 0 11 0 478306223 859930624 31811 4294967295 134512640 134569956 3221224400 3221214568 1131276351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31811 13073 16 0 209928 0
vsize: 839776
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 103824 81 0 0 25 0 11 0 478306223 859930624 31811 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209944 31811 13073 16 0 209928 0
vsize: 839776
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 104821 81 0 0 25 0 11 0 478306223 859930624 31812 4294967295 134512640 134569956 3221224400 3221214672 1131509103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31812 13073 16 0 209928 0
vsize: 839776
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) S 11902 26667 26666 0 -1 0 18088 0 1 0 105813 81 0 0 25 0 11 0 478306223 859930624 31812 4294967295 134512640 134569956 3221224400 3221213312 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31812 13073 16 0 209928 0
vsize: 839776
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 106808 81 0 0 25 0 11 0 478306223 859930624 31849 4294967295 134512640 134569956 3221224400 3221214648 1131452267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31849 13073 16 0 209928 0
vsize: 839776
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 107799 81 0 0 25 0 11 0 478306223 859930624 31849 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31849 13073 16 0 209928 0
vsize: 839776
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 108791 82 0 0 25 0 11 0 478306223 859930624 31849 4294967295 134512640 134569956 3221224400 3221214560 1131428398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31849 13073 16 0 209928 0
vsize: 839776
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 109782 82 0 0 25 0 11 0 478306223 859930624 31860 4294967295 134512640 134569956 3221224400 3221214648 1131439787 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31860 13073 16 0 209928 0
vsize: 839776
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 110772 82 0 0 25 0 11 0 478306223 859930624 31860 4294967295 134512640 134569956 3221224400 3221214672 1131509197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31860 13073 16 0 209928 0
vsize: 839776
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 111764 83 0 0 25 0 11 0 478306223 859930624 31860 4294967295 134512640 134569956 3221224400 3221214672 1131564282 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31860 13073 16 0 209928 0
vsize: 839776
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 112760 83 0 0 25 0 11 0 478306223 859930624 31921 4294967295 134512640 134569956 3221224400 3221214328 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31921 13073 16 0 209928 0
vsize: 839776
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 113752 83 0 0 25 0 11 0 478306223 859930624 31921 4294967295 134512640 134569956 3221224400 3221214672 1131509219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31921 13073 16 0 209928 0
vsize: 839776
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 114743 84 0 0 25 0 11 0 478306223 859930624 31995 4294967295 134512640 134569956 3221224400 3221214560 1131428398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31995 13073 16 0 209928 0
vsize: 839776
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 115736 84 0 0 25 0 11 0 478306223 859930624 31995 4294967295 134512640 134569956 3221224400 3221214672 1131509088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31995 13073 16 0 209928 0
vsize: 839776
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 116725 84 0 0 25 0 11 0 478306223 859930624 31995 4294967295 134512640 134569956 3221224400 3221214672 1131509219 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 31995 13073 16 0 209928 0
vsize: 839776
[startup+1250.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 117722 85 0 0 25 0 11 0 478306223 859930624 32005 4294967295 134512640 134569956 3221224400 3221214560 1131428817 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 32005 13073 16 0 209928 0
vsize: 839776
[startup+1260.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 118711 86 0 0 25 0 11 0 478306223 859930624 32005 4294967295 134512640 134569956 3221224400 3221214672 1131509088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 32005 13073 16 0 209928 0
vsize: 839776
[startup+1270.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 119704 86 0 0 25 0 11 0 478306223 859930624 32005 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 32005 13073 16 0 209928 0
vsize: 839776
[startup+1280.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 11913
Raw data (stat): 11903 (java) R 11902 26667 26666 0 -1 0 18088 0 1 0 120696 87 0 0 25 0 11 0 478306223 859930624 32068 4294967295 134512640 134569956 3221224400 3221214672 1131509100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209944 32068 13073 16 0 209928 0
vsize: 839776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1280.19 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 11915
Raw data (stat): 11903 (java) Z 11902 26667 26666 0 -1 1036 18088 12141 1 0 120701 87 7052 43 25 0 1 0 478306223 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1280.19
CPU time (s): 1278.85
CPU user time (s): 1277.54
CPU system time (s): 1.3078
CPU usage (%): 99.8953
Max. virtual memory (Kb): 841824
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####