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/submitted/aloul/FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb
MD5SUM	159220fb0573bb17ad11cefe6a440cec
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	11
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.040992
Number of variables	120
Total number of constraints	106
Number of constraints which are clauses	88
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	10
Trace number 4205

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-04-13 15:52:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=207 boxname=wulflinc31 idbench=23 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  159220fb0573bb17ad11cefe6a440cec  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_8_sat_pb.cnf.cr.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_8_sat_pb.cnf.cr.opb
IDLAUNCH: 207
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        937536 kB
Buffers:         32860 kB
Cached:          26044 kB
SwapCached:        392 kB
Active:          27844 kB
Inactive:        34284 kB
HighTotal:      131008 kB
HighFree:       100716 kB
LowTotal:       903652 kB
LowFree:        836820 kB
SwapTotal:     2097892 kB
SwapFree:      2097452 kB
Dirty:              16 kB
Writeback:           0 kB
Mapped:           6832 kB
Slab:            29492 kB
Committed_AS:    63488 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:13:42 (client local time) WITH STATUS 143 IN  SECONDS
stats: 207 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc31/normalized-fpga10_8_sat_pb.cnf.cr.opb
c reading problem 
c [nbvar=120]
c [nbconstr=106]
c time 1.872
c #vars     120
c #clauses  106
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.33 0.08 0.02 2/54 23220
Raw data (stat): 23220 (runsolver) R 23219 23176 23175 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477164091 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0056 s]
Raw data (loadavg): 0.44 0.11 0.03 1/54 23220
Raw data (stat): 23220 (java) D 23219 23176 23175 0 -1 0 593 0 14 0 0 2 0 0 18 0 1 0 477164091 11960320 431 4294967295 134512640 134569956 3221224400 3221214924 1080152000 0 0 7 0 3222515881 0 0 17 0 0 0
Raw data (statm): 2920 431 1782 16 0 2904 0
vsize: 11680
[startup+23.3863 s]
Raw data (loadavg): 0.52 0.14 0.04 1/63 23229
Raw data (stat): 23220 (java) D 23219 23176 23175 0 -1 0 2797 0 69 0 46 9 0 0 20 0 10 0 477164091 852508672 2684 4294967295 134512640 134569956 3221224400 3221206660 1085782085 0 4 3 23756 3222515881 0 0 17 0 0 0
Raw data (statm): 208132 2684 13073 16 0 208116 0
vsize: 832528
[startup+33.3923 s]
Raw data (loadavg): 0.76 0.20 0.06 4/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 8041 0 79 0 395 27 0 0 25 0 11 0 477164091 869019648 11818 4294967295 134512640 134569956 3221224400 3221214444 1130908320 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212163 11818 13073 16 0 212147 0
vsize: 848652
[startup+43.4001 s]
Raw data (loadavg): 1.10 0.29 0.10 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18010 0 79 0 966 51 0 0 25 0 11 0 477164091 868839424 22453 4294967295 134512640 134569956 3221224400 3221214840 1131160466 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 22453 13073 16 0 212103 0
vsize: 848476
[startup+53.4006 s]
Raw data (loadavg): 1.08 0.31 0.10 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18010 0 79 0 1940 51 0 0 25 0 11 0 477164091 868839424 22922 4294967295 134512640 134569956 3221224400 3221214288 1131495696 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 22922 13073 16 0 212103 0
vsize: 848476
[startup+63.4047 s]
Raw data (loadavg): 1.07 0.33 0.11 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 2909 51 0 0 25 0 11 0 477164091 868839424 23316 4294967295 134512640 134569956 3221224400 3221214784 1131357790 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 23316 13073 16 0 212103 0
vsize: 848476
[startup+73.4046 s]
Raw data (loadavg): 1.06 0.36 0.12 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 3875 51 0 0 25 0 11 0 477164091 868839424 23614 4294967295 134512640 134569956 3221224400 3221214240 1131495414 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 23614 13073 16 0 212103 0
vsize: 848476
[startup+83.4056 s]
Raw data (loadavg): 1.05 0.38 0.13 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 4843 51 0 0 25 0 11 0 477164091 868839424 23871 4294967295 134512640 134569956 3221224400 3221214440 1131423612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 23871 13073 16 0 212103 0
vsize: 848476
[startup+93.4054 s]
Raw data (loadavg): 1.04 0.40 0.14 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 5822 51 0 0 25 0 11 0 477164091 868839424 24050 4294967295 134512640 134569956 3221224400 3221213968 1131423693 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24050 13073 16 0 212103 0
vsize: 848476
[startup+103.406 s]
Raw data (loadavg): 1.04 0.42 0.15 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 6791 51 0 0 25 0 11 0 477164091 868839424 24131 4294967295 134512640 134569956 3221224400 3221214136 1131423564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24131 13073 16 0 212103 0
vsize: 848476
[startup+113.407 s]
Raw data (loadavg): 1.03 0.43 0.16 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 7770 51 0 0 25 0 11 0 477164091 868839424 24172 4294967295 134512640 134569956 3221224400 3221214544 1131437564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24172 13073 16 0 212103 0
vsize: 848476
[startup+123.407 s]
Raw data (loadavg): 1.02 0.45 0.17 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 8750 51 0 0 25 0 11 0 477164091 868839424 24251 4294967295 134512640 134569956 3221224400 3221214680 1131199780 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24251 13073 16 0 212103 0
vsize: 848476
[startup+133.408 s]
Raw data (loadavg): 1.02 0.47 0.17 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 9719 51 0 0 25 0 11 0 477164091 868839424 24379 4294967295 134512640 134569956 3221224400 3221214784 1131358972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24379 13073 16 0 212103 0
vsize: 848476
[startup+143.409 s]
Raw data (loadavg): 1.02 0.49 0.18 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 10699 51 0 0 25 0 11 0 477164091 868839424 24435 4294967295 134512640 134569956 3221224400 3221214096 1131495696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24435 13073 16 0 212103 0
vsize: 848476
[startup+153.41 s]
Raw data (loadavg): 1.01 0.50 0.19 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 11678 52 0 0 25 0 11 0 477164091 868839424 24479 4294967295 134512640 134569956 3221224400 3221214304 1131423572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24479 13073 16 0 212103 0
vsize: 848476
[startup+163.41 s]
Raw data (loadavg): 1.01 0.52 0.20 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 12657 52 0 0 25 0 11 0 477164091 868839424 24542 4294967295 134512640 134569956 3221224400 3221214448 1131425467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24542 13073 16 0 212103 0
vsize: 848476
[startup+173.409 s]
Raw data (loadavg): 1.01 0.54 0.21 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 13636 52 0 0 25 0 11 0 477164091 868839424 24611 4294967295 134512640 134569956 3221224400 3221214516 1131437540 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24611 13073 16 0 212103 0
vsize: 848476
[startup+183.411 s]
Raw data (loadavg): 1.01 0.55 0.21 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 14616 52 0 0 25 0 11 0 477164091 868839424 24651 4294967295 134512640 134569956 3221224400 3221213968 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24651 13073 16 0 212103 0
vsize: 848476
[startup+193.411 s]
Raw data (loadavg): 1.01 0.56 0.22 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 15594 52 0 0 25 0 11 0 477164091 868839424 24734 4294967295 134512640 134569956 3221224400 3221213968 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24734 13073 16 0 212103 0
vsize: 848476
[startup+203.415 s]
Raw data (loadavg): 1.00 0.58 0.23 2/64 23230
Raw data (stat): 23220 (java) S 23219 23176 23175 0 -1 0 18011 0 79 0 16568 52 0 0 25 0 11 0 477164091 868839424 24781 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24781 13073 16 0 212103 0
vsize: 848476
[startup+213.416 s]
Raw data (loadavg): 1.00 0.59 0.24 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 17543 52 0 0 25 0 11 0 477164091 868839424 24862 4294967295 134512640 134569956 3221224400 3221214952 1131166681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24862 13073 16 0 212103 0
vsize: 848476
[startup+223.415 s]
Raw data (loadavg): 1.00 0.60 0.25 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 18522 52 0 0 25 0 11 0 477164091 868839424 24898 4294967295 134512640 134569956 3221224400 3221214408 1131437522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24898 13073 16 0 212103 0
vsize: 848476
[startup+233.416 s]
Raw data (loadavg): 1.00 0.62 0.25 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 19491 52 0 0 25 0 11 0 477164091 868839424 24999 4294967295 134512640 134569956 3221224400 3221213632 1085679358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 24999 13073 16 0 212103 0
vsize: 848476
[startup+243.416 s]
Raw data (loadavg): 1.00 0.63 0.26 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 20459 52 0 0 25 0 11 0 477164091 868839424 25065 4294967295 134512640 134569956 3221224400 3221214760 1131359412 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25065 13073 16 0 212103 0
vsize: 848476
[startup+253.417 s]
Raw data (loadavg): 1.00 0.64 0.27 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 21426 52 0 0 25 0 11 0 477164091 868839424 25156 4294967295 134512640 134569956 3221224400 3221214448 1131425211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25156 13073 16 0 212103 0
vsize: 848476
[startup+263.417 s]
Raw data (loadavg): 1.00 0.65 0.28 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 22394 52 0 0 25 0 11 0 477164091 868839424 25244 4294967295 134512640 134569956 3221224400 3221214360 1131423612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25244 13073 16 0 212103 0
vsize: 848476
[startup+273.417 s]
Raw data (loadavg): 1.00 0.66 0.28 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 23373 52 0 0 25 0 11 0 477164091 868839424 25275 4294967295 134512640 134569956 3221224400 3221214512 1131273413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25275 13073 16 0 212103 0
vsize: 848476
[startup+283.418 s]
Raw data (loadavg): 1.00 0.67 0.29 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 24351 52 0 0 25 0 11 0 477164091 868839424 25350 4294967295 134512640 134569956 3221224400 3221214664 1131180470 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 25350 13073 16 0 212103 0
vsize: 848476
[startup+293.417 s]
Raw data (loadavg): 1.00 0.68 0.30 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 25340 52 0 0 25 0 11 0 477164091 868839424 25383 4294967295 134512640 134569956 3221224400 3221214616 1131425248 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25383 13073 16 0 212103 0
vsize: 848476
[startup+303.417 s]
Raw data (loadavg): 1.00 0.69 0.30 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 26319 52 0 0 25 0 11 0 477164091 868839424 25446 4294967295 134512640 134569956 3221224400 3221214416 1131423572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25446 13073 16 0 212103 0
vsize: 848476
[startup+313.419 s]
Raw data (loadavg): 1.00 0.70 0.31 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 27298 52 0 0 25 0 11 0 477164091 868839424 25501 4294967295 134512640 134569956 3221224400 3221214636 1131423632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25501 13073 16 0 212103 0
vsize: 848476
[startup+323.419 s]
Raw data (loadavg): 1.00 0.71 0.32 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 28277 52 0 0 25 0 11 0 477164091 868839424 25558 4294967295 134512640 134569956 3221224400 3221214664 1131180385 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25558 13073 16 0 212103 0
vsize: 848476
[startup+333.419 s]
Raw data (loadavg): 1.00 0.72 0.32 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 29256 52 0 0 25 0 11 0 477164091 868839424 25609 4294967295 134512640 134569956 3221224400 3221214184 1131437471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25609 13073 16 0 212103 0
vsize: 848476
[startup+343.42 s]
Raw data (loadavg): 1.00 0.73 0.33 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 30236 52 0 0 25 0 11 0 477164091 868839424 25663 4294967295 134512640 134569956 3221224400 3221213856 1131423601 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25663 13073 16 0 212103 0
vsize: 848476
[startup+353.424 s]
Raw data (loadavg): 1.00 0.74 0.34 2/64 23230
Raw data (stat): 23220 (java) S 23219 23176 23175 0 -1 0 18011 0 79 0 31212 52 0 0 25 0 11 0 477164091 868839424 25715 4294967295 134512640 134569956 3221224400 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25715 13073 16 0 212103 0
vsize: 848476
[startup+363.424 s]
Raw data (loadavg): 1.00 0.75 0.35 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 32175 52 0 0 25 0 11 0 477164091 868839424 25832 4294967295 134512640 134569956 3221224400 3221213664 1131423697 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25832 13073 16 0 212103 0
vsize: 848476
[startup+373.424 s]
Raw data (loadavg): 1.00 0.75 0.35 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 33144 52 0 0 25 0 11 0 477164091 868839424 25918 4294967295 134512640 134569956 3221224400 3221214760 1131357463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25918 13073 16 0 212103 0
vsize: 848476
[startup+383.425 s]
Raw data (loadavg): 1.00 0.76 0.36 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 34125 52 0 0 25 0 11 0 477164091 868839424 25975 4294967295 134512640 134569956 3221224400 3221214384 1085679753 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 25975 13073 16 0 212103 0
vsize: 848476
[startup+393.425 s]
Raw data (loadavg): 1.00 0.77 0.37 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 35106 52 0 0 25 0 11 0 477164091 868839424 26043 4294967295 134512640 134569956 3221224400 3221214728 1131425475 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 26043 13073 16 0 212103 0
vsize: 848476
[startup+403.426 s]
Raw data (loadavg): 1.00 0.78 0.37 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 36086 52 0 0 25 0 11 0 477164091 868839424 26093 4294967295 134512640 134569956 3221224400 3221214760 1131357734 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 26093 13073 16 0 212103 0
vsize: 848476
[startup+413.426 s]
Raw data (loadavg): 1.00 0.78 0.38 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 37077 52 0 0 25 0 11 0 477164091 868839424 26119 4294967295 134512640 134569956 3221224400 3221214688 1131437532 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 26119 13073 16 0 212103 0
vsize: 848476
[startup+423.426 s]
Raw data (loadavg): 1.00 0.79 0.38 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 38059 52 0 0 25 0 11 0 477164091 868839424 26165 4294967295 134512640 134569956 3221224400 3221214504 1131425287 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 26165 13073 16 0 212103 0
vsize: 848476
[startup+433.427 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 39032 52 0 0 25 0 11 0 477164091 868839424 26235 4294967295 134512640 134569956 3221224400 3221214352 1131437564 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 26235 13073 16 0 212103 0
vsize: 848476
[startup+443.428 s]
Raw data (loadavg): 1.00 0.80 0.39 2/64 23230
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 40014 52 0 0 25 0 11 0 477164091 868839424 26287 4294967295 134512640 134569956 3221224400 3221214920 1131595619 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 26287 13073 16 0 212103 0
vsize: 848476
[startup+453.43 s]
Raw data (loadavg): 1.16 0.84 0.41 3/69 23282
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 41002 53 0 0 25 0 11 0 477164091 868839424 26318 4294967295 134512640 134569956 3221224400 3221214296 1131437584 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 26318 13073 16 0 212103 0
vsize: 848476
[startup+463.43 s]
Raw data (loadavg): 1.36 0.90 0.43 2/64 23283
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 41974 54 0 0 25 0 11 0 477164091 868839424 26387 4294967295 134512640 134569956 3221224400 3221214664 1131180252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 26387 13073 16 0 212103 0
vsize: 848476
[startup+473.43 s]
Raw data (loadavg): 1.30 0.90 0.44 2/64 23283
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 42955 54 0 0 25 0 11 0 477164091 868839424 26432 4294967295 134512640 134569956 3221224400 3221214552 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 26432 13073 16 0 212103 0
vsize: 848476
[startup+483.43 s]
Raw data (loadavg): 1.25 0.90 0.45 2/64 23283
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 43937 55 0 0 25 0 11 0 477164091 868839424 26485 4294967295 134512640 134569956 3221224400 3221214688 1131437417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 26485 13073 16 0 212103 0
vsize: 848476
[startup+493.43 s]
Raw data (loadavg): 1.21 0.90 0.45 2/64 23283
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 44910 55 0 0 24 0 11 0 477164091 868839424 26553 4294967295 134512640 134569956 3221224400 3221214936 1131590995 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 26553 13073 16 0 212103 0
vsize: 848476
[startup+503.431 s]
Raw data (loadavg): 1.18 0.91 0.46 2/64 23283
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 45893 55 0 0 25 0 11 0 477164091 868839424 26615 4294967295 134512640 134569956 3221224400 3221214328 1085679741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 26615 13073 16 0 212103 0
vsize: 848476
[startup+513.43 s]
Raw data (loadavg): 1.15 0.91 0.46 2/64 23283
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 46859 55 0 0 25 0 11 0 477164091 868839424 26700 4294967295 134512640 134569956 3221224400 3221214932 1131166630 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 26700 13073 16 0 212103 0
vsize: 848476
[startup+523.43 s]
Raw data (loadavg): 1.13 0.91 0.47 2/64 23283
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 47842 56 0 0 25 0 11 0 477164091 868839424 26742 4294967295 134512640 134569956 3221224400 3221214760 1131360402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 26742 13073 16 0 212103 0
vsize: 848476
[startup+533.431 s]
Raw data (loadavg): 1.11 0.91 0.47 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 48824 57 0 0 25 0 11 0 477164091 868839424 26786 4294967295 134512640 134569956 3221224400 3221213888 1131423608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 26786 13073 16 0 212103 0
vsize: 848476
[startup+543.431 s]
Raw data (loadavg): 1.09 0.92 0.48 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 49799 57 0 0 25 0 11 0 477164091 868839424 26846 4294967295 134512640 134569956 3221224400 3221214584 1131423469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 26846 13073 16 0 212103 0
vsize: 848476
[startup+553.432 s]
Raw data (loadavg): 1.08 0.92 0.48 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 50774 57 0 0 24 0 11 0 477164091 868839424 26905 4294967295 134512640 134569956 3221224400 3221214760 1131359366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 26905 13073 16 0 212103 0
vsize: 848476
[startup+563.433 s]
Raw data (loadavg): 1.06 0.92 0.49 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 51749 57 0 0 25 0 11 0 477164091 868839424 26965 4294967295 134512640 134569956 3221224400 3221214752 1131169294 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 26965 13073 16 0 212103 0
vsize: 848476
[startup+573.433 s]
Raw data (loadavg): 1.05 0.92 0.49 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 52731 57 0 0 25 0 11 0 477164091 868839424 27015 4294967295 134512640 134569956 3221224400 3221214160 1131495698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27015 13073 16 0 212103 0
vsize: 848476
[startup+583.433 s]
Raw data (loadavg): 1.05 0.92 0.50 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 53715 58 0 0 25 0 11 0 477164091 868839424 27056 4294967295 134512640 134569956 3221224400 3221214048 1085679434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27056 13073 16 0 212103 0
vsize: 848476
[startup+593.434 s]
Raw data (loadavg): 1.04 0.93 0.50 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 54698 58 0 0 25 0 11 0 477164091 868839424 27091 4294967295 134512640 134569956 3221224400 3221214472 1131423580 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27091 13073 16 0 212103 0
vsize: 848476
[startup+603.435 s]
Raw data (loadavg): 1.03 0.93 0.51 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 55681 58 0 0 25 0 11 0 477164091 868839424 27127 4294967295 134512640 134569956 3221224400 3221214664 1131180345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27127 13073 16 0 212103 0
vsize: 848476
[startup+613.435 s]
Raw data (loadavg): 1.03 0.93 0.51 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 56655 58 0 0 25 0 11 0 477164091 868839424 27182 4294967295 134512640 134569956 3221224400 3221214216 1085679325 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27182 13073 16 0 212103 0
vsize: 848476
[startup+623.435 s]
Raw data (loadavg): 1.02 0.93 0.52 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 57637 59 0 0 25 0 11 0 477164091 868839424 27223 4294967295 134512640 134569956 3221224400 3221214272 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27223 13073 16 0 212103 0
vsize: 848476
[startup+633.435 s]
Raw data (loadavg): 1.02 0.93 0.52 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 58610 59 0 0 25 0 11 0 477164091 868839424 27281 4294967295 134512640 134569956 3221224400 3221214580 1131423627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 27281 13073 16 0 212103 0
vsize: 848476
[startup+643.435 s]
Raw data (loadavg): 1.02 0.94 0.53 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 59583 59 0 0 25 0 11 0 477164091 868839424 27349 4294967295 134512640 134569956 3221224400 3221214792 1131214593 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27349 13073 16 0 212103 0
vsize: 848476
[startup+653.436 s]
Raw data (loadavg): 1.01 0.94 0.53 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 60556 60 0 0 25 0 11 0 477164091 868839424 27407 4294967295 134512640 134569956 3221224400 3221214760 1131359644 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 27407 13073 16 0 212103 0
vsize: 848476
[startup+663.436 s]
Raw data (loadavg): 1.01 0.94 0.54 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 61529 60 0 0 25 0 11 0 477164091 868839424 27462 4294967295 134512640 134569956 3221224400 3221214064 1131530135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27462 13073 16 0 212103 0
vsize: 848476
[startup+673.436 s]
Raw data (loadavg): 1.01 0.94 0.54 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 62494 60 0 0 24 0 11 0 477164091 868839424 27538 4294967295 134512640 134569956 3221224400 3221214552 1131608610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27538 13073 16 0 212103 0
vsize: 848476
[startup+683.437 s]
Raw data (loadavg): 1.01 0.94 0.54 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 63475 60 0 0 25 0 11 0 477164091 868839424 27576 4294967295 134512640 134569956 3221224400 3221213936 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27576 13073 16 0 212103 0
vsize: 848476
[startup+693.437 s]
Raw data (loadavg): 1.00 0.94 0.55 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 64457 61 0 0 25 0 11 0 477164091 868839424 27623 4294967295 134512640 134569956 3221224400 3221213880 1131495628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27623 13073 16 0 212103 0
vsize: 848476
[startup+703.438 s]
Raw data (loadavg): 1.00 0.94 0.55 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 65431 61 0 0 25 0 11 0 477164091 868839424 27695 4294967295 134512640 134569956 3221224400 3221214360 1131423633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27695 13073 16 0 212103 0
vsize: 848476
[startup+713.439 s]
Raw data (loadavg): 1.00 0.95 0.56 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 66406 61 0 0 25 0 11 0 477164091 868839424 27749 4294967295 134512640 134569956 3221224400 3221214760 1131357734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27749 13073 16 0 212103 0
vsize: 848476
[startup+723.439 s]
Raw data (loadavg): 1.00 0.95 0.56 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 67379 61 0 0 25 0 11 0 477164091 868839424 27825 4294967295 134512640 134569956 3221224400 3221214680 1131530133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27825 13073 16 0 212103 0
vsize: 848476
[startup+733.439 s]
Raw data (loadavg): 1.00 0.95 0.56 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 68354 61 0 0 25 0 11 0 477164091 868839424 27890 4294967295 134512640 134569956 3221224400 3221214664 1131180345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27890 13073 16 0 212103 0
vsize: 848476
[startup+743.439 s]
Raw data (loadavg): 1.00 0.95 0.57 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 69329 62 0 0 25 0 11 0 477164091 868839424 27972 4294967295 134512640 134569956 3221224400 3221214024 1085679293 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 27972 13073 16 0 212103 0
vsize: 848476
[startup+753.439 s]
Raw data (loadavg): 1.00 0.95 0.57 2/64 23285
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 70297 62 0 0 25 0 11 0 477164091 868839424 28054 4294967295 134512640 134569956 3221224400 3221214072 1131437417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28054 13073 16 0 212103 0
vsize: 848476
[startup+763.439 s]
Raw data (loadavg): 1.00 0.95 0.58 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 71265 63 0 0 25 0 11 0 477164091 868839424 28137 4294967295 134512640 134569956 3221224400 3221214672 1131301298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28137 13073 16 0 212103 0
vsize: 848476
[startup+773.439 s]
Raw data (loadavg): 1.00 0.95 0.58 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 72227 63 0 0 25 0 11 0 477164091 868839424 28211 4294967295 134512640 134569956 3221224400 3221214128 1131437357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28211 13073 16 0 212103 0
vsize: 848476
[startup+783.44 s]
Raw data (loadavg): 1.00 0.95 0.58 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 73197 63 0 0 25 0 11 0 477164091 868839424 28294 4294967295 134512640 134569956 3221224400 3221214352 1131437564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28294 13073 16 0 212103 0
vsize: 848476
[startup+793.44 s]
Raw data (loadavg): 1.00 0.95 0.59 3/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 74169 64 0 0 25 0 11 0 477164091 868839424 28376 4294967295 134512640 134569956 3221224400 3221214760 1131359679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28376 13073 16 0 212103 0
vsize: 848476
[startup+803.441 s]
Raw data (loadavg): 1.00 0.95 0.59 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 75136 64 0 0 25 0 11 0 477164091 868839424 28479 4294967295 134512640 134569956 3221224400 3221214336 1131425333 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28479 13073 16 0 212103 0
vsize: 848476
[startup+813.442 s]
Raw data (loadavg): 1.00 0.96 0.60 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 76111 64 0 0 25 0 11 0 477164091 868839424 28551 4294967295 134512640 134569956 3221224400 3221213992 1085679482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28551 13073 16 0 212103 0
vsize: 848476
[startup+823.442 s]
Raw data (loadavg): 1.00 0.96 0.60 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 77080 65 0 0 25 0 11 0 477164091 868839424 28626 4294967295 134512640 134569956 3221224400 3221214664 1131180385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28626 13073 16 0 212103 0
vsize: 848476
[startup+833.443 s]
Raw data (loadavg): 1.00 0.96 0.60 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 78057 65 0 0 25 0 11 0 477164091 868839424 28691 4294967295 134512640 134569956 3221224400 3221214760 1131358920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28691 13073 16 0 212103 0
vsize: 848476
[startup+843.443 s]
Raw data (loadavg): 1.00 0.96 0.61 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 79028 65 0 0 25 0 11 0 477164091 868839424 28745 4294967295 134512640 134569956 3221224400 3221214472 1131423626 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28745 13073 16 0 212103 0
vsize: 848476
[startup+853.443 s]
Raw data (loadavg): 1.00 0.96 0.61 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 80000 65 0 0 25 0 11 0 477164091 868839424 28809 4294967295 134512640 134569956 3221224400 3221214760 1131357494 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28809 13073 16 0 212103 0
vsize: 848476
[startup+863.444 s]
Raw data (loadavg): 1.00 0.96 0.62 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 80972 65 0 0 25 0 11 0 477164091 868839424 28879 4294967295 134512640 134569956 3221224400 3221214176 1131530133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28879 13073 16 0 212103 0
vsize: 848476
[startup+873.443 s]
Raw data (loadavg): 1.00 0.96 0.62 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 81940 66 0 0 24 0 11 0 477164091 868839424 28956 4294967295 134512640 134569956 3221224400 3221214664 1131180385 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 28956 13073 16 0 212103 0
vsize: 848476
[startup+883.444 s]
Raw data (loadavg): 1.00 0.96 0.62 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 82914 66 0 0 25 0 11 0 477164091 868839424 29025 4294967295 134512640 134569956 3221224400 3221214352 1131437512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29025 13073 16 0 212103 0
vsize: 848476
[startup+893.444 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 83888 67 0 0 25 0 11 0 477164091 868839424 29085 4294967295 134512640 134569956 3221224400 3221214664 1131180345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29085 13073 16 0 212103 0
vsize: 848476
[startup+903.445 s]
Raw data (loadavg): 1.00 0.96 0.63 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 84862 67 0 0 25 0 11 0 477164091 868839424 29152 4294967295 134512640 134569956 3221224400 3221214272 1085679446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29152 13073 16 0 212103 0
vsize: 848476
[startup+913.445 s]
Raw data (loadavg): 1.00 0.97 0.64 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 85837 67 0 0 25 0 11 0 477164091 868839424 29209 4294967295 134512640 134569956 3221224400 3221214688 1131437532 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29209 13073 16 0 212103 0
vsize: 848476
[startup+923.445 s]
Raw data (loadavg): 1.00 0.97 0.64 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 86815 68 0 0 25 0 11 0 477164091 868839424 29259 4294967295 134512640 134569956 3221224400 3221214688 1131437564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29259 13073 16 0 212103 0
vsize: 848476
[startup+933.446 s]
Raw data (loadavg): 1.00 0.97 0.64 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 87799 68 0 0 25 0 11 0 477164091 868839424 29295 4294967295 134512640 134569956 3221224400 3221214920 1131595613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29295 13073 16 0 212103 0
vsize: 848476
[startup+943.446 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 88777 68 0 0 25 0 11 0 477164091 868839424 29340 4294967295 134512640 134569956 3221224400 3221214048 1131495628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29340 13073 16 0 212103 0
vsize: 848476
[startup+953.447 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 89760 69 0 0 25 0 11 0 477164091 868839424 29373 4294967295 134512640 134569956 3221224400 3221213656 1131495602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29373 13073 16 0 212103 0
vsize: 848476
[startup+963.447 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 90732 69 0 0 25 0 11 0 477164091 868839424 29452 4294967295 134512640 134569956 3221224400 3221214048 1131495406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29452 13073 16 0 212103 0
vsize: 848476
[startup+973.447 s]
Raw data (loadavg): 1.00 0.97 0.65 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 91709 69 0 0 25 0 11 0 477164091 868839424 29506 4294967295 134512640 134569956 3221224400 3221214672 1131202140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29506 13073 16 0 212103 0
vsize: 848476
[startup+983.448 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 92685 69 0 0 25 0 11 0 477164091 868839424 29551 4294967295 134512640 134569956 3221224400 3221213968 1131423481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29551 13073 16 0 212103 0
vsize: 848476
[startup+993.448 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 93656 70 0 0 25 0 11 0 477164091 868839424 29617 4294967295 134512640 134569956 3221224400 3221214156 1131530121 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29617 13073 16 0 212103 0
vsize: 848476
[startup+1003.45 s]
Raw data (loadavg): 1.00 0.97 0.66 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 94627 70 0 0 25 0 11 0 477164091 868839424 29686 4294967295 134512640 134569956 3221224400 3221214632 1131437345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29686 13073 16 0 212103 0
vsize: 848476
[startup+1013.45 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 95609 70 0 0 25 0 11 0 477164091 868839424 29733 4294967295 134512640 134569956 3221224400 3221214504 1131425300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29733 13073 16 0 212103 0
vsize: 848476
[startup+1023.45 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 96585 70 0 0 25 0 11 0 477164091 868839424 29779 4294967295 134512640 134569956 3221224400 3221214132 1131423632 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29779 13073 16 0 212103 0
vsize: 848476
[startup+1033.45 s]
Raw data (loadavg): 1.00 0.97 0.67 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 97568 70 0 0 25 0 11 0 477164091 868839424 29821 4294967295 134512640 134569956 3221224400 3221214024 1131423693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29821 13073 16 0 212103 0
vsize: 848476
[startup+1043.45 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 98543 70 0 0 25 0 11 0 477164091 868839424 29871 4294967295 134512640 134569956 3221224400 3221214520 1131437471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 29871 13073 16 0 212103 0
vsize: 848476
[startup+1053.45 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 99513 70 0 0 25 0 11 0 477164091 868839424 29945 4294967295 134512640 134569956 3221224400 3221214468 1131423632 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 29945 13073 16 0 212103 0
vsize: 848476
[startup+1063.45 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 100490 71 0 0 25 0 11 0 477164091 868839424 30001 4294967295 134512640 134569956 3221224400 3221214232 1131530133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30001 13073 16 0 212103 0
vsize: 848476
[startup+1073.45 s]
Raw data (loadavg): 1.00 0.97 0.68 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 101472 71 0 0 25 0 11 0 477164091 868839424 30033 4294967295 134512640 134569956 3221224400 3221213944 1131423572 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30033 13073 16 0 212103 0
vsize: 848476
[startup+1083.45 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 102454 72 0 0 25 0 11 0 477164091 868839424 30080 4294967295 134512640 134569956 3221224400 3221214560 1131425253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30080 13073 16 0 212103 0
vsize: 848476
[startup+1093.45 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 103431 72 0 0 25 0 11 0 477164091 868839424 30119 4294967295 134512640 134569956 3221224400 3221214132 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30119 13073 16 0 212103 0
vsize: 848476
[startup+1103.45 s]
Raw data (loadavg): 1.00 0.97 0.69 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 104407 72 0 0 25 0 11 0 477164091 868839424 30181 4294967295 134512640 134569956 3221224400 3221214512 1131273257 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30181 13073 16 0 212103 0
vsize: 848476
[startup+1113.45 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 105383 72 0 0 25 0 11 0 477164091 868839424 30248 4294967295 134512640 134569956 3221224400 3221214936 1131533395 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30248 13073 16 0 212103 0
vsize: 848476
[startup+1123.45 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 106360 73 0 0 25 0 11 0 477164091 868839424 30303 4294967295 134512640 134569956 3221224400 3221214272 1085679446 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30303 13073 16 0 212103 0
vsize: 848476
[startup+1133.45 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 107332 73 0 0 25 0 11 0 477164091 868839424 30352 4294967295 134512640 134569956 3221224400 3221213936 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30352 13073 16 0 212103 0
vsize: 848476
[startup+1143.45 s]
Raw data (loadavg): 1.00 0.97 0.70 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 108302 73 0 0 25 0 11 0 477164091 868839424 30419 4294967295 134512640 134569956 3221224400 3221214292 1131530144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30419 13073 16 0 212103 0
vsize: 848476
[startup+1153.45 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 109278 74 0 0 25 0 11 0 477164091 868839424 30465 4294967295 134512640 134569956 3221224400 3221214760 1131359412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30465 13073 16 0 212103 0
vsize: 848476
[startup+1163.46 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 110254 74 0 0 25 0 11 0 477164091 868839424 30519 4294967295 134512640 134569956 3221224400 3221214792 1131208305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30519 13073 16 0 212103 0
vsize: 848476
[startup+1173.46 s]
Raw data (loadavg): 1.00 0.97 0.71 2/64 23287
Raw data (stat): 23220 (java) S 23219 23176 23175 0 -1 0 18011 0 79 0 111230 74 0 0 25 0 11 0 477164091 868839424 30571 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30571 13073 16 0 212103 0
vsize: 848476
[startup+1183.46 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 112206 74 0 0 25 0 11 0 477164091 868839424 30630 4294967295 134512640 134569956 3221224400 3221214248 1131423633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 30630 13073 16 0 212103 0
vsize: 848476
[startup+1193.46 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 113177 74 0 0 25 0 11 0 477164091 868839424 30688 4294967295 134512640 134569956 3221224400 3221214760 1131359606 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 30688 13073 16 0 212103 0
vsize: 848476
[startup+1203.46 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 114159 74 0 0 25 0 11 0 477164091 868839424 30726 4294967295 134512640 134569956 3221224400 3221213688 1131423633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 30726 13073 16 0 212103 0
vsize: 848476
[startup+1213.46 s]
Raw data (loadavg): 1.00 0.97 0.72 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 115146 74 0 0 25 0 11 0 477164091 868839424 30742 4294967295 134512640 134569956 3221224400 3221214192 1131423633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212119 30742 13073 16 0 212103 0
vsize: 848476
[startup+1223.46 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 116133 74 0 0 25 0 11 0 477164091 868839424 30762 4294967295 134512640 134569956 3221224400 3221214688 1131437578 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 30762 13073 16 0 212103 0
vsize: 848476
[startup+1233.46 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 117120 74 0 0 25 0 11 0 477164091 868839424 30792 4294967295 134512640 134569956 3221224400 3221214664 1131181236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 30792 13073 16 0 212103 0
vsize: 848476
[startup+1243.46 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 118093 74 0 0 25 0 11 0 477164091 868839424 30864 4294967295 134512640 134569956 3221224400 3221213576 1085679272 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 30864 13073 16 0 212103 0
vsize: 848476
[startup+1253.46 s]
Raw data (loadavg): 1.00 0.97 0.73 2/64 23287
Raw data (stat): 23220 (java) S 23219 23176 23175 0 -1 0 18011 0 79 0 119072 74 0 0 25 0 11 0 477164091 868839424 30899 4294967295 134512640 134569956 3221224400 3221213504 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 30899 13073 16 0 212103 0
vsize: 848476
[startup+1263.46 s]
Raw data (loadavg): 1.00 0.97 0.74 2/64 23287
Raw data (stat): 23220 (java) R 23219 23176 23175 0 -1 0 18011 0 79 0 120046 74 0 0 25 0 11 0 477164091 868839424 30943 4294967295 134512640 134569956 3221224400 3221214192 1131423633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212119 30943 13073 16 0 212103 0
vsize: 848476
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1263.59 s]
Raw data (loadavg): 1.00 0.97 0.74 1/54 23289
Raw data (stat): 23220 (java) Z 23219 23176 23175 0 -1 1036 18011 17376 79 1 120051 74 3920 48 25 0 1 0 477164091 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): 1263.58
CPU time (s): 1240.96
CPU user time (s): 1239.72
CPU system time (s): 1.23881
CPU usage (%): 98.2096
Max. virtual memory (Kb): 848652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####