PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-forplan.opb
MD5SUM	dfc6e74660e6079f7108351001d51bc8
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	9340
Biggest coefficient in the objective function	6454798974976000
Number of bits for the biggest coefficient in the objective function	53
Sum of the numbers in the objective function	1138676908426644728
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	6454798974976000
Number of bits of the biggest number in a constraint	53
Biggest sum of numbers in a constraint	1138676908426644728
Number of bits of the biggest sum of numbers	60
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.110982
Number of variables	12528
Total number of constraints	155
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	155
Minimum length of a constraint	27
Maximum length of a constraint	9090
Trace number 29442

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 07:43:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20846 boxname=wulflinc22 idbench=834 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  dfc6e74660e6079f7108351001d51bc8  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-forplan.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-forplan.opb
IDLAUNCH: 20846
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        757792 kB
Buffers:         25084 kB
Cached:         229108 kB
SwapCached:        400 kB
Active:          50736 kB
Inactive:       205664 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        757540 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            14860 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 08:03:25 (client local time) WITH STATUS 143 IN 1228.74 SECONDS
stats: 20846 7 1228.74 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c SAT4J: a SATisfiability library for Java (c) 2004-2005 Daniel Le Berre
c This is free software under the GNU LGPL licence. See www.sat4j.org for details.
c version Special PB05 Second trial
c --- Begin Solver configuration ---
c org.sat4j.minisat.uip.FirstUIP@1e4cbc4
c org.sat4j.minisat.constraints.PBMinDataStructure@1fdc96c
c org.sat4j.minisat.learning.MiniSATLearning@b2fd8f
c conflictBoundIncFactor=1.5 learntBoundIncFactor=1.1 initLearntBoundConstraintFactor=0.5 initConflictBound=100 
c 
c --- End Solver configuration ---
c solving /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-forplan.opb
c reading problem ... done. Time 57.032 ms.
c #vars     12528
c #constraints  240
c starts	: 2
c conflicts	: 120
c decisions	: 1533
c propagations	: 24516
c inspects	: 180381
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 120
c root simplifications	: 8
s UNKNOWN
c Total CPU time (ms) : 1219.123
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.99 2/54 1202
Raw data (stat): 1202 (runsolver) R 1201 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 837166999 1052672 99 4294967295 134512640 135381576 3221224400 3221219620 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.0002 s]
Raw data (loadavg): 0.93 0.98 0.99 2/63 1211
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18009 0 1 0 875 41 0 0 25 0 10 0 837166999 853598208 19360 4294967295 134512640 134569956 3221224368 3221214636 1080204031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208398 19360 13086 16 0 208382 0
vsize: 833592
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.98 0.99 2/63 1211
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18009 0 1 0 1772 42 0 0 25 0 10 0 837166999 853561344 19883 4294967295 134512640 134569956 3221224368 3221214416 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 19883 13086 16 0 208373 0
vsize: 833556
[startup+30.0066 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 1211
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18009 0 1 0 2661 42 0 0 25 0 10 0 837166999 853561344 20422 4294967295 134512640 134569956 3221224368 3221214828 1130917144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208389 20422 13086 16 0 208373 0
vsize: 833556
[startup+40.0063 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 1211
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18020 0 1 0 3491 43 0 0 25 0 10 0 837166999 854818816 21029 4294967295 134512640 134569956 3221224368 3221214792 1131239830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208696 21029 13086 16 0 208680 0
vsize: 834784
[startup+50.007 s]
Raw data (loadavg): 0.96 0.98 0.99 2/63 1211
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18021 0 1 0 4374 46 0 0 25 0 10 0 837166999 854421504 21514 4294967295 134512640 134569956 3221224368 3221214752 1131156513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 21514 13086 16 0 208583 0
vsize: 834396
[startup+60.0067 s]
Raw data (loadavg): 0.97 0.98 0.99 2/63 1211
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18041 0 1 0 5235 48 0 0 25 0 10 0 837166999 854421504 26045 4294967295 134512640 134569956 3221224368 3221214688 1131329407 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208599 26045 13086 16 0 208583 0
vsize: 834396
[startup+70.0064 s]
Raw data (loadavg): 0.97 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 6139 49 0 0 25 0 11 0 837166999 854949888 26858 4294967295 134512640 134569956 3221224368 3221214616 1131329562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 26858 13086 16 0 208712 0
vsize: 834912
[startup+80.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 7106 49 0 0 25 0 11 0 837166999 854949888 26858 4294967295 134512640 134569956 3221224368 3221214720 1131254251 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208728 26858 13086 16 0 208712 0
vsize: 834912
[startup+90.0069 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 8071 50 0 0 25 0 11 0 837166999 854949888 26860 4294967295 134512640 134569956 3221224368 3221214720 1131341189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 26860 13086 16 0 208712 0
vsize: 834912
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 9040 50 0 0 25 0 11 0 837166999 854949888 27022 4294967295 134512640 134569956 3221224368 3221214632 1131329673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27022 13086 16 0 208712 0
vsize: 834912
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 10030 51 0 0 25 0 11 0 837166999 854949888 27070 4294967295 134512640 134569956 3221224368 3221214720 1131340968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27070 13086 16 0 208712 0
vsize: 834912
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 11021 51 0 0 25 0 11 0 837166999 854949888 27074 4294967295 134512640 134569956 3221224368 3221214736 1131254165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27074 13086 16 0 208712 0
vsize: 834912
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 12008 51 0 0 25 0 11 0 837166999 854949888 27076 4294967295 134512640 134569956 3221224368 3221214760 1131333809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27076 13086 16 0 208712 0
vsize: 834912
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 12993 52 0 0 25 0 11 0 837166999 854949888 27082 4294967295 134512640 134569956 3221224368 3221214632 1131329516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27082 13086 16 0 208712 0
vsize: 834912
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 13982 52 0 0 25 0 11 0 837166999 854949888 27123 4294967295 134512640 134569956 3221224368 3221214784 1131369244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27123 13086 16 0 208712 0
vsize: 834912
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 14973 52 0 0 25 0 11 0 837166999 854949888 27142 4294967295 134512640 134569956 3221224368 3221214632 1131329683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27142 13086 16 0 208712 0
vsize: 834912
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 15963 53 0 0 25 0 11 0 837166999 854949888 27144 4294967295 134512640 134569956 3221224368 3221214720 1131340833 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27144 13086 16 0 208712 0
vsize: 834912
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 16954 53 0 0 25 0 11 0 837166999 854949888 27146 4294967295 134512640 134569956 3221224368 3221214784 1131368389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27146 13086 16 0 208712 0
vsize: 834912
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 17946 53 0 0 25 0 11 0 837166999 854949888 27166 4294967295 134512640 134569956 3221224368 3221214736 1131254144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27166 13086 16 0 208712 0
vsize: 834912
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) S 1201 23310 23309 0 -1 0 18047 0 1 0 18941 54 0 0 25 0 11 0 837166999 854949888 27188 4294967295 134512640 134569956 3221224368 3221213464 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27188 13086 16 0 208712 0
vsize: 834912
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 19937 54 0 0 25 0 11 0 837166999 854949888 27190 4294967295 134512640 134569956 3221224368 3221214720 1131340837 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27190 13086 16 0 208712 0
vsize: 834912
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 20934 54 0 0 25 0 11 0 837166999 854949888 27193 4294967295 134512640 134569956 3221224368 3221214720 1131341602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27193 13086 16 0 208712 0
vsize: 834912
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 21931 54 0 0 25 0 11 0 837166999 854949888 27196 4294967295 134512640 134569956 3221224368 3221214632 1131329562 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208728 27196 13086 16 0 208712 0
vsize: 834912
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 22927 54 0 0 25 0 11 0 837166999 854949888 27198 4294967295 134512640 134569956 3221224368 3221214720 1131340981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27198 13086 16 0 208712 0
vsize: 834912
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 23922 55 0 0 25 0 11 0 837166999 854949888 27200 4294967295 134512640 134569956 3221224368 3221214720 1131341192 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208728 27200 13086 16 0 208712 0
vsize: 834912
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18047 0 1 0 24917 55 0 0 25 0 11 0 837166999 854949888 27202 4294967295 134512640 134569956 3221224368 3221214736 1131254186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208728 27202 13086 16 0 208712 0
vsize: 834912
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 25877 56 0 0 25 0 11 0 837166999 856883200 27754 4294967295 134512640 134569956 3221224368 3221214632 1131227239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27754 13086 16 0 209184 0
vsize: 836800
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 26871 56 0 0 25 0 11 0 837166999 856883200 27756 4294967295 134512640 134569956 3221224368 3221214736 1131254247 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27756 13086 16 0 209184 0
vsize: 836800
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 27866 56 0 0 25 0 11 0 837166999 856883200 27757 4294967295 134512640 134569956 3221224368 3221214632 1131329659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27757 13086 16 0 209184 0
vsize: 836800
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 28862 56 0 0 25 0 11 0 837166999 856883200 27774 4294967295 134512640 134569956 3221224368 3221214632 1131329683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27774 13086 16 0 209184 0
vsize: 836800
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 29859 56 0 0 25 0 11 0 837166999 856883200 27774 4294967295 134512640 134569956 3221224368 3221214736 1131254144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27774 13086 16 0 209184 0
vsize: 836800
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 30856 56 0 0 25 0 11 0 837166999 856883200 27775 4294967295 134512640 134569956 3221224368 3221214720 1131340915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27775 13086 16 0 209184 0
vsize: 836800
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 31853 56 0 0 25 0 11 0 837166999 856883200 27777 4294967295 134512640 134569956 3221224368 3221214720 1131341293 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27777 13086 16 0 209184 0
vsize: 836800
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 32849 56 0 0 25 0 11 0 837166999 856883200 27778 4294967295 134512640 134569956 3221224368 3221214736 1131254172 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27778 13086 16 0 209184 0
vsize: 836800
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 33846 56 0 0 25 0 11 0 837166999 856883200 27778 4294967295 134512640 134569956 3221224368 3221214736 1131254144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27778 13086 16 0 209184 0
vsize: 836800
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 34842 56 0 0 25 0 11 0 837166999 856883200 27780 4294967295 134512640 134569956 3221224368 3221214632 1131329387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27780 13086 16 0 209184 0
vsize: 836800
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 35839 56 0 0 25 0 11 0 837166999 856883200 27781 4294967295 134512640 134569956 3221224368 3221214784 1131368628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27781 13086 16 0 209184 0
vsize: 836800
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 36836 56 0 0 25 0 11 0 837166999 856883200 27782 4294967295 134512640 134569956 3221224368 3221214784 1131368389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27782 13086 16 0 209184 0
vsize: 836800
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 37833 56 0 0 25 0 11 0 837166999 856883200 27787 4294967295 134512640 134569956 3221224368 3221214632 1131329520 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27787 13086 16 0 209184 0
vsize: 836800
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 38830 56 0 0 25 0 11 0 837166999 856883200 27787 4294967295 134512640 134569956 3221224368 3221214632 1131330342 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27787 13086 16 0 209184 0
vsize: 836800
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 39826 56 0 0 25 0 11 0 837166999 856883200 27788 4294967295 134512640 134569956 3221224368 3221214720 1131341258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27788 13086 16 0 209184 0
vsize: 836800
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 40822 56 0 0 25 0 11 0 837166999 856883200 27789 4294967295 134512640 134569956 3221224368 3221214720 1131340935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27789 13086 16 0 209184 0
vsize: 836800
[startup+430.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 41818 56 0 0 25 0 11 0 837166999 856883200 27792 4294967295 134512640 134569956 3221224368 3221214632 1131329516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27792 13086 16 0 209184 0
vsize: 836800
[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 42814 56 0 0 25 0 11 0 837166999 856883200 27800 4294967295 134512640 134569956 3221224368 3221214632 1131329699 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27800 13086 16 0 209184 0
vsize: 836800
[startup+450.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 43812 56 0 0 25 0 11 0 837166999 856883200 27800 4294967295 134512640 134569956 3221224368 3221214736 1131254165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27800 13086 16 0 209184 0
vsize: 836800
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 44810 56 0 0 25 0 11 0 837166999 856883200 27801 4294967295 134512640 134569956 3221224368 3221214632 1131227216 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27801 13086 16 0 209184 0
vsize: 836800
[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 45808 56 0 0 25 0 11 0 837166999 856883200 27801 4294967295 134512640 134569956 3221224368 3221214632 1131330239 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27801 13086 16 0 209184 0
vsize: 836800
[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 46806 56 0 0 25 0 11 0 837166999 856883200 27801 4294967295 134512640 134569956 3221224368 3221214784 1131368691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27801 13086 16 0 209184 0
vsize: 836800
[startup+490.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 47803 57 0 0 25 0 11 0 837166999 856883200 27801 4294967295 134512640 134569956 3221224368 3221214632 1131330834 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209200 27801 13086 16 0 209184 0
vsize: 836800
[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 48798 57 0 0 25 0 11 0 837166999 856883200 27801 4294967295 134512640 134569956 3221224368 3221214720 1131341214 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27801 13086 16 0 209184 0
vsize: 836800
[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18060 0 1 0 49794 57 0 0 25 0 11 0 837166999 856883200 27801 4294967295 134512640 134569956 3221224368 3221214632 1131330789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209200 27801 13086 16 0 209184 0
vsize: 836800
[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 50787 57 0 0 25 0 11 0 837166999 856039424 27605 4294967295 134512640 134569956 3221224368 3221214572 1130885150 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27605 13086 16 0 208978 0
vsize: 835976
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 51781 57 0 0 25 0 11 0 837166999 856039424 27622 4294967295 134512640 134569956 3221224368 3221214736 1131254144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27622 13086 16 0 208978 0
vsize: 835976
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 52775 57 0 0 25 0 11 0 837166999 856039424 27622 4294967295 134512640 134569956 3221224368 3221214632 1131329576 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27622 13086 16 0 208978 0
vsize: 835976
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 53770 57 0 0 25 0 11 0 837166999 856039424 27636 4294967295 134512640 134569956 3221224368 3221214632 1131329494 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27636 13086 16 0 208978 0
vsize: 835976
[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 54766 57 0 0 25 0 11 0 837166999 856039424 27653 4294967295 134512640 134569956 3221224368 3221214784 1131368374 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27653 13086 16 0 208978 0
vsize: 835976
[startup+570.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 55764 58 0 0 25 0 11 0 837166999 856039424 27654 4294967295 134512640 134569956 3221224368 3221214720 1131340837 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27654 13086 16 0 208978 0
vsize: 835976
[startup+580.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 56762 58 0 0 25 0 11 0 837166999 856039424 27654 4294967295 134512640 134569956 3221224368 3221214784 1131368691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27654 13086 16 0 208978 0
vsize: 835976
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 57759 58 0 0 25 0 11 0 837166999 856039424 27654 4294967295 134512640 134569956 3221224368 3221214632 1131329459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27654 13086 16 0 208978 0
vsize: 835976
[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 58757 58 0 0 25 0 11 0 837166999 856039424 27654 4294967295 134512640 134569956 3221224368 3221214632 1131329516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27654 13086 16 0 208978 0
vsize: 835976
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 59755 58 0 0 25 0 11 0 837166999 856039424 27655 4294967295 134512640 134569956 3221224368 3221214632 1131227644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27655 13086 16 0 208978 0
vsize: 835976
[startup+620.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 60752 58 0 0 25 0 11 0 837166999 856039424 27655 4294967295 134512640 134569956 3221224368 3221214720 1131340844 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27655 13086 16 0 208978 0
vsize: 835976
[startup+630.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 61750 58 0 0 25 0 11 0 837166999 856039424 27658 4294967295 134512640 134569956 3221224368 3221214736 1131254144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27658 13086 16 0 208978 0
vsize: 835976
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 62748 58 0 0 25 0 11 0 837166999 856039424 27658 4294967295 134512640 134569956 3221224368 3221214720 1131340833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27658 13086 16 0 208978 0
vsize: 835976
[startup+650.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 63745 58 0 0 25 0 11 0 837166999 856039424 27658 4294967295 134512640 134569956 3221224368 3221214632 1131329459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27658 13086 16 0 208978 0
vsize: 835976
[startup+660.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 64741 58 0 0 25 0 11 0 837166999 856039424 27658 4294967295 134512640 134569956 3221224368 3221214720 1131340829 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27658 13086 16 0 208978 0
vsize: 835976
[startup+670.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 65736 58 0 0 25 0 11 0 837166999 856039424 27658 4294967295 134512640 134569956 3221224368 3221214720 1131340897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27658 13086 16 0 208978 0
vsize: 835976
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 66733 58 0 0 25 0 11 0 837166999 856039424 27665 4294967295 134512640 134569956 3221224368 3221214632 1131329566 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27665 13086 16 0 208978 0
vsize: 835976
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 67731 59 0 0 25 0 11 0 837166999 856039424 27666 4294967295 134512640 134569956 3221224368 3221214720 1131341299 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27666 13086 16 0 208978 0
vsize: 835976
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 68729 59 0 0 25 0 11 0 837166999 856039424 27667 4294967295 134512640 134569956 3221224368 3221214736 1131254161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 27667 13086 16 0 208978 0
vsize: 835976
[startup+710.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 69726 59 0 0 25 0 11 0 837166999 856039424 27667 4294967295 134512640 134569956 3221224368 3221214720 1131340833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27667 13086 16 0 208978 0
vsize: 835976
[startup+720.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 70724 59 0 0 25 0 11 0 837166999 856039424 27668 4294967295 134512640 134569956 3221224368 3221214784 1131368647 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27668 13086 16 0 208978 0
vsize: 835976
[startup+730.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 71722 59 0 0 25 0 11 0 837166999 856039424 27668 4294967295 134512640 134569956 3221224368 3221214632 1131329516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27668 13086 16 0 208978 0
vsize: 835976
[startup+740.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 72718 59 0 0 25 0 11 0 837166999 856039424 27668 4294967295 134512640 134569956 3221224368 3221214720 1131340935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27668 13086 16 0 208978 0
vsize: 835976
[startup+750.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 73715 59 0 0 25 0 11 0 837166999 856039424 27668 4294967295 134512640 134569956 3221224368 3221214720 1131341258 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27668 13086 16 0 208978 0
vsize: 835976
[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 74711 59 0 0 25 0 11 0 837166999 856039424 27668 4294967295 134512640 134569956 3221224368 3221214784 1131368746 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27668 13086 16 0 208978 0
vsize: 835976
[startup+770.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18061 0 1 0 75709 59 0 0 25 0 11 0 837166999 856039424 27675 4294967295 134512640 134569956 3221224368 3221214632 1131329683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27675 13086 16 0 208978 0
vsize: 835976
[startup+780.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 76691 59 0 0 25 0 11 0 837166999 856039424 27738 4294967295 134512640 134569956 3221224368 3221214656 1131487875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27738 13086 16 0 208978 0
vsize: 835976
[startup+790.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 77667 60 0 0 25 0 11 0 837166999 856039424 27737 4294967295 134512640 134569956 3221224368 3221214520 1131405304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27737 13086 16 0 208978 0
vsize: 835976
[startup+800.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 78637 60 0 0 25 0 11 0 837166999 856039424 27738 4294967295 134512640 134569956 3221224368 3221214416 1131291143 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27738 13086 16 0 208978 0
vsize: 835976
[startup+810.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 79590 60 0 0 25 0 11 0 837166999 856039424 27738 4294967295 134512640 134569956 3221224368 3221214512 1131291422 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27738 13086 16 0 208978 0
vsize: 835976
[startup+820.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 80519 60 0 0 25 0 11 0 837166999 856039424 27824 4294967295 134512640 134569956 3221224368 3221214720 1131341198 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 27824 13086 16 0 208978 0
vsize: 835976
[startup+830.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 81461 60 0 0 25 0 11 0 837166999 856039424 28090 4294967295 134512640 134569956 3221224368 3221214632 1131329626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28090 13086 16 0 208978 0
vsize: 835976
[startup+840.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 82431 60 0 0 25 0 11 0 837166999 856039424 28421 4294967295 134512640 134569956 3221224368 3221214760 1131333798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28421 13086 16 0 208978 0
vsize: 835976
[startup+850.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 83425 60 0 0 25 0 11 0 837166999 856039424 28509 4294967295 134512640 134569956 3221224368 3221214720 1131340846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28509 13086 16 0 208978 0
vsize: 835976
[startup+860.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 84422 60 0 0 25 0 11 0 837166999 856039424 28509 4294967295 134512640 134569956 3221224368 3221214784 1131368389 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28509 13086 16 0 208978 0
vsize: 835976
[startup+870.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 85419 60 0 0 25 0 11 0 837166999 856039424 28511 4294967295 134512640 134569956 3221224368 3221214736 1131254228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28511 13086 16 0 208978 0
vsize: 835976
[startup+880.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 86416 60 0 0 25 0 11 0 837166999 856039424 28511 4294967295 134512640 134569956 3221224368 3221214720 1131340855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28511 13086 16 0 208978 0
vsize: 835976
[startup+890.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 87414 60 0 0 25 0 11 0 837166999 856039424 28512 4294967295 134512640 134569956 3221224368 3221214632 1131329360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28512 13086 16 0 208978 0
vsize: 835976
[startup+900.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 88412 60 0 0 25 0 11 0 837166999 856039424 28512 4294967295 134512640 134569956 3221224368 3221214632 1131329425 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28512 13086 16 0 208978 0
vsize: 835976
[startup+910.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 89408 60 0 0 25 0 11 0 837166999 856039424 28512 4294967295 134512640 134569956 3221224368 3221214616 1131397664 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28512 13086 16 0 208978 0
vsize: 835976
[startup+920.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 90402 60 0 0 25 0 11 0 837166999 856039424 28512 4294967295 134512640 134569956 3221224368 3221214760 1131333798 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28512 13086 16 0 208978 0
vsize: 835976
[startup+930.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 91393 60 0 0 25 0 11 0 837166999 856039424 28512 4294967295 134512640 134569956 3221224368 3221214632 1131227229 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28512 13086 16 0 208978 0
vsize: 835976
[startup+940.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 92384 60 0 0 25 0 11 0 837166999 856039424 28542 4294967295 134512640 134569956 3221224368 3221214632 1131329554 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28542 13086 16 0 208978 0
vsize: 835976
[startup+950.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 93380 60 0 0 25 0 11 0 837166999 856039424 28577 4294967295 134512640 134569956 3221224368 3221214736 1131254161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28577 13086 16 0 208978 0
vsize: 835976
[startup+960.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 94378 60 0 0 25 0 11 0 837166999 856039424 28577 4294967295 134512640 134569956 3221224368 3221214736 1131254161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28577 13086 16 0 208978 0
vsize: 835976
[startup+970.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 95374 61 0 0 25 0 11 0 837166999 856039424 28577 4294967295 134512640 134569956 3221224368 3221214720 1131340915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28577 13086 16 0 208978 0
vsize: 835976
[startup+980.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 96372 61 0 0 25 0 11 0 837166999 856039424 28577 4294967295 134512640 134569956 3221224368 3221214736 1131254165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28577 13086 16 0 208978 0
vsize: 835976
[startup+990.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 97369 61 0 0 25 0 11 0 837166999 856039424 28578 4294967295 134512640 134569956 3221224368 3221214736 1131254206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28578 13086 16 0 208978 0
vsize: 835976
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 98366 61 0 0 25 0 11 0 837166999 856039424 28579 4294967295 134512640 134569956 3221224368 3221214632 1131227644 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28579 13086 16 0 208978 0
vsize: 835976
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/64 1212
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 99360 62 0 0 25 0 11 0 837166999 856039424 28579 4294967295 134512640 134569956 3221224368 3221214736 1131254161 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28579 13086 16 0 208978 0
vsize: 835976
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/65 1213
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 100355 62 0 0 25 0 11 0 837166999 856039424 28580 4294967295 134512640 134569956 3221224368 3221214736 1131254144 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208994 28580 13086 16 0 208978 0
vsize: 835976
[startup+1030.04 s]
Raw data (loadavg): 1.07 1.00 1.00 2/64 1267
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 101342 66 0 0 25 0 11 0 837166999 856039424 28582 4294967295 134512640 134569956 3221224368 3221214736 1131254161 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28582 13086 16 0 208978 0
vsize: 835976
[startup+1040.04 s]
Raw data (loadavg): 1.06 1.00 1.00 2/64 1267
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 102338 66 0 0 25 0 11 0 837166999 856039424 28594 4294967295 134512640 134569956 3221224368 3221214632 1131329431 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28594 13086 16 0 208978 0
vsize: 835976
[startup+1050.04 s]
Raw data (loadavg): 1.05 1.00 1.00 2/64 1267
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 103335 67 0 0 25 0 11 0 837166999 856039424 28594 4294967295 134512640 134569956 3221224368 3221214632 1131330247 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28594 13086 16 0 208978 0
vsize: 835976
[startup+1060.05 s]
Raw data (loadavg): 1.04 1.00 1.00 2/64 1267
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 104332 67 0 0 25 0 11 0 837166999 856039424 28594 4294967295 134512640 134569956 3221224368 3221214632 1131329683 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28594 13086 16 0 208978 0
vsize: 835976
[startup+1070.04 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1267
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 105330 67 0 0 25 0 11 0 837166999 856039424 28594 4294967295 134512640 134569956 3221224368 3221214720 1131341220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28594 13086 16 0 208978 0
vsize: 835976
[startup+1080.05 s]
Raw data (loadavg): 1.03 1.00 1.00 2/64 1267
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 106327 67 0 0 25 0 11 0 837166999 856039424 28594 4294967295 134512640 134569956 3221224368 3221214720 1131341214 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28594 13086 16 0 208978 0
vsize: 835976
[startup+1090.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1267
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 107325 67 0 0 25 0 11 0 837166999 856039424 28595 4294967295 134512640 134569956 3221224368 3221214600 1131214213 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28595 13086 16 0 208978 0
vsize: 835976
[startup+1100.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 108323 67 0 0 25 0 11 0 837166999 856039424 28595 4294967295 134512640 134569956 3221224368 3221214520 1131404475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28595 13086 16 0 208978 0
vsize: 835976
[startup+1110.05 s]
Raw data (loadavg): 1.02 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 109321 67 0 0 25 0 11 0 837166999 856039424 28596 4294967295 134512640 134569956 3221224368 3221214512 1131291391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28596 13086 16 0 208978 0
vsize: 835976
[startup+1120.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 110318 67 0 0 25 0 11 0 837166999 856039424 28596 4294967295 134512640 134569956 3221224368 3221214720 1131341286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28596 13086 16 0 208978 0
vsize: 835976
[startup+1130.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 111313 67 0 0 25 0 11 0 837166999 856039424 28596 4294967295 134512640 134569956 3221224368 3221214632 1131329622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28596 13086 16 0 208978 0
vsize: 835976
[startup+1140.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 112307 67 0 0 25 0 11 0 837166999 856039424 28596 4294967295 134512640 134569956 3221224368 3221214632 1131329516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28596 13086 16 0 208978 0
vsize: 835976
[startup+1150.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 113302 68 0 0 25 0 11 0 837166999 856039424 28603 4294967295 134512640 134569956 3221224368 3221214720 1131341205 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28603 13086 16 0 208978 0
vsize: 835976
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 114294 68 0 0 25 0 11 0 837166999 856039424 28612 4294967295 134512640 134569956 3221224368 3221214632 1131329516 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28612 13086 16 0 208978 0
vsize: 835976
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 115285 68 0 0 25 0 11 0 837166999 856039424 28613 4294967295 134512640 134569956 3221224368 3221214720 1131340972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28613 13086 16 0 208978 0
vsize: 835976
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 116278 68 0 0 25 0 11 0 837166999 856039424 28613 4294967295 134512640 134569956 3221224368 3221214720 1131341036 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28613 13086 16 0 208978 0
vsize: 835976
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 117272 68 0 0 25 0 11 0 837166999 856039424 28668 4294967295 134512640 134569956 3221224368 3221214632 1131330918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28668 13086 16 0 208978 0
vsize: 835976
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 118270 68 0 0 25 0 11 0 837166999 856039424 28669 4294967295 134512640 134569956 3221224368 3221214736 1131254263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28669 13086 16 0 208978 0
vsize: 835976
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 119268 68 0 0 25 0 11 0 837166999 856039424 28669 4294967295 134512640 134569956 3221224368 3221214720 1131340878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28669 13086 16 0 208978 0
vsize: 835976
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 1269
Raw data (stat): 1202 (java) R 1201 23310 23309 0 -1 0 18062 0 1 0 120266 68 0 0 25 0 11 0 837166999 856039424 28669 4294967295 134512640 134569956 3221224368 3221214720 1131340968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208994 28669 13086 16 0 208978 0
vsize: 835976
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 1271
Raw data (stat): 1202 (java) Z 1201 23310 23309 0 -1 1036 18062 12370 1 0 120269 73 2491 39 25 0 1 0 837166999 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): 1220.13
CPU time (s): 1228.74
CPU user time (s): 1227.61
CPU system time (s): 1.13883
CPU usage (%): 100.706
Max. virtual memory (Kb): 836800
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####