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/logic-synthesis/normalized-e64.b.opb
MD5SUMbf7f8537c6faa135d25c67c53576abb5
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 49
Optimality of the best value was proved NO
Number of terms in the objective function 608
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 608
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 608
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.03484
Number of variables607
Total number of constraints1053
Number of constraints which are clauses1022
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint32

Trace number 4283

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-04-13 16:05:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=594 boxname=wulflinc15 idbench=66 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  bf7f8537c6faa135d25c67c53576abb5  /oldhome/oroussel/tmp/wulflinc15/normalized-e64.b.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc15/normalized-e64.b.opb
IDLAUNCH: 594
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        936080 kB
Buffers:         32944 kB
Cached:          44472 kB
SwapCached:       2144 kB
Active:          50252 kB
Inactive:        32124 kB
HighTotal:      131008 kB
HighFree:        82292 kB
LowTotal:       903652 kB
LowFree:        853788 kB
SwapTotal:     2097136 kB
SwapFree:      2094992 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6916 kB
Slab:            10728 kB
Committed_AS:    63476 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:26:43 (client local time) WITH STATUS 143 IN  SECONDS
stats: 594 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc15/normalized-e64.b.opb
c reading problem 
c [nbvar=608]
c [nbconstr=1053]
c time 2.63
c #vars     608
c #clauses  1022
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=67
c Current CPU time (ms) : 4.264
c starts	: 1
c conflicts	: 5
c decisions	: 513
c propagations	: 618
c inspects	: 4645
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 5
c root simplifications	: 1
c 
c CURRENT OPTIMUM=66
c Current CPU time (ms) : 37.358
c starts	: 3
c conflicts	: 108
c decisions	: 2307
c propagations	: 6464
c inspects	: 15518
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 108
c root simplifications	: 3
c 
c CURRENT OPTIMUM=65
c Current CPU time (ms) : 88.322
c starts	: 6
c conflicts	: 475
c decisions	: 5917
c propagations	: 16728
c inspects	: 70080
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 475
c root simplifications	: 6
c 
c CURRENT OPTIMUM=63
c Current CPU time (ms) : 125.35
c starts	: 8
c conflicts	: 608
c decisions	: 7735
c propagations	: 20370
c inspects	: 116210
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 608
c root simplifications	: 8
c 
c CURRENT OPTIMUM=62
c Current CPU time (ms) : 218.985
c starts	: 10
c conflicts	: 785
c decisions	: 10820
c propagations	: 26827
c inspects	: 199750
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 785
c root simplifications	: 10
#### 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): 1.02 0.95 0.57 2/54 29454
Raw data (stat): 29454 (runsolver) R 29453 29151 29150 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 419029985 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.0006 s]
Raw data (loadavg): 1.25 1.00 0.59 2/64 29465
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18085 3 1 0 595 45 0 0 25 0 11 0 419029985 869855232 22490 4294967295 134512640 134569956 3221224416 3221214776 1131386701 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212367 22490 13073 16 0 212351 0
vsize: 849468
[startup+20.0199 s]
Raw data (loadavg): 1.21 1.00 0.60 2/64 29465
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18085 3 1 0 1479 45 0 0 25 0 11 0 419029985 869625856 22926 4294967295 134512640 134569956 3221224416 3221214636 1080203686 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212311 22926 13073 16 0 212295 0
vsize: 849244
[startup+30.0216 s]
Raw data (loadavg): 1.34 1.03 0.61 2/64 29465
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18086 3 1 0 2403 46 0 0 25 0 11 0 419029985 869298176 23588 4294967295 134512640 134569956 3221224416 3221214488 1131299353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 23588 13073 16 0 212215 0
vsize: 848924
[startup+40.022 s]
Raw data (loadavg): 1.28 1.03 0.62 2/64 29468
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18087 3 1 0 3306 47 0 0 25 0 11 0 419029985 869298176 23975 4294967295 134512640 134569956 3221224416 3221214760 1080203753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 23975 13073 16 0 212215 0
vsize: 848924
[startup+50.0233 s]
Raw data (loadavg): 1.24 1.03 0.62 2/64 29468
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18087 3 1 0 4213 47 0 0 25 0 11 0 419029985 869298176 24522 4294967295 134512640 134569956 3221224416 3221214656 1131445775 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 24522 13073 16 0 212215 0
vsize: 848924
[startup+60.024 s]
Raw data (loadavg): 1.20 1.03 0.62 2/64 29468
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 5117 47 0 0 25 0 11 0 419029985 869298176 25032 4294967295 134512640 134569956 3221224416 3221214784 1131321734 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 25032 13073 16 0 212215 0
vsize: 848924
[startup+70.0243 s]
Raw data (loadavg): 1.17 1.03 0.63 2/64 29468
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 6008 47 0 0 24 0 11 0 419029985 869298176 25734 4294967295 134512640 134569956 3221224416 3221214768 1131386797 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 25734 13073 16 0 212215 0
vsize: 848924
[startup+80.0256 s]
Raw data (loadavg): 1.14 1.03 0.63 2/64 29468
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 6922 48 0 0 25 0 11 0 419029985 869298176 26102 4294967295 134512640 134569956 3221224416 3221214784 1131319515 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212231 26102 13073 16 0 212215 0
vsize: 848924
[startup+90.0264 s]
Raw data (loadavg): 1.12 1.02 0.64 2/64 29469
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 7823 48 0 0 25 0 11 0 419029985 869298176 27110 4294967295 134512640 134569956 3221224416 3221214784 1131319772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 27110 13073 16 0 212215 0
vsize: 848924
[startup+100.027 s]
Raw data (loadavg): 1.10 1.02 0.64 2/64 29469
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 8724 49 0 0 24 0 11 0 419029985 869298176 27724 4294967295 134512640 134569956 3221224416 3221214600 1131299671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 27724 13073 16 0 212215 0
vsize: 848924
[startup+110.028 s]
Raw data (loadavg): 1.09 1.02 0.64 2/64 29469
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 9670 49 0 0 25 0 11 0 419029985 869298176 27988 4294967295 134512640 134569956 3221224416 3221214688 1131227481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 27988 13073 16 0 212215 0
vsize: 848924
[startup+120.029 s]
Raw data (loadavg): 1.07 1.02 0.64 2/64 29469
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 10595 49 0 0 25 0 11 0 419029985 869298176 28115 4294967295 134512640 134569956 3221224416 3221214656 1131444206 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 28115 13073 16 0 212215 0
vsize: 848924
[startup+130.029 s]
Raw data (loadavg): 1.06 1.02 0.65 2/64 29470
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 11530 50 0 0 25 0 11 0 419029985 869298176 28313 4294967295 134512640 134569956 3221224416 3221214688 1131227109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 28313 13073 16 0 212215 0
vsize: 848924
[startup+140.03 s]
Raw data (loadavg): 1.05 1.02 0.65 2/64 29470
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 12459 50 0 0 25 0 11 0 419029985 869298176 28409 4294967295 134512640 134569956 3221224416 3221214656 1131444762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 28409 13073 16 0 212215 0
vsize: 848924
[startup+150.031 s]
Raw data (loadavg): 1.04 1.02 0.65 2/64 29470
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 13392 50 0 0 25 0 11 0 419029985 869298176 28722 4294967295 134512640 134569956 3221224416 3221214688 1131227069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 28722 13073 16 0 212215 0
vsize: 848924
[startup+160.032 s]
Raw data (loadavg): 1.04 1.02 0.66 2/64 29470
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 14322 51 0 0 25 0 11 0 419029985 869298176 28985 4294967295 134512640 134569956 3221224416 3221214768 1131383564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 28985 13073 16 0 212215 0
vsize: 848924
[startup+170.032 s]
Raw data (loadavg): 1.03 1.02 0.66 2/64 29470
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 15248 51 0 0 25 0 11 0 419029985 869298176 29198 4294967295 134512640 134569956 3221224416 3221214768 1131384901 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 29198 13073 16 0 212215 0
vsize: 848924
[startup+180.033 s]
Raw data (loadavg): 1.02 1.02 0.66 2/64 29470
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 16187 51 0 0 25 0 11 0 419029985 869298176 29236 4294967295 134512640 134569956 3221224416 3221214704 1131647279 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 29236 13073 16 0 212215 0
vsize: 848924
[startup+190.033 s]
Raw data (loadavg): 1.02 1.01 0.67 2/64 29470
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 17135 52 0 0 25 0 11 0 419029985 869298176 29483 4294967295 134512640 134569956 3221224416 3221214600 1131623270 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 29483 13073 16 0 212215 0
vsize: 848924
[startup+200.034 s]
Raw data (loadavg): 1.02 1.01 0.67 2/64 29470
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 18106 52 0 0 25 0 11 0 419029985 869298176 29656 4294967295 134512640 134569956 3221224416 3221214784 1131319776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 29656 13073 16 0 212215 0
vsize: 848924
[startup+210.035 s]
Raw data (loadavg): 1.01 1.01 0.67 2/64 29470
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 19072 52 0 0 25 0 11 0 419029985 869298176 29812 4294967295 134512640 134569956 3221224416 3221214656 1131444065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 29812 13073 16 0 212215 0
vsize: 848924
[startup+220.035 s]
Raw data (loadavg): 1.01 1.01 0.67 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 20019 52 0 0 25 0 11 0 419029985 869298176 29861 4294967295 134512640 134569956 3221224416 3221214176 1131662417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212231 29861 13073 16 0 212215 0
vsize: 848924
[startup+230.036 s]
Raw data (loadavg): 1.01 1.01 0.68 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 20972 53 0 0 25 0 11 0 419029985 869298176 29895 4294967295 134512640 134569956 3221224416 3221214688 1131228132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 29895 13073 16 0 212215 0
vsize: 848924
[startup+240.036 s]
Raw data (loadavg): 1.01 1.01 0.68 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 21900 53 0 0 25 0 11 0 419029985 869298176 30056 4294967295 134512640 134569956 3221224416 3221214688 1131227481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 30056 13073 16 0 212215 0
vsize: 848924
[startup+250.037 s]
Raw data (loadavg): 1.01 1.01 0.68 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 22822 53 0 0 25 0 11 0 419029985 869298176 30300 4294967295 134512640 134569956 3221224416 3221214760 1131299416 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 30300 13073 16 0 212215 0
vsize: 848924
[startup+260.038 s]
Raw data (loadavg): 1.00 1.01 0.69 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 23776 53 0 0 25 0 11 0 419029985 869298176 30638 4294967295 134512640 134569956 3221224416 3221214248 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 30638 13073 16 0 212215 0
vsize: 848924
[startup+270.038 s]
Raw data (loadavg): 1.00 1.01 0.69 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 24727 54 0 0 25 0 11 0 419029985 869298176 30638 4294967295 134512640 134569956 3221224416 3221214688 1131227497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 30638 13073 16 0 212215 0
vsize: 848924
[startup+280.038 s]
Raw data (loadavg): 1.00 1.01 0.69 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 25647 54 0 0 25 0 11 0 419029985 869298176 30657 4294967295 134512640 134569956 3221224416 3221214688 1131227109 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 30657 13073 16 0 212215 0
vsize: 848924
[startup+290.039 s]
Raw data (loadavg): 1.00 1.00 0.69 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 26582 54 0 0 25 0 11 0 419029985 869298176 30935 4294967295 134512640 134569956 3221224416 3221214784 1131320790 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 30935 13073 16 0 212215 0
vsize: 848924
[startup+300.04 s]
Raw data (loadavg): 1.00 1.00 0.70 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 27512 55 0 0 25 0 11 0 419029985 869298176 31168 4294967295 134512640 134569956 3221224416 3221214560 1131662316 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 31168 13073 16 0 212215 0
vsize: 848924
[startup+310.041 s]
Raw data (loadavg): 1.00 1.00 0.70 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 28439 55 0 0 25 0 11 0 419029985 869298176 31735 4294967295 134512640 134569956 3221224416 3221214780 1131654979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 31735 13073 16 0 212215 0
vsize: 848924
[startup+320.041 s]
Raw data (loadavg): 1.00 1.00 0.70 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 29377 55 0 0 25 0 11 0 419029985 869298176 31950 4294967295 134512640 134569956 3221224416 3221214468 1085616768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 31950 13073 16 0 212215 0
vsize: 848924
[startup+330.042 s]
Raw data (loadavg): 1.00 1.00 0.71 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 30325 56 0 0 25 0 11 0 419029985 869298176 31950 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 31950 13073 16 0 212215 0
vsize: 848924
[startup+340.042 s]
Raw data (loadavg): 1.00 1.00 0.71 2/64 29471
Raw data (stat): 29454 (java) S 29453 29151 29150 0 -1 0 18088 3 1 0 31257 56 0 0 25 0 11 0 419029985 869298176 31950 4294967295 134512640 134569956 3221224416 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 31950 13073 16 0 212215 0
vsize: 848924
[startup+350.043 s]
Raw data (loadavg): 1.00 1.00 0.71 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 32174 56 0 0 25 0 11 0 419029985 869298176 32336 4294967295 134512640 134569956 3221224416 3221214352 1085679766 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 32336 13073 16 0 212215 0
vsize: 848924
[startup+360.044 s]
Raw data (loadavg): 1.00 1.00 0.72 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 33143 57 0 0 24 0 11 0 419029985 869298176 32695 4294967295 134512640 134569956 3221224416 3221214784 1131320581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 32695 13073 16 0 212215 0
vsize: 848924
[startup+370.044 s]
Raw data (loadavg): 1.00 1.00 0.72 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 34122 57 0 0 25 0 11 0 419029985 869298176 32783 4294967295 134512640 134569956 3221224416 3221214064 1131662328 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 32783 13073 16 0 212215 0
vsize: 848924
[startup+380.045 s]
Raw data (loadavg): 1.00 1.00 0.72 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 35095 57 0 0 25 0 11 0 419029985 869298176 32833 4294967295 134512640 134569956 3221224416 3221214688 1131227142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 32833 13073 16 0 212215 0
vsize: 848924
[startup+390.045 s]
Raw data (loadavg): 1.00 1.00 0.72 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 36061 57 0 0 25 0 11 0 419029985 869298176 32838 4294967295 134512640 134569956 3221224416 3221214784 1131319772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 32838 13073 16 0 212215 0
vsize: 848924
[startup+400.047 s]
Raw data (loadavg): 1.00 1.00 0.73 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 36999 58 0 0 25 0 11 0 419029985 869298176 32892 4294967295 134512640 134569956 3221224416 3221214268 1131668064 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 32892 13073 16 0 212215 0
vsize: 848924
[startup+410.048 s]
Raw data (loadavg): 1.00 1.00 0.73 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 37967 58 0 0 25 0 11 0 419029985 869298176 32947 4294967295 134512640 134569956 3221224416 3221214444 1131662352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 32947 13073 16 0 212215 0
vsize: 848924
[startup+420.047 s]
Raw data (loadavg): 1.00 1.00 0.73 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 38886 59 0 0 25 0 11 0 419029985 869298176 33193 4294967295 134512640 134569956 3221224416 3221214688 1131227238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 33193 13073 16 0 212215 0
vsize: 848924
[startup+430.049 s]
Raw data (loadavg): 1.00 1.00 0.73 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 39808 59 0 0 25 0 11 0 419029985 869298176 33600 4294967295 134512640 134569956 3221224416 3221214600 1131609357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 33600 13073 16 0 212215 0
vsize: 848924
[startup+440.05 s]
Raw data (loadavg): 1.00 1.00 0.74 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 40755 59 0 0 25 0 11 0 419029985 869298176 33674 4294967295 134512640 134569956 3221224416 3221214688 1131227481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 33674 13073 16 0 212215 0
vsize: 848924
[startup+450.05 s]
Raw data (loadavg): 1.00 1.00 0.74 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 41693 59 0 0 25 0 11 0 419029985 869298176 33735 4294967295 134512640 134569956 3221224416 3221214440 1131670313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 33735 13073 16 0 212215 0
vsize: 848924
[startup+460.05 s]
Raw data (loadavg): 1.00 1.00 0.74 2/64 29471
Raw data (stat): 29454 (java) S 29453 29151 29150 0 -1 0 18088 3 1 0 42618 60 0 0 25 0 11 0 419029985 869298176 33906 4294967295 134512640 134569956 3221224416 3221213400 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 33906 13073 16 0 212215 0
vsize: 848924
[startup+470.051 s]
Raw data (loadavg): 1.00 1.00 0.74 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 43577 60 0 0 25 0 11 0 419029985 869298176 34203 4294967295 134512640 134569956 3221224416 3221214688 1131227084 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 34203 13073 16 0 212215 0
vsize: 848924
[startup+480.051 s]
Raw data (loadavg): 1.00 1.00 0.74 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 44541 60 0 0 25 0 11 0 419029985 869298176 34478 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 34478 13073 16 0 212215 0
vsize: 848924
[startup+490.052 s]
Raw data (loadavg): 1.00 1.00 0.75 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 45494 61 0 0 25 0 11 0 419029985 869298176 34529 4294967295 134512640 134569956 3221224416 3221214704 1131647296 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 34529 13073 16 0 212215 0
vsize: 848924
[startup+500.053 s]
Raw data (loadavg): 1.00 1.00 0.75 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 46439 61 0 0 25 0 11 0 419029985 869298176 34533 4294967295 134512640 134569956 3221224416 3221214688 1131228322 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 34533 13073 16 0 212215 0
vsize: 848924
[startup+510.054 s]
Raw data (loadavg): 1.00 1.00 0.75 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 47360 61 0 0 25 0 11 0 419029985 869298176 34706 4294967295 134512640 134569956 3221224416 3221214756 1080204298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 34706 13073 16 0 212215 0
vsize: 848924
[startup+520.054 s]
Raw data (loadavg): 1.00 1.00 0.75 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 48294 61 0 0 25 0 11 0 419029985 869298176 34858 4294967295 134512640 134569956 3221224416 3221214784 1131319673 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 34858 13073 16 0 212215 0
vsize: 848924
[startup+530.055 s]
Raw data (loadavg): 1.00 1.00 0.75 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 49219 62 0 0 25 0 11 0 419029985 869298176 34918 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 34918 13073 16 0 212215 0
vsize: 848924
[startup+540.055 s]
Raw data (loadavg): 1.00 1.00 0.75 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 50153 62 0 0 25 0 11 0 419029985 869298176 35261 4294967295 134512640 134569956 3221224416 3221214472 1085679429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212231 35261 13073 16 0 212215 0
vsize: 848924
[startup+550.057 s]
Raw data (loadavg): 1.00 1.00 0.76 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 51101 62 0 0 25 0 11 0 419029985 869298176 35525 4294967295 134512640 134569956 3221224416 3221214704 1131647395 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212231 35525 13073 16 0 212215 0
vsize: 848924
[startup+560.057 s]
Raw data (loadavg): 1.00 1.00 0.76 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 52058 63 0 0 25 0 11 0 419029985 869298176 35680 4294967295 134512640 134569956 3221224416 3221214600 1131299560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 35680 13073 16 0 212215 0
vsize: 848924
[startup+570.058 s]
Raw data (loadavg): 1.00 1.00 0.76 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 53024 63 0 0 25 0 11 0 419029985 869298176 35790 4294967295 134512640 134569956 3221224416 3221214600 1131299560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 35790 13073 16 0 212215 0
vsize: 848924
[startup+580.059 s]
Raw data (loadavg): 1.00 1.00 0.76 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 53987 63 0 0 25 0 11 0 419029985 869298176 35861 4294967295 134512640 134569956 3221224416 3221214688 1131227645 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 35861 13073 16 0 212215 0
vsize: 848924
[startup+590.065 s]
Raw data (loadavg): 1.00 1.00 0.76 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 54951 63 0 0 25 0 11 0 419029985 869298176 35941 4294967295 134512640 134569956 3221224416 3221214600 1131607154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 35941 13073 16 0 212215 0
vsize: 848924
[startup+600.065 s]
Raw data (loadavg): 1.00 1.00 0.77 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 55915 64 0 0 25 0 11 0 419029985 869298176 36047 4294967295 134512640 134569956 3221224416 3221214704 1131647391 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36047 13073 16 0 212215 0
vsize: 848924
[startup+610.067 s]
Raw data (loadavg): 1.00 1.00 0.77 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18088 3 1 0 56879 64 0 0 25 0 11 0 419029985 869298176 36100 4294967295 134512640 134569956 3221224416 3221214592 1131299699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36100 13073 16 0 212215 0
vsize: 848924
[startup+620.067 s]
Raw data (loadavg): 1.00 1.00 0.77 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 57850 64 0 0 25 0 11 0 419029985 869298176 36178 4294967295 134512640 134569956 3221224416 3221214784 1131319772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36178 13073 16 0 212215 0
vsize: 848924
[startup+630.067 s]
Raw data (loadavg): 1.00 1.00 0.77 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 58812 64 0 0 24 0 11 0 419029985 869298176 36239 4294967295 134512640 134569956 3221224416 3221214600 1131299627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36239 13073 16 0 212215 0
vsize: 848924
[startup+640.069 s]
Raw data (loadavg): 1.00 1.00 0.77 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 59775 65 0 0 25 0 11 0 419029985 869298176 36334 4294967295 134512640 134569956 3221224416 3221214784 1131320656 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36334 13073 16 0 212215 0
vsize: 848924
[startup+650.069 s]
Raw data (loadavg): 1.00 1.00 0.78 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 60736 65 0 0 25 0 11 0 419029985 869298176 36386 4294967295 134512640 134569956 3221224416 3221214688 1131227069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36386 13073 16 0 212215 0
vsize: 848924
[startup+660.069 s]
Raw data (loadavg): 1.00 1.00 0.78 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 61690 65 0 0 24 0 11 0 419029985 869298176 36471 4294967295 134512640 134569956 3221224416 3221214704 1131647276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36471 13073 16 0 212215 0
vsize: 848924
[startup+670.069 s]
Raw data (loadavg): 1.00 1.00 0.78 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 62649 65 0 0 25 0 11 0 419029985 869298176 36587 4294967295 134512640 134569956 3221224416 3221214600 1131299699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36587 13073 16 0 212215 0
vsize: 848924
[startup+680.07 s]
Raw data (loadavg): 1.00 1.00 0.78 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 63623 66 0 0 25 0 11 0 419029985 869298176 36670 4294967295 134512640 134569956 3221224416 3221214784 1131319704 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36670 13073 16 0 212215 0
vsize: 848924
[startup+690.071 s]
Raw data (loadavg): 1.00 1.00 0.78 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 64602 66 0 0 25 0 11 0 419029985 869298176 36749 4294967295 134512640 134569956 3221224416 3221214784 1131319537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36749 13073 16 0 212215 0
vsize: 848924
[startup+700.072 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 65572 66 0 0 25 0 11 0 419029985 869298176 36783 4294967295 134512640 134569956 3221224416 3221214784 1131320748 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36783 13073 16 0 212215 0
vsize: 848924
[startup+710.072 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 66534 67 0 0 25 0 11 0 419029985 869298176 36850 4294967295 134512640 134569956 3221224416 3221214784 1131319776 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36850 13073 16 0 212215 0
vsize: 848924
[startup+720.072 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 67504 67 0 0 25 0 11 0 419029985 869298176 36920 4294967295 134512640 134569956 3221224416 3221214584 1131299699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36920 13073 16 0 212215 0
vsize: 848924
[startup+730.073 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 68460 67 0 0 25 0 11 0 419029985 869298176 36942 4294967295 134512640 134569956 3221224416 3221214656 1131441498 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 36942 13073 16 0 212215 0
vsize: 848924
[startup+740.074 s]
Raw data (loadavg): 1.00 1.00 0.79 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 69410 67 0 0 25 0 11 0 419029985 869298176 37107 4294967295 134512640 134569956 3221224416 3221214412 1085679260 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 37107 13073 16 0 212215 0
vsize: 848924
[startup+750.074 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 70361 68 0 0 25 0 11 0 419029985 869298176 37117 4294967295 134512640 134569956 3221224416 3221214264 1131668520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 37117 13073 16 0 212215 0
vsize: 848924
[startup+760.075 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 71320 68 0 0 25 0 11 0 419029985 869298176 37122 4294967295 134512640 134569956 3221224416 3221214784 1131319910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 37122 13073 16 0 212215 0
vsize: 848924
[startup+770.075 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 72256 68 0 0 25 0 11 0 419029985 869298176 37181 4294967295 134512640 134569956 3221224416 3221214784 1131321652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 37181 13073 16 0 212215 0
vsize: 848924
[startup+780.076 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 73188 69 0 0 25 0 11 0 419029985 869298176 37417 4294967295 134512640 134569956 3221224416 3221214784 1131319772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 37417 13073 16 0 212215 0
vsize: 848924
[startup+790.077 s]
Raw data (loadavg): 1.00 1.00 0.80 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 74123 69 0 0 25 0 11 0 419029985 869298176 37684 4294967295 134512640 134569956 3221224416 3221214600 1131299560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 37684 13073 16 0 212215 0
vsize: 848924
[startup+800.079 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 75080 69 0 0 25 0 11 0 419029985 869298176 37730 4294967295 134512640 134569956 3221224416 3221214784 1131319521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 37730 13073 16 0 212215 0
vsize: 848924
[startup+810.079 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 76029 69 0 0 25 0 11 0 419029985 869298176 37920 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 37920 13073 16 0 212215 0
vsize: 848924
[startup+820.08 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 29471
Raw data (stat): 29454 (java) S 29453 29151 29150 0 -1 0 18089 3 1 0 76959 70 0 0 25 0 11 0 419029985 869298176 38223 4294967295 134512640 134569956 3221224416 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 38223 13073 16 0 212215 0
vsize: 848924
[startup+830.08 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 77889 70 0 0 25 0 11 0 419029985 869298176 38303 4294967295 134512640 134569956 3221224416 3221214380 1131670436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 38303 13073 16 0 212215 0
vsize: 848924
[startup+840.081 s]
Raw data (loadavg): 1.00 1.00 0.81 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 78822 71 0 0 25 0 11 0 419029985 869298176 38430 4294967295 134512640 134569956 3221224416 3221214480 1131664098 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 38430 13073 16 0 212215 0
vsize: 848924
[startup+850.083 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 79748 71 0 0 25 0 11 0 419029985 869298176 38589 4294967295 134512640 134569956 3221224416 3221214784 1131320812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 38589 13073 16 0 212215 0
vsize: 848924
[startup+860.083 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 80676 71 0 0 25 0 11 0 419029985 869298176 38721 4294967295 134512640 134569956 3221224416 3221214608 1131670250 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 38721 13073 16 0 212215 0
vsize: 848924
[startup+870.083 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 81632 71 0 0 25 0 11 0 419029985 869298176 39112 4294967295 134512640 134569956 3221224416 3221214688 1131227481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 39112 13073 16 0 212215 0
vsize: 848924
[startup+880.084 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 82580 72 0 0 25 0 11 0 419029985 869298176 39231 4294967295 134512640 134569956 3221224416 3221214600 1131607522 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 39231 13073 16 0 212215 0
vsize: 848924
[startup+890.085 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 83547 72 0 0 25 0 11 0 419029985 869298176 39399 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212231 39399 13073 16 0 212215 0
vsize: 848924
[startup+900.086 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 84512 72 0 0 25 0 11 0 419029985 869298176 39485 4294967295 134512640 134569956 3221224416 3221214608 1131227137 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 39485 13073 16 0 212215 0
vsize: 848924
[startup+910.087 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 85484 72 0 0 25 0 11 0 419029985 869298176 39528 4294967295 134512640 134569956 3221224416 3221214008 1131662304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 39528 13073 16 0 212215 0
vsize: 848924
[startup+920.087 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 86454 73 0 0 25 0 11 0 419029985 869298176 39594 4294967295 134512640 134569956 3221224416 3221214784 1131319537 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 39594 13073 16 0 212215 0
vsize: 848924
[startup+930.088 s]
Raw data (loadavg): 1.00 1.00 0.82 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 87430 73 0 0 24 0 11 0 419029985 869298176 39640 4294967295 134512640 134569956 3221224416 3221214656 1131444762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 39640 13073 16 0 212215 0
vsize: 848924
[startup+940.088 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 88399 73 0 0 25 0 11 0 419029985 869298176 39663 4294967295 134512640 134569956 3221224416 3221214688 1131227711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 39663 13073 16 0 212215 0
vsize: 848924
[startup+950.09 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 89349 73 0 0 25 0 11 0 419029985 869298176 39726 4294967295 134512640 134569956 3221224416 3221214192 1085679290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 39726 13073 16 0 212215 0
vsize: 848924
[startup+960.09 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 90296 73 0 0 25 0 11 0 419029985 869298176 39860 4294967295 134512640 134569956 3221224416 3221214688 1131227434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 39860 13073 16 0 212215 0
vsize: 848924
[startup+970.09 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 91235 74 0 0 25 0 11 0 419029985 869298176 40035 4294967295 134512640 134569956 3221224416 3221214784 1131320573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 40035 13073 16 0 212215 0
vsize: 848924
[startup+980.091 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 92183 74 0 0 25 0 11 0 419029985 869298176 40096 4294967295 134512640 134569956 3221224416 3221214536 1131462497 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 40096 13073 16 0 212215 0
vsize: 848924
[startup+990.092 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 93128 75 0 0 25 0 11 0 419029985 869298176 40257 4294967295 134512640 134569956 3221224416 3221214688 1131228132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 40257 13073 16 0 212215 0
vsize: 848924
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 94077 75 0 0 25 0 11 0 419029985 869298176 40394 4294967295 134512640 134569956 3221224416 3221214688 1131227481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 40394 13073 16 0 212215 0
vsize: 848924
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 95037 76 0 0 25 0 11 0 419029985 869298176 40548 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 40548 13073 16 0 212215 0
vsize: 848924
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 29471
Raw data (stat): 29454 (java) S 29453 29151 29150 0 -1 0 18089 3 1 0 96002 76 0 0 25 0 11 0 419029985 869298176 40660 4294967295 134512640 134569956 3221224416 3221213336 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 40660 13073 16 0 212215 0
vsize: 848924
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.00 0.83 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 96967 76 0 0 25 0 11 0 419029985 869298176 40766 4294967295 134512640 134569956 3221224416 3221214784 1131328740 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 40766 13073 16 0 212215 0
vsize: 848924
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 97936 76 0 0 25 0 11 0 419029985 869298176 40808 4294967295 134512640 134569956 3221224416 3221214592 1131299671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 40808 13073 16 0 212215 0
vsize: 848924
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 98902 77 0 0 25 0 11 0 419029985 869298176 40859 4294967295 134512640 134569956 3221224416 3221214784 1131328783 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 40859 13073 16 0 212215 0
vsize: 848924
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 99864 77 0 0 25 0 11 0 419029985 869298176 40936 4294967295 134512640 134569956 3221224416 3221214600 1131299699 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 40936 13073 16 0 212215 0
vsize: 848924
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 100839 77 0 0 25 0 11 0 419029985 869298176 40986 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 40986 13073 16 0 212215 0
vsize: 848924
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 101815 78 0 0 25 0 11 0 419029985 869298176 41051 4294967295 134512640 134569956 3221224416 3221214688 1131228037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41051 13073 16 0 212215 0
vsize: 848924
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 102790 78 0 0 25 0 11 0 419029985 869298176 41108 4294967295 134512640 134569956 3221224416 3221214688 1131227434 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41108 13073 16 0 212215 0
vsize: 848924
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 103760 78 0 0 25 0 11 0 419029985 869298176 41190 4294967295 134512640 134569956 3221224416 3221214688 1131228132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41190 13073 16 0 212215 0
vsize: 848924
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 104736 79 0 0 25 0 11 0 419029985 869298176 41259 4294967295 134512640 134569956 3221224416 3221214784 1131319700 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41259 13073 16 0 212215 0
vsize: 848924
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 105720 79 0 0 25 0 11 0 419029985 869298176 41297 4294967295 134512640 134569956 3221224416 3221214784 1131319521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212231 41297 13073 16 0 212215 0
vsize: 848924
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.84 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 106700 79 0 0 25 0 11 0 419029985 869298176 41309 4294967295 134512640 134569956 3221224416 3221214308 1131670208 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41309 13073 16 0 212215 0
vsize: 848924
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 107686 79 0 0 25 0 11 0 419029985 869298176 41316 4294967295 134512640 134569956 3221224416 3221214784 1131320815 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41316 13073 16 0 212215 0
vsize: 848924
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 108676 80 0 0 25 0 11 0 419029985 869298176 41317 4294967295 134512640 134569956 3221224416 3221214280 1131662276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41317 13073 16 0 212215 0
vsize: 848924
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 109644 80 0 0 25 0 11 0 419029985 869298176 41322 4294967295 134512640 134569956 3221224416 3221214688 1131228112 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41322 13073 16 0 212215 0
vsize: 848924
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 110607 80 0 0 25 0 11 0 419029985 869298176 41404 4294967295 134512640 134569956 3221224416 3221214688 1131227481 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41404 13073 16 0 212215 0
vsize: 848924
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 111575 80 0 0 25 0 11 0 419029985 869298176 41410 4294967295 134512640 134569956 3221224416 3221214768 1131383952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41410 13073 16 0 212215 0
vsize: 848924
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.85 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 112546 81 0 0 25 0 11 0 419029985 869298176 41451 4294967295 134512640 134569956 3221224416 3221214436 1131670436 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41451 13073 16 0 212215 0
vsize: 848924
[startup+1200.11 s]
Raw data (loadavg): 1.08 1.02 0.86 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 113494 81 0 0 25 0 11 0 419029985 869298176 41588 4294967295 134512640 134569956 3221224416 3221214784 1131319707 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41588 13073 16 0 212215 0
vsize: 848924
[startup+1210.11 s]
Raw data (loadavg): 1.07 1.02 0.86 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 114441 81 0 0 25 0 11 0 419029985 869298176 41679 4294967295 134512640 134569956 3221224416 3221214592 1131300037 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41679 13073 16 0 212215 0
vsize: 848924
[startup+1220.11 s]
Raw data (loadavg): 1.06 1.01 0.86 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 115388 82 0 0 24 0 11 0 419029985 869298176 41831 4294967295 134512640 134569956 3221224416 3221214784 1131319507 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41831 13073 16 0 212215 0
vsize: 848924
[startup+1230.11 s]
Raw data (loadavg): 1.05 1.01 0.86 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 116343 82 0 0 24 0 11 0 419029985 869298176 41973 4294967295 134512640 134569956 3221224416 3221214600 1131299560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 41973 13073 16 0 212215 0
vsize: 848924
[startup+1240.11 s]
Raw data (loadavg): 1.04 1.01 0.86 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 117300 82 0 0 25 0 11 0 419029985 869298176 42101 4294967295 134512640 134569956 3221224416 3221214592 1131299671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 42101 13073 16 0 212215 0
vsize: 848924
[startup+1250.11 s]
Raw data (loadavg): 1.03 1.01 0.86 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 118261 83 0 0 25 0 11 0 419029985 869298176 42183 4294967295 134512640 134569956 3221224416 3221214624 1131619861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 42183 13073 16 0 212215 0
vsize: 848924
[startup+1260.11 s]
Raw data (loadavg): 1.03 1.01 0.86 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 119223 83 0 0 24 0 11 0 419029985 869298176 42247 4294967295 134512640 134569956 3221224416 3221214784 1131320768 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 42247 13073 16 0 212215 0
vsize: 848924
[startup+1270.11 s]
Raw data (loadavg): 1.02 1.01 0.86 2/64 29471
Raw data (stat): 29454 (java) R 29453 29151 29150 0 -1 0 18089 3 1 0 120184 83 0 0 25 0 11 0 419029985 869298176 42355 4294967295 134512640 134569956 3221224416 3221214688 1131227530 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212231 42355 13073 16 0 212215 0
vsize: 848924
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1270.25 s]
Raw data (loadavg): 1.02 1.01 0.86 1/54 29473
Raw data (stat): 29454 (java) Z 29453 29151 29150 0 -1 1036 18089 30328 1 1 120188 91 7879 76 24 0 1 0 419029985 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): 1270.25
CPU time (s): 1282.37
CPU user time (s): 1280.68
CPU system time (s): 1.68774
CPU usage (%): 100.954
Max. virtual memory (Kb): 849468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####