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-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran14x18.opb
MD5SUM7da782a9a5fff983d0dc41e97459b8ae
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7696383
Optimality of the best value was proved NO
Number of terms in the objective function 7812
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1450667950777
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1450667950777
Number of bits of the biggest sum of numbers41
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1226.01
Number of variables7812
Total number of constraints284
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints284
Minimum length of a constraint31
Maximum length of a constraint540

Trace number 20849

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        462488 kB
Buffers:         35540 kB
Cached:         514716 kB
SwapCached:          0 kB
Active:         207812 kB
Inactive:       345252 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        462236 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6820 kB
Slab:            13336 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 22:21:04 (client local time) WITH STATUS 143 IN 1231.1 SECONDS
stats: 14309 7 1231.1 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-ran14x18.opb
c reading problem 
c [nbvar=7812]
c [nbconstr=284]
c time 20.85
c #vars     7812
c #clauses  317
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=10718378
c Current CPU time (ms) : 109.791
c starts	: 1
c conflicts	: 12
c decisions	: 9831
c propagations	: 36757
c inspects	: 43309
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 12
c root simplifications	: 13
c 
c CURRENT OPTIMUM=10343383
c Current CPU time (ms) : 274.89
c starts	: 2
c conflicts	: 22
c decisions	: 18035
c propagations	: 58707
c inspects	: 76114
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 22
c root simplifications	: 21
c 
c CURRENT OPTIMUM=9411029
c Current CPU time (ms) : 334.741
c starts	: 3
c conflicts	: 25
c decisions	: 19889
c propagations	: 66062
c inspects	: 90962
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 25
c root simplifications	: 23
c 
c CURRENT OPTIMUM=9290179
c Current CPU time (ms) : 493.82
c starts	: 4
c conflicts	: 26
c decisions	: 20664
c propagations	: 70080
c inspects	: 98844
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 26
c root simplifications	: 24
#### 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.69 0.92 0.94 2/54 11699
Raw data (stat): 11699 (runsolver) R 11698 32461 32460 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 490291130 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.0003 s]
Raw data (loadavg): 0.74 0.92 0.94 3/63 11708
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 17988 0 1 0 887 37 0 0 25 0 10 0 490291130 854233088 19223 4294967295 134512640 134569956 3221224400 3221214704 1131198365 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208553 19223 13073 16 0 208537 0
vsize: 834212
[startup+20.0015 s]
Raw data (loadavg): 0.78 0.92 0.94 4/63 11708
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18012 0 1 0 1736 37 0 0 25 0 10 0 490291130 860422144 21128 4294967295 134512640 134569956 3221224400 3221214480 1130917144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210064 21128 13073 16 0 210048 0
vsize: 840256
[startup+30.0029 s]
Raw data (loadavg): 0.96 0.96 0.95 2/64 11709
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 2538 38 0 0 25 0 11 0 490291130 861396992 22757 4294967295 134512640 134569956 3221224400 3221214800 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 22757 13073 16 0 210286 0
vsize: 841208
[startup+40.0036 s]
Raw data (loadavg): 1.05 0.98 0.96 2/64 11711
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 3440 39 0 0 25 0 11 0 490291130 861396992 22805 4294967295 134512640 134569956 3221224400 3221214896 1131351456 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 22805 13073 16 0 210286 0
vsize: 841208
[startup+50.005 s]
Raw data (loadavg): 1.04 0.98 0.96 2/64 11711
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 4337 39 0 0 25 0 11 0 490291130 861396992 22871 4294967295 134512640 134569956 3221224400 3221214848 1131236975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 22871 13073 16 0 210286 0
vsize: 841208
[startup+60.0056 s]
Raw data (loadavg): 1.03 0.98 0.96 2/64 11711
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 5293 39 0 0 25 0 11 0 490291130 861396992 23586 4294967295 134512640 134569956 3221224400 3221214896 1131350679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23586 13073 16 0 210286 0
vsize: 841208
[startup+70.0064 s]
Raw data (loadavg): 1.03 0.98 0.96 2/64 11711
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 6278 40 0 0 25 0 11 0 490291130 861396992 23620 4294967295 134512640 134569956 3221224400 3221214800 1131257624 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23620 13073 16 0 210286 0
vsize: 841208
[startup+80.0072 s]
Raw data (loadavg): 1.02 0.98 0.96 2/64 11711
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 7266 40 0 0 25 0 11 0 490291130 861396992 23638 4294967295 134512640 134569956 3221224400 3221214800 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23638 13073 16 0 210286 0
vsize: 841208
[startup+90.008 s]
Raw data (loadavg): 1.02 0.98 0.96 2/64 11711
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 8253 41 0 0 25 0 11 0 490291130 861396992 23666 4294967295 134512640 134569956 3221224400 3221214672 1131388448 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23666 13073 16 0 210286 0
vsize: 841208
[startup+100.008 s]
Raw data (loadavg): 1.02 0.98 0.96 2/64 11711
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 9241 41 0 0 25 0 11 0 490291130 861396992 23688 4294967295 134512640 134569956 3221224400 3221214664 1131407661 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23688 13073 16 0 210286 0
vsize: 841208
[startup+110.01 s]
Raw data (loadavg): 1.01 0.98 0.96 2/64 11711
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 0 1 0 10230 41 0 0 25 0 11 0 490291130 861396992 23707 4294967295 134512640 134569956 3221224400 3221214892 1131487931 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23707 13073 16 0 210286 0
vsize: 841208
[startup+120.01 s]
Raw data (loadavg): 1.01 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 11185 41 0 0 24 0 11 0 490291130 861396992 23725 4294967295 134512640 134569956 3221224400 3221214800 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23725 13073 16 0 210286 0
vsize: 841208
[startup+130.01 s]
Raw data (loadavg): 1.01 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 12151 42 0 0 25 0 11 0 490291130 861396992 23744 4294967295 134512640 134569956 3221224400 3221214848 1131236930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23744 13073 16 0 210286 0
vsize: 841208
[startup+140.011 s]
Raw data (loadavg): 1.01 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 13113 42 0 0 25 0 11 0 490291130 861396992 23970 4294967295 134512640 134569956 3221224400 3221214604 1080203670 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23970 13073 16 0 210286 0
vsize: 841208
[startup+150.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 14093 42 0 0 25 0 11 0 490291130 861396992 23983 4294967295 134512640 134569956 3221224400 3221214672 1131387330 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23983 13073 16 0 210286 0
vsize: 841208
[startup+160.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 15076 43 0 0 24 0 11 0 490291130 861396992 23993 4294967295 134512640 134569956 3221224400 3221214616 1130904220 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23993 13073 16 0 210286 0
vsize: 841208
[startup+170.012 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 16061 43 0 0 25 0 11 0 490291130 861396992 23997 4294967295 134512640 134569956 3221224400 3221214616 1131464124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23997 13073 16 0 210286 0
vsize: 841208
[startup+180.015 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 17046 43 0 0 25 0 11 0 490291130 861396992 23999 4294967295 134512640 134569956 3221224400 3221214512 1131297236 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 23999 13073 16 0 210286 0
vsize: 841208
[startup+190.02 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 18028 44 0 0 25 0 11 0 490291130 861396992 24089 4294967295 134512640 134569956 3221224400 3221214848 1131236989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24089 13073 16 0 210286 0
vsize: 841208
[startup+200.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 18998 44 0 0 25 0 11 0 490291130 861396992 24089 4294967295 134512640 134569956 3221224400 3221214896 1131350693 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24089 13073 16 0 210286 0
vsize: 841208
[startup+210.021 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 19963 44 0 0 25 0 11 0 490291130 861396992 24089 4294967295 134512640 134569956 3221224400 3221214848 1131236930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24089 13073 16 0 210286 0
vsize: 841208
[startup+220.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 20945 44 0 0 25 0 11 0 490291130 861396992 24182 4294967295 134512640 134569956 3221224400 3221214800 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24182 13073 16 0 210286 0
vsize: 841208
[startup+230.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 21935 44 0 0 25 0 11 0 490291130 861396992 24206 4294967295 134512640 134569956 3221224400 3221214800 1131236930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24206 13073 16 0 210286 0
vsize: 841208
[startup+240.023 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 22926 44 0 0 25 0 11 0 490291130 861396992 24227 4294967295 134512640 134569956 3221224400 3221214752 1131257795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24227 13073 16 0 210286 0
vsize: 841208
[startup+250.022 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 23916 45 0 0 25 0 11 0 490291130 861396992 24239 4294967295 134512640 134569956 3221224400 3221214848 1131351392 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210302 24239 13073 16 0 210286 0
vsize: 841208
[startup+260.023 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 24907 46 0 0 25 0 11 0 490291130 861396992 24249 4294967295 134512640 134569956 3221224400 3221214752 1131257753 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24249 13073 16 0 210286 0
vsize: 841208
[startup+270.024 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11712
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18080 3 1 0 25900 46 0 0 25 0 11 0 490291130 861396992 24269 4294967295 134512640 134569956 3221224400 3221214416 1131297065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24269 13073 16 0 210286 0
vsize: 841208
[startup+280.024 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11713
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 26882 47 0 0 25 0 11 0 490291130 861396992 24282 4294967295 134512640 134569956 3221224400 3221214848 1131236975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24282 13073 16 0 210286 0
vsize: 841208
[startup+290.025 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11713
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 27845 47 0 0 25 0 11 0 490291130 861396992 24289 4294967295 134512640 134569956 3221224400 3221214800 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24289 13073 16 0 210286 0
vsize: 841208
[startup+300.026 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11715
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 28817 47 0 0 25 0 11 0 490291130 861396992 24293 4294967295 134512640 134569956 3221224400 3221214848 1131236975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24293 13073 16 0 210286 0
vsize: 841208
[startup+310.026 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11715
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 29795 47 0 0 25 0 11 0 490291130 861396992 24514 4294967295 134512640 134569956 3221224400 3221214848 1131236979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24514 13073 16 0 210286 0
vsize: 841208
[startup+320.027 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11715
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 30784 47 0 0 25 0 11 0 490291130 861396992 24520 4294967295 134512640 134569956 3221224400 3221214752 1131258066 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24520 13073 16 0 210286 0
vsize: 841208
[startup+330.028 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11715
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 31776 48 0 0 25 0 11 0 490291130 861396992 24541 4294967295 134512640 134569956 3221224400 3221214800 1131236967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24541 13073 16 0 210286 0
vsize: 841208
[startup+340.028 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 32757 48 0 0 25 0 11 0 490291130 861396992 24564 4294967295 134512640 134569956 3221224400 3221214800 1131257907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24564 13073 16 0 210286 0
vsize: 841208
[startup+350.029 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 33721 48 0 0 25 0 11 0 490291130 861396992 24569 4294967295 134512640 134569956 3221224400 3221214892 1131236915 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210302 24569 13073 16 0 210286 0
vsize: 841208
[startup+360.03 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 34684 48 0 0 25 0 11 0 490291130 861396992 24572 4294967295 134512640 134569956 3221224400 3221214800 1131258610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24572 13073 16 0 210286 0
vsize: 841208
[startup+370.031 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 35672 49 0 0 25 0 11 0 490291130 861396992 24783 4294967295 134512640 134569956 3221224400 3221214800 1131257452 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210302 24783 13073 16 0 210286 0
vsize: 841208
[startup+380.031 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 36667 49 0 0 25 0 11 0 490291130 861396992 24789 4294967295 134512640 134569956 3221224400 3221214672 1131387382 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24789 13073 16 0 210286 0
vsize: 841208
[startup+390.134 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 37670 50 0 0 25 0 11 0 490291130 861396992 24796 4294967295 134512640 134569956 3221224400 3221214600 1131523886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24796 13073 16 0 210286 0
vsize: 841208
[startup+400.134 s]
Raw data (loadavg): 1.00 0.98 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 38664 50 0 0 25 0 11 0 490291130 861396992 24797 4294967295 134512640 134569956 3221224400 3221214512 1131296954 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24797 13073 16 0 210286 0
vsize: 841208
[startup+410.135 s]
Raw data (loadavg): 1.08 0.99 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 39660 50 0 0 25 0 11 0 490291130 861396992 24802 4294967295 134512640 134569956 3221224400 3221214496 1131297065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24802 13073 16 0 210286 0
vsize: 841208
[startup+420.136 s]
Raw data (loadavg): 1.07 0.99 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 40656 50 0 0 25 0 11 0 490291130 861396992 24825 4294967295 134512640 134569956 3221224400 3221214600 1131513635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24825 13073 16 0 210286 0
vsize: 841208
[startup+430.137 s]
Raw data (loadavg): 1.06 0.99 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 41654 50 0 0 25 0 11 0 490291130 861396992 24833 4294967295 134512640 134569956 3221224400 3221214512 1131297793 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210302 24833 13073 16 0 210286 0
vsize: 841208
[startup+440.14 s]
Raw data (loadavg): 1.05 0.99 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 42652 50 0 0 25 0 11 0 490291130 861396992 24833 4294967295 134512640 134569956 3221224400 3221214616 1131464124 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24833 13073 16 0 210286 0
vsize: 841208
[startup+450.14 s]
Raw data (loadavg): 1.04 0.99 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 43649 50 0 0 25 0 11 0 490291130 861396992 24834 4294967295 134512640 134569956 3221224400 3221214512 1131297335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210302 24834 13073 16 0 210286 0
vsize: 841208
[startup+460.141 s]
Raw data (loadavg): 1.03 0.99 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 44647 50 0 0 25 0 11 0 490291130 861396992 24834 4294967295 134512640 134569956 3221224400 3221214616 1131464191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210302 24834 13073 16 0 210286 0
vsize: 841208
[startup+470.142 s]
Raw data (loadavg): 1.03 0.99 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 45645 50 0 0 25 0 11 0 490291130 861396992 24834 4294967295 134512640 134569956 3221224400 3221214512 1131296909 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24834 13073 16 0 210286 0
vsize: 841208
[startup+480.142 s]
Raw data (loadavg): 1.02 0.99 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 46644 50 0 0 25 0 11 0 490291130 861396992 24834 4294967295 134512640 134569956 3221224400 3221214512 1131297492 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24834 13073 16 0 210286 0
vsize: 841208
[startup+490.143 s]
Raw data (loadavg): 1.02 0.99 0.96 2/64 11716
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 47629 51 0 0 24 0 11 0 490291130 861396992 24834 4294967295 134512640 134569956 3221224400 3221214416 1080019747 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210302 24834 13073 16 0 210286 0
vsize: 841208
[startup+500.143 s]
Raw data (loadavg): 1.02 0.99 0.96 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 48584 51 0 0 25 0 11 0 490291130 863494144 25386 4294967295 134512640 134569956 3221224400 3221214752 1131257975 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25386 13073 16 0 210798 0
vsize: 843256
[startup+510.144 s]
Raw data (loadavg): 1.01 0.99 0.96 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 49533 51 0 0 24 0 11 0 490291130 863494144 25386 4294967295 134512640 134569956 3221224400 3221214752 1131258772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25386 13073 16 0 210798 0
vsize: 843256
[startup+520.144 s]
Raw data (loadavg): 1.01 0.99 0.96 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 50492 52 0 0 25 0 11 0 490291130 863494144 25493 4294967295 134512640 134569956 3221224400 3221214752 1131258291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210814 25493 13073 16 0 210798 0
vsize: 843256
[startup+530.145 s]
Raw data (loadavg): 1.01 0.99 0.96 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 51477 52 0 0 25 0 11 0 490291130 863494144 25709 4294967295 134512640 134569956 3221224400 3221214752 1131257738 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25709 13073 16 0 210798 0
vsize: 843256
[startup+540.145 s]
Raw data (loadavg): 1.01 0.99 0.96 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 52470 52 0 0 25 0 11 0 490291130 863494144 25719 4294967295 134512640 134569956 3221224400 3221214752 1131257934 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25719 13073 16 0 210798 0
vsize: 843256
[startup+550.146 s]
Raw data (loadavg): 1.00 0.99 0.96 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 53464 53 0 0 25 0 11 0 490291130 863494144 25731 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25731 13073 16 0 210798 0
vsize: 843256
[startup+560.147 s]
Raw data (loadavg): 1.00 0.99 0.96 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 54458 53 0 0 25 0 11 0 490291130 863494144 25739 4294967295 134512640 134569956 3221224400 3221214752 1131258622 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25739 13073 16 0 210798 0
vsize: 843256
[startup+570.154 s]
Raw data (loadavg): 1.00 0.99 0.96 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 55451 54 0 0 25 0 11 0 490291130 863494144 25749 4294967295 134512640 134569956 3221224400 3221214752 1131257795 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25749 13073 16 0 210798 0
vsize: 843256
[startup+580.154 s]
Raw data (loadavg): 1.00 0.99 0.96 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 56444 54 0 0 25 0 11 0 490291130 863494144 25755 4294967295 134512640 134569956 3221224400 3221214848 1131351396 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210814 25755 13073 16 0 210798 0
vsize: 843256
[startup+590.154 s]
Raw data (loadavg): 1.00 0.99 0.96 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 57437 54 0 0 25 0 11 0 490291130 863494144 25766 4294967295 134512640 134569956 3221224400 3221214752 1131257375 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25766 13073 16 0 210798 0
vsize: 843256
[startup+600.155 s]
Raw data (loadavg): 1.07 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 58433 54 0 0 25 0 11 0 490291130 863494144 25781 4294967295 134512640 134569956 3221224400 3221214752 1131258610 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25781 13073 16 0 210798 0
vsize: 843256
[startup+610.16 s]
Raw data (loadavg): 1.06 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 59426 54 0 0 25 0 11 0 490291130 863494144 25782 4294967295 134512640 134569956 3221224400 3221214752 1131258241 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25782 13073 16 0 210798 0
vsize: 843256
[startup+620.159 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 60416 55 0 0 25 0 11 0 490291130 863494144 25782 4294967295 134512640 134569956 3221224400 3221214752 1131257379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25782 13073 16 0 210798 0
vsize: 843256
[startup+630.16 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 61406 55 0 0 25 0 11 0 490291130 863494144 25785 4294967295 134512640 134569956 3221224400 3221214752 1131257926 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25785 13073 16 0 210798 0
vsize: 843256
[startup+640.161 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 62399 55 0 0 25 0 11 0 490291130 863494144 25813 4294967295 134512640 134569956 3221224400 3221214800 1131236927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25813 13073 16 0 210798 0
vsize: 843256
[startup+650.168 s]
Raw data (loadavg): 1.03 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 63390 56 0 0 25 0 11 0 490291130 863494144 25815 4294967295 134512640 134569956 3221224400 3221214752 1131257952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25815 13073 16 0 210798 0
vsize: 843256
[startup+660.169 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 64382 56 0 0 25 0 11 0 490291130 863494144 25839 4294967295 134512640 134569956 3221224400 3221214752 1131257786 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25839 13073 16 0 210798 0
vsize: 843256
[startup+670.17 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 65374 57 0 0 25 0 11 0 490291130 863494144 25862 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25862 13073 16 0 210798 0
vsize: 843256
[startup+680.171 s]
Raw data (loadavg): 1.02 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 66368 57 0 0 25 0 11 0 490291130 863494144 25871 4294967295 134512640 134569956 3221224400 3221214752 1131257713 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25871 13073 16 0 210798 0
vsize: 843256
[startup+690.171 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 67364 58 0 0 25 0 11 0 490291130 863494144 25886 4294967295 134512640 134569956 3221224400 3221214752 1131257484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25886 13073 16 0 210798 0
vsize: 843256
[startup+700.172 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) S 11698 32461 32460 0 -1 0 18081 3 1 0 68359 58 0 0 23 0 11 0 490291130 863494144 25891 4294967295 134512640 134569956 3221224400 3221213496 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25891 13073 16 0 210798 0
vsize: 843256
[startup+710.173 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 69353 59 0 0 25 0 11 0 490291130 863494144 25893 4294967295 134512640 134569956 3221224400 3221214800 1131237041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25893 13073 16 0 210798 0
vsize: 843256
[startup+720.174 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 70346 59 0 0 25 0 11 0 490291130 863494144 25894 4294967295 134512640 134569956 3221224400 3221214752 1131257371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25894 13073 16 0 210798 0
vsize: 843256
[startup+730.173 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 71343 60 0 0 25 0 11 0 490291130 863494144 25909 4294967295 134512640 134569956 3221224400 3221214624 1131407564 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25909 13073 16 0 210798 0
vsize: 843256
[startup+740.174 s]
Raw data (loadavg): 1.08 1.02 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 72337 60 0 0 25 0 11 0 490291130 863494144 25910 4294967295 134512640 134569956 3221224400 3221214496 1131297026 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25910 13073 16 0 210798 0
vsize: 843256
[startup+750.174 s]
Raw data (loadavg): 1.07 1.02 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 73330 60 0 0 25 0 11 0 490291130 863494144 25913 4294967295 134512640 134569956 3221224400 3221214752 1131258075 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25913 13073 16 0 210798 0
vsize: 843256
[startup+760.174 s]
Raw data (loadavg): 1.06 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 74321 61 0 0 25 0 11 0 490291130 863494144 25919 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25919 13073 16 0 210798 0
vsize: 843256
[startup+770.175 s]
Raw data (loadavg): 1.05 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 75311 61 0 0 25 0 11 0 490291130 863494144 25952 4294967295 134512640 134569956 3221224400 3221214752 1131257379 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25952 13073 16 0 210798 0
vsize: 843256
[startup+780.175 s]
Raw data (loadavg): 1.04 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 76306 62 0 0 25 0 11 0 490291130 863494144 25958 4294967295 134512640 134569956 3221224400 3221214752 1131257406 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25958 13073 16 0 210798 0
vsize: 843256
[startup+790.176 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 77299 62 0 0 25 0 11 0 490291130 863494144 25972 4294967295 134512640 134569956 3221224400 3221214844 1131309472 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25972 13073 16 0 210798 0
vsize: 843256
[startup+800.176 s]
Raw data (loadavg): 1.03 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 78293 62 0 0 25 0 11 0 490291130 863494144 25982 4294967295 134512640 134569956 3221224400 3221214752 1131257371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25982 13073 16 0 210798 0
vsize: 843256
[startup+810.178 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 79288 63 0 0 25 0 11 0 490291130 863494144 25993 4294967295 134512640 134569956 3221224400 3221214752 1131258679 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 25993 13073 16 0 210798 0
vsize: 843256
[startup+820.178 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 80281 63 0 0 25 0 11 0 490291130 863494144 26003 4294967295 134512640 134569956 3221224400 3221214800 1131237115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26003 13073 16 0 210798 0
vsize: 843256
[startup+830.178 s]
Raw data (loadavg): 1.02 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 81274 64 0 0 25 0 11 0 490291130 863494144 26003 4294967295 134512640 134569956 3221224400 3221214800 1131237041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26003 13073 16 0 210798 0
vsize: 843256
[startup+840.179 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 82268 64 0 0 25 0 11 0 490291130 863494144 26021 4294967295 134512640 134569956 3221224400 3221214800 1131237041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26021 13073 16 0 210798 0
vsize: 843256
[startup+850.18 s]
Raw data (loadavg): 1.01 1.01 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 83264 64 0 0 25 0 11 0 490291130 863494144 26030 4294967295 134512640 134569956 3221224400 3221214752 1131258027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26030 13073 16 0 210798 0
vsize: 843256
[startup+860.181 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 84257 65 0 0 25 0 11 0 490291130 863494144 26034 4294967295 134512640 134569956 3221224400 3221214800 1131236930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26034 13073 16 0 210798 0
vsize: 843256
[startup+870.182 s]
Raw data (loadavg): 1.01 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 85249 65 0 0 25 0 11 0 490291130 863494144 26058 4294967295 134512640 134569956 3221224400 3221214752 1131257371 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26058 13073 16 0 210798 0
vsize: 843256
[startup+880.182 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 86242 65 0 0 25 0 11 0 490291130 863494144 26088 4294967295 134512640 134569956 3221224400 3221214800 1131236930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26088 13073 16 0 210798 0
vsize: 843256
[startup+890.182 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 87238 65 0 0 25 0 11 0 490291130 863494144 26095 4294967295 134512640 134569956 3221224400 3221214752 1131257452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26095 13073 16 0 210798 0
vsize: 843256
[startup+900.182 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 88232 65 0 0 25 0 11 0 490291130 863494144 26105 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26105 13073 16 0 210798 0
vsize: 843256
[startup+910.184 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 89225 66 0 0 25 0 11 0 490291130 863494144 26131 4294967295 134512640 134569956 3221224400 3221214800 1131237091 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26131 13073 16 0 210798 0
vsize: 843256
[startup+920.185 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 90219 66 0 0 25 0 11 0 490291130 863494144 26141 4294967295 134512640 134569956 3221224400 3221214752 1131258657 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26141 13073 16 0 210798 0
vsize: 843256
[startup+930.185 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 91215 67 0 0 25 0 11 0 490291130 863494144 26160 4294967295 134512640 134569956 3221224400 3221214752 1131257801 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26160 13073 16 0 210798 0
vsize: 843256
[startup+940.185 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 92209 67 0 0 25 0 11 0 490291130 863494144 26163 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26163 13073 16 0 210798 0
vsize: 843256
[startup+950.186 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 93203 67 0 0 25 0 11 0 490291130 863494144 26171 4294967295 134512640 134569956 3221224400 3221214752 1131257895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26171 13073 16 0 210798 0
vsize: 843256
[startup+960.186 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 94197 68 0 0 25 0 11 0 490291130 863494144 26180 4294967295 134512640 134569956 3221224400 3221214848 1131350824 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26180 13073 16 0 210798 0
vsize: 843256
[startup+970.187 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 95192 68 0 0 25 0 11 0 490291130 863494144 26194 4294967295 134512640 134569956 3221224400 3221214752 1131258676 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26194 13073 16 0 210798 0
vsize: 843256
[startup+980.187 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 96188 68 0 0 25 0 11 0 490291130 863494144 26203 4294967295 134512640 134569956 3221224400 3221214752 1131257388 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26203 13073 16 0 210798 0
vsize: 843256
[startup+990.187 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 97181 69 0 0 25 0 11 0 490291130 863494144 26213 4294967295 134512640 134569956 3221224400 3221214848 1131350506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26213 13073 16 0 210798 0
vsize: 843256
[startup+1000.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 98175 69 0 0 25 0 11 0 490291130 863494144 26213 4294967295 134512640 134569956 3221224400 3221214800 1131236985 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26213 13073 16 0 210798 0
vsize: 843256
[startup+1010.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 99170 70 0 0 25 0 11 0 490291130 863494144 26226 4294967295 134512640 134569956 3221224400 3221214800 1131236930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26226 13073 16 0 210798 0
vsize: 843256
[startup+1020.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 100165 70 0 0 25 0 11 0 490291130 863494144 26232 4294967295 134512640 134569956 3221224400 3221214752 1131257729 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26232 13073 16 0 210798 0
vsize: 843256
[startup+1030.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 101159 71 0 0 25 0 11 0 490291130 863494144 26233 4294967295 134512640 134569956 3221224400 3221214752 1131257890 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26233 13073 16 0 210798 0
vsize: 843256
[startup+1040.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 102153 71 0 0 25 0 11 0 490291130 863494144 26234 4294967295 134512640 134569956 3221224400 3221214752 1131258267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26234 13073 16 0 210798 0
vsize: 843256
[startup+1050.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 103148 72 0 0 25 0 11 0 490291130 863494144 26253 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26253 13073 16 0 210798 0
vsize: 843256
[startup+1060.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 104143 72 0 0 25 0 11 0 490291130 863494144 26261 4294967295 134512640 134569956 3221224400 3221214752 1131258107 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26261 13073 16 0 210798 0
vsize: 843256
[startup+1070.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 105137 73 0 0 25 0 11 0 490291130 863494144 26267 4294967295 134512640 134569956 3221224400 3221214824 1131309553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26267 13073 16 0 210798 0
vsize: 843256
[startup+1080.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 106130 73 0 0 25 0 11 0 490291130 863494144 26269 4294967295 134512640 134569956 3221224400 3221214824 1131309553 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26269 13073 16 0 210798 0
vsize: 843256
[startup+1090.19 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 107125 74 0 0 25 0 11 0 490291130 863494144 26286 4294967295 134512640 134569956 3221224400 3221214848 1131350816 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26286 13073 16 0 210798 0
vsize: 843256
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 108121 74 0 0 25 0 11 0 490291130 863494144 26290 4294967295 134512640 134569956 3221224400 3221214800 1131236927 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26290 13073 16 0 210798 0
vsize: 843256
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 109114 74 0 0 25 0 11 0 490291130 863494144 26293 4294967295 134512640 134569956 3221224400 3221214752 1131258027 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26293 13073 16 0 210798 0
vsize: 843256
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 110109 75 0 0 25 0 11 0 490291130 863494144 26293 4294967295 134512640 134569956 3221224400 3221214752 1131257895 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26293 13073 16 0 210798 0
vsize: 843256
[startup+1130.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 111114 75 0 0 25 0 11 0 490291130 863494144 26306 4294967295 134512640 134569956 3221224400 3221214824 1131309523 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26306 13073 16 0 210798 0
vsize: 843256
[startup+1140.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 112111 75 0 0 25 0 11 0 490291130 863494144 26310 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26310 13073 16 0 210798 0
vsize: 843256
[startup+1150.33 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 113107 76 0 0 25 0 11 0 490291130 863494144 26310 4294967295 134512640 134569956 3221224400 3221214752 1131257452 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26310 13073 16 0 210798 0
vsize: 843256
[startup+1160.33 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 114100 76 0 0 25 0 11 0 490291130 863494144 26325 4294967295 134512640 134569956 3221224400 3221214800 1131237097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26325 13073 16 0 210798 0
vsize: 843256
[startup+1170.33 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 115093 77 0 0 25 0 11 0 490291130 863494144 26352 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26352 13073 16 0 210798 0
vsize: 843256
[startup+1180.34 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 116088 78 0 0 25 0 11 0 490291130 863494144 26365 4294967295 134512640 134569956 3221224400 3221214752 1131257404 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26365 13073 16 0 210798 0
vsize: 843256
[startup+1190.34 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 117084 78 0 0 25 0 11 0 490291130 863494144 26366 4294967295 134512640 134569956 3221224400 3221214800 1131236967 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26366 13073 16 0 210798 0
vsize: 843256
[startup+1200.34 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 118080 79 0 0 25 0 11 0 490291130 863494144 26374 4294967295 134512640 134569956 3221224400 3221214752 1131258129 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26374 13073 16 0 210798 0
vsize: 843256
[startup+1210.34 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 119075 79 0 0 25 0 11 0 490291130 863494144 26383 4294967295 134512640 134569956 3221224400 3221214800 1131236930 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26383 13073 16 0 210798 0
vsize: 843256
[startup+1220.34 s]
Raw data (loadavg): 1.00 1.00 0.97 2/64 11717
Raw data (stat): 11699 (java) R 11698 32461 32460 0 -1 0 18081 3 1 0 120068 79 0 0 25 0 11 0 490291130 863494144 26398 4294967295 134512640 134569956 3221224400 3221214752 1131257849 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210814 26398 13073 16 0 210798 0
vsize: 843256
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1220.4 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 11719
Raw data (stat): 11699 (java) Z 11698 32461 32460 0 -1 1036 18081 12873 1 0 120068 79 2916 45 25 0 1 0 490291130 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): 1220.4
CPU time (s): 1231.1
CPU user time (s): 1229.85
CPU system time (s): 1.24881
CPU usage (%): 100.877
Max. virtual memory (Kb): 843256
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####