PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-finnis.opb
MD5SUM	60e38c2930b2acad52009e4142c58d78
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	11049
Biggest coefficient in the objective function	2163216220579430400
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	28289850101781610496
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	2163216220579430400
Number of bits of the biggest number in a constraint	61
Biggest sum of numbers in a constraint	28289850101781610496
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.140978
Number of variables	16486
Total number of constraints	533
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	533
Minimum length of a constraint	10
Maximum length of a constraint	1102
Trace number 17512

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-21 10:22:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10773 boxname=wulflinc26 idbench=829 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  60e38c2930b2acad52009e4142c58d78  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-finnis.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-finnis.opb
IDLAUNCH: 10773
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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:        555056 kB
Buffers:         23652 kB
Cached:         425012 kB
SwapCached:         68 kB
Active:          55260 kB
Inactive:       396272 kB
HighTotal:      131008 kB
HighFree:         6972 kB
LowTotal:       903652 kB
LowFree:        548084 kB
SwapTotal:     2097892 kB
SwapFree:      2097800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6876 kB
Slab:            22352 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 10:43:05 (client local time) WITH STATUS 143 IN 1216.97 SECONDS
stats: 10773 7 1216.97 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-finnis.opb
c reading problem 
c [nbvar=16486]
c [nbconstr=533]
c time 84.657
c #vars     16486
c #clauses  558
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.80 0.87 0.89 2/54 30676
Raw data (stat): 30676 (runsolver) R 30675 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544331593 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99956 s]
Raw data (loadavg): 0.91 0.89 0.89 2/63 30685
Raw data (stat): 30676 (java) S 30675 22612 22611 0 -1 0 17995 0 1 0 887 40 0 0 25 0 10 0 544331593 853622784 19112 4294967295 134512640 134569956 3221224400 3221213304 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208404 19112 13073 16 0 208388 0
vsize: 833616
[startup+20.0007 s]
Raw data (loadavg): 1.00 0.91 0.90 2/63 30685
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 17995 0 1 0 1778 40 0 0 19 0 10 0 544331593 853938176 19674 4294967295 134512640 134569956 3221224400 3221214824 1131212750 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208481 19674 13073 16 0 208465 0
vsize: 833924
[startup+30.001 s]
Raw data (loadavg): 1.00 0.91 0.90 2/63 30685
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 17995 0 1 0 2677 41 0 0 24 0 10 0 544331593 853622784 20066 4294967295 134512640 134569956 3221224400 3221214824 1131214026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208404 20066 13073 16 0 208388 0
vsize: 833616
[startup+40.0008 s]
Raw data (loadavg): 1.16 0.95 0.91 4/63 30685
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18032 0 1 0 3563 41 0 0 25 0 10 0 544331593 864980992 22922 4294967295 134512640 134569956 3221224400 3221214700 1079677938 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211177 22922 13073 16 0 211161 0
vsize: 844708
[startup+50.0017 s]
Raw data (loadavg): 1.36 1.00 0.93 2/63 30685
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18041 0 1 0 4359 42 0 0 25 0 10 0 544331593 873283584 25406 4294967295 134512640 134569956 3221224400 3221214792 1131214026 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 213204 25406 13073 16 0 213188 0
vsize: 852816
[startup+60.001 s]
Raw data (loadavg): 1.30 1.00 0.93 2/63 30685
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18041 0 1 0 5217 42 0 0 25 0 10 0 544331593 865452032 24054 4294967295 134512640 134569956 3221224400 3221214240 1077558376 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211292 24054 13073 16 0 211276 0
vsize: 845168
[startup+70.0021 s]
Raw data (loadavg): 1.26 1.00 0.93 2/63 30685
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18041 0 1 0 6077 43 0 0 25 0 10 0 544331593 865452032 24377 4294967295 134512640 134569956 3221224400 3221214256 1080019608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211292 24377 13073 16 0 211276 0
vsize: 845168
[startup+80.0027 s]
Raw data (loadavg): 1.22 1.00 0.93 2/63 30685
Raw data (stat): 30676 (java) S 30675 22612 22611 0 -1 0 18041 0 1 0 6947 44 0 0 25 0 10 0 544331593 865452032 24609 4294967295 134512640 134569956 3221224400 3221213480 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211292 24611 13073 16 0 211276 0
vsize: 845168
[startup+90.0021 s]
Raw data (loadavg): 1.26 1.02 0.93 4/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18111 0 1 0 7740 45 0 0 25 0 11 0 544331593 870834176 26223 4294967295 134512640 134569956 3221224400 3221214788 1130918295 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212606 26223 13073 16 0 212590 0
vsize: 850424
[startup+100.002 s]
Raw data (loadavg): 1.37 1.05 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18111 0 1 0 8704 45 0 0 25 0 11 0 544331593 867094528 25406 4294967295 134512640 134569956 3221224400 3221214840 1131503020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211693 25406 13073 16 0 211677 0
vsize: 846772
[startup+110.002 s]
Raw data (loadavg): 1.31 1.05 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18112 0 1 0 9684 45 0 0 25 0 11 0 544331593 866996224 25408 4294967295 134512640 134569956 3221224400 3221214248 1080217322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 25408 13073 16 0 211653 0
vsize: 846676
[startup+120.003 s]
Raw data (loadavg): 1.26 1.04 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18112 0 1 0 10666 45 0 0 25 0 11 0 544331593 866996224 25461 4294967295 134512640 134569956 3221224400 3221214456 1131614437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 25461 13073 16 0 211653 0
vsize: 846676
[startup+130.003 s]
Raw data (loadavg): 1.22 1.04 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18112 0 1 0 11640 45 0 0 25 0 11 0 544331593 866996224 25489 4294967295 134512640 134569956 3221224400 3221214456 1131620120 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 25489 13073 16 0 211653 0
vsize: 846676
[startup+140.003 s]
Raw data (loadavg): 1.19 1.04 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18112 0 1 0 12623 45 0 0 25 0 11 0 544331593 866996224 25516 4294967295 134512640 134569956 3221224400 3221214456 1131618861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 25516 13073 16 0 211653 0
vsize: 846676
[startup+150.004 s]
Raw data (loadavg): 1.16 1.04 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18112 0 1 0 13605 45 0 0 25 0 11 0 544331593 866996224 25535 4294967295 134512640 134569956 3221224400 3221214456 1131619954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 25535 13073 16 0 211653 0
vsize: 846676
[startup+160.004 s]
Raw data (loadavg): 1.13 1.04 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18112 0 1 0 14582 45 0 0 25 0 11 0 544331593 866996224 25582 4294967295 134512640 134569956 3221224400 3221214456 1131617770 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 25582 13073 16 0 211653 0
vsize: 846676
[startup+170.004 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18112 0 1 0 15567 45 0 0 25 0 11 0 544331593 866996224 25611 4294967295 134512640 134569956 3221224400 3221214456 1131618285 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 25611 13073 16 0 211653 0
vsize: 846676
[startup+180.006 s]
Raw data (loadavg): 1.10 1.03 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18112 0 1 0 16553 45 0 0 25 0 11 0 544331593 866996224 25662 4294967295 134512640 134569956 3221224400 3221214636 1131534688 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211669 25662 13073 16 0 211653 0
vsize: 846676
[startup+190.005 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18112 0 1 0 17540 45 0 0 25 0 11 0 544331593 866996224 25780 4294967295 134512640 134569956 3221224400 3221214456 1131617742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 25780 13073 16 0 211653 0
vsize: 846676
[startup+200.006 s]
Raw data (loadavg): 1.07 1.03 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18112 0 1 0 18523 45 0 0 25 0 11 0 544331593 866996224 25838 4294967295 134512640 134569956 3221224400 3221214456 1131618066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 25838 13073 16 0 211653 0
vsize: 846676
[startup+210.013 s]
Raw data (loadavg): 1.06 1.03 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18112 0 1 0 19513 46 0 0 25 0 11 0 544331593 866996224 25878 4294967295 134512640 134569956 3221224400 3221214456 1131618915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 25878 13073 16 0 211653 0
vsize: 846676
[startup+220.014 s]
Raw data (loadavg): 1.05 1.03 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18112 0 1 0 20499 46 0 0 25 0 11 0 544331593 866996224 25917 4294967295 134512640 134569956 3221224400 3221214456 1131620112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 25917 13073 16 0 211653 0
vsize: 846676
[startup+230.015 s]
Raw data (loadavg): 1.04 1.03 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 21488 46 0 0 25 0 11 0 544331593 866996224 26221 4294967295 134512640 134569956 3221224400 3221214408 1131679752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26221 13073 16 0 211653 0
vsize: 846676
[startup+240.014 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 22484 46 0 0 25 0 11 0 544331593 866996224 26297 4294967295 134512640 134569956 3221224400 3221214688 1131683655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26297 13073 16 0 211653 0
vsize: 846676
[startup+250.015 s]
Raw data (loadavg): 1.03 1.02 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 23481 46 0 0 25 0 11 0 544331593 866996224 26309 4294967295 134512640 134569956 3221224400 3221214640 1131272405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26309 13073 16 0 211653 0
vsize: 846676
[startup+260.016 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 24474 46 0 0 25 0 11 0 544331593 866996224 26326 4294967295 134512640 134569956 3221224400 3221214312 1080217021 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211669 26326 13073 16 0 211653 0
vsize: 846676
[startup+270.016 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 25468 46 0 0 25 0 11 0 544331593 866996224 26347 4294967295 134512640 134569956 3221224400 3221214456 1131617846 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26347 13073 16 0 211653 0
vsize: 846676
[startup+280.017 s]
Raw data (loadavg): 1.02 1.02 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 26465 46 0 0 25 0 11 0 544331593 866996224 26353 4294967295 134512640 134569956 3221224400 3221214408 1131679821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26353 13073 16 0 211653 0
vsize: 846676
[startup+290.017 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 27462 46 0 0 25 0 11 0 544331593 866996224 26367 4294967295 134512640 134569956 3221224400 3221214456 1131618915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26367 13073 16 0 211653 0
vsize: 846676
[startup+300.016 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 28458 46 0 0 25 0 11 0 544331593 866996224 26377 4294967295 134512640 134569956 3221224400 3221214792 1131575427 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26377 13073 16 0 211653 0
vsize: 846676
[startup+310.025 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 29456 46 0 0 25 0 11 0 544331593 866996224 26389 4294967295 134512640 134569956 3221224400 3221214456 1131620023 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26389 13073 16 0 211653 0
vsize: 846676
[startup+320.026 s]
Raw data (loadavg): 1.01 1.02 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 30453 46 0 0 25 0 11 0 544331593 866996224 26400 4294967295 134512640 134569956 3221224400 3221214640 1131663496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26400 13073 16 0 211653 0
vsize: 846676
[startup+330.025 s]
Raw data (loadavg): 1.00 1.02 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 31448 47 0 0 25 0 11 0 544331593 866996224 26445 4294967295 134512640 134569956 3221224400 3221214456 1131619795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26445 13073 16 0 211653 0
vsize: 846676
[startup+340.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 32445 47 0 0 25 0 11 0 544331593 866996224 26457 4294967295 134512640 134569956 3221224400 3221214688 1131683774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26457 13073 16 0 211653 0
vsize: 846676
[startup+350.026 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 33444 47 0 0 25 0 11 0 544331593 866996224 26463 4294967295 134512640 134569956 3221224400 3221214456 1131619934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26463 13073 16 0 211653 0
vsize: 846676
[startup+360.026 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 34440 47 0 0 25 0 11 0 544331593 866996224 26480 4294967295 134512640 134569956 3221224400 3221214696 1131540482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26480 13073 16 0 211653 0
vsize: 846676
[startup+370.027 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 35437 47 0 0 25 0 11 0 544331593 866996224 26488 4294967295 134512640 134569956 3221224400 3221214456 1131618299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26488 13073 16 0 211653 0
vsize: 846676
[startup+380.027 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 36435 47 0 0 25 0 11 0 544331593 866996224 26502 4294967295 134512640 134569956 3221224400 3221214392 1079721531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26502 13073 16 0 211653 0
vsize: 846676
[startup+390.027 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 37433 47 0 0 25 0 11 0 544331593 866996224 26509 4294967295 134512640 134569956 3221224400 3221214456 1131620177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26509 13073 16 0 211653 0
vsize: 846676
[startup+400.027 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 38431 47 0 0 25 0 11 0 544331593 866996224 26518 4294967295 134512640 134569956 3221224400 3221214672 1131540563 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26518 13073 16 0 211653 0
vsize: 846676
[startup+410.028 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 39430 47 0 0 25 0 11 0 544331593 866996224 26519 4294967295 134512640 134569956 3221224400 3221214424 1079721549 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26519 13073 16 0 211653 0
vsize: 846676
[startup+420.039 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 40428 47 0 0 25 0 11 0 544331593 866996224 26526 4294967295 134512640 134569956 3221224400 3221214696 1131540503 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26526 13073 16 0 211653 0
vsize: 846676
[startup+430.04 s]
Raw data (loadavg): 1.00 1.01 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 41426 47 0 0 25 0 11 0 544331593 866996224 26544 4294967295 134512640 134569956 3221224400 3221214544 1131546128 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26544 13073 16 0 211653 0
vsize: 846676
[startup+440.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 42423 47 0 0 25 0 11 0 544331593 866996224 26569 4294967295 134512640 134569956 3221224400 3221214408 1131679602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26569 13073 16 0 211653 0
vsize: 846676
[startup+450.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 43421 47 0 0 25 0 11 0 544331593 866996224 26583 4294967295 134512640 134569956 3221224400 3221214456 1131618596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26583 13073 16 0 211653 0
vsize: 846676
[startup+460.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 44419 47 0 0 25 0 11 0 544331593 866996224 26593 4294967295 134512640 134569956 3221224400 3221214584 1131543324 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26593 13073 16 0 211653 0
vsize: 846676
[startup+470.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 45419 47 0 0 25 0 11 0 544331593 866996224 26593 4294967295 134512640 134569956 3221224400 3221214420 1079721462 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211669 26593 13073 16 0 211653 0
vsize: 846676
[startup+480.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 46415 47 0 0 25 0 11 0 544331593 866996224 26609 4294967295 134512640 134569956 3221224400 3221214248 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26609 13073 16 0 211653 0
vsize: 846676
[startup+490.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 47413 47 0 0 25 0 11 0 544331593 866996224 26621 4294967295 134512640 134569956 3221224400 3221214408 1131679722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26621 13073 16 0 211653 0
vsize: 846676
[startup+500.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 48411 47 0 0 25 0 11 0 544331593 866996224 26640 4294967295 134512640 134569956 3221224400 3221214456 1131619916 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26640 13073 16 0 211653 0
vsize: 846676
[startup+510.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 49409 47 0 0 25 0 11 0 544331593 866996224 26648 4294967295 134512640 134569956 3221224400 3221214456 1131618248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26648 13073 16 0 211653 0
vsize: 846676
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 50407 47 0 0 25 0 11 0 544331593 866996224 26652 4294967295 134512640 134569956 3221224400 3221214248 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26652 13073 16 0 211653 0
vsize: 846676
[startup+530.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 51405 47 0 0 25 0 11 0 544331593 866996224 26654 4294967295 134512640 134569956 3221224400 3221214248 1080217232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26654 13073 16 0 211653 0
vsize: 846676
[startup+540.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 52402 48 0 0 25 0 11 0 544331593 866996224 26661 4294967295 134512640 134569956 3221224400 3221214520 1131619374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26661 13073 16 0 211653 0
vsize: 846676
[startup+550.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 53400 48 0 0 25 0 11 0 544331593 866996224 26662 4294967295 134512640 134569956 3221224400 3221214404 1079721525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26662 13073 16 0 211653 0
vsize: 846676
[startup+560.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 54398 48 0 0 25 0 11 0 544331593 866996224 26675 4294967295 134512640 134569956 3221224400 3221214456 1131618966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26675 13073 16 0 211653 0
vsize: 846676
[startup+570.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 55396 48 0 0 25 0 11 0 544331593 866996224 26675 4294967295 134512640 134569956 3221224400 3221214400 1079721529 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26675 13073 16 0 211653 0
vsize: 846676
[startup+580.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 56392 48 0 0 25 0 11 0 544331593 866996224 26690 4294967295 134512640 134569956 3221224400 3221214248 1080217256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26690 13073 16 0 211653 0
vsize: 846676
[startup+590.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 57389 48 0 0 25 0 11 0 544331593 866996224 26692 4294967295 134512640 134569956 3221224400 3221214688 1131683747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26692 13073 16 0 211653 0
vsize: 846676
[startup+600.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 58387 48 0 0 25 0 11 0 544331593 866996224 26700 4294967295 134512640 134569956 3221224400 3221214544 1131546218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26700 13073 16 0 211653 0
vsize: 846676
[startup+610.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 59385 48 0 0 25 0 11 0 544331593 866996224 26703 4294967295 134512640 134569956 3221224400 3221214456 1131620166 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26703 13073 16 0 211653 0
vsize: 846676
[startup+620.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 60384 48 0 0 25 0 11 0 544331593 866996224 26703 4294967295 134512640 134569956 3221224400 3221214408 1131679759 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26703 13073 16 0 211653 0
vsize: 846676
[startup+630.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 61381 48 0 0 25 0 11 0 544331593 866996224 26710 4294967295 134512640 134569956 3221224400 3221214456 1131619684 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26710 13073 16 0 211653 0
vsize: 846676
[startup+640.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 62379 48 0 0 25 0 11 0 544331593 866996224 26748 4294967295 134512640 134569956 3221224400 3221214432 1079721553 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211669 26748 13073 16 0 211653 0
vsize: 846676
[startup+650.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 63377 48 0 0 25 0 11 0 544331593 866996224 26765 4294967295 134512640 134569956 3221224400 3221214456 1131618767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26765 13073 16 0 211653 0
vsize: 846676
[startup+660.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 64375 48 0 0 25 0 11 0 544331593 866996224 26781 4294967295 134512640 134569956 3221224400 3221214544 1131546246 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26781 13073 16 0 211653 0
vsize: 846676
[startup+670.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 65373 48 0 0 25 0 11 0 544331593 866996224 26788 4294967295 134512640 134569956 3221224400 3221214448 1131562878 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26788 13073 16 0 211653 0
vsize: 846676
[startup+680.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 66371 48 0 0 25 0 11 0 544331593 866996224 26798 4294967295 134512640 134569956 3221224400 3221214456 1131620149 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26798 13073 16 0 211653 0
vsize: 846676
[startup+690.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 67368 48 0 0 25 0 11 0 544331593 866996224 26812 4294967295 134512640 134569956 3221224400 3221214248 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26812 13073 16 0 211653 0
vsize: 846676
[startup+700.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 68366 48 0 0 25 0 11 0 544331593 866996224 26814 4294967295 134512640 134569956 3221224400 3221214680 1131645412 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26814 13073 16 0 211653 0
vsize: 846676
[startup+710.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 69364 48 0 0 25 0 11 0 544331593 866996224 26821 4294967295 134512640 134569956 3221224400 3221214456 1131619868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26821 13073 16 0 211653 0
vsize: 846676
[startup+720.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 70363 48 0 0 25 0 11 0 544331593 866996224 26821 4294967295 134512640 134569956 3221224400 3221214248 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26821 13073 16 0 211653 0
vsize: 846676
[startup+730.149 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 71371 48 0 0 25 0 11 0 544331593 866996224 26828 4294967295 134512640 134569956 3221224400 3221214584 1131543368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26828 13073 16 0 211653 0
vsize: 846676
[startup+740.148 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 72370 49 0 0 25 0 11 0 544331593 866996224 26832 4294967295 134512640 134569956 3221224400 3221214680 1131645080 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26832 13073 16 0 211653 0
vsize: 846676
[startup+750.153 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 73368 49 0 0 25 0 11 0 544331593 866996224 26835 4294967295 134512640 134569956 3221224400 3221214680 1131645292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26835 13073 16 0 211653 0
vsize: 846676
[startup+760.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 74367 49 0 0 25 0 11 0 544331593 866996224 26839 4294967295 134512640 134569956 3221224400 3221214752 1131798720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26839 13073 16 0 211653 0
vsize: 846676
[startup+770.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 75365 49 0 0 25 0 11 0 544331593 866996224 26845 4294967295 134512640 134569956 3221224400 3221214456 1131617668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26845 13073 16 0 211653 0
vsize: 846676
[startup+780.16 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 76364 49 0 0 25 0 11 0 544331593 866996224 26849 4294967295 134512640 134569956 3221224400 3221214544 1131546319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26849 13073 16 0 211653 0
vsize: 846676
[startup+790.161 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 77363 49 0 0 25 0 11 0 544331593 866996224 26856 4294967295 134512640 134569956 3221224400 3221214456 1131620120 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211669 26856 13073 16 0 211653 0
vsize: 846676
[startup+800.162 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 78361 49 0 0 25 0 11 0 544331593 866996224 26861 4294967295 134512640 134569956 3221224400 3221214456 1131618215 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26861 13073 16 0 211653 0
vsize: 846676
[startup+810.161 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 79359 49 0 0 25 0 11 0 544331593 866996224 26867 4294967295 134512640 134569956 3221224400 3221214456 1131614439 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26867 13073 16 0 211653 0
vsize: 846676
[startup+820.162 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 80357 49 0 0 25 0 11 0 544331593 866996224 26872 4294967295 134512640 134569956 3221224400 3221214456 1131614437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26872 13073 16 0 211653 0
vsize: 846676
[startup+830.163 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 81355 49 0 0 25 0 11 0 544331593 866996224 26879 4294967295 134512640 134569956 3221224400 3221214456 1131618966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26879 13073 16 0 211653 0
vsize: 846676
[startup+840.162 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 82353 49 0 0 25 0 11 0 544331593 866996224 26887 4294967295 134512640 134569956 3221224400 3221214456 1131617742 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26887 13073 16 0 211653 0
vsize: 846676
[startup+850.163 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 83351 49 0 0 25 0 11 0 544331593 866996224 26890 4294967295 134512640 134569956 3221224400 3221214456 1131617676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26890 13073 16 0 211653 0
vsize: 846676
[startup+860.163 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 84349 49 0 0 25 0 11 0 544331593 866996224 26899 4294967295 134512640 134569956 3221224400 3221214248 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26899 13073 16 0 211653 0
vsize: 846676
[startup+870.163 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 85347 49 0 0 25 0 11 0 544331593 866996224 26901 4294967295 134512640 134569956 3221224400 3221214304 1080217185 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211669 26901 13073 16 0 211653 0
vsize: 846676
[startup+880.163 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 86345 49 0 0 25 0 11 0 544331593 866996224 26902 4294967295 134512640 134569956 3221224400 3221214456 1131618312 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26902 13073 16 0 211653 0
vsize: 846676
[startup+890.163 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 87344 49 0 0 25 0 11 0 544331593 866996224 26903 4294967295 134512640 134569956 3221224400 3221214248 1080217202 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26903 13073 16 0 211653 0
vsize: 846676
[startup+900.163 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 88342 49 0 0 25 0 11 0 544331593 866996224 26913 4294967295 134512640 134569956 3221224400 3221214312 1080217093 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26913 13073 16 0 211653 0
vsize: 846676
[startup+910.164 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 89340 49 0 0 25 0 11 0 544331593 866996224 26919 4294967295 134512640 134569956 3221224400 3221214520 1131619314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211669 26919 13073 16 0 211653 0
vsize: 846676
[startup+920.164 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 90338 49 0 0 25 0 11 0 544331593 866996224 26919 4294967295 134512640 134569956 3221224400 3221214456 1131618299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26919 13073 16 0 211653 0
vsize: 846676
[startup+930.163 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 91335 49 0 0 25 0 11 0 544331593 866996224 26929 4294967295 134512640 134569956 3221224400 3221214680 1131645388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26929 13073 16 0 211653 0
vsize: 846676
[startup+940.164 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 92333 49 0 0 25 0 11 0 544331593 866996224 26935 4294967295 134512640 134569956 3221224400 3221214456 1131618271 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26935 13073 16 0 211653 0
vsize: 846676
[startup+950.164 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 93331 49 0 0 25 0 11 0 544331593 866996224 26939 4294967295 134512640 134569956 3221224400 3221214520 1131619259 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26939 13073 16 0 211653 0
vsize: 846676
[startup+960.164 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 94330 49 0 0 25 0 11 0 544331593 866996224 26940 4294967295 134512640 134569956 3221224400 3221214248 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26940 13073 16 0 211653 0
vsize: 846676
[startup+970.165 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 95328 50 0 0 25 0 11 0 544331593 866996224 26954 4294967295 134512640 134569956 3221224400 3221214456 1131617660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26954 13073 16 0 211653 0
vsize: 846676
[startup+980.165 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 96326 50 0 0 25 0 11 0 544331593 866996224 26961 4294967295 134512640 134569956 3221224400 3221214544 1131546148 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26961 13073 16 0 211653 0
vsize: 846676
[startup+990.165 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 97325 50 0 0 25 0 11 0 544331593 866996224 26965 4294967295 134512640 134569956 3221224400 3221214456 1131618777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26965 13073 16 0 211653 0
vsize: 846676
[startup+1000.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 98324 50 0 0 25 0 11 0 544331593 866996224 26967 4294967295 134512640 134569956 3221224400 3221214544 1131546403 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26967 13073 16 0 211653 0
vsize: 846676
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 99322 50 0 0 25 0 11 0 544331593 866996224 26968 4294967295 134512640 134569956 3221224400 3221214248 1080217263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26968 13073 16 0 211653 0
vsize: 846676
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 100320 50 0 0 25 0 11 0 544331593 866996224 26976 4294967295 134512640 134569956 3221224400 3221214456 1131618893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26976 13073 16 0 211653 0
vsize: 846676
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 101317 50 0 0 25 0 11 0 544331593 866996224 26983 4294967295 134512640 134569956 3221224400 3221214680 1131645428 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26983 13073 16 0 211653 0
vsize: 846676
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 102316 50 0 0 25 0 11 0 544331593 866996224 26983 4294967295 134512640 134569956 3221224400 3221214728 1131531365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26983 13073 16 0 211653 0
vsize: 846676
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 103316 50 0 0 25 0 11 0 544331593 866996224 26991 4294967295 134512640 134569956 3221224400 3221214584 1131543368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 26991 13073 16 0 211653 0
vsize: 846676
[startup+1060.18 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 104314 50 0 0 25 0 11 0 544331593 866996224 27003 4294967295 134512640 134569956 3221224400 3221214640 1131663524 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211669 27003 13073 16 0 211653 0
vsize: 846676
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 105312 51 0 0 25 0 11 0 544331593 866996224 27009 4294967295 134512640 134569956 3221224400 3221214584 1131787266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27009 13073 16 0 211653 0
vsize: 846676
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 106310 51 0 0 25 0 11 0 544331593 866996224 27009 4294967295 134512640 134569956 3221224400 3221214456 1131617869 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27009 13073 16 0 211653 0
vsize: 846676
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 107309 51 0 0 25 0 11 0 544331593 866996224 27014 4294967295 134512640 134569956 3221224400 3221214688 1131683564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27014 13073 16 0 211653 0
vsize: 846676
[startup+1100.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 108307 51 0 0 25 0 11 0 544331593 866996224 27014 4294967295 134512640 134569956 3221224400 3221214248 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27014 13073 16 0 211653 0
vsize: 846676
[startup+1110.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 109303 51 0 0 25 0 11 0 544331593 866996224 27014 4294967295 134512640 134569956 3221224400 3221214544 1131546140 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27014 13073 16 0 211653 0
vsize: 846676
[startup+1120.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 110302 51 0 0 25 0 11 0 544331593 866996224 27014 4294967295 134512640 134569956 3221224400 3221214456 1131619972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27014 13073 16 0 211653 0
vsize: 846676
[startup+1130.19 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 111298 51 0 0 25 0 11 0 544331593 866996224 27016 4294967295 134512640 134569956 3221224400 3221214456 1131618968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27016 13073 16 0 211653 0
vsize: 846676
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 112297 51 0 0 25 0 11 0 544331593 866996224 27021 4294967295 134512640 134569956 3221224400 3221214248 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27021 13073 16 0 211653 0
vsize: 846676
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 113293 51 0 0 24 0 11 0 544331593 866996224 27024 4294967295 134512640 134569956 3221224400 3221214248 1080217243 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27024 13073 16 0 211653 0
vsize: 846676
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 114291 51 0 0 25 0 11 0 544331593 866996224 27025 4294967295 134512640 134569956 3221224400 3221214456 1131619722 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27025 13073 16 0 211653 0
vsize: 846676
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 115289 51 0 0 25 0 11 0 544331593 866996224 27031 4294967295 134512640 134569956 3221224400 3221214584 1131534746 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27031 13073 16 0 211653 0
vsize: 846676
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 116286 51 0 0 25 0 11 0 544331593 866996224 27031 4294967295 134512640 134569956 3221224400 3221214456 1131618624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27031 13073 16 0 211653 0
vsize: 846676
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 117284 51 0 0 25 0 11 0 544331593 866996224 27032 4294967295 134512640 134569956 3221224400 3221214456 1131617672 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27032 13073 16 0 211653 0
vsize: 846676
[startup+1200.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 118282 51 0 0 25 0 11 0 544331593 866996224 27035 4294967295 134512640 134569956 3221224400 3221214456 1131618915 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27035 13073 16 0 211653 0
vsize: 846676
[startup+1210.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 119279 51 0 0 25 0 11 0 544331593 866996224 27035 4294967295 134512640 134569956 3221224400 3221214456 1131617638 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27035 13073 16 0 211653 0
vsize: 846676
[startup+1220.2 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 30686
Raw data (stat): 30676 (java) R 30675 22612 22611 0 -1 0 18113 0 1 0 120277 51 0 0 25 0 11 0 544331593 866996224 27037 4294967295 134512640 134569956 3221224400 3221214696 1131540453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211669 27037 13073 16 0 211653 0
vsize: 846676
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.3 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 30688
Raw data (stat): 30676 (java) Z 30675 22612 22611 0 -1 1036 18113 5350 1 0 120281 51 1346 17 25 0 1 0 544331593 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1220.3
CPU time (s): 1216.97
CPU user time (s): 1216.28
CPU system time (s): 0.688895
CPU usage (%): 99.7274
Max. virtual memory (Kb): 852816
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####