PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-rout.opb
MD5SUM	43b060c182b659f22c02b8a980d1ee8f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1221280
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	33812000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	166074535
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1569.48
Number of variables	5151
Total number of constraints	606
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	314
Number of constraints which are nor clauses,nor cardinality constraints	292
Minimum length of a constraint	1
Maximum length of a constraint	617
Trace number 14976

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-04-21 02:17:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18859 boxname=wulflinc18 idbench=1451 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  43b060c182b659f22c02b8a980d1ee8f  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-rout.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-rout.opb
IDLAUNCH: 18859
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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.177
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:        571336 kB
Buffers:         34456 kB
Cached:         397568 kB
SwapCached:        388 kB
Active:         144616 kB
Inactive:       289924 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        571084 kB
SwapTotal:     2097892 kB
SwapFree:      2096996 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6224 kB
Slab:            23180 kB
Committed_AS:    63816 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 02:38:38 (client local time) WITH STATUS 143 IN 1251.9 SECONDS
stats: 18859 7 1251.9 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-rout.opb
c reading problem 
c [nbvar=5151]
c [nbconstr=606]
c time 10.846
c #vars     5151
c #clauses  337
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.79 0.92 0.90 2/55 15629
Raw data (stat): 15629 (runsolver) R 15628 20024 20023 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541408876 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.89 0.94 0.91 2/64 15638
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18001 0 1 0 805 40 0 0 25 0 10 0 541408876 855822336 20129 4294967295 134512640 134569956 3221224400 3221214488 1076461336 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208941 20129 13073 16 0 208925 0
vsize: 835764
[startup+20.0012 s]
Raw data (loadavg): 0.91 0.94 0.91 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18069 0 1 0 1581 41 0 0 25 0 11 0 541408876 860778496 21865 4294967295 134512640 134569956 3221224400 3221214704 1131360102 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210151 21865 13073 16 0 210135 0
vsize: 840604
[startup+30.002 s]
Raw data (loadavg): 1.00 0.96 0.91 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18070 0 1 0 2476 41 0 0 25 0 11 0 541408876 860835840 21874 4294967295 134512640 134569956 3221224400 3221214788 1130899585 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 21874 13073 16 0 210149 0
vsize: 840660
[startup+40.0023 s]
Raw data (loadavg): 1.00 0.96 0.91 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18070 0 1 0 3383 41 0 0 25 0 11 0 541408876 860835840 22297 4294967295 134512640 134569956 3221224400 3221214808 1131408083 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210165 22297 13073 16 0 210149 0
vsize: 840660
[startup+50.0028 s]
Raw data (loadavg): 1.00 0.96 0.91 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18070 0 1 0 4336 41 0 0 25 0 11 0 541408876 860835840 22734 4294967295 134512640 134569956 3221224400 3221214696 1131217998 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210165 22734 13073 16 0 210149 0
vsize: 840660
[startup+60.0027 s]
Raw data (loadavg): 1.00 0.96 0.91 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18070 0 1 0 5315 42 0 0 24 0 11 0 541408876 860835840 22755 4294967295 134512640 134569956 3221224400 3221214696 1131218100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210165 22755 13073 16 0 210149 0
vsize: 840660
[startup+70.0033 s]
Raw data (loadavg): 1.00 0.96 0.91 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18070 0 1 0 6297 42 0 0 25 0 11 0 541408876 860835840 22812 4294967295 134512640 134569956 3221224400 3221214696 1131217795 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210165 22812 13073 16 0 210149 0
vsize: 840660
[startup+80.0045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18071 0 1 0 7280 43 0 0 25 0 11 0 541408876 860835840 22834 4294967295 134512640 134569956 3221224400 3221214792 1131337862 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210165 22834 13073 16 0 210149 0
vsize: 840660
[startup+90.0042 s]
Raw data (loadavg): 1.07 0.98 0.92 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 8259 43 0 0 25 0 11 0 541408876 860835840 22853 4294967295 134512640 134569956 3221224400 3221214528 1131267845 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 22853 13073 16 0 210149 0
vsize: 840660
[startup+100.005 s]
Raw data (loadavg): 1.06 0.98 0.92 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 9239 43 0 0 25 0 11 0 541408876 860835840 22873 4294967295 134512640 134569956 3221224400 3221214672 1131635465 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 22873 13073 16 0 210149 0
vsize: 840660
[startup+110.006 s]
Raw data (loadavg): 1.05 0.98 0.92 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 10222 43 0 0 25 0 11 0 541408876 860835840 22917 4294967295 134512640 134569956 3221224400 3221214696 1131218154 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 22917 13073 16 0 210149 0
vsize: 840660
[startup+120.012 s]
Raw data (loadavg): 1.04 0.98 0.92 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 11189 43 0 0 25 0 11 0 541408876 860835840 22990 4294967295 134512640 134569956 3221224400 3221214696 1131217731 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 22990 13073 16 0 210149 0
vsize: 840660
[startup+130.014 s]
Raw data (loadavg): 1.04 0.98 0.92 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 12160 43 0 0 25 0 11 0 541408876 860835840 23064 4294967295 134512640 134569956 3221224400 3221214696 1131218069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 23064 13073 16 0 210149 0
vsize: 840660
[startup+140.014 s]
Raw data (loadavg): 1.03 0.98 0.92 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 13127 43 0 0 25 0 11 0 541408876 860835840 23177 4294967295 134512640 134569956 3221224400 3221214792 1131338048 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 23177 13073 16 0 210149 0
vsize: 840660
[startup+150.015 s]
Raw data (loadavg): 1.02 0.98 0.92 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 14104 43 0 0 25 0 11 0 541408876 860835840 23281 4294967295 134512640 134569956 3221224400 3221214696 1131218655 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 23281 13073 16 0 210149 0
vsize: 840660
[startup+160.015 s]
Raw data (loadavg): 1.02 0.98 0.92 2/65 15639
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 15093 43 0 0 25 0 11 0 541408876 860835840 23389 4294967295 134512640 134569956 3221224400 3221214536 1131267972 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 23389 13073 16 0 210149 0
vsize: 840660
[startup+170.014 s]
Raw data (loadavg): 1.02 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 16085 43 0 0 25 0 11 0 541408876 860835840 23407 4294967295 134512640 134569956 3221224400 3221214584 1131532444 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 23407 13073 16 0 210149 0
vsize: 840660
[startup+180.014 s]
Raw data (loadavg): 1.01 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 17067 43 0 0 24 0 11 0 541408876 860835840 23419 4294967295 134512640 134569956 3221224400 3221214696 1131218261 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 23419 13073 16 0 210149 0
vsize: 840660
[startup+190.016 s]
Raw data (loadavg): 1.01 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 18044 43 0 0 25 0 11 0 541408876 860835840 23437 4294967295 134512640 134569956 3221224400 3221214696 1131217922 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 23437 13073 16 0 210149 0
vsize: 840660
[startup+200.016 s]
Raw data (loadavg): 1.01 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 19024 43 0 0 25 0 11 0 541408876 860835840 23529 4294967295 134512640 134569956 3221224400 3221214680 1131635475 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210165 23529 13073 16 0 210149 0
vsize: 840660
[startup+210.016 s]
Raw data (loadavg): 1.01 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 20007 44 0 0 24 0 11 0 541408876 863498240 24254 4294967295 134512640 134569956 3221224400 3221214792 1131337855 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210815 24254 13073 16 0 210799 0
vsize: 843260
[startup+220.016 s]
Raw data (loadavg): 1.01 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 20995 44 0 0 25 0 11 0 541408876 863498240 24273 4294967295 134512640 134569956 3221224400 3221214792 1131336912 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210815 24273 13073 16 0 210799 0
vsize: 843260
[startup+230.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) S 15628 20024 20023 0 -1 0 18072 0 1 0 21982 44 0 0 25 0 11 0 541408876 863498240 24295 4294967295 134512640 134569956 3221224400 3221213376 1073952481 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210815 24295 13073 16 0 210799 0
vsize: 843260
[startup+240.017 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 22968 44 0 0 25 0 11 0 541408876 863498240 24320 4294967295 134512640 134569956 3221224400 3221214816 1131453936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210815 24320 13073 16 0 210799 0
vsize: 843260
[startup+250.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 23950 45 0 0 25 0 11 0 541408876 863498240 24362 4294967295 134512640 134569956 3221224400 3221214696 1131218069 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210815 24362 13073 16 0 210799 0
vsize: 843260
[startup+260.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 24918 45 0 0 25 0 11 0 541408876 862044160 24044 4294967295 134512640 134569956 3221224400 3221214576 1131532294 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 24044 13073 16 0 210444 0
vsize: 841840
[startup+270.038 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 25887 45 0 0 25 0 11 0 541408876 862044160 24077 4294967295 134512640 134569956 3221224400 3221214736 1131372259 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 24077 13073 16 0 210444 0
vsize: 841840
[startup+280.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) S 15628 20024 20023 0 -1 0 18072 0 1 0 26848 46 0 0 25 0 11 0 541408876 862044160 24141 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 24141 13073 16 0 210444 0
vsize: 841840
[startup+290.039 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 27814 46 0 0 25 0 11 0 541408876 862044160 24262 4294967295 134512640 134569956 3221224400 3221214520 1131267972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 24262 13073 16 0 210444 0
vsize: 841840
[startup+300.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 28785 46 0 0 25 0 11 0 541408876 862044160 24372 4294967295 134512640 134569956 3221224400 3221214672 1131635351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 24372 13073 16 0 210444 0
vsize: 841840
[startup+310.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 29755 46 0 0 24 0 11 0 541408876 862044160 24534 4294967295 134512640 134569956 3221224400 3221214696 1131217847 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 24534 13073 16 0 210444 0
vsize: 841840
[startup+320.041 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 30723 46 0 0 25 0 11 0 541408876 862044160 24708 4294967295 134512640 134569956 3221224400 3221214696 1131217545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 24708 13073 16 0 210444 0
vsize: 841840
[startup+330.042 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 31703 46 0 0 25 0 11 0 541408876 862044160 24788 4294967295 134512640 134569956 3221224400 3221214792 1131338895 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 24788 13073 16 0 210444 0
vsize: 841840
[startup+340.042 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 32683 47 0 0 25 0 11 0 541408876 862044160 24857 4294967295 134512640 134569956 3221224400 3221214696 1131218690 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 24857 13073 16 0 210444 0
vsize: 841840
[startup+350.043 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 33662 47 0 0 25 0 11 0 541408876 862044160 24924 4294967295 134512640 134569956 3221224400 3221214696 1131217545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 24924 13073 16 0 210444 0
vsize: 841840
[startup+360.043 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 34644 47 0 0 24 0 11 0 541408876 862044160 24990 4294967295 134512640 134569956 3221224400 3221214672 1131635358 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 24990 13073 16 0 210444 0
vsize: 841840
[startup+370.044 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 35630 47 0 0 25 0 11 0 541408876 862044160 25014 4294967295 134512640 134569956 3221224400 3221214576 1131533208 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 25014 13073 16 0 210444 0
vsize: 841840
[startup+380.044 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 36606 48 0 0 25 0 11 0 541408876 862044160 25020 4294967295 134512640 134569956 3221224400 3221214836 1131334636 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 25020 13073 16 0 210444 0
vsize: 841840
[startup+390.045 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 37573 48 0 0 25 0 11 0 541408876 862044160 25039 4294967295 134512640 134569956 3221224400 3221214792 1131338787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 25039 13073 16 0 210444 0
vsize: 841840
[startup+400.046 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 38538 48 0 0 25 0 11 0 541408876 862044160 25057 4294967295 134512640 134569956 3221224400 3221214672 1131635354 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 25057 13073 16 0 210444 0
vsize: 841840
[startup+410.047 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 39493 49 0 0 25 0 11 0 541408876 862044160 25164 4294967295 134512640 134569956 3221224400 3221214792 1131336943 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 25164 13073 16 0 210444 0
vsize: 841840
[startup+420.047 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 40452 49 0 0 25 0 11 0 541408876 862044160 25293 4294967295 134512640 134569956 3221224400 3221214624 1131511404 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 25293 13073 16 0 210444 0
vsize: 841840
[startup+430.048 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 41406 49 0 0 25 0 11 0 541408876 862044160 25432 4294967295 134512640 134569956 3221224400 3221214528 1131267708 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 25432 13073 16 0 210444 0
vsize: 841840
[startup+440.049 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 42357 49 0 0 25 0 11 0 541408876 862044160 25597 4294967295 134512640 134569956 3221224400 3221214840 1131356459 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 25597 13073 16 0 210444 0
vsize: 841840
[startup+450.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 43309 50 0 0 25 0 11 0 541408876 862044160 25787 4294967295 134512640 134569956 3221224400 3221214696 1131218085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 25787 13073 16 0 210444 0
vsize: 841840
[startup+460.051 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15641
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 44276 50 0 0 25 0 11 0 541408876 862044160 25933 4294967295 134512640 134569956 3221224400 3221214696 1131218224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 25933 13073 16 0 210444 0
vsize: 841840
[startup+470.05 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 45245 50 0 0 25 0 11 0 541408876 862044160 26067 4294967295 134512640 134569956 3221224400 3221214672 1131635336 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26067 13073 16 0 210444 0
vsize: 841840
[startup+480.051 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 46213 50 0 0 24 0 11 0 541408876 862044160 26142 4294967295 134512640 134569956 3221224400 3221214696 1131217541 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26142 13073 16 0 210444 0
vsize: 841840
[startup+490.053 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 47178 51 0 0 25 0 11 0 541408876 862044160 26246 4294967295 134512640 134569956 3221224400 3221214788 1131217516 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26246 13073 16 0 210444 0
vsize: 841840
[startup+500.053 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 48139 51 0 0 24 0 11 0 541408876 862044160 26364 4294967295 134512640 134569956 3221224400 3221214792 1131337941 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26364 13073 16 0 210444 0
vsize: 841840
[startup+510.053 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 49102 51 0 0 25 0 11 0 541408876 862044160 26490 4294967295 134512640 134569956 3221224400 3221214792 1131338787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26490 13073 16 0 210444 0
vsize: 841840
[startup+520.053 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 50072 52 0 0 25 0 11 0 541408876 862044160 26629 4294967295 134512640 134569956 3221224400 3221214792 1131336932 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26629 13073 16 0 210444 0
vsize: 841840
[startup+530.054 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 51048 52 0 0 25 0 11 0 541408876 862044160 26734 4294967295 134512640 134569956 3221224400 3221214696 1131218081 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26734 13073 16 0 210444 0
vsize: 841840
[startup+540.054 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 52029 52 0 0 25 0 11 0 541408876 862044160 26823 4294967295 134512640 134569956 3221224400 3221214696 1131218069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26823 13073 16 0 210444 0
vsize: 841840
[startup+550.055 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 53013 52 0 0 25 0 11 0 541408876 862044160 26844 4294967295 134512640 134569956 3221224400 3221214696 1131217978 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26844 13073 16 0 210444 0
vsize: 841840
[startup+560.056 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 53994 53 0 0 25 0 11 0 541408876 862044160 26867 4294967295 134512640 134569956 3221224400 3221214696 1131217714 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26867 13073 16 0 210444 0
vsize: 841840
[startup+570.056 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 54975 53 0 0 24 0 11 0 541408876 862044160 26899 4294967295 134512640 134569956 3221224400 3221214736 1131183616 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26899 13073 16 0 210444 0
vsize: 841840
[startup+580.056 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 55952 53 0 0 25 0 11 0 541408876 862044160 26938 4294967295 134512640 134569956 3221224400 3221214808 1131409842 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26938 13073 16 0 210444 0
vsize: 841840
[startup+590.057 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 56929 54 0 0 25 0 11 0 541408876 862044160 26995 4294967295 134512640 134569956 3221224400 3221214736 1131183613 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 26995 13073 16 0 210444 0
vsize: 841840
[startup+600.058 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 57903 54 0 0 25 0 11 0 541408876 862044160 27075 4294967295 134512640 134569956 3221224400 3221214620 1131265388 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 27075 13073 16 0 210444 0
vsize: 841840
[startup+610.059 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 58879 54 0 0 25 0 11 0 541408876 862044160 27156 4294967295 134512640 134569956 3221224400 3221214696 1131218147 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 27156 13073 16 0 210444 0
vsize: 841840
[startup+620.059 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 59852 54 0 0 25 0 11 0 541408876 862044160 27229 4294967295 134512640 134569956 3221224400 3221214696 1131218133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 27229 13073 16 0 210444 0
vsize: 841840
[startup+630.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18072 0 1 0 60824 55 0 0 25 0 11 0 541408876 862044160 27309 4294967295 134512640 134569956 3221224400 3221214672 1131635344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 27309 13073 16 0 210444 0
vsize: 841840
[startup+640.06 s]
Raw data (loadavg): 1.00 0.98 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 61797 55 0 0 25 0 11 0 541408876 862044160 27401 4294967295 134512640 134569956 3221224400 3221214672 1131635483 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 27401 13073 16 0 210444 0
vsize: 841840
[startup+650.061 s]
Raw data (loadavg): 1.08 1.00 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 62770 55 0 0 25 0 11 0 541408876 862044160 27495 4294967295 134512640 134569956 3221224400 3221214696 1131219505 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 27495 13073 16 0 210444 0
vsize: 841840
[startup+660.062 s]
Raw data (loadavg): 1.07 1.00 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 63746 55 0 0 25 0 11 0 541408876 862044160 27562 4294967295 134512640 134569956 3221224400 3221214672 1131635344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 27562 13073 16 0 210444 0
vsize: 841840
[startup+670.062 s]
Raw data (loadavg): 1.06 1.00 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 64717 55 0 0 25 0 11 0 541408876 862044160 27620 4294967295 134512640 134569956 3221224400 3221214696 1131218133 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 27620 13073 16 0 210444 0
vsize: 841840
[startup+680.063 s]
Raw data (loadavg): 1.05 1.00 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 65690 56 0 0 25 0 11 0 541408876 862044160 27709 4294967295 134512640 134569956 3221224400 3221214576 1131219429 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 27709 13073 16 0 210444 0
vsize: 841840
[startup+690.063 s]
Raw data (loadavg): 1.04 1.00 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 66661 56 0 0 25 0 11 0 541408876 862044160 27799 4294967295 134512640 134569956 3221224400 3221214672 1131635344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 27799 13073 16 0 210444 0
vsize: 841840
[startup+700.065 s]
Raw data (loadavg): 1.03 1.00 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 67632 56 0 0 25 0 11 0 541408876 862044160 27901 4294967295 134512640 134569956 3221224400 3221214672 1131635348 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 27901 13073 16 0 210444 0
vsize: 841840
[startup+710.065 s]
Raw data (loadavg): 1.03 1.00 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 68600 57 0 0 25 0 11 0 541408876 862044160 27989 4294967295 134512640 134569956 3221224400 3221214696 1131218349 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 27989 13073 16 0 210444 0
vsize: 841840
[startup+720.065 s]
Raw data (loadavg): 1.02 1.00 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 69571 57 0 0 25 0 11 0 541408876 862044160 28085 4294967295 134512640 134569956 3221224400 3221214520 1131267819 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 28085 13073 16 0 210444 0
vsize: 841840
[startup+730.067 s]
Raw data (loadavg): 1.02 1.00 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 70541 57 0 0 25 0 11 0 541408876 862044160 28184 4294967295 134512640 134569956 3221224400 3221214696 1131218017 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 28184 13073 16 0 210444 0
vsize: 841840
[startup+740.067 s]
Raw data (loadavg): 1.02 1.00 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 71512 58 0 0 25 0 11 0 541408876 862044160 28293 4294967295 134512640 134569956 3221224400 3221214696 1131218545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 28293 13073 16 0 210444 0
vsize: 841840
[startup+750.068 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 72479 58 0 0 24 0 11 0 541408876 862044160 28411 4294967295 134512640 134569956 3221224400 3221214696 1131217545 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 28411 13073 16 0 210444 0
vsize: 841840
[startup+760.069 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 15643
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 73450 59 0 0 25 0 11 0 541408876 862044160 28503 4294967295 134512640 134569956 3221224400 3221214696 1131218675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 28503 13073 16 0 210444 0
vsize: 841840
[startup+770.069 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 74420 60 0 0 25 0 11 0 541408876 862044160 28587 4294967295 134512640 134569956 3221224400 3221214792 1131337990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 28587 13073 16 0 210444 0
vsize: 841840
[startup+780.07 s]
Raw data (loadavg): 1.01 1.00 0.92 2/65 15645
Raw data (stat): 15629 (java) S 15628 20024 20023 0 -1 0 18073 0 1 0 75388 60 0 0 25 0 11 0 541408876 862044160 28671 4294967295 134512640 134569956 3221224400 3221213400 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 28671 13073 16 0 210444 0
vsize: 841840
[startup+790.071 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 76359 60 0 0 25 0 11 0 541408876 862044160 28764 4294967295 134512640 134569956 3221224400 3221214696 1131218224 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 28764 13073 16 0 210444 0
vsize: 841840
[startup+800.072 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 77328 61 0 0 25 0 11 0 541408876 862044160 28865 4294967295 134512640 134569956 3221224400 3221214672 1131635351 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 28865 13073 16 0 210444 0
vsize: 841840
[startup+810.072 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 78301 61 0 0 25 0 11 0 541408876 862044160 28982 4294967295 134512640 134569956 3221224400 3221214792 1131338086 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 28982 13073 16 0 210444 0
vsize: 841840
[startup+820.072 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 79277 61 0 0 25 0 11 0 541408876 862044160 29060 4294967295 134512640 134569956 3221224400 3221214696 1131218085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29060 13073 16 0 210444 0
vsize: 841840
[startup+830.072 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 80252 61 0 0 25 0 11 0 541408876 862044160 29152 4294967295 134512640 134569956 3221224400 3221214792 1131337990 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29152 13073 16 0 210444 0
vsize: 841840
[startup+840.073 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 81229 61 0 0 25 0 11 0 541408876 862044160 29194 4294967295 134512640 134569956 3221224400 3221214696 1131217573 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29194 13073 16 0 210444 0
vsize: 841840
[startup+850.074 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 82212 62 0 0 25 0 11 0 541408876 862044160 29247 4294967295 134512640 134569956 3221224400 3221214696 1131217787 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29247 13073 16 0 210444 0
vsize: 841840
[startup+860.075 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 83195 62 0 0 25 0 11 0 541408876 862044160 29305 4294967295 134512640 134569956 3221224400 3221214696 1131218085 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29305 13073 16 0 210444 0
vsize: 841840
[startup+870.075 s]
Raw data (loadavg): 1.00 1.00 0.92 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 84180 63 0 0 25 0 11 0 541408876 862044160 29336 4294967295 134512640 134569956 3221224400 3221214520 1131267783 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29336 13073 16 0 210444 0
vsize: 841840
[startup+880.077 s]
Raw data (loadavg): 1.08 1.02 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 85164 63 0 0 25 0 11 0 541408876 862044160 29393 4294967295 134512640 134569956 3221224400 3221214696 1131218211 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29393 13073 16 0 210444 0
vsize: 841840
[startup+890.077 s]
Raw data (loadavg): 1.07 1.01 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 86148 64 0 0 25 0 11 0 541408876 862044160 29433 4294967295 134512640 134569956 3221224400 3221214696 1131218069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29433 13073 16 0 210444 0
vsize: 841840
[startup+900.078 s]
Raw data (loadavg): 1.06 1.01 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 87130 64 0 0 25 0 11 0 541408876 862044160 29464 4294967295 134512640 134569956 3221224400 3221214792 1131336939 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29464 13073 16 0 210444 0
vsize: 841840
[startup+910.079 s]
Raw data (loadavg): 1.05 1.01 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 88112 64 0 0 24 0 11 0 541408876 862044160 29509 4294967295 134512640 134569956 3221224400 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29509 13073 16 0 210444 0
vsize: 841840
[startup+920.08 s]
Raw data (loadavg): 1.04 1.01 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 89095 64 0 0 25 0 11 0 541408876 862044160 29556 4294967295 134512640 134569956 3221224400 3221214696 1131218069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29556 13073 16 0 210444 0
vsize: 841840
[startup+930.081 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 90073 64 0 0 25 0 11 0 541408876 862044160 29629 4294967295 134512640 134569956 3221224400 3221214696 1131218154 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29629 13073 16 0 210444 0
vsize: 841840
[startup+940.082 s]
Raw data (loadavg): 1.03 1.01 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 91053 65 0 0 25 0 11 0 541408876 862044160 29683 4294967295 134512640 134569956 3221224400 3221214696 1131218069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29683 13073 16 0 210444 0
vsize: 841840
[startup+950.083 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 92034 65 0 0 25 0 11 0 541408876 862044160 29736 4294967295 134512640 134569956 3221224400 3221214696 1131218069 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29736 13073 16 0 210444 0
vsize: 841840
[startup+960.083 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 93019 66 0 0 25 0 11 0 541408876 862044160 29777 4294967295 134512640 134569956 3221224400 3221214808 1131312039 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29777 13073 16 0 210444 0
vsize: 841840
[startup+970.084 s]
Raw data (loadavg): 1.02 1.01 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 94000 66 0 0 25 0 11 0 541408876 862044160 29822 4294967295 134512640 134569956 3221224400 3221214792 1131336936 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29822 13073 16 0 210444 0
vsize: 841840
[startup+980.084 s]
Raw data (loadavg): 1.01 1.01 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 94978 67 0 0 25 0 11 0 541408876 862044160 29894 4294967295 134512640 134569956 3221224400 3221214696 1131218695 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29894 13073 16 0 210444 0
vsize: 841840
[startup+990.085 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 95955 67 0 0 25 0 11 0 541408876 862044160 29962 4294967295 134512640 134569956 3221224400 3221214696 1131218604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29962 13073 16 0 210444 0
vsize: 841840
[startup+1000.09 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 96937 67 0 0 25 0 11 0 541408876 862044160 29991 4294967295 134512640 134569956 3221224400 3221214696 1131218184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 29991 13073 16 0 210444 0
vsize: 841840
[startup+1010.09 s]
Raw data (loadavg): 1.01 1.00 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 97921 68 0 0 25 0 11 0 541408876 862044160 30063 4294967295 134512640 134569956 3221224400 3221214696 1131218289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30063 13073 16 0 210444 0
vsize: 841840
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 98907 68 0 0 25 0 11 0 541408876 862044160 30098 4294967295 134512640 134569956 3221224400 3221214808 1131408763 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30098 13073 16 0 210444 0
vsize: 841840
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 99894 68 0 0 25 0 11 0 541408876 862044160 30139 4294967295 134512640 134569956 3221224400 3221214672 1131635340 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30139 13073 16 0 210444 0
vsize: 841840
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 100878 68 0 0 25 0 11 0 541408876 862044160 30159 4294967295 134512640 134569956 3221224400 3221214788 1131218814 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30159 13073 16 0 210444 0
vsize: 841840
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 101860 69 0 0 25 0 11 0 541408876 862044160 30207 4294967295 134512640 134569956 3221224400 3221214696 1131218289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30207 13073 16 0 210444 0
vsize: 841840
[startup+1060.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15645
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 102841 69 0 0 25 0 11 0 541408876 862044160 30256 4294967295 134512640 134569956 3221224400 3221214792 1131337919 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30256 13073 16 0 210444 0
vsize: 841840
[startup+1070.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 103819 70 0 0 25 0 11 0 541408876 862044160 30300 4294967295 134512640 134569956 3221224400 3221214696 1131218261 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30300 13073 16 0 210444 0
vsize: 841840
[startup+1080.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 104793 71 0 0 25 0 11 0 541408876 862044160 30347 4294967295 134512640 134569956 3221224400 3221214672 1131635344 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30347 13073 16 0 210444 0
vsize: 841840
[startup+1090.09 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 105770 71 0 0 25 0 11 0 541408876 862044160 30415 4294967295 134512640 134569956 3221224400 3221214696 1131218267 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 210460 30415 13073 16 0 210444 0
vsize: 841840
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 106744 71 0 0 25 0 11 0 541408876 862044160 30473 4294967295 134512640 134569956 3221224400 3221214696 1131217707 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30473 13073 16 0 210444 0
vsize: 841840
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 107718 71 0 0 25 0 11 0 541408876 862044160 30534 4294967295 134512640 134569956 3221224400 3221214520 1131267845 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30534 13073 16 0 210444 0
vsize: 841840
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 108695 72 0 0 25 0 11 0 541408876 862044160 30596 4294967295 134512640 134569956 3221224400 3221214696 1131217548 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30596 13073 16 0 210444 0
vsize: 841840
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 109674 72 0 0 25 0 11 0 541408876 862044160 30657 4294967295 134512640 134569956 3221224400 3221214792 1131338022 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30657 13073 16 0 210444 0
vsize: 841840
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 110652 72 0 0 25 0 11 0 541408876 862044160 30729 4294967295 134512640 134569956 3221224400 3221214696 1131218123 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30729 13073 16 0 210444 0
vsize: 841840
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 111632 72 0 0 25 0 11 0 541408876 862044160 30775 4294967295 134512640 134569956 3221224400 3221214696 1131218199 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30775 13073 16 0 210444 0
vsize: 841840
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 112609 73 0 0 24 0 11 0 541408876 862044160 30841 4294967295 134512640 134569956 3221224400 3221214696 1131218184 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30841 13073 16 0 210444 0
vsize: 841840
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 113592 73 0 0 24 0 11 0 541408876 862044160 30883 4294967295 134512640 134569956 3221224400 3221214792 1131337960 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30883 13073 16 0 210444 0
vsize: 841840
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 114576 74 0 0 25 0 11 0 541408876 862044160 30927 4294967295 134512640 134569956 3221224400 3221214696 1131218255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30927 13073 16 0 210444 0
vsize: 841840
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 115560 74 0 0 24 0 11 0 541408876 862044160 30953 4294967295 134512640 134569956 3221224400 3221214696 1131218255 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30953 13073 16 0 210444 0
vsize: 841840
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 116543 74 0 0 25 0 11 0 541408876 862044160 30995 4294967295 134512640 134569956 3221224400 3221214696 1131218136 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 30995 13073 16 0 210444 0
vsize: 841840
[startup+1210.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 117525 74 0 0 25 0 11 0 541408876 862044160 31041 4294967295 134512640 134569956 3221224400 3221214960 1131350977 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 31041 13073 16 0 210444 0
vsize: 841840
[startup+1220.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 118503 74 0 0 25 0 11 0 541408876 862044160 31104 4294967295 134512640 134569956 3221224400 3221214696 1131218604 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 31104 13073 16 0 210444 0
vsize: 841840
[startup+1230.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 119478 75 0 0 25 0 11 0 541408876 862044160 31163 4294967295 134512640 134569956 3221224400 3221214696 1131217972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 31163 13073 16 0 210444 0
vsize: 841840
[startup+1240.11 s]
Raw data (loadavg): 1.00 1.00 0.93 2/65 15647
Raw data (stat): 15629 (java) R 15628 20024 20023 0 -1 0 18073 0 1 0 120460 75 0 0 25 0 11 0 541408876 862044160 31196 4294967295 134512640 134569956 3221224400 3221214696 1131218314 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 210460 31196 13073 16 0 210444 0
vsize: 841840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1240.24 s]
Raw data (loadavg): 1.00 1.00 0.93 1/55 15649
Raw data (stat): 15629 (java) Z 15628 20024 20023 0 -1 1036 18073 19769 1 0 120466 81 4585 56 25 0 1 0 541408876 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.24
CPU time (s): 1251.9
CPU user time (s): 1250.52
CPU system time (s): 1.38279
CPU usage (%): 100.94
Max. virtual memory (Kb): 843260
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####