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-ii8a4.opb
MD5SUM8a77190c2eeefb9e88447a9087adfd6f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 283
Optimality of the best value was proved NO
Number of terms in the objective function 792
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 792
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 792
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.02084
Number of variables792
Total number of constraints3194
Number of constraints which are clauses3194
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 constraint8

Trace number 4340

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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:        930600 kB
Buffers:         33464 kB
Cached:          48756 kB
SwapCached:       2644 kB
Active:          44180 kB
Inactive:        43532 kB
HighTotal:      131008 kB
HighFree:        78400 kB
LowTotal:       903652 kB
LowFree:        852200 kB
SwapTotal:     2097136 kB
SwapFree:      2094492 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            10760 kB
Committed_AS:    63484 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:56:50 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1494 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc6/normalized-ii8a4.opb
c reading problem 
c [nbvar=792]
c [nbconstr=3194]
c time 3.02
c #vars     792
c #clauses  3194
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=381
c Current CPU time (ms) : 8.075
c starts	: 1
c conflicts	: 40
c decisions	: 181
c propagations	: 3539
c inspects	: 12862
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 40
c root simplifications	: 1
c 
c CURRENT OPTIMUM=335
c Current CPU time (ms) : 8.47
c starts	: 2
c conflicts	: 40
c decisions	: 333
c propagations	: 4331
c inspects	: 15664
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 40
c root simplifications	: 2
c 
c CURRENT OPTIMUM=321
c Current CPU time (ms) : 14.678
c starts	: 3
c conflicts	: 60
c decisions	: 648
c propagations	: 5807
c inspects	: 22372
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 60
c root simplifications	: 3
#### 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.90 2/54 30472
Raw data (stat): 30472 (runsolver) R 30471 29653 29652 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419217216 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0133 s]
Raw data (loadavg): 1.01 1.00 0.91 4/64 30484
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18086 3 1 0 599 46 0 0 21 0 11 0 419217216 866820096 21996 4294967295 134512640 134569956 3221224416 3221213808 1073952732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211626 21996 13073 16 0 211610 0
vsize: 846504
[startup+20.0349 s]
Raw data (loadavg): 1.24 1.05 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18090 3 1 0 1489 46 0 0 25 0 11 0 419217216 876978176 25425 4294967295 134512640 134569956 3221224416 3221214792 1131325789 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214106 25425 13073 16 0 214090 0
vsize: 856424
[startup+30.0361 s]
Raw data (loadavg): 1.20 1.05 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18091 3 1 0 2427 47 0 0 25 0 11 0 419217216 873287680 24660 4294967295 134512640 134569956 3221224416 3221214696 1131224773 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 213205 24660 13073 16 0 213189 0
vsize: 852820
[startup+40.0367 s]
Raw data (loadavg): 1.17 1.04 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18091 3 1 0 3349 47 0 0 21 0 11 0 419217216 869093376 23736 4294967295 134512640 134569956 3221224416 3221214792 1131326809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 23736 13073 16 0 212165 0
vsize: 848724
[startup+50.0385 s]
Raw data (loadavg): 1.14 1.04 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18091 3 1 0 4276 47 0 0 25 0 11 0 419217216 869093376 24212 4294967295 134512640 134569956 3221224416 3221214624 1131476450 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 24212 13073 16 0 212165 0
vsize: 848724
[startup+60.0396 s]
Raw data (loadavg): 1.12 1.04 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18091 3 1 0 5229 48 0 0 25 0 11 0 419217216 869093376 24412 4294967295 134512640 134569956 3221224416 3221214656 1131316824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 24412 13073 16 0 212165 0
vsize: 848724
[startup+70.0402 s]
Raw data (loadavg): 1.10 1.04 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 6176 48 0 0 24 0 11 0 419217216 869093376 24499 4294967295 134512640 134569956 3221224416 3221214488 1131274332 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 24499 13073 16 0 212165 0
vsize: 848724
[startup+80.0418 s]
Raw data (loadavg): 1.08 1.04 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 7125 48 0 0 25 0 11 0 419217216 869093376 24617 4294967295 134512640 134569956 3221224416 3221214792 1131325720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 24617 13073 16 0 212165 0
vsize: 848724
[startup+90.043 s]
Raw data (loadavg): 1.07 1.04 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 8077 49 0 0 24 0 11 0 419217216 869093376 24707 4294967295 134512640 134569956 3221224416 3221214624 1131472425 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 24707 13073 16 0 212165 0
vsize: 848724
[startup+100.044 s]
Raw data (loadavg): 1.06 1.03 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 9043 49 0 0 25 0 11 0 419217216 869093376 24868 4294967295 134512640 134569956 3221224416 3221214792 1131325720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 24868 13073 16 0 212165 0
vsize: 848724
[startup+110.045 s]
Raw data (loadavg): 1.05 1.03 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 10002 50 0 0 25 0 11 0 419217216 869093376 24992 4294967295 134512640 134569956 3221224416 3221214624 1131472602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 24992 13073 16 0 212165 0
vsize: 848724
[startup+120.046 s]
Raw data (loadavg): 1.04 1.03 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 10963 51 0 0 25 0 11 0 419217216 869093376 25081 4294967295 134512640 134569956 3221224416 3221214792 1131327761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 25081 13073 16 0 212165 0
vsize: 848724
[startup+130.047 s]
Raw data (loadavg): 1.04 1.03 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 11924 51 0 0 25 0 11 0 419217216 869093376 25147 4294967295 134512640 134569956 3221224416 3221214792 1131325789 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 25147 13073 16 0 212165 0
vsize: 848724
[startup+140.048 s]
Raw data (loadavg): 1.03 1.03 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 12884 51 0 0 20 0 11 0 419217216 869093376 25219 4294967295 134512640 134569956 3221224416 3221214568 1131411657 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 25219 13073 16 0 212165 0
vsize: 848724
[startup+150.049 s]
Raw data (loadavg): 1.02 1.03 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 13850 51 0 0 25 0 11 0 419217216 869093376 25328 4294967295 134512640 134569956 3221224416 3221214696 1131225409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 25328 13073 16 0 212165 0
vsize: 848724
[startup+160.05 s]
Raw data (loadavg): 1.02 1.03 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 14811 51 0 0 17 0 11 0 419217216 869093376 25438 4294967295 134512640 134569956 3221224416 3221214696 1131225177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 25438 13073 16 0 212165 0
vsize: 848724
[startup+170.049 s]
Raw data (loadavg): 1.02 1.02 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 15779 51 0 0 23 0 11 0 419217216 869093376 25506 4294967295 134512640 134569956 3221224416 3221214792 1131325713 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 25506 13073 16 0 212165 0
vsize: 848724
[startup+180.049 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 16745 52 0 0 16 0 11 0 419217216 869093376 25594 4294967295 134512640 134569956 3221224416 3221214584 1131627136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 25594 13073 16 0 212165 0
vsize: 848724
[startup+190.049 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 17717 52 0 0 17 0 11 0 419217216 869093376 25673 4294967295 134512640 134569956 3221224416 3221214696 1131225177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 25673 13073 16 0 212165 0
vsize: 848724
[startup+200.048 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 18690 52 0 0 25 0 11 0 419217216 869093376 25755 4294967295 134512640 134569956 3221224416 3221214584 1131627496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 25755 13073 16 0 212165 0
vsize: 848724
[startup+210.049 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 19662 52 0 0 25 0 11 0 419217216 869093376 25832 4294967295 134512640 134569956 3221224416 3221214696 1131224805 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 25832 13073 16 0 212165 0
vsize: 848724
[startup+220.048 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 20633 52 0 0 25 0 11 0 419217216 869093376 25902 4294967295 134512640 134569956 3221224416 3221214584 1131274011 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 25902 13073 16 0 212165 0
vsize: 848724
[startup+230.048 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 21602 52 0 0 21 0 11 0 419217216 869093376 25983 4294967295 134512640 134569956 3221224416 3221214792 1131327806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 25983 13073 16 0 212165 0
vsize: 848724
[startup+240.048 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 22573 52 0 0 18 0 11 0 419217216 869093376 26038 4294967295 134512640 134569956 3221224416 3221214584 1131274236 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26038 13073 16 0 212165 0
vsize: 848724
[startup+250.047 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 23549 52 0 0 25 0 11 0 419217216 869093376 26115 4294967295 134512640 134569956 3221224416 3221214584 1131273934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26115 13073 16 0 212165 0
vsize: 848724
[startup+260.047 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 24521 52 0 0 21 0 11 0 419217216 869093376 26200 4294967295 134512640 134569956 3221224416 3221214528 1131753642 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26200 13073 16 0 212165 0
vsize: 848724
[startup+270.047 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 25495 52 0 0 25 0 11 0 419217216 869093376 26247 4294967295 134512640 134569956 3221224416 3221214792 1131327823 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26247 13073 16 0 212165 0
vsize: 848724
[startup+280.047 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 26466 52 0 0 22 0 11 0 419217216 869093376 26307 4294967295 134512640 134569956 3221224416 3221214688 1131606033 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26307 13073 16 0 212165 0
vsize: 848724
[startup+290.048 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 27441 52 0 0 20 0 11 0 419217216 869093376 26379 4294967295 134512640 134569956 3221224416 3221214584 1131273735 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26379 13073 16 0 212165 0
vsize: 848724
[startup+300.048 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 28418 52 0 0 22 0 11 0 419217216 869093376 26462 4294967295 134512640 134569956 3221224416 3221214696 1131225349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26462 13073 16 0 212165 0
vsize: 848724
[startup+310.047 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 29397 52 0 0 17 0 11 0 419217216 869093376 26513 4294967295 134512640 134569956 3221224416 3221214584 1131273984 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26513 13073 16 0 212165 0
vsize: 848724
[startup+320.046 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 30374 53 0 0 19 0 11 0 419217216 869093376 26582 4294967295 134512640 134569956 3221224416 3221214584 1131627390 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26582 13073 16 0 212165 0
vsize: 848724
[startup+330.046 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 31353 53 0 0 19 0 11 0 419217216 869093376 26645 4294967295 134512640 134569956 3221224416 3221214664 1131411194 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26645 13073 16 0 212165 0
vsize: 848724
[startup+340.048 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 30485
Raw data (stat): 30472 (java) S 30471 29653 29652 0 -1 0 18092 3 1 0 32332 53 0 0 25 0 11 0 419217216 869093376 26691 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26691 13073 16 0 212165 0
vsize: 848724
[startup+350.049 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 33311 53 0 0 25 0 11 0 419217216 869093376 26736 4294967295 134512640 134569956 3221224416 3221214792 1131325720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26736 13073 16 0 212165 0
vsize: 848724
[startup+360.05 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 34287 53 0 0 19 0 11 0 419217216 869093376 26814 4294967295 134512640 134569956 3221224416 3221214696 1131224961 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26814 13073 16 0 212165 0
vsize: 848724
[startup+370.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 35262 53 0 0 25 0 11 0 419217216 869093376 26855 4294967295 134512640 134569956 3221224416 3221214696 1131225733 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26855 13073 16 0 212165 0
vsize: 848724
[startup+380.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 36231 53 0 0 22 0 11 0 419217216 869093376 26925 4294967295 134512640 134569956 3221224416 3221214624 1131474307 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26925 13073 16 0 212165 0
vsize: 848724
[startup+390.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 37203 53 0 0 19 0 11 0 419217216 869093376 26978 4294967295 134512640 134569956 3221224416 3221214952 1131270041 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 26978 13073 16 0 212165 0
vsize: 848724
[startup+400.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 38172 53 0 0 25 0 11 0 419217216 869093376 27000 4294967295 134512640 134569956 3221224416 3221214696 1131225302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27000 13073 16 0 212165 0
vsize: 848724
[startup+410.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 39139 53 0 0 18 0 11 0 419217216 869093376 27081 4294967295 134512640 134569956 3221224416 3221214612 1080203717 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27081 13073 16 0 212165 0
vsize: 848724
[startup+420.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) S 30471 29653 29652 0 -1 0 18092 3 1 0 40115 53 0 0 25 0 11 0 419217216 869093376 27136 4294967295 134512640 134569956 3221224416 3221213208 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27136 13073 16 0 212165 0
vsize: 848724
[startup+430.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 41096 53 0 0 19 0 11 0 419217216 869093376 27205 4294967295 134512640 134569956 3221224416 3221214480 1131758608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27205 13073 16 0 212165 0
vsize: 848724
[startup+440.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 42081 53 0 0 22 0 11 0 419217216 869093376 27211 4294967295 134512640 134569956 3221224416 3221214504 1131490563 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27211 13073 16 0 212165 0
vsize: 848724
[startup+450.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 43069 53 0 0 25 0 11 0 419217216 869093376 27237 4294967295 134512640 134569956 3221224416 3221214296 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27237 13073 16 0 212165 0
vsize: 848724
[startup+460.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 44055 53 0 0 17 0 11 0 419217216 869093376 27300 4294967295 134512640 134569956 3221224416 3221214584 1131274160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27300 13073 16 0 212165 0
vsize: 848724
[startup+470.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 45043 53 0 0 25 0 11 0 419217216 869093376 27410 4294967295 134512640 134569956 3221224416 3221214712 1131274181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 27410 13073 16 0 212165 0
vsize: 848724
[startup+480.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 46027 53 0 0 25 0 11 0 419217216 869093376 27433 4294967295 134512640 134569956 3221224416 3221214696 1131224773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27433 13073 16 0 212165 0
vsize: 848724
[startup+490.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) S 30471 29653 29652 0 -1 0 18092 3 1 0 47001 53 0 0 25 0 11 0 419217216 869093376 27433 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27433 13073 16 0 212165 0
vsize: 848724
[startup+500.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 47973 53 0 0 18 0 11 0 419217216 869093376 27457 4294967295 134512640 134569956 3221224416 3221214528 1131753469 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27457 13073 16 0 212165 0
vsize: 848724
[startup+510.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 48948 53 0 0 25 0 11 0 419217216 869093376 27515 4294967295 134512640 134569956 3221224416 3221214584 1131274197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27515 13073 16 0 212165 0
vsize: 848724
[startup+520.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 49927 53 0 0 25 0 11 0 419217216 869093376 27545 4294967295 134512640 134569956 3221224416 3221214560 1131419249 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27545 13073 16 0 212165 0
vsize: 848724
[startup+530.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 50902 53 0 0 17 0 11 0 419217216 869093376 27619 4294967295 134512640 134569956 3221224416 3221214584 1131274160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27619 13073 16 0 212165 0
vsize: 848724
[startup+540.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 51881 53 0 0 19 0 11 0 419217216 869093376 27665 4294967295 134512640 134569956 3221224416 3221214584 1131273982 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27665 13073 16 0 212165 0
vsize: 848724
[startup+550.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 52862 53 0 0 22 0 11 0 419217216 869093376 27756 4294967295 134512640 134569956 3221224416 3221214396 1080217097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27756 13073 16 0 212165 0
vsize: 848724
[startup+560.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 53847 53 0 0 21 0 11 0 419217216 869093376 27830 4294967295 134512640 134569956 3221224416 3221214572 1131617408 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27830 13073 16 0 212165 0
vsize: 848724
[startup+570.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 54834 53 0 0 25 0 11 0 419217216 869093376 27895 4294967295 134512640 134569956 3221224416 3221214328 1080217061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27895 13073 16 0 212165 0
vsize: 848724
[startup+580.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 55821 53 0 0 25 0 11 0 419217216 869093376 27961 4294967295 134512640 134569956 3221224416 3221214584 1131627640 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27961 13073 16 0 212165 0
vsize: 848724
[startup+590.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 56813 53 0 0 25 0 11 0 419217216 869093376 27961 4294967295 134512640 134569956 3221224416 3221214584 1131274146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27961 13073 16 0 212165 0
vsize: 848724
[startup+600.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 57801 53 0 0 23 0 11 0 419217216 869093376 27961 4294967295 134512640 134569956 3221224416 3221214584 1131274116 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 27961 13073 16 0 212165 0
vsize: 848724
[startup+610.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 58789 53 0 0 25 0 11 0 419217216 869093376 28007 4294967295 134512640 134569956 3221224416 3221214696 1131225177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28007 13073 16 0 212165 0
vsize: 848724
[startup+620.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 59770 53 0 0 25 0 11 0 419217216 869093376 28077 4294967295 134512640 134569956 3221224416 3221214696 1131224773 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28077 13073 16 0 212165 0
vsize: 848724
[startup+630.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 60753 53 0 0 25 0 11 0 419217216 869093376 28154 4294967295 134512640 134569956 3221224416 3221214264 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28154 13073 16 0 212165 0
vsize: 848724
[startup+640.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 61739 53 0 0 25 0 11 0 419217216 869093376 28211 4294967295 134512640 134569956 3221224416 3221214528 1079721549 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28211 13073 16 0 212165 0
vsize: 848724
[startup+650.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 62728 53 0 0 25 0 11 0 419217216 869093376 28211 4294967295 134512640 134569956 3221224416 3221214528 1131753883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28211 13073 16 0 212165 0
vsize: 848724
[startup+660.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 63721 54 0 0 25 0 11 0 419217216 869093376 28211 4294967295 134512640 134569956 3221224416 3221214632 1131529444 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28211 13073 16 0 212165 0
vsize: 848724
[startup+670.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 64707 54 0 0 20 0 11 0 419217216 869093376 28265 4294967295 134512640 134569956 3221224416 3221214584 1131274098 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28265 13073 16 0 212165 0
vsize: 848724
[startup+680.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 65695 54 0 0 25 0 11 0 419217216 869093376 28324 4294967295 134512640 134569956 3221224416 3221214584 1131274160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28324 13073 16 0 212165 0
vsize: 848724
[startup+690.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 66689 54 0 0 25 0 11 0 419217216 869093376 28333 4294967295 134512640 134569956 3221224416 3221214352 1080217187 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28333 13073 16 0 212165 0
vsize: 848724
[startup+700.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 67682 54 0 0 25 0 11 0 419217216 869093376 28371 4294967295 134512640 134569956 3221224416 3221214584 1131274102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28371 13073 16 0 212165 0
vsize: 848724
[startup+710.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 68675 54 0 0 25 0 11 0 419217216 869093376 28371 4294967295 134512640 134569956 3221224416 3221214584 1131274230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28371 13073 16 0 212165 0
vsize: 848724
[startup+720.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 69667 54 0 0 25 0 11 0 419217216 869093376 28371 4294967295 134512640 134569956 3221224416 3221214584 1131626972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28371 13073 16 0 212165 0
vsize: 848724
[startup+730.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 70660 54 0 0 25 0 11 0 419217216 869093376 28655 4294967295 134512640 134569956 3221224416 3221214584 1131627897 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28655 13073 16 0 212165 0
vsize: 848724
[startup+740.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 71658 54 0 0 25 0 11 0 419217216 869093376 28856 4294967295 134512640 134569956 3221224416 3221214584 1131274271 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28856 13073 16 0 212165 0
vsize: 848724
[startup+750.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 72656 54 0 0 24 0 11 0 419217216 869093376 28856 4294967295 134512640 134569956 3221224416 3221214408 1131617509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28856 13073 16 0 212165 0
vsize: 848724
[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 73650 54 0 0 25 0 11 0 419217216 869093376 28856 4294967295 134512640 134569956 3221224416 3221214584 1131274203 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28856 13073 16 0 212165 0
vsize: 848724
[startup+770.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 74642 54 0 0 25 0 11 0 419217216 869093376 28856 4294967295 134512640 134569956 3221224416 3221214568 1131529497 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28856 13073 16 0 212165 0
vsize: 848724
[startup+780.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 75636 54 0 0 24 0 11 0 419217216 869093376 28856 4294967295 134512640 134569956 3221224416 3221214352 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28856 13073 16 0 212165 0
vsize: 848724
[startup+790.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 76625 54 0 0 25 0 11 0 419217216 869093376 28856 4294967295 134512640 134569956 3221224416 3221214504 1131491264 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 28856 13073 16 0 212165 0
vsize: 848724
[startup+800.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 77615 54 0 0 25 0 11 0 419217216 869093376 29095 4294967295 134512640 134569956 3221224416 3221214504 1131492106 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 29095 13073 16 0 212165 0
vsize: 848724
[startup+810.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 78605 54 0 0 18 0 11 0 419217216 869093376 29095 4294967295 134512640 134569956 3221224416 3221214424 1079721474 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 29095 13073 16 0 212165 0
vsize: 848724
[startup+820.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 79597 54 0 0 25 0 11 0 419217216 869093376 29095 4294967295 134512640 134569956 3221224416 3221214504 1131492436 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 29095 13073 16 0 212165 0
vsize: 848724
[startup+830.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 80592 54 0 0 25 0 11 0 419217216 869093376 29233 4294967295 134512640 134569956 3221224416 3221214584 1131274008 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 29233 13073 16 0 212165 0
vsize: 848724
[startup+840.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 81588 54 0 0 25 0 11 0 419217216 869093376 29233 4294967295 134512640 134569956 3221224416 3221214584 1131274160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 29233 13073 16 0 212165 0
vsize: 848724
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 82583 54 0 0 25 0 11 0 419217216 869093376 29233 4294967295 134512640 134569956 3221224416 3221214584 1131274160 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 29233 13073 16 0 212165 0
vsize: 848724
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 83577 54 0 0 25 0 11 0 419217216 869093376 29233 4294967295 134512640 134569956 3221224416 3221214584 1131274171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 29233 13073 16 0 212165 0
vsize: 848724
[startup+870.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 84573 54 0 0 25 0 11 0 419217216 869093376 29238 4294967295 134512640 134569956 3221224416 3221214584 1131274102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 29238 13073 16 0 212165 0
vsize: 848724
[startup+880.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 85570 55 0 0 25 0 11 0 419217216 869093376 29239 4294967295 134512640 134569956 3221224416 3221214472 1131769063 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 29239 13073 16 0 212165 0
vsize: 848724
[startup+890.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 86564 55 0 0 25 0 11 0 419217216 869093376 29827 4294967295 134512640 134569956 3221224416 3221214504 1131491993 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 29827 13073 16 0 212165 0
vsize: 848724
[startup+900.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 87551 55 0 0 17 0 11 0 419217216 869093376 32257 4294967295 134512640 134569956 3221224416 3221214264 1080217322 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 32257 13073 16 0 212165 0
vsize: 848724
[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 88550 55 0 0 25 0 11 0 419217216 869093376 32257 4294967295 134512640 134569956 3221224416 3221214352 1080217379 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 32257 13073 16 0 212165 0
vsize: 848724
[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 89546 55 0 0 21 0 11 0 419217216 869093376 32257 4294967295 134512640 134569956 3221224416 3221214584 1131274171 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 32257 13073 16 0 212165 0
vsize: 848724
[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 90544 55 0 0 25 0 11 0 419217216 869093376 32257 4294967295 134512640 134569956 3221224416 3221214264 1080217270 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 32257 13073 16 0 212165 0
vsize: 848724
[startup+940.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 91536 55 0 0 25 0 11 0 419217216 869093376 32257 4294967295 134512640 134569956 3221224416 3221214624 1131275406 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 32257 13073 16 0 212165 0
vsize: 848724
[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 92529 55 0 0 25 0 11 0 419217216 869093376 32257 4294967295 134512640 134569956 3221224416 3221214632 1131529437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32257 13073 16 0 212165 0
vsize: 848724
[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 93521 55 0 0 25 0 11 0 419217216 869093376 32257 4294967295 134512640 134569956 3221224416 3221214408 1131751318 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32257 13073 16 0 212165 0
vsize: 848724
[startup+970.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 94509 56 0 0 25 0 11 0 419217216 869093376 32257 4294967295 134512640 134569956 3221224416 3221214584 1131627396 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32257 13073 16 0 212165 0
vsize: 848724
[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 95499 56 0 0 25 0 11 0 419217216 869093376 32257 4294967295 134512640 134569956 3221224416 3221214584 1131274230 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32257 13073 16 0 212165 0
vsize: 848724
[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 96489 56 0 0 25 0 11 0 419217216 869093376 32343 4294967295 134512640 134569956 3221224416 3221214528 1131754218 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32343 13073 16 0 212165 0
vsize: 848724
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 97483 56 0 0 25 0 11 0 419217216 869093376 32343 4294967295 134512640 134569956 3221224416 3221214352 1080217319 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32343 13073 16 0 212165 0
vsize: 848724
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 98476 57 0 0 25 0 11 0 419217216 869093376 32378 4294967295 134512640 134569956 3221224416 3221214504 1131492633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 32378 13073 16 0 212165 0
vsize: 848724
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 99471 57 0 0 25 0 11 0 419217216 869093376 32409 4294967295 134512640 134569956 3221224416 3221214500 1131609299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32409 13073 16 0 212165 0
vsize: 848724
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 100459 57 0 0 25 0 11 0 419217216 869093376 32714 4294967295 134512640 134569956 3221224416 3221214584 1131274171 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 32714 13073 16 0 212165 0
vsize: 848724
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 101449 58 0 0 25 0 11 0 419217216 869093376 33686 4294967295 134512640 134569956 3221224416 3221214584 1131274232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33686 13073 16 0 212165 0
vsize: 848724
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 102442 58 0 0 25 0 11 0 419217216 869093376 33686 4294967295 134512640 134569956 3221224416 3221214584 1131274177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33686 13073 16 0 212165 0
vsize: 848724
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 103436 59 0 0 25 0 11 0 419217216 869093376 33686 4294967295 134512640 134569956 3221224416 3221214296 1080217256 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33686 13073 16 0 212165 0
vsize: 848724
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 104426 59 0 0 25 0 11 0 419217216 869093376 33686 4294967295 134512640 134569956 3221224416 3221214296 1080217270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33686 13073 16 0 212165 0
vsize: 848724
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 105414 59 0 0 25 0 11 0 419217216 869093376 33686 4294967295 134512640 134569956 3221224416 3221214480 1131759660 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33686 13073 16 0 212165 0
vsize: 848724
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 106402 59 0 0 25 0 11 0 419217216 869093376 33686 4294967295 134512640 134569956 3221224416 3221214528 1131753567 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 33686 13073 16 0 212165 0
vsize: 848724
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 107391 60 0 0 25 0 11 0 419217216 869093376 33703 4294967295 134512640 134569956 3221224416 3221214480 1131759855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33703 13073 16 0 212165 0
vsize: 848724
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 108384 60 0 0 25 0 11 0 419217216 869093376 33704 4294967295 134512640 134569956 3221224416 3221214504 1131492513 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 33704 13073 16 0 212165 0
vsize: 848724
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 109367 60 0 0 25 0 11 0 419217216 869093376 33786 4294967295 134512640 134569956 3221224416 3221214584 1131274181 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33786 13073 16 0 212165 0
vsize: 848724
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 110354 60 0 0 25 0 11 0 419217216 869093376 33830 4294967295 134512640 134569956 3221224416 3221214528 1131754121 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 33830 13073 16 0 212165 0
vsize: 848724
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 111341 60 0 0 24 0 11 0 419217216 869093376 33874 4294967295 134512640 134569956 3221224416 3221214792 1131325553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33874 13073 16 0 212165 0
vsize: 848724
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 112333 61 0 0 25 0 11 0 419217216 869093376 33874 4294967295 134512640 134569956 3221224416 3221214560 1131420313 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 33874 13073 16 0 212165 0
vsize: 848724
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 113322 61 0 0 25 0 11 0 419217216 869093376 33875 4294967295 134512640 134569956 3221224416 3221214624 1131476450 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 33875 13073 16 0 212165 0
vsize: 848724
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 114311 61 0 0 25 0 11 0 419217216 869093376 33954 4294967295 134512640 134569956 3221224416 3221214428 1080216948 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 33954 13073 16 0 212165 0
vsize: 848724
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 115300 62 0 0 25 0 11 0 419217216 869093376 34016 4294967295 134512640 134569956 3221224416 3221214584 1131274216 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34016 13073 16 0 212165 0
vsize: 848724
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 116294 62 0 0 25 0 11 0 419217216 869093376 34016 4294967295 134512640 134569956 3221224416 3221214508 1079721528 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212181 34016 13073 16 0 212165 0
vsize: 848724
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 117285 62 0 0 25 0 11 0 419217216 869093376 34091 4294967295 134512640 134569956 3221224416 3221214504 1131489797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34091 13073 16 0 212165 0
vsize: 848724
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 118278 62 0 0 25 0 11 0 419217216 869093376 34103 4294967295 134512640 134569956 3221224416 3221214480 1131758576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34103 13073 16 0 212165 0
vsize: 848724
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 119273 62 0 0 25 0 11 0 419217216 869093376 34103 4294967295 134512640 134569956 3221224416 3221214584 1131273982 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34103 13073 16 0 212165 0
vsize: 848724
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 30485
Raw data (stat): 30472 (java) R 30471 29653 29652 0 -1 0 18092 3 1 0 120267 63 0 0 25 0 11 0 419217216 869093376 34103 4294967295 134512640 134569956 3221224416 3221214584 1131274197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212181 34103 13073 16 0 212165 0
vsize: 848724
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1230.17 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 30487
Raw data (stat): 30472 (java) Z 30471 29653 29652 0 -1 1036 18092 28079 1 0 120271 69 4386 75 25 0 1 0 419217216 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.17
CPU time (s): 1248.03
CPU user time (s): 1246.57
CPU system time (s): 1.45578
CPU usage (%): 101.452
Max. virtual memory (Kb): 856424
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####