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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-bore3d.opb
MD5SUM2e72d5e95ef7d95d0e7b98fd7ceb407d
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function 1774
Biggest coefficient in the objective function 17582255505408
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 115871619043950
Number of bits of the sum of numbers in the objective function 47
Biggest number in a constraint 17582255505408
Number of bits of the biggest number in a constraint 44
Biggest sum of numbers in a constraint 115871619043950
Number of bits of the biggest sum of numbers47
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.31995
Number of variables6214
Total number of constraints244
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 constraints244
Minimum length of a constraint14
Maximum length of a constraint1460

Trace number 20181

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc17 THE 2005-04-21 20:19:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15596 boxname=wulflinc17 idbench=1200 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  2e72d5e95ef7d95d0e7b98fd7ceb407d  /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-bore3d.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-bore3d.opb
IDLAUNCH: 15596
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        562264 kB
Buffers:         23220 kB
Cached:         423268 kB
SwapCached:        408 kB
Active:         110576 kB
Inactive:       338488 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        562012 kB
SwapTotal:     2097892 kB
SwapFree:      2097056 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5856 kB
Slab:            17712 kB
Committed_AS:    63820 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 20:40:42 (client local time) WITH STATUS 143 IN 1254.55 SECONDS
stats: 15596 7 1254.55 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-bore3d.opb
c reading problem 
c [nbvar=6214]
c [nbconstr=244]
c time 15.678
c #vars     6214
c #clauses  415
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
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.94 0.90 2/55 4674
Raw data (stat): 4674 (runsolver) R 4673 20838 20837 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547917977 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.0027 s]
Raw data (loadavg): 0.87 0.94 0.90 2/64 4683
Raw data (stat): 4674 (java) S 4673 20838 20837 0 -1 0 18006 0 1 0 817 38 0 0 25 0 10 0 547917977 858144768 20866 4294967295 134512640 134569956 3221224400 3221213376 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209508 20867 13073 16 0 209492 0
vsize: 838032
[startup+20.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 4/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18090 0 1 0 1673 39 0 0 25 0 11 0 547917977 862113792 23057 4294967295 134512640 134569956 3221224400 3221214704 1130904140 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210477 23057 13073 16 0 210461 0
vsize: 841908
[startup+30.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18143 0 1 0 2613 40 0 0 25 0 11 0 547917977 864247808 23868 4294967295 134512640 134569956 3221224400 3221214544 1131552727 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210998 23868 13073 16 0 210982 0
vsize: 843992
[startup+40.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18144 0 1 0 3568 40 0 0 25 0 11 0 547917977 863166464 23651 4294967295 134512640 134569956 3221224400 3221214648 1131615956 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210734 23651 13073 16 0 210718 0
vsize: 842936
[startup+50.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18144 0 1 0 4516 40 0 0 25 0 11 0 547917977 863166464 23826 4294967295 134512640 134569956 3221224400 3221214688 1131305808 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210734 23826 13073 16 0 210718 0
vsize: 842936
[startup+60.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18144 0 1 0 5461 40 0 0 25 0 11 0 547917977 863166464 23888 4294967295 134512640 134569956 3221224400 3221214784 1131345430 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210734 23888 13073 16 0 210718 0
vsize: 842936
[startup+70.0055 s]
Raw data (loadavg): 0.98 0.96 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18144 0 1 0 6420 40 0 0 25 0 11 0 547917977 863166464 24059 4294967295 134512640 134569956 3221224400 3221214648 1131615952 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210734 24059 13073 16 0 210718 0
vsize: 842936
[startup+80.0047 s]
Raw data (loadavg): 0.99 0.96 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18144 0 1 0 7367 40 0 0 25 0 11 0 547917977 863166464 24336 4294967295 134512640 134569956 3221224400 3221214648 1131616097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210734 24336 13073 16 0 210718 0
vsize: 842936
[startup+90.0049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 8317 40 0 0 24 0 11 0 547917977 863166464 24539 4294967295 134512640 134569956 3221224400 3221214688 1131305863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 24539 13073 16 0 210718 0
vsize: 842936
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 9280 40 0 0 25 0 11 0 547917977 863166464 24667 4294967295 134512640 134569956 3221224400 3221214688 1131306402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 24667 13073 16 0 210718 0
vsize: 842936
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 10247 41 0 0 25 0 11 0 547917977 863166464 24796 4294967295 134512640 134569956 3221224400 3221214688 1131306742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210734 24796 13073 16 0 210718 0
vsize: 842936
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 11217 41 0 0 25 0 11 0 547917977 863166464 24914 4294967295 134512640 134569956 3221224400 3221214784 1131344306 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 24914 13073 16 0 210718 0
vsize: 842936
[startup+130.005 s]
Raw data (loadavg): 1.07 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 12184 41 0 0 25 0 11 0 547917977 863166464 24975 4294967295 134512640 134569956 3221224400 3221214688 1131306173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 24975 13073 16 0 210718 0
vsize: 842936
[startup+140.004 s]
Raw data (loadavg): 1.06 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 13154 42 0 0 25 0 11 0 547917977 863166464 25069 4294967295 134512640 134569956 3221224400 3221214552 1131664298 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 25069 13073 16 0 210718 0
vsize: 842936
[startup+150.006 s]
Raw data (loadavg): 1.05 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 14130 42 0 0 25 0 11 0 547917977 863166464 25154 4294967295 134512640 134569956 3221224400 3221214648 1131617799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 25154 13073 16 0 210718 0
vsize: 842936
[startup+160.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 15103 42 0 0 25 0 11 0 547917977 863166464 25207 4294967295 134512640 134569956 3221224400 3221214688 1131530596 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 25207 13073 16 0 210718 0
vsize: 842936
[startup+170.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 16074 42 0 0 25 0 11 0 547917977 863166464 25329 4294967295 134512640 134569956 3221224400 3221214648 1131615936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210734 25329 13073 16 0 210718 0
vsize: 842936
[startup+180.005 s]
Raw data (loadavg): 1.03 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 17043 42 0 0 25 0 11 0 547917977 863166464 25457 4294967295 134512640 134569956 3221224400 3221214648 1131617784 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 25457 13073 16 0 210718 0
vsize: 842936
[startup+190.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 18010 43 0 0 25 0 11 0 547917977 863166464 25576 4294967295 134512640 134569956 3221224400 3221214648 1131615952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 25576 13073 16 0 210718 0
vsize: 842936
[startup+200.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 18965 43 0 0 25 0 11 0 547917977 863166464 25643 4294967295 134512640 134569956 3221224400 3221214648 1131617847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 25643 13073 16 0 210718 0
vsize: 842936
[startup+210.008 s]
Raw data (loadavg): 1.02 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 19926 43 0 0 25 0 11 0 547917977 863166464 25764 4294967295 134512640 134569956 3221224400 3221214648 1131615936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 25764 13073 16 0 210718 0
vsize: 842936
[startup+220.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 20888 43 0 0 25 0 11 0 547917977 863166464 25875 4294967295 134512640 134569956 3221224400 3221214648 1131663884 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 25875 13073 16 0 210718 0
vsize: 842936
[startup+230.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 21850 43 0 0 25 0 11 0 547917977 863166464 26016 4294967295 134512640 134569956 3221224400 3221214544 1131551590 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210734 26016 13073 16 0 210718 0
vsize: 842936
[startup+240.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 22812 43 0 0 25 0 11 0 547917977 863166464 26132 4294967295 134512640 134569956 3221224400 3221214648 1131615961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 26132 13073 16 0 210718 0
vsize: 842936
[startup+250.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/65 4684
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 23763 44 0 0 25 0 11 0 547917977 863166464 26275 4294967295 134512640 134569956 3221224400 3221214620 1080203717 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 26275 13073 16 0 210718 0
vsize: 842936
[startup+260.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 24725 45 0 0 25 0 11 0 547917977 863166464 26418 4294967295 134512640 134569956 3221224400 3221214544 1131553592 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 26418 13073 16 0 210718 0
vsize: 842936
[startup+270.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 25686 45 0 0 25 0 11 0 547917977 863166464 26555 4294967295 134512640 134569956 3221224400 3221214648 1131615959 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 26555 13073 16 0 210718 0
vsize: 842936
[startup+280.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 26648 45 0 0 25 0 11 0 547917977 863166464 26667 4294967295 134512640 134569956 3221224400 3221214552 1131242781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 26667 13073 16 0 210718 0
vsize: 842936
[startup+290.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 27600 45 0 0 24 0 11 0 547917977 863166464 26895 4294967295 134512640 134569956 3221224400 3221214676 1131371891 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 26895 13073 16 0 210718 0
vsize: 842936
[startup+300.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 28561 46 0 0 25 0 11 0 547917977 863166464 26991 4294967295 134512640 134569956 3221224400 3221214648 1131615961 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 26991 13073 16 0 210718 0
vsize: 842936
[startup+310.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 29488 46 0 0 25 0 11 0 547917977 863166464 27130 4294967295 134512640 134569956 3221224400 3221214688 1131306402 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 27130 13073 16 0 210718 0
vsize: 842936
[startup+320.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 30410 47 0 0 25 0 11 0 547917977 863166464 27489 4294967295 134512640 134569956 3221224400 3221214688 1131305769 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 27489 13073 16 0 210718 0
vsize: 842936
[startup+330.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 31361 47 0 0 25 0 11 0 547917977 863166464 27849 4294967295 134512640 134569956 3221224400 3221214688 1131306812 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 27849 13073 16 0 210718 0
vsize: 842936
[startup+340.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 32340 47 0 0 25 0 11 0 547917977 863166464 27988 4294967295 134512640 134569956 3221224400 3221214784 1131344352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 27988 13073 16 0 210718 0
vsize: 842936
[startup+350.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 33321 48 0 0 25 0 11 0 547917977 863166464 28032 4294967295 134512640 134569956 3221224400 3221214688 1131306398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28032 13073 16 0 210718 0
vsize: 842936
[startup+360.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 34301 48 0 0 25 0 11 0 547917977 863166464 28044 4294967295 134512640 134569956 3221224400 3221214784 1131344417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28044 13073 16 0 210718 0
vsize: 842936
[startup+370.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 35283 49 0 0 25 0 11 0 547917977 863166464 28093 4294967295 134512640 134569956 3221224400 3221214784 1131344345 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28093 13073 16 0 210718 0
vsize: 842936
[startup+380.087 s]
Raw data (loadavg): 1.00 0.99 0.91 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 36266 49 0 0 25 0 11 0 547917977 863166464 28150 4294967295 134512640 134569956 3221224400 3221214688 1131306809 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28150 13073 16 0 210718 0
vsize: 842936
[startup+390.093 s]
Raw data (loadavg): 1.07 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 37250 50 0 0 25 0 11 0 547917977 863166464 28207 4294967295 134512640 134569956 3221224400 3221214552 1131242781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28207 13073 16 0 210718 0
vsize: 842936
[startup+400.105 s]
Raw data (loadavg): 1.06 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 38236 50 0 0 24 0 11 0 547917977 863166464 28304 4294967295 134512640 134569956 3221224400 3221214688 1131306221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28304 13073 16 0 210718 0
vsize: 842936
[startup+410.106 s]
Raw data (loadavg): 1.05 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 39220 50 0 0 25 0 11 0 547917977 863166464 28355 4294967295 134512640 134569956 3221224400 3221214688 1131306281 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28355 13073 16 0 210718 0
vsize: 842936
[startup+420.116 s]
Raw data (loadavg): 1.04 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 40203 51 0 0 25 0 11 0 547917977 863166464 28358 4294967295 134512640 134569956 3221224400 3221214688 1131306221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28358 13073 16 0 210718 0
vsize: 842936
[startup+430.126 s]
Raw data (loadavg): 1.04 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 41187 51 0 0 25 0 11 0 547917977 863166464 28415 4294967295 134512640 134569956 3221224400 3221214688 1131306274 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28415 13073 16 0 210718 0
vsize: 842936
[startup+440.127 s]
Raw data (loadavg): 1.03 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 42170 51 0 0 25 0 11 0 547917977 863166464 28500 4294967295 134512640 134569956 3221224400 3221214784 1131344329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28500 13073 16 0 210718 0
vsize: 842936
[startup+450.126 s]
Raw data (loadavg): 1.02 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 43152 52 0 0 25 0 11 0 547917977 863166464 28562 4294967295 134512640 134569956 3221224400 3221214688 1131307033 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28562 13073 16 0 210718 0
vsize: 842936
[startup+460.134 s]
Raw data (loadavg): 1.02 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 44136 52 0 0 25 0 11 0 547917977 863166464 28564 4294967295 134512640 134569956 3221224400 3221214684 1131300103 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28564 13073 16 0 210718 0
vsize: 842936
[startup+470.134 s]
Raw data (loadavg): 1.02 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 45119 53 0 0 25 0 11 0 547917977 863166464 28729 4294967295 134512640 134569956 3221224400 3221214784 1131345278 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28729 13073 16 0 210718 0
vsize: 842936
[startup+480.133 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 46108 53 0 0 25 0 11 0 547917977 863166464 28747 4294967295 134512640 134569956 3221224400 3221214688 1131306343 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28747 13073 16 0 210718 0
vsize: 842936
[startup+490.134 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 47090 53 0 0 25 0 11 0 547917977 863166464 28809 4294967295 134512640 134569956 3221224400 3221214544 1131551943 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28809 13073 16 0 210718 0
vsize: 842936
[startup+500.135 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 48070 54 0 0 25 0 11 0 547917977 863166464 28816 4294967295 134512640 134569956 3221224400 3221214784 1131345430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28816 13073 16 0 210718 0
vsize: 842936
[startup+510.135 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 49041 54 0 0 24 0 11 0 547917977 863166464 28850 4294967295 134512640 134569956 3221224400 3221214784 1131349132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28850 13073 16 0 210718 0
vsize: 842936
[startup+520.135 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 50016 54 0 0 25 0 11 0 547917977 863166464 28963 4294967295 134512640 134569956 3221224400 3221214784 1131346253 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 28963 13073 16 0 210718 0
vsize: 842936
[startup+530.136 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 50993 55 0 0 25 0 11 0 547917977 863166464 29066 4294967295 134512640 134569956 3221224400 3221214688 1131306221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29066 13073 16 0 210718 0
vsize: 842936
[startup+540.136 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 51970 55 0 0 25 0 11 0 547917977 863166464 29141 4294967295 134512640 134569956 3221224400 3221214648 1131616097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29141 13073 16 0 210718 0
vsize: 842936
[startup+550.136 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4686
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 52945 55 0 0 24 0 11 0 547917977 863166464 29222 4294967295 134512640 134569956 3221224400 3221214688 1131306688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29222 13073 16 0 210718 0
vsize: 842936
[startup+560.136 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 53922 56 0 0 25 0 11 0 547917977 863166464 29282 4294967295 134512640 134569956 3221224400 3221214784 1131345300 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29282 13073 16 0 210718 0
vsize: 842936
[startup+570.137 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 54900 56 0 0 25 0 11 0 547917977 863166464 29352 4294967295 134512640 134569956 3221224400 3221214688 1131305765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29352 13073 16 0 210718 0
vsize: 842936
[startup+580.137 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 55877 57 0 0 25 0 11 0 547917977 863166464 29408 4294967295 134512640 134569956 3221224400 3221214688 1131305902 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29408 13073 16 0 210718 0
vsize: 842936
[startup+590.137 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 56855 57 0 0 25 0 11 0 547917977 863166464 29466 4294967295 134512640 134569956 3221224400 3221214648 1131617799 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29466 13073 16 0 210718 0
vsize: 842936
[startup+600.137 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 57826 57 0 0 25 0 11 0 547917977 863166464 29533 4294967295 134512640 134569956 3221224400 3221214544 1131551576 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29533 13073 16 0 210718 0
vsize: 842936
[startup+610.138 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 58804 57 0 0 25 0 11 0 547917977 863166464 29601 4294967295 134512640 134569956 3221224400 3221214648 1131615936 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29601 13073 16 0 210718 0
vsize: 842936
[startup+620.139 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 59773 58 0 0 25 0 11 0 547917977 863166464 29654 4294967295 134512640 134569956 3221224400 3221214552 1131242939 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29654 13073 16 0 210718 0
vsize: 842936
[startup+630.139 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 60742 58 0 0 25 0 11 0 547917977 863166464 29798 4294967295 134512640 134569956 3221224400 3221214780 1131307054 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29798 13073 16 0 210718 0
vsize: 842936
[startup+640.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 61713 58 0 0 25 0 11 0 547917977 863166464 29902 4294967295 134512640 134569956 3221224400 3221214688 1131305761 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29902 13073 16 0 210718 0
vsize: 842936
[startup+650.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 62683 59 0 0 25 0 11 0 547917977 863166464 29993 4294967295 134512640 134569956 3221224400 3221214688 1131306221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 29993 13073 16 0 210718 0
vsize: 842936
[startup+660.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 63658 59 0 0 25 0 11 0 547917977 863166464 30152 4294967295 134512640 134569956 3221224400 3221214552 1131242743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 30152 13073 16 0 210718 0
vsize: 842936
[startup+670.142 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) S 4673 20838 20837 0 -1 0 18145 0 1 0 64633 59 0 0 25 0 11 0 547917977 863166464 30200 4294967295 134512640 134569956 3221224400 3221213176 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 30200 13073 16 0 210718 0
vsize: 842936
[startup+680.142 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 65602 60 0 0 25 0 11 0 547917977 863166464 30255 4294967295 134512640 134569956 3221224400 3221214496 1131575620 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 30255 13073 16 0 210718 0
vsize: 842936
[startup+690.143 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 66561 60 0 0 25 0 11 0 547917977 863166464 30311 4294967295 134512640 134569956 3221224400 3221214648 1131615952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 30311 13073 16 0 210718 0
vsize: 842936
[startup+700.144 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 67516 60 0 0 25 0 11 0 547917977 863166464 30534 4294967295 134512640 134569956 3221224400 3221214544 1131552882 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 30534 13073 16 0 210718 0
vsize: 842936
[startup+710.144 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) S 4673 20838 20837 0 -1 0 18145 0 1 0 68463 61 0 0 25 0 11 0 547917977 863166464 30684 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 30684 13073 16 0 210718 0
vsize: 842936
[startup+720.144 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 69414 61 0 0 25 0 11 0 547917977 863166464 30845 4294967295 134512640 134569956 3221224400 3221214552 1131243401 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 30845 13073 16 0 210718 0
vsize: 842936
[startup+730.144 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 70368 61 0 0 25 0 11 0 547917977 863166464 30982 4294967295 134512640 134569956 3221224400 3221214544 1131552859 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 30982 13073 16 0 210718 0
vsize: 842936
[startup+740.144 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 71313 62 0 0 25 0 11 0 547917977 863166464 31160 4294967295 134512640 134569956 3221224400 3221214688 1131306123 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 31160 13073 16 0 210718 0
vsize: 842936
[startup+750.144 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 72261 62 0 0 25 0 11 0 547917977 863166464 31313 4294967295 134512640 134569956 3221224400 3221214552 1131242706 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 31313 13073 16 0 210718 0
vsize: 842936
[startup+760.145 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 73216 62 0 0 25 0 11 0 547917977 863166464 31525 4294967295 134512640 134569956 3221224400 3221214552 1131242972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 31525 13073 16 0 210718 0
vsize: 842936
[startup+770.145 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 74176 62 0 0 25 0 11 0 547917977 863166464 31720 4294967295 134512640 134569956 3221224400 3221214744 1131388224 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 31720 13073 16 0 210718 0
vsize: 842936
[startup+780.145 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 75135 63 0 0 25 0 11 0 547917977 863166464 31876 4294967295 134512640 134569956 3221224400 3221214392 1131622047 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 31876 13073 16 0 210718 0
vsize: 842936
[startup+790.145 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 76091 63 0 0 25 0 11 0 547917977 863166464 32041 4294967295 134512640 134569956 3221224400 3221214680 1131409115 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 32041 13073 16 0 210718 0
vsize: 842936
[startup+800.145 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 77045 63 0 0 25 0 11 0 547917977 863166464 32113 4294967295 134512640 134569956 3221224400 3221214544 1131551779 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 32113 13073 16 0 210718 0
vsize: 842936
[startup+810.154 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 78002 63 0 0 25 0 11 0 547917977 863166464 32215 4294967295 134512640 134569956 3221224400 3221214688 1131306781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 32215 13073 16 0 210718 0
vsize: 842936
[startup+820.154 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 78941 64 0 0 25 0 11 0 547917977 863166464 32406 4294967295 134512640 134569956 3221224400 3221214648 1131615952 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 32406 13073 16 0 210718 0
vsize: 842936
[startup+830.154 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 79889 64 0 0 24 0 11 0 547917977 863166464 32609 4294967295 134512640 134569956 3221224400 3221214688 1131306314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 32609 13073 16 0 210718 0
vsize: 842936
[startup+840.155 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 80838 64 0 0 25 0 11 0 547917977 863166464 32773 4294967295 134512640 134569956 3221224400 3221214688 1131306394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 32773 13073 16 0 210718 0
vsize: 842936
[startup+850.156 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4688
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 81790 64 0 0 25 0 11 0 547917977 863166464 32955 4294967295 134512640 134569956 3221224400 3221214784 1131344352 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 32955 13073 16 0 210718 0
vsize: 842936
[startup+860.156 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 82727 65 0 0 25 0 11 0 547917977 863166464 33224 4294967295 134512640 134569956 3221224400 3221214688 1131305863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 33224 13073 16 0 210718 0
vsize: 842936
[startup+870.157 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 83669 65 0 0 25 0 11 0 547917977 863166464 33438 4294967295 134512640 134569956 3221224400 3221214784 1131345430 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 33438 13073 16 0 210718 0
vsize: 842936
[startup+880.157 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 84627 66 0 0 25 0 11 0 547917977 863166464 33665 4294967295 134512640 134569956 3221224400 3221214688 1131306394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 33665 13073 16 0 210718 0
vsize: 842936
[startup+890.157 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 85596 66 0 0 25 0 11 0 547917977 863166464 33826 4294967295 134512640 134569956 3221224400 3221214688 1131306308 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 33826 13073 16 0 210718 0
vsize: 842936
[startup+900.156 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 86572 66 0 0 25 0 11 0 547917977 863166464 34024 4294967295 134512640 134569956 3221224400 3221214688 1131306730 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 34024 13073 16 0 210718 0
vsize: 842936
[startup+910.158 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 87545 67 0 0 25 0 11 0 547917977 863166464 34089 4294967295 134512640 134569956 3221224400 3221214688 1131306703 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 34089 13073 16 0 210718 0
vsize: 842936
[startup+920.158 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 88518 67 0 0 25 0 11 0 547917977 863166464 34202 4294967295 134512640 134569956 3221224400 3221214784 1131348284 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 34202 13073 16 0 210718 0
vsize: 842936
[startup+930.157 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 89487 67 0 0 25 0 11 0 547917977 863166464 34447 4294967295 134512640 134569956 3221224400 3221214552 1131242743 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 34447 13073 16 0 210718 0
vsize: 842936
[startup+940.159 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 90462 68 0 0 25 0 11 0 547917977 863166464 34706 4294967295 134512640 134569956 3221224400 3221214688 1131306221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 34706 13073 16 0 210718 0
vsize: 842936
[startup+950.159 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) S 4673 20838 20837 0 -1 0 18145 0 1 0 91437 68 0 0 25 0 11 0 547917977 863166464 34762 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 34762 13073 16 0 210718 0
vsize: 842936
[startup+960.159 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 92413 68 0 0 25 0 11 0 547917977 863166464 34925 4294967295 134512640 134569956 3221224400 3221214688 1131306688 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 34925 13073 16 0 210718 0
vsize: 842936
[startup+970.162 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 93381 69 0 0 25 0 11 0 547917977 863166464 34974 4294967295 134512640 134569956 3221224400 3221214600 1131298989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 34974 13073 16 0 210718 0
vsize: 842936
[startup+980.161 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 94345 69 0 0 25 0 11 0 547917977 863166464 35150 4294967295 134512640 134569956 3221224400 3221214544 1131663806 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 35150 13073 16 0 210718 0
vsize: 842936
[startup+990.161 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 95315 69 0 0 25 0 11 0 547917977 863166464 35225 4294967295 134512640 134569956 3221224400 3221214688 1131306714 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 35225 13073 16 0 210718 0
vsize: 842936
[startup+1000.16 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 96281 70 0 0 25 0 11 0 547917977 863166464 35655 4294967295 134512640 134569956 3221224400 3221214956 1131198819 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 35655 13073 16 0 210718 0
vsize: 842936
[startup+1010.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 97253 70 0 0 25 0 11 0 547917977 863166464 35723 4294967295 134512640 134569956 3221224400 3221214960 1131605268 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 35723 13073 16 0 210718 0
vsize: 842936
[startup+1020.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 98222 70 0 0 25 0 11 0 547917977 863166464 35942 4294967295 134512640 134569956 3221224400 3221214688 1131305765 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 35942 13073 16 0 210718 0
vsize: 842936
[startup+1030.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 99193 71 0 0 25 0 11 0 547917977 863166464 36196 4294967295 134512640 134569956 3221224400 3221214688 1131306221 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 36196 13073 16 0 210718 0
vsize: 842936
[startup+1040.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 100168 71 0 0 25 0 11 0 547917977 863166464 36264 4294967295 134512640 134569956 3221224400 3221214688 1131306697 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 36264 13073 16 0 210718 0
vsize: 842936
[startup+1050.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 101139 72 0 0 25 0 11 0 547917977 863166464 36489 4294967295 134512640 134569956 3221224400 3221214784 1131344417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 36489 13073 16 0 210718 0
vsize: 842936
[startup+1060.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) S 4673 20838 20837 0 -1 0 18145 0 1 0 102114 72 0 0 25 0 11 0 547917977 863166464 36538 4294967295 134512640 134569956 3221224400 3221213392 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 36538 13073 16 0 210718 0
vsize: 842936
[startup+1070.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 103084 72 0 0 25 0 11 0 547917977 863166464 36608 4294967295 134512640 134569956 3221224400 3221214688 1131306830 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 36608 13073 16 0 210718 0
vsize: 842936
[startup+1080.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 104060 72 0 0 25 0 11 0 547917977 863166464 36927 4294967295 134512640 134569956 3221224400 3221214784 1131344329 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 36927 13073 16 0 210718 0
vsize: 842936
[startup+1090.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 105035 73 0 0 25 0 11 0 547917977 863166464 36997 4294967295 134512640 134569956 3221224400 3221214784 1131345389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 36997 13073 16 0 210718 0
vsize: 842936
[startup+1100.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 106005 73 0 0 25 0 11 0 547917977 863166464 37089 4294967295 134512640 134569956 3221224400 3221214784 1131345444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 37089 13073 16 0 210718 0
vsize: 842936
[startup+1110.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 106970 73 0 0 25 0 11 0 547917977 863166464 37258 4294967295 134512640 134569956 3221224400 3221214784 1131346457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 37258 13073 16 0 210718 0
vsize: 842936
[startup+1120.17 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 107936 73 0 0 25 0 11 0 547917977 863166464 37521 4294967295 134512640 134569956 3221224400 3221214688 1131305855 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 37521 13073 16 0 210718 0
vsize: 842936
[startup+1130.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 108900 74 0 0 25 0 11 0 547917977 863166464 37558 4294967295 134512640 134569956 3221224400 3221214688 1131305821 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 37558 13073 16 0 210718 0
vsize: 842936
[startup+1140.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 109869 74 0 0 25 0 11 0 547917977 863166464 37927 4294967295 134512640 134569956 3221224400 3221214688 1131305855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210734 37927 13073 16 0 210718 0
vsize: 842936
[startup+1150.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4690
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 110843 74 0 0 25 0 11 0 547917977 863166464 38336 4294967295 134512640 134569956 3221224400 3221214756 1131197155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 38336 13073 16 0 210718 0
vsize: 842936
[startup+1160.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4692
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 111823 75 0 0 25 0 11 0 547917977 863166464 38391 4294967295 134512640 134569956 3221224400 3221214688 1131306314 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 38391 13073 16 0 210718 0
vsize: 842936
[startup+1170.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4692
Raw data (stat): 4674 (java) S 4673 20838 20837 0 -1 0 18145 0 1 0 112799 75 0 0 25 0 11 0 547917977 863166464 38428 4294967295 134512640 134569956 3221224400 3221213432 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 38428 13073 16 0 210718 0
vsize: 842936
[startup+1180.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4692
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 113772 75 0 0 25 0 11 0 547917977 863166464 38568 4294967295 134512640 134569956 3221224400 3221214688 1131306173 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 38568 13073 16 0 210718 0
vsize: 842936
[startup+1190.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4692
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 114748 75 0 0 25 0 11 0 547917977 863166464 38673 4294967295 134512640 134569956 3221224400 3221214688 1131306299 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 38673 13073 16 0 210718 0
vsize: 842936
[startup+1200.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4692
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 115721 76 0 0 25 0 11 0 547917977 863166464 38720 4294967295 134512640 134569956 3221224400 3221214688 1131306394 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 38720 13073 16 0 210718 0
vsize: 842936
[startup+1210.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4692
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 116693 76 0 0 25 0 11 0 547917977 863166464 38910 4294967295 134512640 134569956 3221224400 3221214784 1131344417 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 38910 13073 16 0 210718 0
vsize: 842936
[startup+1220.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4692
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 117662 76 0 0 25 0 11 0 547917977 863166464 38990 4294967295 134512640 134569956 3221224400 3221214784 1131345389 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 38990 13073 16 0 210718 0
vsize: 842936
[startup+1230.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4692
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 118632 77 0 0 25 0 11 0 547917977 863166464 39254 4294967295 134512640 134569956 3221224400 3221214688 1131305847 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 39254 13073 16 0 210718 0
vsize: 842936
[startup+1240.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4692
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 119605 77 0 0 25 0 11 0 547917977 863166464 39321 4294967295 134512640 134569956 3221224400 3221214688 1131306262 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 39321 13073 16 0 210718 0
vsize: 842936
[startup+1250.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 4692
Raw data (stat): 4674 (java) R 4673 20838 20837 0 -1 0 18145 0 1 0 120577 78 0 0 25 0 11 0 547917977 863166464 39530 4294967295 134512640 134569956 3221224400 3221214784 1131349538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210734 39530 13073 16 0 210718 0
vsize: 842936
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.31 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 4694
Raw data (stat): 4674 (java) Z 4673 20838 20837 0 -1 1036 18145 20620 1 0 120583 78 4742 51 25 0 1 0 547917977 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): 1250.31
CPU time (s): 1254.55
CPU user time (s): 1253.25
CPU system time (s): 1.2978
CPU usage (%): 100.339
Max. virtual memory (Kb): 843992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####