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/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc07.opb
MD5SUM9cc94d1db4d494288ef67a8d5ad5d77e
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1408128
Optimality of the best value was proved NO
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 1048576
Number of bits of the biggest number in a constraint 21
Biggest sum of numbers in a constraint 11486079
Number of bits of the biggest sum of numbers24
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1189.01
Number of variables280
Total number of constraints471
Number of constraints which are clauses127
Number of constraints which are cardinality constraints (but not clauses)272
Number of constraints which are nor clauses,nor cardinality constraints72
Minimum length of a constraint1
Maximum length of a constraint253

Trace number 15653

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        241904 kB
Buffers:         38516 kB
Cached:         713292 kB
SwapCached:          0 kB
Active:         267864 kB
Inactive:       486908 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        241652 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6964 kB
Slab:            32324 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 05:45:06 (client local time) WITH STATUS 143 IN 1235.44 SECONDS
stats: 17013 7 1235.44 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-misc07.opb
c reading problem 
c [nbvar=280]
c [nbconstr=471]
c time 2.386
c #vars     280
c #clauses  247
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=1630208
c Current CPU time (ms) : 17.822
c starts	: 2
c conflicts	: 108
c decisions	: 749
c propagations	: 3425
c inspects	: 20806
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=1616128
c Current CPU time (ms) : 19.436
c starts	: 3
c conflicts	: 123
c decisions	: 889
c propagations	: 3950
c inspects	: 26783
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 123
c root simplifications	: 4
c 
c CURRENT OPTIMUM=1518848
c Current CPU time (ms) : 20.155
c starts	: 4
c conflicts	: 125
c decisions	: 979
c propagations	: 4328
c inspects	: 30075
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 125
c root simplifications	: 5
c 
c CURRENT OPTIMUM=1502208
c Current CPU time (ms) : 55.202
c starts	: 6
c conflicts	: 247
c decisions	: 1480
c propagations	: 7490
c inspects	: 99511
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 247
c root simplifications	: 8
c 
c CURRENT OPTIMUM=1458048
c Current CPU time (ms) : 109.09
c starts	: 8
c conflicts	: 350
c decisions	: 1793
c propagations	: 10080
c inspects	: 193301
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 350
c root simplifications	: 10
c 
c CURRENT OPTIMUM=1454848
c Current CPU time (ms) : 253.915
c starts	: 11
c conflicts	: 610
c decisions	: 2587
c propagations	: 15962
c inspects	: 465627
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 610
c root simplifications	: 13
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.98 0.93 2/54 23956
Raw data (stat): 23956 (runsolver) R 23955 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 542541480 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 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.0011 s]
Raw data (loadavg): 1.09 1.02 0.94 3/64 23966
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18085 0 1 0 579 41 0 0 25 0 11 0 542541480 870227968 22480 4294967295 134512640 134569956 3221224400 3221214512 1131329921 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212458 22480 13073 16 0 212442 0
vsize: 849832
[startup+20.002 s]
Raw data (loadavg): 1.15 1.03 0.94 2/64 23967
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 1476 41 0 0 25 0 11 0 542541480 868950016 22813 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212146 22813 13073 16 0 212130 0
vsize: 848584
[startup+30.0023 s]
Raw data (loadavg): 1.13 1.03 0.94 2/64 23969
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 2424 41 0 0 25 0 11 0 542541480 865976320 22354 4294967295 134512640 134569956 3221224400 3221214848 1131175392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 22354 13073 16 0 211404 0
vsize: 845680
[startup+40.0029 s]
Raw data (loadavg): 1.11 1.03 0.94 2/64 23969
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 3365 42 0 0 25 0 11 0 542541480 865976320 22584 4294967295 134512640 134569956 3221224400 3221214800 1131209777 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 22584 13073 16 0 211404 0
vsize: 845680
[startup+50.0031 s]
Raw data (loadavg): 1.16 1.04 0.95 2/64 23969
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 4315 42 0 0 25 0 11 0 542541480 865976320 22937 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 22937 13073 16 0 211404 0
vsize: 845680
[startup+60.0034 s]
Raw data (loadavg): 1.14 1.04 0.95 2/64 23970
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 5275 42 0 0 25 0 11 0 542541480 865976320 23055 4294967295 134512640 134569956 3221224400 3221214896 1131270963 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 23055 13073 16 0 211404 0
vsize: 845680
[startup+70.0042 s]
Raw data (loadavg): 1.12 1.04 0.95 2/64 23970
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 6236 43 0 0 25 0 11 0 542541480 865976320 23175 4294967295 134512640 134569956 3221224400 3221214848 1131175360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23175 13073 16 0 211404 0
vsize: 845680
[startup+80.0052 s]
Raw data (loadavg): 1.10 1.04 0.95 2/64 23970
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 7206 43 0 0 25 0 11 0 542541480 865976320 23279 4294967295 134512640 134569956 3221224400 3221214648 1131694189 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 23279 13073 16 0 211404 0
vsize: 845680
[startup+90.0054 s]
Raw data (loadavg): 1.08 1.04 0.95 2/64 23970
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 8178 43 0 0 25 0 11 0 542541480 865976320 23376 4294967295 134512640 134569956 3221224400 3221214552 1131232423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 23376 13073 16 0 211404 0
vsize: 845680
[startup+100.005 s]
Raw data (loadavg): 1.07 1.03 0.95 2/64 23970
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 9152 43 0 0 25 0 11 0 542541480 865976320 23477 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 23477 13073 16 0 211404 0
vsize: 845680
[startup+110.006 s]
Raw data (loadavg): 1.06 1.03 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 10124 44 0 0 25 0 11 0 542541480 865976320 23562 4294967295 134512640 134569956 3221224400 3221214800 1131209441 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23562 13073 16 0 211404 0
vsize: 845680
[startup+120.007 s]
Raw data (loadavg): 1.05 1.03 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 11100 44 0 0 25 0 11 0 542541480 865976320 23629 4294967295 134512640 134569956 3221224400 3221214896 1131270427 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23629 13073 16 0 211404 0
vsize: 845680
[startup+130.006 s]
Raw data (loadavg): 1.04 1.03 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 12073 44 0 0 25 0 11 0 542541480 865976320 23724 4294967295 134512640 134569956 3221224400 3221214652 1080203744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23724 13073 16 0 211404 0
vsize: 845680
[startup+140.007 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 13046 44 0 0 25 0 11 0 542541480 865976320 23805 4294967295 134512640 134569956 3221224400 3221214536 1131505352 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23805 13073 16 0 211404 0
vsize: 845680
[startup+150.008 s]
Raw data (loadavg): 1.03 1.03 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 14015 44 0 0 24 0 11 0 542541480 865976320 23912 4294967295 134512640 134569956 3221224400 3221214848 1131175388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 23912 13073 16 0 211404 0
vsize: 845680
[startup+160.008 s]
Raw data (loadavg): 1.02 1.03 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 14986 44 0 0 25 0 11 0 542541480 865976320 24011 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24011 13073 16 0 211404 0
vsize: 845680
[startup+170.008 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 15959 44 0 0 25 0 11 0 542541480 865976320 24098 4294967295 134512640 134569956 3221224400 3221214848 1131175514 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24098 13073 16 0 211404 0
vsize: 845680
[startup+180.008 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 16932 44 0 0 25 0 11 0 542541480 865976320 24178 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24178 13073 16 0 211404 0
vsize: 845680
[startup+190.008 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 17899 44 0 0 25 0 11 0 542541480 865976320 24268 4294967295 134512640 134569956 3221224400 3221214800 1131209810 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24268 13073 16 0 211404 0
vsize: 845680
[startup+200.008 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 18869 44 0 0 25 0 11 0 542541480 865976320 24329 4294967295 134512640 134569956 3221224400 3221214800 1131209725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24329 13073 16 0 211404 0
vsize: 845680
[startup+210.009 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 19838 44 0 0 25 0 11 0 542541480 865976320 24438 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24438 13073 16 0 211404 0
vsize: 845680
[startup+220.01 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 20809 44 0 0 25 0 11 0 542541480 865976320 24534 4294967295 134512640 134569956 3221224400 3221214848 1131175365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 24534 13073 16 0 211404 0
vsize: 845680
[startup+230.009 s]
Raw data (loadavg): 1.01 1.02 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 21782 44 0 0 25 0 11 0 542541480 865976320 24616 4294967295 134512640 134569956 3221224400 3221214848 1131175377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24616 13073 16 0 211404 0
vsize: 845680
[startup+240.01 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 22752 44 0 0 25 0 11 0 542541480 865976320 24710 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24710 13073 16 0 211404 0
vsize: 845680
[startup+250.009 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 23971
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 23724 44 0 0 25 0 11 0 542541480 865976320 24808 4294967295 134512640 134569956 3221224400 3221214896 1131269973 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24808 13073 16 0 211404 0
vsize: 845680
[startup+260.01 s]
Raw data (loadavg): 1.00 1.02 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 24698 44 0 0 25 0 11 0 542541480 865976320 24885 4294967295 134512640 134569956 3221224400 3221214800 1131209895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24885 13073 16 0 211404 0
vsize: 845680
[startup+270.011 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18087 4 1 0 25669 44 0 0 25 0 11 0 542541480 865976320 24996 4294967295 134512640 134569956 3221224400 3221214800 1131209727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 24996 13073 16 0 211404 0
vsize: 845680
[startup+280.011 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 26643 44 0 0 25 0 11 0 542541480 865976320 25078 4294967295 134512640 134569956 3221224400 3221214568 1131377732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25078 13073 16 0 211404 0
vsize: 845680
[startup+290.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 27614 45 0 0 24 0 11 0 542541480 865976320 25174 4294967295 134512640 134569956 3221224400 3221214896 1131270149 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25174 13073 16 0 211404 0
vsize: 845680
[startup+300.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 28588 45 0 0 25 0 11 0 542541480 865976320 25262 4294967295 134512640 134569956 3221224400 3221214848 1131175360 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25262 13073 16 0 211404 0
vsize: 845680
[startup+310.012 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 29563 45 0 0 25 0 11 0 542541480 865976320 25366 4294967295 134512640 134569956 3221224400 3221214848 1131175440 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25366 13073 16 0 211404 0
vsize: 845680
[startup+320.014 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 30538 45 0 0 25 0 11 0 542541480 865976320 25428 4294967295 134512640 134569956 3221224400 3221214800 1131209727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25428 13073 16 0 211404 0
vsize: 845680
[startup+330.013 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 31511 45 0 0 25 0 11 0 542541480 865976320 25485 4294967295 134512640 134569956 3221224400 3221214848 1131175357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25485 13073 16 0 211404 0
vsize: 845680
[startup+340.014 s]
Raw data (loadavg): 1.08 1.02 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 32485 45 0 0 25 0 11 0 542541480 865976320 25536 4294967295 134512640 134569956 3221224400 3221214344 1085679305 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25536 13073 16 0 211404 0
vsize: 845680
[startup+350.014 s]
Raw data (loadavg): 1.07 1.02 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 33453 45 0 0 24 0 11 0 542541480 865976320 25647 4294967295 134512640 134569956 3221224400 3221214800 1131209715 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25647 13073 16 0 211404 0
vsize: 845680
[startup+360.015 s]
Raw data (loadavg): 1.06 1.02 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 34426 45 0 0 25 0 11 0 542541480 865976320 25731 4294967295 134512640 134569956 3221224400 3221214848 1131175377 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25731 13073 16 0 211404 0
vsize: 845680
[startup+370.015 s]
Raw data (loadavg): 1.05 1.02 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 35399 45 0 0 25 0 11 0 542541480 865976320 25816 4294967295 134512640 134569956 3221224400 3221214800 1131210275 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211420 25816 13073 16 0 211404 0
vsize: 845680
[startup+380.016 s]
Raw data (loadavg): 1.04 1.02 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 36374 45 0 0 25 0 11 0 542541480 865976320 25897 4294967295 134512640 134569956 3221224400 3221214848 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 25897 13073 16 0 211404 0
vsize: 845680
[startup+390.016 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 37349 45 0 0 25 0 11 0 542541480 865976320 25964 4294967295 134512640 134569956 3221224400 3221214800 1131210589 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 25964 13073 16 0 211404 0
vsize: 845680
[startup+400.017 s]
Raw data (loadavg): 1.03 1.02 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 38321 45 0 0 25 0 11 0 542541480 865976320 26034 4294967295 134512640 134569956 3221224400 3221214800 1131209476 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26034 13073 16 0 211404 0
vsize: 845680
[startup+410.018 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 39296 46 0 0 25 0 11 0 542541480 865976320 26119 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26119 13073 16 0 211404 0
vsize: 845680
[startup+420.018 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 40271 46 0 0 25 0 11 0 542541480 865976320 26189 4294967295 134512640 134569956 3221224400 3221214800 1131209713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26189 13073 16 0 211404 0
vsize: 845680
[startup+430.018 s]
Raw data (loadavg): 1.02 1.02 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 41243 46 0 0 25 0 11 0 542541480 865976320 26242 4294967295 134512640 134569956 3221224400 3221214600 1131328455 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26242 13073 16 0 211404 0
vsize: 845680
[startup+440.019 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 42219 46 0 0 25 0 11 0 542541480 865976320 26332 4294967295 134512640 134569956 3221224400 3221214800 1131210598 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26332 13073 16 0 211404 0
vsize: 845680
[startup+450.019 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 43195 46 0 0 25 0 11 0 542541480 865976320 26406 4294967295 134512640 134569956 3221224400 3221214848 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26406 13073 16 0 211404 0
vsize: 845680
[startup+460.02 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 44169 47 0 0 25 0 11 0 542541480 865976320 26487 4294967295 134512640 134569956 3221224400 3221214800 1131209725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26487 13073 16 0 211404 0
vsize: 845680
[startup+470.021 s]
Raw data (loadavg): 1.01 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) S 23955 22612 22611 0 -1 0 18088 4 1 0 45145 47 0 0 25 0 11 0 542541480 865976320 26530 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26530 13073 16 0 211404 0
vsize: 845680
[startup+480.021 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 46117 47 0 0 25 0 11 0 542541480 865976320 26598 4294967295 134512640 134569956 3221224400 3221214536 1131506437 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26598 13073 16 0 211404 0
vsize: 845680
[startup+490.022 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 47093 47 0 0 25 0 11 0 542541480 865976320 26676 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26676 13073 16 0 211404 0
vsize: 845680
[startup+500.022 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 48067 48 0 0 25 0 11 0 542541480 865976320 26754 4294967295 134512640 134569956 3221224400 3221214800 1131210695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26754 13073 16 0 211404 0
vsize: 845680
[startup+510.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 49044 48 0 0 25 0 11 0 542541480 865976320 26826 4294967295 134512640 134569956 3221224400 3221214800 1131210304 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26826 13073 16 0 211404 0
vsize: 845680
[startup+520.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 50017 48 0 0 24 0 11 0 542541480 865976320 26880 4294967295 134512640 134569956 3221224400 3221214800 1131209816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26880 13073 16 0 211404 0
vsize: 845680
[startup+530.023 s]
Raw data (loadavg): 1.00 1.01 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 50994 49 0 0 25 0 11 0 542541480 865976320 26959 4294967295 134512640 134569956 3221224400 3221214832 1131306423 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 26959 13073 16 0 211404 0
vsize: 845680
[startup+540.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 51972 49 0 0 25 0 11 0 542541480 865976320 27022 4294967295 134512640 134569956 3221224400 3221214800 1131210562 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27022 13073 16 0 211404 0
vsize: 845680
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 52949 49 0 0 25 0 11 0 542541480 865976320 27084 4294967295 134512640 134569956 3221224400 3221214800 1131210286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27084 13073 16 0 211404 0
vsize: 845680
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 53925 50 0 0 25 0 11 0 542541480 865976320 27144 4294967295 134512640 134569956 3221224400 3221214896 1131270966 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27144 13073 16 0 211404 0
vsize: 845680
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 54904 50 0 0 25 0 11 0 542541480 865976320 27218 4294967295 134512640 134569956 3221224400 3221214848 1131175384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27218 13073 16 0 211404 0
vsize: 845680
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 55883 50 0 0 25 0 11 0 542541480 865976320 27260 4294967295 134512640 134569956 3221224400 3221214848 1131175384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27260 13073 16 0 211404 0
vsize: 845680
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 56855 50 0 0 24 0 11 0 542541480 865976320 27308 4294967295 134512640 134569956 3221224400 3221214800 1131209405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27308 13073 16 0 211404 0
vsize: 845680
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 57829 50 0 0 25 0 11 0 542541480 865976320 27397 4294967295 134512640 134569956 3221224400 3221214800 1131209409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27397 13073 16 0 211404 0
vsize: 845680
[startup+610.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 58803 51 0 0 25 0 11 0 542541480 865976320 27507 4294967295 134512640 134569956 3221224400 3221214648 1131696101 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27507 13073 16 0 211404 0
vsize: 845680
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 59776 51 0 0 25 0 11 0 542541480 865976320 27590 4294967295 134512640 134569956 3221224400 3221214896 1131270729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27590 13073 16 0 211404 0
vsize: 845680
[startup+630.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 60753 51 0 0 25 0 11 0 542541480 865976320 27649 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27649 13073 16 0 211404 0
vsize: 845680
[startup+640.028 s]
Raw data (loadavg): 1.08 1.02 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 61728 52 0 0 25 0 11 0 542541480 865976320 27717 4294967295 134512640 134569956 3221224400 3221214832 1131306212 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27717 13073 16 0 211404 0
vsize: 845680
[startup+650.029 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 62702 52 0 0 24 0 11 0 542541480 865976320 27787 4294967295 134512640 134569956 3221224400 3221214848 1131175381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27787 13073 16 0 211404 0
vsize: 845680
[startup+660.03 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 63679 53 0 0 25 0 11 0 542541480 865976320 27857 4294967295 134512640 134569956 3221224400 3221214800 1131209409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27857 13073 16 0 211404 0
vsize: 845680
[startup+670.03 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 64656 53 0 0 25 0 11 0 542541480 865976320 27941 4294967295 134512640 134569956 3221224400 3221214800 1131209981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27941 13073 16 0 211404 0
vsize: 845680
[startup+680.03 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 65632 53 0 0 25 0 11 0 542541480 865976320 27996 4294967295 134512640 134569956 3221224400 3221214848 1131175384 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 27996 13073 16 0 211404 0
vsize: 845680
[startup+690.031 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 66607 54 0 0 25 0 11 0 542541480 865976320 28097 4294967295 134512640 134569956 3221224400 3221214800 1131209506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28097 13073 16 0 211404 0
vsize: 845680
[startup+700.031 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 67586 54 0 0 25 0 11 0 542541480 865976320 28169 4294967295 134512640 134569956 3221224400 3221214800 1131209777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28169 13073 16 0 211404 0
vsize: 845680
[startup+710.032 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 68564 54 0 0 25 0 11 0 542541480 865976320 28257 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28257 13073 16 0 211404 0
vsize: 845680
[startup+720.032 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 69541 54 0 0 24 0 11 0 542541480 865976320 28308 4294967295 134512640 134569956 3221224400 3221214800 1131209997 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28308 13073 16 0 211404 0
vsize: 845680
[startup+730.032 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 70519 55 0 0 25 0 11 0 542541480 865976320 28366 4294967295 134512640 134569956 3221224400 3221214896 1131269973 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28366 13073 16 0 211404 0
vsize: 845680
[startup+740.033 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 71494 55 0 0 24 0 11 0 542541480 865976320 28430 4294967295 134512640 134569956 3221224400 3221214800 1131209646 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28430 13073 16 0 211404 0
vsize: 845680
[startup+750.034 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 72473 56 0 0 25 0 11 0 542541480 865976320 28534 4294967295 134512640 134569956 3221224400 3221214800 1131209868 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28534 13073 16 0 211404 0
vsize: 845680
[startup+760.034 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 73452 56 0 0 25 0 11 0 542541480 865976320 28589 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28589 13073 16 0 211404 0
vsize: 845680
[startup+770.035 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 74430 56 0 0 25 0 11 0 542541480 865976320 28636 4294967295 134512640 134569956 3221224400 3221214848 1131420172 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28636 13073 16 0 211404 0
vsize: 845680
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 75409 56 0 0 25 0 11 0 542541480 865976320 28689 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28689 13073 16 0 211404 0
vsize: 845680
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 76387 57 0 0 25 0 11 0 542541480 865976320 28752 4294967295 134512640 134569956 3221224400 3221214800 1131209409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28752 13073 16 0 211404 0
vsize: 845680
[startup+800.036 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) S 23955 22612 22611 0 -1 0 18088 4 1 0 77365 57 0 0 25 0 11 0 542541480 865976320 28808 4294967295 134512640 134569956 3221224400 3221213544 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28808 13073 16 0 211404 0
vsize: 845680
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 78343 57 0 0 25 0 11 0 542541480 865976320 28865 4294967295 134512640 134569956 3221224400 3221214848 1131175381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28865 13073 16 0 211404 0
vsize: 845680
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 79322 58 0 0 25 0 11 0 542541480 865976320 28941 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28941 13073 16 0 211404 0
vsize: 845680
[startup+830.037 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 80299 58 0 0 25 0 11 0 542541480 865976320 28989 4294967295 134512640 134569956 3221224400 3221214800 1131210051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 28989 13073 16 0 211404 0
vsize: 845680
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 81279 58 0 0 25 0 11 0 542541480 865976320 29043 4294967295 134512640 134569956 3221224400 3221214800 1131210671 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29043 13073 16 0 211404 0
vsize: 845680
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 82260 59 0 0 25 0 11 0 542541480 865976320 29110 4294967295 134512640 134569956 3221224400 3221214640 1131536642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29110 13073 16 0 211404 0
vsize: 845680
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 83240 59 0 0 24 0 11 0 542541480 865976320 29145 4294967295 134512640 134569956 3221224400 3221214848 1131175357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29145 13073 16 0 211404 0
vsize: 845680
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 84221 59 0 0 25 0 11 0 542541480 865976320 29179 4294967295 134512640 134569956 3221224400 3221214800 1131209609 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29179 13073 16 0 211404 0
vsize: 845680
[startup+880.04 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 85197 59 0 0 24 0 11 0 542541480 865976320 29235 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29235 13073 16 0 211404 0
vsize: 845680
[startup+890.04 s]
Raw data (loadavg): 1.08 1.02 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 86175 59 0 0 25 0 11 0 542541480 865976320 29286 4294967295 134512640 134569956 3221224400 3221214800 1131210723 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29286 13073 16 0 211404 0
vsize: 845680
[startup+900.041 s]
Raw data (loadavg): 1.07 1.02 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 87153 60 0 0 25 0 11 0 542541480 865976320 29359 4294967295 134512640 134569956 3221224400 3221214848 1131175377 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29359 13073 16 0 211404 0
vsize: 845680
[startup+910.04 s]
Raw data (loadavg): 1.06 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 88129 60 0 0 25 0 11 0 542541480 865976320 29402 4294967295 134512640 134569956 3221224400 3221214848 1131175357 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29402 13073 16 0 211404 0
vsize: 845680
[startup+920.04 s]
Raw data (loadavg): 1.05 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 89109 60 0 0 25 0 11 0 542541480 865976320 29446 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29446 13073 16 0 211404 0
vsize: 845680
[startup+930.04 s]
Raw data (loadavg): 1.04 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 90088 61 0 0 25 0 11 0 542541480 865976320 29499 4294967295 134512640 134569956 3221224400 3221214800 1131209909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29499 13073 16 0 211404 0
vsize: 845680
[startup+940.041 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 91063 61 0 0 25 0 11 0 542541480 865976320 29562 4294967295 134512640 134569956 3221224400 3221214800 1131209856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29562 13073 16 0 211404 0
vsize: 845680
[startup+950.041 s]
Raw data (loadavg): 1.03 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 92038 61 0 0 25 0 11 0 542541480 865976320 29616 4294967295 134512640 134569956 3221224400 3221214892 1131175579 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29616 13073 16 0 211404 0
vsize: 845680
[startup+960.042 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 93016 61 0 0 25 0 11 0 542541480 865976320 29676 4294967295 134512640 134569956 3221224400 3221214464 1131530788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29676 13073 16 0 211404 0
vsize: 845680
[startup+970.042 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 93991 62 0 0 24 0 11 0 542541480 865976320 29750 4294967295 134512640 134569956 3221224400 3221214848 1131175360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29750 13073 16 0 211404 0
vsize: 845680
[startup+980.043 s]
Raw data (loadavg): 1.02 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 94970 62 0 0 25 0 11 0 542541480 865976320 29827 4294967295 134512640 134569956 3221224400 3221214800 1131209420 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29827 13073 16 0 211404 0
vsize: 845680
[startup+990.044 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 95948 62 0 0 25 0 11 0 542541480 865976320 29879 4294967295 134512640 134569956 3221224400 3221214552 1131232648 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29879 13073 16 0 211404 0
vsize: 845680
[startup+1000.04 s]
Raw data (loadavg): 1.01 1.01 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 96927 63 0 0 25 0 11 0 542541480 865976320 29925 4294967295 134512640 134569956 3221224400 3221214800 1131210057 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29925 13073 16 0 211404 0
vsize: 845680
[startup+1010.05 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 97906 63 0 0 25 0 11 0 542541480 865976320 29958 4294967295 134512640 134569956 3221224400 3221214896 1131270177 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 29958 13073 16 0 211404 0
vsize: 845680
[startup+1020.05 s]
Raw data (loadavg): 1.01 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 98884 63 0 0 25 0 11 0 542541480 865976320 30049 4294967295 134512640 134569956 3221224400 3221214800 1131209777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30049 13073 16 0 211404 0
vsize: 845680
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 99862 63 0 0 25 0 11 0 542541480 865976320 30099 4294967295 134512640 134569956 3221224400 3221214848 1131175510 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30099 13073 16 0 211404 0
vsize: 845680
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 100841 64 0 0 25 0 11 0 542541480 865976320 30144 4294967295 134512640 134569956 3221224400 3221214800 1131210685 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30144 13073 16 0 211404 0
vsize: 845680
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 101820 64 0 0 25 0 11 0 542541480 865976320 30194 4294967295 134512640 134569956 3221224400 3221214896 1131270448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30194 13073 16 0 211404 0
vsize: 845680
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 102798 65 0 0 25 0 11 0 542541480 865976320 30245 4294967295 134512640 134569956 3221224400 3221214800 1131209816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30245 13073 16 0 211404 0
vsize: 845680
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 103780 65 0 0 25 0 11 0 542541480 865976320 30287 4294967295 134512640 134569956 3221224400 3221214536 1131508639 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30287 13073 16 0 211404 0
vsize: 845680
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 104761 65 0 0 25 0 11 0 542541480 865976320 30351 4294967295 134512640 134569956 3221224400 3221214848 1131175381 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30351 13073 16 0 211404 0
vsize: 845680
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 105744 65 0 0 25 0 11 0 542541480 865976320 30403 4294967295 134512640 134569956 3221224400 3221214800 1131209409 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30403 13073 16 0 211404 0
vsize: 845680
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 106728 66 0 0 25 0 11 0 542541480 865976320 30429 4294967295 134512640 134569956 3221224400 3221214800 1131209512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30429 13073 16 0 211404 0
vsize: 845680
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 107711 66 0 0 25 0 11 0 542541480 865976320 30475 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30475 13073 16 0 211404 0
vsize: 845680
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 108691 66 0 0 25 0 11 0 542541480 865976320 30538 4294967295 134512640 134569956 3221224400 3221214800 1131209829 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30538 13073 16 0 211404 0
vsize: 845680
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 109673 67 0 0 25 0 11 0 542541480 865976320 30559 4294967295 134512640 134569956 3221224400 3221214848 1131175512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30559 13073 16 0 211404 0
vsize: 845680
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 110650 67 0 0 25 0 11 0 542541480 865976320 30631 4294967295 134512640 134569956 3221224400 3221214636 1131497331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30631 13073 16 0 211404 0
vsize: 845680
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 111630 68 0 0 25 0 11 0 542541480 865976320 30684 4294967295 134512640 134569956 3221224400 3221214800 1131209539 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30684 13073 16 0 211404 0
vsize: 845680
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 112610 68 0 0 25 0 11 0 542541480 865976320 30723 4294967295 134512640 134569956 3221224400 3221214536 1131505612 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30723 13073 16 0 211404 0
vsize: 845680
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 113592 68 0 0 25 0 11 0 542541480 865976320 30783 4294967295 134512640 134569956 3221224400 3221214800 1131209825 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30783 13073 16 0 211404 0
vsize: 845680
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 114572 68 0 0 25 0 11 0 542541480 865976320 30832 4294967295 134512640 134569956 3221224400 3221214800 1131210286 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30832 13073 16 0 211404 0
vsize: 845680
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 115552 69 0 0 25 0 11 0 542541480 865976320 30899 4294967295 134512640 134569956 3221224400 3221214344 1080019608 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30899 13073 16 0 211404 0
vsize: 845680
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 116532 69 0 0 25 0 11 0 542541480 865976320 30947 4294967295 134512640 134569956 3221224400 3221214800 1131209777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 30947 13073 16 0 211404 0
vsize: 845680
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 117509 69 0 0 25 0 11 0 542541480 865976320 31013 4294967295 134512640 134569956 3221224400 3221214648 1131696227 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 31013 13073 16 0 211404 0
vsize: 845680
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 118488 69 0 0 25 0 11 0 542541480 865976320 31089 4294967295 134512640 134569956 3221224400 3221214800 1131209971 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 31089 13073 16 0 211404 0
vsize: 845680
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 119469 70 0 0 25 0 11 0 542541480 865976320 31162 4294967295 134512640 134569956 3221224400 3221214232 1085679762 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 31162 13073 16 0 211404 0
vsize: 845680
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.96 2/64 23972
Raw data (stat): 23956 (java) R 23955 22612 22611 0 -1 0 18088 4 1 0 120452 70 0 0 25 0 11 0 542541480 865976320 31209 4294967295 134512640 134569956 3221224400 3221214800 1131209777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211420 31209 13073 16 0 211404 0
vsize: 845680
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.14 s]
Raw data (loadavg): 1.00 1.00 0.96 1/54 23974
Raw data (stat): 23956 (java) Z 23955 22612 22611 0 -1 1036 18088 9900 1 0 120455 70 2977 39 25 0 1 0 542541480 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): 1240.14
CPU time (s): 1235.44
CPU user time (s): 1234.34
CPU system time (s): 1.10783
CPU usage (%): 99.6214
Max. virtual memory (Kb): 849832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####