PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-harp2.opb
MD5SUM	9daf89aad4f1fef005847be296977991
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-63525540
Optimality of the best value was proved	NO
Number of terms in the objective function	2993
Biggest coefficient in the objective function	17006200
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	4415092451
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	4208540000
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	46909379837
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1267.65
Number of variables	2993
Total number of constraints	3105
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	3066
Number of constraints which are nor clauses,nor cardinality constraints	39
Minimum length of a constraint	1
Maximum length of a constraint	73
Trace number 15427

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        479652 kB
Buffers:         35604 kB
Cached:         496216 kB
SwapCached:          8 kB
Active:         113692 kB
Inactive:       420964 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        479372 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            14636 kB
Committed_AS:    63580 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 04:42:33 (client local time) WITH STATUS 143 IN 1238.7 SECONDS
stats: 17598 7 1238.7 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-harp2.opb
c reading problem 
c [nbvar=2993]
c [nbconstr=3105]
c time 6.482
c #vars     2993
c #clauses  185
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
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=-146
c Current CPU time (ms) : 7.416
c starts	: 1
c conflicts	: 0
c decisions	: 1272
c propagations	: 2993
c inspects	: 1129
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 1
c 
c CURRENT OPTIMUM=-340504
c Current CPU time (ms) : 8.613
c starts	: 2
c conflicts	: 0
c decisions	: 2543
c propagations	: 4788
c inspects	: 1766
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 2
c 
c CURRENT OPTIMUM=-553262
c Current CPU time (ms) : 12.295
c starts	: 3
c conflicts	: 1
c decisions	: 3814
c propagations	: 6587
c inspects	: 2436
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 1
c root simplifications	: 3
c 
c CURRENT OPTIMUM=-117364281
c Current CPU time (ms) : 13.537
c starts	: 4
c conflicts	: 3
c decisions	: 4017
c propagations	: 8502
c inspects	: 3552
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 3
c root simplifications	: 4
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.79 0.94 0.91 2/54 1455
Raw data (stat): 1455 (runsolver) R 1454 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 483940871 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+10.0002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/64 1467
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18028 3 1 0 754 38 0 0 18 0 11 0 483940871 858202112 20336 4294967295 134512640 134569956 3221224400 3221214776 1131346168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209522 20336 13073 16 0 209506 0
vsize: 838088
[startup+20.0013 s]
Raw data (loadavg): 1.21 1.02 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18068 3 1 0 1567 39 0 0 25 0 11 0 483940871 858038272 21013 4294967295 134512640 134569956 3221224400 3221214448 1131299081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209482 21013 13073 16 0 209466 0
vsize: 837928
[startup+30.0016 s]
Raw data (loadavg): 1.18 1.02 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18068 3 1 0 2523 39 0 0 25 0 11 0 483940871 858005504 21235 4294967295 134512640 134569956 3221224400 3221214328 1074489757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 21235 13073 16 0 209458 0
vsize: 837896
[startup+40.0024 s]
Raw data (loadavg): 1.15 1.02 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18068 3 1 0 3477 39 0 0 25 0 11 0 483940871 858005504 21445 4294967295 134512640 134569956 3221224400 3221214528 1131528347 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 21445 13073 16 0 209458 0
vsize: 837896
[startup+50.0037 s]
Raw data (loadavg): 1.13 1.02 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18068 3 1 0 4443 39 0 0 25 0 11 0 483940871 858005504 21447 4294967295 134512640 134569956 3221224400 3221214440 1131299306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 21447 13073 16 0 209458 0
vsize: 837896
[startup+60.003 s]
Raw data (loadavg): 1.11 1.02 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18068 3 1 0 5409 39 0 0 25 0 11 0 483940871 858005504 21447 4294967295 134512640 134569956 3221224400 3221214504 1131486178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 21447 13073 16 0 209458 0
vsize: 837896
[startup+70.0043 s]
Raw data (loadavg): 1.09 1.02 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18068 3 1 0 6364 39 0 0 25 0 11 0 483940871 858005504 21599 4294967295 134512640 134569956 3221224400 3221214168 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 21599 13073 16 0 209458 0
vsize: 837896
[startup+80.005 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18068 3 1 0 7318 39 0 0 25 0 11 0 483940871 858005504 22060 4294967295 134512640 134569956 3221224400 3221214488 1131271001 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22060 13073 16 0 209458 0
vsize: 837896
[startup+90.0053 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18068 3 1 0 8283 40 0 0 25 0 11 0 483940871 858005504 22270 4294967295 134512640 134569956 3221224400 3221214584 1131410689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22270 13073 16 0 209458 0
vsize: 837896
[startup+100.005 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 9256 40 0 0 25 0 11 0 483940871 858005504 22271 4294967295 134512640 134569956 3221224400 3221214432 1131546025 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22271 13073 16 0 209458 0
vsize: 837896
[startup+110.009 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 10229 40 0 0 25 0 11 0 483940871 858005504 22271 4294967295 134512640 134569956 3221224400 3221214528 1131369634 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22271 13073 16 0 209458 0
vsize: 837896
[startup+120.015 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 11204 40 0 0 25 0 11 0 483940871 858005504 22450 4294967295 134512640 134569956 3221224400 3221214692 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22450 13073 16 0 209458 0
vsize: 837896
[startup+130.015 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 12192 40 0 0 25 0 11 0 483940871 858005504 22612 4294967295 134512640 134569956 3221224400 3221214480 1131535751 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22612 13073 16 0 209458 0
vsize: 837896
[startup+140.015 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 13186 40 0 0 25 0 11 0 483940871 858005504 22688 4294967295 134512640 134569956 3221224400 3221214424 1131536344 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22688 13073 16 0 209458 0
vsize: 837896
[startup+150.016 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 14184 40 0 0 25 0 11 0 483940871 858005504 22688 4294967295 134512640 134569956 3221224400 3221214432 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22688 13073 16 0 209458 0
vsize: 837896
[startup+160.016 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 15181 40 0 0 25 0 11 0 483940871 858005504 22688 4294967295 134512640 134569956 3221224400 3221214576 1131501315 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22688 13073 16 0 209458 0
vsize: 837896
[startup+170.016 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 16173 40 0 0 25 0 11 0 483940871 858005504 22688 4294967295 134512640 134569956 3221224400 3221214688 1131299308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22688 13073 16 0 209458 0
vsize: 837896
[startup+180.015 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 17153 40 0 0 25 0 11 0 483940871 858005504 22688 4294967295 134512640 134569956 3221224400 3221214528 1131369602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22688 13073 16 0 209458 0
vsize: 837896
[startup+190.016 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 18116 40 0 0 25 0 11 0 483940871 858005504 22688 4294967295 134512640 134569956 3221224400 3221214584 1131410668 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22688 13073 16 0 209458 0
vsize: 837896
[startup+200.017 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 19079 40 0 0 25 0 11 0 483940871 858005504 22688 4294967295 134512640 134569956 3221224400 3221214528 1131369718 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22688 13073 16 0 209458 0
vsize: 837896
[startup+210.016 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 20044 40 0 0 25 0 11 0 483940871 858005504 22823 4294967295 134512640 134569956 3221224400 3221214512 1131400585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 22823 13073 16 0 209458 0
vsize: 837896
[startup+220.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 21015 40 0 0 25 0 11 0 483940871 858005504 23067 4294967295 134512640 134569956 3221224400 3221214488 1131544647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23067 13073 16 0 209458 0
vsize: 837896
[startup+230.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 22004 40 0 0 25 0 11 0 483940871 858005504 23202 4294967295 134512640 134569956 3221224400 3221214592 1131367840 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23202 13073 16 0 209458 0
vsize: 837896
[startup+240.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 22987 41 0 0 25 0 11 0 483940871 858005504 23214 4294967295 134512640 134569956 3221224400 3221214528 1131369556 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23214 13073 16 0 209458 0
vsize: 837896
[startup+250.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 23970 41 0 0 25 0 11 0 483940871 858005504 23214 4294967295 134512640 134569956 3221224400 3221214528 1131044207 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23214 13073 16 0 209458 0
vsize: 837896
[startup+260.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 24950 41 0 0 25 0 11 0 483940871 858005504 23214 4294967295 134512640 134569956 3221224400 3221214272 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23214 13073 16 0 209458 0
vsize: 837896
[startup+270.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 25924 41 0 0 25 0 11 0 483940871 858005504 23214 4294967295 134512640 134569956 3221224400 3221214768 1131341038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23214 13073 16 0 209458 0
vsize: 837896
[startup+280.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 26898 41 0 0 25 0 11 0 483940871 858005504 23443 4294967295 134512640 134569956 3221224400 3221214680 1131282935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23443 13073 16 0 209458 0
vsize: 837896
[startup+290.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 27877 41 0 0 25 0 11 0 483940871 858005504 23443 4294967295 134512640 134569956 3221224400 3221214768 1131346712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23443 13073 16 0 209458 0
vsize: 837896
[startup+300.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 28855 41 0 0 25 0 11 0 483940871 858005504 23533 4294967295 134512640 134569956 3221224400 3221214680 1131448920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23533 13073 16 0 209458 0
vsize: 837896
[startup+310.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 29830 41 0 0 25 0 11 0 483940871 858005504 23613 4294967295 134512640 134569956 3221224400 3221214364 1080217334 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23613 13073 16 0 209458 0
vsize: 837896
[startup+320.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 30811 41 0 0 25 0 11 0 483940871 858005504 23690 4294967295 134512640 134569956 3221224400 3221214680 1131282709 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23690 13073 16 0 209458 0
vsize: 837896
[startup+330.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 31791 41 0 0 25 0 11 0 483940871 858005504 23766 4294967295 134512640 134569956 3221224400 3221214768 1131346260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23766 13073 16 0 209458 0
vsize: 837896
[startup+340.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 32771 41 0 0 25 0 11 0 483940871 858005504 23842 4294967295 134512640 134569956 3221224400 3221214432 1080216949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23842 13073 16 0 209458 0
vsize: 837896
[startup+350.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 33745 41 0 0 24 0 11 0 483940871 858005504 23920 4294967295 134512640 134569956 3221224400 3221214768 1131346260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23920 13073 16 0 209458 0
vsize: 837896
[startup+360.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 34725 42 0 0 24 0 11 0 483940871 858005504 23923 4294967295 134512640 134569956 3221224400 3221214680 1131282295 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 23923 13073 16 0 209458 0
vsize: 837896
[startup+370.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 35703 42 0 0 25 0 11 0 483940871 858005504 24001 4294967295 134512640 134569956 3221224400 3221214768 1131341086 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24001 13073 16 0 209458 0
vsize: 837896
[startup+380.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 36683 42 0 0 25 0 11 0 483940871 858005504 24156 4294967295 134512640 134569956 3221224400 3221214680 1131283105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24156 13073 16 0 209458 0
vsize: 837896
[startup+390.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 37669 42 0 0 25 0 11 0 483940871 858005504 24159 4294967295 134512640 134569956 3221224400 3221214508 1131558835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24159 13073 16 0 209458 0
vsize: 837896
[startup+400.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 38653 42 0 0 25 0 11 0 483940871 858005504 24234 4294967295 134512640 134569956 3221224400 3221214680 1131282937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24234 13073 16 0 209458 0
vsize: 837896
[startup+410.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 39640 42 0 0 25 0 11 0 483940871 858005504 24236 4294967295 134512640 134569956 3221224400 3221214496 1131401168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24236 13073 16 0 209458 0
vsize: 837896
[startup+420.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 40622 42 0 0 25 0 11 0 483940871 858005504 24312 4294967295 134512640 134569956 3221224400 3221214768 1131348292 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24312 13073 16 0 209458 0
vsize: 837896
[startup+430.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 41594 42 0 0 25 0 11 0 483940871 858005504 24388 4294967295 134512640 134569956 3221224400 3221214680 1131282472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24388 13073 16 0 209458 0
vsize: 837896
[startup+440.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 42575 42 0 0 25 0 11 0 483940871 858005504 24389 4294967295 134512640 134569956 3221224400 3221214768 1131346712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24389 13073 16 0 209458 0
vsize: 837896
[startup+450.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 43550 42 0 0 25 0 11 0 483940871 858005504 24467 4294967295 134512640 134569956 3221224400 3221214764 1131271309 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24467 13073 16 0 209458 0
vsize: 837896
[startup+460.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 44538 42 0 0 25 0 11 0 483940871 858005504 24618 4294967295 134512640 134569956 3221224400 3221214768 1131346588 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24618 13073 16 0 209458 0
vsize: 837896
[startup+470.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 45522 42 0 0 25 0 11 0 483940871 858005504 24622 4294967295 134512640 134569956 3221224400 3221214768 1131346260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24622 13073 16 0 209458 0
vsize: 837896
[startup+480.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 46512 42 0 0 25 0 11 0 483940871 858005504 24699 4294967295 134512640 134569956 3221224400 3221214432 1131546138 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24699 13073 16 0 209458 0
vsize: 837896
[startup+490.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 47492 43 0 0 24 0 11 0 483940871 858005504 24701 4294967295 134512640 134569956 3221224400 3221214768 1131346260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24701 13073 16 0 209458 0
vsize: 837896
[startup+500.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 48468 43 0 0 25 0 11 0 483940871 858005504 24776 4294967295 134512640 134569956 3221224400 3221214680 1131282861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24776 13073 16 0 209458 0
vsize: 837896
[startup+510.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 49450 43 0 0 25 0 11 0 483940871 858005504 24777 4294967295 134512640 134569956 3221224400 3221214768 1131343081 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24777 13073 16 0 209458 0
vsize: 837896
[startup+520.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 50423 43 0 0 24 0 11 0 483940871 858005504 24854 4294967295 134512640 134569956 3221224400 3221214760 1131188383 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 24854 13073 16 0 209458 0
vsize: 837896
[startup+530.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 51413 43 0 0 25 0 11 0 483940871 858005504 25003 4294967295 134512640 134569956 3221224400 3221214640 1131394777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25003 13073 16 0 209458 0
vsize: 837896
[startup+540.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 52398 44 0 0 25 0 11 0 483940871 858005504 25005 4294967295 134512640 134569956 3221224400 3221214680 1131282935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25005 13073 16 0 209458 0
vsize: 837896
[startup+550.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 53371 44 0 0 25 0 11 0 483940871 858005504 25081 4294967295 134512640 134569956 3221224400 3221214680 1131282824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25081 13073 16 0 209458 0
vsize: 837896
[startup+560.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 54352 44 0 0 25 0 11 0 483940871 858005504 25081 4294967295 134512640 134569956 3221224400 3221214336 1080217061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25081 13073 16 0 209458 0
vsize: 837896
[startup+570.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 55324 44 0 0 25 0 11 0 483940871 858005504 25157 4294967295 134512640 134569956 3221224400 3221214664 1131304972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25157 13073 16 0 209458 0
vsize: 837896
[startup+580.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 56287 44 0 0 25 0 11 0 483940871 858005504 25313 4294967295 134512640 134569956 3221224400 3221214704 1131381671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25313 13073 16 0 209458 0
vsize: 837896
[startup+590.046 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 57245 44 0 0 25 0 11 0 483940871 858005504 25314 4294967295 134512640 134569956 3221224400 3221214680 1131282348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25314 13073 16 0 209458 0
vsize: 837896
[startup+600.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 58197 44 0 0 25 0 11 0 483940871 858005504 25419 4294967295 134512640 134569956 3221224400 3221214680 1131282877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25419 13073 16 0 209458 0
vsize: 837896
[startup+610.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 59160 44 0 0 25 0 11 0 483940871 858005504 25584 4294967295 134512640 134569956 3221224400 3221214768 1131343541 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25584 13073 16 0 209458 0
vsize: 837896
[startup+620.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 60141 45 0 0 25 0 11 0 483940871 858005504 25898 4294967295 134512640 134569956 3221224400 3221214680 1131282935 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25898 13073 16 0 209458 0
vsize: 837896
[startup+630.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 61131 45 0 0 25 0 11 0 483940871 858005504 25900 4294967295 134512640 134569956 3221224400 3221214768 1131343100 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25900 13073 16 0 209458 0
vsize: 837896
[startup+640.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 62120 45 0 0 25 0 11 0 483940871 858005504 25900 4294967295 134512640 134569956 3221224400 3221214680 1131282893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25900 13073 16 0 209458 0
vsize: 837896
[startup+650.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 63109 45 0 0 25 0 11 0 483940871 858005504 25982 4294967295 134512640 134569956 3221224400 3221214768 1131342186 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25982 13073 16 0 209458 0
vsize: 837896
[startup+660.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 64099 46 0 0 25 0 11 0 483940871 858005504 25985 4294967295 134512640 134569956 3221224400 3221214680 1131282348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25985 13073 16 0 209458 0
vsize: 837896
[startup+670.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 65089 46 0 0 25 0 11 0 483940871 858005504 25989 4294967295 134512640 134569956 3221224400 3221214680 1131282877 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25989 13073 16 0 209458 0
vsize: 837896
[startup+680.051 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 66078 46 0 0 25 0 11 0 483940871 858005504 25994 4294967295 134512640 134569956 3221224400 3221214304 1080217310 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 25994 13073 16 0 209458 0
vsize: 837896
[startup+690.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 67066 46 0 0 25 0 11 0 483940871 858005504 26072 4294967295 134512640 134569956 3221224400 3221214680 1131282627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26072 13073 16 0 209458 0
vsize: 837896
[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 68043 46 0 0 24 0 11 0 483940871 858005504 26072 4294967295 134512640 134569956 3221224400 3221214680 1131282774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26072 13073 16 0 209458 0
vsize: 837896
[startup+710.052 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 69021 47 0 0 25 0 11 0 483940871 858005504 26074 4294967295 134512640 134569956 3221224400 3221214768 1131342341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26074 13073 16 0 209458 0
vsize: 837896
[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 70003 47 0 0 25 0 11 0 483940871 858005504 26151 4294967295 134512640 134569956 3221224400 3221214640 1131394436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26151 13073 16 0 209458 0
vsize: 837896
[startup+730.054 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 70991 47 0 0 25 0 11 0 483940871 858005504 26306 4294967295 134512640 134569956 3221224400 3221214768 1131341975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26306 13073 16 0 209458 0
vsize: 837896
[startup+740.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 71981 47 0 0 25 0 11 0 483940871 858005504 26306 4294967295 134512640 134569956 3221224400 3221214680 1131283892 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26306 13073 16 0 209458 0
vsize: 837896
[startup+750.056 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 72971 47 0 0 25 0 11 0 483940871 858005504 26310 4294967295 134512640 134569956 3221224400 3221214768 1131346260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26310 13073 16 0 209458 0
vsize: 837896
[startup+760.055 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 73961 47 0 0 25 0 11 0 483940871 858005504 26386 4294967295 134512640 134569956 3221224400 3221214584 1131466826 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26386 13073 16 0 209458 0
vsize: 837896
[startup+770.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 74948 48 0 0 25 0 11 0 483940871 858005504 26387 4294967295 134512640 134569956 3221224400 3221214680 1131282689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26387 13073 16 0 209458 0
vsize: 837896
[startup+780.057 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 75927 48 0 0 25 0 11 0 483940871 858005504 26389 4294967295 134512640 134569956 3221224400 3221214768 1131346260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26389 13073 16 0 209458 0
vsize: 837896
[startup+790.058 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 76904 48 0 0 25 0 11 0 483940871 858005504 26389 4294967295 134512640 134569956 3221224400 3221214680 1131270732 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26389 13073 16 0 209458 0
vsize: 837896
[startup+800.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 77886 48 0 0 25 0 11 0 483940871 858005504 26468 4294967295 134512640 134569956 3221224400 3221214376 1080019741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26468 13073 16 0 209458 0
vsize: 837896
[startup+810.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 78876 48 0 0 25 0 11 0 483940871 858005504 26619 4294967295 134512640 134569956 3221224400 3221214768 1131341099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26619 13073 16 0 209458 0
vsize: 837896
[startup+820.059 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 79857 48 0 0 25 0 11 0 483940871 858005504 26619 4294967295 134512640 134569956 3221224400 3221214768 1131346712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26619 13073 16 0 209458 0
vsize: 837896
[startup+830.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 80831 49 0 0 25 0 11 0 483940871 858005504 26622 4294967295 134512640 134569956 3221224400 3221214664 1131304311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26622 13073 16 0 209458 0
vsize: 837896
[startup+840.061 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 81795 49 0 0 25 0 11 0 483940871 858005504 26623 4294967295 134512640 134569956 3221224400 3221214680 1131282824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26623 13073 16 0 209458 0
vsize: 837896
[startup+850.062 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 82757 49 0 0 25 0 11 0 483940871 858005504 26853 4294967295 134512640 134569956 3221224400 3221214680 1131282515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26853 13073 16 0 209458 0
vsize: 837896
[startup+860.063 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 83726 49 0 0 24 0 11 0 483940871 858005504 26856 4294967295 134512640 134569956 3221224400 3221214768 1131343923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 26856 13073 16 0 209458 0
vsize: 837896
[startup+870.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 84709 49 0 0 25 0 11 0 483940871 858005504 27143 4294967295 134512640 134569956 3221224400 3221214680 1131282645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27143 13073 16 0 209458 0
vsize: 837896
[startup+880.064 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 85701 49 0 0 25 0 11 0 483940871 858005504 27155 4294967295 134512640 134569956 3221224400 3221214680 1131282348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27155 13073 16 0 209458 0
vsize: 837896
[startup+890.065 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 86690 49 0 0 25 0 11 0 483940871 858005504 27157 4294967295 134512640 134569956 3221224400 3221214680 1131282515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27157 13073 16 0 209458 0
vsize: 837896
[startup+900.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 87679 50 0 0 25 0 11 0 483940871 858005504 27161 4294967295 134512640 134569956 3221224400 3221214680 1131282733 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27161 13073 16 0 209458 0
vsize: 837896
[startup+910.068 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 88670 50 0 0 25 0 11 0 483940871 858005504 27236 4294967295 134512640 134569956 3221224400 3221214768 1131346260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27236 13073 16 0 209458 0
vsize: 837896
[startup+920.069 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 89667 50 0 0 25 0 11 0 483940871 858005504 27244 4294967295 134512640 134569956 3221224400 3221214680 1131282699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27244 13073 16 0 209458 0
vsize: 837896
[startup+930.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 90656 50 0 0 25 0 11 0 483940871 858005504 27252 4294967295 134512640 134569956 3221224400 3221214680 1131282472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27252 13073 16 0 209458 0
vsize: 837896
[startup+940.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 91645 50 0 0 25 0 11 0 483940871 858005504 27253 4294967295 134512640 134569956 3221224400 3221214664 1131304311 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27253 13073 16 0 209458 0
vsize: 837896
[startup+950.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 92635 50 0 0 25 0 11 0 483940871 858005504 27254 4294967295 134512640 134569956 3221224400 3221214680 1131282917 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27254 13073 16 0 209458 0
vsize: 837896
[startup+960.071 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 93629 50 0 0 25 0 11 0 483940871 858005504 27330 4294967295 134512640 134569956 3221224400 3221214368 1080216962 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27330 13073 16 0 209458 0
vsize: 837896
[startup+970.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 94620 50 0 0 25 0 11 0 483940871 858005504 27333 4294967295 134512640 134569956 3221224400 3221214640 1131394921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27333 13073 16 0 209458 0
vsize: 837896
[startup+980.072 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 95599 51 0 0 24 0 11 0 483940871 858005504 27334 4294967295 134512640 134569956 3221224400 3221214680 1131282803 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209474 27334 13073 16 0 209458 0
vsize: 837896
[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 96578 51 0 0 25 0 11 0 483940871 858005504 27338 4294967295 134512640 134569956 3221224400 3221214680 1131282599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27338 13073 16 0 209458 0
vsize: 837896
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 97556 51 0 0 25 0 11 0 483940871 858005504 27420 4294967295 134512640 134569956 3221224400 3221214768 1131346712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27420 13073 16 0 209458 0
vsize: 837896
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 98547 51 0 0 25 0 11 0 483940871 858005504 27569 4294967295 134512640 134569956 3221224400 3221214768 1131346618 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27569 13073 16 0 209458 0
vsize: 837896
[startup+1020.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 99542 51 0 0 25 0 11 0 483940871 858005504 27571 4294967295 134512640 134569956 3221224400 3221214680 1131282515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27571 13073 16 0 209458 0
vsize: 837896
[startup+1030.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 100531 51 0 0 25 0 11 0 483940871 858005504 27572 4294967295 134512640 134569956 3221224400 3221214768 1131348375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27572 13073 16 0 209458 0
vsize: 837896
[startup+1040.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 101520 51 0 0 25 0 11 0 483940871 858005504 27577 4294967295 134512640 134569956 3221224400 3221214680 1131282803 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27577 13073 16 0 209458 0
vsize: 837896
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 102510 51 0 0 25 0 11 0 483940871 858005504 27580 4294967295 134512640 134569956 3221224400 3221214680 1131282608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27580 13073 16 0 209458 0
vsize: 837896
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 103506 52 0 0 25 0 11 0 483940871 858005504 27656 4294967295 134512640 134569956 3221224400 3221214732 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27656 13073 16 0 209458 0
vsize: 837896
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 104497 52 0 0 25 0 11 0 483940871 858005504 27658 4294967295 134512640 134569956 3221224400 3221214424 1131536628 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27658 13073 16 0 209458 0
vsize: 837896
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) S 1454 30854 30853 0 -1 0 18069 3 1 0 105477 52 0 0 25 0 11 0 483940871 858005504 27659 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27659 13073 16 0 209458 0
vsize: 837896
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 106455 52 0 0 25 0 11 0 483940871 858005504 27660 4294967295 134512640 134569956 3221224400 3221214680 1131282725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27660 13073 16 0 209458 0
vsize: 837896
[startup+1100.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 107433 52 0 0 24 0 11 0 483940871 858005504 27734 4294967295 134512640 134569956 3221224400 3221214680 1131282815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27734 13073 16 0 209458 0
vsize: 837896
[startup+1110.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 108424 52 0 0 25 0 11 0 483940871 858005504 27884 4294967295 134512640 134569956 3221224400 3221214680 1131282774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27884 13073 16 0 209458 0
vsize: 837896
[startup+1120.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 109419 53 0 0 25 0 11 0 483940871 858005504 27890 4294967295 134512640 134569956 3221224400 3221214768 1131341099 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27890 13073 16 0 209458 0
vsize: 837896
[startup+1130.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 110404 53 0 0 25 0 11 0 483940871 858005504 27900 4294967295 134512640 134569956 3221224400 3221214680 1131283198 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27900 13073 16 0 209458 0
vsize: 837896
[startup+1140.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 111381 53 0 0 24 0 11 0 483940871 858005504 27900 4294967295 134512640 134569956 3221224400 3221214768 1131341031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27900 13073 16 0 209458 0
vsize: 837896
[startup+1150.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 112354 53 0 0 25 0 11 0 483940871 858005504 27901 4294967295 134512640 134569956 3221224400 3221214680 1131282472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27901 13073 16 0 209458 0
vsize: 837896
[startup+1160.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 113320 53 0 0 25 0 11 0 483940871 858005504 27975 4294967295 134512640 134569956 3221224400 3221214768 1131342341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 27975 13073 16 0 209458 0
vsize: 837896
[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 114286 53 0 0 25 0 11 0 483940871 858005504 28125 4294967295 134512640 134569956 3221224400 3221214680 1131282599 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 28125 13073 16 0 209458 0
vsize: 837896
[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 115260 54 0 0 25 0 11 0 483940871 858005504 28273 4294967295 134512640 134569956 3221224400 3221214680 1131270266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 28273 13073 16 0 209458 0
vsize: 837896
[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 116246 54 0 0 25 0 11 0 483940871 858005504 28421 4294967295 134512640 134569956 3221224400 3221214680 1131282288 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 28421 13073 16 0 209458 0
vsize: 837896
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 117242 54 0 0 25 0 11 0 483940871 858005504 28422 4294967295 134512640 134569956 3221224400 3221214680 1131282515 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 28422 13073 16 0 209458 0
vsize: 837896
[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 118231 54 0 0 25 0 11 0 483940871 858005504 28422 4294967295 134512640 134569956 3221224400 3221214680 1131282889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 28422 13073 16 0 209458 0
vsize: 837896
[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 119220 54 0 0 25 0 11 0 483940871 858005504 28425 4294967295 134512640 134569956 3221224400 3221214768 1131346132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209474 28425 13073 16 0 209458 0
vsize: 837896
[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 1469
Raw data (stat): 1455 (java) R 1454 30854 30853 0 -1 0 18069 3 1 0 120208 54 0 0 25 0 11 0 483940871 858005504 28430 4294967295 134512640 134569956 3221224400 3221214680 1131282348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209474 28430 13073 16 0 209458 0
vsize: 837896
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 1471
Raw data (stat): 1455 (java) Z 1454 30854 30853 0 -1 1036 18069 13144 1 0 120210 60 3561 37 25 0 1 0 483940871 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): 1230.17
CPU time (s): 1238.7
CPU user time (s): 1237.72
CPU system time (s): 0.98185
CPU usage (%): 100.694
Max. virtual memory (Kb): 838088
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####