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/miplib2003/normalized-mps-v2-13-7-swath.opb
MD5SUM	f47bbbd6071f289ca98b403c3baa1b08
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	16384000000
Number of bits of the biggest number in a constraint	34
Biggest sum of numbers in a constraint	2012983988447
Number of bits of the biggest sum of numbers	41
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.868867
Number of variables	8345
Total number of constraints	7608
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	7147
Number of constraints which are nor clauses,nor cardinality constraints	461
Minimum length of a constraint	1
Maximum length of a constraint	6744
Trace number 15274

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        255088 kB
Buffers:         38308 kB
Cached:         699764 kB
SwapCached:          0 kB
Active:         257436 kB
Inactive:       483576 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        254836 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6964 kB
Slab:            32972 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 04:02:06 (client local time) WITH STATUS 143 IN 1219.41 SECONDS
stats: 18053 7 1219.41 143
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c solving /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-13-7-swath.opb
c reading problem 
c [nbvar=8345]
c [nbconstr=7608]
c time 31.128
c #vars     8345
c #clauses  987
c starts	: 0
c conflicts	: 0
c decisions	: 0
c propagations	: 0
c inspects	: 0
c learned literals	: 0
c learned binary clauses	: 0
c learned ternary clauses	: 0
c learned clauses	: 0
c root simplifications	: 0
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.97 0.91 2/54 22721
Raw data (stat): 22721 (runsolver) R 22720 22612 22611 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 541926403 1052672 99 4294967295 134512640 135381576 3221224432 3221219680 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.87 0.97 0.91 2/63 22730
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18011 0 1 0 889 40 0 0 24 0 10 0 541926403 854040576 19279 4294967295 134512640 134569956 3221224400 3221213908 1077589905 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208506 19279 13073 16 0 208490 0
vsize: 834024
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.97 0.91 2/63 22730
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18011 0 1 0 1807 40 0 0 24 0 10 0 541926403 853995520 19535 4294967295 134512640 134569956 3221224400 3221214776 1130919000 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208495 19535 13073 16 0 208479 0
vsize: 833980
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.97 0.91 2/63 22730
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18011 0 1 0 2687 43 0 0 25 0 10 0 541926403 854044672 20471 4294967295 134512640 134569956 3221224400 3221214864 1131191910 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 208507 20471 13073 16 0 208491 0
vsize: 834028
[startup+40.0013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18082 0 1 0 3555 45 0 0 24 0 11 0 541926403 857853952 24390 4294967295 134512640 134569956 3221224400 3221214768 1131287141 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209437 24390 13073 16 0 209421 0
vsize: 837748
[startup+50.1059 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18082 0 1 0 4529 45 0 0 25 0 11 0 541926403 856735744 24162 4294967295 134512640 134569956 3221224400 3221214568 1131290061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209164 24162 13073 16 0 209148 0
vsize: 836656
[startup+60.1062 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 5513 45 0 0 25 0 11 0 541926403 856735744 24163 4294967295 134512640 134569956 3221224400 3221214568 1131289920 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209164 24163 13073 16 0 209148 0
vsize: 836656
[startup+70.1073 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 6494 46 0 0 25 0 11 0 541926403 856735744 24165 4294967295 134512640 134569956 3221224400 3221214760 1131487464 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209164 24165 13073 16 0 209148 0
vsize: 836656
[startup+80.1083 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 7478 46 0 0 25 0 11 0 541926403 856735744 24165 4294967295 134512640 134569956 3221224400 3221214680 1131379836 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209164 24165 13073 16 0 209148 0
vsize: 836656
[startup+90.1081 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 8464 47 0 0 25 0 11 0 541926403 856735744 24165 4294967295 134512640 134569956 3221224400 3221214568 1131290061 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209164 24165 13073 16 0 209148 0
vsize: 836656
[startup+100.129 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 9459 47 0 0 25 0 11 0 541926403 856735744 24415 4294967295 134512640 134569956 3221224400 3221214760 1131487467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209164 24415 13073 16 0 209148 0
vsize: 836656
[startup+110.149 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 10459 47 0 0 25 0 11 0 541926403 856735744 24415 4294967295 134512640 134569956 3221224400 3221214556 1130912398 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209164 24415 13073 16 0 209148 0
vsize: 836656
[startup+120.15 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 11456 48 0 0 25 0 11 0 541926403 858587136 24835 4294967295 134512640 134569956 3221224400 3221214680 1131379831 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24835 13073 16 0 209600 0
vsize: 838464
[startup+130.164 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 12450 48 0 0 25 0 11 0 541926403 858587136 24842 4294967295 134512640 134569956 3221224400 3221214664 1131290076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24842 13073 16 0 209600 0
vsize: 838464
[startup+140.168 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 13445 48 0 0 25 0 11 0 541926403 858587136 24842 4294967295 134512640 134569956 3221224400 3221214648 1131287031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24842 13073 16 0 209600 0
vsize: 838464
[startup+150.185 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 14444 49 0 0 25 0 11 0 541926403 858587136 24864 4294967295 134512640 134569956 3221224400 3221214760 1131487533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24864 13073 16 0 209600 0
vsize: 838464
[startup+160.185 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 15441 49 0 0 25 0 11 0 541926403 858587136 24864 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24864 13073 16 0 209600 0
vsize: 838464
[startup+170.197 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 16441 49 0 0 25 0 11 0 541926403 858587136 24864 4294967295 134512640 134569956 3221224400 3221214760 1131487533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24864 13073 16 0 209600 0
vsize: 838464
[startup+180.197 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 17438 50 0 0 25 0 11 0 541926403 858587136 24864 4294967295 134512640 134569956 3221224400 3221214664 1131290405 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24864 13073 16 0 209600 0
vsize: 838464
[startup+190.198 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 18435 50 0 0 25 0 11 0 541926403 858587136 24885 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24885 13073 16 0 209600 0
vsize: 838464
[startup+200.199 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 19432 51 0 0 25 0 11 0 541926403 858587136 24885 4294967295 134512640 134569956 3221224400 3221214648 1131287031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24885 13073 16 0 209600 0
vsize: 838464
[startup+210.199 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 20430 51 0 0 25 0 11 0 541926403 858587136 24885 4294967295 134512640 134569956 3221224400 3221214664 1131290076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24885 13073 16 0 209600 0
vsize: 838464
[startup+220.199 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18083 0 1 0 21429 51 0 0 25 0 11 0 541926403 858587136 24885 4294967295 134512640 134569956 3221224400 3221214768 1131519068 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24885 13073 16 0 209600 0
vsize: 838464
[startup+230.199 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 22425 51 0 0 25 0 11 0 541926403 858587136 24887 4294967295 134512640 134569956 3221224400 3221214664 1131290065 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24887 13073 16 0 209600 0
vsize: 838464
[startup+240.198 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 23422 51 0 0 25 0 11 0 541926403 858587136 24909 4294967295 134512640 134569956 3221224400 3221214768 1131519056 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 24909 13073 16 0 209600 0
vsize: 838464
[startup+250.2 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 24419 52 0 0 25 0 11 0 541926403 858587136 24913 4294967295 134512640 134569956 3221224400 3221214760 1131488196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24913 13073 16 0 209600 0
vsize: 838464
[startup+260.2 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 25415 52 0 0 25 0 11 0 541926403 858587136 24915 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24915 13073 16 0 209600 0
vsize: 838464
[startup+270.2 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 26411 52 0 0 25 0 11 0 541926403 858587136 24915 4294967295 134512640 134569956 3221224400 3221214664 1131290076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24915 13073 16 0 209600 0
vsize: 838464
[startup+280.2 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 27408 52 0 0 25 0 11 0 541926403 858587136 24915 4294967295 134512640 134569956 3221224400 3221214768 1131524524 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24915 13073 16 0 209600 0
vsize: 838464
[startup+290.2 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 28404 53 0 0 25 0 11 0 541926403 858587136 24915 4294967295 134512640 134569956 3221224400 3221214768 1131519079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24915 13073 16 0 209600 0
vsize: 838464
[startup+300.201 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 29402 53 0 0 25 0 11 0 541926403 858587136 24915 4294967295 134512640 134569956 3221224400 3221214760 1131487777 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24915 13073 16 0 209600 0
vsize: 838464
[startup+310.201 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 30397 53 0 0 25 0 11 0 541926403 858587136 24915 4294967295 134512640 134569956 3221224400 3221214768 1131519079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24915 13073 16 0 209600 0
vsize: 838464
[startup+320.2 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 31394 54 0 0 25 0 11 0 541926403 858587136 24950 4294967295 134512640 134569956 3221224400 3221214760 1131487457 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24950 13073 16 0 209600 0
vsize: 838464
[startup+330.201 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 32391 54 0 0 25 0 11 0 541926403 858587136 24950 4294967295 134512640 134569956 3221224400 3221214664 1131289941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24950 13073 16 0 209600 0
vsize: 838464
[startup+340.201 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 33389 54 0 0 25 0 11 0 541926403 858587136 24950 4294967295 134512640 134569956 3221224400 3221214664 1131290012 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24950 13073 16 0 209600 0
vsize: 838464
[startup+350.202 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 34387 55 0 0 25 0 11 0 541926403 858587136 24950 4294967295 134512640 134569956 3221224400 3221214768 1131519079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24950 13073 16 0 209600 0
vsize: 838464
[startup+360.202 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 35384 55 0 0 25 0 11 0 541926403 858587136 24972 4294967295 134512640 134569956 3221224400 3221214768 1131519196 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24972 13073 16 0 209600 0
vsize: 838464
[startup+370.202 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 36382 56 0 0 25 0 11 0 541926403 858587136 24972 4294967295 134512640 134569956 3221224400 3221214664 1131289941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24972 13073 16 0 209600 0
vsize: 838464
[startup+380.203 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 37380 56 0 0 25 0 11 0 541926403 858587136 24972 4294967295 134512640 134569956 3221224400 3221214756 1131287008 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24972 13073 16 0 209600 0
vsize: 838464
[startup+390.203 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 38378 57 0 0 25 0 11 0 541926403 858587136 24972 4294967295 134512640 134569956 3221224400 3221214664 1131290059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24972 13073 16 0 209600 0
vsize: 838464
[startup+400.204 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 39375 57 0 0 25 0 11 0 541926403 858587136 24972 4294967295 134512640 134569956 3221224400 3221214760 1131487464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24972 13073 16 0 209600 0
vsize: 838464
[startup+410.204 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 40373 57 0 0 25 0 11 0 541926403 858587136 24993 4294967295 134512640 134569956 3221224400 3221214664 1131290076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24993 13073 16 0 209600 0
vsize: 838464
[startup+420.204 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 41370 57 0 0 25 0 11 0 541926403 858587136 24993 4294967295 134512640 134569956 3221224400 3221214760 1131487467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24993 13073 16 0 209600 0
vsize: 838464
[startup+430.205 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 42369 58 0 0 25 0 11 0 541926403 858587136 24993 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24993 13073 16 0 209600 0
vsize: 838464
[startup+440.206 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 43366 58 0 0 25 0 11 0 541926403 858587136 24993 4294967295 134512640 134569956 3221224400 3221214664 1131289941 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 24993 13073 16 0 209600 0
vsize: 838464
[startup+450.206 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 44363 58 0 0 25 0 11 0 541926403 858587136 25016 4294967295 134512640 134569956 3221224400 3221214664 1131289979 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25016 13073 16 0 209600 0
vsize: 838464
[startup+460.206 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 45361 58 0 0 25 0 11 0 541926403 858587136 25016 4294967295 134512640 134569956 3221224400 3221214664 1131290059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25016 13073 16 0 209600 0
vsize: 838464
[startup+470.206 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 46359 59 0 0 25 0 11 0 541926403 858587136 25016 4294967295 134512640 134569956 3221224400 3221214688 1131270291 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 25016 13073 16 0 209600 0
vsize: 838464
[startup+480.207 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 47352 59 0 0 25 0 11 0 541926403 858587136 25016 4294967295 134512640 134569956 3221224400 3221214768 1131524528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25016 13073 16 0 209600 0
vsize: 838464
[startup+490.207 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 48350 59 0 0 25 0 11 0 541926403 858587136 25016 4294967295 134512640 134569956 3221224400 3221214760 1131488842 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25016 13073 16 0 209600 0
vsize: 838464
[startup+500.208 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 49341 60 0 0 25 0 11 0 541926403 858587136 25016 4294967295 134512640 134569956 3221224400 3221214760 1131488061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25016 13073 16 0 209600 0
vsize: 838464
[startup+510.208 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 50339 60 0 0 25 0 11 0 541926403 858587136 25016 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25016 13073 16 0 209600 0
vsize: 838464
[startup+520.208 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 51332 60 0 0 25 0 11 0 541926403 858587136 25016 4294967295 134512640 134569956 3221224400 3221214664 1131290886 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25016 13073 16 0 209600 0
vsize: 838464
[startup+530.209 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 52325 60 0 0 25 0 11 0 541926403 858587136 25016 4294967295 134512640 134569956 3221224400 3221214648 1131287031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25016 13073 16 0 209600 0
vsize: 838464
[startup+540.209 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 53322 61 0 0 25 0 11 0 541926403 858587136 25017 4294967295 134512640 134569956 3221224400 3221214760 1131487467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25017 13073 16 0 209600 0
vsize: 838464
[startup+550.21 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 54313 61 0 0 25 0 11 0 541926403 858587136 25017 4294967295 134512640 134569956 3221224400 3221214760 1131487533 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25017 13073 16 0 209600 0
vsize: 838464
[startup+560.211 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 55310 61 0 0 25 0 11 0 541926403 858587136 25017 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25017 13073 16 0 209600 0
vsize: 838464
[startup+570.211 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 56308 61 0 0 25 0 11 0 541926403 858587136 25017 4294967295 134512640 134569956 3221224400 3221214760 1131487467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25017 13073 16 0 209600 0
vsize: 838464
[startup+580.211 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 57303 61 0 0 25 0 11 0 541926403 858587136 25017 4294967295 134512640 134569956 3221224400 3221214728 1131377642 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25017 13073 16 0 209600 0
vsize: 838464
[startup+590.211 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 58290 62 0 0 25 0 11 0 541926403 858587136 25049 4294967295 134512640 134569956 3221224400 3221214664 1131290331 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25049 13073 16 0 209600 0
vsize: 838464
[startup+600.212 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 59272 62 0 0 25 0 11 0 541926403 858587136 25072 4294967295 134512640 134569956 3221224400 3221214664 1131290823 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25072 13073 16 0 209600 0
vsize: 838464
[startup+610.212 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 60248 63 0 0 25 0 11 0 541926403 858587136 25093 4294967295 134512640 134569956 3221224400 3221214648 1131287031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25093 13073 16 0 209600 0
vsize: 838464
[startup+620.212 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 61226 63 0 0 25 0 11 0 541926403 858587136 25115 4294967295 134512640 134569956 3221224400 3221214664 1131290059 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25115 13073 16 0 209600 0
vsize: 838464
[startup+630.212 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 62204 63 0 0 25 0 11 0 541926403 858587136 25136 4294967295 134512640 134569956 3221224400 3221214768 1131524512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25136 13073 16 0 209600 0
vsize: 838464
[startup+640.213 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 63191 64 0 0 25 0 11 0 541926403 858587136 25254 4294967295 134512640 134569956 3221224400 3221214788 1080203719 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25254 13073 16 0 209600 0
vsize: 838464
[startup+650.214 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 64181 64 0 0 25 0 11 0 541926403 858587136 25372 4294967295 134512640 134569956 3221224400 3221214664 1131290076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25372 13073 16 0 209600 0
vsize: 838464
[startup+660.214 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 65176 64 0 0 25 0 11 0 541926403 858587136 25490 4294967295 134512640 134569956 3221224400 3221214760 1131487438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25490 13073 16 0 209600 0
vsize: 838464
[startup+670.214 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 66174 64 0 0 25 0 11 0 541926403 858587136 25490 4294967295 134512640 134569956 3221224400 3221214664 1131290577 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25490 13073 16 0 209600 0
vsize: 838464
[startup+680.227 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 67173 65 0 0 25 0 11 0 541926403 858587136 25490 4294967295 134512640 134569956 3221224400 3221214664 1131290155 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25490 13073 16 0 209600 0
vsize: 838464
[startup+690.227 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 68171 65 0 0 25 0 11 0 541926403 858587136 25490 4294967295 134512640 134569956 3221224400 3221214768 1131519079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25490 13073 16 0 209600 0
vsize: 838464
[startup+700.239 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 69169 65 0 0 25 0 11 0 541926403 858587136 25512 4294967295 134512640 134569956 3221224400 3221214768 1131524635 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25512 13073 16 0 209600 0
vsize: 838464
[startup+710.251 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 70168 66 0 0 25 0 11 0 541926403 858587136 25512 4294967295 134512640 134569956 3221224400 3221214664 1131289885 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25512 13073 16 0 209600 0
vsize: 838464
[startup+720.25 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 71165 66 0 0 25 0 11 0 541926403 858587136 25512 4294967295 134512640 134569956 3221224400 3221214712 1131290232 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25512 13073 16 0 209600 0
vsize: 838464
[startup+730.263 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 72159 66 0 0 25 0 11 0 541926403 858587136 25512 4294967295 134512640 134569956 3221224400 3221214664 1131289908 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25512 13073 16 0 209600 0
vsize: 838464
[startup+740.276 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 73153 67 0 0 25 0 11 0 541926403 858587136 25512 4294967295 134512640 134569956 3221224400 3221214760 1131487523 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 25512 13073 16 0 209600 0
vsize: 838464
[startup+750.276 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 74146 67 0 0 25 0 11 0 541926403 858587136 25512 4294967295 134512640 134569956 3221224400 3221214664 1131290185 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25512 13073 16 0 209600 0
vsize: 838464
[startup+760.276 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 75141 67 0 0 25 0 11 0 541926403 858587136 25512 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25512 13073 16 0 209600 0
vsize: 838464
[startup+770.276 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 76135 68 0 0 25 0 11 0 541926403 858587136 25512 4294967295 134512640 134569956 3221224400 3221214648 1131287031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25512 13073 16 0 209600 0
vsize: 838464
[startup+780.276 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 77126 68 0 0 25 0 11 0 541926403 858587136 25621 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25621 13073 16 0 209600 0
vsize: 838464
[startup+790.277 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 78124 68 0 0 25 0 11 0 541926403 858587136 25621 4294967295 134512640 134569956 3221224400 3221214768 1131519079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25621 13073 16 0 209600 0
vsize: 838464
[startup+800.277 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 79122 68 0 0 25 0 11 0 541926403 858587136 25621 4294967295 134512640 134569956 3221224400 3221214760 1131487464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25621 13073 16 0 209600 0
vsize: 838464
[startup+810.277 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 80120 69 0 0 25 0 11 0 541926403 858587136 25621 4294967295 134512640 134569956 3221224400 3221214768 1131524528 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25621 13073 16 0 209600 0
vsize: 838464
[startup+820.278 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 81117 69 0 0 25 0 11 0 541926403 858587136 25621 4294967295 134512640 134569956 3221224400 3221214664 1131290061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25621 13073 16 0 209600 0
vsize: 838464
[startup+830.278 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 82114 69 0 0 25 0 11 0 541926403 858587136 25643 4294967295 134512640 134569956 3221224400 3221214760 1131488772 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25643 13073 16 0 209600 0
vsize: 838464
[startup+840.278 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 83111 70 0 0 25 0 11 0 541926403 858587136 25643 4294967295 134512640 134569956 3221224400 3221214760 1131487464 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25643 13073 16 0 209600 0
vsize: 838464
[startup+850.28 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 84110 70 0 0 25 0 11 0 541926403 858587136 25643 4294967295 134512640 134569956 3221224400 3221214768 1131524538 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25643 13073 16 0 209600 0
vsize: 838464
[startup+860.28 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 85107 71 0 0 25 0 11 0 541926403 858587136 25643 4294967295 134512640 134569956 3221224400 3221214664 1131290839 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25643 13073 16 0 209600 0
vsize: 838464
[startup+870.28 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 86104 71 0 0 25 0 11 0 541926403 858587136 25665 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25665 13073 16 0 209600 0
vsize: 838464
[startup+880.281 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 87102 71 0 0 25 0 11 0 541926403 858587136 25665 4294967295 134512640 134569956 3221224400 3221214756 1131287781 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25665 13073 16 0 209600 0
vsize: 838464
[startup+890.281 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 88100 71 0 0 25 0 11 0 541926403 858587136 25665 4294967295 134512640 134569956 3221224400 3221214768 1131519079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25665 13073 16 0 209600 0
vsize: 838464
[startup+900.282 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 89098 72 0 0 25 0 11 0 541926403 858587136 25665 4294967295 134512640 134569956 3221224400 3221214768 1131519079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25665 13073 16 0 209600 0
vsize: 838464
[startup+910.282 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 90096 72 0 0 25 0 11 0 541926403 858587136 25665 4294967295 134512640 134569956 3221224400 3221214664 1131290076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25665 13073 16 0 209600 0
vsize: 838464
[startup+920.282 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 91093 72 0 0 25 0 11 0 541926403 858587136 25687 4294967295 134512640 134569956 3221224400 3221214768 1131524542 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25687 13073 16 0 209600 0
vsize: 838464
[startup+930.283 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 92091 72 0 0 25 0 11 0 541926403 858587136 25687 4294967295 134512640 134569956 3221224400 3221214760 1131488130 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25687 13073 16 0 209600 0
vsize: 838464
[startup+940.283 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 93089 73 0 0 25 0 11 0 541926403 858587136 25687 4294967295 134512640 134569956 3221224400 3221214768 1131519079 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25687 13073 16 0 209600 0
vsize: 838464
[startup+950.283 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 94087 73 0 0 25 0 11 0 541926403 858587136 25687 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25687 13073 16 0 209600 0
vsize: 838464
[startup+960.283 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 95084 73 0 0 25 0 11 0 541926403 858587136 25708 4294967295 134512640 134569956 3221224400 3221214664 1131290195 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25708 13073 16 0 209600 0
vsize: 838464
[startup+970.283 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 96082 73 0 0 25 0 11 0 541926403 858587136 25708 4294967295 134512640 134569956 3221224400 3221214664 1131289989 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25708 13073 16 0 209600 0
vsize: 838464
[startup+980.284 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 97079 74 0 0 25 0 11 0 541926403 858587136 25708 4294967295 134512640 134569956 3221224400 3221214664 1131290863 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25708 13073 16 0 209600 0
vsize: 838464
[startup+990.284 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 98077 74 0 0 25 0 11 0 541926403 858587136 25708 4294967295 134512640 134569956 3221224400 3221214760 1131488072 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25708 13073 16 0 209600 0
vsize: 838464
[startup+1000.28 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 99074 75 0 0 25 0 11 0 541926403 858587136 25708 4294967295 134512640 134569956 3221224400 3221214760 1131488097 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25708 13073 16 0 209600 0
vsize: 838464
[startup+1010.29 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 100071 75 0 0 25 0 11 0 541926403 858587136 25730 4294967295 134512640 134569956 3221224400 3221214664 1131290856 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25730 13073 16 0 209600 0
vsize: 838464
[startup+1020.29 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 101069 76 0 0 25 0 11 0 541926403 858587136 25730 4294967295 134512640 134569956 3221224400 3221214648 1131287031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25730 13073 16 0 209600 0
vsize: 838464
[startup+1030.29 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 102067 76 0 0 25 0 11 0 541926403 858587136 25730 4294967295 134512640 134569956 3221224400 3221214648 1131287151 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25730 13073 16 0 209600 0
vsize: 838464
[startup+1040.29 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 103065 76 0 0 25 0 11 0 541926403 858587136 25730 4294967295 134512640 134569956 3221224400 3221214760 1131488061 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25730 13073 16 0 209600 0
vsize: 838464
[startup+1050.29 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 104062 76 0 0 25 0 11 0 541926403 858587136 25752 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25752 13073 16 0 209600 0
vsize: 838464
[startup+1060.29 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 105060 77 0 0 25 0 11 0 541926403 858587136 25752 4294967295 134512640 134569956 3221224400 3221214664 1131290076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25752 13073 16 0 209600 0
vsize: 838464
[startup+1070.29 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 106058 77 0 0 25 0 11 0 541926403 858587136 25752 4294967295 134512640 134569956 3221224400 3221214732 1131242163 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25752 13073 16 0 209600 0
vsize: 838464
[startup+1080.29 s]
Raw data (loadavg): 0.99 0.99 0.92 2/64 22731
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 107056 77 0 0 25 0 11 0 541926403 858587136 25752 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25752 13073 16 0 209600 0
vsize: 838464
[startup+1090.29 s]
Raw data (loadavg): 0.99 0.99 0.92 2/67 22751
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 108050 80 0 0 25 0 11 0 541926403 858587136 25752 4294967295 134512640 134569956 3221224400 3221214768 1131519079 0 4 3 23756 0 0 0 17 1 0 0
Raw data (statm): 209616 25752 13073 16 0 209600 0
vsize: 838464
[startup+1100.29 s]
Raw data (loadavg): 1.07 1.00 0.93 2/64 22784
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 109045 82 0 0 25 0 11 0 541926403 858587136 25773 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25773 13073 16 0 209600 0
vsize: 838464
[startup+1110.29 s]
Raw data (loadavg): 1.06 1.00 0.93 2/64 22784
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 110043 82 0 0 25 0 11 0 541926403 858587136 25773 4294967295 134512640 134569956 3221224400 3221214768 1131519142 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25773 13073 16 0 209600 0
vsize: 838464
[startup+1120.29 s]
Raw data (loadavg): 1.05 1.00 0.93 2/64 22784
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 111040 82 0 0 25 0 11 0 541926403 858587136 25773 4294967295 134512640 134569956 3221224400 3221214792 1131316397 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25773 13073 16 0 209600 0
vsize: 838464
[startup+1130.29 s]
Raw data (loadavg): 1.04 1.00 0.93 2/64 22784
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 112038 82 0 0 25 0 11 0 541926403 858587136 25773 4294967295 134512640 134569956 3221224400 3221214760 1131487467 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25773 13073 16 0 209600 0
vsize: 838464
[startup+1140.29 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 22784
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 113036 82 0 0 25 0 11 0 541926403 858587136 25773 4294967295 134512640 134569956 3221224400 3221214664 1131290907 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25773 13073 16 0 209600 0
vsize: 838464
[startup+1150.29 s]
Raw data (loadavg): 1.03 1.00 0.93 2/64 22784
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 114034 82 0 0 25 0 11 0 541926403 858587136 25773 4294967295 134512640 134569956 3221224400 3221214664 1131290076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25773 13073 16 0 209600 0
vsize: 838464
[startup+1160.29 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 22784
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 115033 82 0 0 25 0 11 0 541926403 858587136 25773 4294967295 134512640 134569956 3221224400 3221214760 1131488108 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25773 13073 16 0 209600 0
vsize: 838464
[startup+1170.29 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 22786
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 116030 82 0 0 25 0 11 0 541926403 858587136 25773 4294967295 134512640 134569956 3221224400 3221214768 1131524512 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25773 13073 16 0 209600 0
vsize: 838464
[startup+1180.29 s]
Raw data (loadavg): 1.02 1.00 0.93 2/64 22786
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 117027 83 0 0 25 0 11 0 541926403 858587136 25795 4294967295 134512640 134569956 3221224400 3221214768 1131524531 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25795 13073 16 0 209600 0
vsize: 838464
[startup+1190.29 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 22786
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 118025 83 0 0 25 0 11 0 541926403 858587136 25795 4294967295 134512640 134569956 3221224400 3221214760 1131487438 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25795 13073 16 0 209600 0
vsize: 838464
[startup+1200.3 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 22786
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 119023 83 0 0 25 0 11 0 541926403 858587136 25795 4294967295 134512640 134569956 3221224400 3221214648 1131287031 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25795 13073 16 0 209600 0
vsize: 838464
[startup+1210.3 s]
Raw data (loadavg): 1.01 1.00 0.93 2/64 22786
Raw data (stat): 22721 (java) R 22720 22612 22611 0 -1 0 18084 0 1 0 120021 83 0 0 25 0 11 0 541926403 858587136 25795 4294967295 134512640 134569956 3221224400 3221214664 1131290076 0 4 3 23756 0 0 0 17 0 0 0
Raw data (statm): 209616 25795 13073 16 0 209600 0
vsize: 838464
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1210.37 s]
Raw data (loadavg): 1.01 1.00 0.93 1/54 22788
Raw data (stat): 22721 (java) Z 22720 22612 22611 0 -1 1036 18084 11310 1 0 120023 88 1796 32 25 0 1 0 541926403 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): 1210.37
CPU time (s): 1219.41
CPU user time (s): 1218.2
CPU system time (s): 1.20982
CPU usage (%): 100.747
Max. virtual memory (Kb): 838464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####