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/submitted/manquinho/primes-dimacs-cnf/normalized-ii32e2.opb
MD5SUM	4e882bbd92f288daf6e68ac3de757136
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	235
Optimality of the best value was proved	NO
Number of terms in the objective function	534
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	534
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	534
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03084
Number of variables	534
Total number of constraints	3013
Number of constraints which are clauses	3013
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 4337

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-04-13 16:35:54 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1431 boxname=wulflinc23 idbench=159 idsolver=9 numberseed=0
MD5SUM SOLVER: daf345f6fbf228671abfac48013b9cac  /oldhome/oroussel/solvers/sat4jPseudo.jar
MD5SUM BENCH:  4e882bbd92f288daf6e68ac3de757136  /oldhome/oroussel/tmp/wulflinc23/normalized-ii32e2.opb
REAL COMMAND:  java -server -Xms650M -Xmx650M -jar /oldhome/oroussel/solvers/sat4jPseudo.jar /oldhome/oroussel/tmp/wulflinc23/normalized-ii32e2.opb
IDLAUNCH: 1431
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        919624 kB
Buffers:         31892 kB
Cached:          40540 kB
SwapCached:        192 kB
Active:          38916 kB
Inactive:        36536 kB
HighTotal:      131008 kB
HighFree:        86604 kB
LowTotal:       903652 kB
LowFree:        833020 kB
SwapTotal:     2097136 kB
SwapFree:      2096944 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           6908 kB
Slab:            33952 kB
Committed_AS:    63516 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-13 16:56:46 (client local time) WITH STATUS 143 IN  SECONDS
stats: 1431 7  143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc23/normalized-ii32e2.opb
c reading problem 
c [nbvar=534]
c [nbconstr=3013]
c time 2.947
c #vars     534
c #clauses  3013
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
c SATISFIABLE
c OPTIMIZING...
c 
c CURRENT OPTIMUM=264
c Current CPU time (ms) : 5.231
c starts	: 1
c conflicts	: 12
c decisions	: 138
c propagations	: 1160
c inspects	: 5777
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 12
c root simplifications	: 1
c 
c CURRENT OPTIMUM=237
c Current CPU time (ms) : 10.969
c starts	: 2
c conflicts	: 28
c decisions	: 510
c propagations	: 3857
c inspects	: 15751
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 28
c root simplifications	: 2
c 
c CURRENT OPTIMUM=236
c Current CPU time (ms) : 351.459
c starts	: 7
c conflicts	: 899
c decisions	: 3010
c propagations	: 80348
c inspects	: 1235682
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 899
c root simplifications	: 7
#### 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.93 0.98 0.90 2/54 3669
Raw data (stat): 3669 (runsolver) R 3668 3260 3259 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 477435493 1052672 99 4294967295 134512640 135381576 3221224448 3221219696 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+9.99961 s]
Raw data (loadavg): 1.24 1.05 0.93 4/64 3680
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 15901 3 1 0 584 40 0 0 25 0 11 0 477435493 879525888 21942 4294967295 134512640 134569956 3221224416 3221214696 1131227756 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 214728 21942 13073 16 0 214712 0
vsize: 858912
[startup+20.0007 s]
Raw data (loadavg): 1.28 1.06 0.93 3/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 1402 46 0 0 23 0 11 0 477435493 876814336 24912 4294967295 134512640 134569956 3221224416 3221214760 1131252165 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 214066 24912 13073 16 0 214050 0
vsize: 856264
[startup+30.0012 s]
Raw data (loadavg): 1.24 1.06 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 2335 46 0 0 25 0 11 0 477435493 872075264 24366 4294967295 134512640 134569956 3221224416 3221214696 1131227467 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212909 24366 13073 16 0 212893 0
vsize: 851636
[startup+40.0004 s]
Raw data (loadavg): 1.20 1.06 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 3272 46 0 0 25 0 11 0 477435493 869580800 23837 4294967295 134512640 134569956 3221224416 3221214856 1131285155 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 23837 13073 16 0 212284 0
vsize: 849200
[startup+50.0014 s]
Raw data (loadavg): 1.17 1.06 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 4210 47 0 0 25 0 11 0 477435493 869580800 23911 4294967295 134512640 134569956 3221224416 3221214696 1131227608 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 23911 13073 16 0 212284 0
vsize: 849200
[startup+60.0011 s]
Raw data (loadavg): 1.14 1.05 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 5150 47 0 0 25 0 11 0 477435493 869580800 24291 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 24291 13073 16 0 212284 0
vsize: 849200
[startup+70.0012 s]
Raw data (loadavg): 1.12 1.05 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 6103 48 0 0 25 0 11 0 477435493 869580800 24639 4294967295 134512640 134569956 3221224416 3221214696 1131227402 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 24639 13073 16 0 212284 0
vsize: 849200
[startup+80.0023 s]
Raw data (loadavg): 1.10 1.05 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 7070 48 0 0 25 0 11 0 477435493 869580800 24674 4294967295 134512640 134569956 3221224416 3221214696 1131227371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 24674 13073 16 0 212284 0
vsize: 849200
[startup+90.002 s]
Raw data (loadavg): 1.08 1.05 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 8026 48 0 0 25 0 11 0 477435493 869580800 24728 4294967295 134512640 134569956 3221224416 3221214848 1131661607 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 24728 13073 16 0 212284 0
vsize: 849200
[startup+100.002 s]
Raw data (loadavg): 1.07 1.05 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 8980 49 0 0 25 0 11 0 477435493 869580800 24788 4294967295 134512640 134569956 3221224416 3221214696 1131227933 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 24788 13073 16 0 212284 0
vsize: 849200
[startup+110.002 s]
Raw data (loadavg): 1.06 1.04 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 9931 49 0 0 25 0 11 0 477435493 869580800 24873 4294967295 134512640 134569956 3221224416 3221214696 1131227696 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 24873 13073 16 0 212284 0
vsize: 849200
[startup+120.003 s]
Raw data (loadavg): 1.05 1.04 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 10870 50 0 0 25 0 11 0 477435493 869580800 25052 4294967295 134512640 134569956 3221224416 3221214880 1131360471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 25052 13073 16 0 212284 0
vsize: 849200
[startup+130.003 s]
Raw data (loadavg): 1.04 1.04 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 11823 50 0 0 25 0 11 0 477435493 869580800 25130 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212300 25130 13073 16 0 212284 0
vsize: 849200
[startup+140.003 s]
Raw data (loadavg): 1.04 1.04 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 12780 50 0 0 25 0 11 0 477435493 869580800 25403 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 25403 13073 16 0 212284 0
vsize: 849200
[startup+150.004 s]
Raw data (loadavg): 1.03 1.04 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 13750 50 0 0 25 0 11 0 477435493 869580800 25428 4294967295 134512640 134569956 3221224416 3221214792 1131321882 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 25428 13073 16 0 212284 0
vsize: 849200
[startup+160.003 s]
Raw data (loadavg): 1.02 1.03 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 14715 51 0 0 25 0 11 0 477435493 869580800 25511 4294967295 134512640 134569956 3221224416 3221214696 1131227761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 25511 13073 16 0 212284 0
vsize: 849200
[startup+170.004 s]
Raw data (loadavg): 1.02 1.03 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 15688 51 0 0 25 0 11 0 477435493 869580800 25699 4294967295 134512640 134569956 3221224416 3221214792 1131321781 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 25699 13073 16 0 212284 0
vsize: 849200
[startup+180.005 s]
Raw data (loadavg): 1.02 1.03 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 16673 51 0 0 25 0 11 0 477435493 869580800 25775 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 25775 13073 16 0 212284 0
vsize: 849200
[startup+190.005 s]
Raw data (loadavg): 1.01 1.03 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 17658 52 0 0 25 0 11 0 477435493 869580800 25807 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 25807 13073 16 0 212284 0
vsize: 849200
[startup+200.005 s]
Raw data (loadavg): 1.01 1.03 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 18643 52 0 0 25 0 11 0 477435493 869580800 25841 4294967295 134512640 134569956 3221224416 3221214696 1131228282 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 25841 13073 16 0 212284 0
vsize: 849200
[startup+210.004 s]
Raw data (loadavg): 1.01 1.03 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 19627 52 0 0 25 0 11 0 477435493 869580800 25877 4294967295 134512640 134569956 3221224416 3221214976 1131343959 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 25877 13073 16 0 212284 0
vsize: 849200
[startup+220.005 s]
Raw data (loadavg): 1.01 1.03 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 20612 53 0 0 25 0 11 0 477435493 869580800 25900 4294967295 134512640 134569956 3221224416 3221214976 1131343898 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 25900 13073 16 0 212284 0
vsize: 849200
[startup+230.005 s]
Raw data (loadavg): 1.01 1.02 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 21597 53 0 0 25 0 11 0 477435493 869580800 25941 4294967295 134512640 134569956 3221224416 3221214696 1131227954 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 25941 13073 16 0 212284 0
vsize: 849200
[startup+240.005 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 22578 53 0 0 25 0 11 0 477435493 869580800 25977 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 25977 13073 16 0 212284 0
vsize: 849200
[startup+250.005 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 23563 53 0 0 25 0 11 0 477435493 869580800 26010 4294967295 134512640 134569956 3221224416 3221214792 1131321649 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26010 13073 16 0 212284 0
vsize: 849200
[startup+260.005 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 24548 53 0 0 25 0 11 0 477435493 869580800 26036 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26036 13073 16 0 212284 0
vsize: 849200
[startup+270.005 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 25531 54 0 0 25 0 11 0 477435493 869580800 26065 4294967295 134512640 134569956 3221224416 3221214792 1131321923 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26065 13073 16 0 212284 0
vsize: 849200
[startup+280.005 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 26517 54 0 0 25 0 11 0 477435493 869580800 26095 4294967295 134512640 134569956 3221224416 3221214696 1131227595 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26095 13073 16 0 212284 0
vsize: 849200
[startup+290.005 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 27500 54 0 0 25 0 11 0 477435493 869580800 26117 4294967295 134512640 134569956 3221224416 3221214696 1131227371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26117 13073 16 0 212284 0
vsize: 849200
[startup+300.006 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 28485 55 0 0 25 0 11 0 477435493 869580800 26147 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26147 13073 16 0 212284 0
vsize: 849200
[startup+310.006 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 29469 55 0 0 25 0 11 0 477435493 869580800 26168 4294967295 134512640 134569956 3221224416 3221214696 1131227660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26168 13073 16 0 212284 0
vsize: 849200
[startup+320.007 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 30452 55 0 0 25 0 11 0 477435493 869580800 26198 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26198 13073 16 0 212284 0
vsize: 849200
[startup+330.008 s]
Raw data (loadavg): 1.00 1.02 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 31436 56 0 0 25 0 11 0 477435493 869580800 26215 4294967295 134512640 134569956 3221224416 3221214792 1131321521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26215 13073 16 0 212284 0
vsize: 849200
[startup+340.007 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 32420 56 0 0 25 0 11 0 477435493 869580800 26233 4294967295 134512640 134569956 3221224416 3221214696 1131227660 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26233 13073 16 0 212284 0
vsize: 849200
[startup+350.008 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3681
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18115 3 1 0 33400 56 0 0 25 0 11 0 477435493 869580800 26253 4294967295 134512640 134569956 3221224416 3221214696 1131228327 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26253 13073 16 0 212284 0
vsize: 849200
[startup+360.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 34373 57 0 0 25 0 11 0 477435493 869580800 26277 4294967295 134512640 134569956 3221224416 3221214792 1131323969 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26277 13073 16 0 212284 0
vsize: 849200
[startup+370.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 35336 57 0 0 25 0 11 0 477435493 869580800 26299 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26299 13073 16 0 212284 0
vsize: 849200
[startup+380.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 36307 58 0 0 25 0 11 0 477435493 869580800 26311 4294967295 134512640 134569956 3221224416 3221214696 1131227413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26311 13073 16 0 212284 0
vsize: 849200
[startup+390.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 37277 58 0 0 25 0 11 0 477435493 869580800 26337 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26337 13073 16 0 212284 0
vsize: 849200
[startup+400.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 38244 58 0 0 25 0 11 0 477435493 869580800 26548 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26548 13073 16 0 212284 0
vsize: 849200
[startup+410.009 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 39230 58 0 0 25 0 11 0 477435493 869580800 26611 4294967295 134512640 134569956 3221224416 3221214792 1131323972 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26611 13073 16 0 212284 0
vsize: 849200
[startup+420.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 40214 59 0 0 25 0 11 0 477435493 869580800 26636 4294967295 134512640 134569956 3221224416 3221214792 1131321509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26636 13073 16 0 212284 0
vsize: 849200
[startup+430.01 s]
Raw data (loadavg): 1.00 1.01 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 41200 59 0 0 25 0 11 0 477435493 869580800 26660 4294967295 134512640 134569956 3221224416 3221214792 1131323675 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26660 13073 16 0 212284 0
vsize: 849200
[startup+440.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 42184 59 0 0 25 0 11 0 477435493 869580800 26676 4294967295 134512640 134569956 3221224416 3221214696 1131228367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26676 13073 16 0 212284 0
vsize: 849200
[startup+450.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 43166 59 0 0 25 0 11 0 477435493 869580800 26702 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26702 13073 16 0 212284 0
vsize: 849200
[startup+460.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 44149 60 0 0 24 0 11 0 477435493 869580800 26723 4294967295 134512640 134569956 3221224416 3221214696 1131227329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26723 13073 16 0 212284 0
vsize: 849200
[startup+470.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 45130 60 0 0 25 0 11 0 477435493 869580800 26743 4294967295 134512640 134569956 3221224416 3221214696 1131227830 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26743 13073 16 0 212284 0
vsize: 849200
[startup+480.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 46111 61 0 0 24 0 11 0 477435493 869580800 26755 4294967295 134512640 134569956 3221224416 3221214696 1131228197 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26755 13073 16 0 212284 0
vsize: 849200
[startup+490.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 47083 61 0 0 25 0 11 0 477435493 869580800 26769 4294967295 134512640 134569956 3221224416 3221214584 1131252232 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26769 13073 16 0 212284 0
vsize: 849200
[startup+500.01 s]
Raw data (loadavg): 1.08 1.02 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 48034 61 0 0 25 0 11 0 477435493 869580800 26786 4294967295 134512640 134569956 3221224416 3221214680 1131764100 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26786 13073 16 0 212284 0
vsize: 849200
[startup+510.01 s]
Raw data (loadavg): 1.07 1.02 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 48964 61 0 0 25 0 11 0 477435493 869580800 26857 4294967295 134512640 134569956 3221224416 3221214792 1131321691 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26857 13073 16 0 212284 0
vsize: 849200
[startup+520.011 s]
Raw data (loadavg): 1.06 1.01 0.94 2/64 3682
Raw data (stat): 3669 (java) S 3668 3260 3259 0 -1 0 18116 3 1 0 49906 61 0 0 25 0 11 0 477435493 869580800 26872 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26872 13073 16 0 212284 0
vsize: 849200
[startup+530.01 s]
Raw data (loadavg): 1.05 1.01 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 50845 61 0 0 25 0 11 0 477435493 869580800 26893 4294967295 134512640 134569956 3221224416 3221214696 1131228320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 26893 13073 16 0 212284 0
vsize: 849200
[startup+540.01 s]
Raw data (loadavg): 1.04 1.01 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 51784 62 0 0 25 0 11 0 477435493 869580800 27111 4294967295 134512640 134569956 3221224416 3221214788 1131227308 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 27111 13073 16 0 212284 0
vsize: 849200
[startup+550.01 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 52730 62 0 0 25 0 11 0 477435493 869580800 27591 4294967295 134512640 134569956 3221224416 3221214572 1131508393 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 27591 13073 16 0 212284 0
vsize: 849200
[startup+560.01 s]
Raw data (loadavg): 1.03 1.01 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 53666 62 0 0 25 0 11 0 477435493 869580800 27656 4294967295 134512640 134569956 3221224416 3221214584 1131251988 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 27656 13073 16 0 212284 0
vsize: 849200
[startup+570.011 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 54602 62 0 0 25 0 11 0 477435493 869580800 27683 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 27683 13073 16 0 212284 0
vsize: 849200
[startup+580.011 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 55520 63 0 0 25 0 11 0 477435493 869580800 28182 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 28182 13073 16 0 212284 0
vsize: 849200
[startup+590.011 s]
Raw data (loadavg): 1.02 1.01 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 56455 63 0 0 25 0 11 0 477435493 869580800 28281 4294967295 134512640 134569956 3221224416 3221214696 1131228179 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 28281 13073 16 0 212284 0
vsize: 849200
[startup+600.011 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 57396 63 0 0 25 0 11 0 477435493 869580800 28441 4294967295 134512640 134569956 3221224416 3221214568 1131663091 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 28441 13073 16 0 212284 0
vsize: 849200
[startup+610.011 s]
Raw data (loadavg): 1.01 1.01 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 58334 64 0 0 25 0 11 0 477435493 869580800 28598 4294967295 134512640 134569956 3221224416 3221214584 1131252290 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 28598 13073 16 0 212284 0
vsize: 849200
[startup+620.012 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 59278 64 0 0 25 0 11 0 477435493 869580800 28859 4294967295 134512640 134569956 3221224416 3221214696 1131227756 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 28859 13073 16 0 212284 0
vsize: 849200
[startup+630.012 s]
Raw data (loadavg): 1.01 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 60240 65 0 0 25 0 11 0 477435493 869580800 28915 4294967295 134512640 134569956 3221224416 3221214792 1131322557 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 28915 13073 16 0 212284 0
vsize: 849200
[startup+640.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 61194 65 0 0 25 0 11 0 477435493 869580800 29065 4294967295 134512640 134569956 3221224416 3221214792 1131322875 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29065 13073 16 0 212284 0
vsize: 849200
[startup+650.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 62152 65 0 0 25 0 11 0 477435493 869580800 29197 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29197 13073 16 0 212284 0
vsize: 849200
[startup+660.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 63124 66 0 0 25 0 11 0 477435493 869580800 29347 4294967295 134512640 134569956 3221224416 3221214792 1131322742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29347 13073 16 0 212284 0
vsize: 849200
[startup+670.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 64107 66 0 0 25 0 11 0 477435493 869580800 29456 4294967295 134512640 134569956 3221224416 3221214696 1131227333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29456 13073 16 0 212284 0
vsize: 849200
[startup+680.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 65094 66 0 0 25 0 11 0 477435493 869580800 29473 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29473 13073 16 0 212284 0
vsize: 849200
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 66081 66 0 0 25 0 11 0 477435493 869580800 29489 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29489 13073 16 0 212284 0
vsize: 849200
[startup+700.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 67069 67 0 0 25 0 11 0 477435493 869580800 29503 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29503 13073 16 0 212284 0
vsize: 849200
[startup+710.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 68056 67 0 0 25 0 11 0 477435493 869580800 29514 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29514 13073 16 0 212284 0
vsize: 849200
[startup+720.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 69042 67 0 0 25 0 11 0 477435493 869580800 29527 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29527 13073 16 0 212284 0
vsize: 849200
[startup+730.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 70030 68 0 0 25 0 11 0 477435493 869580800 29536 4294967295 134512640 134569956 3221224416 3221214792 1131321791 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212300 29536 13073 16 0 212284 0
vsize: 849200
[startup+740.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 71018 68 0 0 25 0 11 0 477435493 869580800 29545 4294967295 134512640 134569956 3221224416 3221214792 1131322742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29545 13073 16 0 212284 0
vsize: 849200
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 71996 68 0 0 25 0 11 0 477435493 869580800 29560 4294967295 134512640 134569956 3221224416 3221214696 1131228320 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29560 13073 16 0 212284 0
vsize: 849200
[startup+760.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 72969 69 0 0 25 0 11 0 477435493 869580800 29566 4294967295 134512640 134569956 3221224416 3221214576 1131498670 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29566 13073 16 0 212284 0
vsize: 849200
[startup+770.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 73939 69 0 0 25 0 11 0 477435493 869580800 29577 4294967295 134512640 134569956 3221224416 3221214696 1131227329 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29577 13073 16 0 212284 0
vsize: 849200
[startup+780.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 74904 70 0 0 25 0 11 0 477435493 869580800 29602 4294967295 134512640 134569956 3221224416 3221214976 1131344050 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29602 13073 16 0 212284 0
vsize: 849200
[startup+790.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 75861 70 0 0 25 0 11 0 477435493 869580800 29685 4294967295 134512640 134569956 3221224416 3221214792 1131322705 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29685 13073 16 0 212284 0
vsize: 849200
[startup+800.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 76820 70 0 0 25 0 11 0 477435493 869580800 29760 4294967295 134512640 134569956 3221224416 3221214696 1131228226 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29760 13073 16 0 212284 0
vsize: 849200
[startup+810.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 77779 71 0 0 25 0 11 0 477435493 869580800 29861 4294967295 134512640 134569956 3221224416 3221214696 1131227357 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29861 13073 16 0 212284 0
vsize: 849200
[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 78740 71 0 0 25 0 11 0 477435493 869580800 29932 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29932 13073 16 0 212284 0
vsize: 849200
[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 79700 71 0 0 25 0 11 0 477435493 869580800 29992 4294967295 134512640 134569956 3221224416 3221214696 1131227333 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 29992 13073 16 0 212284 0
vsize: 849200
[startup+840.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 80661 72 0 0 24 0 11 0 477435493 869580800 30169 4294967295 134512640 134569956 3221224416 3221214696 1131228228 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 30169 13073 16 0 212284 0
vsize: 849200
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 81632 72 0 0 25 0 11 0 477435493 869580800 30246 4294967295 134512640 134569956 3221224416 3221214792 1131321521 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 212300 30246 13073 16 0 212284 0
vsize: 849200
[startup+860.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 82604 72 0 0 25 0 11 0 477435493 869580800 30320 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 30320 13073 16 0 212284 0
vsize: 849200
[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 83575 73 0 0 25 0 11 0 477435493 869580800 30386 4294967295 134512640 134569956 3221224416 3221214696 1131228367 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 30386 13073 16 0 212284 0
vsize: 849200
[startup+880.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) S 3668 3260 3259 0 -1 0 18116 3 1 0 84542 73 0 0 25 0 11 0 477435493 869580800 30470 4294967295 134512640 134569956 3221224416 3221213440 1073943035 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 30470 13073 16 0 212284 0
vsize: 849200
[startup+890.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 85512 73 0 0 25 0 11 0 477435493 869580800 30526 4294967295 134512640 134569956 3221224416 3221214792 1131322417 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 30526 13073 16 0 212284 0
vsize: 849200
[startup+900.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 86469 74 0 0 25 0 11 0 477435493 869580800 30592 4294967295 134512640 134569956 3221224416 3221214680 1131764221 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 30592 13073 16 0 212284 0
vsize: 849200
[startup+910.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 87428 74 0 0 25 0 11 0 477435493 869580800 30669 4294967295 134512640 134569956 3221224416 3221214680 1131766231 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 30669 13073 16 0 212284 0
vsize: 849200
[startup+920.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 88375 74 0 0 24 0 11 0 477435493 869580800 30768 4294967295 134512640 134569956 3221224416 3221214560 1131508409 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 30768 13073 16 0 212284 0
vsize: 849200
[startup+930.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 89311 74 0 0 25 0 11 0 477435493 869580800 30806 4294967295 134512640 134569956 3221224416 3221214576 1131499220 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 30806 13073 16 0 212284 0
vsize: 849200
[startup+940.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 90244 75 0 0 25 0 11 0 477435493 869580800 31005 4294967295 134512640 134569956 3221224416 3221214584 1131252097 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31005 13073 16 0 212284 0
vsize: 849200
[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 91180 75 0 0 25 0 11 0 477435493 869580800 31063 4294967295 134512640 134569956 3221224416 3221214592 1078032289 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31063 13073 16 0 212284 0
vsize: 849200
[startup+960.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 92124 75 0 0 25 0 11 0 477435493 869580800 31185 4294967295 134512640 134569956 3221224416 3221214792 1131322742 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31185 13073 16 0 212284 0
vsize: 849200
[startup+970.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 93075 75 0 0 25 0 11 0 477435493 869580800 31459 4294967295 134512640 134569956 3221224416 3221214696 1131227371 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31459 13073 16 0 212284 0
vsize: 849200
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 94044 76 0 0 25 0 11 0 477435493 869580800 31621 4294967295 134512640 134569956 3221224416 3221214696 1131228191 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31621 13073 16 0 212284 0
vsize: 849200
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 95011 76 0 0 25 0 11 0 477435493 869580800 31736 4294967295 134512640 134569956 3221224416 3221214792 1131321521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31736 13073 16 0 212284 0
vsize: 849200
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 95987 76 0 0 25 0 11 0 477435493 869580800 31850 4294967295 134512640 134569956 3221224416 3221214792 1131321831 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31850 13073 16 0 212284 0
vsize: 849200
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 96969 77 0 0 25 0 11 0 477435493 869580800 31896 4294967295 134512640 134569956 3221224416 3221214792 1131325093 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31896 13073 16 0 212284 0
vsize: 849200
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 97953 77 0 0 25 0 11 0 477435493 869580800 31933 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31933 13073 16 0 212284 0
vsize: 849200
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 98936 77 0 0 25 0 11 0 477435493 869580800 31954 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31954 13073 16 0 212284 0
vsize: 849200
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 99922 77 0 0 25 0 11 0 477435493 869580800 31965 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31965 13073 16 0 212284 0
vsize: 849200
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 100905 78 0 0 24 0 11 0 477435493 869580800 31982 4294967295 134512640 134569956 3221224416 3221214788 1131228519 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31982 13073 16 0 212284 0
vsize: 849200
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 101892 78 0 0 25 0 11 0 477435493 869580800 31993 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 31993 13073 16 0 212284 0
vsize: 849200
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 102879 79 0 0 25 0 11 0 477435493 869580800 32001 4294967295 134512640 134569956 3221224416 3221214792 1131321521 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32001 13073 16 0 212284 0
vsize: 849200
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 103861 79 0 0 25 0 11 0 477435493 869580800 32029 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32029 13073 16 0 212284 0
vsize: 849200
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 104849 79 0 0 25 0 11 0 477435493 869580800 32036 4294967295 134512640 134569956 3221224416 3221214792 1131321866 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32036 13073 16 0 212284 0
vsize: 849200
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 105834 80 0 0 25 0 11 0 477435493 869580800 32040 4294967295 134512640 134569956 3221224416 3221214792 1131321752 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32040 13073 16 0 212284 0
vsize: 849200
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 106818 80 0 0 25 0 11 0 477435493 869580800 32051 4294967295 134512640 134569956 3221224416 3221214696 1131227432 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32051 13073 16 0 212284 0
vsize: 849200
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 107803 80 0 0 25 0 11 0 477435493 869580800 32066 4294967295 134512640 134569956 3221224416 3221214696 1131228302 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32066 13073 16 0 212284 0
vsize: 849200
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 108791 80 0 0 25 0 11 0 477435493 869580800 32082 4294967295 134512640 134569956 3221224416 3221214696 1131227639 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32082 13073 16 0 212284 0
vsize: 849200
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 109775 81 0 0 25 0 11 0 477435493 869580800 32105 4294967295 134512640 134569956 3221224416 3221214696 1131227711 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32105 13073 16 0 212284 0
vsize: 849200
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 110761 81 0 0 25 0 11 0 477435493 869580800 32115 4294967295 134512640 134569956 3221224416 3221214792 1131322785 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32115 13073 16 0 212284 0
vsize: 849200
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 111748 81 0 0 25 0 11 0 477435493 869580800 32120 4294967295 134512640 134569956 3221224416 3221214792 1131321509 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32120 13073 16 0 212284 0
vsize: 849200
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 112735 82 0 0 25 0 11 0 477435493 869580800 32129 4294967295 134512640 134569956 3221224416 3221214696 1131227471 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32129 13073 16 0 212284 0
vsize: 849200
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 113721 82 0 0 25 0 11 0 477435493 869580800 32138 4294967295 134512640 134569956 3221224416 3221214696 1131227761 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32138 13073 16 0 212284 0
vsize: 849200
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 114706 82 0 0 25 0 11 0 477435493 869580800 32146 4294967295 134512640 134569956 3221224416 3221214792 1131321896 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32146 13073 16 0 212284 0
vsize: 849200
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 115694 82 0 0 25 0 11 0 477435493 869580800 32156 4294967295 134512640 134569956 3221224416 3221214792 1131322738 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32156 13073 16 0 212284 0
vsize: 849200
[startup+1210.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 116681 83 0 0 25 0 11 0 477435493 869580800 32169 4294967295 134512640 134569956 3221224416 3221214976 1131344055 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32169 13073 16 0 212284 0
vsize: 849200
[startup+1220.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 117667 83 0 0 25 0 11 0 477435493 869580800 32177 4294967295 134512640 134569956 3221224416 3221214792 1131321687 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32177 13073 16 0 212284 0
vsize: 849200
[startup+1230.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 118654 83 0 0 25 0 11 0 477435493 869580800 32191 4294967295 134512640 134569956 3221224416 3221214792 1131321841 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32191 13073 16 0 212284 0
vsize: 849200
[startup+1240.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 119639 84 0 0 25 0 11 0 477435493 869580800 32200 4294967295 134512640 134569956 3221224416 3221214696 1131227413 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32200 13073 16 0 212284 0
vsize: 849200
[startup+1250.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/64 3682
Raw data (stat): 3669 (java) R 3668 3260 3259 0 -1 0 18116 3 1 0 120624 84 0 0 25 0 11 0 477435493 869580800 32208 4294967295 134512640 134569956 3221224416 3221214792 1131321680 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 212300 32208 13073 16 0 212284 0
vsize: 849200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1250.13 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 3684
Raw data (stat): 3669 (java) Z 3668 3260 3259 0 -1 1036 18116 29270 1 0 120627 90 6215 87 25 0 1 0 477435493 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): 1250.12
CPU time (s): 1270.21
CPU user time (s): 1268.43
CPU system time (s): 1.78073
CPU usage (%): 101.607
Max. virtual memory (Kb): 858912
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####