Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-misc05.opb
MD5SUM4f7891bf040f9fa135208e1a9808a8bc
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1430464
Optimality of the best value was proved NO
Number of terms in the objective function 21
Biggest coefficient in the objective function 1048576
Number of bits for the biggest coefficient in the objective function 21
Sum of the numbers in the objective function 2097151
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 5242880
Number of bits of the biggest number in a constraint 23
Biggest sum of numbers in a constraint 81788220
Number of bits of the biggest sum of numbers27
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.00309
Number of variables1320
Total number of constraints374
Number of constraints which are clauses155
Number of constraints which are cardinality constraints (but not clauses)82
Number of constraints which are nor clauses,nor cardinality constraints137
Minimum length of a constraint1
Maximum length of a constraint301

Trace number 19151

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        622252 kB
Buffers:         32504 kB
Cached:         352104 kB
SwapCached:         68 kB
Active:          74360 kB
Inactive:       313084 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        621972 kB
SwapTotal:     2097892 kB
SwapFree:      2097800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6880 kB
Slab:            19352 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 18:23:33 (client local time) WITH STATUS 143 IN 1235.82 SECONDS
stats: 16987 7 1235.82 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-misc05.opb
c reading problem 
c [nbvar=1320]
c [nbconstr=374]
c time 4.269
c #vars     1320
c #clauses  329
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.74 0.92 0.90 2/54 3634
Raw data (stat): 3634 (runsolver) R 3633 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 547092799 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.0015 s]
Raw data (loadavg): 0.94 0.96 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18089 0 1 0 556 40 0 0 25 0 11 0 547092799 860987392 20850 4294967295 134512640 134569956 3221224400 3221214464 1131308456 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210202 20850 13073 16 0 210186 0
vsize: 840808
[startup+20.0018 s]
Raw data (loadavg): 1.03 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18091 0 1 0 1503 40 0 0 25 0 11 0 547092799 860880896 20843 4294967295 134512640 134569956 3221224400 3221214680 1131216883 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 20843 13073 16 0 210160 0
vsize: 840704
[startup+30.0023 s]
Raw data (loadavg): 1.02 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 2431 40 0 0 25 0 11 0 547092799 860880896 20967 4294967295 134512640 134569956 3221224400 3221214776 1131343738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 20967 13073 16 0 210160 0
vsize: 840704
[startup+40.0027 s]
Raw data (loadavg): 1.02 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 3375 41 0 0 25 0 11 0 547092799 860880896 21352 4294967295 134512640 134569956 3221224400 3221214776 1131346164 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 21352 13073 16 0 210160 0
vsize: 840704
[startup+50.0028 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 4350 41 0 0 25 0 11 0 547092799 860880896 21413 4294967295 134512640 134569956 3221224400 3221214568 1131308627 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 21413 13073 16 0 210160 0
vsize: 840704
[startup+60.0034 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 5325 41 0 0 25 0 11 0 547092799 860880896 21467 4294967295 134512640 134569956 3221224400 3221214680 1131217036 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 21467 13073 16 0 210160 0
vsize: 840704
[startup+70.005 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 6296 41 0 0 25 0 11 0 547092799 860880896 21568 4294967295 134512640 134569956 3221224400 3221214776 1131342666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 21568 13073 16 0 210160 0
vsize: 840704
[startup+80.0049 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 7276 41 0 0 25 0 11 0 547092799 860880896 21644 4294967295 134512640 134569956 3221224400 3221214816 1131388873 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 21644 13073 16 0 210160 0
vsize: 840704
[startup+90.0055 s]
Raw data (loadavg): 1.01 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 8256 41 0 0 25 0 11 0 547092799 860880896 21712 4294967295 134512640 134569956 3221224400 3221214664 1131627335 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 21712 13073 16 0 210160 0
vsize: 840704
[startup+100.006 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 9237 41 0 0 25 0 11 0 547092799 860880896 21780 4294967295 134512640 134569956 3221224400 3221214672 1131625484 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 21780 13073 16 0 210160 0
vsize: 840704
[startup+110.006 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 10218 42 0 0 25 0 11 0 547092799 860880896 21844 4294967295 134512640 134569956 3221224400 3221214680 1131216981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 21844 13073 16 0 210160 0
vsize: 840704
[startup+120.006 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 11205 42 0 0 25 0 11 0 547092799 860880896 21892 4294967295 134512640 134569956 3221224400 3221214448 1131507148 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 21892 13073 16 0 210160 0
vsize: 840704
[startup+130.007 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 12193 42 0 0 25 0 11 0 547092799 860880896 21946 4294967295 134512640 134569956 3221224400 3221214776 1131346037 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 21946 13073 16 0 210160 0
vsize: 840704
[startup+140.007 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 13181 42 0 0 25 0 11 0 547092799 860880896 21976 4294967295 134512640 134569956 3221224400 3221214680 1131217169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 21976 13073 16 0 210160 0
vsize: 840704
[startup+150.008 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 14169 42 0 0 25 0 11 0 547092799 860880896 21998 4294967295 134512640 134569956 3221224400 3221214680 1131217129 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 21998 13073 16 0 210160 0
vsize: 840704
[startup+160.009 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3644
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 15155 42 0 0 25 0 11 0 547092799 860880896 22040 4294967295 134512640 134569956 3221224400 3221214680 1131217478 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22040 13073 16 0 210160 0
vsize: 840704
[startup+170.009 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 16139 42 0 0 25 0 11 0 547092799 860880896 22076 4294967295 134512640 134569956 3221224400 3221214680 1131216613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22076 13073 16 0 210160 0
vsize: 840704
[startup+180.011 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) S 3633 22612 22611 0 -1 0 18092 0 1 0 17123 42 0 0 25 0 11 0 547092799 860880896 22111 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22111 13073 16 0 210160 0
vsize: 840704
[startup+190.012 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 18111 42 0 0 25 0 11 0 547092799 860880896 22178 4294967295 134512640 134569956 3221224400 3221214680 1131216914 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22178 13073 16 0 210160 0
vsize: 840704
[startup+200.012 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 19100 42 0 0 25 0 11 0 547092799 860880896 22217 4294967295 134512640 134569956 3221224400 3221214776 1131343806 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22217 13073 16 0 210160 0
vsize: 840704
[startup+210.013 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 20089 42 0 0 25 0 11 0 547092799 860880896 22244 4294967295 134512640 134569956 3221224400 3221214680 1131217169 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22244 13073 16 0 210160 0
vsize: 840704
[startup+220.014 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 21078 42 0 0 25 0 11 0 547092799 860880896 22286 4294967295 134512640 134569956 3221224400 3221214680 1131216588 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22286 13073 16 0 210160 0
vsize: 840704
[startup+230.013 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 22065 43 0 0 25 0 11 0 547092799 860880896 22324 4294967295 134512640 134569956 3221224400 3221214936 1131181017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22324 13073 16 0 210160 0
vsize: 840704
[startup+240.014 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 23055 43 0 0 25 0 11 0 547092799 860880896 22345 4294967295 134512640 134569956 3221224400 3221214776 1131345976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22345 13073 16 0 210160 0
vsize: 840704
[startup+250.014 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 24042 43 0 0 25 0 11 0 547092799 860880896 22406 4294967295 134512640 134569956 3221224400 3221214388 1078128093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22406 13073 16 0 210160 0
vsize: 840704
[startup+260.014 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 25031 43 0 0 25 0 11 0 547092799 860880896 22422 4294967295 134512640 134569956 3221224400 3221214680 1131217051 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22422 13073 16 0 210160 0
vsize: 840704
[startup+270.014 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 26020 43 0 0 25 0 11 0 547092799 860880896 22449 4294967295 134512640 134569956 3221224400 3221214680 1131217030 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22449 13073 16 0 210160 0
vsize: 840704
[startup+280.014 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 27009 43 0 0 25 0 11 0 547092799 860880896 22494 4294967295 134512640 134569956 3221224400 3221214680 1131216981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22494 13073 16 0 210160 0
vsize: 840704
[startup+290.014 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 28000 44 0 0 25 0 11 0 547092799 860880896 22544 4294967295 134512640 134569956 3221224400 3221214680 1131217146 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22544 13073 16 0 210160 0
vsize: 840704
[startup+300.014 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 28992 44 0 0 25 0 11 0 547092799 860880896 22563 4294967295 134512640 134569956 3221224400 3221214680 1131217173 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22563 13073 16 0 210160 0
vsize: 840704
[startup+310.015 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 29984 44 0 0 25 0 11 0 547092799 860880896 22579 4294967295 134512640 134569956 3221224400 3221214776 1131343788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22579 13073 16 0 210160 0
vsize: 840704
[startup+320.015 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 30973 44 0 0 25 0 11 0 547092799 860880896 22596 4294967295 134512640 134569956 3221224400 3221214680 1131217211 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22596 13073 16 0 210160 0
vsize: 840704
[startup+330.015 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 31961 45 0 0 25 0 11 0 547092799 860880896 22621 4294967295 134512640 134569956 3221224400 3221214776 1131342666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22621 13073 16 0 210160 0
vsize: 840704
[startup+340.016 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 32948 45 0 0 25 0 11 0 547092799 860880896 22674 4294967295 134512640 134569956 3221224400 3221214776 1131342666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22674 13073 16 0 210160 0
vsize: 840704
[startup+350.016 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 33935 45 0 0 25 0 11 0 547092799 860880896 22714 4294967295 134512640 134569956 3221224400 3221214776 1131343667 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22714 13073 16 0 210160 0
vsize: 840704
[startup+360.017 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 34924 46 0 0 25 0 11 0 547092799 860880896 22760 4294967295 134512640 134569956 3221224400 3221214680 1131216981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22760 13073 16 0 210160 0
vsize: 840704
[startup+370.017 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 35915 46 0 0 25 0 11 0 547092799 860880896 22784 4294967295 134512640 134569956 3221224400 3221214680 1131216625 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22784 13073 16 0 210160 0
vsize: 840704
[startup+380.016 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 36904 46 0 0 24 0 11 0 547092799 860880896 22802 4294967295 134512640 134569956 3221224400 3221214680 1131216981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22802 13073 16 0 210160 0
vsize: 840704
[startup+390.017 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 37893 47 0 0 25 0 11 0 547092799 860880896 22831 4294967295 134512640 134569956 3221224400 3221214680 1131217034 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22831 13073 16 0 210160 0
vsize: 840704
[startup+400.017 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 38881 47 0 0 25 0 11 0 547092799 860880896 22838 4294967295 134512640 134569956 3221224400 3221214680 1131217022 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22838 13073 16 0 210160 0
vsize: 840704
[startup+410.018 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18092 0 1 0 39865 47 0 0 25 0 11 0 547092799 860880896 22914 4294967295 134512640 134569956 3221224400 3221214680 1131216866 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22914 13073 16 0 210160 0
vsize: 840704
[startup+420.018 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 40856 48 0 0 25 0 11 0 547092799 860880896 22929 4294967295 134512640 134569956 3221224400 3221214680 1131217870 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22929 13073 16 0 210160 0
vsize: 840704
[startup+430.018 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 41845 48 0 0 25 0 11 0 547092799 860880896 22968 4294967295 134512640 134569956 3221224400 3221214776 1131343848 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 22968 13073 16 0 210160 0
vsize: 840704
[startup+440.019 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 42833 49 0 0 25 0 11 0 547092799 860880896 22975 4294967295 134512640 134569956 3221224400 3221214776 1131342731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 22975 13073 16 0 210160 0
vsize: 840704
[startup+450.018 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 43821 49 0 0 25 0 11 0 547092799 860880896 23009 4294967295 134512640 134569956 3221224400 3221214560 1131510647 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 23009 13073 16 0 210160 0
vsize: 840704
[startup+460.019 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 44799 49 0 0 25 0 11 0 547092799 860880896 23064 4294967295 134512640 134569956 3221224400 3221214560 1131308132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 23064 13073 16 0 210160 0
vsize: 840704
[startup+470.019 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 45767 49 0 0 25 0 11 0 547092799 860880896 23077 4294967295 134512640 134569956 3221224400 3221214680 1131217788 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 23077 13073 16 0 210160 0
vsize: 840704
[startup+480.018 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 46727 50 0 0 25 0 11 0 547092799 860880896 23111 4294967295 134512640 134569956 3221224400 3221214680 1131217141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 23111 13073 16 0 210160 0
vsize: 840704
[startup+490.019 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 47700 50 0 0 25 0 11 0 547092799 860880896 23335 4294967295 134512640 134569956 3221224400 3221214680 1131216918 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 23335 13073 16 0 210160 0
vsize: 840704
[startup+500.02 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 48688 51 0 0 25 0 11 0 547092799 860880896 23412 4294967295 134512640 134569956 3221224400 3221214680 1131216613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 23412 13073 16 0 210160 0
vsize: 840704
[startup+510.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 49671 51 0 0 25 0 11 0 547092799 860880896 23424 4294967295 134512640 134569956 3221224400 3221214672 1131625505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 23424 13073 16 0 210160 0
vsize: 840704
[startup+520.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 50640 51 0 0 25 0 11 0 547092799 860880896 23464 4294967295 134512640 134569956 3221224400 3221214672 1131625491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 23464 13073 16 0 210160 0
vsize: 840704
[startup+530.021 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) S 3633 22612 22611 0 -1 0 18093 0 1 0 51598 51 0 0 25 0 11 0 547092799 860880896 23504 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 23504 13073 16 0 210160 0
vsize: 840704
[startup+540.022 s]
Raw data (loadavg): 1.00 0.97 0.92 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 52548 51 0 0 25 0 11 0 547092799 860880896 23737 4294967295 134512640 134569956 3221224400 3221214672 1131625627 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 23737 13073 16 0 210160 0
vsize: 840704
[startup+550.023 s]
Raw data (loadavg): 1.15 1.01 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 53499 52 0 0 25 0 11 0 547092799 860880896 23892 4294967295 134512640 134569956 3221224400 3221214664 1131627353 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 23892 13073 16 0 210160 0
vsize: 840704
[startup+560.024 s]
Raw data (loadavg): 1.12 1.01 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 54446 52 0 0 25 0 11 0 547092799 860880896 24080 4294967295 134512640 134569956 3221224400 3221214672 1131625505 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 24080 13073 16 0 210160 0
vsize: 840704
[startup+570.024 s]
Raw data (loadavg): 1.10 1.01 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 55397 52 0 0 25 0 11 0 547092799 860880896 24250 4294967295 134512640 134569956 3221224400 3221214680 1131217405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 24250 13073 16 0 210160 0
vsize: 840704
[startup+580.024 s]
Raw data (loadavg): 1.09 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 56340 53 0 0 24 0 11 0 547092799 860880896 24476 4294967295 134512640 134569956 3221224400 3221214776 1131342659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 24476 13073 16 0 210160 0
vsize: 840704
[startup+590.024 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 57286 53 0 0 25 0 11 0 547092799 860880896 24656 4294967295 134512640 134569956 3221224400 3221214680 1131217045 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 24656 13073 16 0 210160 0
vsize: 840704
[startup+600.024 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 58247 53 0 0 25 0 11 0 547092799 860880896 24883 4294967295 134512640 134569956 3221224400 3221214680 1131217040 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 24883 13073 16 0 210160 0
vsize: 840704
[startup+610.025 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 59227 53 0 0 25 0 11 0 547092799 860880896 25072 4294967295 134512640 134569956 3221224400 3221214680 1131217165 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25072 13073 16 0 210160 0
vsize: 840704
[startup+620.025 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 60215 54 0 0 25 0 11 0 547092799 860880896 25100 4294967295 134512640 134569956 3221224400 3221214776 1131346068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25100 13073 16 0 210160 0
vsize: 840704
[startup+630.025 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 61203 54 0 0 25 0 11 0 547092799 860880896 25125 4294967295 134512640 134569956 3221224400 3221214680 1131216613 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25125 13073 16 0 210160 0
vsize: 840704
[startup+640.026 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 62191 55 0 0 25 0 11 0 547092799 860880896 25158 4294967295 134512640 134569956 3221224400 3221214680 1131216981 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25158 13073 16 0 210160 0
vsize: 840704
[startup+650.026 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 63179 55 0 0 25 0 11 0 547092799 860880896 25187 4294967295 134512640 134569956 3221224400 3221214560 1131510652 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25187 13073 16 0 210160 0
vsize: 840704
[startup+660.027 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 64162 55 0 0 25 0 11 0 547092799 860880896 25226 4294967295 134512640 134569956 3221224400 3221214776 1131345781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25226 13073 16 0 210160 0
vsize: 840704
[startup+670.028 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 65137 55 0 0 25 0 11 0 547092799 860880896 25257 4294967295 134512640 134569956 3221224400 3221214480 1131588578 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25257 13073 16 0 210160 0
vsize: 840704
[startup+680.028 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 66107 56 0 0 25 0 11 0 547092799 860880896 25295 4294967295 134512640 134569956 3221224400 3221214776 1131342659 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25295 13073 16 0 210160 0
vsize: 840704
[startup+690.029 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 67072 56 0 0 25 0 11 0 547092799 860880896 25405 4294967295 134512640 134569956 3221224400 3221214568 1131308147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 25405 13073 16 0 210160 0
vsize: 840704
[startup+700.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) S 3633 22612 22611 0 -1 0 18093 0 1 0 68038 56 0 0 25 0 11 0 547092799 860880896 25506 4294967295 134512640 134569956 3221224400 3221213384 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25506 13073 16 0 210160 0
vsize: 840704
[startup+710.03 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 69006 56 0 0 25 0 11 0 547092799 860880896 25615 4294967295 134512640 134569956 3221224400 3221214672 1131625488 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25615 13073 16 0 210160 0
vsize: 840704
[startup+720.031 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 69970 56 0 0 25 0 11 0 547092799 860880896 25713 4294967295 134512640 134569956 3221224400 3221214680 1131217828 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25713 13073 16 0 210160 0
vsize: 840704
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 70937 56 0 0 25 0 11 0 547092799 860880896 25801 4294967295 134512640 134569956 3221224400 3221214680 1131217041 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25801 13073 16 0 210160 0
vsize: 840704
[startup+740.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 71901 56 0 0 25 0 11 0 547092799 860880896 25935 4294967295 134512640 134569956 3221224400 3221214568 1131308144 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 25935 13073 16 0 210160 0
vsize: 840704
[startup+750.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 72869 57 0 0 25 0 11 0 547092799 860880896 26035 4294967295 134512640 134569956 3221224400 3221214680 1131217856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 26035 13073 16 0 210160 0
vsize: 840704
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 73835 57 0 0 25 0 11 0 547092799 860880896 26150 4294967295 134512640 134569956 3221224400 3221214672 1131625491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 26150 13073 16 0 210160 0
vsize: 840704
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 74801 57 0 0 25 0 11 0 547092799 860880896 26269 4294967295 134512640 134569956 3221224400 3221214672 1131625484 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 26269 13073 16 0 210160 0
vsize: 840704
[startup+780.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 75770 57 0 0 25 0 11 0 547092799 860880896 26360 4294967295 134512640 134569956 3221224400 3221214712 1131470506 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 26360 13073 16 0 210160 0
vsize: 840704
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 76735 58 0 0 25 0 11 0 547092799 860880896 26454 4294967295 134512640 134569956 3221224400 3221214672 1131625491 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 26454 13073 16 0 210160 0
vsize: 840704
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 77699 58 0 0 25 0 11 0 547092799 860880896 26541 4294967295 134512640 134569956 3221224400 3221214568 1131308132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 26541 13073 16 0 210160 0
vsize: 840704
[startup+810.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 78666 59 0 0 25 0 11 0 547092799 860880896 26643 4294967295 134512640 134569956 3221224400 3221214680 1131216585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 26643 13073 16 0 210160 0
vsize: 840704
[startup+820.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 79630 59 0 0 25 0 11 0 547092799 860880896 26732 4294967295 134512640 134569956 3221224400 3221214680 1131216767 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 26732 13073 16 0 210160 0
vsize: 840704
[startup+830.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 80595 59 0 0 25 0 11 0 547092799 860880896 26838 4294967295 134512640 134569956 3221224400 3221214776 1131342731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 26838 13073 16 0 210160 0
vsize: 840704
[startup+840.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 81563 60 0 0 25 0 11 0 547092799 860880896 26941 4294967295 134512640 134569956 3221224400 3221214560 1131513248 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 26941 13073 16 0 210160 0
vsize: 840704
[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 82526 60 0 0 25 0 11 0 547092799 860880896 27042 4294967295 134512640 134569956 3221224400 3221214320 1131658802 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 27042 13073 16 0 210160 0
vsize: 840704
[startup+860.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 83490 61 0 0 25 0 11 0 547092799 860880896 27152 4294967295 134512640 134569956 3221224400 3221214568 1131308132 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 27152 13073 16 0 210160 0
vsize: 840704
[startup+870.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 84455 61 0 0 25 0 11 0 547092799 860880896 27268 4294967295 134512640 134569956 3221224400 3221214776 1131342666 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 27268 13073 16 0 210160 0
vsize: 840704
[startup+880.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 85417 61 0 0 25 0 11 0 547092799 860880896 27399 4294967295 134512640 134569956 3221224400 3221214680 1131217051 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 27399 13073 16 0 210160 0
vsize: 840704
[startup+890.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 86386 61 0 0 18 0 11 0 547092799 860880896 27543 4294967295 134512640 134569956 3221224400 3221214776 1131344641 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 27543 13073 16 0 210160 0
vsize: 840704
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 87365 62 0 0 25 0 11 0 547092799 860880896 27640 4294967295 134512640 134569956 3221224400 3221214680 1131216602 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 27640 13073 16 0 210160 0
vsize: 840704
[startup+910.039 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 88344 62 0 0 25 0 11 0 547092799 860880896 27686 4294967295 134512640 134569956 3221224400 3221214680 1131218038 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 27686 13073 16 0 210160 0
vsize: 840704
[startup+920.039 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 89321 63 0 0 25 0 11 0 547092799 860880896 27731 4294967295 134512640 134569956 3221224400 3221214680 1131217239 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 27731 13073 16 0 210160 0
vsize: 840704
[startup+930.04 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 90296 63 0 0 25 0 11 0 547092799 860880896 27776 4294967295 134512640 134569956 3221224400 3221214680 1131217088 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 27776 13073 16 0 210160 0
vsize: 840704
[startup+940.041 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 91267 63 0 0 25 0 11 0 547092799 860880896 27841 4294967295 134512640 134569956 3221224400 3221214776 1131342463 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 27841 13073 16 0 210160 0
vsize: 840704
[startup+950.042 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 92239 64 0 0 25 0 11 0 547092799 860880896 27914 4294967295 134512640 134569956 3221224400 3221214680 1131217133 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 27914 13073 16 0 210160 0
vsize: 840704
[startup+960.043 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 93209 64 0 0 25 0 11 0 547092799 860880896 27994 4294967295 134512640 134569956 3221224400 3221214776 1131342698 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 27994 13073 16 0 210160 0
vsize: 840704
[startup+970.044 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 94181 64 0 0 24 0 11 0 547092799 860880896 28072 4294967295 134512640 134569956 3221224400 3221214816 1131387887 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 28072 13073 16 0 210160 0
vsize: 840704
[startup+980.044 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 95155 65 0 0 25 0 11 0 547092799 860880896 28145 4294967295 134512640 134569956 3221224400 3221214776 1131342731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 28145 13073 16 0 210160 0
vsize: 840704
[startup+990.045 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 3646
Raw data (stat): 3634 (java) S 3633 22612 22611 0 -1 0 18093 0 1 0 96128 65 0 0 25 0 11 0 547092799 860880896 28209 4294967295 134512640 134569956 3221224400 3221213424 1073943035 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 28209 13073 16 0 210160 0
vsize: 840704
[startup+1000.05 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 97097 65 0 0 24 0 11 0 547092799 860880896 28275 4294967295 134512640 134569956 3221224400 3221214776 1131346191 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210176 28275 13073 16 0 210160 0
vsize: 840704
[startup+1010.05 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 98067 65 0 0 25 0 11 0 547092799 860880896 28356 4294967295 134512640 134569956 3221224400 3221214680 1131217146 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 28356 13073 16 0 210160 0
vsize: 840704
[startup+1020.05 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 99037 65 0 0 25 0 11 0 547092799 860880896 28457 4294967295 134512640 134569956 3221224400 3221214680 1131217463 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 28457 13073 16 0 210160 0
vsize: 840704
[startup+1030.05 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 100010 65 0 0 25 0 11 0 547092799 860880896 28527 4294967295 134512640 134569956 3221224400 3221214772 1131218047 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 28527 13073 16 0 210160 0
vsize: 840704
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 100982 66 0 0 25 0 11 0 547092799 860880896 28571 4294967295 134512640 134569956 3221224400 3221214776 1131342731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 28571 13073 16 0 210160 0
vsize: 840704
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 101950 66 0 0 25 0 11 0 547092799 860880896 28633 4294967295 134512640 134569956 3221224400 3221214936 1131181017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 28633 13073 16 0 210160 0
vsize: 840704
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 102919 66 0 0 25 0 11 0 547092799 860880896 28713 4294967295 134512640 134569956 3221224400 3221214776 1131343708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 28713 13073 16 0 210160 0
vsize: 840704
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 103892 66 0 0 25 0 11 0 547092799 860880896 28802 4294967295 134512640 134569956 3221224400 3221214680 1131217119 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 28802 13073 16 0 210160 0
vsize: 840704
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 104861 66 0 0 25 0 11 0 547092799 860880896 28850 4294967295 134512640 134569956 3221224400 3221214680 1131217133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 28850 13073 16 0 210160 0
vsize: 840704
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 105824 66 0 0 25 0 11 0 547092799 860880896 28951 4294967295 134512640 134569956 3221224400 3221214680 1131216885 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 28951 13073 16 0 210160 0
vsize: 840704
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 106790 66 0 0 25 0 11 0 547092799 860880896 29037 4294967295 134512640 134569956 3221224400 3221214680 1131217165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 29037 13073 16 0 210160 0
vsize: 840704
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 107755 66 0 0 25 0 11 0 547092799 860880896 29167 4294967295 134512640 134569956 3221224400 3221214560 1131510889 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 29167 13073 16 0 210160 0
vsize: 840704
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 108726 66 0 0 25 0 11 0 547092799 860880896 29258 4294967295 134512640 134569956 3221224400 3221214680 1131216727 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 29258 13073 16 0 210160 0
vsize: 840704
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 109695 66 0 0 25 0 11 0 547092799 860880896 29374 4294967295 134512640 134569956 3221224400 3221214680 1131216981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 29374 13073 16 0 210160 0
vsize: 840704
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 110668 67 0 0 25 0 11 0 547092799 860880896 29437 4294967295 134512640 134569956 3221224400 3221214680 1131216935 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 29437 13073 16 0 210160 0
vsize: 840704
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 111638 67 0 0 25 0 11 0 547092799 860880896 29503 4294967295 134512640 134569956 3221224400 3221214776 1131342731 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 29503 13073 16 0 210160 0
vsize: 840704
[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 112608 67 0 0 24 0 11 0 547092799 860880896 29579 4294967295 134512640 134569956 3221224400 3221214680 1131216981 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 29579 13073 16 0 210160 0
vsize: 840704
[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 113580 67 0 0 25 0 11 0 547092799 860880896 29641 4294967295 134512640 134569956 3221224400 3221214640 1131440969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 29641 13073 16 0 210160 0
vsize: 840704
[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 114547 68 0 0 25 0 11 0 547092799 860880896 29706 4294967295 134512640 134569956 3221224400 3221214544 1131654776 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 29706 13073 16 0 210160 0
vsize: 840704
[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 115519 68 0 0 25 0 11 0 547092799 860880896 29787 4294967295 134512640 134569956 3221224400 3221214776 1131343788 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 29787 13073 16 0 210160 0
vsize: 840704
[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 116488 68 0 0 25 0 11 0 547092799 860880896 29876 4294967295 134512640 134569956 3221224400 3221214776 1131346094 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 29876 13073 16 0 210160 0
vsize: 840704
[startup+1210.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 117455 68 0 0 24 0 11 0 547092799 860880896 29953 4294967295 134512640 134569956 3221224400 3221214776 1131345976 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 29953 13073 16 0 210160 0
vsize: 840704
[startup+1220.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 118422 68 0 0 25 0 11 0 547092799 860880896 30048 4294967295 134512640 134569956 3221224400 3221214680 1131216659 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 30048 13073 16 0 210160 0
vsize: 840704
[startup+1230.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 119386 68 0 0 25 0 11 0 547092799 860880896 30144 4294967295 134512640 134569956 3221224400 3221214680 1131216732 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 30144 13073 16 0 210160 0
vsize: 840704
[startup+1240.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3646
Raw data (stat): 3634 (java) R 3633 22612 22611 0 -1 0 18093 0 1 0 120354 68 0 0 25 0 11 0 547092799 860880896 30276 4294967295 134512640 134569956 3221224400 3221214680 1131216666 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210176 30276 13073 16 0 210160 0
vsize: 840704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.13 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 3648
Raw data (stat): 3634 (java) Z 3633 22612 22611 0 -1 1036 18093 10224 1 0 120355 68 3121 37 25 0 1 0 547092799 0 0 4294967295 0 0 0 0 0 0 4 3 23756 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 143
Real time (s): 1240.13
CPU time (s): 1235.82
CPU user time (s): 1234.77
CPU system time (s): 1.05784
CPU usage (%): 99.6528
Max. virtual memory (Kb): 840808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####