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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e1.opb
MD5SUM33d46caaa6c22613488909eddb5a530f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 162
Optimality of the best value was proved NO
Number of terms in the objective function 444
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 444
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 444
Number of bits of the biggest sum of numbers9
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.02184
Number of variables444
Total number of constraints1408
Number of constraints which are clauses1408
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32

Trace number 4336 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-04-13 16:35:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1422 boxname=wulflinc28 idbench=158 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  33d46caaa6c22613488909eddb5a530f  /oldhome/oroussel/tmp/wulflinc28/normalized-ii32e1.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc28/normalized-ii32e1.opb
IDLAUNCH: 1422
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        917936 kB
Buffers:         33072 kB
Cached:          47776 kB
SwapCached:          4 kB
Active:          41276 kB
Inactive:        42420 kB
HighTotal:      131008 kB
HighFree:        79632 kB
LowTotal:       903652 kB
LowFree:        838304 kB
SwapTotal:     2097640 kB
SwapFree:      2097636 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6920 kB
Slab:            27376 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:56:30 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1422 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc28/normalized-ii32e1.opb
c reading problem 
c [nbvar=444]
c [nbconstr=1408]
c time 2.248
c #vars     444
c #clauses  1408
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=181
c Current CPU time (ms) : 3.789
c starts	: 1
c conflicts	: 9
c decisions	: 91
c propagations	: 532
c inspects	: 1959
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 9
c root simplifications	: 1
c 
c CURRENT OPTIMUM=180
c Current CPU time (ms) : 88.61
c starts	: 4
c conflicts	: 308
c decisions	: 1321
c propagations	: 14197
c inspects	: 132039
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 308
c root simplifications	: 4
c 
c CURRENT OPTIMUM=179
c Current CPU time (ms) : 517.603
c starts	: 8
c conflicts	: 816
c decisions	: 3002
c propagations	: 28585
c inspects	: 976710
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 816
c root simplifications	: 8
c 
c CURRENT OPTIMUM=178
c Current CPU time (ms) : 670.153
c starts	: 10
c conflicts	: 916
c decisions	: 3485
c propagations	: 32549
c inspects	: 1303897
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 916
c root simplifications	: 10
c 
c CURRENT OPTIMUM=177
c Current CPU time (ms) : 670.833
c starts	: 11
c conflicts	: 916
c decisions	: 3540
c propagations	: 32993
c inspects	: 1305081
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 916
c root simplifications	: 11
c 
c CURRENT OPTIMUM=176
c Current CPU time (ms) : 671.525
c starts	: 12
c conflicts	: 917
c decisions	: 3595
c propagations	: 33481
c inspects	: 1306362
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 917
c root simplifications	: 12
#### 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.93 0.98 0.90 2/54 11023
Raw data (stat): 11023 (runsolver) R 11022 10614 10613 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477440479 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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.0003 s]
Raw data (loadavg): 1.16 1.03 0.92 3/64 11034
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18079 3 1 0 621 45 0 0 25 0 11 0 477440479 866656256 22004 4294967295 134512640 134569956 3221224416 3221214776 1131371278 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211586 22004 13073 16 0 211570 0
vsize: 846344
[startup+20.0014 s]
Raw data (loadavg): 1.14 1.03 0.92 2/64 11034
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 1528 45 0 0 25 0 11 0 477440479 862519296 21249 4294967295 134512640 134569956 3221224416 3221214720 1131237613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210576 21249 13073 16 0 210560 0
vsize: 842304
[startup+30.002 s]
Raw data (loadavg): 1.12 1.03 0.92 2/64 11034
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 2481 45 0 0 25 0 11 0 477440479 861470720 21318 4294967295 134512640 134569956 3221224416 3221214704 1131209477 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 21318 13073 16 0 210304 0
vsize: 841280
[startup+40.0024 s]
Raw data (loadavg): 1.10 1.03 0.92 2/64 11034
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 3437 46 0 0 25 0 11 0 477440479 861470720 21474 4294967295 134512640 134569956 3221224416 3221214704 1131209627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 21474 13073 16 0 210304 0
vsize: 841280
[startup+50.0034 s]
Raw data (loadavg): 1.08 1.03 0.92 2/64 11034
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 4376 46 0 0 25 0 11 0 477440479 861470720 21886 4294967295 134512640 134569956 3221224416 3221214592 1131209572 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 21886 13073 16 0 210304 0
vsize: 841280
[startup+60.004 s]
Raw data (loadavg): 1.07 1.03 0.92 2/64 11034
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 5320 46 0 0 25 0 11 0 477440479 861470720 22222 4294967295 134512640 134569956 3221224416 3221214800 1131296875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 22222 13073 16 0 210304 0
vsize: 841280
[startup+70.0044 s]
Raw data (loadavg): 1.06 1.02 0.92 2/64 11034
Raw data (stat): 11023 (java) S 11022 10614 10613 0 -1 0 18080 3 1 0 6256 46 0 0 25 0 11 0 477440479 861470720 22516 4294967295 134512640 134569956 3221224416 3221213392 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 22516 13073 16 0 210304 0
vsize: 841280
[startup+80.0053 s]
Raw data (loadavg): 1.05 1.02 0.92 2/64 11034
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 7182 47 0 0 25 0 11 0 477440479 861470720 22856 4294967295 134512640 134569956 3221224416 3221214704 1131209673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 22856 13073 16 0 210304 0
vsize: 841280
[startup+90.006 s]
Raw data (loadavg): 1.04 1.02 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 8098 47 0 0 25 0 11 0 477440479 861470720 23250 4294967295 134512640 134569956 3221224416 3221214800 1131295013 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 23250 13073 16 0 210304 0
vsize: 841280
[startup+100.005 s]
Raw data (loadavg): 1.03 1.02 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 9011 47 0 0 25 0 11 0 477440479 861470720 23793 4294967295 134512640 134569956 3221224416 3221214592 1131237732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 23793 13073 16 0 210304 0
vsize: 841280
[startup+110.006 s]
Raw data (loadavg): 1.03 1.02 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 9938 47 0 0 25 0 11 0 477440479 861470720 24001 4294967295 134512640 134569956 3221224416 3221214848 1131252876 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 24001 13073 16 0 210304 0
vsize: 841280
[startup+120.007 s]
Raw data (loadavg): 1.02 1.02 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 10860 47 0 0 25 0 11 0 477440479 861470720 24070 4294967295 134512640 134569956 3221224416 3221214800 1131297040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 24070 13073 16 0 210304 0
vsize: 841280
[startup+130.007 s]
Raw data (loadavg): 1.02 1.02 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 11779 48 0 0 25 0 11 0 477440479 861470720 24311 4294967295 134512640 134569956 3221224416 3221214592 1131237745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 24311 13073 16 0 210304 0
vsize: 841280
[startup+140.007 s]
Raw data (loadavg): 1.02 1.02 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 12709 48 0 0 25 0 11 0 477440479 861470720 24661 4294967295 134512640 134569956 3221224416 3221214584 1131481778 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 24661 13073 16 0 210304 0
vsize: 841280
[startup+150.08 s]
Raw data (loadavg): 1.01 1.02 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 13652 48 0 0 25 0 11 0 477440479 861470720 24878 4294967295 134512640 134569956 3221224416 3221214808 1131368049 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 24878 13073 16 0 210304 0
vsize: 841280
[startup+160.083 s]
Raw data (loadavg): 1.01 1.02 0.92 2/64 11035
Raw data (stat): 11023 (java) S 11022 10614 10613 0 -1 0 18080 3 1 0 14578 48 0 0 25 0 11 0 477440479 861470720 24990 4294967295 134512640 134569956 3221224416 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 24990 13073 16 0 210304 0
vsize: 841280
[startup+170.083 s]
Raw data (loadavg): 1.01 1.02 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 15504 48 0 0 25 0 11 0 477440479 861470720 25152 4294967295 134512640 134569956 3221224416 3221214704 1131209685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 25152 13073 16 0 210304 0
vsize: 841280
[startup+180.084 s]
Raw data (loadavg): 1.01 1.01 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 16439 48 0 0 25 0 11 0 477440479 861470720 25411 4294967295 134512640 134569956 3221224416 3221214704 1131209513 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 25411 13073 16 0 210304 0
vsize: 841280
[startup+190.084 s]
Raw data (loadavg): 1.01 1.01 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 17387 48 0 0 25 0 11 0 477440479 861470720 25657 4294967295 134512640 134569956 3221224416 3221214800 1131296883 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 25657 13073 16 0 210304 0
vsize: 841280
[startup+200.084 s]
Raw data (loadavg): 1.00 1.01 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 18349 48 0 0 25 0 11 0 477440479 861470720 25902 4294967295 134512640 134569956 3221224416 3221214704 1131209851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 25902 13073 16 0 210304 0
vsize: 841280
[startup+210.087 s]
Raw data (loadavg): 1.00 1.01 0.92 2/64 11035
Raw data (stat): 11023 (java) S 11022 10614 10613 0 -1 0 18080 3 1 0 19317 48 0 0 25 0 11 0 477440479 861470720 25967 4294967295 134512640 134569956 3221224416 3221213448 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 25967 13073 16 0 210304 0
vsize: 841280
[startup+220.088 s]
Raw data (loadavg): 1.00 1.01 0.92 2/64 11035
Raw data (stat): 11023 (java) S 11022 10614 10613 0 -1 0 18080 3 1 0 20285 48 0 0 25 0 11 0 477440479 861470720 26020 4294967295 134512640 134569956 3221224416 3221213408 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26020 13073 16 0 210304 0
vsize: 841280
[startup+230.089 s]
Raw data (loadavg): 1.00 1.01 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 21258 48 0 0 25 0 11 0 477440479 861470720 26125 4294967295 134512640 134569956 3221224416 3221214952 1131260569 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26125 13073 16 0 210304 0
vsize: 841280
[startup+240.09 s]
Raw data (loadavg): 1.00 1.01 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 22238 48 0 0 25 0 11 0 477440479 861470720 26187 4294967295 134512640 134569956 3221224416 3221214608 1131407489 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26187 13073 16 0 210304 0
vsize: 841280
[startup+250.089 s]
Raw data (loadavg): 1.00 1.01 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 23223 48 0 0 25 0 11 0 477440479 861470720 26228 4294967295 134512640 134569956 3221224416 3221214704 1131209997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26228 13073 16 0 210304 0
vsize: 841280
[startup+260.09 s]
Raw data (loadavg): 1.00 1.01 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 24202 48 0 0 25 0 11 0 477440479 861470720 26292 4294967295 134512640 134569956 3221224416 3221214800 1131295006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26292 13073 16 0 210304 0
vsize: 841280
[startup+270.09 s]
Raw data (loadavg): 1.00 1.01 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 25181 49 0 0 25 0 11 0 477440479 861470720 26370 4294967295 134512640 134569956 3221224416 3221214512 1131628281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26370 13073 16 0 210304 0
vsize: 841280
[startup+280.09 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 26164 49 0 0 25 0 11 0 477440479 861470720 26418 4294967295 134512640 134569956 3221224416 3221214800 1131296178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26418 13073 16 0 210304 0
vsize: 841280
[startup+290.091 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 27143 49 0 0 25 0 11 0 477440479 861470720 26428 4294967295 134512640 134569956 3221224416 3221214808 1131364355 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26428 13073 16 0 210304 0
vsize: 841280
[startup+300.091 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18080 3 1 0 28118 49 0 0 25 0 11 0 477440479 861470720 26486 4294967295 134512640 134569956 3221224416 3221214584 1131483969 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26486 13073 16 0 210304 0
vsize: 841280
[startup+310.091 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 29096 49 0 0 25 0 11 0 477440479 861470720 26537 4294967295 134512640 134569956 3221224416 3221214800 1131296278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26537 13073 16 0 210304 0
vsize: 841280
[startup+320.091 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 30075 49 0 0 25 0 11 0 477440479 861470720 26589 4294967295 134512640 134569956 3221224416 3221214592 1131237896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26589 13073 16 0 210304 0
vsize: 841280
[startup+330.092 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 31054 49 0 0 25 0 11 0 477440479 861470720 26666 4294967295 134512640 134569956 3221224416 3221214688 1131640601 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26666 13073 16 0 210304 0
vsize: 841280
[startup+340.092 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 32033 49 0 0 25 0 11 0 477440479 861470720 26714 4294967295 134512640 134569956 3221224416 3221214800 1131295006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26714 13073 16 0 210304 0
vsize: 841280
[startup+350.092 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 33011 49 0 0 25 0 11 0 477440479 861470720 26774 4294967295 134512640 134569956 3221224416 3221214528 1131643930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26774 13073 16 0 210304 0
vsize: 841280
[startup+360.093 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 33990 49 0 0 25 0 11 0 477440479 861470720 26833 4294967295 134512640 134569956 3221224416 3221214800 1131295013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26833 13073 16 0 210304 0
vsize: 841280
[startup+370.093 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 34971 49 0 0 25 0 11 0 477440479 861470720 26893 4294967295 134512640 134569956 3221224416 3221214584 1131639918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26893 13073 16 0 210304 0
vsize: 841280
[startup+380.094 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 35958 49 0 0 25 0 11 0 477440479 861470720 26924 4294967295 134512640 134569956 3221224416 3221214552 1131621674 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26924 13073 16 0 210304 0
vsize: 841280
[startup+390.095 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 36946 49 0 0 25 0 11 0 477440479 861470720 26946 4294967295 134512640 134569956 3221224416 3221214608 1131407579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26946 13073 16 0 210304 0
vsize: 841280
[startup+400.095 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 37934 49 0 0 25 0 11 0 477440479 861470720 26988 4294967295 134512640 134569956 3221224416 3221214672 1131346250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 26988 13073 16 0 210304 0
vsize: 841280
[startup+410.095 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 38922 49 0 0 25 0 11 0 477440479 861470720 27054 4294967295 134512640 134569956 3221224416 3221214800 1131295013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27054 13073 16 0 210304 0
vsize: 841280
[startup+420.096 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 39907 49 0 0 25 0 11 0 477440479 861470720 27105 4294967295 134512640 134569956 3221224416 3221214704 1131209800 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27105 13073 16 0 210304 0
vsize: 841280
[startup+430.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 40896 49 0 0 25 0 11 0 477440479 861470720 27149 4294967295 134512640 134569956 3221224416 3221214808 1131368592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27149 13073 16 0 210304 0
vsize: 841280
[startup+440.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 41882 49 0 0 25 0 11 0 477440479 861470720 27178 4294967295 134512640 134569956 3221224416 3221214704 1131209774 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27178 13073 16 0 210304 0
vsize: 841280
[startup+450.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 42866 49 0 0 25 0 11 0 477440479 861470720 27223 4294967295 134512640 134569956 3221224416 3221214800 1131294990 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27223 13073 16 0 210304 0
vsize: 841280
[startup+460.097 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 43852 49 0 0 25 0 11 0 477440479 861470720 27246 4294967295 134512640 134569956 3221224416 3221214744 1131292581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27246 13073 16 0 210304 0
vsize: 841280
[startup+470.098 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 44839 50 0 0 25 0 11 0 477440479 861470720 27285 4294967295 134512640 134569956 3221224416 3221214584 1131639894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27285 13073 16 0 210304 0
vsize: 841280
[startup+480.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 45822 50 0 0 25 0 11 0 477440479 861470720 27314 4294967295 134512640 134569956 3221224416 3221214800 1131295078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27314 13073 16 0 210304 0
vsize: 841280
[startup+490.099 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 46805 50 0 0 25 0 11 0 477440479 861470720 27363 4294967295 134512640 134569956 3221224416 3221214800 1131295013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27363 13073 16 0 210304 0
vsize: 841280
[startup+500.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 47787 50 0 0 25 0 11 0 477440479 861470720 27451 4294967295 134512640 134569956 3221224416 3221214848 1131252856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27451 13073 16 0 210304 0
vsize: 841280
[startup+510.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11035
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 48769 50 0 0 25 0 11 0 477440479 861470720 27483 4294967295 134512640 134569956 3221224416 3221214704 1131210530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27483 13073 16 0 210304 0
vsize: 841280
[startup+520.1 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 49739 50 0 0 25 0 11 0 477440479 861470720 27553 4294967295 134512640 134569956 3221224416 3221214800 1131295013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27553 13073 16 0 210304 0
vsize: 841280
[startup+530.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 50700 50 0 0 25 0 11 0 477440479 861470720 27611 4294967295 134512640 134569956 3221224416 3221214800 1131295078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27611 13073 16 0 210304 0
vsize: 841280
[startup+540.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 51662 50 0 0 25 0 11 0 477440479 861470720 27674 4294967295 134512640 134569956 3221224416 3221214796 1131209452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27674 13073 16 0 210304 0
vsize: 841280
[startup+550.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 52624 50 0 0 25 0 11 0 477440479 861470720 27730 4294967295 134512640 134569956 3221224416 3221214528 1131638124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27730 13073 16 0 210304 0
vsize: 841280
[startup+560.101 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 53590 50 0 0 25 0 11 0 477440479 861470720 27984 4294967295 134512640 134569956 3221224416 3221214592 1131237745 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 27984 13073 16 0 210304 0
vsize: 841280
[startup+570.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 54568 50 0 0 25 0 11 0 477440479 861470720 28001 4294967295 134512640 134569956 3221224416 3221214584 1131482266 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28001 13073 16 0 210304 0
vsize: 841280
[startup+580.102 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 55545 50 0 0 25 0 11 0 477440479 861470720 28057 4294967295 134512640 134569956 3221224416 3221214704 1131209623 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28057 13073 16 0 210304 0
vsize: 841280
[startup+590.103 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 56523 50 0 0 25 0 11 0 477440479 861470720 28103 4294967295 134512640 134569956 3221224416 3221214800 1131297056 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28103 13073 16 0 210304 0
vsize: 841280
[startup+600.103 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 57498 50 0 0 25 0 11 0 477440479 861470720 28159 4294967295 134512640 134569956 3221224416 3221214796 1131209452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28159 13073 16 0 210304 0
vsize: 841280
[startup+610.103 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 58472 50 0 0 25 0 11 0 477440479 861470720 28225 4294967295 134512640 134569956 3221224416 3221214808 1131366760 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28225 13073 16 0 210304 0
vsize: 841280
[startup+620.103 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 59445 50 0 0 25 0 11 0 477440479 861470720 28300 4294967295 134512640 134569956 3221224416 3221214504 1131621633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28300 13073 16 0 210304 0
vsize: 841280
[startup+630.104 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 60421 51 0 0 25 0 11 0 477440479 861470720 28352 4294967295 134512640 134569956 3221224416 3221214704 1131209537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28352 13073 16 0 210304 0
vsize: 841280
[startup+640.104 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 61395 51 0 0 25 0 11 0 477440479 861470720 28414 4294967295 134512640 134569956 3221224416 3221214704 1131209757 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28414 13073 16 0 210304 0
vsize: 841280
[startup+650.105 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 62373 51 0 0 25 0 11 0 477440479 861470720 28481 4294967295 134512640 134569956 3221224416 3221214800 1131295078 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 28481 13073 16 0 210304 0
vsize: 841280
[startup+660.105 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 63353 51 0 0 25 0 11 0 477440479 861470720 28536 4294967295 134512640 134569956 3221224416 3221214608 1131405193 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28536 13073 16 0 210304 0
vsize: 841280
[startup+670.106 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11036
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 64332 51 0 0 25 0 11 0 477440479 861470720 28603 4294967295 134512640 134569956 3221224416 3221214948 1130885135 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28603 13073 16 0 210304 0
vsize: 841280
[startup+680.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 65309 51 0 0 25 0 11 0 477440479 861470720 28662 4294967295 134512640 134569956 3221224416 3221214800 1131295006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28662 13073 16 0 210304 0
vsize: 841280
[startup+690.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 66285 51 0 0 25 0 11 0 477440479 861470720 28729 4294967295 134512640 134569956 3221224416 3221214704 1131209802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28729 13073 16 0 210304 0
vsize: 841280
[startup+700.107 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 67265 51 0 0 25 0 11 0 477440479 861470720 28794 4294967295 134512640 134569956 3221224416 3221214728 1131326433 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28794 13073 16 0 210304 0
vsize: 841280
[startup+710.109 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 68242 51 0 0 25 0 11 0 477440479 861470720 28853 4294967295 134512640 134569956 3221224416 3221214800 1131296284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28853 13073 16 0 210304 0
vsize: 841280
[startup+720.11 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 69222 51 0 0 25 0 11 0 477440479 861470720 28905 4294967295 134512640 134569956 3221224416 3221214800 1131295006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28905 13073 16 0 210304 0
vsize: 841280
[startup+730.111 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 70199 51 0 0 24 0 11 0 477440479 861470720 28949 4294967295 134512640 134569956 3221224416 3221214768 1131289802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28949 13073 16 0 210304 0
vsize: 841280
[startup+740.112 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 71175 51 0 0 25 0 11 0 477440479 861470720 28983 4294967295 134512640 134569956 3221224416 3221214800 1131296164 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 28983 13073 16 0 210304 0
vsize: 841280
[startup+750.111 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 72142 51 0 0 25 0 11 0 477440479 861470720 29028 4294967295 134512640 134569956 3221224416 3221214704 1131209851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29028 13073 16 0 210304 0
vsize: 841280
[startup+760.111 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 73098 51 0 0 24 0 11 0 477440479 861470720 29099 4294967295 134512640 134569956 3221224416 3221214592 1131237501 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29099 13073 16 0 210304 0
vsize: 841280
[startup+770.112 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 74063 51 0 0 25 0 11 0 477440479 861470720 29137 4294967295 134512640 134569956 3221224416 3221214704 1131209851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29137 13073 16 0 210304 0
vsize: 841280
[startup+780.112 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 75019 51 0 0 25 0 11 0 477440479 861470720 29241 4294967295 134512640 134569956 3221224416 3221214800 1131295931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29241 13073 16 0 210304 0
vsize: 841280
[startup+790.112 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 75979 51 0 0 25 0 11 0 477440479 861470720 29385 4294967295 134512640 134569956 3221224416 3221214704 1131209836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29385 13073 16 0 210304 0
vsize: 841280
[startup+800.112 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 76944 51 0 0 25 0 11 0 477440479 861470720 29464 4294967295 134512640 134569956 3221224416 3221214116 1131673496 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29464 13073 16 0 210304 0
vsize: 841280
[startup+810.113 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 77913 51 0 0 25 0 11 0 477440479 861470720 29507 4294967295 134512640 134569956 3221224416 3221214592 1131237590 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29507 13073 16 0 210304 0
vsize: 841280
[startup+820.113 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 78888 51 0 0 25 0 11 0 477440479 861470720 29677 4294967295 134512640 134569956 3221224416 3221214800 1131296160 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29677 13073 16 0 210304 0
vsize: 841280
[startup+830.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 79870 51 0 0 25 0 11 0 477440479 861470720 29703 4294967295 134512640 134569956 3221224416 3221214704 1131210390 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29703 13073 16 0 210304 0
vsize: 841280
[startup+840.115 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 80847 51 0 0 25 0 11 0 477440479 861470720 29738 4294967295 134512640 134569956 3221224416 3221214584 1131639894 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29738 13073 16 0 210304 0
vsize: 841280
[startup+850.115 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 81828 51 0 0 25 0 11 0 477440479 861470720 29785 4294967295 134512640 134569956 3221224416 3221214704 1131209851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29785 13073 16 0 210304 0
vsize: 841280
[startup+860.115 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 82804 51 0 0 24 0 11 0 477440479 861470720 29821 4294967295 134512640 134569956 3221224416 3221214800 1131295078 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29821 13073 16 0 210304 0
vsize: 841280
[startup+870.115 s]
Raw data (loadavg): 1.00 1.00 0.92 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 83781 51 0 0 25 0 11 0 477440479 861470720 29861 4294967295 134512640 134569956 3221224416 3221214672 1131346617 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29861 13073 16 0 210304 0
vsize: 841280
[startup+880.116 s]
Raw data (loadavg): 1.08 1.02 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 84761 51 0 0 25 0 11 0 477440479 861470720 29906 4294967295 134512640 134569956 3221224416 3221214728 1131323679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29906 13073 16 0 210304 0
vsize: 841280
[startup+890.116 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 85744 51 0 0 25 0 11 0 477440479 861470720 29977 4294967295 134512640 134569956 3221224416 3221214480 1131638280 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29977 13073 16 0 210304 0
vsize: 841280
[startup+900.115 s]
Raw data (loadavg): 1.06 1.01 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 86734 51 0 0 25 0 11 0 477440479 861470720 29993 4294967295 134512640 134569956 3221224416 3221214528 1131638801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 29993 13073 16 0 210304 0
vsize: 841280
[startup+910.116 s]
Raw data (loadavg): 1.05 1.01 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 87718 51 0 0 25 0 11 0 477440479 861470720 30026 4294967295 134512640 134569956 3221224416 3221214560 1131405689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30026 13073 16 0 210304 0
vsize: 841280
[startup+920.115 s]
Raw data (loadavg): 1.04 1.01 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 88705 51 0 0 25 0 11 0 477440479 861470720 30070 4294967295 134512640 134569956 3221224416 3221214592 1131237702 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30070 13073 16 0 210304 0
vsize: 841280
[startup+930.116 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 89695 52 0 0 25 0 11 0 477440479 861470720 30088 4294967295 134512640 134569956 3221224416 3221214604 1131406923 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30088 13073 16 0 210304 0
vsize: 841280
[startup+940.115 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 90683 52 0 0 25 0 11 0 477440479 861470720 30144 4294967295 134512640 134569956 3221224416 3221214528 1131638116 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30144 13073 16 0 210304 0
vsize: 841280
[startup+950.116 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 91671 52 0 0 25 0 11 0 477440479 861470720 30147 4294967295 134512640 134569956 3221224416 3221214400 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30147 13073 16 0 210304 0
vsize: 841280
[startup+960.116 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 92663 52 0 0 25 0 11 0 477440479 861470720 30159 4294967295 134512640 134569956 3221224416 3221214512 1131628175 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30159 13073 16 0 210304 0
vsize: 841280
[startup+970.117 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 93657 52 0 0 25 0 11 0 477440479 861470720 30218 4294967295 134512640 134569956 3221224416 3221214528 1131637581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30218 13073 16 0 210304 0
vsize: 841280
[startup+980.118 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 94646 52 0 0 25 0 11 0 477440479 861470720 30270 4294967295 134512640 134569956 3221224416 3221214608 1131405652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30270 13073 16 0 210304 0
vsize: 841280
[startup+990.119 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 95641 52 0 0 25 0 11 0 477440479 861470720 30272 4294967295 134512640 134569956 3221224416 3221214584 1131500193 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 30272 13073 16 0 210304 0
vsize: 841280
[startup+1000.12 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 96630 52 0 0 25 0 11 0 477440479 861470720 30320 4294967295 134512640 134569956 3221224416 3221214704 1131209469 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30320 13073 16 0 210304 0
vsize: 841280
[startup+1010.12 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 97620 52 0 0 25 0 11 0 477440479 861470720 30355 4294967295 134512640 134569956 3221224416 3221214556 1079721456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30355 13073 16 0 210304 0
vsize: 841280
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 98612 52 0 0 25 0 11 0 477440479 861470720 30357 4294967295 134512640 134569956 3221224416 3221214608 1131406896 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30357 13073 16 0 210304 0
vsize: 841280
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 99601 52 0 0 25 0 11 0 477440479 861470720 30504 4294967295 134512640 134569956 3221224416 3221214800 1131295013 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30504 13073 16 0 210304 0
vsize: 841280
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 100595 52 0 0 25 0 11 0 477440479 861470720 30504 4294967295 134512640 134569956 3221224416 3221214608 1131407597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30504 13073 16 0 210304 0
vsize: 841280
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 101591 52 0 0 25 0 11 0 477440479 861470720 30504 4294967295 134512640 134569956 3221224416 3221214480 1131638351 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30504 13073 16 0 210304 0
vsize: 841280
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 102584 52 0 0 25 0 11 0 477440479 861470720 30504 4294967295 134512640 134569956 3221224416 3221214704 1131210021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30504 13073 16 0 210304 0
vsize: 841280
[startup+1070.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 103573 52 0 0 25 0 11 0 477440479 861470720 30504 4294967295 134512640 134569956 3221224416 3221214608 1131407597 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30504 13073 16 0 210304 0
vsize: 841280
[startup+1080.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 104566 52 0 0 25 0 11 0 477440479 861470720 30598 4294967295 134512640 134569956 3221224416 3221214696 1131264802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30598 13073 16 0 210304 0
vsize: 841280
[startup+1090.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 105559 52 0 0 25 0 11 0 477440479 861470720 30618 4294967295 134512640 134569956 3221224416 3221214528 1131637907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30618 13073 16 0 210304 0
vsize: 841280
[startup+1100.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 106554 52 0 0 24 0 11 0 477440479 861470720 30637 4294967295 134512640 134569956 3221224416 3221214608 1131407610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30637 13073 16 0 210304 0
vsize: 841280
[startup+1110.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 107546 52 0 0 25 0 11 0 477440479 861470720 30764 4294967295 134512640 134569956 3221224416 3221214528 1131637782 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 30764 13073 16 0 210304 0
vsize: 841280
[startup+1120.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 108541 52 0 0 25 0 11 0 477440479 861470720 31114 4294967295 134512640 134569956 3221224416 3221214544 1079721531 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 31114 13073 16 0 210304 0
vsize: 841280
[startup+1130.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 109535 53 0 0 25 0 11 0 477440479 861470720 31114 4294967295 134512640 134569956 3221224416 3221214528 1131637808 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 31114 13073 16 0 210304 0
vsize: 841280
[startup+1140.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 110534 53 0 0 25 0 11 0 477440479 861470720 31114 4294967295 134512640 134569956 3221224416 3221214560 1131657178 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 31114 13073 16 0 210304 0
vsize: 841280
[startup+1150.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 111529 53 0 0 25 0 11 0 477440479 861470720 31114 4294967295 134512640 134569956 3221224416 3221214480 1131638240 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210320 31114 13073 16 0 210304 0
vsize: 841280
[startup+1160.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 112528 53 0 0 25 0 11 0 477440479 861470720 31114 4294967295 134512640 134569956 3221224416 3221214448 1131638267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 31114 13073 16 0 210304 0
vsize: 841280
[startup+1170.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 113526 53 0 0 25 0 11 0 477440479 861470720 31114 4294967295 134512640 134569956 3221224416 3221214552 1131621450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 31114 13073 16 0 210304 0
vsize: 841280
[startup+1180.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 114521 53 0 0 25 0 11 0 477440479 861470720 31114 4294967295 134512640 134569956 3221224416 3221214800 1131295177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 31114 13073 16 0 210304 0
vsize: 841280
[startup+1190.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 115512 53 0 0 25 0 11 0 477440479 861470720 31114 4294967295 134512640 134569956 3221224416 3221214704 1131210682 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 31114 13073 16 0 210304 0
vsize: 841280
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 116497 53 0 0 25 0 11 0 477440479 861470720 31114 4294967295 134512640 134569956 3221224416 3221214704 1131210063 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 31114 13073 16 0 210304 0
vsize: 841280
[startup+1210.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 117481 53 0 0 25 0 11 0 477440479 861470720 31115 4294967295 134512640 134569956 3221224416 3221214704 1131210083 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 31115 13073 16 0 210304 0
vsize: 841280
[startup+1220.12 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 118464 53 0 0 25 0 11 0 477440479 861470720 31136 4294967295 134512640 134569956 3221224416 3221214464 1080217021 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 31136 13073 16 0 210304 0
vsize: 841280
[startup+1230.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 119445 53 0 0 25 0 11 0 477440479 861470720 31153 4294967295 134512640 134569956 3221224416 3221214800 1131295006 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 31153 13073 16 0 210304 0
vsize: 841280
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 11039
Raw data (stat): 11023 (java) R 11022 10614 10613 0 -1 0 18081 3 1 0 120424 53 0 0 25 0 11 0 477440479 861470720 31216 4294967295 134512640 134569956 3221224416 3221214800 1131296153 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210320 31216 13073 16 0 210304 0
vsize: 841280
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.24 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 11041
Raw data (stat): 11023 (java) Z 11022 10614 10613 0 -1 1036 18081 10812 1 0 120429 53 3113 36 25 0 1 0 477440479 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): 1240.24
CPU time (s): 1236.34
CPU user time (s): 1235.43
CPU system time (s): 0.904862
CPU usage (%): 99.6854
Max. virtual memory (Kb): 846344
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####