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-ii32e5.opb
MD5SUM6caf33eeba2c45b0896a04cb80501c4f
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 503
Optimality of the best value was proved NO
Number of terms in the objective function 1044
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 1044
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1044
Number of bits of the biggest sum of numbers11
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark312.97
Number of variables1044
Total number of constraints12158
Number of constraints which are clauses12158
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 4344 

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-04-13 16:36:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1458 boxname=wulflinc21 idbench=162 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  6caf33eeba2c45b0896a04cb80501c4f  /oldhome/oroussel/tmp/wulflinc21/normalized-ii32e5.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc21/normalized-ii32e5.opb
IDLAUNCH: 1458
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        924588 kB
Buffers:         24636 kB
Cached:          65464 kB
SwapCached:          0 kB
Active:          32944 kB
Inactive:        60052 kB
HighTotal:      131008 kB
HighFree:        61880 kB
LowTotal:       903652 kB
LowFree:        862708 kB
SwapTotal:     2097892 kB
SwapFree:      2097804 kB
Dirty:              44 kB
Writeback:           0 kB
Mapped:           6928 kB
Slab:            11576 kB
Committed_AS:    63796 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-13 16:56:56 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1458 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc21/normalized-ii32e5.opb
c reading problem 
c [nbvar=1044]
c [nbconstr=12158]
c time 5.095
c #vars     1044
c #clauses  12158
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=517
c Current CPU time (ms) : 30.098
c starts	: 3
c conflicts	: 257
c decisions	: 2614
c propagations	: 64758
c inspects	: 433704
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 257
c root simplifications	: 3
c 
c CURRENT OPTIMUM=516
c Current CPU time (ms) : 35.475
c starts	: 4
c conflicts	: 306
c decisions	: 2754
c propagations	: 77037
c inspects	: 510381
c learned literals	: 1
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 305
c root simplifications	: 5
c 
c CURRENT OPTIMUM=514
c Current CPU time (ms) : 41.822
c starts	: 5
c conflicts	: 350
c decisions	: 2929
c propagations	: 87967
c inspects	: 588505
c learned literals	: 1
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 349
c root simplifications	: 6
c 
c CURRENT OPTIMUM=513
c Current CPU time (ms) : 67.839
c starts	: 7
c conflicts	: 471
c decisions	: 3168
c propagations	: 118649
c inspects	: 822556
c learned literals	: 1
c learned binary clauses	: 0
c learned ternary clauses	: 4
c learned clauses	: 470
c root simplifications	: 8
c 
c CURRENT OPTIMUM=512
c Current CPU time (ms) : 90.97
c starts	: 8
c conflicts	: 548
c decisions	: 3369
c propagations	: 137433
c inspects	: 943994
c learned literals	: 1
c learned binary clauses	: 0
c learned ternary clauses	: 4
c learned clauses	: 547
c root simplifications	: 9
c 
c CURRENT OPTIMUM=511
c Current CPU time (ms) : 100.597
c starts	: 9
c conflicts	: 568
c decisions	: 3481
c propagations	: 143660
c inspects	: 993472
c learned literals	: 1
c learned binary clauses	: 0
c learned ternary clauses	: 4
c learned clauses	: 567
c root simplifications	: 10
c 
c CURRENT OPTIMUM=510
c Current CPU time (ms) : 224.899
c starts	: 12
c conflicts	: 826
c decisions	: 4461
c propagations	: 207172
c inspects	: 1510808
c learned literals	: 1
c learned binary clauses	: 14
c learned ternary clauses	: 19
c learned clauses	: 825
c root simplifications	: 13
c 
c CURRENT OPTIMUM=509
c Current CPU time (ms) : 298.948
c starts	: 14
c conflicts	: 1003
c decisions	: 4800
c propagations	: 246116
c inspects	: 1818344
c learned literals	: 1
c learned binary clauses	: 15
c learned ternary clauses	: 20
c learned clauses	: 1002
c root simplifications	: 15
c 
c CURRENT OPTIMUM=506
c Current CPU time (ms) : 396.239
c starts	: 16
c conflicts	: 1108
c decisions	: 5184
c propagations	: 271938
c inspects	: 2092840
c learned literals	: 1
c learned binary clauses	: 15
c learned ternary clauses	: 20
c learned clauses	: 1107
c root simplifications	: 17
c 
c CURRENT OPTIMUM=505
c Current CPU time (ms) : 469.934
c starts	: 18
c conflicts	: 1251
c decisions	: 5395
c propagations	: 302254
c inspects	: 2385724
c learned literals	: 1
c learned binary clauses	: 15
c learned ternary clauses	: 20
c learned clauses	: 1250
c root simplifications	: 19
c 
c CURRENT OPTIMUM=504
c Current CPU time (ms) : 515.551
c starts	: 19
c conflicts	: 1319
c decisions	: 5598
c propagations	: 313815
c inspects	: 2515914
c learned literals	: 1
c learned binary clauses	: 15
c learned ternary clauses	: 20
c learned clauses	: 1318
c root simplifications	: 20
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.90 2/55 31540
Raw data (stat): 31540 (runsolver) R 31539 30927 30926 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 354700910 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.0006 s]
Raw data (loadavg): 1.18 1.03 0.92 4/65 31550
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18104 0 1 0 687 50 0 0 25 0 11 0 354700910 865828864 22202 4294967295 134512640 134569956 3221224416 3221214760 1131342043 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211384 22202 13073 16 0 211368 0
vsize: 845536
[startup+20.0011 s]
Raw data (loadavg): 1.15 1.03 0.92 2/65 31550
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18105 0 1 0 1633 50 0 0 25 0 11 0 354700910 862765056 22996 4294967295 134512640 134569956 3221224416 3221214872 1131327790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210636 22996 13073 16 0 210620 0
vsize: 842544
[startup+30.0022 s]
Raw data (loadavg): 1.13 1.03 0.92 2/65 31550
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18105 0 1 0 2598 50 0 0 25 0 11 0 354700910 862474240 23195 4294967295 134512640 134569956 3221224416 3221214872 1131327339 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210565 23195 13073 16 0 210549 0
vsize: 842260
[startup+40.0025 s]
Raw data (loadavg): 1.11 1.03 0.92 2/65 31552
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18105 4 1 0 3550 50 0 0 25 0 11 0 354700910 862474240 23472 4294967295 134512640 134569956 3221224416 3221214872 1131327616 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210565 23472 13073 16 0 210549 0
vsize: 842260
[startup+50.0032 s]
Raw data (loadavg): 1.09 1.03 0.92 2/65 31553
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 4492 50 0 0 25 0 11 0 354700910 862474240 23775 4294967295 134512640 134569956 3221224416 3221214872 1131327801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210565 23775 13073 16 0 210549 0
vsize: 842260
[startup+60.0029 s]
Raw data (loadavg): 1.08 1.03 0.92 2/65 31553
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 5429 51 0 0 25 0 11 0 354700910 862474240 24011 4294967295 134512640 134569956 3221224416 3221214696 1131218263 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210565 24011 13073 16 0 210549 0
vsize: 842260
[startup+70.0025 s]
Raw data (loadavg): 1.06 1.03 0.92 2/65 31554
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 6369 51 0 0 25 0 11 0 354700910 862474240 24217 4294967295 134512640 134569956 3221224416 3221214696 1131217506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210565 24217 13073 16 0 210549 0
vsize: 842260
[startup+80.0032 s]
Raw data (loadavg): 1.05 1.02 0.92 2/65 31554
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 7300 51 0 0 25 0 11 0 354700910 862474240 24342 4294967295 134512640 134569956 3221224416 3221214696 1131218286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210565 24342 13073 16 0 210549 0
vsize: 842260
[startup+90.0033 s]
Raw data (loadavg): 1.04 1.02 0.92 2/65 31554
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 8247 51 0 0 25 0 11 0 354700910 862474240 24371 4294967295 134512640 134569956 3221224416 3221214792 1131387641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210565 24371 13073 16 0 210549 0
vsize: 842260
[startup+100.003 s]
Raw data (loadavg): 1.04 1.02 0.92 2/65 31555
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 9176 51 0 0 25 0 11 0 354700910 862474240 24585 4294967295 134512640 134569956 3221224416 3221214792 1131388698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210565 24585 13073 16 0 210549 0
vsize: 842260
[startup+110.003 s]
Raw data (loadavg): 1.10 1.04 0.92 2/65 31556
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 10108 51 0 0 25 0 11 0 354700910 862474240 24891 4294967295 134512640 134569956 3221224416 3221214792 1131389541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 24891 13073 16 0 210549 0
vsize: 842260
[startup+120.004 s]
Raw data (loadavg): 1.09 1.04 0.92 2/65 31556
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 11051 51 0 0 25 0 11 0 354700910 862474240 25085 4294967295 134512640 134569956 3221224416 3221214696 1131218268 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 25085 13073 16 0 210549 0
vsize: 842260
[startup+130.005 s]
Raw data (loadavg): 1.07 1.03 0.92 2/65 31556
Raw data (stat): 31540 (java) S 31539 30927 30926 0 -1 0 18106 4 1 0 11992 51 0 0 25 0 11 0 354700910 862474240 25228 4294967295 134512640 134569956 3221224416 3221213320 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 25228 13073 16 0 210549 0
vsize: 842260
[startup+140.004 s]
Raw data (loadavg): 1.06 1.03 0.92 2/65 31556
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 12941 51 0 0 25 0 11 0 354700910 862474240 25360 4294967295 134512640 134569956 3221224416 3221214856 1131335177 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 25360 13073 16 0 210549 0
vsize: 842260
[startup+150.004 s]
Raw data (loadavg): 1.05 1.03 0.92 2/65 31556
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 13896 51 0 0 25 0 11 0 354700910 862474240 25548 4294967295 134512640 134569956 3221224416 3221214696 1131217349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 25548 13073 16 0 210549 0
vsize: 842260
[startup+160.005 s]
Raw data (loadavg): 1.04 1.03 0.92 2/65 31556
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 14852 51 0 0 25 0 11 0 354700910 862474240 25644 4294967295 134512640 134569956 3221224416 3221214696 1131217557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 25644 13073 16 0 210549 0
vsize: 842260
[startup+170.004 s]
Raw data (loadavg): 1.04 1.03 0.92 2/65 31556
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 15808 51 0 0 25 0 11 0 354700910 862474240 25712 4294967295 134512640 134569956 3221224416 3221214872 1131327612 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 25712 13073 16 0 210549 0
vsize: 842260
[startup+180.005 s]
Raw data (loadavg): 1.03 1.03 0.92 2/65 31556
Raw data (stat): 31540 (java) S 31539 30927 30926 0 -1 0 18106 4 1 0 16763 52 0 0 25 0 11 0 354700910 862474240 25784 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 25784 13073 16 0 210549 0
vsize: 842260
[startup+190.006 s]
Raw data (loadavg): 1.02 1.03 0.92 2/65 31556
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 17715 52 0 0 25 0 11 0 354700910 862474240 25905 4294967295 134512640 134569956 3221224416 3221214792 1131388687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 25905 13073 16 0 210549 0
vsize: 842260
[startup+200.005 s]
Raw data (loadavg): 1.02 1.02 0.92 2/65 31556
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 18675 52 0 0 25 0 11 0 354700910 862474240 26024 4294967295 134512640 134569956 3221224416 3221214888 1131504496 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26024 13073 16 0 210549 0
vsize: 842260
[startup+210.005 s]
Raw data (loadavg): 1.02 1.02 0.92 2/65 31556
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 19638 52 0 0 25 0 11 0 354700910 862474240 26144 4294967295 134512640 134569956 3221224416 3221214696 1131217901 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26144 13073 16 0 210549 0
vsize: 842260
[startup+220.006 s]
Raw data (loadavg): 1.01 1.02 0.92 2/65 31556
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 20602 52 0 0 25 0 11 0 354700910 862474240 26214 4294967295 134512640 134569956 3221224416 3221214696 1131218392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26214 13073 16 0 210549 0
vsize: 842260
[startup+230.006 s]
Raw data (loadavg): 1.01 1.02 0.92 2/65 31557
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 21559 52 0 0 25 0 11 0 354700910 862474240 26297 4294967295 134512640 134569956 3221224416 3221214696 1131217429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26297 13073 16 0 210549 0
vsize: 842260
[startup+240.006 s]
Raw data (loadavg): 1.01 1.02 0.92 2/65 31557
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 22522 52 0 0 24 0 11 0 354700910 862474240 26343 4294967295 134512640 134569956 3221224416 3221214696 1131217919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26343 13073 16 0 210549 0
vsize: 842260
[startup+250.006 s]
Raw data (loadavg): 1.01 1.02 0.92 2/65 31557
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 23486 53 0 0 25 0 11 0 354700910 862474240 26412 4294967295 134512640 134569956 3221224416 3221214792 1131387702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26412 13073 16 0 210549 0
vsize: 842260
[startup+260.006 s]
Raw data (loadavg): 1.01 1.02 0.92 2/65 31557
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 24439 53 0 0 25 0 11 0 354700910 862474240 26483 4294967295 134512640 134569956 3221224416 3221214696 1131217539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26483 13073 16 0 210549 0
vsize: 842260
[startup+270.007 s]
Raw data (loadavg): 1.00 1.02 0.92 3/65 31557
Raw data (stat): 31540 (java) S 31539 30927 30926 0 -1 0 18106 4 1 0 25395 53 0 0 25 0 11 0 354700910 862474240 26548 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26548 13073 16 0 210549 0
vsize: 842260
[startup+280.007 s]
Raw data (loadavg): 1.00 1.02 0.92 2/65 31557
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 26358 53 0 0 25 0 11 0 354700910 862474240 26692 4294967295 134512640 134569956 3221224416 3221214792 1131387741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26692 13073 16 0 210549 0
vsize: 842260
[startup+290.007 s]
Raw data (loadavg): 1.00 1.02 0.92 2/65 31557
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 27323 53 0 0 25 0 11 0 354700910 862474240 26741 4294967295 134512640 134569956 3221224416 3221214696 1131217727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26741 13073 16 0 210549 0
vsize: 842260
[startup+300.007 s]
Raw data (loadavg): 1.00 1.01 0.92 2/65 31558
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 28283 54 0 0 25 0 11 0 354700910 862474240 26797 4294967295 134512640 134569956 3221224416 3221214792 1131387603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26797 13073 16 0 210549 0
vsize: 842260
[startup+310.007 s]
Raw data (loadavg): 1.00 1.01 0.92 2/65 31558
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 29247 54 0 0 25 0 11 0 354700910 862474240 26837 4294967295 134512640 134569956 3221224416 3221214792 1131387634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26837 13073 16 0 210549 0
vsize: 842260
[startup+320.006 s]
Raw data (loadavg): 1.00 1.01 0.92 2/65 31558
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 30200 54 0 0 25 0 11 0 354700910 862474240 26910 4294967295 134512640 134569956 3221224416 3221214696 1131217345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26910 13073 16 0 210549 0
vsize: 842260
[startup+330.007 s]
Raw data (loadavg): 1.00 1.01 0.92 2/65 31558
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 31150 54 0 0 25 0 11 0 354700910 862474240 26955 4294967295 134512640 134569956 3221224416 3221214792 1131389594 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 26955 13073 16 0 210549 0
vsize: 842260
[startup+340.008 s]
Raw data (loadavg): 1.00 1.01 0.92 2/65 31558
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 32104 54 0 0 25 0 11 0 354700910 862474240 27000 4294967295 134512640 134569956 3221224416 3221214792 1131388638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27000 13073 16 0 210549 0
vsize: 842260
[startup+350.007 s]
Raw data (loadavg): 1.00 1.01 0.92 2/65 31558
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 33055 54 0 0 25 0 11 0 354700910 862474240 27137 4294967295 134512640 134569956 3221224416 3221214792 1131388698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27137 13073 16 0 210549 0
vsize: 842260
[startup+360.008 s]
Raw data (loadavg): 1.00 1.01 0.92 2/65 31558
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 34017 54 0 0 25 0 11 0 354700910 862474240 27184 4294967295 134512640 134569956 3221224416 3221214792 1131388774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27184 13073 16 0 210549 0
vsize: 842260
[startup+370.008 s]
Raw data (loadavg): 1.00 1.01 0.92 2/65 31558
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 34982 54 0 0 25 0 11 0 354700910 862474240 27304 4294967295 134512640 134569956 3221224416 3221214696 1131218514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27304 13073 16 0 210549 0
vsize: 842260
[startup+380.008 s]
Raw data (loadavg): 1.00 1.01 0.92 2/65 31558
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 35950 55 0 0 25 0 11 0 354700910 862474240 27347 4294967295 134512640 134569956 3221224416 3221214792 1131387673 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27347 13073 16 0 210549 0
vsize: 842260
[startup+390.008 s]
Raw data (loadavg): 1.00 1.01 0.92 2/65 31558
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 36921 55 0 0 25 0 11 0 354700910 862474240 27388 4294967295 134512640 134569956 3221224416 3221214792 1131387603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27388 13073 16 0 210549 0
vsize: 842260
[startup+400.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31559
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 37889 55 0 0 25 0 11 0 354700910 862474240 27413 4294967295 134512640 134569956 3221224416 3221214696 1131217727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27413 13073 16 0 210549 0
vsize: 842260
[startup+410.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31559
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 38860 55 0 0 25 0 11 0 354700910 862474240 27446 4294967295 134512640 134569956 3221224416 3221214792 1131387641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27446 13073 16 0 210549 0
vsize: 842260
[startup+420.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31559
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 39825 56 0 0 25 0 11 0 354700910 862474240 27460 4294967295 134512640 134569956 3221224416 3221214696 1131217727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27460 13073 16 0 210549 0
vsize: 842260
[startup+430.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31559
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 40788 56 0 0 25 0 11 0 354700910 862474240 27481 4294967295 134512640 134569956 3221224416 3221214792 1131387808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27481 13073 16 0 210549 0
vsize: 842260
[startup+440.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31559
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 41753 56 0 0 25 0 11 0 354700910 862474240 27488 4294967295 134512640 134569956 3221224416 3221214696 1131217555 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27488 13073 16 0 210549 0
vsize: 842260
[startup+450.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31559
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 42719 56 0 0 25 0 11 0 354700910 862474240 27577 4294967295 134512640 134569956 3221224416 3221214792 1131389526 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27577 13073 16 0 210549 0
vsize: 842260
[startup+460.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31559
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 43686 56 0 0 25 0 11 0 354700910 862474240 27665 4294967295 134512640 134569956 3221224416 3221214696 1131218213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27665 13073 16 0 210549 0
vsize: 842260
[startup+470.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31559
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 44639 56 0 0 25 0 11 0 354700910 862474240 27787 4294967295 134512640 134569956 3221224416 3221214776 1131467931 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27787 13073 16 0 210549 0
vsize: 842260
[startup+480.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31560
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 45606 57 0 0 25 0 11 0 354700910 862474240 27856 4294967295 134512640 134569956 3221224416 3221214872 1131327631 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27856 13073 16 0 210549 0
vsize: 842260
[startup+490.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31560
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 46569 57 0 0 25 0 11 0 354700910 862474240 27936 4294967295 134512640 134569956 3221224416 3221214696 1131217913 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 27936 13073 16 0 210549 0
vsize: 842260
[startup+500.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31560
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 47534 57 0 0 25 0 11 0 354700910 862474240 28008 4294967295 134512640 134569956 3221224416 3221214696 1131217676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 28008 13073 16 0 210549 0
vsize: 842260
[startup+510.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31560
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 48485 57 0 0 24 0 11 0 354700910 862474240 28099 4294967295 134512640 134569956 3221224416 3221214792 1131393179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 28099 13073 16 0 210549 0
vsize: 842260
[startup+520.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 49432 57 0 0 25 0 11 0 354700910 862474240 28214 4294967295 134512640 134569956 3221224416 3221214792 1131387702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 28214 13073 16 0 210549 0
vsize: 842260
[startup+530.008 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 50356 57 0 0 25 0 11 0 354700910 862474240 28285 4294967295 134512640 134569956 3221224416 3221214776 1131465142 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 28285 13073 16 0 210549 0
vsize: 842260
[startup+540.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 51279 57 0 0 25 0 11 0 354700910 862474240 28367 4294967295 134512640 134569956 3221224416 3221214616 1131585876 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 28367 13073 16 0 210549 0
vsize: 842260
[startup+550.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) S 31539 30927 30926 0 -1 0 18106 4 1 0 52214 58 0 0 25 0 11 0 354700910 862474240 28498 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 28499 13073 16 0 210549 0
vsize: 842260
[startup+560.009 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) S 31539 30927 30926 0 -1 0 18106 4 1 0 53139 58 0 0 25 0 11 0 354700910 862474240 28769 4294967295 134512640 134569956 3221224416 3221213368 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 28769 13073 16 0 210549 0
vsize: 842260
[startup+570.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 54076 58 0 0 25 0 11 0 354700910 862474240 28884 4294967295 134512640 134569956 3221224416 3221214696 1131422700 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 28884 13073 16 0 210549 0
vsize: 842260
[startup+580.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 55016 58 0 0 25 0 11 0 354700910 862474240 29164 4294967295 134512640 134569956 3221224416 3221214616 1131585024 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 29164 13073 16 0 210549 0
vsize: 842260
[startup+590.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 55960 58 0 0 24 0 11 0 354700910 862474240 29325 4294967295 134512640 134569956 3221224416 3221214696 1131217676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 29325 13073 16 0 210549 0
vsize: 842260
[startup+600.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 56914 58 0 0 25 0 11 0 354700910 862474240 29454 4294967295 134512640 134569956 3221224416 3221214624 1131243088 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 29454 13073 16 0 210549 0
vsize: 842260
[startup+610.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18106 4 1 0 57873 59 0 0 25 0 11 0 354700910 862474240 29630 4294967295 134512640 134569956 3221224416 3221214792 1131387702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 29630 13073 16 0 210549 0
vsize: 842260
[startup+620.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 58841 59 0 0 25 0 11 0 354700910 862474240 29729 4294967295 134512640 134569956 3221224416 3221214788 1131218535 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 29729 13073 16 0 210549 0
vsize: 842260
[startup+630.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 59795 59 0 0 25 0 11 0 354700910 862474240 29835 4294967295 134512640 134569956 3221224416 3221214792 1131387702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 29835 13073 16 0 210549 0
vsize: 842260
[startup+640.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 60755 59 0 0 25 0 11 0 354700910 862474240 29891 4294967295 134512640 134569956 3221224416 3221214792 1131387641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210565 29891 13073 16 0 210549 0
vsize: 842260
[startup+650.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 61713 59 0 0 25 0 11 0 354700910 862474240 29951 4294967295 134512640 134569956 3221224416 3221214792 1131387641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 29951 13073 16 0 210549 0
vsize: 842260
[startup+660.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 62666 59 0 0 25 0 11 0 354700910 862474240 30027 4294967295 134512640 134569956 3221224416 3221214792 1131387641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30027 13073 16 0 210549 0
vsize: 842260
[startup+670.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 63620 59 0 0 25 0 11 0 354700910 862474240 30068 4294967295 134512640 134569956 3221224416 3221214792 1131388683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30068 13073 16 0 210549 0
vsize: 842260
[startup+680.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 64580 59 0 0 25 0 11 0 354700910 862474240 30259 4294967295 134512640 134569956 3221224416 3221214792 1131387731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30259 13073 16 0 210549 0
vsize: 842260
[startup+690.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 65550 60 0 0 25 0 11 0 354700910 862474240 30343 4294967295 134512640 134569956 3221224416 3221214792 1131388774 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30343 13073 16 0 210549 0
vsize: 842260
[startup+700.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 66523 60 0 0 25 0 11 0 354700910 862474240 30364 4294967295 134512640 134569956 3221224416 3221214792 1131387634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30364 13073 16 0 210549 0
vsize: 842260
[startup+710.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 67498 60 0 0 25 0 11 0 354700910 862474240 30433 4294967295 134512640 134569956 3221224416 3221214696 1131218234 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30433 13073 16 0 210549 0
vsize: 842260
[startup+720.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 68475 60 0 0 25 0 11 0 354700910 862474240 30459 4294967295 134512640 134569956 3221224416 3221214792 1131387634 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30459 13073 16 0 210549 0
vsize: 842260
[startup+730.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 69451 61 0 0 25 0 11 0 354700910 862474240 30501 4294967295 134512640 134569956 3221224416 3221214792 1131387641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30501 13073 16 0 210549 0
vsize: 842260
[startup+740.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 70425 61 0 0 25 0 11 0 354700910 862474240 30529 4294967295 134512640 134569956 3221224416 3221214792 1131388770 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30529 13073 16 0 210549 0
vsize: 842260
[startup+750.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 71401 61 0 0 25 0 11 0 354700910 862474240 30546 4294967295 134512640 134569956 3221224416 3221214792 1131387455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30546 13073 16 0 210549 0
vsize: 842260
[startup+760.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 72378 61 0 0 25 0 11 0 354700910 862474240 30572 4294967295 134512640 134569956 3221224416 3221214792 1131388698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30572 13073 16 0 210549 0
vsize: 842260
[startup+770.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 73357 61 0 0 25 0 11 0 354700910 862474240 30613 4294967295 134512640 134569956 3221224416 3221214792 1131387702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30613 13073 16 0 210549 0
vsize: 842260
[startup+780.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 74334 61 0 0 25 0 11 0 354700910 862474240 30649 4294967295 134512640 134569956 3221224416 3221214792 1131388628 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30649 13073 16 0 210549 0
vsize: 842260
[startup+790.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 75317 61 0 0 25 0 11 0 354700910 862474240 30668 4294967295 134512640 134569956 3221224416 3221214696 1131217672 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30668 13073 16 0 210549 0
vsize: 842260
[startup+800.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 76291 62 0 0 25 0 11 0 354700910 862474240 30687 4294967295 134512640 134569956 3221224416 3221214792 1131387702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30687 13073 16 0 210549 0
vsize: 842260
[startup+810.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 77265 62 0 0 25 0 11 0 354700910 862474240 30716 4294967295 134512640 134569956 3221224416 3221214792 1131387702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30716 13073 16 0 210549 0
vsize: 842260
[startup+820.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 78242 62 0 0 25 0 11 0 354700910 862474240 30731 4294967295 134512640 134569956 3221224416 3221214696 1131217676 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30731 13073 16 0 210549 0
vsize: 842260
[startup+830.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 79218 62 0 0 25 0 11 0 354700910 862474240 30766 4294967295 134512640 134569956 3221224416 3221214696 1131217727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30766 13073 16 0 210549 0
vsize: 842260
[startup+840.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 80187 62 0 0 25 0 11 0 354700910 862474240 30803 4294967295 134512640 134569956 3221224416 3221214792 1131388764 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30803 13073 16 0 210549 0
vsize: 842260
[startup+850.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 81159 63 0 0 25 0 11 0 354700910 862474240 30817 4294967295 134512640 134569956 3221224416 3221214792 1131387702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30817 13073 16 0 210549 0
vsize: 842260
[startup+860.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 82130 63 0 0 25 0 11 0 354700910 862474240 30851 4294967295 134512640 134569956 3221224416 3221214792 1131388698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30851 13073 16 0 210549 0
vsize: 842260
[startup+870.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 83107 63 0 0 25 0 11 0 354700910 862474240 30898 4294967295 134512640 134569956 3221224416 3221214696 1131217582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30898 13073 16 0 210549 0
vsize: 842260
[startup+880.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 84080 63 0 0 25 0 11 0 354700910 862474240 30906 4294967295 134512640 134569956 3221224416 3221214696 1131218301 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30906 13073 16 0 210549 0
vsize: 842260
[startup+890.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 85053 63 0 0 25 0 11 0 354700910 862474240 30931 4294967295 134512640 134569956 3221224416 3221214696 1131217452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30931 13073 16 0 210549 0
vsize: 842260
[startup+900.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 86026 64 0 0 25 0 11 0 354700910 862474240 30965 4294967295 134512640 134569956 3221224416 3221214696 1131217727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30965 13073 16 0 210549 0
vsize: 842260
[startup+910.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 86999 64 0 0 25 0 11 0 354700910 862474240 30992 4294967295 134512640 134569956 3221224416 3221214696 1131217727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 30992 13073 16 0 210549 0
vsize: 842260
[startup+920.012 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 87974 64 0 0 25 0 11 0 354700910 862474240 31016 4294967295 134512640 134569956 3221224416 3221214696 1131217949 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31016 13073 16 0 210549 0
vsize: 842260
[startup+930.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 88946 64 0 0 25 0 11 0 354700910 862474240 31039 4294967295 134512640 134569956 3221224416 3221214696 1131217570 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31039 13073 16 0 210549 0
vsize: 842260
[startup+940.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 89921 64 0 0 25 0 11 0 354700910 862474240 31072 4294967295 134512640 134569956 3221224416 3221214696 1131217345 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31072 13073 16 0 210549 0
vsize: 842260
[startup+950.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 90895 65 0 0 25 0 11 0 354700910 862474240 31118 4294967295 134512640 134569956 3221224416 3221214696 1131217727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31118 13073 16 0 210549 0
vsize: 842260
[startup+960.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 91866 65 0 0 25 0 11 0 354700910 862474240 31162 4294967295 134512640 134569956 3221224416 3221214792 1131387725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31162 13073 16 0 210549 0
vsize: 842260
[startup+970.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 92838 65 0 0 25 0 11 0 354700910 862474240 31203 4294967295 134512640 134569956 3221224416 3221214792 1131387455 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31203 13073 16 0 210549 0
vsize: 842260
[startup+980.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 93809 65 0 0 25 0 11 0 354700910 862474240 31251 4294967295 134512640 134569956 3221224416 3221214792 1131387471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31251 13073 16 0 210549 0
vsize: 842260
[startup+990.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 94786 65 0 0 25 0 11 0 354700910 862474240 31287 4294967295 134512640 134569956 3221224416 3221214696 1131217727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31287 13073 16 0 210549 0
vsize: 842260
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 95760 65 0 0 25 0 11 0 354700910 862474240 31307 4294967295 134512640 134569956 3221224416 3221214696 1131217727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31307 13073 16 0 210549 0
vsize: 842260
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 96735 65 0 0 25 0 11 0 354700910 862474240 31316 4294967295 134512640 134569956 3221224416 3221214792 1131387641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31316 13073 16 0 210549 0
vsize: 842260
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 97709 66 0 0 25 0 11 0 354700910 862474240 31362 4294967295 134512640 134569956 3221224416 3221214696 1131217357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31362 13073 16 0 210549 0
vsize: 842260
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 98684 66 0 0 25 0 11 0 354700910 862474240 31408 4294967295 134512640 134569956 3221224416 3221214696 1131217545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31408 13073 16 0 210549 0
vsize: 842260
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 99661 66 0 0 25 0 11 0 354700910 862474240 31427 4294967295 134512640 134569956 3221224416 3221214696 1131217727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31427 13073 16 0 210549 0
vsize: 842260
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 100637 66 0 0 25 0 11 0 354700910 862474240 31451 4294967295 134512640 134569956 3221224416 3221214696 1131217865 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31451 13073 16 0 210549 0
vsize: 842260
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 101614 66 0 0 25 0 11 0 354700910 862474240 31470 4294967295 134512640 134569956 3221224416 3221214696 1131217341 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31470 13073 16 0 210549 0
vsize: 842260
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 102585 67 0 0 25 0 11 0 354700910 862474240 31497 4294967295 134512640 134569956 3221224416 3221214792 1131388683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31497 13073 16 0 210549 0
vsize: 842260
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 103553 67 0 0 25 0 11 0 354700910 862474240 31524 4294967295 134512640 134569956 3221224416 3221214696 1131217828 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31524 13073 16 0 210549 0
vsize: 842260
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 104518 67 0 0 25 0 11 0 354700910 862474240 31571 4294967295 134512640 134569956 3221224416 3221214696 1131217582 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31571 13073 16 0 210549 0
vsize: 842260
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 105487 68 0 0 25 0 11 0 354700910 862474240 31653 4294967295 134512640 134569956 3221224416 3221214696 1131217846 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31653 13073 16 0 210549 0
vsize: 842260
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 106466 68 0 0 25 0 11 0 354700910 862474240 31672 4294967295 134512640 134569956 3221224416 3221214696 1131218207 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31672 13073 16 0 210549 0
vsize: 842260
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 107431 68 0 0 25 0 11 0 354700910 862474240 31687 4294967295 134512640 134569956 3221224416 3221214792 1131387641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31687 13073 16 0 210549 0
vsize: 842260
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 108403 68 0 0 24 0 11 0 354700910 862474240 31702 4294967295 134512640 134569956 3221224416 3221214792 1131387603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31702 13073 16 0 210549 0
vsize: 842260
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 109378 69 0 0 25 0 11 0 354700910 862474240 31703 4294967295 134512640 134569956 3221224416 3221214792 1131387603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31703 13073 16 0 210549 0
vsize: 842260
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 110350 69 0 0 25 0 11 0 354700910 862474240 31789 4294967295 134512640 134569956 3221224416 3221214792 1131387603 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31789 13073 16 0 210549 0
vsize: 842260
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 111324 69 0 0 25 0 11 0 354700910 862474240 31822 4294967295 134512640 134569956 3221224416 3221214792 1131387638 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31822 13073 16 0 210549 0
vsize: 842260
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 112297 69 0 0 25 0 11 0 354700910 862474240 31837 4294967295 134512640 134569956 3221224416 3221214792 1131388683 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31837 13073 16 0 210549 0
vsize: 842260
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 113271 69 0 0 25 0 11 0 354700910 862474240 31865 4294967295 134512640 134569956 3221224416 3221214696 1131217380 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31865 13073 16 0 210549 0
vsize: 842260
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 114246 69 0 0 25 0 11 0 354700910 862474240 31896 4294967295 134512640 134569956 3221224416 3221214696 1131217349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31896 13073 16 0 210549 0
vsize: 842260
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 115218 69 0 0 25 0 11 0 354700910 862474240 31924 4294967295 134512640 134569956 3221224416 3221214792 1131389626 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31924 13073 16 0 210549 0
vsize: 842260
[startup+1210.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 116193 70 0 0 25 0 11 0 354700910 862474240 31958 4294967295 134512640 134569956 3221224416 3221214792 1131387641 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31958 13073 16 0 210549 0
vsize: 842260
[startup+1220.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 117168 70 0 0 25 0 11 0 354700910 862474240 31998 4294967295 134512640 134569956 3221224416 3221214792 1131388698 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 31998 13073 16 0 210549 0
vsize: 842260
[startup+1230.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 118138 70 0 0 25 0 11 0 354700910 862474240 32023 4294967295 134512640 134569956 3221224416 3221214696 1131218213 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 32023 13073 16 0 210549 0
vsize: 842260
[startup+1240.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 119115 70 0 0 25 0 11 0 354700910 862474240 32048 4294967295 134512640 134569956 3221224416 3221214696 1131217724 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 32048 13073 16 0 210549 0
vsize: 842260
[startup+1250.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 31561
Raw data (stat): 31540 (java) R 31539 30927 30926 0 -1 0 18107 4 1 0 120091 70 0 0 25 0 11 0 354700910 862474240 32103 4294967295 134512640 134569956 3221224416 3221214792 1131387702 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210565 32103 13073 16 0 210549 0
vsize: 842260
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.11 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 31563
Raw data (stat): 31540 (java) Z 31539 30927 30926 0 -1 1036 18107 20440 1 0 120094 76 5955 52 25 0 1 0 354700910 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1250.11
CPU time (s): 1261.79
CPU user time (s): 1260.5
CPU system time (s): 1.2888
CPU usage (%): 100.935
Max. virtual memory (Kb): 845536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####