PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p2756.opb
MD5SUM	cc9b9a1bf5f3e0998bc97d2eed5cbbd9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4605
Optimality of the best value was proved	NO
Number of terms in the objective function	2166
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	321831
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	321831
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07384
Number of variables	2756
Total number of constraints	3511
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	2976
Number of constraints which are nor clauses,nor cardinality constraints	403
Minimum length of a constraint	1
Maximum length of a constraint	546
Trace number 16924

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-04-21 09:03:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12177 boxname=wulflinc20 idbench=937 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  cc9b9a1bf5f3e0998bc97d2eed5cbbd9  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 12177
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        562280 kB
Buffers:         23032 kB
Cached:         425524 kB
SwapCached:        516 kB
Active:         102848 kB
Inactive:       347652 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        562028 kB
SwapTotal:     2097892 kB
SwapFree:      2096480 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5116 kB
Slab:            16244 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 09:24:16 (client local time) WITH STATUS 143 IN 1226.56 SECONDS
stats: 12177 7 1226.56 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-20-10-p2756.opb
c reading problem 
c [nbvar=2756]
c [nbconstr=3511]
c time 6.739
c #vars     2756
c #clauses  749
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=118659
c Current CPU time (ms) : 11.294
c starts	: 1
c conflicts	: 45
c decisions	: 14230
c propagations	: 23362
c inspects	: 10914
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 45
c root simplifications	: 12
c 
c CURRENT OPTIMUM=118467
c Current CPU time (ms) : 81.532
c starts	: 2
c conflicts	: 61
c decisions	: 15934
c propagations	: 26216
c inspects	: 12887
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 61
c root simplifications	: 13
c 
c CURRENT OPTIMUM=38837
c Current CPU time (ms) : 83.293
c starts	: 3
c conflicts	: 69
c decisions	: 18766
c propagations	: 30810
c inspects	: 18723
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 69
c root simplifications	: 14
c 
c CURRENT OPTIMUM=29457
c Current CPU time (ms) : 96.945
c starts	: 4
c conflicts	: 75
c decisions	: 21671
c propagations	: 35156
c inspects	: 22119
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 75
c root simplifications	: 15
c 
c CURRENT OPTIMUM=26685
c Current CPU time (ms) : 545.246
c starts	: 6
c conflicts	: 180
c decisions	: 25319
c propagations	: 41784
c inspects	: 39860
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 180
c root simplifications	: 17
c 
c CURRENT OPTIMUM=18863
c Current CPU time (ms) : 564.171
c starts	: 7
c conflicts	: 182
c decisions	: 27387
c propagations	: 45416
c inspects	: 46531
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 182
c root simplifications	: 18
c 
c CURRENT OPTIMUM=17909
c Current CPU time (ms) : 569.714
c starts	: 8
c conflicts	: 185
c decisions	: 29225
c propagations	: 48695
c inspects	: 53786
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 185
c root simplifications	: 19
#### 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.92 0.98 0.96 2/54 3184
Raw data (stat): 3184 (runsolver) R 3183 27565 27564 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 543851988 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.001 s]
Raw data (loadavg): 1.24 1.05 0.98 4/64 3194
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18062 0 1 0 691 40 0 0 25 0 11 0 543851988 866078720 21721 4294967295 134512640 134569956 3221224400 3221214688 1130883104 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211445 21721 13073 16 0 211429 0
vsize: 845780
[startup+20.0014 s]
Raw data (loadavg): 1.28 1.06 0.98 2/64 3195
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18064 4 1 0 1570 41 0 0 25 0 11 0 543851988 863277056 21785 4294967295 134512640 134569956 3221224400 3221214536 1131351536 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 21785 13073 16 0 210745 0
vsize: 843044
[startup+30.0026 s]
Raw data (loadavg): 1.23 1.06 0.98 2/64 3195
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18064 4 1 0 2527 41 0 0 25 0 11 0 543851988 863277056 21903 4294967295 134512640 134569956 3221224400 3221214556 1130890522 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 21903 13073 16 0 210745 0
vsize: 843044
[startup+40.0036 s]
Raw data (loadavg): 1.20 1.06 0.98 2/64 3195
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18064 4 1 0 3480 41 0 0 25 0 11 0 543851988 863277056 22084 4294967295 134512640 134569956 3221224400 3221214432 1131328781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210761 22084 13073 16 0 210745 0
vsize: 843044
[startup+50.0036 s]
Raw data (loadavg): 1.17 1.06 0.98 2/64 3195
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18064 4 1 0 4429 41 0 0 25 0 11 0 543851988 863277056 22286 4294967295 134512640 134569956 3221224400 3221214432 1131328976 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210761 22286 13073 16 0 210745 0
vsize: 843044
[startup+60.0047 s]
Raw data (loadavg): 1.14 1.05 0.98 2/64 3195
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18064 4 1 0 5367 41 0 0 25 0 11 0 543851988 863277056 22455 4294967295 134512640 134569956 3221224400 3221214632 1131545920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210761 22455 13073 16 0 210745 0
vsize: 843044
[startup+70.0055 s]
Raw data (loadavg): 1.12 1.05 0.98 2/64 3195
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18064 4 1 0 6326 41 0 0 24 0 11 0 543851988 863277056 22866 4294967295 134512640 134569956 3221224400 3221214632 1131546329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210761 22866 13073 16 0 210745 0
vsize: 843044
[startup+80.0067 s]
Raw data (loadavg): 1.10 1.05 0.98 2/64 3195
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18064 4 1 0 7300 41 0 0 25 0 11 0 543851988 863277056 22986 4294967295 134512640 134569956 3221224400 3221214536 1131285760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210761 22986 13073 16 0 210745 0
vsize: 843044
[startup+90.007 s]
Raw data (loadavg): 1.08 1.05 0.98 2/64 3197
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 8247 42 0 0 25 0 11 0 543851988 863277056 23081 4294967295 134512640 134569956 3221224400 3221214328 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23081 13073 16 0 210745 0
vsize: 843044
[startup+100.007 s]
Raw data (loadavg): 1.07 1.05 0.98 2/64 3198
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 9215 42 0 0 25 0 11 0 543851988 863277056 23191 4294967295 134512640 134569956 3221224400 3221214664 1131322655 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23191 13073 16 0 210745 0
vsize: 843044
[startup+110.008 s]
Raw data (loadavg): 1.06 1.04 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 10186 43 0 0 25 0 11 0 543851988 863277056 23213 4294967295 134512640 134569956 3221224400 3221214624 1131586896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23213 13073 16 0 210745 0
vsize: 843044
[startup+120.009 s]
Raw data (loadavg): 1.05 1.04 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 11161 43 0 0 25 0 11 0 543851988 863277056 23241 4294967295 134512640 134569956 3221224400 3221214596 1130885154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23241 13073 16 0 210745 0
vsize: 843044
[startup+130.01 s]
Raw data (loadavg): 1.04 1.04 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 12134 43 0 0 25 0 11 0 543851988 863277056 23362 4294967295 134512640 134569956 3221224400 3221214536 1131284489 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23362 13073 16 0 210745 0
vsize: 843044
[startup+140.01 s]
Raw data (loadavg): 1.03 1.04 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 13109 44 0 0 25 0 11 0 543851988 863277056 23362 4294967295 134512640 134569956 3221224400 3221214624 1131590503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23362 13073 16 0 210745 0
vsize: 843044
[startup+150.011 s]
Raw data (loadavg): 1.03 1.04 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 14080 45 0 0 24 0 11 0 543851988 863277056 23453 4294967295 134512640 134569956 3221224400 3221214432 1131328851 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23453 13073 16 0 210745 0
vsize: 843044
[startup+160.012 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 15061 45 0 0 25 0 11 0 543851988 863277056 23530 4294967295 134512640 134569956 3221224400 3221214432 1131328787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23530 13073 16 0 210745 0
vsize: 843044
[startup+170.012 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 16045 45 0 0 25 0 11 0 543851988 863277056 23665 4294967295 134512640 134569956 3221224400 3221214432 1131329114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23665 13073 16 0 210745 0
vsize: 843044
[startup+180.014 s]
Raw data (loadavg): 1.02 1.03 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 17037 45 0 0 25 0 11 0 543851988 863277056 23672 4294967295 134512640 134569956 3221224400 3221214432 1131328781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23672 13073 16 0 210745 0
vsize: 843044
[startup+190.014 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 18024 45 0 0 25 0 11 0 543851988 863277056 23680 4294967295 134512640 134569956 3221224400 3221214368 1074489757 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23680 13073 16 0 210745 0
vsize: 843044
[startup+200.014 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 19009 46 0 0 25 0 11 0 543851988 863277056 23744 4294967295 134512640 134569956 3221224400 3221214624 1131586912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23744 13073 16 0 210745 0
vsize: 843044
[startup+210.015 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 19996 46 0 0 25 0 11 0 543851988 863277056 23755 4294967295 134512640 134569956 3221224400 3221214632 1131546430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23755 13073 16 0 210745 0
vsize: 843044
[startup+220.016 s]
Raw data (loadavg): 1.01 1.03 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 20984 47 0 0 25 0 11 0 543851988 863277056 23759 4294967295 134512640 134569956 3221224400 3221214624 1131590518 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23759 13073 16 0 210745 0
vsize: 843044
[startup+230.016 s]
Raw data (loadavg): 1.01 1.02 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 21970 47 0 0 25 0 11 0 543851988 863277056 23768 4294967295 134512640 134569956 3221224400 3221214432 1131328704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23768 13073 16 0 210745 0
vsize: 843044
[startup+240.016 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 22956 48 0 0 24 0 11 0 543851988 863277056 23773 4294967295 134512640 134569956 3221224400 3221214632 1131546304 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23773 13073 16 0 210745 0
vsize: 843044
[startup+250.016 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 23950 48 0 0 25 0 11 0 543851988 863277056 23897 4294967295 134512640 134569956 3221224400 3221214356 1078830560 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23897 13073 16 0 210745 0
vsize: 843044
[startup+260.016 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 24943 49 0 0 25 0 11 0 543851988 863277056 23901 4294967295 134512640 134569956 3221224400 3221214536 1131553390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23901 13073 16 0 210745 0
vsize: 843044
[startup+270.016 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 25932 49 0 0 25 0 11 0 543851988 863277056 23911 4294967295 134512640 134569956 3221224400 3221214624 1131586916 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23911 13073 16 0 210745 0
vsize: 843044
[startup+280.017 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 26905 49 0 0 25 0 11 0 543851988 863277056 23914 4294967295 134512640 134569956 3221224400 3221214584 1131355294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23914 13073 16 0 210745 0
vsize: 843044
[startup+290.017 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 27884 50 0 0 25 0 11 0 543851988 863277056 23923 4294967295 134512640 134569956 3221224400 3221214760 1131399488 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23923 13073 16 0 210745 0
vsize: 843044
[startup+300.017 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 28848 50 0 0 25 0 11 0 543851988 863277056 23932 4294967295 134512640 134569956 3221224400 3221214664 1131322401 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 23932 13073 16 0 210745 0
vsize: 843044
[startup+310.018 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 29811 50 0 0 25 0 11 0 543851988 863277056 24026 4294967295 134512640 134569956 3221224400 3221214432 1131328781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24026 13073 16 0 210745 0
vsize: 843044
[startup+320.018 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 30784 50 0 0 25 0 11 0 543851988 863277056 24184 4294967295 134512640 134569956 3221224400 3221214432 1131329114 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24184 13073 16 0 210745 0
vsize: 843044
[startup+330.019 s]
Raw data (loadavg): 1.00 1.02 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 31765 51 0 0 25 0 11 0 543851988 863277056 24184 4294967295 134512640 134569956 3221224400 3221214664 1131387084 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24184 13073 16 0 210745 0
vsize: 843044
[startup+340.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 32732 51 0 0 25 0 11 0 543851988 863277056 24381 4294967295 134512640 134569956 3221224400 3221214432 1131328704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24381 13073 16 0 210745 0
vsize: 843044
[startup+350.02 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 33715 51 0 0 25 0 11 0 543851988 863277056 24426 4294967295 134512640 134569956 3221224400 3221214664 1131322429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24426 13073 16 0 210745 0
vsize: 843044
[startup+360.022 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 34689 51 0 0 25 0 11 0 543851988 863277056 24435 4294967295 134512640 134569956 3221224400 3221214632 1131546024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24435 13073 16 0 210745 0
vsize: 843044
[startup+370.022 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 35668 52 0 0 25 0 11 0 543851988 863277056 24440 4294967295 134512640 134569956 3221224400 3221214624 1131586912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24440 13073 16 0 210745 0
vsize: 843044
[startup+380.022 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 36647 52 0 0 25 0 11 0 543851988 863277056 24491 4294967295 134512640 134569956 3221224400 3221214536 1131285653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210761 24491 13073 16 0 210745 0
vsize: 843044
[startup+390.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 37626 52 0 0 25 0 11 0 543851988 863277056 24545 4294967295 134512640 134569956 3221224400 3221214432 1131328704 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24545 13073 16 0 210745 0
vsize: 843044
[startup+400.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 38604 52 0 0 25 0 11 0 543851988 863277056 24708 4294967295 134512640 134569956 3221224400 3221214432 1131329110 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24708 13073 16 0 210745 0
vsize: 843044
[startup+410.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 39589 53 0 0 25 0 11 0 543851988 863277056 24712 4294967295 134512640 134569956 3221224400 3221214584 1131355186 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24712 13073 16 0 210745 0
vsize: 843044
[startup+420.024 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 40571 53 0 0 25 0 11 0 543851988 863277056 24721 4294967295 134512640 134569956 3221224400 3221214616 1131512841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24721 13073 16 0 210745 0
vsize: 843044
[startup+430.026 s]
Raw data (loadavg): 1.00 1.01 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 41547 53 0 0 25 0 11 0 543851988 863277056 24726 4294967295 134512640 134569956 3221224400 3221214632 1131546326 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24726 13073 16 0 210745 0
vsize: 843044
[startup+440.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 42521 53 0 0 25 0 11 0 543851988 863277056 24745 4294967295 134512640 134569956 3221224400 3221214596 1131525203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24745 13073 16 0 210745 0
vsize: 843044
[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 43501 53 0 0 25 0 11 0 543851988 863277056 24868 4294967295 134512640 134569956 3221224400 3221214432 1131328781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24868 13073 16 0 210745 0
vsize: 843044
[startup+460.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 44479 54 0 0 25 0 11 0 543851988 863277056 24879 4294967295 134512640 134569956 3221224400 3221214536 1131285633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 24879 13073 16 0 210745 0
vsize: 843044
[startup+470.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 45459 54 0 0 25 0 11 0 543851988 863277056 25031 4294967295 134512640 134569956 3221224400 3221214584 1131355139 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25031 13073 16 0 210745 0
vsize: 843044
[startup+480.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 46438 54 0 0 25 0 11 0 543851988 863277056 25033 4294967295 134512640 134569956 3221224400 3221214624 1131590503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25033 13073 16 0 210745 0
vsize: 843044
[startup+490.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 47398 55 0 0 25 0 11 0 543851988 863277056 25118 4294967295 134512640 134569956 3221224400 3221214624 1131590550 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25118 13073 16 0 210745 0
vsize: 843044
[startup+500.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 48361 55 0 0 25 0 11 0 543851988 863277056 25131 4294967295 134512640 134569956 3221224400 3221214624 1131590503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25131 13073 16 0 210745 0
vsize: 843044
[startup+510.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 49332 56 0 0 25 0 11 0 543851988 863277056 25155 4294967295 134512640 134569956 3221224400 3221214432 1131328778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25155 13073 16 0 210745 0
vsize: 843044
[startup+520.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 50299 56 0 0 25 0 11 0 543851988 863277056 25323 4294967295 134512640 134569956 3221224400 3221214624 1131590648 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25323 13073 16 0 210745 0
vsize: 843044
[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 51275 56 0 0 25 0 11 0 543851988 863277056 25362 4294967295 134512640 134569956 3221224400 3221214624 1131590503 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25362 13073 16 0 210745 0
vsize: 843044
[startup+540.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3200
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 52257 56 0 0 25 0 11 0 543851988 863277056 25440 4294967295 134512640 134569956 3221224400 3221214760 1131390817 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25440 13073 16 0 210745 0
vsize: 843044
[startup+550.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3201
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 53237 57 0 0 25 0 11 0 543851988 863277056 25520 4294967295 134512640 134569956 3221224400 3221214760 1131395742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25520 13073 16 0 210745 0
vsize: 843044
[startup+560.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3201
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 54217 57 0 0 25 0 11 0 543851988 863277056 25564 4294967295 134512640 134569956 3221224400 3221214760 1131396833 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25564 13073 16 0 210745 0
vsize: 843044
[startup+570.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3202
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 55204 58 0 0 25 0 11 0 543851988 863277056 25571 4294967295 134512640 134569956 3221224400 3221214760 1131390752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25571 13073 16 0 210745 0
vsize: 843044
[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 56162 58 0 0 25 0 11 0 543851988 863277056 25589 4294967295 134512640 134569956 3221224400 3221214688 1131429491 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25589 13073 16 0 210745 0
vsize: 843044
[startup+590.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 57114 58 0 0 25 0 11 0 543851988 863277056 25632 4294967295 134512640 134569956 3221224400 3221214576 1131487398 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210761 25632 13073 16 0 210745 0
vsize: 843044
[startup+600.036 s]
Raw data (loadavg): 1.08 1.02 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 58062 59 0 0 25 0 11 0 543851988 864419840 26002 4294967295 134512640 134569956 3221224400 3221214664 1131322401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26002 13073 16 0 211024 0
vsize: 844160
[startup+610.037 s]
Raw data (loadavg): 1.07 1.02 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 59040 59 0 0 25 0 11 0 543851988 864419840 26204 4294967295 134512640 134569956 3221224400 3221214688 1131546389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26204 13073 16 0 211024 0
vsize: 844160
[startup+620.036 s]
Raw data (loadavg): 1.06 1.01 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 60013 59 0 0 25 0 11 0 543851988 864419840 26204 4294967295 134512640 134569956 3221224400 3221214804 1080203749 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26204 13073 16 0 211024 0
vsize: 844160
[startup+630.037 s]
Raw data (loadavg): 1.05 1.01 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 60982 59 0 0 25 0 11 0 543851988 864419840 26207 4294967295 134512640 134569956 3221224400 3221214688 1131546368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26207 13073 16 0 211024 0
vsize: 844160
[startup+640.038 s]
Raw data (loadavg): 1.04 1.01 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 61967 59 0 0 25 0 11 0 543851988 864419840 26297 4294967295 134512640 134569956 3221224400 3221214688 1131546088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26297 13073 16 0 211024 0
vsize: 844160
[startup+650.038 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 62955 59 0 0 25 0 11 0 543851988 864419840 26347 4294967295 134512640 134569956 3221224400 3221214592 1131284482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26347 13073 16 0 211024 0
vsize: 844160
[startup+660.039 s]
Raw data (loadavg): 1.03 1.01 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 63946 59 0 0 25 0 11 0 543851988 864419840 26347 4294967295 134512640 134569956 3221224400 3221214680 1131586912 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26347 13073 16 0 211024 0
vsize: 844160
[startup+670.04 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 64935 59 0 0 25 0 11 0 543851988 864419840 26347 4294967295 134512640 134569956 3221224400 3221214688 1131546329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26347 13073 16 0 211024 0
vsize: 844160
[startup+680.04 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 65926 59 0 0 25 0 11 0 543851988 864419840 26395 4294967295 134512640 134569956 3221224400 3221214488 1131328653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26395 13073 16 0 211024 0
vsize: 844160
[startup+690.04 s]
Raw data (loadavg): 1.02 1.01 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 66924 59 0 0 25 0 11 0 543851988 864419840 26395 4294967295 134512640 134569956 3221224400 3221214608 1131562069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26395 13073 16 0 211024 0
vsize: 844160
[startup+700.04 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 67922 59 0 0 25 0 11 0 543851988 864419840 26395 4294967295 134512640 134569956 3221224400 3221214640 1131355196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26395 13073 16 0 211024 0
vsize: 844160
[startup+710.04 s]
Raw data (loadavg): 1.01 1.01 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 68920 59 0 0 25 0 11 0 543851988 864419840 26395 4294967295 134512640 134569956 3221224400 3221214640 1131355165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26395 13073 16 0 211024 0
vsize: 844160
[startup+720.041 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 69918 59 0 0 25 0 11 0 543851988 864419840 26395 4294967295 134512640 134569956 3221224400 3221214488 1131329048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26395 13073 16 0 211024 0
vsize: 844160
[startup+730.041 s]
Raw data (loadavg): 1.01 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 70916 59 0 0 25 0 11 0 543851988 864419840 26395 4294967295 134512640 134569956 3221224400 3221214680 1131586908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26395 13073 16 0 211024 0
vsize: 844160
[startup+740.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 71915 59 0 0 25 0 11 0 543851988 864419840 26395 4294967295 134512640 134569956 3221224400 3221214688 1131546326 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26395 13073 16 0 211024 0
vsize: 844160
[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 72913 59 0 0 25 0 11 0 543851988 864419840 26395 4294967295 134512640 134569956 3221224400 3221214688 1131546374 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26395 13073 16 0 211024 0
vsize: 844160
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 73910 59 0 0 25 0 11 0 543851988 864419840 26395 4294967295 134512640 134569956 3221224400 3221214688 1131545973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26395 13073 16 0 211024 0
vsize: 844160
[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 74908 59 0 0 25 0 11 0 543851988 864419840 26395 4294967295 134512640 134569956 3221224400 3221214688 1131545966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26395 13073 16 0 211024 0
vsize: 844160
[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 75904 59 0 0 25 0 11 0 543851988 864419840 26395 4294967295 134512640 134569956 3221224400 3221214640 1131355196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26395 13073 16 0 211024 0
vsize: 844160
[startup+790.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 76889 60 0 0 25 0 11 0 543851988 864419840 26395 4294967295 134512640 134569956 3221224400 3221214752 1131472680 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26395 13073 16 0 211024 0
vsize: 844160
[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 77868 60 0 0 25 0 11 0 543851988 864419840 26409 4294967295 134512640 134569956 3221224400 3221214684 1131355368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26409 13073 16 0 211024 0
vsize: 844160
[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 78852 60 0 0 25 0 11 0 543851988 864419840 26409 4294967295 134512640 134569956 3221224400 3221214640 1131355218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26409 13073 16 0 211024 0
vsize: 844160
[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 79838 60 0 0 25 0 11 0 543851988 864419840 26420 4294967295 134512640 134569956 3221224400 3221214488 1131328851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26420 13073 16 0 211024 0
vsize: 844160
[startup+830.047 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 80828 60 0 0 25 0 11 0 543851988 864419840 26461 4294967295 134512640 134569956 3221224400 3221214488 1131328704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 81815 60 0 0 24 0 11 0 543851988 864419840 26461 4294967295 134512640 134569956 3221224400 3221214688 1131546368 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26461 13073 16 0 211024 0
vsize: 844160
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 82805 60 0 0 25 0 11 0 543851988 864419840 26541 4294967295 134512640 134569956 3221224400 3221214688 1131545969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26541 13073 16 0 211024 0
vsize: 844160
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 83800 60 0 0 25 0 11 0 543851988 864419840 26542 4294967295 134512640 134569956 3221224400 3221214688 1131545969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26542 13073 16 0 211024 0
vsize: 844160
[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 84796 60 0 0 25 0 11 0 543851988 864419840 26542 4294967295 134512640 134569956 3221224400 3221214488 1131328771 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26542 13073 16 0 211024 0
vsize: 844160
[startup+880.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 85783 60 0 0 25 0 11 0 543851988 864419840 26544 4294967295 134512640 134569956 3221224400 3221214488 1131328893 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26544 13073 16 0 211024 0
vsize: 844160
[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 86771 60 0 0 25 0 11 0 543851988 864419840 26544 4294967295 134512640 134569956 3221224400 3221214688 1131546389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26544 13073 16 0 211024 0
vsize: 844160
[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 87756 60 0 0 25 0 11 0 543851988 864419840 26544 4294967295 134512640 134569956 3221224400 3221214488 1131328851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26544 13073 16 0 211024 0
vsize: 844160
[startup+910.05 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 88745 60 0 0 25 0 11 0 543851988 864419840 26588 4294967295 134512640 134569956 3221224400 3221214488 1131328815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26588 13073 16 0 211024 0
vsize: 844160
[startup+920.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 89741 60 0 0 25 0 11 0 543851988 864419840 26588 4294967295 134512640 134569956 3221224400 3221214592 1131285605 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26588 13073 16 0 211024 0
vsize: 844160
[startup+930.051 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 90736 60 0 0 25 0 11 0 543851988 864419840 26588 4294967295 134512640 134569956 3221224400 3221214592 1131284445 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26588 13073 16 0 211024 0
vsize: 844160
[startup+940.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 91725 60 0 0 25 0 11 0 543851988 864419840 26588 4294967295 134512640 134569956 3221224400 3221214816 1131428859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26588 13073 16 0 211024 0
vsize: 844160
[startup+950.052 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 92702 60 0 0 25 0 11 0 543851988 864419840 26588 4294967295 134512640 134569956 3221224400 3221214488 1131328698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26588 13073 16 0 211024 0
vsize: 844160
[startup+960.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 93684 61 0 0 25 0 11 0 543851988 864419840 26588 4294967295 134512640 134569956 3221224400 3221214680 1131590608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26588 13073 16 0 211024 0
vsize: 844160
[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 94667 61 0 0 25 0 11 0 543851988 864419840 26588 4294967295 134512640 134569956 3221224400 3221214640 1131355192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26588 13073 16 0 211024 0
vsize: 844160
[startup+980.053 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 95648 61 0 0 25 0 11 0 543851988 864419840 26632 4294967295 134512640 134569956 3221224400 3221214488 1131328712 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26632 13073 16 0 211024 0
vsize: 844160
[startup+990.054 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 96624 61 0 0 25 0 11 0 543851988 864419840 26716 4294967295 134512640 134569956 3221224400 3221214488 1131329110 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26716 13073 16 0 211024 0
vsize: 844160
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 97602 61 0 0 25 0 11 0 543851988 864419840 26765 4294967295 134512640 134569956 3221224400 3221214488 1131330249 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26765 13073 16 0 211024 0
vsize: 844160
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 98556 61 0 0 25 0 11 0 543851988 864419840 26778 4294967295 134512640 134569956 3221224400 3221214664 1131322401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26778 13073 16 0 211024 0
vsize: 844160
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 99517 61 0 0 25 0 11 0 543851988 864419840 26780 4294967295 134512640 134569956 3221224400 3221214672 1131512864 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26780 13073 16 0 211024 0
vsize: 844160
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) S 3183 27565 27564 0 -1 0 18065 4 1 0 100465 61 0 0 25 0 11 0 543851988 864419840 26866 4294967295 134512640 134569956 3221224400 3221213192 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 26866 13073 16 0 211024 0
vsize: 844160
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 101424 61 0 0 24 0 11 0 543851988 864419840 27070 4294967295 134512640 134569956 3221224400 3221214812 1131354098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27070 13073 16 0 211024 0
vsize: 844160
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 102396 61 0 0 25 0 11 0 543851988 864419840 27188 4294967295 134512640 134569956 3221224400 3221214680 1131587002 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27188 13073 16 0 211024 0
vsize: 844160
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 103380 61 0 0 25 0 11 0 543851988 864419840 27227 4294967295 134512640 134569956 3221224400 3221214488 1131328851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27227 13073 16 0 211024 0
vsize: 844160
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 104343 61 0 0 25 0 11 0 543851988 864419840 27270 4294967295 134512640 134569956 3221224400 3221214884 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27270 13073 16 0 211024 0
vsize: 844160
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 105285 61 0 0 25 0 11 0 543851988 864419840 27313 4294967295 134512640 134569956 3221224400 3221214816 1131426924 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27313 13073 16 0 211024 0
vsize: 844160
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 106233 61 0 0 25 0 11 0 543851988 864419840 27368 4294967295 134512640 134569956 3221224400 3221214488 1131328653 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27368 13073 16 0 211024 0
vsize: 844160
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 107191 61 0 0 25 0 11 0 543851988 864419840 27650 4294967295 134512640 134569956 3221224400 3221214312 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27650 13073 16 0 211024 0
vsize: 844160
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 108160 61 0 0 25 0 11 0 543851988 864419840 27706 4294967295 134512640 134569956 3221224400 3221214776 1131376208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27706 13073 16 0 211024 0
vsize: 844160
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 109135 61 0 0 25 0 11 0 543851988 864419840 27751 4294967295 134512640 134569956 3221224400 3221214640 1131355199 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27751 13073 16 0 211024 0
vsize: 844160
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 110110 61 0 0 25 0 11 0 543851988 864419840 27795 4294967295 134512640 134569956 3221224400 3221213792 1078831366 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27795 13073 16 0 211024 0
vsize: 844160
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 111088 61 0 0 25 0 11 0 543851988 864419840 27843 4294967295 134512640 134569956 3221224400 3221214592 1131284489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27843 13073 16 0 211024 0
vsize: 844160
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 112067 61 0 0 25 0 11 0 543851988 864419840 27994 4294967295 134512640 134569956 3221224400 3221214680 1131590665 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27994 13073 16 0 211024 0
vsize: 844160
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 113062 61 0 0 25 0 11 0 543851988 864419840 27994 4294967295 134512640 134569956 3221224400 3221214688 1131545969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27994 13073 16 0 211024 0
vsize: 844160
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 114057 61 0 0 25 0 11 0 543851988 864419840 27994 4294967295 134512640 134569956 3221224400 3221214488 1131329664 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27994 13073 16 0 211024 0
vsize: 844160
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 115053 61 0 0 25 0 11 0 543851988 864419840 27997 4294967295 134512640 134569956 3221224400 3221214680 1131586998 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 27997 13073 16 0 211024 0
vsize: 844160
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 116050 61 0 0 25 0 11 0 543851988 864419840 28035 4294967295 134512640 134569956 3221224400 3221214488 1131328704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 28035 13073 16 0 211024 0
vsize: 844160
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 117047 61 0 0 25 0 11 0 543851988 864419840 28035 4294967295 134512640 134569956 3221224400 3221214688 1131546360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 28035 13073 16 0 211024 0
vsize: 844160
[startup+1210.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 118043 62 0 0 25 0 11 0 543851988 864419840 28035 4294967295 134512640 134569956 3221224400 3221214488 1131330857 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 28035 13073 16 0 211024 0
vsize: 844160
[startup+1220.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 119038 62 0 0 25 0 11 0 543851988 864419840 28035 4294967295 134512640 134569956 3221224400 3221214592 1131284482 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 28035 13073 16 0 211024 0
vsize: 844160
[startup+1230.07 s]
Raw data (loadavg): 1.00 1.00 0.99 2/64 3203
Raw data (stat): 3184 (java) R 3183 27565 27564 0 -1 0 18065 4 1 0 120034 62 0 0 25 0 11 0 543851988 864419840 28036 4294967295 134512640 134569956 3221224400 3221214488 1131329068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211040 28036 13073 16 0 211024 0
vsize: 844160
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.16 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 3205
Raw data (stat): 3184 (java) Z 3183 27565 27564 0 -1 1036 18065 7188 1 0 120038 62 2529 25 25 0 1 0 543851988 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.16
CPU time (s): 1226.56
CPU user time (s): 1225.68
CPU system time (s): 0.871867
CPU usage (%): 99.7068
Max. virtual memory (Kb): 845780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####