PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-modglob.opb
MD5SUM	6a1cb641fd0d264267e84120b98acbe3
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	6578
Biggest coefficient in the objective function	21493710848000000
Number of bits for the biggest coefficient in the objective function	55
Sum of the numbers in the objective function	1450509811657714210
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	21493710848000000
Number of bits of the biggest number in a constraint	55
Biggest sum of numbers in a constraint	1450509811657714210
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.06299
Number of variables	6578
Total number of constraints	389
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	98
Number of constraints which are nor clauses,nor cardinality constraints	291
Minimum length of a constraint	1
Maximum length of a constraint	180
Trace number 29928

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 12:51:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=21325 boxname=wulflinc22 idbench=1313 idsolver=14 numberseed=0
MD5SUM SOLVER: d29da23ec752be69e0579424c0f0767e  /oldhome/oroussel/solvers/sat4jPseudoBis.jar
MD5SUM BENCH:  6a1cb641fd0d264267e84120b98acbe3  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-modglob.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudoBis.jar /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-modglob.opb
IDLAUNCH: 21325
/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:        642976 kB
Buffers:         33340 kB
Cached:         335908 kB
SwapCached:        400 kB
Active:          61964 kB
Inactive:       309496 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        642724 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            14572 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 13:12:02 (client local time) WITH STATUS 143 IN 1217.02 SECONDS
stats: 21325 7 1217.02 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-13-7-modglob.opb
c reading problem ... done. Time 16.744 ms.
c #vars     6578
c #constraints  384
c starts	: 3
c conflicts	: 474
c decisions	: 10355
c propagations	: 35245
c inspects	: 5215463
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 474
c root simplifications	: 472
s UNKNOWN
c Total CPU time (ms) : 1219.1
#### 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.85 0.97 0.99 2/54 3608
Raw data (stat): 3608 (runsolver) R 3607 23310 23309 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 839018877 1052672 97 4294967295 134512640 135381576 3221224400 3221219840 134514522 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+10.0001 s]
Raw data (loadavg): 0.95 0.98 0.99 2/63 3617
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18012 0 1 0 864 38 0 0 25 0 10 0 839018877 857018368 20116 4294967295 134512640 134569956 3221224368 3221214344 1079276148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209233 20116 13086 16 0 209217 0
vsize: 836932
[startup+20.0003 s]
Raw data (loadavg): 1.04 1.00 1.00 4/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18065 0 1 0 1738 39 0 0 25 0 11 0 839018877 861847552 21535 4294967295 134512640 134569956 3221224368 3221214432 1076879008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210412 21535 13086 16 0 210396 0
vsize: 841648
[startup+30.0017 s]
Raw data (loadavg): 1.26 1.05 1.02 3/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 2502 40 0 0 25 0 11 0 839018877 874827776 25862 4294967295 134512640 134569956 3221224368 3221214552 1131338784 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213581 25862 13086 16 0 213565 0
vsize: 854324
[startup+40.0023 s]
Raw data (loadavg): 1.37 1.08 1.03 3/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 3379 40 0 0 25 0 11 0 839018877 882270208 27603 4294967295 134512640 134569956 3221224368 3221214552 1131339367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 215398 27603 13086 16 0 215382 0
vsize: 861592
[startup+50.0025 s]
Raw data (loadavg): 1.39 1.09 1.03 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 4273 40 0 0 25 0 11 0 839018877 873582592 25801 4294967295 134512640 134569956 3221224368 3221214552 1131338878 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213277 25801 13086 16 0 213261 0
vsize: 853108
[startup+60.0027 s]
Raw data (loadavg): 1.33 1.09 1.03 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 5222 40 0 0 25 0 11 0 839018877 872501248 26311 4294967295 134512640 134569956 3221224368 3221214552 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213013 26311 13086 16 0 212997 0
vsize: 852052
[startup+70.0034 s]
Raw data (loadavg): 1.28 1.09 1.03 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 6212 41 0 0 25 0 11 0 839018877 872075264 26248 4294967295 134512640 134569956 3221224368 3221214552 1131338405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 26248 13086 16 0 212893 0
vsize: 851636
[startup+80.0037 s]
Raw data (loadavg): 1.23 1.08 1.03 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 7203 41 0 0 25 0 11 0 839018877 872075264 26270 4294967295 134512640 134569956 3221224368 3221214656 1131431528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 26270 13086 16 0 212893 0
vsize: 851636
[startup+90.0048 s]
Raw data (loadavg): 1.20 1.08 1.03 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 8193 41 0 0 25 0 11 0 839018877 872075264 26288 4294967295 134512640 134569956 3221224368 3221214648 1131432558 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 26288 13086 16 0 212893 0
vsize: 851636
[startup+100.006 s]
Raw data (loadavg): 1.17 1.08 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 9182 42 0 0 25 0 11 0 839018877 869072896 25600 4294967295 134512640 134569956 3221224368 3221214648 1131431540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25600 13086 16 0 212160 0
vsize: 848704
[startup+110.006 s]
Raw data (loadavg): 1.14 1.07 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 10173 42 0 0 25 0 11 0 839018877 869072896 25633 4294967295 134512640 134569956 3221224368 3221214648 1131437405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25633 13086 16 0 212160 0
vsize: 848704
[startup+120.007 s]
Raw data (loadavg): 1.12 1.07 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 11160 43 0 0 24 0 11 0 839018877 869072896 25651 4294967295 134512640 134569956 3221224368 3221214456 1131242791 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25651 13086 16 0 212160 0
vsize: 848704
[startup+130.008 s]
Raw data (loadavg): 1.10 1.07 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 12152 43 0 0 25 0 11 0 839018877 869072896 25662 4294967295 134512640 134569956 3221224368 3221214648 1131431531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25662 13086 16 0 212160 0
vsize: 848704
[startup+140.008 s]
Raw data (loadavg): 1.08 1.07 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 13145 43 0 0 25 0 11 0 839018877 869072896 25673 4294967295 134512640 134569956 3221224368 3221214544 1131339418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25673 13086 16 0 212160 0
vsize: 848704
[startup+150.009 s]
Raw data (loadavg): 1.07 1.06 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 14137 44 0 0 25 0 11 0 839018877 869072896 25683 4294967295 134512640 134569956 3221224368 3221214544 1131339364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25683 13086 16 0 212160 0
vsize: 848704
[startup+160.009 s]
Raw data (loadavg): 1.06 1.06 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 15130 44 0 0 25 0 11 0 839018877 869072896 25692 4294967295 134512640 134569956 3221224368 3221214544 1131338485 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25692 13086 16 0 212160 0
vsize: 848704
[startup+170.009 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 16122 45 0 0 25 0 11 0 839018877 869072896 25702 4294967295 134512640 134569956 3221224368 3221214456 1131242756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25702 13086 16 0 212160 0
vsize: 848704
[startup+180.009 s]
Raw data (loadavg): 1.04 1.06 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 17115 45 0 0 25 0 11 0 839018877 869072896 25710 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25710 13086 16 0 212160 0
vsize: 848704
[startup+190.011 s]
Raw data (loadavg): 1.04 1.05 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 18108 46 0 0 25 0 11 0 839018877 869072896 25718 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25718 13086 16 0 212160 0
vsize: 848704
[startup+200.011 s]
Raw data (loadavg): 1.10 1.07 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 19101 46 0 0 25 0 11 0 839018877 869072896 25725 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25725 13086 16 0 212160 0
vsize: 848704
[startup+210.011 s]
Raw data (loadavg): 1.09 1.06 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 20094 46 0 0 25 0 11 0 839018877 869072896 25733 4294967295 134512640 134569956 3221224368 3221214648 1131432773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25733 13086 16 0 212160 0
vsize: 848704
[startup+220.012 s]
Raw data (loadavg): 1.15 1.08 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 21087 46 0 0 25 0 11 0 839018877 869072896 25740 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25740 13086 16 0 212160 0
vsize: 848704
[startup+230.012 s]
Raw data (loadavg): 1.13 1.08 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 22080 47 0 0 25 0 11 0 839018877 869072896 25748 4294967295 134512640 134569956 3221224368 3221214544 1131338845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25748 13086 16 0 212160 0
vsize: 848704
[startup+240.014 s]
Raw data (loadavg): 1.11 1.07 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 23070 47 0 0 25 0 11 0 839018877 869072896 25755 4294967295 134512640 134569956 3221224368 3221214544 1131338412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25755 13086 16 0 212160 0
vsize: 848704
[startup+250.014 s]
Raw data (loadavg): 1.09 1.07 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 24059 47 0 0 25 0 11 0 839018877 869072896 25762 4294967295 134512640 134569956 3221224368 3221214648 1131432813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25762 13086 16 0 212160 0
vsize: 848704
[startup+260.015 s]
Raw data (loadavg): 1.08 1.07 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18099 0 1 0 25047 48 0 0 25 0 11 0 839018877 869072896 25779 4294967295 134512640 134569956 3221224368 3221214544 1131338594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25779 13086 16 0 212160 0
vsize: 848704
[startup+270.016 s]
Raw data (loadavg): 1.14 1.08 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 26038 48 0 0 25 0 11 0 839018877 869072896 25826 4294967295 134512640 134569956 3221224368 3221214544 1131338770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25826 13086 16 0 212160 0
vsize: 848704
[startup+280.016 s]
Raw data (loadavg): 1.12 1.08 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 27030 48 0 0 25 0 11 0 839018877 869072896 25837 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25837 13086 16 0 212160 0
vsize: 848704
[startup+290.018 s]
Raw data (loadavg): 1.10 1.07 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 28022 49 0 0 25 0 11 0 839018877 869072896 25843 4294967295 134512640 134569956 3221224368 3221214544 1131338751 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25843 13086 16 0 212160 0
vsize: 848704
[startup+300.018 s]
Raw data (loadavg): 1.09 1.07 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 29015 49 0 0 25 0 11 0 839018877 869072896 25848 4294967295 134512640 134569956 3221224368 3221214544 1131338852 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25848 13086 16 0 212160 0
vsize: 848704
[startup+310.018 s]
Raw data (loadavg): 1.07 1.07 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 30007 49 0 0 25 0 11 0 839018877 869072896 25857 4294967295 134512640 134569956 3221224368 3221214544 1131338838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25857 13086 16 0 212160 0
vsize: 848704
[startup+320.018 s]
Raw data (loadavg): 1.06 1.07 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 30999 49 0 0 25 0 11 0 839018877 869072896 25862 4294967295 134512640 134569956 3221224368 3221214648 1131432813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25862 13086 16 0 212160 0
vsize: 848704
[startup+330.019 s]
Raw data (loadavg): 1.05 1.06 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 31992 50 0 0 25 0 11 0 839018877 869072896 25868 4294967295 134512640 134569956 3221224368 3221214544 1131339799 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25868 13086 16 0 212160 0
vsize: 848704
[startup+340.02 s]
Raw data (loadavg): 1.04 1.06 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 32985 50 0 0 25 0 11 0 839018877 869072896 25873 4294967295 134512640 134569956 3221224368 3221214544 1131338405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25873 13086 16 0 212160 0
vsize: 848704
[startup+350.02 s]
Raw data (loadavg): 1.04 1.06 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 33977 51 0 0 25 0 11 0 839018877 869072896 25879 4294967295 134512640 134569956 3221224368 3221214648 1131431528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25879 13086 16 0 212160 0
vsize: 848704
[startup+360.021 s]
Raw data (loadavg): 1.03 1.06 1.02 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 34970 51 0 0 25 0 11 0 839018877 869072896 25884 4294967295 134512640 134569956 3221224368 3221214544 1131338405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25884 13086 16 0 212160 0
vsize: 848704
[startup+370.021 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 35963 51 0 0 25 0 11 0 839018877 869072896 25890 4294967295 134512640 134569956 3221224368 3221214544 1131338405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25890 13086 16 0 212160 0
vsize: 848704
[startup+380.022 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 36956 51 0 0 25 0 11 0 839018877 869072896 25895 4294967295 134512640 134569956 3221224368 3221214648 1131436502 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25895 13086 16 0 212160 0
vsize: 848704
[startup+390.022 s]
Raw data (loadavg): 1.02 1.05 1.01 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 37949 51 0 0 25 0 11 0 839018877 869072896 25901 4294967295 134512640 134569956 3221224368 3221214648 1131432838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25901 13086 16 0 212160 0
vsize: 848704
[startup+400.023 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 38943 51 0 0 25 0 11 0 839018877 869072896 25905 4294967295 134512640 134569956 3221224368 3221214648 1131432861 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25905 13086 16 0 212160 0
vsize: 848704
[startup+410.023 s]
Raw data (loadavg): 1.01 1.05 1.01 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 39935 52 0 0 25 0 11 0 839018877 869072896 25910 4294967295 134512640 134569956 3221224368 3221214648 1131436384 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25910 13086 16 0 212160 0
vsize: 848704
[startup+420.023 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 40926 52 0 0 25 0 11 0 839018877 869072896 25919 4294967295 134512640 134569956 3221224368 3221214544 1131338476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212176 25919 13086 16 0 212160 0
vsize: 848704
[startup+430.024 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 41920 52 0 0 25 0 11 0 839018877 869072896 25923 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212176 25923 13086 16 0 212160 0
vsize: 848704
[startup+440.025 s]
Raw data (loadavg): 1.01 1.04 1.01 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 42913 53 0 0 25 0 11 0 839018877 869072896 25928 4294967295 134512640 134569956 3221224368 3221214544 1131339066 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25928 13086 16 0 212160 0
vsize: 848704
[startup+450.025 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 43905 53 0 0 25 0 11 0 839018877 869072896 25932 4294967295 134512640 134569956 3221224368 3221214544 1131339367 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212176 25932 13086 16 0 212160 0
vsize: 848704
[startup+460.025 s]
Raw data (loadavg): 1.00 1.04 1.01 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 44899 53 0 0 25 0 11 0 839018877 869072896 25938 4294967295 134512640 134569956 3221224368 3221214648 1131433700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212176 25938 13086 16 0 212160 0
vsize: 848704
[startup+470.026 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 45892 54 0 0 25 0 11 0 839018877 869072896 25942 4294967295 134512640 134569956 3221224368 3221214824 1131202969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212176 25942 13086 16 0 212160 0
vsize: 848704
[startup+480.027 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 46885 54 0 0 25 0 11 0 839018877 869072896 25946 4294967295 134512640 134569956 3221224368 3221214456 1131243796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25946 13086 16 0 212160 0
vsize: 848704
[startup+490.027 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 47878 54 0 0 25 0 11 0 839018877 869072896 25950 4294967295 134512640 134569956 3221224368 3221214648 1131432813 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212176 25950 13086 16 0 212160 0
vsize: 848704
[startup+500.028 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3618
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 48871 54 0 0 25 0 11 0 839018877 869072896 25955 4294967295 134512640 134569956 3221224368 3221214648 1131436646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212176 25955 13086 16 0 212160 0
vsize: 848704
[startup+510.027 s]
Raw data (loadavg): 1.16 1.06 1.01 2/64 3671
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 49842 72 0 0 25 0 11 0 839018877 869072896 25959 4294967295 134512640 134569956 3221224368 3221214648 1131431528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25959 13086 16 0 212160 0
vsize: 848704
[startup+520.029 s]
Raw data (loadavg): 1.13 1.06 1.01 2/64 3671
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 50835 72 0 0 25 0 11 0 839018877 869072896 25963 4294967295 134512640 134569956 3221224368 3221214824 1131202969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25963 13086 16 0 212160 0
vsize: 848704
[startup+530.029 s]
Raw data (loadavg): 1.11 1.06 1.01 2/64 3671
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 51828 72 0 0 25 0 11 0 839018877 869072896 25967 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25967 13086 16 0 212160 0
vsize: 848704
[startup+540.031 s]
Raw data (loadavg): 1.10 1.05 1.01 2/64 3671
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 52820 73 0 0 25 0 11 0 839018877 869072896 25971 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25971 13086 16 0 212160 0
vsize: 848704
[startup+550.032 s]
Raw data (loadavg): 1.08 1.05 1.01 2/64 3671
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 53813 73 0 0 25 0 11 0 839018877 869072896 25975 4294967295 134512640 134569956 3221224368 3221214648 1131436597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25975 13086 16 0 212160 0
vsize: 848704
[startup+560.031 s]
Raw data (loadavg): 1.07 1.05 1.01 2/64 3671
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 54806 73 0 0 25 0 11 0 839018877 869072896 25980 4294967295 134512640 134569956 3221224368 3221214544 1131339020 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25980 13086 16 0 212160 0
vsize: 848704
[startup+570.032 s]
Raw data (loadavg): 1.06 1.05 1.01 2/64 3671
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 55799 73 0 0 25 0 11 0 839018877 869072896 25983 4294967295 134512640 134569956 3221224368 3221214648 1131431593 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25983 13086 16 0 212160 0
vsize: 848704
[startup+580.032 s]
Raw data (loadavg): 1.05 1.05 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 56792 73 0 0 25 0 11 0 839018877 869072896 25988 4294967295 134512640 134569956 3221224368 3221214544 1131339361 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25988 13086 16 0 212160 0
vsize: 848704
[startup+590.033 s]
Raw data (loadavg): 1.04 1.04 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 57784 73 0 0 25 0 11 0 839018877 869072896 25993 4294967295 134512640 134569956 3221224368 3221214648 1131436491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25993 13086 16 0 212160 0
vsize: 848704
[startup+600.033 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 58777 73 0 0 25 0 11 0 839018877 869072896 25996 4294967295 134512640 134569956 3221224368 3221214648 1131431597 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 25996 13086 16 0 212160 0
vsize: 848704
[startup+610.034 s]
Raw data (loadavg): 1.03 1.04 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 59770 73 0 0 25 0 11 0 839018877 869072896 26000 4294967295 134512640 134569956 3221224368 3221214648 1131431531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26000 13086 16 0 212160 0
vsize: 848704
[startup+620.035 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 60763 73 0 0 25 0 11 0 839018877 869072896 26004 4294967295 134512640 134569956 3221224368 3221214544 1131339165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26004 13086 16 0 212160 0
vsize: 848704
[startup+630.035 s]
Raw data (loadavg): 1.02 1.04 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 61756 73 0 0 25 0 11 0 839018877 869072896 26008 4294967295 134512640 134569956 3221224368 3221214544 1131338854 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212176 26008 13086 16 0 212160 0
vsize: 848704
[startup+640.036 s]
Raw data (loadavg): 1.02 1.03 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 62748 73 0 0 25 0 11 0 839018877 869072896 26012 4294967295 134512640 134569956 3221224368 3221214544 1131339476 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26012 13086 16 0 212160 0
vsize: 848704
[startup+650.037 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 63741 73 0 0 25 0 11 0 839018877 869072896 26016 4294967295 134512640 134569956 3221224368 3221214544 1131339461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26016 13086 16 0 212160 0
vsize: 848704
[startup+660.037 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 64734 73 0 0 25 0 11 0 839018877 869072896 26020 4294967295 134512640 134569956 3221224368 3221214544 1131338796 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26020 13086 16 0 212160 0
vsize: 848704
[startup+670.037 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 65727 73 0 0 25 0 11 0 839018877 869072896 26022 4294967295 134512640 134569956 3221224368 3221214544 1131339320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26022 13086 16 0 212160 0
vsize: 848704
[startup+680.038 s]
Raw data (loadavg): 1.01 1.03 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 66720 73 0 0 25 0 11 0 839018877 869072896 26027 4294967295 134512640 134569956 3221224368 3221214544 1131338409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26027 13086 16 0 212160 0
vsize: 848704
[startup+690.038 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 67712 73 0 0 25 0 11 0 839018877 869072896 26030 4294967295 134512640 134569956 3221224368 3221214544 1131339257 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26030 13086 16 0 212160 0
vsize: 848704
[startup+700.038 s]
Raw data (loadavg): 1.00 1.03 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 68704 73 0 0 25 0 11 0 839018877 869072896 26034 4294967295 134512640 134569956 3221224368 3221214544 1131338811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26034 13086 16 0 212160 0
vsize: 848704
[startup+710.039 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 69696 74 0 0 25 0 11 0 839018877 869072896 26037 4294967295 134512640 134569956 3221224368 3221214544 1131339156 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26037 13086 16 0 212160 0
vsize: 848704
[startup+720.04 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 70689 74 0 0 25 0 11 0 839018877 869072896 26041 4294967295 134512640 134569956 3221224368 3221214648 1131431531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26041 13086 16 0 212160 0
vsize: 848704
[startup+730.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 71682 74 0 0 25 0 11 0 839018877 869072896 26044 4294967295 134512640 134569956 3221224368 3221214644 1131338387 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26044 13086 16 0 212160 0
vsize: 848704
[startup+740.041 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 72674 74 0 0 25 0 11 0 839018877 869072896 26048 4294967295 134512640 134569956 3221224368 3221214544 1131338405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26048 13086 16 0 212160 0
vsize: 848704
[startup+750.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 73667 74 0 0 25 0 11 0 839018877 869072896 26052 4294967295 134512640 134569956 3221224368 3221214648 1131433709 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26052 13086 16 0 212160 0
vsize: 848704
[startup+760.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 74659 74 0 0 25 0 11 0 839018877 869072896 26054 4294967295 134512640 134569956 3221224368 3221214544 1131338788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26054 13086 16 0 212160 0
vsize: 848704
[startup+770.042 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 75652 74 0 0 25 0 11 0 839018877 869072896 26059 4294967295 134512640 134569956 3221224368 3221214384 1131568785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26059 13086 16 0 212160 0
vsize: 848704
[startup+780.043 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 76644 74 0 0 25 0 11 0 839018877 869072896 26061 4294967295 134512640 134569956 3221224368 3221214544 1131339364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26061 13086 16 0 212160 0
vsize: 848704
[startup+790.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 77637 74 0 0 25 0 11 0 839018877 869072896 26065 4294967295 134512640 134569956 3221224368 3221214540 1131242720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26065 13086 16 0 212160 0
vsize: 848704
[startup+800.045 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 78629 74 0 0 25 0 11 0 839018877 869072896 26068 4294967295 134512640 134569956 3221224368 3221214544 1131338405 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26068 13086 16 0 212160 0
vsize: 848704
[startup+810.044 s]
Raw data (loadavg): 1.00 1.02 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 79621 74 0 0 25 0 11 0 839018877 869072896 26072 4294967295 134512640 134569956 3221224368 3221214544 1131338848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26072 13086 16 0 212160 0
vsize: 848704
[startup+820.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 80614 74 0 0 25 0 11 0 839018877 869072896 26076 4294967295 134512640 134569956 3221224368 3221214648 1131431531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26076 13086 16 0 212160 0
vsize: 848704
[startup+830.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3673
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 81606 74 0 0 25 0 11 0 839018877 869072896 26079 4294967295 134512640 134569956 3221224368 3221214544 1131338743 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26079 13086 16 0 212160 0
vsize: 848704
[startup+840.045 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 82597 75 0 0 25 0 11 0 839018877 869072896 26081 4294967295 134512640 134569956 3221224368 3221214544 1131338811 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26081 13086 16 0 212160 0
vsize: 848704
[startup+850.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 83582 75 0 0 25 0 11 0 839018877 869072896 26086 4294967295 134512640 134569956 3221224368 3221214544 1131338677 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26086 13086 16 0 212160 0
vsize: 848704
[startup+860.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 84568 75 0 0 25 0 11 0 839018877 869072896 26096 4294967295 134512640 134569956 3221224368 3221214544 1131339046 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26096 13086 16 0 212160 0
vsize: 848704
[startup+870.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 85556 75 0 0 25 0 11 0 839018877 869072896 26170 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26170 13086 16 0 212160 0
vsize: 848704
[startup+880.046 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 86548 75 0 0 25 0 11 0 839018877 869072896 26175 4294967295 134512640 134569956 3221224368 3221214648 1131431365 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26175 13086 16 0 212160 0
vsize: 848704
[startup+890.047 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 87539 75 0 0 25 0 11 0 839018877 869072896 26179 4294967295 134512640 134569956 3221224368 3221214544 1131338491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26179 13086 16 0 212160 0
vsize: 848704
[startup+900.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 88531 75 0 0 25 0 11 0 839018877 869072896 26187 4294967295 134512640 134569956 3221224368 3221214648 1131431528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26187 13086 16 0 212160 0
vsize: 848704
[startup+910.048 s]
Raw data (loadavg): 1.00 1.01 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 89523 75 0 0 25 0 11 0 839018877 869072896 26189 4294967295 134512640 134569956 3221224368 3221214544 1131339339 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26189 13086 16 0 212160 0
vsize: 848704
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 90515 75 0 0 25 0 11 0 839018877 869072896 26192 4294967295 134512640 134569956 3221224368 3221214544 1131338409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26192 13086 16 0 212160 0
vsize: 848704
[startup+930.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 91507 75 0 0 25 0 11 0 839018877 869072896 26197 4294967295 134512640 134569956 3221224368 3221214648 1131431531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26197 13086 16 0 212160 0
vsize: 848704
[startup+940.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 92498 76 0 0 25 0 11 0 839018877 869072896 26200 4294967295 134512640 134569956 3221224368 3221214544 1131339320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26200 13086 16 0 212160 0
vsize: 848704
[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 93490 76 0 0 25 0 11 0 839018877 869072896 26204 4294967295 134512640 134569956 3221224368 3221214648 1131431563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26204 13086 16 0 212160 0
vsize: 848704
[startup+960.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 94482 76 0 0 25 0 11 0 839018877 869072896 26207 4294967295 134512640 134569956 3221224368 3221214648 1131431531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26207 13086 16 0 212160 0
vsize: 848704
[startup+970.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 95474 76 0 0 25 0 11 0 839018877 869072896 26209 4294967295 134512640 134569956 3221224368 3221214648 1131432813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26209 13086 16 0 212160 0
vsize: 848704
[startup+980.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 96465 76 0 0 25 0 11 0 839018877 869072896 26212 4294967295 134512640 134569956 3221224368 3221214824 1131202969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26212 13086 16 0 212160 0
vsize: 848704
[startup+990.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 97457 76 0 0 25 0 11 0 839018877 869072896 26215 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26215 13086 16 0 212160 0
vsize: 848704
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 98449 76 0 0 25 0 11 0 839018877 869072896 26219 4294967295 134512640 134569956 3221224368 3221214544 1131338838 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26219 13086 16 0 212160 0
vsize: 848704
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 99439 76 0 0 25 0 11 0 839018877 869072896 26223 4294967295 134512640 134569956 3221224368 3221214544 1131338753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26223 13086 16 0 212160 0
vsize: 848704
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 100430 76 0 0 25 0 11 0 839018877 869072896 26225 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26225 13086 16 0 212160 0
vsize: 848704
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 101421 76 0 0 25 0 11 0 839018877 869072896 26228 4294967295 134512640 134569956 3221224368 3221214544 1131338813 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26228 13086 16 0 212160 0
vsize: 848704
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 102412 76 0 0 25 0 11 0 839018877 869072896 26243 4294967295 134512640 134569956 3221224368 3221214544 1131338480 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26243 13086 16 0 212160 0
vsize: 848704
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 103404 76 0 0 25 0 11 0 839018877 869072896 26245 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26245 13086 16 0 212160 0
vsize: 848704
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 104396 76 0 0 25 0 11 0 839018877 869072896 26248 4294967295 134512640 134569956 3221224368 3221214544 1131339444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26248 13086 16 0 212160 0
vsize: 848704
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 105387 76 0 0 25 0 11 0 839018877 869072896 26250 4294967295 134512640 134569956 3221224368 3221214824 1131202969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26250 13086 16 0 212160 0
vsize: 848704
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 106379 76 0 0 25 0 11 0 839018877 869072896 26253 4294967295 134512640 134569956 3221224368 3221214544 1131339350 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26253 13086 16 0 212160 0
vsize: 848704
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 107370 76 0 0 25 0 11 0 839018877 869072896 26257 4294967295 134512640 134569956 3221224368 3221214544 1131338483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26257 13086 16 0 212160 0
vsize: 848704
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 108361 76 0 0 25 0 11 0 839018877 869072896 26260 4294967295 134512640 134569956 3221224368 3221214648 1131436407 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26260 13086 16 0 212160 0
vsize: 848704
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 109353 76 0 0 25 0 11 0 839018877 869072896 26262 4294967295 134512640 134569956 3221224368 3221214648 1131433501 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26262 13086 16 0 212160 0
vsize: 848704
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 110344 76 0 0 25 0 11 0 839018877 869072896 26265 4294967295 134512640 134569956 3221224368 3221214544 1131338461 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26265 13086 16 0 212160 0
vsize: 848704
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 111336 76 0 0 25 0 11 0 839018877 869072896 26267 4294967295 134512640 134569956 3221224368 3221214456 1131242744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26267 13086 16 0 212160 0
vsize: 848704
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 112327 76 0 0 25 0 11 0 839018877 869072896 26270 4294967295 134512640 134569956 3221224368 3221214488 1131270569 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26270 13086 16 0 212160 0
vsize: 848704
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 113318 77 0 0 25 0 11 0 839018877 869072896 26273 4294967295 134512640 134569956 3221224368 3221214544 1131338761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26273 13086 16 0 212160 0
vsize: 848704
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 114309 77 0 0 25 0 11 0 839018877 869072896 26276 4294967295 134512640 134569956 3221224368 3221214540 1131242720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26276 13086 16 0 212160 0
vsize: 848704
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 115301 77 0 0 25 0 11 0 839018877 869072896 26278 4294967295 134512640 134569956 3221224368 3221214544 1131338430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26278 13086 16 0 212160 0
vsize: 848704
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 116293 77 0 0 25 0 11 0 839018877 869072896 26281 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26281 13086 16 0 212160 0
vsize: 848704
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 117284 77 0 0 25 0 11 0 839018877 869072896 26285 4294967295 134512640 134569956 3221224368 3221214544 1131338717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26285 13086 16 0 212160 0
vsize: 848704
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 118275 77 0 0 25 0 11 0 839018877 869072896 26287 4294967295 134512640 134569956 3221224368 3221214544 1131339418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26287 13086 16 0 212160 0
vsize: 848704
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 119266 77 0 0 25 0 11 0 839018877 869072896 26291 4294967295 134512640 134569956 3221224368 3221214544 1131338881 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26291 13086 16 0 212160 0
vsize: 848704
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/64 3675
Raw data (stat): 3608 (java) R 3607 23310 23309 0 -1 0 18100 0 1 0 120257 77 0 0 25 0 11 0 839018877 869072896 26294 4294967295 134512640 134569956 3221224368 3221214544 1131338841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212176 26294 13086 16 0 212160 0
vsize: 848704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.14 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3677
Raw data (stat): 3608 (java) Z 3607 23310 23309 0 -1 1036 18100 4212 1 0 120260 77 1340 23 25 0 1 0 839018877 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.14
CPU time (s): 1217.02
CPU user time (s): 1216
CPU system time (s): 1.01484
CPU usage (%): 99.7443
Max. virtual memory (Kb): 861592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####