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/miplib3/normalized-mps-v2-13-7-misc07.opb
MD5SUM54df16ee65da54d5975ffedee80d2bb9
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 15115

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-04-21 02:56:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18586 boxname=wulflinc26 idbench=1430 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  54df16ee65da54d5975ffedee80d2bb9  /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: 18586
/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:        283240 kB
Buffers:         38228 kB
Cached:         671964 kB
SwapCached:          0 kB
Active:         253068 kB
Inactive:       460008 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        282988 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6964 kB
Slab:            32672 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 03:16:58 (client local time) WITH STATUS 143 IN 1252.3 SECONDS
stats: 18586 7 1252.3 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.312
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.353
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) : 18.948
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) : 19.658
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) : 54.429
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) : 107.614
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) : 252.371
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.80 0.92 0.89 2/54 21998
Raw data (stat): 21998 (runsolver) R 21997 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541652513 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.0002 s]
Raw data (loadavg): 1.06 0.98 0.91 3/64 22008
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18087 0 1 0 602 43 0 0 25 0 11 0 541652513 868503552 22006 4294967295 134512640 134569956 3221224400 3221214752 1131228230 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212037 22006 13073 16 0 212021 0
vsize: 848148
[startup+20.0013 s]
Raw data (loadavg): 1.12 0.99 0.92 2/64 22010
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18093 3 1 0 1501 43 0 0 25 0 11 0 541652513 867176448 22370 4294967295 134512640 134569956 3221224400 3221214848 1131174720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211713 22370 13073 16 0 211697 0
vsize: 846852
[startup+30.0015 s]
Raw data (loadavg): 1.10 0.99 0.92 2/64 22011
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 2448 44 0 0 25 0 11 0 541652513 867176448 22626 4294967295 134512640 134569956 3221224400 3221214664 1131371022 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211713 22626 13073 16 0 211697 0
vsize: 846852
[startup+40.0016 s]
Raw data (loadavg): 1.09 0.99 0.92 2/64 22011
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 3388 44 0 0 25 0 11 0 541652513 866226176 22772 4294967295 134512640 134569956 3221224400 3221214800 1131211681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 22772 13073 16 0 211465 0
vsize: 845924
[startup+50.0023 s]
Raw data (loadavg): 1.07 0.99 0.92 2/64 22011
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 4342 44 0 0 25 0 11 0 541652513 866226176 22974 4294967295 134512640 134569956 3221224400 3221214800 1131211362 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 22974 13073 16 0 211465 0
vsize: 845924
[startup+60.0025 s]
Raw data (loadavg): 1.06 0.99 0.92 2/64 22012
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 5304 44 0 0 25 0 11 0 541652513 866226176 23082 4294967295 134512640 134569956 3221224400 3221214664 1131699695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 23082 13073 16 0 211465 0
vsize: 845924
[startup+70.0033 s]
Raw data (loadavg): 1.05 0.99 0.92 2/64 22012
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 6267 44 0 0 25 0 11 0 541652513 866226176 23204 4294967295 134512640 134569956 3221224400 3221214848 1131174744 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 23204 13073 16 0 211465 0
vsize: 845924
[startup+80.0034 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 22012
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 7236 45 0 0 25 0 11 0 541652513 866226176 23318 4294967295 134512640 134569956 3221224400 3221214896 1131267168 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 23318 13073 16 0 211465 0
vsize: 845924
[startup+90.0038 s]
Raw data (loadavg): 1.04 0.99 0.92 2/64 22012
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 8207 45 0 0 24 0 11 0 541652513 866226176 23419 4294967295 134512640 134569956 3221224400 3221214800 1131212418 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 23419 13073 16 0 211465 0
vsize: 845924
[startup+100.004 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 22012
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 9181 45 0 0 25 0 11 0 541652513 866226176 23511 4294967295 134512640 134569956 3221224400 3221214760 1131338195 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 23511 13073 16 0 211465 0
vsize: 845924
[startup+110.006 s]
Raw data (loadavg): 1.03 0.99 0.92 2/64 22013
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 10156 45 0 0 25 0 11 0 541652513 866226176 23596 4294967295 134512640 134569956 3221224400 3221214848 1131174720 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 23596 13073 16 0 211465 0
vsize: 845924
[startup+120.006 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 22013
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 11130 45 0 0 25 0 11 0 541652513 866226176 23667 4294967295 134512640 134569956 3221224400 3221214896 1131266939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 23667 13073 16 0 211465 0
vsize: 845924
[startup+130.005 s]
Raw data (loadavg): 1.02 0.99 0.92 2/64 22013
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 12104 45 0 0 25 0 11 0 541652513 866226176 23750 4294967295 134512640 134569956 3221224400 3221214800 1131211681 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 23750 13073 16 0 211465 0
vsize: 845924
[startup+140.007 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 22013
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 13075 45 0 0 25 0 11 0 541652513 866226176 23839 4294967295 134512640 134569956 3221224400 3221214712 1131209539 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 23839 13073 16 0 211465 0
vsize: 845924
[startup+150.007 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 22013
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 14046 45 0 0 25 0 11 0 541652513 866226176 23936 4294967295 134512640 134569956 3221224400 3221214800 1131211421 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 23936 13073 16 0 211465 0
vsize: 845924
[startup+160.008 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 22013
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 15015 45 0 0 25 0 11 0 541652513 866226176 24048 4294967295 134512640 134569956 3221224400 3221214760 1131338915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 24048 13073 16 0 211465 0
vsize: 845924
[startup+170.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 22013
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 15987 45 0 0 25 0 11 0 541652513 866226176 24133 4294967295 134512640 134569956 3221224400 3221214800 1131211633 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 24133 13073 16 0 211465 0
vsize: 845924
[startup+180.009 s]
Raw data (loadavg): 1.01 0.99 0.92 2/64 22013
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 16960 46 0 0 25 0 11 0 541652513 866226176 24213 4294967295 134512640 134569956 3221224400 3221214896 1131266934 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 24213 13073 16 0 211465 0
vsize: 845924
[startup+190.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 22013
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 17931 46 0 0 25 0 11 0 541652513 866226176 24294 4294967295 134512640 134569956 3221224400 3221214848 1131174725 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 24294 13073 16 0 211465 0
vsize: 845924
[startup+200.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/64 22013
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 18897 46 0 0 25 0 11 0 541652513 866226176 24368 4294967295 134512640 134569956 3221224400 3221214416 1079721457 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 24368 13073 16 0 211465 0
vsize: 845924
[startup+210.009 s]
Raw data (loadavg): 1.08 1.01 0.92 2/64 22013
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 19867 46 0 0 25 0 11 0 541652513 866226176 24473 4294967295 134512640 134569956 3221224400 3221214848 1131174741 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 24473 13073 16 0 211465 0
vsize: 845924
[startup+220.01 s]
Raw data (loadavg): 1.07 1.01 0.92 2/64 22013
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 20838 46 0 0 25 0 11 0 541652513 866226176 24566 4294967295 134512640 134569956 3221224400 3221214800 1131212730 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 24566 13073 16 0 211465 0
vsize: 845924
[startup+230.01 s]
Raw data (loadavg): 1.06 1.01 0.92 3/67 22051
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 21807 47 0 0 25 0 11 0 541652513 866226176 24653 4294967295 134512640 134569956 3221224400 3221214800 1131211265 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 211481 24653 13073 16 0 211465 0
vsize: 845924
[startup+240.01 s]
Raw data (loadavg): 1.12 1.02 0.93 2/64 22066
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 22778 48 0 0 25 0 11 0 541652513 866226176 24740 4294967295 134512640 134569956 3221224400 3221214800 1131211681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 24740 13073 16 0 211465 0
vsize: 845924
[startup+250.011 s]
Raw data (loadavg): 1.10 1.02 0.93 2/64 22066
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 23747 48 0 0 24 0 11 0 541652513 866226176 24846 4294967295 134512640 134569956 3221224400 3221214848 1131174741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 24846 13073 16 0 211465 0
vsize: 845924
[startup+260.012 s]
Raw data (loadavg): 1.09 1.02 0.93 2/64 22067
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 24720 48 0 0 25 0 11 0 541652513 866226176 24924 4294967295 134512640 134569956 3221224400 3221214848 1131174778 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 24924 13073 16 0 211465 0
vsize: 845924
[startup+270.012 s]
Raw data (loadavg): 1.07 1.02 0.93 2/64 22067
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 25693 48 0 0 25 0 11 0 541652513 866226176 25028 4294967295 134512640 134569956 3221224400 3221214560 1131505471 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25028 13073 16 0 211465 0
vsize: 845924
[startup+280.012 s]
Raw data (loadavg): 1.06 1.02 0.93 2/64 22067
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 26666 48 0 0 25 0 11 0 541652513 866226176 25104 4294967295 134512640 134569956 3221224400 3221214800 1131211453 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25104 13073 16 0 211465 0
vsize: 845924
[startup+290.013 s]
Raw data (loadavg): 1.05 1.02 0.93 2/64 22067
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 27637 48 0 0 25 0 11 0 541652513 866226176 25203 4294967295 134512640 134569956 3221224400 3221214848 1131174725 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25203 13073 16 0 211465 0
vsize: 845924
[startup+300.013 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 22067
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 28610 48 0 0 25 0 11 0 541652513 866226176 25293 4294967295 134512640 134569956 3221224400 3221214800 1131211265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25293 13073 16 0 211465 0
vsize: 845924
[startup+310.013 s]
Raw data (loadavg): 1.04 1.02 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 29583 49 0 0 25 0 11 0 541652513 866226176 25391 4294967295 134512640 134569956 3221224400 3221214800 1131211360 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25391 13073 16 0 211465 0
vsize: 845924
[startup+320.014 s]
Raw data (loadavg): 1.03 1.01 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 30558 49 0 0 25 0 11 0 541652513 866226176 25451 4294967295 134512640 134569956 3221224400 3221214800 1131211525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25451 13073 16 0 211465 0
vsize: 845924
[startup+330.014 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 31534 49 0 0 25 0 11 0 541652513 866226176 25504 4294967295 134512640 134569956 3221224400 3221214848 1131174870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25504 13073 16 0 211465 0
vsize: 845924
[startup+340.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 32505 50 0 0 25 0 11 0 541652513 866226176 25566 4294967295 134512640 134569956 3221224400 3221214800 1131211287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25566 13073 16 0 211465 0
vsize: 845924
[startup+350.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 33476 50 0 0 25 0 11 0 541652513 866226176 25666 4294967295 134512640 134569956 3221224400 3221214560 1131505573 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25666 13073 16 0 211465 0
vsize: 845924
[startup+360.016 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 34446 50 0 0 25 0 11 0 541652513 866226176 25759 4294967295 134512640 134569956 3221224400 3221214848 1131174720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25759 13073 16 0 211465 0
vsize: 845924
[startup+370.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 35421 50 0 0 25 0 11 0 541652513 866226176 25835 4294967295 134512640 134569956 3221224400 3221214800 1131211681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25835 13073 16 0 211465 0
vsize: 845924
[startup+380.016 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 36397 51 0 0 25 0 11 0 541652513 866226176 25916 4294967295 134512640 134569956 3221224400 3221214392 1078032851 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25916 13073 16 0 211465 0
vsize: 845924
[startup+390.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 37370 51 0 0 24 0 11 0 541652513 866226176 25984 4294967295 134512640 134569956 3221224400 3221214800 1131398284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 25984 13073 16 0 211465 0
vsize: 845924
[startup+400.017 s]
Raw data (loadavg): 1.01 1.01 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 38345 51 0 0 25 0 11 0 541652513 866226176 26053 4294967295 134512640 134569956 3221224400 3221214800 1131211845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26053 13073 16 0 211465 0
vsize: 845924
[startup+410.017 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 39320 51 0 0 25 0 11 0 541652513 866226176 26138 4294967295 134512640 134569956 3221224400 3221214800 1131211861 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26138 13073 16 0 211465 0
vsize: 845924
[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 40294 51 0 0 24 0 11 0 541652513 866226176 26209 4294967295 134512640 134569956 3221224400 3221214800 1131211581 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26209 13073 16 0 211465 0
vsize: 845924
[startup+430.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 41270 52 0 0 25 0 11 0 541652513 866226176 26261 4294967295 134512640 134569956 3221224400 3221214896 1131267192 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26261 13073 16 0 211465 0
vsize: 845924
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 42245 52 0 0 25 0 11 0 541652513 866226176 26351 4294967295 134512640 134569956 3221224400 3221214800 1131211330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26351 13073 16 0 211465 0
vsize: 845924
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 43221 53 0 0 25 0 11 0 541652513 866226176 26425 4294967295 134512640 134569956 3221224400 3221214896 1131266949 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26425 13073 16 0 211465 0
vsize: 845924
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 44196 53 0 0 25 0 11 0 541652513 866226176 26506 4294967295 134512640 134569956 3221224400 3221214800 1131211741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26506 13073 16 0 211465 0
vsize: 845924
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 45171 53 0 0 25 0 11 0 541652513 866226176 26551 4294967295 134512640 134569956 3221224400 3221214800 1131211290 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26551 13073 16 0 211465 0
vsize: 845924
[startup+480.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 46145 54 0 0 25 0 11 0 541652513 866226176 26617 4294967295 134512640 134569956 3221224400 3221214800 1131211594 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26617 13073 16 0 211465 0
vsize: 845924
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 47119 54 0 0 25 0 11 0 541652513 866226176 26703 4294967295 134512640 134569956 3221224400 3221214800 1131211265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26703 13073 16 0 211465 0
vsize: 845924
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 48096 54 0 0 25 0 11 0 541652513 866226176 26773 4294967295 134512640 134569956 3221224400 3221214800 1131211578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26773 13073 16 0 211465 0
vsize: 845924
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 49070 54 0 0 25 0 11 0 541652513 866226176 26851 4294967295 134512640 134569956 3221224400 3221214896 1131267752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26851 13073 16 0 211465 0
vsize: 845924
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 50046 55 0 0 25 0 11 0 541652513 866226176 26899 4294967295 134512640 134569956 3221224400 3221214872 1131297393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26899 13073 16 0 211465 0
vsize: 845924
[startup+530.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 51020 55 0 0 24 0 11 0 541652513 866226176 26988 4294967295 134512640 134569956 3221224400 3221214800 1131211356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 26988 13073 16 0 211465 0
vsize: 845924
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 51998 56 0 0 24 0 11 0 541652513 866226176 27046 4294967295 134512640 134569956 3221224400 3221214896 1131267835 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27046 13073 16 0 211465 0
vsize: 845924
[startup+550.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 52975 56 0 0 25 0 11 0 541652513 866226176 27111 4294967295 134512640 134569956 3221224400 3221214848 1131174720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27111 13073 16 0 211465 0
vsize: 845924
[startup+560.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22069
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 53953 57 0 0 25 0 11 0 541652513 866226176 27163 4294967295 134512640 134569956 3221224400 3221214488 1131653689 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27163 13073 16 0 211465 0
vsize: 845924
[startup+570.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 54931 57 0 0 25 0 11 0 541652513 866226176 27237 4294967295 134512640 134569956 3221224400 3221214800 1131211741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27237 13073 16 0 211465 0
vsize: 845924
[startup+580.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 55907 57 0 0 25 0 11 0 541652513 866226176 27286 4294967295 134512640 134569956 3221224400 3221214800 1131211681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27286 13073 16 0 211465 0
vsize: 845924
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 56882 58 0 0 25 0 11 0 541652513 866226176 27327 4294967295 134512640 134569956 3221224400 3221214656 1131532252 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27327 13073 16 0 211465 0
vsize: 845924
[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 57854 58 0 0 24 0 11 0 541652513 866226176 27430 4294967295 134512640 134569956 3221224400 3221214336 1131174741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27430 13073 16 0 211465 0
vsize: 845924
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 58829 59 0 0 25 0 11 0 541652513 866226176 27538 4294967295 134512640 134569956 3221224400 3221214800 1131212461 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27538 13073 16 0 211465 0
vsize: 845924
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 59804 59 0 0 25 0 11 0 541652513 866226176 27609 4294967295 134512640 134569956 3221224400 3221214848 1131174741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27609 13073 16 0 211465 0
vsize: 845924
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 60780 59 0 0 25 0 11 0 541652513 866226176 27668 4294967295 134512640 134569956 3221224400 3221214800 1131211525 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27668 13073 16 0 211465 0
vsize: 845924
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 61753 59 0 0 24 0 11 0 541652513 866226176 27759 4294967295 134512640 134569956 3221224400 3221214800 1131211535 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27759 13073 16 0 211465 0
vsize: 845924
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 62730 60 0 0 25 0 11 0 541652513 866226176 27806 4294967295 134512640 134569956 3221224400 3221214872 1131297393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27806 13073 16 0 211465 0
vsize: 845924
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 63707 60 0 0 25 0 11 0 541652513 866226176 27876 4294967295 134512640 134569956 3221224400 3221214800 1131212187 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27876 13073 16 0 211465 0
vsize: 845924
[startup+670.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 64682 60 0 0 25 0 11 0 541652513 866226176 27968 4294967295 134512640 134569956 3221224400 3221214800 1131211356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 27968 13073 16 0 211465 0
vsize: 845924
[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 65658 61 0 0 25 0 11 0 541652513 866226176 28017 4294967295 134512640 134569956 3221224400 3221214800 1131211681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28017 13073 16 0 211465 0
vsize: 845924
[startup+690.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 66635 61 0 0 25 0 11 0 541652513 866226176 28116 4294967295 134512640 134569956 3221224400 3221214800 1131211560 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28116 13073 16 0 211465 0
vsize: 845924
[startup+700.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 67611 62 0 0 25 0 11 0 541652513 866226176 28201 4294967295 134512640 134569956 3221224400 3221214800 1131211413 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28201 13073 16 0 211465 0
vsize: 845924
[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 68589 62 0 0 24 0 11 0 541652513 866226176 28279 4294967295 134512640 134569956 3221224400 3221214848 1131174794 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28279 13073 16 0 211465 0
vsize: 845924
[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 69568 62 0 0 25 0 11 0 541652513 866226176 28327 4294967295 134512640 134569956 3221224400 3221214896 1131267240 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28327 13073 16 0 211465 0
vsize: 845924
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 70544 63 0 0 24 0 11 0 541652513 866226176 28389 4294967295 134512640 134569956 3221224400 3221214800 1131211269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28389 13073 16 0 211465 0
vsize: 845924
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 71521 63 0 0 25 0 11 0 541652513 866226176 28449 4294967295 134512640 134569956 3221224400 3221214472 1079721531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28449 13073 16 0 211465 0
vsize: 845924
[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 72498 64 0 0 25 0 11 0 541652513 866226176 28559 4294967295 134512640 134569956 3221224400 3221214664 1131699695 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28559 13073 16 0 211465 0
vsize: 845924
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 73477 64 0 0 25 0 11 0 541652513 866226176 28611 4294967295 134512640 134569956 3221224400 3221214800 1131211911 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28611 13073 16 0 211465 0
vsize: 845924
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 74455 64 0 0 24 0 11 0 541652513 866226176 28657 4294967295 134512640 134569956 3221224400 3221214848 1131174720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28657 13073 16 0 211465 0
vsize: 845924
[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 75434 64 0 0 25 0 11 0 541652513 866226176 28714 4294967295 134512640 134569956 3221224400 3221214800 1131212197 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28714 13073 16 0 211465 0
vsize: 845924
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 76412 65 0 0 25 0 11 0 541652513 866226176 28775 4294967295 134512640 134569956 3221224400 3221214872 1131297393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28775 13073 16 0 211465 0
vsize: 845924
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 77391 65 0 0 25 0 11 0 541652513 866226176 28832 4294967295 134512640 134569956 3221224400 3221214800 1131211889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28832 13073 16 0 211465 0
vsize: 845924
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 78367 65 0 0 25 0 11 0 541652513 866226176 28891 4294967295 134512640 134569956 3221224400 3221214152 1131652531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28891 13073 16 0 211465 0
vsize: 845924
[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 79347 66 0 0 25 0 11 0 541652513 866226176 28966 4294967295 134512640 134569956 3221224400 3221214800 1131211276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 28966 13073 16 0 211465 0
vsize: 845924
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 80324 66 0 0 25 0 11 0 541652513 866226176 29016 4294967295 134512640 134569956 3221224400 3221214848 1131174720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29016 13073 16 0 211465 0
vsize: 845924
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 81303 67 0 0 25 0 11 0 541652513 866226176 29070 4294967295 134512640 134569956 3221224400 3221214848 1131174741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29070 13073 16 0 211465 0
vsize: 845924
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 82284 67 0 0 25 0 11 0 541652513 866226176 29134 4294967295 134512640 134569956 3221224400 3221214896 1131266937 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29134 13073 16 0 211465 0
vsize: 845924
[startup+860.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 83264 67 0 0 24 0 11 0 541652513 866226176 29169 4294967295 134512640 134569956 3221224400 3221214800 1131211907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29169 13073 16 0 211465 0
vsize: 845924
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 84243 68 0 0 25 0 11 0 541652513 866226176 29200 4294967295 134512640 134569956 3221224400 3221214800 1131211633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29200 13073 16 0 211465 0
vsize: 845924
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 85222 68 0 0 25 0 11 0 541652513 866226176 29254 4294967295 134512640 134569956 3221224400 3221214848 1131174720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29254 13073 16 0 211465 0
vsize: 845924
[startup+890.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 86198 68 0 0 25 0 11 0 541652513 866226176 29306 4294967295 134512640 134569956 3221224400 3221214800 1131211261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29306 13073 16 0 211465 0
vsize: 845924
[startup+900.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 87177 68 0 0 25 0 11 0 541652513 866226176 29380 4294967295 134512640 134569956 3221224400 3221214896 1131267223 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29380 13073 16 0 211465 0
vsize: 845924
[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 88153 69 0 0 25 0 11 0 541652513 866226176 29433 4294967295 134512640 134569956 3221224400 3221214760 1131339348 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29433 13073 16 0 211465 0
vsize: 845924
[startup+920.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 89133 69 0 0 25 0 11 0 541652513 866226176 29477 4294967295 134512640 134569956 3221224400 3221214960 1131419521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29477 13073 16 0 211465 0
vsize: 845924
[startup+930.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 90111 69 0 0 25 0 11 0 541652513 866226176 29529 4294967295 134512640 134569956 3221224400 3221214232 1085679313 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29529 13073 16 0 211465 0
vsize: 845924
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 91087 69 0 0 25 0 11 0 541652513 866226176 29584 4294967295 134512640 134569956 3221224400 3221214800 1131211633 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29584 13073 16 0 211465 0
vsize: 845924
[startup+950.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 92061 70 0 0 25 0 11 0 541652513 866226176 29642 4294967295 134512640 134569956 3221224400 3221214848 1131174744 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29642 13073 16 0 211465 0
vsize: 845924
[startup+960.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 93039 70 0 0 25 0 11 0 541652513 866226176 29702 4294967295 134512640 134569956 3221224400 3221214800 1131211356 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29702 13073 16 0 211465 0
vsize: 845924
[startup+970.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 94015 70 0 0 25 0 11 0 541652513 866226176 29774 4294967295 134512640 134569956 3221224400 3221214800 1131211889 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29774 13073 16 0 211465 0
vsize: 845924
[startup+980.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 94994 71 0 0 25 0 11 0 541652513 866226176 29854 4294967295 134512640 134569956 3221224400 3221214848 1131174720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29854 13073 16 0 211465 0
vsize: 845924
[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 95971 71 0 0 25 0 11 0 541652513 866226176 29906 4294967295 134512640 134569956 3221224400 3221214800 1131211341 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29906 13073 16 0 211465 0
vsize: 845924
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 96950 72 0 0 25 0 11 0 541652513 866226176 29947 4294967295 134512640 134569956 3221224400 3221214892 1131211244 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29947 13073 16 0 211465 0
vsize: 845924
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 97929 72 0 0 25 0 11 0 541652513 866226176 29978 4294967295 134512640 134569956 3221224400 3221214848 1131174741 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 29978 13073 16 0 211465 0
vsize: 845924
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 98906 72 0 0 25 0 11 0 541652513 866226176 30082 4294967295 134512640 134569956 3221224400 3221214872 1131297393 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30082 13073 16 0 211465 0
vsize: 845924
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 99884 73 0 0 25 0 11 0 541652513 866226176 30126 4294967295 134512640 134569956 3221224400 3221214848 1131174713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30126 13073 16 0 211465 0
vsize: 845924
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 100863 73 0 0 25 0 11 0 541652513 866226176 30163 4294967295 134512640 134569956 3221224400 3221214896 1131267276 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30163 13073 16 0 211465 0
vsize: 845924
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 101842 73 0 0 25 0 11 0 541652513 866226176 30222 4294967295 134512640 134569956 3221224400 3221214800 1131211873 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30222 13073 16 0 211465 0
vsize: 845924
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 102820 74 0 0 25 0 11 0 541652513 866226176 30273 4294967295 134512640 134569956 3221224400 3221214848 1131174720 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30273 13073 16 0 211465 0
vsize: 845924
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 103802 75 0 0 25 0 11 0 541652513 866226176 30314 4294967295 134512640 134569956 3221224400 3221214800 1131212730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30314 13073 16 0 211465 0
vsize: 845924
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 104783 75 0 0 25 0 11 0 541652513 866226176 30377 4294967295 134512640 134569956 3221224400 3221214560 1131507049 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30377 13073 16 0 211465 0
vsize: 845924
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 105766 75 0 0 25 0 11 0 541652513 866226176 30425 4294967295 134512640 134569956 3221224400 3221214800 1131211269 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30425 13073 16 0 211465 0
vsize: 845924
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 106750 76 0 0 25 0 11 0 541652513 866226176 30453 4294967295 134512640 134569956 3221224400 3221214800 1131211681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30453 13073 16 0 211465 0
vsize: 845924
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 107733 76 0 0 25 0 11 0 541652513 866226176 30504 4294967295 134512640 134569956 3221224400 3221214684 1080204306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30504 13073 16 0 211465 0
vsize: 845924
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 108713 76 0 0 24 0 11 0 541652513 866226176 30557 4294967295 134512640 134569956 3221224400 3221214800 1131212468 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30557 13073 16 0 211465 0
vsize: 845924
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 109695 76 0 0 25 0 11 0 541652513 866226176 30583 4294967295 134512640 134569956 3221224400 3221214544 1131402238 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30583 13073 16 0 211465 0
vsize: 845924
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 110675 76 0 0 25 0 11 0 541652513 866226176 30650 4294967295 134512640 134569956 3221224400 3221214800 1131211265 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30650 13073 16 0 211465 0
vsize: 845924
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 111654 77 0 0 25 0 11 0 541652513 866226176 30704 4294967295 134512640 134569956 3221224400 3221214748 1080203752 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30704 13073 16 0 211465 0
vsize: 845924
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 112634 77 0 0 25 0 11 0 541652513 866226176 30750 4294967295 134512640 134569956 3221224400 3221214848 1131174717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30750 13073 16 0 211465 0
vsize: 845924
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 113615 77 0 0 25 0 11 0 541652513 866226176 30803 4294967295 134512640 134569956 3221224400 3221214896 1131267706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30803 13073 16 0 211465 0
vsize: 845924
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 114595 78 0 0 25 0 11 0 541652513 866226176 30855 4294967295 134512640 134569956 3221224400 3221214800 1131212591 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30855 13073 16 0 211465 0
vsize: 845924
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 115578 78 0 0 25 0 11 0 541652513 866226176 30918 4294967295 134512640 134569956 3221224400 3221214496 1131704564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30918 13073 16 0 211465 0
vsize: 845924
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 116556 78 0 0 25 0 11 0 541652513 866226176 30975 4294967295 134512640 134569956 3221224400 3221214800 1131211287 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 30975 13073 16 0 211465 0
vsize: 845924
[startup+1210.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 117534 79 0 0 25 0 11 0 541652513 866226176 31032 4294967295 134512640 134569956 3221224400 3221214568 1131228785 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 31032 13073 16 0 211465 0
vsize: 845924
[startup+1220.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 118514 79 0 0 25 0 11 0 541652513 866226176 31108 4294967295 134512640 134569956 3221224400 3221214800 1131211681 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 31108 13073 16 0 211465 0
vsize: 845924
[startup+1230.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 119495 79 0 0 25 0 11 0 541652513 866226176 31181 4294967295 134512640 134569956 3221224400 3221214800 1131212520 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 31181 13073 16 0 211465 0
vsize: 845924
[startup+1240.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 22071
Raw data (stat): 21998 (java) R 21997 22612 22611 0 -1 0 18094 3 1 0 120477 79 0 0 24 0 11 0 541652513 866226176 31228 4294967295 134512640 134569956 3221224400 3221214872 1131297350 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 211481 31228 13073 16 0 211465 0
vsize: 845924
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.16 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 22073
Raw data (stat): 21998 (java) Z 21997 22612 22611 0 -1 1036 18094 20123 1 0 120482 85 4599 62 25 0 1 0 541652513 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.16
CPU time (s): 1252.3
CPU user time (s): 1250.82
CPU system time (s): 1.48577
CPU usage (%): 100.979
Max. virtual memory (Kb): 848148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####