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-modglob.opb
MD5SUM	67db9c2194e708c1ddf0d62b3a68822e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6578
Biggest coefficient in the objective function	21493710848000000
Number of bits for the biggest coefficient in the objective function	55
Sum of the numbers in the objective function	1450509811657714210
Number of bits of the sum of numbers in the objective function	61
Biggest number in a constraint	21493710848000000
Number of bits of the biggest number in a constraint	55
Biggest sum of numbers in a constraint	1450509811657714210
Number of bits of the biggest sum of numbers	61
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.060989
Number of variables	6578
Total number of constraints	389
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	98
Number of constraints which are nor clauses,nor cardinality constraints	291
Minimum length of a constraint	1
Maximum length of a constraint	180
Trace number 15399

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-21 04:15:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17728 boxname=wulflinc30 idbench=1364 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  67db9c2194e708c1ddf0d62b3a68822e  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-modglob.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-modglob.opb
IDLAUNCH: 17728
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        709244 kB
Buffers:         17688 kB
Cached:         276140 kB
SwapCached:          0 kB
Active:         128804 kB
Inactive:       167852 kB
HighTotal:      131008 kB
HighFree:         1064 kB
LowTotal:       903652 kB
LowFree:        708180 kB
SwapTotal:     2097892 kB
SwapFree:      2097824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6800 kB
Slab:            23380 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 04:36:31 (client local time) WITH STATUS 143 IN 1238.45 SECONDS
stats: 17728 7 1238.45 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-modglob.opb
c reading problem 
c [nbvar=6578]
c [nbconstr=389]
c time 16.482
c #vars     6578
c #clauses  385
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.85 0.98 0.92 2/54 11282
Raw data (stat): 11282 (runsolver) R 11281 11931 11930 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 542122969 1052672 97 4294967295 134512640 135381576 3221224432 3221219804 135024803 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 97 215 215 0 42 0
vsize: 1028
[startup+10.0028 s]
Raw data (loadavg): 0.87 0.98 0.92 2/63 11291
Raw data (stat): 11282 (java) S 11281 11931 11930 0 -1 0 17994 0 1 0 881 39 0 0 25 0 10 0 542122969 853843968 19165 4294967295 134512640 134569956 3221224400 3221213656 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208458 19165 13073 16 0 208442 0
vsize: 833832
[startup+20.004 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18028 0 1 0 1691 39 0 0 24 0 11 0 542122969 856219648 21267 4294967295 134512640 134569956 3221224400 3221214696 1131279168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209038 21267 13073 16 0 209022 0
vsize: 836152
[startup+30.0051 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18068 0 1 0 2523 40 0 0 25 0 11 0 542122969 856158208 21524 4294967295 134512640 134569956 3221224400 3221214680 1131419704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209023 21524 13073 16 0 209007 0
vsize: 836092
[startup+40.0052 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18068 0 1 0 3478 40 0 0 25 0 11 0 542122969 855928832 22287 4294967295 134512640 134569956 3221224400 3221214776 1131572627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 22287 13073 16 0 208951 0
vsize: 835868
[startup+50.0063 s]
Raw data (loadavg): 1.09 1.03 0.94 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18068 0 1 0 4457 40 0 0 25 0 11 0 542122969 855928832 22290 4294967295 134512640 134569956 3221224400 3221214760 1131339683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 22290 13073 16 0 208951 0
vsize: 835868
[startup+60.0062 s]
Raw data (loadavg): 1.08 1.03 0.94 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18068 0 1 0 5416 40 0 0 24 0 11 0 542122969 855928832 22291 4294967295 134512640 134569956 3221224400 3221214680 1131259703 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 22291 13073 16 0 208951 0
vsize: 835868
[startup+70.0075 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 6375 40 0 0 25 0 11 0 542122969 855928832 22300 4294967295 134512640 134569956 3221224400 3221214472 1131594367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 22300 13073 16 0 208951 0
vsize: 835868
[startup+80.0087 s]
Raw data (loadavg): 1.06 1.02 0.94 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 7340 41 0 0 25 0 11 0 542122969 855928832 22368 4294967295 134512640 134569956 3221224400 3221214784 1131347277 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 22368 13073 16 0 208951 0
vsize: 835868
[startup+90.0088 s]
Raw data (loadavg): 1.05 1.02 0.94 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 8299 41 0 0 25 0 11 0 542122969 855928832 22477 4294967295 134512640 134569956 3221224400 3221214784 1131346419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 22477 13073 16 0 208951 0
vsize: 835868
[startup+100.009 s]
Raw data (loadavg): 1.12 1.04 0.94 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 9252 41 0 0 25 0 11 0 542122969 855928832 22654 4294967295 134512640 134569956 3221224400 3221214420 1131594340 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 22654 13073 16 0 208951 0
vsize: 835868
[startup+110.01 s]
Raw data (loadavg): 1.10 1.04 0.94 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 10217 41 0 0 25 0 11 0 542122969 855928832 22830 4294967295 134512640 134569956 3221224400 3221214128 1085679305 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 22830 13073 16 0 208951 0
vsize: 835868
[startup+120.012 s]
Raw data (loadavg): 1.16 1.05 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 11180 41 0 0 25 0 11 0 542122969 855928832 23004 4294967295 134512640 134569956 3221224400 3221214688 1131279046 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 23004 13073 16 0 208951 0
vsize: 835868
[startup+130.012 s]
Raw data (loadavg): 1.14 1.05 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 12156 41 0 0 25 0 11 0 542122969 855928832 23162 4294967295 134512640 134569956 3221224400 3221214820 1131442963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 23162 13073 16 0 208951 0
vsize: 835868
[startup+140.013 s]
Raw data (loadavg): 1.12 1.05 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 13131 41 0 0 25 0 11 0 542122969 855928832 23269 4294967295 134512640 134569956 3221224400 3221214688 1131457513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 23269 13073 16 0 208951 0
vsize: 835868
[startup+150.014 s]
Raw data (loadavg): 1.10 1.04 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 14109 41 0 0 25 0 11 0 542122969 855928832 23320 4294967295 134512640 134569956 3221224400 3221214784 1131572624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 23320 13073 16 0 208951 0
vsize: 835868
[startup+160.014 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 15081 42 0 0 25 0 11 0 542122969 855928832 23368 4294967295 134512640 134569956 3221224400 3221214776 1131477436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 23368 13073 16 0 208951 0
vsize: 835868
[startup+170.014 s]
Raw data (loadavg): 1.07 1.04 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 16052 42 0 0 25 0 11 0 542122969 855928832 23457 4294967295 134512640 134569956 3221224400 3221214548 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 23457 13073 16 0 208951 0
vsize: 835868
[startup+180.014 s]
Raw data (loadavg): 1.06 1.04 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 17017 42 0 0 25 0 11 0 542122969 855928832 23528 4294967295 134512640 134569956 3221224400 3221214584 1131594376 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 23528 13073 16 0 208951 0
vsize: 835868
[startup+190.014 s]
Raw data (loadavg): 1.05 1.04 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 17977 43 0 0 25 0 11 0 542122969 855928832 23697 4294967295 134512640 134569956 3221224400 3221214736 1131229622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 23697 13073 16 0 208951 0
vsize: 835868
[startup+200.015 s]
Raw data (loadavg): 1.04 1.04 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 18941 43 0 0 25 0 11 0 542122969 855928832 23840 4294967295 134512640 134569956 3221224400 3221214784 1131572755 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 23840 13073 16 0 208951 0
vsize: 835868
[startup+210.016 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 19911 43 0 0 25 0 11 0 542122969 855928832 23961 4294967295 134512640 134569956 3221224400 3221214688 1131278757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 23961 13073 16 0 208951 0
vsize: 835868
[startup+220.017 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 20877 43 0 0 25 0 11 0 542122969 855928832 24110 4294967295 134512640 134569956 3221224400 3221214016 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 24110 13073 16 0 208951 0
vsize: 835868
[startup+230.017 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 21848 43 0 0 25 0 11 0 542122969 855928832 24224 4294967295 134512640 134569956 3221224400 3221214688 1131279107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 24224 13073 16 0 208951 0
vsize: 835868
[startup+240.017 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 22822 44 0 0 25 0 11 0 542122969 855928832 24365 4294967295 134512640 134569956 3221224400 3221214784 1131346419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 24365 13073 16 0 208951 0
vsize: 835868
[startup+250.018 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 23801 44 0 0 25 0 11 0 542122969 855928832 24491 4294967295 134512640 134569956 3221224400 3221214736 1131229573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 24491 13073 16 0 208951 0
vsize: 835868
[startup+260.019 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 24782 45 0 0 25 0 11 0 542122969 855928832 24550 4294967295 134512640 134569956 3221224400 3221214780 1131278739 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 24550 13073 16 0 208951 0
vsize: 835868
[startup+270.019 s]
Raw data (loadavg): 1.01 1.03 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 25762 45 0 0 25 0 11 0 542122969 855928832 24700 4294967295 134512640 134569956 3221224400 3221214784 1131345364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 24700 13073 16 0 208951 0
vsize: 835868
[startup+280.019 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 26746 45 0 0 25 0 11 0 542122969 855928832 24794 4294967295 134512640 134569956 3221224400 3221214784 1131346419 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 24794 13073 16 0 208951 0
vsize: 835868
[startup+290.021 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 27730 45 0 0 25 0 11 0 542122969 855928832 24880 4294967295 134512640 134569956 3221224400 3221214688 1131279968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 24880 13073 16 0 208951 0
vsize: 835868
[startup+300.021 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 28713 45 0 0 25 0 11 0 542122969 855928832 24967 4294967295 134512640 134569956 3221224400 3221214784 1131346438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 24967 13073 16 0 208951 0
vsize: 835868
[startup+310.021 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 29695 45 0 0 25 0 11 0 542122969 855928832 25045 4294967295 134512640 134569956 3221224400 3221214688 1131279057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 25045 13073 16 0 208951 0
vsize: 835868
[startup+320.021 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 30680 45 0 0 25 0 11 0 542122969 855928832 25151 4294967295 134512640 134569956 3221224400 3221214688 1131279894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 25151 13073 16 0 208951 0
vsize: 835868
[startup+330.022 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 31663 45 0 0 25 0 11 0 542122969 855928832 25284 4294967295 134512640 134569956 3221224400 3221214688 1131279109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 25284 13073 16 0 208951 0
vsize: 835868
[startup+340.022 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 32648 46 0 0 25 0 11 0 542122969 855928832 25373 4294967295 134512640 134569956 3221224400 3221214688 1131278778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 25373 13073 16 0 208951 0
vsize: 835868
[startup+350.022 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 33631 46 0 0 25 0 11 0 542122969 855928832 25472 4294967295 134512640 134569956 3221224400 3221214784 1131345364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 25472 13073 16 0 208951 0
vsize: 835868
[startup+360.023 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 34615 46 0 0 25 0 11 0 542122969 855928832 25566 4294967295 134512640 134569956 3221224400 3221214688 1131279153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 25566 13073 16 0 208951 0
vsize: 835868
[startup+370.023 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 35595 47 0 0 25 0 11 0 542122969 855928832 25637 4294967295 134512640 134569956 3221224400 3221214784 1131345328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 25637 13073 16 0 208951 0
vsize: 835868
[startup+380.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 36575 47 0 0 24 0 11 0 542122969 855928832 25791 4294967295 134512640 134569956 3221224400 3221214688 1131279153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 25791 13073 16 0 208951 0
vsize: 835868
[startup+390.024 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 37558 47 0 0 25 0 11 0 542122969 855928832 25973 4294967295 134512640 134569956 3221224400 3221214688 1131278918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 25973 13073 16 0 208951 0
vsize: 835868
[startup+400.025 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 38543 47 0 0 25 0 11 0 542122969 855928832 26076 4294967295 134512640 134569956 3221224400 3221214784 1131345337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 26076 13073 16 0 208951 0
vsize: 835868
[startup+410.026 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 39528 48 0 0 25 0 11 0 542122969 855928832 26174 4294967295 134512640 134569956 3221224400 3221214456 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 26174 13073 16 0 208951 0
vsize: 835868
[startup+420.026 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 40513 48 0 0 25 0 11 0 542122969 855928832 26225 4294967295 134512640 134569956 3221224400 3221214784 1131572624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 26225 13073 16 0 208951 0
vsize: 835868
[startup+430.027 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 41500 48 0 0 25 0 11 0 542122969 855928832 26336 4294967295 134512640 134569956 3221224400 3221214688 1131278829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 26336 13073 16 0 208951 0
vsize: 835868
[startup+440.026 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 42485 48 0 0 25 0 11 0 542122969 855928832 26390 4294967295 134512640 134569956 3221224400 3221214688 1131279153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 26390 13073 16 0 208951 0
vsize: 835868
[startup+450.027 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 43470 49 0 0 24 0 11 0 542122969 855928832 26517 4294967295 134512640 134569956 3221224400 3221214688 1131278757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 26517 13073 16 0 208951 0
vsize: 835868
[startup+460.028 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 44458 49 0 0 25 0 11 0 542122969 855928832 26563 4294967295 134512640 134569956 3221224400 3221214688 1131279943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 26563 13073 16 0 208951 0
vsize: 835868
[startup+470.033 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 45442 50 0 0 25 0 11 0 542122969 855928832 26653 4294967295 134512640 134569956 3221224400 3221214784 1131572608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 26653 13073 16 0 208951 0
vsize: 835868
[startup+480.032 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 46428 50 0 0 25 0 11 0 542122969 855928832 26709 4294967295 134512640 134569956 3221224400 3221214688 1131279486 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 26709 13073 16 0 208951 0
vsize: 835868
[startup+490.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 47412 51 0 0 25 0 11 0 542122969 855928832 26782 4294967295 134512640 134569956 3221224400 3221214784 1131348286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 26782 13073 16 0 208951 0
vsize: 835868
[startup+500.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 48398 51 0 0 25 0 11 0 542122969 855928832 26879 4294967295 134512640 134569956 3221224400 3221214688 1131279255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 26879 13073 16 0 208951 0
vsize: 835868
[startup+510.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 49380 51 0 0 25 0 11 0 542122969 855928832 26993 4294967295 134512640 134569956 3221224400 3221214688 1131279421 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 26993 13073 16 0 208951 0
vsize: 835868
[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 50358 51 0 0 25 0 11 0 542122969 855928832 27032 4294967295 134512640 134569956 3221224400 3221214688 1131279894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 27032 13073 16 0 208951 0
vsize: 835868
[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 51330 52 0 0 25 0 11 0 542122969 855928832 27151 4294967295 134512640 134569956 3221224400 3221214688 1131279153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 27151 13073 16 0 208951 0
vsize: 835868
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 52302 52 0 0 25 0 11 0 542122969 855928832 27478 4294967295 134512640 134569956 3221224400 3221214808 1131261543 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 27478 13073 16 0 208951 0
vsize: 835868
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 53281 53 0 0 25 0 11 0 542122969 855928832 27599 4294967295 134512640 134569956 3221224400 3221214688 1131279933 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 27599 13073 16 0 208951 0
vsize: 835868
[startup+560.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 54259 53 0 0 25 0 11 0 542122969 855928832 27809 4294967295 134512640 134569956 3221224400 3221214784 1131345337 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 27809 13073 16 0 208951 0
vsize: 835868
[startup+570.036 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 55236 54 0 0 25 0 11 0 542122969 855928832 27950 4294967295 134512640 134569956 3221224400 3221214784 1131345364 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 27950 13073 16 0 208951 0
vsize: 835868
[startup+580.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 56215 54 0 0 24 0 11 0 542122969 855928832 28091 4294967295 134512640 134569956 3221224400 3221214688 1131279168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 28091 13073 16 0 208951 0
vsize: 835868
[startup+590.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 57195 54 0 0 25 0 11 0 542122969 855928832 28273 4294967295 134512640 134569956 3221224400 3221214688 1131279995 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 28273 13073 16 0 208951 0
vsize: 835868
[startup+600.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 58177 54 0 0 25 0 11 0 542122969 855928832 28399 4294967295 134512640 134569956 3221224400 3221214688 1131279988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 28399 13073 16 0 208951 0
vsize: 835868
[startup+610.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 59161 54 0 0 25 0 11 0 542122969 855928832 28548 4294967295 134512640 134569956 3221224400 3221214784 1131345328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 28548 13073 16 0 208951 0
vsize: 835868
[startup+620.038 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 60143 54 0 0 24 0 11 0 542122969 855928832 28640 4294967295 134512640 134569956 3221224400 3221214688 1131279153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 28640 13073 16 0 208951 0
vsize: 835868
[startup+630.039 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 61129 54 0 0 25 0 11 0 542122969 855928832 28708 4294967295 134512640 134569956 3221224400 3221214688 1131278846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 28708 13073 16 0 208951 0
vsize: 835868
[startup+640.043 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 62115 54 0 0 25 0 11 0 542122969 855928832 28800 4294967295 134512640 134569956 3221224400 3221214784 1131346286 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 28800 13073 16 0 208951 0
vsize: 835868
[startup+650.046 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) S 11281 11931 11930 0 -1 0 18069 0 1 0 63100 54 0 0 25 0 11 0 542122969 855928832 28857 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 28857 13073 16 0 208951 0
vsize: 835868
[startup+660.047 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 64087 55 0 0 25 0 11 0 542122969 855928832 28908 4294967295 134512640 134569956 3221224400 3221214688 1131279398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 28908 13073 16 0 208951 0
vsize: 835868
[startup+670.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 65073 55 0 0 24 0 11 0 542122969 855928832 28959 4294967295 134512640 134569956 3221224400 3221214688 1131279153 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 28959 13073 16 0 208951 0
vsize: 835868
[startup+680.062 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 66059 55 0 0 25 0 11 0 542122969 855928832 29043 4294967295 134512640 134569956 3221224400 3221214688 1131278776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 29043 13073 16 0 208951 0
vsize: 835868
[startup+690.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 67046 55 0 0 24 0 11 0 542122969 855928832 29085 4294967295 134512640 134569956 3221224400 3221214784 1131346419 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 29085 13073 16 0 208951 0
vsize: 835868
[startup+700.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 68033 55 0 0 25 0 11 0 542122969 855928832 29146 4294967295 134512640 134569956 3221224400 3221214688 1131279841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 29146 13073 16 0 208951 0
vsize: 835868
[startup+710.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 69016 55 0 0 25 0 11 0 542122969 855928832 29193 4294967295 134512640 134569956 3221224400 3221214816 1131340467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 29193 13073 16 0 208951 0
vsize: 835868
[startup+720.063 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 70000 55 0 0 25 0 11 0 542122969 855928832 29241 4294967295 134512640 134569956 3221224400 3221214784 1131345328 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 29241 13073 16 0 208951 0
vsize: 835868
[startup+730.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 70982 55 0 0 25 0 11 0 542122969 855928832 29334 4294967295 134512640 134569956 3221224400 3221214688 1131279358 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 29334 13073 16 0 208951 0
vsize: 835868
[startup+740.064 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 71965 55 0 0 25 0 11 0 542122969 855928832 29510 4294967295 134512640 134569956 3221224400 3221214780 1131280105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 29510 13073 16 0 208951 0
vsize: 835868
[startup+750.066 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 72950 56 0 0 24 0 11 0 542122969 855928832 29547 4294967295 134512640 134569956 3221224400 3221214784 1131346298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 29547 13073 16 0 208951 0
vsize: 835868
[startup+760.066 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 73935 56 0 0 25 0 11 0 542122969 855928832 29663 4294967295 134512640 134569956 3221224400 3221214784 1131345364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 29663 13073 16 0 208951 0
vsize: 835868
[startup+770.065 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 74923 56 0 0 25 0 11 0 542122969 855928832 29711 4294967295 134512640 134569956 3221224400 3221214688 1131279421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 29711 13073 16 0 208951 0
vsize: 835868
[startup+780.066 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) S 11281 11931 11930 0 -1 0 18069 0 1 0 75907 56 0 0 25 0 11 0 542122969 855928832 29746 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 29746 13073 16 0 208951 0
vsize: 835868
[startup+790.066 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 76893 57 0 0 25 0 11 0 542122969 855928832 29815 4294967295 134512640 134569956 3221224400 3221214688 1131279109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 29815 13073 16 0 208951 0
vsize: 835868
[startup+800.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 77880 57 0 0 25 0 11 0 542122969 855928832 29853 4294967295 134512640 134569956 3221224400 3221214688 1131278834 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 208967 29853 13073 16 0 208951 0
vsize: 835868
[startup+810.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 78865 57 0 0 25 0 11 0 542122969 855928832 29892 4294967295 134512640 134569956 3221224400 3221214780 1131280105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 29892 13073 16 0 208951 0
vsize: 835868
[startup+820.067 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 79847 57 0 0 25 0 11 0 542122969 855928832 29945 4294967295 134512640 134569956 3221224400 3221214688 1131279255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 29945 13073 16 0 208951 0
vsize: 835868
[startup+830.068 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 80828 58 0 0 25 0 11 0 542122969 855928832 30028 4294967295 134512640 134569956 3221224400 3221214688 1131279374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 30028 13073 16 0 208951 0
vsize: 835868
[startup+840.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 81808 58 0 0 25 0 11 0 542122969 855928832 30165 4294967295 134512640 134569956 3221224400 3221214688 1131279322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 30165 13073 16 0 208951 0
vsize: 835868
[startup+850.069 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 82789 58 0 0 25 0 11 0 542122969 855928832 30227 4294967295 134512640 134569956 3221224400 3221214688 1131279153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 30227 13073 16 0 208951 0
vsize: 835868
[startup+860.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 83770 59 0 0 25 0 11 0 542122969 855928832 30336 4294967295 134512640 134569956 3221224400 3221214688 1131279354 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 30336 13073 16 0 208951 0
vsize: 835868
[startup+870.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 84750 59 0 0 25 0 11 0 542122969 855928832 30489 4294967295 134512640 134569956 3221224400 3221214688 1131279255 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 30489 13073 16 0 208951 0
vsize: 835868
[startup+880.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 85720 59 0 0 25 0 11 0 542122969 855928832 30591 4294967295 134512640 134569956 3221224400 3221214688 1131279656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 30591 13073 16 0 208951 0
vsize: 835868
[startup+890.071 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 86691 60 0 0 25 0 11 0 542122969 855928832 30693 4294967295 134512640 134569956 3221224400 3221214688 1131279346 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 30693 13073 16 0 208951 0
vsize: 835868
[startup+900.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 87662 60 0 0 25 0 11 0 542122969 855928832 31220 4294967295 134512640 134569956 3221224400 3221214704 1131556693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 31220 13073 16 0 208951 0
vsize: 835868
[startup+910.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 88642 61 0 0 25 0 11 0 542122969 855928832 31306 4294967295 134512640 134569956 3221224400 3221214160 1131577079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 31306 13073 16 0 208951 0
vsize: 835868
[startup+920.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 89619 61 0 0 25 0 11 0 542122969 855928832 31409 4294967295 134512640 134569956 3221224400 3221214688 1131279968 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 31409 13073 16 0 208951 0
vsize: 835868
[startup+930.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 90597 61 0 0 25 0 11 0 542122969 855928832 31586 4294967295 134512640 134569956 3221224400 3221214688 1131279261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 31586 13073 16 0 208951 0
vsize: 835868
[startup+940.072 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 91572 61 0 0 25 0 11 0 542122969 855928832 31745 4294967295 134512640 134569956 3221224400 3221214688 1131278776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 31745 13073 16 0 208951 0
vsize: 835868
[startup+950.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 92544 62 0 0 25 0 11 0 542122969 855928832 31911 4294967295 134512640 134569956 3221224400 3221214784 1131346462 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 31911 13073 16 0 208951 0
vsize: 835868
[startup+960.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 93510 62 0 0 25 0 11 0 542122969 855928832 32118 4294967295 134512640 134569956 3221224400 3221214784 1131345364 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 32118 13073 16 0 208951 0
vsize: 835868
[startup+970.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 94479 63 0 0 25 0 11 0 542122969 855928832 32389 4294967295 134512640 134569956 3221224400 3221214784 1131347183 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 32389 13073 16 0 208951 0
vsize: 835868
[startup+980.073 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 95451 63 0 0 25 0 11 0 542122969 855928832 32642 4294967295 134512640 134569956 3221224400 3221214784 1131346342 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 32642 13073 16 0 208951 0
vsize: 835868
[startup+990.074 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 96428 63 0 0 25 0 11 0 542122969 855928832 32974 4294967295 134512640 134569956 3221224400 3221214688 1131279153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 32974 13073 16 0 208951 0
vsize: 835868
[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 97409 63 0 0 25 0 11 0 542122969 855928832 33047 4294967295 134512640 134569956 3221224400 3221214688 1131279273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 33047 13073 16 0 208951 0
vsize: 835868
[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 98391 63 0 0 25 0 11 0 542122969 855928832 33143 4294967295 134512640 134569956 3221224400 3221214736 1131229589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 33143 13073 16 0 208951 0
vsize: 835868
[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 99373 63 0 0 25 0 11 0 542122969 855928832 33297 4294967295 134512640 134569956 3221224400 3221214688 1131279273 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 33297 13073 16 0 208951 0
vsize: 835868
[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 100355 64 0 0 25 0 11 0 542122969 855928832 33350 4294967295 134512640 134569956 3221224400 3221214688 1131279392 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 33350 13073 16 0 208951 0
vsize: 835868
[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 101335 64 0 0 25 0 11 0 542122969 855928832 33459 4294967295 134512640 134569956 3221224400 3221214816 1131340461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 33459 13073 16 0 208951 0
vsize: 835868
[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 102312 65 0 0 25 0 11 0 542122969 855928832 33550 4294967295 134512640 134569956 3221224400 3221214688 1131279153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 33550 13073 16 0 208951 0
vsize: 835868
[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 103288 65 0 0 25 0 11 0 542122969 855928832 33697 4294967295 134512640 134569956 3221224400 3221214688 1131279153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 33697 13073 16 0 208951 0
vsize: 835868
[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 104264 65 0 0 25 0 11 0 542122969 855928832 33779 4294967295 134512640 134569956 3221224400 3221214160 1131577144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 33779 13073 16 0 208951 0
vsize: 835868
[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 105243 66 0 0 25 0 11 0 542122969 855928832 34036 4294967295 134512640 134569956 3221224400 3221214688 1131278749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 34036 13073 16 0 208951 0
vsize: 835868
[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 106224 66 0 0 25 0 11 0 542122969 855928832 34201 4294967295 134512640 134569956 3221224400 3221214688 1131280052 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 34201 13073 16 0 208951 0
vsize: 835868
[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 107207 66 0 0 25 0 11 0 542122969 855928832 34297 4294967295 134512640 134569956 3221224400 3221214688 1131279350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 34297 13073 16 0 208951 0
vsize: 835868
[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 108191 67 0 0 25 0 11 0 542122969 855928832 34376 4294967295 134512640 134569956 3221224400 3221214688 1131279326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 34376 13073 16 0 208951 0
vsize: 835868
[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 109174 67 0 0 25 0 11 0 542122969 855928832 34455 4294967295 134512640 134569956 3221224400 3221214688 1131279168 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 34455 13073 16 0 208951 0
vsize: 835868
[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 110159 67 0 0 25 0 11 0 542122969 855928832 34523 4294967295 134512640 134569956 3221224400 3221214688 1131279020 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 34523 13073 16 0 208951 0
vsize: 835868
[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 111144 68 0 0 25 0 11 0 542122969 855928832 34579 4294967295 134512640 134569956 3221224400 3221214912 1131579756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 34579 13073 16 0 208951 0
vsize: 835868
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 112127 68 0 0 24 0 11 0 542122969 855928832 34662 4294967295 134512640 134569956 3221224400 3221214784 1131345105 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 34662 13073 16 0 208951 0
vsize: 835868
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 113111 69 0 0 25 0 11 0 542122969 855928832 34716 4294967295 134512640 134569956 3221224400 3221214688 1131279153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 34716 13073 16 0 208951 0
vsize: 835868
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 114095 69 0 0 25 0 11 0 542122969 855928832 34775 4294967295 134512640 134569956 3221224400 3221214784 1131347241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 34775 13073 16 0 208951 0
vsize: 835868
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 115078 70 0 0 25 0 11 0 542122969 855928832 34852 4294967295 134512640 134569956 3221224400 3221214688 1131279150 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 34852 13073 16 0 208951 0
vsize: 835868
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 116062 70 0 0 25 0 11 0 542122969 855928832 34930 4294967295 134512640 134569956 3221224400 3221214784 1131345328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 34930 13073 16 0 208951 0
vsize: 835868
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 117046 71 0 0 25 0 11 0 542122969 855928832 35006 4294967295 134512640 134569956 3221224400 3221214688 1131279109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 35006 13073 16 0 208951 0
vsize: 835868
[startup+1210.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 118029 71 0 0 25 0 11 0 542122969 855928832 35052 4294967295 134512640 134569956 3221224400 3221214688 1131279499 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 35052 13073 16 0 208951 0
vsize: 835868
[startup+1220.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 119012 71 0 0 25 0 11 0 542122969 855928832 35115 4294967295 134512640 134569956 3221224400 3221214688 1131279153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 35115 13073 16 0 208951 0
vsize: 835868
[startup+1230.08 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 11292
Raw data (stat): 11282 (java) R 11281 11931 11930 0 -1 0 18069 0 1 0 119992 71 0 0 25 0 11 0 542122969 855928832 35225 4294967295 134512640 134569956 3221224400 3221214688 1131278753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208967 35225 13073 16 0 208951 0
vsize: 835868
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.2 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 11294
Raw data (stat): 11282 (java) Z 11281 11931 11930 0 -1 1036 18069 18892 1 0 119998 77 3720 48 25 0 1 0 542122969 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): 1230.2
CPU time (s): 1238.45
CPU user time (s): 1237.19
CPU system time (s): 1.26381
CPU usage (%): 100.671
Max. virtual memory (Kb): 836152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####